2.39/1.89
2.39/1.89 AbsCon 2
2.66/1.91
3.54/2.20 Instance
3.54/2.20 name=instance-4391252-1568390120, framework=COP, bounds=-infty..+infty
3.54/2.20
3.54/2.20 Loading variables...
3.54/2.24 Loading constraints...
4.13/2.45
4.13/2.45 Domains
4.13/2.45 nTypes=24, nValues=1419, sizes=[4#12,5#7,6#6,26#50]
4.13/2.45 Variables
4.13/2.45 count=75, degrees=[2#25,26#24,27#1,28#25]
4.13/2.45 Objectives
4.13/2.45 way=max, type=SumSimpleGE
4.13/2.45 Constraints
4.13/2.45 count=102, nSpecific=51, arities=[1#1,2#50,25#26,26#25]
4.13/2.45 distribution=[AtMost1#25,CtrExtensionCT-Table#25,CtrExtensionV-Bits#25,CtrIntension#26,SumSimpleGE#1]
4.13/2.45 tables=[577#24,602#1], nTotalTuples=14450
4.13/2.45 nExtStructures=(50,shared:0), nIntStructures=(2,shared:24), nCftStructures=(26,shared:24,unbuilt:52)
4.13/2.45 wck=0.592, cpu=2.419, mem=90M121
4.13/2.46 Solver SolverBacktrack being built...
4.13/2.46
4.13/2.48
4.13/2.48 Solver
4.13/2.48 guaranteedGAC=true
4.13/2.48 wck=0.62, cpu=2.446, mem=100M763
4.13/2.49
4.13/2.49 Preprocessing
4.13/2.49 filters=27, revisions=(51,useless=48), ccks=752, nACremovedValues=51, nTotalRemovedValues=51, inconcistency=false
4.13/2.49 wck=0.007, cpu=2.454, mem=100M763
4.13/2.49
4.44/2.51 o -1000
4.44/2.52 num=0, depth=76..74, filters=387, revisions=(699,useless=613), ccks=1455, wck=0.038, mem=100M763
4.44/2.52 decisions=24, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.44/2.52 nFilterCalls=675, avgTableProportion=0.9982697766543618, avgTableSize=577.0
4.44/2.52
4.44/2.54 num=1, depth=18..22, filters=701, revisions=(1065,useless=838), ccks=2253, wck=0.055, mem=100M763
4.44/2.54 decisions=70, wrong=13, backtracks=2, failedAssignments=11, nogoods=6, foundSolutions=1, bestBound=-1000
4.44/2.54 nFilterCalls=2711, avgTableProportion=0.9982698711666168, avgTableSize=577.0328292143121
4.44/2.54
4.44/2.57 num=2, depth=17..21, filters=1379, revisions=(1836,useless=1379), ccks=3942, wck=0.085, mem=100M763
4.44/2.57 decisions=132, wrong=35, backtracks=14, failedAssignments=22, nogoods=8, foundSolutions=1, bestBound=-1000
4.44/2.57 nFilterCalls=5583, avgTableProportion=0.9982699143345501, avgTableSize=577.0478237506717
4.44/2.57
4.44/2.58 num=3, depth=15..18, filters=2022, revisions=(2651,useless=1965), ccks=5729, wck=0.1, mem=103M405
4.44/2.58 decisions=181, wrong=52, backtracks=24, failedAssignments=34, nogoods=11, foundSolutions=1, bestBound=-1000
4.44/2.58 nFilterCalls=7166, avgTableProportion=0.9982699409683208, avgTableSize=577.0570750767513
4.44/2.58
4.75/2.61 num=4, depth=9..17, filters=2801, revisions=(3351,useless=2347), ccks=8133, wck=0.132, mem=103M405
4.75/2.61 decisions=238, wrong=75, backtracks=38, failedAssignments=47, nogoods=15, foundSolutions=1, bestBound=-1000
4.75/2.61 nFilterCalls=9906, avgTableProportion=0.9982700364709596, avgTableSize=577.0902483343428
4.75/2.61
4.75/2.63 num=5, depth=11..16, filters=3337, revisions=(3862,useless=2601), ccks=10619, wck=0.15, mem=103M405
4.75/2.63 decisions=287, wrong=94, backtracks=43, failedAssignments=61, nogoods=20, foundSolutions=1, bestBound=-1000
4.75/2.63 nFilterCalls=11620, avgTableProportion=0.9982700132598298, avgTableSize=577.0821858864027
4.75/2.63
4.75/2.65 o -998
4.75/2.65 num=6, depth=10..74, filters=3972, revisions=(4459,useless=2938), ccks=12794, wck=0.174, mem=103M405
4.75/2.65 decisions=342, wrong=113, backtracks=54, failedAssignments=72, nogoods=22, foundSolutions=2, bestBound=-998
4.75/2.65 nFilterCalls=14460, avgTableProportion=0.9982700334861604, avgTableSize=577.0892116182573
4.75/2.65
4.75/2.68 o -990
4.75/2.68 num=7, depth=10..74, filters=4483, revisions=(4931,useless=3202), ccks=14476, wck=0.196, mem=103M405
4.75/2.68 decisions=376, wrong=123, backtracks=56, failedAssignments=81, nogoods=30, foundSolutions=3, bestBound=-990
4.75/2.68 nFilterCalls=16511, avgTableProportion=0.9982700449987697, avgTableSize=577.0932105868815
4.75/2.68
5.06/2.70 num=8, depth=5..13, filters=5182, revisions=(5586,useless=3592), ccks=16292, wck=0.221, mem=103M405
5.06/2.70 decisions=418, wrong=140, backtracks=68, failedAssignments=92, nogoods=33, foundSolutions=3, bestBound=-990
5.06/2.70 nFilterCalls=18997, avgTableProportion=0.9982700877767193, avgTableSize=577.108069695215
5.06/2.70
5.06/2.72 num=9, depth=9..15, filters=5830, revisions=(6194,useless=3917), ccks=18223, wck=0.236, mem=103M405
5.06/2.72 decisions=459, wrong=156, backtracks=79, failedAssignments=103, nogoods=34, foundSolutions=3, bestBound=-990
5.06/2.72 nFilterCalls=21551, avgTableProportion=0.9982700704091931, avgTableSize=577.1020370284441
5.06/2.72
5.06/2.73 num=10, depth=11..17, filters=6476, revisions=(6821,useless=4265), ccks=20393, wck=0.25, mem=103M405
5.06/2.73 decisions=512, wrong=176, backtracks=91, failedAssignments=115, nogoods=36, foundSolutions=3, bestBound=-990
5.06/2.73 nFilterCalls=24180, avgTableProportion=0.9982700469236427, avgTableSize=577.0938792390406
5.06/2.73
5.06/2.74 o -988
5.06/2.74 num=11, depth=16..74, filters=6682, revisions=(7074,useless=4407), ccks=21168, wck=0.256, mem=103M405
5.06/2.74 decisions=533, wrong=178, backtracks=91, failedAssignments=117, nogoods=38, foundSolutions=4, bestBound=-988
5.06/2.74 nFilterCalls=24852, avgTableProportion=0.9982700457551545, avgTableSize=577.0934733623048
5.06/2.74
5.06/2.76 num=12, depth=11..17, filters=7487, revisions=(7882,useless=4883), ccks=23608, wck=0.275, mem=103M405
5.06/2.76 decisions=592, wrong=201, backtracks=105, failedAssignments=131, nogoods=41, foundSolutions=4, bestBound=-988
5.06/2.76 nFilterCalls=28015, avgTableProportion=0.9982700320202015, avgTableSize=577.0887024808138
5.06/2.76
5.06/2.77 num=13, depth=13..17, filters=8030, revisions=(8405,useless=5161), ccks=25390, wck=0.287, mem=103M405
5.06/2.77 decisions=641, wrong=219, backtracks=115, failedAssignments=142, nogoods=43, foundSolutions=4, bestBound=-988
5.06/2.77 nFilterCalls=30199, avgTableProportion=0.9982700222271708, avgTableSize=577.0853008377761
5.06/2.77
5.06/2.78 num=14, depth=9..13, filters=8674, revisions=(9038,useless=5508), ccks=27160, wck=0.301, mem=103M405
5.06/2.78 decisions=690, wrong=239, backtracks=124, failedAssignments=154, nogoods=45, foundSolutions=4, bestBound=-988
5.06/2.78 nFilterCalls=32236, avgTableProportion=0.9982700145683674, avgTableSize=577.0826405261199
5.06/2.78
5.37/2.80 num=15, depth=12..20, filters=9511, revisions=(9769,useless=5938), ccks=29410, wck=0.319, mem=103M405
5.37/2.80 decisions=753, wrong=264, backtracks=140, failedAssignments=167, nogoods=51, foundSolutions=4, bestBound=-988
5.37/2.80 nFilterCalls=35781, avgTableProportion=0.9982700074911252, avgTableSize=577.0801822196138
5.37/2.80
5.37/2.82 num=16, depth=11..16, filters=10330, revisions=(10602,useless=6397), ccks=31747, wck=0.336, mem=103M405
5.37/2.82 decisions=817, wrong=289, backtracks=153, failedAssignments=181, nogoods=55, foundSolutions=4, bestBound=-988
5.37/2.82 nFilterCalls=38728, avgTableProportion=0.9982700105911823, avgTableSize=577.0812590373889
5.37/2.82
5.37/2.84 num=17, depth=13..18, filters=11270, revisions=(11477,useless=6928), ccks=34370, wck=0.356, mem=103M405
5.37/2.84 decisions=891, wrong=319, backtracks=171, failedAssignments=197, nogoods=60, foundSolutions=4, bestBound=-988
5.37/2.84 nFilterCalls=42947, avgTableProportion=0.9982700064463444, avgTableSize=577.0798193121755
5.37/2.84
5.37/2.86 num=18, depth=11..16, filters=12354, revisions=(12474,useless=7460), ccks=37558, wck=0.376, mem=103M405
5.37/2.86 decisions=962, wrong=349, backtracks=189, failedAssignments=214, nogoods=65, foundSolutions=4, bestBound=-988
5.37/2.86 nFilterCalls=46928, avgTableProportion=0.9982700126571049, avgTableSize=577.0819766450733
5.37/2.86
5.37/2.88 num=19, depth=10..15, filters=13391, revisions=(13473,useless=8009), ccks=40727, wck=0.399, mem=103M405
5.37/2.88 decisions=1035, wrong=380, backtracks=206, failedAssignments=233, nogoods=70, foundSolutions=4, bestBound=-988
5.37/2.88 nFilterCalls=50779, avgTableProportion=0.9982700060412653, avgTableSize=577.0796786072983
5.37/2.88
5.68/2.91 num=20, depth=8..14, filters=14837, revisions=(14786,useless=8752), ccks=44334, wck=0.429, mem=103M405
5.68/2.91 decisions=1121, wrong=417, backtracks=226, failedAssignments=254, nogoods=76, foundSolutions=4, bestBound=-988
5.68/2.91 nFilterCalls=55870, avgTableProportion=0.9982700139435075, avgTableSize=577.0824234830858
5.68/2.91
5.68/2.93 num=21, depth=12..18, filters=16167, revisions=(15878,useless=9366), ccks=48571, wck=0.454, mem=103M405
5.68/2.93 decisions=1212, wrong=456, backtracks=251, failedAssignments=277, nogoods=79, foundSolutions=4, bestBound=-988
5.68/2.93 nFilterCalls=61624, avgTableProportion=0.9982700254703147, avgTableSize=577.0864273659613
5.68/2.93
5.68/2.96 num=22, depth=11..17, filters=17738, revisions=(17243,useless=10161), ccks=53031, wck=0.477, mem=103M405
5.68/2.96 decisions=1320, wrong=504, backtracks=286, failedAssignments=302, nogoods=81, foundSolutions=4, bestBound=-988
5.68/2.96 nFilterCalls=66917, avgTableProportion=0.998270044810445, avgTableSize=577.0931452396252
5.68/2.96
5.68/2.98 num=23, depth=14..20, filters=19200, revisions=(18499,useless=10845), ccks=57999, wck=0.497, mem=106M48
5.68/2.98 decisions=1435, wrong=554, backtracks=318, failedAssignments=330, nogoods=87, foundSolutions=4, bestBound=-988
5.68/2.98 nFilterCalls=73190, avgTableProportion=0.9982700337062258, avgTableSize=577.0892881541195
5.68/2.98
5.89/3.01 num=24, depth=9..15, filters=21025, revisions=(20128,useless=11761), ccks=62529, wck=0.526, mem=106M48
5.89/3.01 decisions=1558, wrong=610, backtracks=348, failedAssignments=361, nogoods=92, foundSolutions=4, bestBound=-988
5.89/3.01 nFilterCalls=78882, avgTableProportion=0.9982700355226958, avgTableSize=577.0899191196978
5.89/3.01
5.89/3.05 num=25, depth=11..16, filters=23044, revisions=(21898,useless=12797), ccks=68712, wck=0.565, mem=106M48
5.89/3.05 decisions=1697, wrong=674, backtracks=395, failedAssignments=395, nogoods=98, foundSolutions=4, bestBound=-988
5.89/3.05 nFilterCalls=87867, avgTableProportion=0.9982700308398755, avgTableSize=577.0882925330329
5.89/3.05
5.89/3.09 num=26, depth=5..17, filters=25505, revisions=(23866,useless=13864), ccks=75005, wck=0.613, mem=106M48
5.89/3.09 decisions=1849, wrong=745, backtracks=441, failedAssignments=432, nogoods=102, foundSolutions=4, bestBound=-988
5.89/3.09 nFilterCalls=97056, avgTableProportion=0.9982700464030817, avgTableSize=577.0936984833498
5.89/3.09
6.00/3.13 num=27, depth=11..19, filters=27870, revisions=(25961,useless=15067), ccks=81272, wck=0.647, mem=106M48
6.00/3.13 decisions=1997, wrong=813, backtracks=478, failedAssignments=473, nogoods=110, foundSolutions=4, bestBound=-988
6.00/3.13 nFilterCalls=105623, avgTableProportion=0.9982700458657053, avgTableSize=577.0935118298098
6.00/3.13
6.00/3.17 num=28, depth=8..16, filters=30269, revisions=(28078,useless=16202), ccks=88138, wck=0.687, mem=106M48
6.00/3.17 decisions=2153, wrong=886, backtracks=524, failedAssignments=518, nogoods=117, foundSolutions=4, bestBound=-988
6.00/3.17 nFilterCalls=113898, avgTableProportion=0.9982700383129028, avgTableSize=577.090888338689
6.00/3.17
6.09/3.21 num=29, depth=11..21, filters=32885, revisions=(30198,useless=17413), ccks=95466, wck=0.732, mem=106M48
6.09/3.21 decisions=2346, wrong=976, backtracks=572, failedAssignments=568, nogoods=121, foundSolutions=4, bestBound=-988
6.09/3.21 nFilterCalls=125793, avgTableProportion=0.9982700377151742, avgTableSize=577.0906807215027
6.09/3.21
6.09/3.26 num=30, depth=10..18, filters=36028, revisions=(33005,useless=18997), ccks=103961, wck=0.782, mem=106M48
6.09/3.26 decisions=2546, wrong=1070, backtracks=627, failedAssignments=623, nogoods=124, foundSolutions=4, bestBound=-988
6.09/3.26 nFilterCalls=137636, avgTableProportion=0.9982700436360762, avgTableSize=577.0927373652243
6.09/3.26
6.19/3.31 num=31, depth=12..20, filters=39474, revisions=(35758,useless=20572), ccks=114160, wck=0.834, mem=106M48
6.19/3.31 decisions=2785, wrong=1183, backtracks=698, failedAssignments=684, nogoods=133, foundSolutions=4, bestBound=-988
6.19/3.31 nFilterCalls=152516, avgTableProportion=0.9982700481676685, avgTableSize=577.0943114165071
6.19/3.31
6.19/3.38 num=32, depth=8..22, filters=43732, revisions=(39129,useless=22529), ccks=125341, wck=0.901, mem=108M690
6.19/3.38 decisions=3063, wrong=1314, backtracks=782, failedAssignments=751, nogoods=139, foundSolutions=4, bestBound=-988
6.19/3.38 nFilterCalls=169897, avgTableProportion=0.998270067311739, avgTableSize=577.1009611705916
6.19/3.38
6.30/3.45 num=33, depth=11..18, filters=48036, revisions=(42713,useless=24616), ccks=138543, wck=0.971, mem=108M690
6.30/3.45 decisions=3338, wrong=1445, backtracks=868, failedAssignments=825, nogoods=145, foundSolutions=4, bestBound=-988
6.30/3.45 nFilterCalls=187071, avgTableProportion=0.9982700814252683, avgTableSize=577.1058635491338
6.30/3.45
6.40/3.53 num=34, depth=11..22, filters=52853, revisions=(46186,useless=26605), ccks=152342, wck=1.055, mem=108M690
6.40/3.53 decisions=3666, wrong=1600, backtracks=968, failedAssignments=906, nogoods=153, foundSolutions=4, bestBound=-988
6.40/3.53 nFilterCalls=209075, avgTableProportion=0.9982700940463477, avgTableSize=577.1102475188329
6.40/3.53
6.51/3.64 num=35, depth=9..16, filters=58339, revisions=(51003,useless=29412), ccks=167083, wck=1.156, mem=108M690
6.51/3.64 decisions=3994, wrong=1758, backtracks=1071, failedAssignments=995, nogoods=164, foundSolutions=4, bestBound=-988
6.51/3.64 nFilterCalls=229781, avgTableProportion=0.9982700829108563, avgTableSize=577.1063795527045
6.51/3.64
6.61/3.72 num=36, depth=10..18, filters=63874, revisions=(55765,useless=32088), ccks=185631, wck=1.243, mem=108M690
6.61/3.72 decisions=4366, wrong=1938, backtracks=1189, failedAssignments=1093, nogoods=170, foundSolutions=4, bestBound=-988
6.61/3.72 nFilterCalls=250314, avgTableProportion=0.9982700936381338, avgTableSize=577.1101057072317
6.61/3.72
6.72/3.84 num=37, depth=10..17, filters=70755, revisions=(61455,useless=35509), ccks=206800, wck=1.365, mem=111M333
6.72/3.84 decisions=4787, wrong=2143, backtracks=1320, failedAssignments=1201, nogoods=184, foundSolutions=4, bestBound=-988
6.72/3.84 nFilterCalls=276663, avgTableProportion=0.9982700806289843, avgTableSize=577.1055869415137
6.72/3.84
6.83/3.95 o -987
6.83/3.96 num=38, depth=7..74, filters=76855, revisions=(66829,useless=38571), ccks=224869, wck=1.475, mem=111M333
6.83/3.96 decisions=5139, wrong=2312, backtracks=1426, failedAssignments=1291, nogoods=190, foundSolutions=5, bestBound=-987
6.83/3.96 nFilterCalls=298007, avgTableProportion=0.9982700697835368, avgTableSize=577.1018197559117
6.83/3.96
6.94/4.08 num=39, depth=8..17, filters=84517, revisions=(73736,useless=42492), ccks=244055, wck=1.599, mem=111M333
6.94/4.08 decisions=5627, wrong=2550, backtracks=1570, failedAssignments=1422, nogoods=194, foundSolutions=5, bestBound=-987
6.94/4.08 nFilterCalls=324235, avgTableProportion=0.998270070906411, avgTableSize=577.1022098169537
6.94/4.08
6.94/4.09 num=40, depth=14..18, filters=85278, revisions=(74434,useless=42918), ccks=245990, wck=1.61, mem=111M333
6.94/4.09 decisions=5685, wrong=2572, backtracks=1584, failedAssignments=1433, nogoods=198, foundSolutions=5, bestBound=-987
6.94/4.09 nFilterCalls=327354, avgTableProportion=0.9982700707939002, avgTableSize=577.102170738711
6.94/4.09
7.05/4.11 num=41, depth=12..17, filters=86360, revisions=(75313,useless=43386), ccks=248809, wck=1.628, mem=111M333
7.05/4.11 decisions=5745, wrong=2596, backtracks=1601, failedAssignments=1445, nogoods=200, foundSolutions=5, bestBound=-987
7.05/4.11 nFilterCalls=331564, avgTableProportion=0.9982700684917399, avgTableSize=577.1013710776804
7.05/4.11
7.05/4.12 num=42, depth=14..19, filters=87086, revisions=(75960,useless=43741), ccks=250669, wck=1.637, mem=111M333
7.05/4.12 decisions=5802, wrong=2617, backtracks=1612, failedAssignments=1458, nogoods=202, foundSolutions=5, bestBound=-987
7.05/4.12 nFilterCalls=334329, avgTableProportion=0.998270068101732, avgTableSize=577.1012356092352
7.05/4.12
7.05/4.13 num=43, depth=15..23, filters=87773, revisions=(76555,useless=44085), ccks=252418, wck=1.647, mem=111M333
7.05/4.13 decisions=5860, wrong=2637, backtracks=1624, failedAssignments=1472, nogoods=204, foundSolutions=5, bestBound=-987
7.05/4.13 nFilterCalls=337319, avgTableProportion=0.9982700685908086, avgTableSize=577.1014054945023
7.05/4.13
7.05/4.14 num=44, depth=13..19, filters=88759, revisions=(77411,useless=44537), ccks=255508, wck=1.661, mem=111M333
7.05/4.14 decisions=5933, wrong=2666, backtracks=1639, failedAssignments=1488, nogoods=211, foundSolutions=5, bestBound=-987
7.05/4.14 nFilterCalls=340967, avgTableProportion=0.9982700671729299, avgTableSize=577.1009129915798
7.05/4.14
7.05/4.16 num=45, depth=13..21, filters=90012, revisions=(78347,useless=45108), ccks=258097, wck=1.68, mem=111M333
7.05/4.16 decisions=6011, wrong=2698, backtracks=1660, failedAssignments=1505, nogoods=215, foundSolutions=5, bestBound=-987
7.05/4.16 nFilterCalls=345810, avgTableProportion=0.9982700689901102, avgTableSize=577.1015442005726
7.05/4.16
7.05/4.18 num=46, depth=11..21, filters=91131, revisions=(79306,useless=45664), ccks=261295, wck=1.7, mem=113M975
7.05/4.18 decisions=6087, wrong=2730, backtracks=1680, failedAssignments=1524, nogoods=218, foundSolutions=5, bestBound=-987
7.05/4.18 nFilterCalls=350311, avgTableProportion=0.9982700715948374, avgTableSize=577.1024489667752
7.05/4.18
7.14/4.20 num=47, depth=13..20, filters=92295, revisions=(80319,useless=46230), ccks=264297, wck=1.718, mem=113M975
7.14/4.20 decisions=6172, wrong=2766, backtracks=1704, failedAssignments=1545, nogoods=220, foundSolutions=5, bestBound=-987
7.14/4.20 nFilterCalls=354936, avgTableProportion=0.9982700732265574, avgTableSize=577.103015754953
7.14/4.20
7.14/4.21 num=48, depth=14..20, filters=93484, revisions=(81364,useless=46794), ccks=268222, wck=1.734, mem=113M975
7.14/4.21 decisions=6264, wrong=2805, backtracks=1729, failedAssignments=1568, nogoods=225, foundSolutions=5, bestBound=-987
7.14/4.21 nFilterCalls=359467, avgTableProportion=0.9982700734446727, avgTableSize=577.1030915216139
7.14/4.21
7.14/4.24 o -986
7.14/4.24 num=49, depth=12..74, filters=94682, revisions=(82312,useless=47399), ccks=270823, wck=1.757, mem=113M975
7.14/4.24 decisions=6334, wrong=2831, backtracks=1745, failedAssignments=1581, nogoods=229, foundSolutions=6, bestBound=-986
7.14/4.24 nFilterCalls=364979, avgTableProportion=0.9982700789248334, avgTableSize=577.1049950819088
7.14/4.24
7.14/4.27 num=50, depth=12..19, filters=96373, revisions=(83831,useless=48297), ccks=276211, wck=1.785, mem=113M975
7.14/4.27 decisions=6448, wrong=2881, backtracks=1777, failedAssignments=1609, nogoods=237, foundSolutions=6, bestBound=-986
7.14/4.27 nFilterCalls=371914, avgTableProportion=0.9982700772749412, avgTableSize=577.10442199003
7.14/4.27
7.14/4.27 num=51, depth=12..19, filters=97046, revisions=(84480,useless=48642), ccks=278073, wck=1.795, mem=113M975
7.14/4.27 decisions=6502, wrong=2900, backtracks=1788, failedAssignments=1620, nogoods=241, foundSolutions=6, bestBound=-986
7.14/4.27 nFilterCalls=373946, avgTableProportion=0.9982700778971058, avgTableSize=577.1046381028277
7.14/4.27
7.14/4.29 num=52, depth=12..20, filters=98132, revisions=(85327,useless=49124), ccks=280958, wck=1.812, mem=113M975
7.14/4.29 decisions=6571, wrong=2928, backtracks=1809, failedAssignments=1632, nogoods=243, foundSolutions=6, bestBound=-986
7.14/4.29 nFilterCalls=378487, avgTableProportion=0.9982700772036892, avgTableSize=577.1043972448196
7.14/4.29
7.25/4.30 num=53, depth=15..20, filters=98910, revisions=(85998,useless=49503), ccks=283122, wck=1.821, mem=113M975
7.25/4.30 decisions=6629, wrong=2949, backtracks=1820, failedAssignments=1645, nogoods=247, foundSolutions=6, bestBound=-986
7.25/4.30 nFilterCalls=381178, avgTableProportion=0.9982700776044809, avgTableSize=577.1045364632796
7.25/4.30
7.25/4.31 num=54, depth=13..19, filters=99714, revisions=(86723,useless=49900), ccks=285484, wck=1.833, mem=113M975
7.25/4.31 decisions=6693, wrong=2974, backtracks=1838, failedAssignments=1659, nogoods=250, foundSolutions=6, bestBound=-986
7.25/4.31 nFilterCalls=384396, avgTableProportion=0.9982700775715339, avgTableSize=577.104525021072
7.25/4.31
7.25/4.32 o -984
7.25/4.32 num=55, depth=15..74, filters=100077, revisions=(87105,useless=50112), ccks=286797, wck=1.84, mem=113M975
7.25/4.32 decisions=6723, wrong=2980, backtracks=1841, failedAssignments=1662, nogoods=252, foundSolutions=7, bestBound=-984
7.25/4.32 nFilterCalls=385794, avgTableProportion=0.9982700778019221, avgTableSize=577.1046050482901
7.25/4.32
7.25/4.33 num=56, depth=13..18, filters=100825, revisions=(87852,useless=50532), ccks=289006, wck=1.854, mem=113M975
7.25/4.33 decisions=6792, wrong=3006, backtracks=1856, failedAssignments=1679, nogoods=257, foundSolutions=7, bestBound=-984
7.25/4.33 nFilterCalls=389177, avgTableProportion=0.9982700760496227, avgTableSize=577.1039963821089
7.25/4.33
7.25/4.35 num=57, depth=13..21, filters=101711, revisions=(88536,useless=50903), ccks=291663, wck=1.869, mem=113M975
7.25/4.35 decisions=6852, wrong=3029, backtracks=1874, failedAssignments=1690, nogoods=260, foundSolutions=7, bestBound=-984
7.25/4.35 nFilterCalls=393292, avgTableProportion=0.9982700764672584, avgTableSize=577.1041414521526
7.25/4.35
7.25/4.35 o -983
7.25/4.35 num=58, depth=19..74, filters=101926, revisions=(88786,useless=51051), ccks=292353, wck=1.874, mem=113M975
7.25/4.35 decisions=6875, wrong=3030, backtracks=1874, failedAssignments=1691, nogoods=261, foundSolutions=8, bestBound=-983
7.25/4.35 nFilterCalls=394197, avgTableProportion=0.9982700772030705, avgTableSize=577.1043970400586
7.25/4.35
7.25/4.37 num=59, depth=14..18, filters=103095, revisions=(89607,useless=51595), ccks=294593, wck=1.894, mem=113M975
7.25/4.37 decisions=6933, wrong=3052, backtracks=1890, failedAssignments=1704, nogoods=268, foundSolutions=8, bestBound=-983
7.25/4.37 nFilterCalls=399922, avgTableProportion=0.9982700773997781, avgTableSize=577.1044653707473
7.25/4.37
7.25/4.38 o -980
7.25/4.38 num=60, depth=76..74, filters=103317, revisions=(89858,useless=51745), ccks=295172, wck=1.899, mem=113M975
7.25/4.38 decisions=6951, wrong=3052, backtracks=1890, failedAssignments=1704, nogoods=268, foundSolutions=9, bestBound=-980
7.25/4.38 nFilterCalls=400789, avgTableProportion=0.9982700780636998, avgTableSize=577.1046959871653
7.25/4.38
7.39/4.40 num=61, depth=11..15, filters=104143, revisions=(90609,useless=52180), ccks=297289, wck=1.916, mem=113M975
7.39/4.40 decisions=7003, wrong=3072, backtracks=1904, failedAssignments=1716, nogoods=274, foundSolutions=9, bestBound=-980
7.39/4.40 nFilterCalls=404399, avgTableProportion=0.9982700785054082, avgTableSize=577.1048494185198
7.39/4.40
7.39/4.40 o -979
7.39/4.40 num=62, depth=14..74, filters=104465, revisions=(90950,useless=52367), ccks=298341, wck=1.923, mem=113M975
7.39/4.40 decisions=7031, wrong=3077, backtracks=1905, failedAssignments=1720, nogoods=278, foundSolutions=10, bestBound=-979
7.39/4.40 nFilterCalls=405479, avgTableProportion=0.9982700787309214, avgTableSize=577.1049277521154
7.39/4.40
7.39/4.42 num=63, depth=12..19, filters=105188, revisions=(91582,useless=52745), ccks=300276, wck=1.94, mem=113M975
7.39/4.42 decisions=7089, wrong=3098, backtracks=1917, failedAssignments=1732, nogoods=282, foundSolutions=10, bestBound=-979
7.39/4.42 nFilterCalls=409244, avgTableProportion=0.9982700800671345, avgTableSize=577.1053918933447
7.39/4.42
7.39/4.43 num=64, depth=11..15, filters=106050, revisions=(92349,useless=53188), ccks=302235, wck=1.954, mem=113M975
7.39/4.43 decisions=7142, wrong=3119, backtracks=1928, failedAssignments=1743, nogoods=284, foundSolutions=10, bestBound=-979
7.39/4.43 nFilterCalls=412291, avgTableProportion=0.9982700801151069, avgTableSize=577.1054085585181
7.39/4.43
7.39/4.45 num=65, depth=11..17, filters=106773, revisions=(93008,useless=53559), ccks=304476, wck=1.965, mem=113M975
7.39/4.45 decisions=7192, wrong=3138, backtracks=1938, failedAssignments=1755, nogoods=290, foundSolutions=10, bestBound=-979
7.39/4.45 nFilterCalls=414714, avgTableProportion=0.9982700792237277, avgTableSize=577.105098935652
7.39/4.45
7.39/4.45 num=66, depth=16..20, filters=107622, revisions=(93689,useless=53955), ccks=306473, wck=1.975, mem=116M618
7.39/4.45 decisions=7247, wrong=3157, backtracks=1948, failedAssignments=1768, nogoods=293, foundSolutions=10, bestBound=-979
7.39/4.45 nFilterCalls=417531, avgTableProportion=0.9982700787888943, avgTableSize=577.1049478960844
7.39/4.45
7.39/4.47 num=67, depth=11..16, filters=108518, revisions=(94601,useless=54439), ccks=309066, wck=1.988, mem=116M618
7.39/4.47 decisions=7310, wrong=3182, backtracks=1962, failedAssignments=1782, nogoods=298, foundSolutions=10, bestBound=-979
7.39/4.47 nFilterCalls=420018, avgTableProportion=0.998270077945781, avgTableSize=577.1046550385936
7.39/4.47
7.39/4.49 num=68, depth=8..12, filters=109704, revisions=(95721,useless=55055), ccks=312323, wck=2.01, mem=116M618
7.39/4.49 decisions=7375, wrong=3210, backtracks=1977, failedAssignments=1798, nogoods=301, foundSolutions=10, bestBound=-979
7.39/4.49 nFilterCalls=423788, avgTableProportion=0.9982700764882824, avgTableSize=577.1041487724995
7.39/4.49
7.51/4.51 num=69, depth=11..16, filters=110982, revisions=(96861,useless=55701), ccks=315214, wck=2.03, mem=116M618
7.51/4.51 decisions=7449, wrong=3241, backtracks=1996, failedAssignments=1815, nogoods=304, foundSolutions=10, bestBound=-979
7.51/4.51 nFilterCalls=428164, avgTableProportion=0.9982700764428559, avgTableSize=577.1041329957679
7.51/4.51
7.51/4.54 num=70, depth=11..20, filters=112613, revisions=(98067,useless=56424), ccks=318995, wck=2.055, mem=116M618
7.51/4.54 decisions=7533, wrong=3275, backtracks=2017, failedAssignments=1834, nogoods=308, foundSolutions=10, bestBound=-979
7.51/4.54 nFilterCalls=434857, avgTableProportion=0.9982700765093001, avgTableSize=577.1041560788949
7.51/4.54
7.51/4.56 num=71, depth=10..16, filters=113856, revisions=(99184,useless=57050), ccks=322518, wck=2.075, mem=116M618
7.51/4.56 decisions=7617, wrong=3312, backtracks=2038, failedAssignments=1855, nogoods=311, foundSolutions=10, bestBound=-979
7.51/4.56 nFilterCalls=439166, avgTableProportion=0.9982700746553721, avgTableSize=577.1035121115933
7.51/4.56
7.51/4.58 num=72, depth=11..21, filters=115031, revisions=(100194,useless=57597), ccks=325930, wck=2.095, mem=116M618
7.51/4.58 decisions=7707, wrong=3349, backtracks=2064, failedAssignments=1878, nogoods=315, foundSolutions=10, bestBound=-979
7.51/4.58 nFilterCalls=443781, avgTableProportion=0.9982700738917648, avgTableSize=577.1032468717679
7.51/4.58
7.63/4.61 num=73, depth=7..14, filters=117044, revisions=(102056,useless=58656), ccks=330313, wck=2.133, mem=116M618
7.63/4.61 decisions=7828, wrong=3405, backtracks=2100, failedAssignments=1903, nogoods=323, foundSolutions=10, bestBound=-979
7.63/4.61 nFilterCalls=450901, avgTableProportion=0.998270074018699, avgTableSize=577.1032909663097
7.63/4.61
7.63/4.64 num=74, depth=14..20, filters=118882, revisions=(103512,useless=59510), ccks=335212, wck=2.157, mem=116M618
7.63/4.64 decisions=7944, wrong=3456, backtracks=2131, failedAssignments=1931, nogoods=332, foundSolutions=10, bestBound=-979
7.63/4.64 nFilterCalls=457725, avgTableProportion=0.9982700727365077, avgTableSize=577.1028455950625
7.63/4.64
7.63/4.64 o -973
7.63/4.65 num=75, depth=13..74, filters=119387, revisions=(104036,useless=59796), ccks=336822, wck=2.165, mem=116M618
7.63/4.65 decisions=7985, wrong=3468, backtracks=2138, failedAssignments=1939, nogoods=333, foundSolutions=11, bestBound=-973
7.63/4.65 nFilterCalls=459544, avgTableProportion=0.9982700725418224, avgTableSize=577.1027779712063
7.63/4.65
7.63/4.67 num=76, depth=10..19, filters=120945, revisions=(105470,useless=60559), ccks=341481, wck=2.19, mem=116M618
7.63/4.67 decisions=8101, wrong=3520, backtracks=2167, failedAssignments=1973, nogoods=337, foundSolutions=11, bestBound=-973
7.63/4.67 nFilterCalls=465189, avgTableProportion=0.9982700708388035, avgTableSize=577.1021864231527
7.63/4.67
7.63/4.68 num=77, depth=8..13, filters=121518, revisions=(106049,useless=60886), ccks=342772, wck=2.201, mem=116M618
7.63/4.68 decisions=8142, wrong=3536, backtracks=2173, failedAssignments=1984, nogoods=341, foundSolutions=11, bestBound=-973
7.63/4.68 nFilterCalls=467027, avgTableProportion=0.9982700706796467, avgTableSize=577.1021311401696
7.63/4.68
7.63/4.70 num=78, depth=9..15, filters=122263, revisions=(106726,useless=61271), ccks=344568, wck=2.215, mem=116M618
7.63/4.70 decisions=8188, wrong=3554, backtracks=2187, failedAssignments=1996, nogoods=344, foundSolutions=11, bestBound=-973
7.63/4.70 nFilterCalls=469852, avgTableProportion=0.9982700710563442, avgTableSize=577.1022619888817
7.63/4.70
7.73/4.71 num=79, depth=9..14, filters=122988, revisions=(107415,useless=61668), ccks=346341, wck=2.231, mem=116M618
7.73/4.71 decisions=8246, wrong=3577, backtracks=2199, failedAssignments=2009, nogoods=350, foundSolutions=11, bestBound=-973
7.73/4.71 nFilterCalls=472692, avgTableProportion=0.9982700713278283, avgTableSize=577.1023562912002
7.73/4.71
7.73/4.72 num=80, depth=11..16, filters=124038, revisions=(108384,useless=62203), ccks=349304, wck=2.244, mem=116M618
7.73/4.72 decisions=8309, wrong=3603, backtracks=2213, failedAssignments=2023, nogoods=359, foundSolutions=11, bestBound=-973
7.73/4.72 nFilterCalls=475703, avgTableProportion=0.9982700698499823, avgTableSize=577.1018429566348
7.73/4.72
7.73/4.74 num=81, depth=11..16, filters=124911, revisions=(109164,useless=62629), ccks=351586, wck=2.256, mem=116M618
7.73/4.74 decisions=8376, wrong=3631, backtracks=2233, failedAssignments=2039, nogoods=360, foundSolutions=11, bestBound=-973
7.73/4.74 nFilterCalls=478937, avgTableProportion=0.9982700705210495, avgTableSize=577.1020760559322
7.73/4.74
7.73/4.76 num=82, depth=10..18, filters=125978, revisions=(110156,useless=63217), ccks=354518, wck=2.277, mem=116M618
7.73/4.76 decisions=8452, wrong=3664, backtracks=2255, failedAssignments=2056, nogoods=362, foundSolutions=11, bestBound=-973
7.73/4.76 nFilterCalls=483047, avgTableProportion=0.9982700703450336, avgTableSize=577.102014917803
7.73/4.76
7.73/4.77 num=83, depth=9..17, filters=126936, revisions=(111137,useless=63742), ccks=357353, wck=2.293, mem=116M618
7.73/4.77 decisions=8529, wrong=3698, backtracks=2278, failedAssignments=2075, nogoods=364, foundSolutions=11, bestBound=-973
7.73/4.77 nFilterCalls=486103, avgTableProportion=0.9982700697956806, avgTableSize=577.1018240990078
7.73/4.77
7.73/4.80 num=84, depth=7..13, filters=127947, revisions=(112050,useless=64274), ccks=359571, wck=2.316, mem=116M618
7.73/4.80 decisions=8603, wrong=3731, backtracks=2300, failedAssignments=2096, nogoods=372, foundSolutions=11, bestBound=-973
7.73/4.80 nFilterCalls=490367, avgTableProportion=0.9982700696595995, avgTableSize=577.1017768324541
7.73/4.80
7.83/4.81 num=85, depth=10..18, filters=128981, revisions=(113006,useless=64792), ccks=362272, wck=2.332, mem=119M260
7.83/4.81 decisions=8677, wrong=3762, backtracks=2321, failedAssignments=2119, nogoods=374, foundSolutions=11, bestBound=-973
7.83/4.81 nFilterCalls=494063, avgTableProportion=0.9982700717155534, avgTableSize=577.1024909778713
7.83/4.81
7.83/4.84 num=86, depth=6..16, filters=130512, revisions=(114407,useless=65589), ccks=366256, wck=2.363, mem=119M260
7.83/4.84 decisions=8770, wrong=3805, backtracks=2348, failedAssignments=2144, nogoods=376, foundSolutions=11, bestBound=-973
7.83/4.84 nFilterCalls=499614, avgTableProportion=0.9982700707363809, avgTableSize=577.1021508604642
7.83/4.84
7.83/4.88 num=87, depth=5..17, filters=132174, revisions=(115876,useless=66396), ccks=370109, wck=2.4, mem=119M260
7.83/4.88 decisions=8882, wrong=3856, backtracks=2382, failedAssignments=2172, nogoods=383, foundSolutions=11, bestBound=-973
7.83/4.88 nFilterCalls=506168, avgTableProportion=0.9982700707449237, avgTableSize=577.1021538303488
7.83/4.88
7.95/4.91 num=88, depth=9..20, filters=133933, revisions=(117445,useless=67246), ccks=375051, wck=2.429, mem=119M260
7.95/4.91 decisions=9001, wrong=3911, backtracks=2418, failedAssignments=2203, nogoods=386, foundSolutions=11, bestBound=-973
7.95/4.91 nFilterCalls=512271, avgTableProportion=0.9982700684888414, avgTableSize=577.1013701732091
7.95/4.91
7.95/4.92 o -970
7.95/4.92 num=89, depth=12..74, filters=134660, revisions=(118176,useless=67655), ccks=377163, wck=2.44, mem=119M260
7.95/4.92 decisions=9052, wrong=3928, backtracks=2425, failedAssignments=2214, nogoods=392, foundSolutions=12, bestBound=-970
7.95/4.92 nFilterCalls=514575, avgTableProportion=0.9982700691179275, avgTableSize=577.1015886896954
7.95/4.92
7.95/4.96 num=90, depth=6..14, filters=136744, revisions=(120222,useless=68789), ccks=382384, wck=2.481, mem=119M260
7.95/4.96 decisions=9195, wrong=3996, backtracks=2464, failedAssignments=2251, nogoods=397, foundSolutions=12, bestBound=-970
7.95/4.96 nFilterCalls=521424, avgTableProportion=0.9982700684565813, avgTableSize=577.1013589708184
7.95/4.96
7.95/4.97 num=91, depth=6..12, filters=137229, revisions=(120710,useless=69042), ccks=383977, wck=2.49, mem=119M260
7.95/4.97 decisions=9234, wrong=4011, backtracks=2469, failedAssignments=2262, nogoods=402, foundSolutions=12, bestBound=-970
7.95/4.97 nFilterCalls=522940, avgTableProportion=0.9982700676601916, avgTableSize=577.1010823421425
7.95/4.97
7.95/4.99 num=92, depth=6..9, filters=138194, revisions=(121642,useless=69541), ccks=386295, wck=2.506, mem=119M260
7.95/4.99 decisions=9284, wrong=4032, backtracks=2480, failedAssignments=2274, nogoods=405, foundSolutions=12, bestBound=-970
7.95/4.99 nFilterCalls=525498, avgTableProportion=0.9982700666106941, avgTableSize=577.1007177953104
7.95/4.99
8.08/5.01 num=93, depth=7..12, filters=139253, revisions=(122637,useless=70122), ccks=388385, wck=2.526, mem=119M260
8.08/5.01 decisions=9341, wrong=4056, backtracks=2494, failedAssignments=2287, nogoods=409, foundSolutions=12, bestBound=-970
8.08/5.01 nFilterCalls=528857, avgTableProportion=0.9982700660809801, avgTableSize=577.1005337926888
8.08/5.01
8.08/5.02 num=94, depth=8..12, filters=140114, revisions=(123377,useless=70541), ccks=390305, wck=2.543, mem=119M260
8.08/5.02 decisions=9391, wrong=4077, backtracks=2505, failedAssignments=2301, nogoods=410, foundSolutions=12, bestBound=-970
8.08/5.02 nFilterCalls=532102, avgTableProportion=0.9982700655603336, avgTableSize=577.1003529398499
8.08/5.02
8.08/5.04 num=95, depth=6..17, filters=141280, revisions=(124396,useless=71141), ccks=393660, wck=2.563, mem=119M260
8.08/5.04 decisions=9466, wrong=4109, backtracks=2528, failedAssignments=2317, nogoods=414, foundSolutions=12, bestBound=-970
8.08/5.04 nFilterCalls=536931, avgTableProportion=0.9982700673640331, avgTableSize=577.1009794554608
8.08/5.04
8.08/5.06 num=96, depth=9..13, filters=142568, revisions=(125570,useless=71756), ccks=397088, wck=2.58, mem=119M260
8.08/5.06 decisions=9538, wrong=4140, backtracks=2544, failedAssignments=2334, nogoods=418, foundSolutions=12, bestBound=-970
8.08/5.06 nFilterCalls=540073, avgTableProportion=0.9982700654488831, avgTableSize=577.1003142167818
8.08/5.06
8.08/5.08 num=97, depth=6..12, filters=143872, revisions=(126841,useless=72448), ccks=400372, wck=2.603, mem=119M260
8.08/5.08 decisions=9613, wrong=4174, backtracks=2564, failedAssignments=2353, nogoods=426, foundSolutions=12, bestBound=-970
8.08/5.08 nFilterCalls=543701, avgTableProportion=0.9982700645649454, avgTableSize=577.1000071730602
8.08/5.08
8.19/5.11 num=98, depth=6..12, filters=145244, revisions=(128073,useless=73112), ccks=403114, wck=2.626, mem=119M260
8.19/5.11 decisions=9689, wrong=4208, backtracks=2584, failedAssignments=2374, nogoods=431, foundSolutions=12, bestBound=-970
8.19/5.11 nFilterCalls=547571, avgTableProportion=0.9982700641336901, avgTableSize=577.0998573700945
8.19/5.11
8.19/5.12 o -963
8.19/5.12 num=99, depth=8..74, filters=146036, revisions=(128874,useless=73567), ccks=405250, wck=2.642, mem=119M260
8.19/5.12 decisions=9745, wrong=4228, backtracks=2598, failedAssignments=2384, nogoods=436, foundSolutions=13, bestBound=-963
8.19/5.12 nFilterCalls=550395, avgTableProportion=0.9982700647561589, avgTableSize=577.1000735835173
8.19/5.12
8.19/5.15 num=100, depth=8..13, filters=147618, revisions=(130309,useless=74388), ccks=409074, wck=2.669, mem=119M260
8.19/5.15 decisions=9834, wrong=4267, backtracks=2621, failedAssignments=2409, nogoods=443, foundSolutions=13, bestBound=-963
8.19/5.15 nFilterCalls=555236, avgTableProportion=0.9982700635871812, avgTableSize=577.0996675287626
8.19/5.15
8.19/5.16 num=101, depth=6..10, filters=148237, revisions=(130888,useless=74713), ccks=410596, wck=2.682, mem=119M260
8.19/5.16 decisions=9878, wrong=4286, backtracks=2630, failedAssignments=2420, nogoods=447, foundSolutions=13, bestBound=-963
8.19/5.16 nFilterCalls=557502, avgTableProportion=0.9982700640165884, avgTableSize=577.099816682272
8.19/5.16
8.19/5.18 num=102, depth=5..11, filters=149154, revisions=(131868,useless=75269), ccks=412681, wck=2.702, mem=121M903
8.19/5.18 decisions=9929, wrong=4308, backtracks=2642, failedAssignments=2432, nogoods=449, foundSolutions=13, bestBound=-963
8.19/5.18 nFilterCalls=560480, avgTableProportion=0.9982700633732302, avgTableSize=577.0995932058236
8.19/5.18
8.31/5.20 num=103, depth=6..14, filters=150088, revisions=(132797,useless=75784), ccks=414580, wck=2.721, mem=121M903
8.31/5.20 decisions=9992, wrong=4336, backtracks=2661, failedAssignments=2445, nogoods=452, foundSolutions=13, bestBound=-963
8.31/5.20 nFilterCalls=563548, avgTableProportion=0.998270063380638, avgTableSize=577.0995957753377
8.31/5.20
8.31/5.21 num=104, depth=7..12, filters=150821, revisions=(133531,useless=76156), ccks=416739, wck=2.733, mem=121M903
8.31/5.21 decisions=10045, wrong=4359, backtracks=2674, failedAssignments=2459, nogoods=459, foundSolutions=13, bestBound=-963
8.31/5.21 nFilterCalls=565397, avgTableProportion=0.9982700628299489, avgTableSize=577.099404489235
8.31/5.21
8.31/5.23 num=105, depth=7..13, filters=151722, revisions=(134415,useless=76648), ccks=418789, wck=2.748, mem=121M903
8.31/5.23 decisions=10104, wrong=4385, backtracks=2688, failedAssignments=2475, nogoods=463, foundSolutions=13, bestBound=-963
8.31/5.23 nFilterCalls=567864, avgTableProportion=0.9982700630214358, avgTableSize=577.0994710000986
8.31/5.23
8.31/5.25 num=106, depth=4..9, filters=152895, revisions=(135558,useless=77267), ccks=421729, wck=2.771, mem=121M903
8.31/5.25 decisions=10174, wrong=4417, backtracks=2707, failedAssignments=2492, nogoods=466, foundSolutions=13, bestBound=-963
8.31/5.25 nFilterCalls=571332, avgTableProportion=0.9982700640898773, avgTableSize=577.0998421233188
8.31/5.25
8.31/5.27 num=107, depth=5..15, filters=154271, revisions=(136722,useless=77902), ccks=424984, wck=2.794, mem=121M903
8.31/5.27 decisions=10246, wrong=4450, backtracks=2725, failedAssignments=2511, nogoods=469, foundSolutions=13, bestBound=-963
8.31/5.27 nFilterCalls=576014, avgTableProportion=0.9982700649672346, avgTableSize=577.1001468714302
8.31/5.27
8.31/5.28 o -954
8.31/5.28 num=108, depth=15..74, filters=154452, revisions=(136964,useless=78036), ccks=425377, wck=2.798, mem=121M903
8.31/5.28 decisions=10263, wrong=4451, backtracks=2725, failedAssignments=2512, nogoods=470, foundSolutions=14, bestBound=-954
8.31/5.28 nFilterCalls=576600, avgTableProportion=0.998270065118591, avgTableSize=577.1001994450226
8.31/5.28
8.42/5.31 num=109, depth=5..10, filters=156029, revisions=(138482,useless=78833), ccks=429628, wck=2.83, mem=121M903
8.42/5.31 decisions=10359, wrong=4496, backtracks=2754, failedAssignments=2535, nogoods=479, foundSolutions=14, bestBound=-954
8.42/5.31 nFilterCalls=581426, avgTableProportion=0.998270064204752, avgTableSize=577.0998820142202
8.42/5.31
8.42/5.32 num=110, depth=6..10, filters=156917, revisions=(139346,useless=79301), ccks=431567, wck=2.845, mem=121M903
8.42/5.32 decisions=10402, wrong=4514, backtracks=2765, failedAssignments=2546, nogoods=485, foundSolutions=14, bestBound=-954
8.42/5.32 nFilterCalls=583811, avgTableProportion=0.998270064213544, avgTableSize=577.0998850655435
8.42/5.32
8.42/5.34 num=111, depth=5..11, filters=157463, revisions=(139938,useless=79657), ccks=432694, wck=2.856, mem=121M903
8.42/5.34 decisions=10437, wrong=4529, backtracks=2773, failedAssignments=2558, nogoods=492, foundSolutions=14, bestBound=-954
8.42/5.34 nFilterCalls=585455, avgTableProportion=0.9982700644190416, avgTableSize=577.0999564441332
8.42/5.34
8.42/5.35 num=112, depth=4..7, filters=158226, revisions=(140728,useless=80077), ccks=434159, wck=2.868, mem=121M903
8.42/5.35 decisions=10480, wrong=4548, backtracks=2781, failedAssignments=2571, nogoods=498, foundSolutions=14, bestBound=-954
8.42/5.35 nFilterCalls=587227, avgTableProportion=0.998270063810529, avgTableSize=577.0997450730297
8.42/5.35
8.42/5.36 num=113, depth=4..9, filters=159193, revisions=(141697,useless=80572), ccks=436062, wck=2.884, mem=121M903
8.42/5.36 decisions=10541, wrong=4576, backtracks=2797, failedAssignments=2585, nogoods=507, foundSolutions=14, bestBound=-954
8.42/5.36 nFilterCalls=589806, avgTableProportion=0.998270064243772, avgTableSize=577.0998955588786
8.42/5.36
8.42/5.39 num=114, depth=2..8, filters=160183, revisions=(142672,useless=81085), ccks=438086, wck=2.905, mem=121M903
8.42/5.39 decisions=10599, wrong=4604, backtracks=2814, failedAssignments=2601, nogoods=510, foundSolutions=14, bestBound=-954
8.42/5.39 nFilterCalls=592725, avgTableProportion=0.998270063828039, avgTableSize=577.0997511493525
8.42/5.39
8.52/5.41 num=115, depth=2..8, filters=161160, revisions=(143665,useless=81651), ccks=440093, wck=2.928, mem=121M903
8.52/5.41 decisions=10656, wrong=4630, backtracks=2828, failedAssignments=2618, nogoods=514, foundSolutions=14, bestBound=-954
8.52/5.41 nFilterCalls=595954, avgTableProportion=0.9982700653927481, avgTableSize=577.1002946536142
8.52/5.41
8.52/5.43 num=116, depth=2..8, filters=162502, revisions=(144923,useless=82324), ccks=442776, wck=2.953, mem=121M903
8.52/5.43 decisions=10718, wrong=4660, backtracks=2846, failedAssignments=2637, nogoods=519, foundSolutions=14, bestBound=-954
8.52/5.43 nFilterCalls=599216, avgTableProportion=0.9982700653247212, avgTableSize=577.1002710208005
8.52/5.43
8.52/5.45 num=117, depth=4..10, filters=163683, revisions=(146101,useless=82965), ccks=445450, wck=2.973, mem=121M903
8.52/5.45 decisions=10790, wrong=4694, backtracks=2863, failedAssignments=2658, nogoods=524, foundSolutions=14, bestBound=-954
8.52/5.45 nFilterCalls=602006, avgTableProportion=0.9982700654693614, avgTableSize=577.1003212592566
8.52/5.45
8.52/5.48 num=118, depth=4..14, filters=164978, revisions=(147345,useless=83649), ccks=448677, wck=2.996, mem=121M903
8.52/5.48 decisions=10868, wrong=4731, backtracks=2887, failedAssignments=2681, nogoods=530, foundSolutions=14, bestBound=-954
8.52/5.48 nFilterCalls=605745, avgTableProportion=0.9982700661152552, avgTableSize=577.1005456091259
8.52/5.48
8.62/5.51 num=119, depth=3..9, filters=166481, revisions=(148758,useless=84398), ccks=452957, wck=3.027, mem=121M903
8.62/5.51 decisions=10963, wrong=4777, backtracks=2914, failedAssignments=2706, nogoods=532, foundSolutions=14, bestBound=-954
8.62/5.51 nFilterCalls=610402, avgTableProportion=0.9982700663499532, avgTableSize=577.1006271276962
8.62/5.51
8.62/5.55 num=120, depth=2..10, filters=168261, revisions=(150522,useless=85394), ccks=457056, wck=3.068, mem=124M546
8.62/5.55 decisions=11069, wrong=4829, backtracks=2948, failedAssignments=2734, nogoods=542, foundSolutions=14, bestBound=-954
8.62/5.55 nFilterCalls=616329, avgTableProportion=0.9982700683425644, avgTableSize=577.1013192629262
8.62/5.55
8.62/5.58 num=121, depth=1..15, filters=170142, revisions=(152164,useless=86213), ccks=462817, wck=3.1, mem=124M546
8.62/5.58 decisions=11183, wrong=4882, backtracks=2981, failedAssignments=2765, nogoods=546, foundSolutions=14, bestBound=-954
8.62/5.58 nFilterCalls=622677, avgTableProportion=0.9982700682677994, avgTableSize=577.1012932868887
8.62/5.58
8.73/5.62 num=122, depth=3..10, filters=172252, revisions=(154113,useless=87192), ccks=467389, wck=3.137, mem=124M546
8.73/5.62 decisions=11316, wrong=4947, backtracks=3025, failedAssignments=2799, nogoods=549, foundSolutions=14, bestBound=-954
8.73/5.62 nFilterCalls=628987, avgTableProportion=0.998270070102481, avgTableSize=577.1019305645426
8.73/5.62
8.73/5.66 num=123, depth=5..10, filters=175306, revisions=(156837,useless=88632), ccks=475073, wck=3.18, mem=124M546
8.73/5.66 decisions=11464, wrong=5018, backtracks=3065, failedAssignments=2836, nogoods=560, foundSolutions=14, bestBound=-954
8.73/5.66 nFilterCalls=635881, avgTableProportion=0.9982700676273093, avgTableSize=577.1010707978379
8.73/5.66
8.83/5.71 num=124, depth=2..8, filters=178095, revisions=(159550,useless=90094), ccks=481522, wck=3.227, mem=124M546
8.83/5.71 decisions=11609, wrong=5089, backtracks=3110, failedAssignments=2877, nogoods=570, foundSolutions=14, bestBound=-954
8.83/5.71 nFilterCalls=642032, avgTableProportion=0.9982700669650906, avgTableSize=577.1008407680614
8.83/5.71
8.83/5.76 num=125, depth=4..13, filters=180984, revisions=(162217,useless=91504), ccks=487612, wck=3.28, mem=124M546
8.83/5.76 decisions=11769, wrong=5166, backtracks=3154, failedAssignments=2922, nogoods=576, foundSolutions=14, bestBound=-954
8.83/5.76 nFilterCalls=650042, avgTableProportion=0.9982700658900873, avgTableSize=577.1004673544171
8.83/5.76
8.93/5.83 num=126, depth=4..10, filters=184821, revisions=(165626,useless=93408), ccks=496595, wck=3.347, mem=124M546
8.93/5.83 decisions=11954, wrong=5255, backtracks=3207, failedAssignments=2972, nogoods=578, foundSolutions=14, bestBound=-954
8.93/5.83 nFilterCalls=660223, avgTableProportion=0.9982700664183529, avgTableSize=577.1006508407008
8.93/5.83
8.93/5.89 num=127, depth=3..9, filters=188944, revisions=(169568,useless=95528), ccks=506488, wck=3.414, mem=124M546
8.93/5.89 decisions=12149, wrong=5350, backtracks=3261, failedAssignments=3027, nogoods=586, foundSolutions=14, bestBound=-954
8.93/5.89 nFilterCalls=669575, avgTableProportion=0.9982700654798288, avgTableSize=577.1003248329164
8.93/5.89
9.03/5.96 num=128, depth=2..9, filters=192162, revisions=(172708,useless=97168), ccks=514556, wck=3.481, mem=124M546
9.03/5.96 decisions=12363, wrong=5455, backtracks=3322, failedAssignments=3088, nogoods=589, foundSolutions=14, bestBound=-954
9.03/5.96 nFilterCalls=678758, avgTableProportion=0.9982700632349304, avgTableSize=577.0995450514027
9.03/5.96
9.14/6.02 o -952
9.14/6.02 num=129, depth=3..74, filters=195510, revisions=(175814,useless=98851), ccks=521638, wck=3.542, mem=127M188
9.14/6.02 decisions=12556, wrong=5545, backtracks=3374, failedAssignments=3143, nogoods=598, foundSolutions=15, bestBound=-952
9.14/6.02 nFilterCalls=688443, avgTableProportion=0.9982700632387419, avgTableSize=577.0995463676732
9.14/6.02
9.14/6.11 num=130, depth=3..11, filters=199314, revisions=(179586,useless=100960), ccks=530722, wck=3.625, mem=127M188
9.14/6.11 decisions=12805, wrong=5668, backtracks=3442, failedAssignments=3217, nogoods=610, foundSolutions=15, bestBound=-952
9.14/6.11 nFilterCalls=700019, avgTableProportion=0.9982700633278109, avgTableSize=577.0995772971877
9.14/6.11
9.24/6.12 num=131, depth=2..7, filters=200043, revisions=(180305,useless=101338), ccks=532217, wck=3.639, mem=127M188
9.24/6.12 decisions=12839, wrong=5684, backtracks=3451, failedAssignments=3228, nogoods=612, foundSolutions=15, bestBound=-952
9.24/6.12 nFilterCalls=701845, avgTableProportion=0.9982700631931566, avgTableSize=577.0995305231212
9.24/6.12
9.24/6.13 num=132, depth=4..8, filters=200604, revisions=(180926,useless=101670), ccks=533639, wck=3.649, mem=127M188
9.24/6.13 decisions=12875, wrong=5700, backtracks=3458, failedAssignments=3240, nogoods=615, foundSolutions=15, bestBound=-952
9.24/6.13 nFilterCalls=703304, avgTableProportion=0.9982700626642301, avgTableSize=577.099346797402
9.24/6.13
9.24/6.15 num=133, depth=2..8, filters=201641, revisions=(181940,useless=102206), ccks=536304, wck=3.668, mem=127M188
9.24/6.15 decisions=12928, wrong=5725, backtracks=3477, failedAssignments=3253, nogoods=620, foundSolutions=15, bestBound=-952
9.24/6.15 nFilterCalls=705960, avgTableProportion=0.998270062685176, avgTableSize=577.0993540710522
9.24/6.15
9.24/6.17 num=134, depth=1..13, filters=202863, revisions=(183181,useless=102878), ccks=538911, wck=3.692, mem=127M188
9.24/6.17 decisions=12991, wrong=5751, backtracks=3490, failedAssignments=3267, nogoods=624, foundSolutions=15, bestBound=-952
9.24/6.17 nFilterCalls=709381, avgTableProportion=0.9982700622351529, avgTableSize=577.0991977512789
9.24/6.17
9.24/6.19 num=135, depth=5..11, filters=204051, revisions=(184376,useless=103525), ccks=541774, wck=3.714, mem=127M188
9.24/6.19 decisions=13061, wrong=5783, backtracks=3510, failedAssignments=3283, nogoods=626, foundSolutions=15, bestBound=-952
9.24/6.19 nFilterCalls=712742, avgTableProportion=0.9982700614499244, avgTableSize=577.0989249967029
9.24/6.19
9.34/6.22 num=136, depth=1..15, filters=205487, revisions=(185813,useless=104316), ccks=545307, wck=3.738, mem=127M188
9.34/6.22 decisions=13137, wrong=5816, backtracks=3528, failedAssignments=3300, nogoods=629, foundSolutions=15, bestBound=-952
9.34/6.22 nFilterCalls=716127, avgTableProportion=0.998270060867574, avgTableSize=577.0987227125914
9.34/6.22
9.34/6.24 num=137, depth=3..8, filters=206653, revisions=(186914,useless=104880), ccks=548145, wck=3.759, mem=127M188
9.34/6.24 decisions=13204, wrong=5847, backtracks=3542, failedAssignments=3319, nogoods=636, foundSolutions=15, bestBound=-952
9.34/6.24 nFilterCalls=719020, avgTableProportion=0.9982700602525564, avgTableSize=577.0985090818058
9.34/6.24
9.34/6.27 num=138, depth=2..8, filters=208213, revisions=(188438,useless=105756), ccks=551387, wck=3.791, mem=127M188
9.34/6.27 decisions=13280, wrong=5883, backtracks=3563, failedAssignments=3340, nogoods=644, foundSolutions=15, bestBound=-952
9.34/6.27 nFilterCalls=723274, avgTableProportion=0.9982700600612773, avgTableSize=577.0984426372302
9.34/6.27
9.34/6.29 num=139, depth=3..10, filters=209448, revisions=(189680,useless=106445), ccks=554587, wck=3.814, mem=127M188
9.34/6.29 decisions=13352, wrong=5917, backtracks=3583, failedAssignments=3363, nogoods=650, foundSolutions=15, bestBound=-952
9.34/6.29 nFilterCalls=726438, avgTableProportion=0.9982700599603349, avgTableSize=577.0984075722911
9.34/6.29
9.44/6.33 num=140, depth=3..15, filters=211211, revisions=(191311,useless=107341), ccks=558835, wck=3.85, mem=127M188
9.44/6.33 decisions=13454, wrong=5962, backtracks=3611, failedAssignments=3388, nogoods=654, foundSolutions=15, bestBound=-952
9.44/6.33 nFilterCalls=732187, avgTableProportion=0.9982700598040714, avgTableSize=577.0983532895285
9.44/6.33
9.44/6.36 num=141, depth=5..12, filters=212895, revisions=(192877,useless=108118), ccks=563436, wck=3.876, mem=127M188
9.44/6.36 decisions=13560, wrong=6012, backtracks=3640, failedAssignments=3416, nogoods=658, foundSolutions=15, bestBound=-952
9.44/6.36 nFilterCalls=736824, avgTableProportion=0.9982700589520629, avgTableSize=577.0980573379803
9.44/6.36
9.44/6.39 num=142, depth=5..13, filters=214883, revisions=(194670,useless=109099), ccks=567999, wck=3.911, mem=127M188
9.44/6.39 decisions=13660, wrong=6059, backtracks=3671, failedAssignments=3447, nogoods=663, foundSolutions=15, bestBound=-952
9.44/6.39 nFilterCalls=742289, avgTableProportion=0.9982700589486476, avgTableSize=577.0980561479424
9.44/6.39
9.54/6.43 num=143, depth=1..18, filters=216723, revisions=(196257,useless=110010), ccks=574292, wck=3.946, mem=127M188
9.54/6.43 decisions=13797, wrong=6121, backtracks=3711, failedAssignments=3481, nogoods=669, foundSolutions=15, bestBound=-952
9.54/6.43 nFilterCalls=751526, avgTableProportion=0.9982700589764588, avgTableSize=577.0980658021147
9.54/6.43
9.54/6.47 num=144, depth=2..10, filters=219242, revisions=(198554,useless=111246), ccks=579610, wck=3.995, mem=129M830
9.54/6.47 decisions=13929, wrong=6184, backtracks=3747, failedAssignments=3518, nogoods=673, foundSolutions=15, bestBound=-952
9.54/6.47 nFilterCalls=758519, avgTableProportion=0.9982700592468049, avgTableSize=577.0981597033166
9.54/6.47
9.65/6.51 num=145, depth=3..15, filters=221365, revisions=(200469,useless=112180), ccks=586983, wck=4.03, mem=129M830
9.65/6.51 decisions=14088, wrong=6258, backtracks=3794, failedAssignments=3559, nogoods=681, foundSolutions=15, bestBound=-952
9.65/6.51 nFilterCalls=767299, avgTableProportion=0.9982700585270283, avgTableSize=577.0979096805809
9.65/6.51
9.65/6.54 o -6
9.65/6.54 num=146, depth=1..74, filters=222862, revisions=(201999,useless=113034), ccks=590677, wck=4.058, mem=129M830
9.65/6.54 decisions=14180, wrong=6293, backtracks=3813, failedAssignments=3577, nogoods=682, foundSolutions=16, bestBound=-6
9.65/6.54 nFilterCalls=771065, avgTableProportion=0.9982700573706108, avgTableSize=577.0975079921926
9.65/6.54
9.65/6.58 num=147, depth=10..17, filters=225400, revisions=(204239,useless=114165), ccks=599711, wck=4.098, mem=129M830
9.65/6.58 decisions=14376, wrong=6384, backtracks=3872, failedAssignments=3627, nogoods=688, foundSolutions=16, bestBound=-6
9.65/6.58 nFilterCalls=779780, avgTableProportion=0.9982700586082339, avgTableSize=577.0979378799149
9.65/6.58
9.65/6.59 num=148, depth=14..17, filters=226083, revisions=(204723,useless=114401), ccks=601930, wck=4.109, mem=129M830
9.65/6.59 decisions=14432, wrong=6405, backtracks=3882, failedAssignments=3638, nogoods=694, foundSolutions=16, bestBound=-6
9.65/6.59 nFilterCalls=783546, avgTableProportion=0.9982700576535568, avgTableSize=577.0976062668943
9.65/6.59
9.65/6.60 num=149, depth=15..20, filters=226610, revisions=(205170,useless=114620), ccks=603978, wck=4.116, mem=129M830
9.65/6.60 decisions=14491, wrong=6427, backtracks=3897, failedAssignments=3650, nogoods=698, foundSolutions=16, bestBound=-6
9.65/6.60 nFilterCalls=786317, avgTableProportion=0.998270057410209, avgTableSize=577.0975217374163
9.65/6.60
9.76/6.61 num=150, depth=11..16, filters=227313, revisions=(205727,useless=114868), ccks=606952, wck=4.13, mem=129M830
9.76/6.61 decisions=14551, wrong=6451, backtracks=3914, failedAssignments=3663, nogoods=700, foundSolutions=16, bestBound=-6
9.76/6.61 nFilterCalls=789999, avgTableProportion=0.9982700568050058, avgTableSize=577.0973115155842
9.76/6.61
9.76/6.62 num=151, depth=13..19, filters=228008, revisions=(206360,useless=115189), ccks=609355, wck=4.138, mem=129M830
9.76/6.62 decisions=14621, wrong=6478, backtracks=3928, failedAssignments=3677, nogoods=702, foundSolutions=16, bestBound=-6
9.76/6.62 nFilterCalls=792839, avgTableProportion=0.9982700565640311, avgTableSize=577.0972278104382
9.76/6.62
9.76/6.63 num=152, depth=13..18, filters=228872, revisions=(206974,useless=115518), ccks=611912, wck=4.153, mem=129M830
9.76/6.63 decisions=14689, wrong=6505, backtracks=3946, failedAssignments=3693, nogoods=705, foundSolutions=16, bestBound=-6
9.76/6.63 nFilterCalls=797976, avgTableProportion=0.9982700558011447, avgTableSize=577.0969628159243
9.76/6.63
9.76/6.64 num=153, depth=14..19, filters=229570, revisions=(207557,useless=115815), ccks=614964, wck=4.163, mem=129M830
9.76/6.64 decisions=14766, wrong=6536, backtracks=3965, failedAssignments=3710, nogoods=707, foundSolutions=16, bestBound=-6
9.76/6.64 nFilterCalls=801666, avgTableProportion=0.9982700557192984, avgTableSize=577.096934384145
9.76/6.64
9.76/6.66 num=154, depth=13..18, filters=230854, revisions=(208376,useless=116265), ccks=618493, wck=4.184, mem=129M830
9.76/6.66 decisions=14845, wrong=6568, backtracks=3987, failedAssignments=3729, nogoods=709, foundSolutions=16, bestBound=-6
9.76/6.66 nFilterCalls=808799, avgTableProportion=0.9982700550984184, avgTableSize=577.096718715033
9.76/6.66
9.76/6.68 num=155, depth=12..17, filters=231683, revisions=(209117,useless=116649), ccks=621279, wck=4.195, mem=129M830
9.76/6.68 decisions=14924, wrong=6601, backtracks=4004, failedAssignments=3750, nogoods=711, foundSolutions=16, bestBound=-6
9.76/6.68 nFilterCalls=812396, avgTableProportion=0.9982700551165071, avgTableSize=577.0967249961841
9.76/6.68
9.86/6.70 num=156, depth=11..16, filters=232858, revisions=(210024,useless=117087), ccks=625679, wck=4.221, mem=129M830
9.86/6.70 decisions=15018, wrong=6642, backtracks=4029, failedAssignments=3773, nogoods=716, foundSolutions=16, bestBound=-6
9.86/6.70 nFilterCalls=819025, avgTableProportion=0.9982700543425402, avgTableSize=577.0964561521321
9.86/6.70
9.86/6.72 num=157, depth=13..18, filters=233943, revisions=(210832,useless=117492), ccks=629795, wck=4.238, mem=129M830
9.86/6.72 decisions=15115, wrong=6684, backtracks=4053, failedAssignments=3798, nogoods=720, foundSolutions=16, bestBound=-6
9.86/6.72 nFilterCalls=825083, avgTableProportion=0.9982700534097676, avgTableSize=577.0961321467053
9.86/6.72
9.86/6.74 num=158, depth=11..16, filters=235302, revisions=(212048,useless=118136), ccks=634840, wck=4.258, mem=129M830
9.86/6.74 decisions=15234, wrong=6737, backtracks=4086, failedAssignments=3826, nogoods=725, foundSolutions=16, bestBound=-6
9.86/6.74 nFilterCalls=830637, avgTableProportion=0.9982700535382992, avgTableSize=577.0961767896205
9.86/6.74
9.86/6.76 num=159, depth=11..18, filters=236832, revisions=(213251,useless=118731), ccks=640889, wck=4.283, mem=129M830
9.86/6.76 decisions=15354, wrong=6791, backtracks=4127, failedAssignments=3857, nogoods=728, foundSolutions=16, bestBound=-6
9.86/6.76 nFilterCalls=838120, avgTableProportion=0.9982700530996974, avgTableSize=577.0960244356417
9.86/6.76
9.86/6.79 num=160, depth=13..19, filters=238417, revisions=(214392,useless=119319), ccks=646467, wck=4.31, mem=132M473
9.86/6.79 decisions=15485, wrong=6849, backtracks=4165, failedAssignments=3891, nogoods=738, foundSolutions=16, bestBound=-6
9.86/6.79 nFilterCalls=847553, avgTableProportion=0.9982700520338228, avgTableSize=577.0956541950769
9.86/6.79
9.96/6.82 num=161, depth=12..20, filters=240417, revisions=(215874,useless=120166), ccks=652649, wck=4.343, mem=132M473
9.96/6.82 decisions=15642, wrong=6920, backtracks=4208, failedAssignments=3928, nogoods=747, foundSolutions=16, bestBound=-6
9.96/6.82 nFilterCalls=857712, avgTableProportion=0.9982700533571339, avgTableSize=577.0961138470722
9.96/6.82
9.96/6.85 o -4
9.96/6.85 num=162, depth=2..74, filters=241357, revisions=(216604,useless=120551), ccks=655408, wck=4.367, mem=132M473
9.96/6.85 decisions=15701, wrong=6943, backtracks=4223, failedAssignments=3942, nogoods=752, foundSolutions=17, bestBound=-4
9.96/6.85 nFilterCalls=861763, avgTableProportion=0.9982700538904618, avgTableSize=577.096299098476
9.96/6.85
9.96/6.89 num=163, depth=12..18, filters=243858, revisions=(218427,useless=121633), ccks=663049, wck=4.41, mem=132M473
9.96/6.89 decisions=15874, wrong=7023, backtracks=4277, failedAssignments=3987, nogoods=758, foundSolutions=17, bestBound=-4
9.96/6.89 nFilterCalls=874371, avgTableProportion=0.9982700529121349, avgTableSize=577.0959592667186
9.96/6.89
10.06/6.90 num=164, depth=14..19, filters=244444, revisions=(218818,useless=121818), ccks=664884, wck=4.42, mem=132M473
10.06/6.90 decisions=15920, wrong=7039, backtracks=4289, failedAssignments=3998, nogoods=763, foundSolutions=17, bestBound=-4
10.06/6.90 nFilterCalls=877649, avgTableProportion=0.998270053346594, avgTableSize=577.0961101761638
10.06/6.90
10.06/6.91 num=165, depth=11..17, filters=244979, revisions=(219302,useless=122070), ccks=666571, wck=4.43, mem=132M473
10.06/6.91 decisions=15976, wrong=7060, backtracks=4301, failedAssignments=4010, nogoods=768, foundSolutions=17, bestBound=-4
10.06/6.91 nFilterCalls=880054, avgTableProportion=0.9982700532283568, avgTableSize=577.0960691048504
10.06/6.91
10.06/6.93 num=166, depth=12..18, filters=245852, revisions=(219894,useless=122372), ccks=669331, wck=4.445, mem=132M473
10.06/6.93 decisions=16032, wrong=7081, backtracks=4313, failedAssignments=4023, nogoods=773, foundSolutions=17, bestBound=-4
10.06/6.93 nFilterCalls=884316, avgTableProportion=0.998270052832991, avgTableSize=577.0959317709959
10.06/6.93
10.06/6.94 num=167, depth=12..17, filters=246605, revisions=(220453,useless=122638), ccks=672066, wck=4.462, mem=132M473
10.06/6.94 decisions=16088, wrong=7102, backtracks=4325, failedAssignments=4037, nogoods=777, foundSolutions=17, bestBound=-4
10.06/6.94 nFilterCalls=888668, avgTableProportion=0.99827005293182, avgTableSize=577.0959660975752
10.06/6.94
10.06/6.96 num=168, depth=10..17, filters=247537, revisions=(221221,useless=123041), ccks=674972, wck=4.476, mem=132M473
10.06/6.96 decisions=16162, wrong=7133, backtracks=4348, failedAssignments=4053, nogoods=781, foundSolutions=17, bestBound=-4
10.06/6.96 nFilterCalls=892397, avgTableProportion=0.9982700532161761, avgTableSize=577.0960648679903
10.06/6.96
10.06/6.98 num=169, depth=11..16, filters=248697, revisions=(221986,useless=123480), ccks=678017, wck=4.497, mem=132M473
10.06/6.98 decisions=16232, wrong=7162, backtracks=4368, failedAssignments=4070, nogoods=790, foundSolutions=17, bestBound=-4
10.06/6.98 nFilterCalls=898519, avgTableProportion=0.9982700531036925, avgTableSize=577.0960257935559
10.06/6.98
10.06/7.00 num=170, depth=12..17, filters=249911, revisions=(222764,useless=123878), ccks=681608, wck=4.518, mem=132M473
10.06/7.00 decisions=16311, wrong=7195, backtracks=4393, failedAssignments=4089, nogoods=794, foundSolutions=17, bestBound=-4
10.06/7.00 nFilterCalls=904873, avgTableProportion=0.998270054331313, avgTableSize=577.0964522093155
10.06/7.00
10.18/7.01 num=171, depth=10..14, filters=250935, revisions=(223688,useless=124347), ccks=685024, wck=4.534, mem=132M473
10.18/7.01 decisions=16388, wrong=7228, backtracks=4411, failedAssignments=4110, nogoods=798, foundSolutions=17, bestBound=-4
10.18/7.01 nFilterCalls=908440, avgTableProportion=0.998270054058635, avgTableSize=577.0963574919642
10.18/7.01
10.18/7.04 num=172, depth=10..17, filters=252298, revisions=(224635,useless=124833), ccks=689336, wck=4.561, mem=132M473
10.18/7.04 decisions=16480, wrong=7268, backtracks=4438, failedAssignments=4133, nogoods=803, foundSolutions=17, bestBound=-4
10.18/7.04 nFilterCalls=915386, avgTableProportion=0.9982700544822811, avgTableSize=577.0965046439426
10.18/7.04
10.18/7.07 num=173, depth=9..18, filters=254086, revisions=(226062,useless=125610), ccks=694468, wck=4.587, mem=132M473
10.18/7.07 decisions=16602, wrong=7323, backtracks=4476, failedAssignments=4158, nogoods=809, foundSolutions=17, bestBound=-4
10.18/7.07 nFilterCalls=923845, avgTableProportion=0.9982700571300461, avgTableSize=577.0974243514876
10.18/7.07
10.18/7.10 num=174, depth=10..18, filters=255643, revisions=(227175,useless=126196), ccks=700236, wck=4.615, mem=132M473
10.18/7.10 decisions=16712, wrong=7373, backtracks=4508, failedAssignments=4186, nogoods=811, foundSolutions=17, bestBound=-4
10.18/7.10 nFilterCalls=931031, avgTableProportion=0.9982700577141932, avgTableSize=577.0976272540871
10.18/7.10
10.29/7.13 num=175, depth=10..17, filters=257530, revisions=(228599,useless=126973), ccks=704877, wck=4.645, mem=135M115
10.29/7.13 decisions=16841, wrong=7431, backtracks=4553, failedAssignments=4217, nogoods=817, foundSolutions=17, bestBound=-4
10.29/7.13 nFilterCalls=940320, avgTableProportion=0.9982700610181299, avgTableSize=577.0987748851455
10.29/7.13
10.29/7.16 num=176, depth=9..18, filters=259400, revisions=(229935,useless=127625), ccks=711639, wck=4.683, mem=135M115
10.29/7.16 decisions=16961, wrong=7485, backtracks=4587, failedAssignments=4251, nogoods=823, foundSolutions=17, bestBound=-4
10.29/7.16 nFilterCalls=949823, avgTableProportion=0.9982700612707514, avgTableSize=577.0988626301953
10.29/7.16
10.38/7.20 num=177, depth=11..19, filters=261664, revisions=(231638,useless=128596), ccks=717303, wck=4.717, mem=135M115
10.38/7.20 decisions=17105, wrong=7551, backtracks=4630, failedAssignments=4288, nogoods=825, foundSolutions=17, bestBound=-4
10.38/7.20 nFilterCalls=959914, avgTableProportion=0.9982700634792557, avgTableSize=577.0996297584992
10.38/7.20
10.38/7.25 num=178, depth=9..18, filters=263830, revisions=(233120,useless=129387), ccks=724035, wck=4.766, mem=135M115
10.38/7.25 decisions=17250, wrong=7618, backtracks=4673, failedAssignments=4329, nogoods=830, foundSolutions=17, bestBound=-4
10.38/7.25 nFilterCalls=971972, avgTableProportion=0.9982700644882921, avgTableSize=577.0999802463446
10.38/7.25
10.38/7.30 num=179, depth=10..16, filters=266788, revisions=(235198,useless=130642), ccks=731324, wck=4.816, mem=135M115
10.38/7.30 decisions=17423, wrong=7699, backtracks=4724, failedAssignments=4374, nogoods=835, foundSolutions=17, bestBound=-4
10.38/7.30 nFilterCalls=985328, avgTableProportion=0.9982700677275759, avgTableSize=577.1011054187032
10.38/7.30
10.48/7.33 o 8
10.48/7.33 num=180, depth=10..74, filters=268684, revisions=(236673,useless=131446), ccks=736652, wck=4.849, mem=135M115
10.48/7.33 decisions=17563, wrong=7761, backtracks=4765, failedAssignments=4412, nogoods=838, foundSolutions=18, bestBound=8
10.48/7.33 nFilterCalls=993937, avgTableProportion=0.9982700685837339, avgTableSize=577.101402805208
10.48/7.33
10.58/7.42 num=181, depth=6..14, filters=272560, revisions=(239892,useless=133193), ccks=748343, wck=4.937, mem=135M115
10.58/7.42 decisions=17780, wrong=7866, backtracks=4835, failedAssignments=4467, nogoods=845, foundSolutions=18, bestBound=8
10.58/7.42 nFilterCalls=1008959, avgTableProportion=0.9982700679552351, avgTableSize=577.1011844881705
10.58/7.42
10.58/7.43 num=182, depth=12..16, filters=273258, revisions=(240370,useless=133448), ccks=750163, wck=4.949, mem=135M115
10.58/7.43 decisions=17826, wrong=7883, backtracks=4847, failedAssignments=4478, nogoods=847, foundSolutions=18, bestBound=8
10.58/7.43 nFilterCalls=1012160, avgTableProportion=0.9982700681688711, avgTableSize=577.1012586942776
10.58/7.43
10.58/7.44 num=183, depth=8..13, filters=273956, revisions=(241028,useless=133786), ccks=752275, wck=4.96, mem=135M115
10.58/7.44 decisions=17883, wrong=7907, backtracks=4861, failedAssignments=4490, nogoods=849, foundSolutions=18, bestBound=8
10.58/7.44 nFilterCalls=1014554, avgTableProportion=0.998270068136487, avgTableSize=577.10124744469
10.58/7.44
10.58/7.45 num=184, depth=12..16, filters=274789, revisions=(241635,useless=134111), ccks=755051, wck=4.973, mem=135M115
10.58/7.45 decisions=17941, wrong=7930, backtracks=4876, failedAssignments=4503, nogoods=854, foundSolutions=18, bestBound=8
10.58/7.45 nFilterCalls=1018025, avgTableProportion=0.9982700682144572, avgTableSize=577.101274526657
10.58/7.45
10.58/7.47 num=185, depth=9..14, filters=275701, revisions=(242441,useless=134508), ccks=757794, wck=4.988, mem=135M115
10.58/7.47 decisions=18006, wrong=7958, backtracks=4893, failedAssignments=4517, nogoods=857, foundSolutions=18, bestBound=8
10.58/7.47 nFilterCalls=1021395, avgTableProportion=0.998270068182624, avgTableSize=577.1012634681
10.58/7.47
10.58/7.49 num=186, depth=10..15, filters=276752, revisions=(243281,useless=134942), ccks=761362, wck=5.006, mem=135M115
10.58/7.49 decisions=18078, wrong=7988, backtracks=4914, failedAssignments=4533, nogoods=863, foundSolutions=18, bestBound=8
10.58/7.49 nFilterCalls=1025996, avgTableProportion=0.9982700683456182, avgTableSize=577.1013200831193
10.58/7.49
10.69/7.51 num=187, depth=8..13, filters=277826, revisions=(244171,useless=135433), ccks=764535, wck=5.027, mem=135M115
10.69/7.51 decisions=18151, wrong=8019, backtracks=4932, failedAssignments=4550, nogoods=866, foundSolutions=18, bestBound=8
10.69/7.51 nFilterCalls=1030651, avgTableProportion=0.9982700684108603, avgTableSize=577.1013427435669
10.69/7.51
10.69/7.53 num=188, depth=11..16, filters=278846, revisions=(244951,useless=135819), ccks=767733, wck=5.047, mem=137M758
10.69/7.53 decisions=18224, wrong=8049, backtracks=4948, failedAssignments=4569, nogoods=873, foundSolutions=18, bestBound=8
10.69/7.53 nFilterCalls=1035358, avgTableProportion=0.9982700691504462, avgTableSize=577.1015996399314
10.69/7.53
10.69/7.56 num=189, depth=8..13, filters=280597, revisions=(246350,useless=136622), ccks=771843, wck=5.076, mem=137M758
10.69/7.56 decisions=18328, wrong=8097, backtracks=4981, failedAssignments=4590, nogoods=879, foundSolutions=18, bestBound=8
10.69/7.56 nFilterCalls=1041748, avgTableProportion=0.9982700686275314, avgTableSize=577.1014180012825
10.69/7.56
10.69/7.58 num=190, depth=10..16, filters=281661, revisions=(247236,useless=137054), ccks=775993, wck=5.095, mem=137M758
10.69/7.58 decisions=18409, wrong=8132, backtracks=5004, failedAssignments=4613, nogoods=883, foundSolutions=18, bestBound=8
10.69/7.58 nFilterCalls=1046284, avgTableProportion=0.9982700689823985, avgTableSize=577.101541264131
10.69/7.58
10.80/7.60 num=191, depth=7..18, filters=283244, revisions=(248558,useless=137750), ccks=780988, wck=5.119, mem=137M758
10.80/7.60 decisions=18517, wrong=8178, backtracks=5032, failedAssignments=4638, nogoods=888, foundSolutions=18, bestBound=8
10.80/7.60 nFilterCalls=1051837, avgTableProportion=0.9982700696890968, avgTableSize=577.1017866836781
10.80/7.60
10.80/7.62 num=192, depth=9..14, filters=284610, revisions=(249688,useless=138336), ccks=786028, wck=5.144, mem=137M758
10.80/7.62 decisions=18621, wrong=8225, backtracks=5059, failedAssignments=4666, nogoods=892, foundSolutions=18, bestBound=8
10.80/7.62 nFilterCalls=1057505, avgTableProportion=0.9982700698396264, avgTableSize=577.1018387619916
10.80/7.62
10.80/7.65 num=193, depth=10..16, filters=286040, revisions=(250820,useless=138913), ccks=791006, wck=5.171, mem=137M758
10.80/7.65 decisions=18728, wrong=8273, backtracks=5089, failedAssignments=4697, nogoods=896, foundSolutions=18, bestBound=8
10.80/7.65 nFilterCalls=1064097, avgTableProportion=0.9982700706835618, avgTableSize=577.102131666568
10.80/7.65
10.80/7.68 num=194, depth=7..16, filters=287638, revisions=(252247,useless=139656), ccks=795899, wck=5.198, mem=137M758
10.80/7.68 decisions=18855, wrong=8332, backtracks=5120, failedAssignments=4731, nogoods=901, foundSolutions=18, bestBound=8
10.80/7.68 nFilterCalls=1069840, avgTableProportion=0.9982700715464984, avgTableSize=577.1024312046661
10.80/7.68
10.90/7.71 num=195, depth=9..16, filters=289387, revisions=(253710,useless=140425), ccks=801728, wck=5.231, mem=137M758
10.90/7.71 decisions=18985, wrong=8390, backtracks=5155, failedAssignments=4768, nogoods=904, foundSolutions=18, bestBound=8
10.90/7.71 nFilterCalls=1077381, avgTableProportion=0.9982700732482593, avgTableSize=577.1030220506951
10.90/7.71
10.90/7.75 num=196, depth=7..13, filters=291252, revisions=(255349,useless=141297), ccks=807001, wck=5.268, mem=137M758
10.90/7.75 decisions=19133, wrong=8460, backtracks=5189, failedAssignments=4809, nogoods=908, foundSolutions=18, bestBound=8
10.90/7.75 nFilterCalls=1084686, avgTableProportion=0.9982700731625354, avgTableSize=577.1029920179665
10.90/7.75
11.00/7.80 num=197, depth=9..17, filters=294218, revisions=(257564,useless=142382), ccks=817117, wck=5.323, mem=137M758
11.00/7.80 decisions=19323, wrong=8549, backtracks=5249, failedAssignments=4854, nogoods=912, foundSolutions=18, bestBound=8
11.00/7.80 nFilterCalls=1098039, avgTableProportion=0.9982700728931445, avgTableSize=577.1028979844979
11.00/7.80
11.00/7.86 num=198, depth=7..15, filters=297405, revisions=(260052,useless=143728), ccks=825074, wck=5.384, mem=137M758
11.00/7.86 decisions=19530, wrong=8648, backtracks=5318, failedAssignments=4904, nogoods=916, foundSolutions=18, bestBound=8
11.00/7.86 nFilterCalls=1111562, avgTableProportion=0.9982700722094335, avgTableSize=577.1026600405555
11.00/7.86
11.10/7.92 num=199, depth=10..16, filters=300672, revisions=(262362,useless=145006), ccks=834269, wck=5.444, mem=137M758
11.10/7.92 decisions=19720, wrong=8737, backtracks=5371, failedAssignments=4959, nogoods=922, foundSolutions=18, bestBound=8
11.10/7.92 nFilterCalls=1127422, avgTableProportion=0.9982700724326028, avgTableSize=577.1027370407886
11.10/7.92
11.10/7.99 num=200, depth=10..19, filters=304147, revisions=(264866,useless=146243), ccks=845848, wck=5.513, mem=140M400
11.10/7.99 decisions=19941, wrong=8842, backtracks=5439, failedAssignments=5020, nogoods=930, foundSolutions=18, bestBound=8
11.10/7.99 nFilterCalls=1144062, avgTableProportion=0.9982700736305556, avgTableSize=577.1031526263437
11.10/7.99
11.21/8.06 o 12
11.21/8.06 num=201, depth=7..74, filters=308223, revisions=(268092,useless=148047), ccks=858328, wck=5.58, mem=140M400
11.21/8.06 decisions=20190, wrong=8960, backtracks=5514, failedAssignments=5084, nogoods=937, foundSolutions=19, bestBound=12
11.21/8.06 nFilterCalls=1160598, avgTableProportion=0.998270074768775, avgTableSize=577.1035474815569
11.21/8.06
11.31/8.15 num=202, depth=4..14, filters=312553, revisions=(271762,useless=149956), ccks=871852, wck=5.675, mem=140M400
11.31/8.15 decisions=20464, wrong=9093, backtracks=5604, failedAssignments=5158, nogoods=940, foundSolutions=19, bestBound=12
11.31/8.15 nFilterCalls=1176933, avgTableProportion=0.9982700738493533, avgTableSize=577.1032276263815
11.31/8.15
11.31/8.17 num=203, depth=9..14, filters=313272, revisions=(272352,useless=150243), ccks=874503, wck=5.691, mem=140M400
11.31/8.17 decisions=20514, wrong=9113, backtracks=5617, failedAssignments=5169, nogoods=944, foundSolutions=19, bestBound=12
11.31/8.17 nFilterCalls=1180531, avgTableProportion=0.9982700736803847, avgTableSize=577.1031688282645
11.31/8.17
11.31/8.18 num=204, depth=10..15, filters=313856, revisions=(272848,useless=150494), ccks=876640, wck=5.702, mem=140M400
11.31/8.18 decisions=20560, wrong=9130, backtracks=5626, failedAssignments=5181, nogoods=948, foundSolutions=19, bestBound=12
11.31/8.18 nFilterCalls=1182775, avgTableProportion=0.9982700735576295, avgTableSize=577.103126122889
11.31/8.18
11.41/8.20 num=205, depth=6..14, filters=314657, revisions=(273557,useless=150863), ccks=879420, wck=5.718, mem=140M400
11.41/8.20 decisions=20619, wrong=9155, backtracks=5641, failedAssignments=5194, nogoods=953, foundSolutions=19, bestBound=12
11.41/8.20 nFilterCalls=1185875, avgTableProportion=0.9982700732673209, avgTableSize=577.1030251923685
11.41/8.20
11.41/8.22 num=206, depth=8..15, filters=315558, revisions=(274307,useless=151259), ccks=882133, wck=5.739, mem=140M400
11.41/8.22 decisions=20677, wrong=9180, backtracks=5662, failedAssignments=5208, nogoods=956, foundSolutions=19, bestBound=12
11.41/8.22 nFilterCalls=1190431, avgTableProportion=0.9982700730853981, avgTableSize=577.1029618684325
11.41/8.22
11.41/8.24 num=207, depth=8..14, filters=316476, revisions=(275063,useless=151611), ccks=885332, wck=5.757, mem=140M400
11.41/8.24 decisions=20741, wrong=9207, backtracks=5682, failedAssignments=5224, nogoods=962, foundSolutions=19, bestBound=12
11.41/8.24 nFilterCalls=1194370, avgTableProportion=0.9982700727372616, avgTableSize=577.1028408282191
11.41/8.24
11.41/8.26 num=208, depth=6..12, filters=317582, revisions=(275994,useless=152106), ccks=888261, wck=5.776, mem=140M400
11.41/8.26 decisions=20804, wrong=9235, backtracks=5700, failedAssignments=5241, nogoods=966, foundSolutions=19, bestBound=12
11.41/8.26 nFilterCalls=1197707, avgTableProportion=0.9982700723645341, avgTableSize=577.1027112641071
11.41/8.26
11.41/8.28 num=209, depth=9..16, filters=318780, revisions=(276897,useless=152590), ccks=891944, wck=5.801, mem=140M400
11.41/8.28 decisions=20889, wrong=9271, backtracks=5726, failedAssignments=5260, nogoods=972, foundSolutions=19, bestBound=12
11.41/8.28 nFilterCalls=1204172, avgTableProportion=0.9982700722358934, avgTableSize=577.1026663964949
11.41/8.28
11.51/8.30 num=210, depth=7..14, filters=319946, revisions=(277905,useless=153133), ccks=895636, wck=5.823, mem=140M400
11.51/8.30 decisions=20979, wrong=9311, backtracks=5751, failedAssignments=5281, nogoods=974, foundSolutions=19, bestBound=12
11.51/8.30 nFilterCalls=1209514, avgTableProportion=0.9982700729731364, avgTableSize=577.1029223307874
11.51/8.30
11.51/8.33 num=211, depth=8..14, filters=321328, revisions=(278968,useless=153716), ccks=899541, wck=5.851, mem=140M400
11.51/8.33 decisions=21057, wrong=9345, backtracks=5773, failedAssignments=5304, nogoods=977, foundSolutions=19, bestBound=12
11.51/8.33 nFilterCalls=1215129, avgTableProportion=0.9982700735234613, avgTableSize=577.1031133320001
11.51/8.33
11.51/8.36 num=212, depth=10..15, filters=322982, revisions=(280117,useless=154344), ccks=903715, wck=5.879, mem=140M400
11.51/8.36 decisions=21152, wrong=9387, backtracks=5802, failedAssignments=5329, nogoods=980, foundSolutions=19, bestBound=12
11.51/8.36 nFilterCalls=1223433, avgTableProportion=0.9982700733823364, avgTableSize=577.10306408279
11.51/8.36
11.51/8.39 num=213, depth=9..14, filters=324627, revisions=(281517,useless=155100), ccks=909203, wck=5.906, mem=142M778
11.51/8.39 decisions=21276, wrong=9444, backtracks=5839, failedAssignments=5357, nogoods=984, foundSolutions=19, bestBound=12
11.51/8.39 nFilterCalls=1230118, avgTableProportion=0.9982700737362918, avgTableSize=577.1031868487413
11.51/8.39
11.61/8.42 num=214, depth=8..15, filters=326333, revisions=(282910,useless=155850), ccks=915452, wck=5.943, mem=142M778
11.61/8.42 decisions=21389, wrong=9496, backtracks=5870, failedAssignments=5388, nogoods=993, foundSolutions=19, bestBound=12
11.61/8.42 nFilterCalls=1237340, avgTableProportion=0.9982700742784687, avgTableSize=577.1033749818158
11.61/8.42
11.61/8.47 num=215, depth=8..14, filters=328529, revisions=(284549,useless=156695), ccks=922082, wck=5.987, mem=142M778
11.61/8.47 decisions=21507, wrong=9551, backtracks=5906, failedAssignments=5422, nogoods=1001, foundSolutions=19, bestBound=12
11.61/8.47 nFilterCalls=1246958, avgTableProportion=0.9982700740777418, avgTableSize=577.1033050030554
11.61/8.47
11.71/8.53 num=216, depth=10..16, filters=331626, revisions=(286315,useless=157701), ccks=928592, wck=6.046, mem=142M778
11.71/8.53 decisions=21639, wrong=9611, backtracks=5944, failedAssignments=5459, nogoods=1007, foundSolutions=19, bestBound=12
11.71/8.53 nFilterCalls=1262338, avgTableProportion=0.9982700745490862, avgTableSize=577.1034683262327
11.71/8.53
11.71/8.55 o 23
11.71/8.55 num=217, depth=8..74, filters=332668, revisions=(287063,useless=158094), ccks=931593, wck=6.066, mem=142M778
11.71/8.55 decisions=21700, wrong=9633, backtracks=5960, failedAssignments=5471, nogoods=1011, foundSolutions=20, bestBound=23
11.71/8.55 nFilterCalls=1266387, avgTableProportion=0.9982700754747558, avgTableSize=577.1037897577912
11.71/8.55
11.81/8.61 num=218, depth=3..10, filters=335417, revisions=(289581,useless=159462), ccks=939382, wck=6.126, mem=142M778
11.81/8.61 decisions=21864, wrong=9712, backtracks=6009, failedAssignments=5516, nogoods=1013, foundSolutions=20, bestBound=23
11.81/8.61 nFilterCalls=1275126, avgTableProportion=0.9982700772905757, avgTableSize=577.1044202690557
11.81/8.61
11.81/8.62 num=219, depth=9..17, filters=336036, revisions=(290107,useless=159714), ccks=941138, wck=6.136, mem=142M778
11.81/8.62 decisions=21911, wrong=9730, backtracks=6021, failedAssignments=5527, nogoods=1017, foundSolutions=20, bestBound=23
11.81/8.62 nFilterCalls=1277820, avgTableProportion=0.9982700772337518, avgTableSize=577.104400463289
11.81/8.62
11.81/8.63 num=220, depth=11..15, filters=336766, revisions=(290699,useless=160014), ccks=943412, wck=6.148, mem=142M778
11.81/8.63 decisions=21966, wrong=9752, backtracks=6034, failedAssignments=5539, nogoods=1020, foundSolutions=20, bestBound=23
11.81/8.63 nFilterCalls=1280942, avgTableProportion=0.9982700769576743, avgTableSize=577.1043044884156
11.81/8.63
11.81/8.64 num=221, depth=8..15, filters=337678, revisions=(291469,useless=160420), ccks=946123, wck=6.164, mem=142M778
11.81/8.64 decisions=22027, wrong=9778, backtracks=6050, failedAssignments=5552, nogoods=1023, foundSolutions=20, bestBound=23
11.81/8.64 nFilterCalls=1284092, avgTableProportion=0.9982700772301678, avgTableSize=577.1043990617495
11.81/8.64
11.81/8.66 num=222, depth=7..11, filters=338440, revisions=(292195,useless=160819), ccks=948263, wck=6.179, mem=142M778
11.81/8.66 decisions=22081, wrong=9800, backtracks=6062, failedAssignments=5566, nogoods=1027, foundSolutions=20, bestBound=23
11.81/8.66 nFilterCalls=1287110, avgTableProportion=0.9982700772123186, avgTableSize=577.1043927869413
11.81/8.66
11.81/8.68 num=223, depth=8..14, filters=339273, revisions=(292881,useless=161166), ccks=951217, wck=6.198, mem=142M778
11.81/8.68 decisions=22136, wrong=9823, backtracks=6075, failedAssignments=5582, nogoods=1031, foundSolutions=20, bestBound=23
11.81/8.68 nFilterCalls=1290860, avgTableProportion=0.99827007700858, avgTableSize=577.1043219249183
11.81/8.68
11.91/8.70 num=224, depth=6..15, filters=340441, revisions=(293905,useless=161695), ccks=954580, wck=6.221, mem=142M778
11.91/8.70 decisions=22212, wrong=9856, backtracks=6096, failedAssignments=5599, nogoods=1039, foundSolutions=20, bestBound=23
11.91/8.70 nFilterCalls=1295620, avgTableProportion=0.9982700774387173, avgTableSize=577.1044712184128
11.91/8.70
11.91/8.72 num=225, depth=10..16, filters=341417, revisions=(294729,useless=162133), ccks=957693, wck=6.24, mem=142M778
11.91/8.72 decisions=22284, wrong=9886, backtracks=6114, failedAssignments=5618, nogoods=1045, foundSolutions=20, bestBound=23
11.91/8.72 nFilterCalls=1300036, avgTableProportion=0.9982700773231099, avgTableSize=577.1044309542198
11.91/8.72
11.91/8.74 num=226, depth=6..13, filters=342374, revisions=(295596,useless=162580), ccks=960833, wck=6.263, mem=142M778
11.91/8.74 decisions=22365, wrong=9923, backtracks=6137, failedAssignments=5639, nogoods=1047, foundSolutions=20, bestBound=23
11.91/8.74 nFilterCalls=1304349, avgTableProportion=0.9982700770179156, avgTableSize=577.104324839441
11.91/8.74
11.91/8.79 num=227, depth=6..12, filters=343929, revisions=(296921,useless=163249), ccks=965280, wck=6.307, mem=31M2
11.91/8.79 decisions=22443, wrong=9958, backtracks=6160, failedAssignments=5662, nogoods=1054, foundSolutions=20, bestBound=23
11.91/8.79 nFilterCalls=1309321, avgTableProportion=0.9982700773135479, avgTableSize=577.1044274093214
11.91/8.79
12.06/8.82 num=228, depth=7..14, filters=345483, revisions=(298218,useless=163937), ccks=969322, wck=6.337, mem=31M2
12.06/8.82 decisions=22538, wrong=10001, backtracks=6186, failedAssignments=5687, nogoods=1061, foundSolutions=20, bestBound=23
12.06/8.82 nFilterCalls=1314997, avgTableProportion=0.9982700771634673, avgTableSize=577.1043751430611
12.06/8.82
12.06/8.85 num=229, depth=6..12, filters=347260, revisions=(299683,useless=164718), ccks=974501, wck=6.368, mem=31M2
12.06/8.85 decisions=22644, wrong=10051, backtracks=6218, failedAssignments=5715, nogoods=1062, foundSolutions=20, bestBound=23
12.06/8.85 nFilterCalls=1320362, avgTableProportion=0.9982700786901645, avgTableSize=577.1049053214194
12.06/8.85
12.06/8.90 num=230, depth=7..13, filters=349366, revisions=(301597,useless=165866), ccks=980259, wck=6.416, mem=31M2
12.06/8.90 decisions=22769, wrong=10110, backtracks=6258, failedAssignments=5746, nogoods=1064, foundSolutions=20, bestBound=23
12.06/8.90 nFilterCalls=1330220, avgTableProportion=0.9982700787619072, avgTableSize=577.104930011577
12.06/8.90
12.16/8.94 num=231, depth=8..15, filters=351297, revisions=(303150,useless=166687), ccks=986491, wck=6.455, mem=31M2
12.16/8.94 decisions=22890, wrong=10166, backtracks=6298, failedAssignments=5780, nogoods=1067, foundSolutions=20, bestBound=23
12.16/8.94 nFilterCalls=1339032, avgTableProportion=0.9982700784149595, avgTableSize=577.1048092950729
12.16/8.94
12.16/8.98 num=232, depth=6..14, filters=353661, revisions=(305248,useless=167850), ccks=993642, wck=6.499, mem=31M2
12.16/8.98 decisions=23036, wrong=10235, backtracks=6339, failedAssignments=5817, nogoods=1072, foundSolutions=20, bestBound=23
12.16/8.98 nFilterCalls=1347888, avgTableProportion=0.9982700781289244, avgTableSize=577.1047097384946
12.16/8.98
12.27/9.02 num=233, depth=9..17, filters=355730, revisions=(306878,useless=168691), ccks=1000343, wck=6.544, mem=31M2
12.27/9.02 decisions=23179, wrong=10301, backtracks=6383, failedAssignments=5858, nogoods=1077, foundSolutions=20, bestBound=23
12.27/9.02 nFilterCalls=1357656, avgTableProportion=0.9982700784671271, avgTableSize=577.10482699594
12.27/9.02
12.27/9.07 num=234, depth=8..18, filters=358184, revisions=(309050,useless=169857), ccks=1007535, wck=6.587, mem=31M2
12.27/9.07 decisions=23355, wrong=10385, backtracks=6442, failedAssignments=5903, nogoods=1084, foundSolutions=20, bestBound=23
12.27/9.07 nFilterCalls=1367281, avgTableProportion=0.9982700784488732, avgTableSize=577.1048204429082
12.27/9.07
12.37/9.12 num=235, depth=7..17, filters=361093, revisions=(311378,useless=171079), ccks=1016106, wck=6.64, mem=31M2
12.37/9.12 decisions=23532, wrong=10470, backtracks=6493, failedAssignments=5953, nogoods=1087, foundSolutions=20, bestBound=23
12.37/9.12 nFilterCalls=1377666, avgTableProportion=0.9982700776688958, avgTableSize=577.1045492884342
12.37/9.12
12.46/9.20 num=236, depth=4..17, filters=364708, revisions=(314534,useless=172662), ccks=1028780, wck=6.723, mem=31M2
12.46/9.20 decisions=23762, wrong=10581, backtracks=6574, failedAssignments=6008, nogoods=1100, foundSolutions=20, bestBound=23
12.46/9.20 nFilterCalls=1392615, avgTableProportion=0.9982700773867912, avgTableSize=577.1044509789137
12.46/9.20
12.46/9.27 num=237, depth=7..15, filters=368205, revisions=(317407,useless=174258), ccks=1038617, wck=6.794, mem=33M618
12.46/9.27 decisions=23998, wrong=10695, backtracks=6653, failedAssignments=6069, nogoods=1105, foundSolutions=20, bestBound=23
12.46/9.27 nFilterCalls=1407617, avgTableProportion=0.9982700784737665, avgTableSize=577.1048282309748
12.46/9.27
12.56/9.36 num=238, depth=6..15, filters=372404, revisions=(320882,useless=176084), ccks=1051755, wck=6.878, mem=33M618
12.56/9.36 decisions=24244, wrong=10815, backtracks=6731, failedAssignments=6136, nogoods=1116, foundSolutions=20, bestBound=23
12.56/9.36 nFilterCalls=1423302, avgTableProportion=0.9982700780615936, avgTableSize=577.1046847401325
12.56/9.36
12.66/9.45 num=239, depth=5..16, filters=376881, revisions=(324643,useless=178186), ccks=1064186, wck=6.966, mem=33M618
12.66/9.45 decisions=24503, wrong=10940, backtracks=6812, failedAssignments=6210, nogoods=1125, foundSolutions=20, bestBound=23
12.66/9.45 nFilterCalls=1439600, avgTableProportion=0.9982700792041109, avgTableSize=577.1050812725757
12.66/9.45
12.76/9.52 num=240, depth=6..13, filters=381281, revisions=(328210,useless=180071), ccks=1076602, wck=7.041, mem=33M618
12.76/9.52 decisions=24757, wrong=11064, backtracks=6878, failedAssignments=6291, nogoods=1128, foundSolutions=20, bestBound=23
12.76/9.52 nFilterCalls=1453095, avgTableProportion=0.9982700817050323, avgTableSize=577.1059497142306
12.76/9.52
12.86/9.62 num=241, depth=5..16, filters=386675, revisions=(332809,useless=182572), ccks=1093172, wck=7.14, mem=33M618
12.86/9.62 decisions=25107, wrong=11235, backtracks=6983, failedAssignments=6380, nogoods=1139, foundSolutions=20, bestBound=23
12.86/9.62 nFilterCalls=1472657, avgTableProportion=0.9982700819806022, avgTableSize=577.1060450600513
12.86/9.62
12.96/9.73 num=242, depth=6..13, filters=392407, revisions=(337666,useless=185088), ccks=1112310, wck=7.249, mem=33M618
12.96/9.73 decisions=25464, wrong=11410, backtracks=7105, failedAssignments=6478, nogoods=1146, foundSolutions=20, bestBound=23
12.96/9.73 nFilterCalls=1493289, avgTableProportion=0.9982700804973808, avgTableSize=577.105529472192
12.96/9.73
13.06/9.83 num=243, depth=5..13, filters=397835, revisions=(342630,useless=187758), ccks=1125440, wck=7.347, mem=36M234
13.06/9.83 decisions=25814, wrong=11582, backtracks=7201, failedAssignments=6586, nogoods=1155, foundSolutions=20, bestBound=23
13.06/9.83 nFilterCalls=1511355, avgTableProportion=0.9982700796459134, avgTableSize=577.1052333832885
13.06/9.83
13.16/9.96 num=244, depth=6..16, filters=404551, revisions=(348310,useless=190737), ccks=1147685, wck=7.481, mem=36M234
13.16/9.96 decisions=26228, wrong=11785, backtracks=7330, failedAssignments=6705, nogoods=1158, foundSolutions=20, bestBound=23
13.16/9.96 nFilterCalls=1537341, avgTableProportion=0.9982700789064216, avgTableSize=577.1049760593128
13.16/9.96
13.37/10.12 num=245, depth=5..16, filters=412493, revisions=(354971,useless=194594), ccks=1170792, wck=7.643, mem=36M234
13.37/10.12 decisions=26722, wrong=12028, backtracks=7495, failedAssignments=6836, nogoods=1163, foundSolutions=20, bestBound=23
13.37/10.12 nFilterCalls=1568999, avgTableProportion=0.9982700809605766, avgTableSize=577.1056890412294
13.37/10.12
13.56/10.32 num=246, depth=5..16, filters=421485, revisions=(361728,useless=198350), ccks=1193603, wck=7.838, mem=38M850
13.56/10.32 decisions=27263, wrong=12295, backtracks=7661, failedAssignments=6980, nogoods=1173, foundSolutions=20, bestBound=23
13.56/10.32 nFilterCalls=1608148, avgTableProportion=0.9982700808073394, avgTableSize=577.1056351778568
13.56/10.32
13.66/10.48 num=247, depth=4..15, filters=430195, revisions=(369164,useless=202024), ccks=1222363, wck=7.997, mem=38M850
13.66/10.48 decisions=27823, wrong=12573, backtracks=7827, failedAssignments=7138, nogoods=1174, foundSolutions=20, bestBound=23
13.66/10.48 nFilterCalls=1640640, avgTableProportion=0.998270079143016, avgTableSize=577.1050565632924
13.66/10.48
13.86/10.62 o 26
13.86/10.62 num=248, depth=6..74, filters=437913, revisions=(375374,useless=205506), ccks=1243166, wck=8.139, mem=38M850
13.86/10.62 decisions=28301, wrong=12803, backtracks=7967, failedAssignments=7274, nogoods=1182, foundSolutions=21, bestBound=26
13.86/10.62 nFilterCalls=1668815, avgTableProportion=0.9982700801621042, avgTableSize=577.1054101263471
13.86/10.62
14.07/10.88 num=249, depth=2..15, filters=450045, revisions=(386113,useless=211428), ccks=1277909, wck=8.401, mem=41M466
14.07/10.88 decisions=29013, wrong=13156, backtracks=8202, failedAssignments=7465, nogoods=1191, foundSolutions=21, bestBound=26
14.07/10.88 nFilterCalls=1707399, avgTableProportion=0.9982700807097658, avgTableSize=577.1055998041466
14.07/10.88
14.07/10.90 num=250, depth=4..9, filters=450814, revisions=(386835,useless=211804), ccks=1279907, wck=8.416, mem=41M466
14.07/10.90 decisions=29061, wrong=13177, backtracks=8215, failedAssignments=7476, nogoods=1195, foundSolutions=21, bestBound=26
14.07/10.90 nFilterCalls=1709843, avgTableProportion=0.9982700805379799, avgTableSize=577.1055400992957
14.07/10.90
14.17/10.91 num=251, depth=9..16, filters=451354, revisions=(387296,useless=212033), ccks=1281743, wck=8.429, mem=42M787
14.17/10.91 decisions=29104, wrong=13193, backtracks=8225, failedAssignments=7488, nogoods=1200, foundSolutions=21, bestBound=26
14.17/10.91 nFilterCalls=1712385, avgTableProportion=0.9982700805207945, avgTableSize=577.1055340942603
14.17/10.91
14.17/10.92 num=252, depth=10..15, filters=452030, revisions=(387919,useless=212322), ccks=1283768, wck=8.439, mem=42M787
14.17/10.92 decisions=29160, wrong=13216, backtracks=8242, failedAssignments=7501, nogoods=1201, foundSolutions=21, bestBound=26
14.17/10.92 nFilterCalls=1714808, avgTableProportion=0.9982700806825497, avgTableSize=577.1055902468381
14.17/10.92
14.17/10.94 num=253, depth=5..10, filters=452785, revisions=(388584,useless=212686), ccks=1285719, wck=8.459, mem=42M787
14.17/10.94 decisions=29219, wrong=13242, backtracks=8258, failedAssignments=7515, nogoods=1204, foundSolutions=21, bestBound=26
14.17/10.94 nFilterCalls=1718464, avgTableProportion=0.9982700806541528, avgTableSize=577.1055803322037
14.17/10.94
14.17/10.95 num=254, depth=9..17, filters=453685, revisions=(389182,useless=213022), ccks=1287904, wck=8.475, mem=42M787
14.17/10.95 decisions=29272, wrong=13264, backtracks=8275, failedAssignments=7531, nogoods=1206, foundSolutions=21, bestBound=26
14.17/10.95 nFilterCalls=1722300, avgTableProportion=0.9982700806693393, avgTableSize=577.1055855542007
14.17/10.95
14.17/10.97 num=255, depth=9..13, filters=454431, revisions=(389849,useless=213349), ccks=1290100, wck=8.489, mem=42M787
14.17/10.97 decisions=29329, wrong=13287, backtracks=8286, failedAssignments=7548, nogoods=1211, foundSolutions=21, bestBound=26
14.17/10.97 nFilterCalls=1725183, avgTableProportion=0.9982700807739124, avgTableSize=577.1056218383789
14.17/10.97
14.17/11.00 num=256, depth=4..12, filters=455687, revisions=(390966,useless=213924), ccks=1293624, wck=8.517, mem=42M787
14.17/11.00 decisions=29409, wrong=13324, backtracks=8314, failedAssignments=7567, nogoods=1214, foundSolutions=21, bestBound=26
14.17/11.00 nFilterCalls=1729940, avgTableProportion=0.9982700811328226, avgTableSize=577.1057464420732
14.17/11.00
14.28/11.02 num=257, depth=8..13, filters=456925, revisions=(392150,useless=214534), ccks=1297897, wck=8.537, mem=42M787
14.28/11.02 decisions=29505, wrong=13368, backtracks=8342, failedAssignments=7588, nogoods=1218, foundSolutions=21, bestBound=26
14.28/11.02 nFilterCalls=1733787, avgTableProportion=0.9982700810851414, avgTableSize=577.105729827251
14.28/11.02
14.28/11.05 num=258, depth=5..14, filters=458433, revisions=(393483,useless=215267), ccks=1301384, wck=8.566, mem=42M787
14.28/11.05 decisions=29600, wrong=13413, backtracks=8372, failedAssignments=7611, nogoods=1223, foundSolutions=21, bestBound=26
14.28/11.05 nFilterCalls=1739505, avgTableProportion=0.99827008133765, avgTableSize=577.1058174595646
14.28/11.05
14.28/11.07 num=259, depth=8..13, filters=459542, revisions=(394493,useless=215816), ccks=1304938, wck=8.586, mem=42M787
14.28/11.07 decisions=29681, wrong=13449, backtracks=8392, failedAssignments=7636, nogoods=1231, foundSolutions=21, bestBound=26
14.28/11.07 nFilterCalls=1743174, avgTableProportion=0.9982700812432522, avgTableSize=577.1057846204682
14.28/11.07
14.28/11.10 num=260, depth=8..15, filters=461325, revisions=(395977,useless=216570), ccks=1310057, wck=8.617, mem=42M787
14.28/11.10 decisions=29788, wrong=13498, backtracks=8425, failedAssignments=7664, nogoods=1236, foundSolutions=21, bestBound=26
14.28/11.10 nFilterCalls=1749938, avgTableProportion=0.9982700815650952, avgTableSize=577.105896323184
14.28/11.10
14.38/11.14 num=261, depth=4..11, filters=463184, revisions=(397597,useless=217450), ccks=1314063, wck=8.655, mem=42M787
14.38/11.14 decisions=29893, wrong=13548, backtracks=8460, failedAssignments=7695, nogoods=1246, foundSolutions=21, bestBound=26
14.38/11.14 nFilterCalls=1756412, avgTableProportion=0.9982700820413778, avgTableSize=577.1060616757344
14.38/11.14
14.38/11.17 num=262, depth=6..14, filters=465076, revisions=(399191,useless=218305), ccks=1319168, wck=8.694, mem=42M787
14.38/11.17 decisions=30012, wrong=13604, backtracks=8496, failedAssignments=7729, nogoods=1249, foundSolutions=21, bestBound=26
14.38/11.17 nFilterCalls=1763795, avgTableProportion=0.9982700819746508, avgTableSize=577.1060384001543
14.38/11.17
14.47/11.21 num=263, depth=4..12, filters=467486, revisions=(401299,useless=219354), ccks=1325095, wck=8.73, mem=45M403
14.47/11.21 decisions=30156, wrong=13671, backtracks=8537, failedAssignments=7766, nogoods=1253, foundSolutions=21, bestBound=26
14.47/11.21 nFilterCalls=1771233, avgTableProportion=0.9982700812813653, avgTableSize=577.1057974868354
14.47/11.21
14.47/11.26 num=264, depth=6..16, filters=469920, revisions=(403186,useless=220335), ccks=1332382, wck=8.784, mem=45M403
14.47/11.26 decisions=30305, wrong=13741, backtracks=8584, failedAssignments=7807, nogoods=1258, foundSolutions=21, bestBound=26
14.47/11.26 nFilterCalls=1782289, avgTableProportion=0.9982700816440916, avgTableSize=577.1059233379099
14.47/11.26
14.57/11.32 num=265, depth=8..15, filters=472636, revisions=(405381,useless=221469), ccks=1339981, wck=8.835, mem=45M403
14.57/11.32 decisions=30470, wrong=13819, backtracks=8638, failedAssignments=7852, nogoods=1265, foundSolutions=21, bestBound=26
14.57/11.32 nFilterCalls=1793150, avgTableProportion=0.9982700822683366, avgTableSize=577.106140032903
14.57/11.32
14.57/11.37 num=266, depth=5..10, filters=476041, revisions=(408223,useless=222930), ccks=1349339, wck=8.894, mem=45M403
14.57/11.37 decisions=30664, wrong=13913, backtracks=8690, failedAssignments=7902, nogoods=1273, foundSolutions=21, bestBound=26
14.57/11.37 nFilterCalls=1803434, avgTableProportion=0.9982700823476605, avgTableSize=577.1061674560866
14.57/11.37
14.67/11.46 num=267, depth=5..13, filters=479647, revisions=(411298,useless=224651), ccks=1359670, wck=8.976, mem=45M403
14.67/11.46 decisions=30882, wrong=14019, backtracks=8763, failedAssignments=7957, nogoods=1280, foundSolutions=21, bestBound=26
14.67/11.46 nFilterCalls=1817750, avgTableProportion=0.9982700816182251, avgTableSize=577.1059139045524
14.67/11.46
14.77/11.53 num=268, depth=3..10, filters=482948, revisions=(414343,useless=226345), ccks=1368605, wck=9.048, mem=45M403
14.77/11.53 decisions=31100, wrong=14126, backtracks=8827, failedAssignments=8018, nogoods=1284, foundSolutions=21, bestBound=26
14.77/11.53 nFilterCalls=1829627, avgTableProportion=0.9982700811702961, avgTableSize=577.1057581681949
14.77/11.53
14.87/11.60 num=269, depth=5..14, filters=486523, revisions=(417411,useless=227992), ccks=1378670, wck=9.119, mem=45M403
14.87/11.60 decisions=31319, wrong=14232, backtracks=8896, failedAssignments=8085, nogoods=1290, foundSolutions=21, bestBound=26
14.87/11.60 nFilterCalls=1841778, avgTableProportion=0.9982700819349776, avgTableSize=577.1060236358562
14.87/11.60
14.87/11.69 num=270, depth=5..13, filters=491444, revisions=(421783,useless=230504), ccks=1391300, wck=9.205, mem=45M403
14.87/11.69 decisions=31598, wrong=14369, backtracks=8989, failedAssignments=8159, nogoods=1294, foundSolutions=21, bestBound=26
14.87/11.69 nFilterCalls=1858384, avgTableProportion=0.9982700830716479, avgTableSize=577.1064182644707
14.87/11.69
14.97/11.79 num=271, depth=3..11, filters=495937, revisions=(425695,useless=232538), ccks=1404454, wck=9.306, mem=48M19
14.97/11.79 decisions=31863, wrong=14499, backtracks=9072, failedAssignments=8240, nogoods=1301, foundSolutions=21, bestBound=26
14.97/11.79 nFilterCalls=1874439, avgTableProportion=0.9982700835889441, avgTableSize=577.1065977607167
14.97/11.79
15.07/11.88 num=272, depth=3..12, filters=500497, revisions=(429936,useless=234832), ccks=1416284, wck=9.397, mem=48M19
15.07/11.88 decisions=32150, wrong=14639, backtracks=9147, failedAssignments=8329, nogoods=1314, foundSolutions=21, bestBound=26
15.07/11.88 nFilterCalls=1889597, avgTableProportion=0.9982700835531748, avgTableSize=577.1065851607513
15.07/11.88
15.28/12.01 num=273, depth=2..13, filters=506617, revisions=(434702,useless=237343), ccks=1431687, wck=9.528, mem=48M19
15.28/12.01 decisions=32482, wrong=14802, backtracks=9259, failedAssignments=8427, nogoods=1318, foundSolutions=21, bestBound=26
15.28/12.01 nFilterCalls=1911453, avgTableProportion=0.9982700853830503, avgTableSize=577.1072205280485
15.28/12.01
15.38/12.14 num=274, depth=5..15, filters=513228, revisions=(439985,useless=240126), ccks=1450646, wck=9.659, mem=48M19
15.38/12.14 decisions=32849, wrong=14983, backtracks=9369, failedAssignments=8535, nogoods=1321, foundSolutions=21, bestBound=26
15.38/12.14 nFilterCalls=1934622, avgTableProportion=0.9982700871647546, avgTableSize=577.1078391541087
15.38/12.14
15.47/12.26 num=275, depth=6..14, filters=519766, revisions=(445376,useless=242882), ccks=1471184, wck=9.779, mem=50M634
15.47/12.26 decisions=33250, wrong=15180, backtracks=9497, failedAssignments=8654, nogoods=1328, foundSolutions=21, bestBound=26
15.47/12.26 nFilterCalls=1959835, avgTableProportion=0.9982700878163605, avgTableSize=577.1080652197761
15.47/12.26
15.67/12.40 num=276, depth=4..17, filters=527373, revisions=(451896,useless=246473), ccks=1492169, wck=9.922, mem=50M634
15.67/12.40 decisions=33713, wrong=15408, backtracks=9639, failedAssignments=8785, nogoods=1336, foundSolutions=21, bestBound=26
15.67/12.40 nFilterCalls=1986391, avgTableProportion=0.9982700886493903, avgTableSize=577.1083542968126
15.67/12.40
15.78/12.54 num=277, depth=6..14, filters=535168, revisions=(458567,useless=250059), ccks=1516236, wck=10.062, mem=50M634
15.78/12.54 decisions=34205, wrong=15651, backtracks=9784, failedAssignments=8929, nogoods=1342, foundSolutions=21, bestBound=26
15.78/12.54 nFilterCalls=2011590, avgTableProportion=0.9982700898245145, avgTableSize=577.1087622229182
15.78/12.54
15.98/12.74 num=278, depth=3..13, filters=544083, revisions=(466568,useless=254534), ccks=1540342, wck=10.256, mem=50M634
15.98/12.74 decisions=34768, wrong=15930, backtracks=9954, failedAssignments=9087, nogoods=1349, foundSolutions=21, bestBound=26
15.98/12.74 nFilterCalls=2042835, avgTableProportion=0.998270089024558, avgTableSize=577.1084840430088
15.98/12.74
16.18/12.97 num=279, depth=2..12, filters=555410, revisions=(476144,useless=259566), ccks=1570253, wck=10.486, mem=53M250
16.18/12.97 decisions=35426, wrong=16257, backtracks=10167, failedAssignments=9261, nogoods=1354, foundSolutions=21, bestBound=26
16.18/12.97 nFilterCalls=2081510, avgTableProportion=0.9982700897578077, avgTableSize=577.1087383678196
16.18/12.97
16.48/13.21 num=280, depth=4..16, filters=567960, revisions=(486368,useless=265152), ccks=1605134, wck=10.727, mem=53M250
16.48/13.21 decisions=36146, wrong=16614, backtracks=10418, failedAssignments=9452, nogoods=1360, foundSolutions=21, bestBound=26
16.48/13.21 nFilterCalls=2125410, avgTableProportion=0.9982700918915224, avgTableSize=577.1094800532603
16.48/13.21
16.68/13.42 num=281, depth=4..14, filters=579993, revisions=(496618,useless=270540), ccks=1636134, wck=10.936, mem=55M866
16.68/13.42 decisions=36874, wrong=16975, backtracks=10639, failedAssignments=9663, nogoods=1367, foundSolutions=21, bestBound=26
16.68/13.42 nFilterCalls=2168342, avgTableProportion=0.9982700951313697, avgTableSize=577.110606629397
16.68/13.42
16.97/13.72 num=282, depth=5..14, filters=594082, revisions=(507460,useless=276491), ccks=1678219, wck=11.238, mem=55M866
16.97/13.72 decisions=37682, wrong=17374, backtracks=10905, failedAssignments=9895, nogoods=1378, foundSolutions=21, bestBound=26
16.97/13.72 nFilterCalls=2224385, avgTableProportion=0.9982700971438472, avgTableSize=577.1113071702965
16.97/13.72
16.97/13.72 o 30
16.97/13.72 num=283, depth=11..74, filters=594341, revisions=(507690,useless=276606), ccks=1679059, wck=11.244, mem=55M866
16.97/13.72 decisions=37705, wrong=17377, backtracks=10905, failedAssignments=9898, nogoods=1381, foundSolutions=22, bestBound=30
16.97/13.72 nFilterCalls=2225650, avgTableProportion=0.9982700973949477, avgTableSize=577.1113944241008
16.97/13.72
17.28/14.10 num=284, depth=4..15, filters=611947, revisions=(522210,useless=284683), ccks=1722636, wck=11.62, mem=58M482
17.28/14.10 decisions=38659, wrong=17850, backtracks=11229, failedAssignments=10179, nogoods=1389, foundSolutions=22, bestBound=30
17.28/14.10 nFilterCalls=2288697, avgTableProportion=0.998270100761364, avgTableSize=577.1125653592416
17.28/14.10
17.38/14.11 num=285, depth=5..9, filters=612679, revisions=(522893,useless=285035), ccks=1724764, wck=11.633, mem=58M482
17.38/14.11 decisions=38699, wrong=17867, backtracks=11238, failedAssignments=10190, nogoods=1393, foundSolutions=22, bestBound=30
17.38/14.11 nFilterCalls=2290536, avgTableProportion=0.9982701007662516, avgTableSize=577.1125671021979
17.38/14.11
17.38/14.13 num=286, depth=3..12, filters=613518, revisions=(523655,useless=285413), ccks=1726722, wck=11.65, mem=58M482
17.38/14.13 decisions=38753, wrong=17892, backtracks=11256, failedAssignments=10202, nogoods=1395, foundSolutions=22, bestBound=30
17.38/14.13 nFilterCalls=2293494, avgTableProportion=0.9982701007146106, avgTableSize=577.1125492371028
17.38/14.13
17.38/14.15 num=287, depth=6..12, filters=614486, revisions=(524532,useless=285893), ccks=1729263, wck=11.67, mem=58M482
17.38/14.15 decisions=38809, wrong=17916, backtracks=11271, failedAssignments=10215, nogoods=1402, foundSolutions=22, bestBound=30
17.38/14.15 nFilterCalls=2296758, avgTableProportion=0.9982701011451203, avgTableSize=577.112698856388
17.38/14.15
17.38/14.16 num=288, depth=8..13, filters=615025, revisions=(525048,useless=286167), ccks=1730874, wck=11.681, mem=58M482
17.38/14.16 decisions=38855, wrong=17935, backtracks=11280, failedAssignments=10229, nogoods=1405, foundSolutions=22, bestBound=30
17.38/14.16 nFilterCalls=2298619, avgTableProportion=0.998270101244268, avgTableSize=577.1127333411931
17.38/14.16
17.38/14.18 num=289, depth=9..16, filters=616088, revisions=(525964,useless=286690), ccks=1733622, wck=11.699, mem=58M482
17.38/14.18 decisions=38918, wrong=17962, backtracks=11295, failedAssignments=10245, nogoods=1412, foundSolutions=22, bestBound=30
17.38/14.18 nFilterCalls=2302167, avgTableProportion=0.9982701014341256, avgTableSize=577.1127993755449
17.38/14.18
17.48/14.20 num=290, depth=7..11, filters=616913, revisions=(526712,useless=287096), ccks=1735949, wck=11.717, mem=58M482
17.48/14.20 decisions=38977, wrong=17988, backtracks=11309, failedAssignments=10262, nogoods=1419, foundSolutions=22, bestBound=30
17.48/14.20 nFilterCalls=2304829, avgTableProportion=0.9982701014810647, avgTableSize=577.1128157446822
17.48/14.20
17.48/14.22 num=291, depth=6..13, filters=618276, revisions=(527842,useless=287634), ccks=1740277, wck=11.745, mem=61M98
17.48/14.22 decisions=39057, wrong=18024, backtracks=11332, failedAssignments=10281, nogoods=1426, foundSolutions=22, bestBound=30
17.48/14.22 nFilterCalls=2309560, avgTableProportion=0.9982701014000461, avgTableSize=577.1127877171409
17.48/14.22
17.48/14.25 num=292, depth=8..17, filters=619614, revisions=(529055,useless=288338), ccks=1744001, wck=11.767, mem=61M98
17.48/14.25 decisions=39140, wrong=18061, backtracks=11354, failedAssignments=10302, nogoods=1430, foundSolutions=22, bestBound=30
17.48/14.25 nFilterCalls=2314048, avgTableProportion=0.9982701016246783, avgTableSize=577.1128658523937
17.48/14.25
17.48/14.28 num=293, depth=6..13, filters=621156, revisions=(530372,useless=289031), ccks=1748576, wck=11.795, mem=61M98
17.48/14.28 decisions=39222, wrong=18098, backtracks=11377, failedAssignments=10325, nogoods=1433, foundSolutions=22, bestBound=30
17.48/14.28 nFilterCalls=2318942, avgTableProportion=0.9982701021254413, avgTableSize=577.1130399121669
17.48/14.28
17.60/14.30 num=294, depth=6..11, filters=622671, revisions=(531672,useless=289743), ccks=1752433, wck=11.824, mem=61M98
17.60/14.30 decisions=39313, wrong=18140, backtracks=11400, failedAssignments=10350, nogoods=1438, foundSolutions=22, bestBound=30
17.60/14.30 nFilterCalls=2323716, avgTableProportion=0.9982701023869556, avgTableSize=577.113130864529
17.60/14.30
17.60/14.34 num=295, depth=4..10, filters=624556, revisions=(533425,useless=290720), ccks=1757810, wck=11.86, mem=61M98
17.60/14.34 decisions=39422, wrong=18192, backtracks=11433, failedAssignments=10378, nogoods=1448, foundSolutions=22, bestBound=30
17.60/14.34 nFilterCalls=2328845, avgTableProportion=0.9982701023751712, avgTableSize=577.1131268933742
17.60/14.34
17.60/14.38 num=296, depth=7..12, filters=626459, revisions=(535058,useless=291562), ccks=1764019, wck=11.898, mem=61M98
17.60/14.38 decisions=39540, wrong=18246, backtracks=11462, failedAssignments=10409, nogoods=1453, foundSolutions=22, bestBound=30
17.60/14.38 nFilterCalls=2335346, avgTableProportion=0.9982701023298086, avgTableSize=577.1131112905754
17.60/14.38
17.71/14.43 num=297, depth=3..12, filters=628698, revisions=(536971,useless=292627), ccks=1769111, wck=11.952, mem=61M98
17.71/14.43 decisions=39674, wrong=18311, backtracks=11504, failedAssignments=10443, nogoods=1460, foundSolutions=22, bestBound=30
17.71/14.43 nFilterCalls=2343768, avgTableProportion=0.9982701030974022, avgTableSize=577.1133781159227
17.71/14.43
17.71/14.48 num=298, depth=5..16, filters=630956, revisions=(538979,useless=293739), ccks=1775865, wck=11.996, mem=61M98
17.71/14.48 decisions=39806, wrong=18374, backtracks=11544, failedAssignments=10480, nogoods=1468, foundSolutions=22, bestBound=30
17.71/14.48 nFilterCalls=2352682, avgTableProportion=0.9982701027913101, avgTableSize=577.113272001911
17.71/14.48
17.81/14.53 num=299, depth=3..10, filters=633231, revisions=(541043,useless=294877), ccks=1781843, wck=12.053, mem=61M98
17.81/14.53 decisions=39951, wrong=18443, backtracks=11589, failedAssignments=10521, nogoods=1476, foundSolutions=22, bestBound=30
17.81/14.53 nFilterCalls=2360967, avgTableProportion=0.998270102701183, avgTableSize=577.1132408881615
17.81/14.53
17.81/14.59 num=300, depth=6..13, filters=636138, revisions=(543480,useless=296078), ccks=1791197, wck=12.111, mem=61M98
17.81/14.59 decisions=40122, wrong=18525, backtracks=11643, failedAssignments=10566, nogoods=1481, foundSolutions=22, bestBound=30
17.81/14.59 nFilterCalls=2370761, avgTableProportion=0.9982701023932073, avgTableSize=577.1131341370977
17.81/14.59
17.91/14.64 num=301, depth=4..16, filters=638602, revisions=(545606,useless=297206), ccks=1797969, wck=12.16, mem=61M98
17.91/14.64 decisions=40290, wrong=18605, backtracks=11697, failedAssignments=10616, nogoods=1489, foundSolutions=22, bestBound=30
17.91/14.64 nFilterCalls=2379985, avgTableProportion=0.9982701027040211, avgTableSize=577.1132423103506
17.91/14.64
18.01/14.70 num=302, depth=6..16, filters=641454, revisions=(547980,useless=298488), ccks=1806517, wck=12.221, mem=61M98
18.01/14.70 decisions=40481, wrong=18697, backtracks=11752, failedAssignments=10671, nogoods=1496, foundSolutions=22, bestBound=30
18.01/14.70 nFilterCalls=2391333, avgTableProportion=0.9982701027236583, avgTableSize=577.113249388521
18.01/14.70
18.01/14.77 num=303, depth=5..15, filters=645028, revisions=(551090,useless=300144), ccks=1816817, wck=12.293, mem=63M715
18.01/14.77 decisions=40719, wrong=18812, backtracks=11836, failedAssignments=10732, nogoods=1504, foundSolutions=22, bestBound=30
18.01/14.77 nFilterCalls=2405098, avgTableProportion=0.9982701037714891, avgTableSize=577.1136136656386
18.01/14.77
18.11/14.83 num=304, depth=5..14, filters=648765, revisions=(554369,useless=301738), ccks=1826964, wck=12.348, mem=63M715
18.11/14.83 decisions=40968, wrong=18934, backtracks=11916, failedAssignments=10799, nogoods=1510, foundSolutions=22, bestBound=30
18.11/14.83 nFilterCalls=2419010, avgTableProportion=0.9982701039579338, avgTableSize=577.1136787363425
18.11/14.83
18.21/14.92 num=305, depth=1..10, filters=653218, revisions=(558467,useless=303972), ccks=1838669, wck=12.44, mem=63M715
18.21/14.92 decisions=41214, wrong=19055, backtracks=11989, failedAssignments=10873, nogoods=1514, foundSolutions=22, bestBound=30
18.21/14.92 nFilterCalls=2432333, avgTableProportion=0.9982701042677383, avgTableSize=577.1137866402339
18.21/14.92
18.21/15.00 num=306, depth=4..14, filters=657215, revisions=(562057,useless=305780), ccks=1851377, wck=12.517, mem=63M715
18.21/15.00 decisions=41491, wrong=19188, backtracks=12062, failedAssignments=10954, nogoods=1519, foundSolutions=22, bestBound=30
18.21/15.00 nFilterCalls=2445149, avgTableProportion=0.9982701037673825, avgTableSize=577.1136131172375
18.21/15.00
18.32/15.09 num=307, depth=5..15, filters=662137, revisions=(566445,useless=308217), ccks=1866136, wck=12.615, mem=63M715
18.32/15.09 decisions=41799, wrong=19339, backtracks=12152, failedAssignments=11043, nogoods=1525, foundSolutions=22, bestBound=30
18.32/15.09 nFilterCalls=2462287, avgTableProportion=0.9982701037545151, avgTableSize=577.1136090147087
18.32/15.09
18.51/15.20 num=308, depth=5..12, filters=667417, revisions=(571074,useless=310781), ccks=1882631, wck=12.723, mem=66M331
18.51/15.20 decisions=42130, wrong=19502, backtracks=12250, failedAssignments=11141, nogoods=1538, foundSolutions=22, bestBound=30
18.51/15.20 nFilterCalls=2480262, avgTableProportion=0.9982701050103472, avgTableSize=577.1140456129232
18.51/15.20
18.61/15.32 num=309, depth=5..13, filters=674034, revisions=(576731,useless=313984), ccks=1899658, wck=12.841, mem=66M331
18.61/15.32 decisions=42527, wrong=19698, backtracks=12384, failedAssignments=11249, nogoods=1544, foundSolutions=22, bestBound=30
18.61/15.32 nFilterCalls=2502252, avgTableProportion=0.9982701053278852, avgTableSize=577.1141563679438
18.61/15.32
18.71/15.49 num=310, depth=3..13, filters=681362, revisions=(582767,useless=317398), ccks=1919140, wck=13.007, mem=66M331
18.71/15.49 decisions=42957, wrong=19911, backtracks=12519, failedAssignments=11368, nogoods=1553, foundSolutions=22, bestBound=30
18.71/15.49 nFilterCalls=2529857, avgTableProportion=0.9982701091028668, avgTableSize=577.1154681865418
18.71/15.49
18.91/15.65 num=311, depth=2..15, filters=689390, revisions=(589719,useless=321233), ccks=1939247, wck=13.167, mem=66M331
18.91/15.65 decisions=43393, wrong=20128, backtracks=12662, failedAssignments=11499, nogoods=1555, foundSolutions=22, bestBound=30
18.91/15.65 nFilterCalls=2556451, avgTableProportion=0.9982701093662512, avgTableSize=577.1155602043615
18.91/15.65
19.11/15.84 num=312, depth=5..14, filters=698290, revisions=(596789,useless=325214), ccks=1962896, wck=13.364, mem=68M946
19.11/15.84 decisions=43882, wrong=20370, backtracks=12819, failedAssignments=11643, nogoods=1561, foundSolutions=22, bestBound=30
19.11/15.84 nFilterCalls=2589416, avgTableProportion=0.9982701115886166, avgTableSize=577.1163327947305
19.11/15.84
19.32/16.01 num=313, depth=1..15, filters=706822, revisions=(604468,useless=329255), ccks=1988054, wck=13.534, mem=68M946
19.32/16.01 decisions=44447, wrong=20650, backtracks=13003, failedAssignments=11801, nogoods=1565, foundSolutions=22, bestBound=30
19.32/16.01 nFilterCalls=2617385, avgTableProportion=0.9982701118920785, avgTableSize=577.1164387356082
19.32/16.01
19.51/16.20 num=314, depth=5..17, filters=716416, revisions=(612686,useless=333683), ccks=2019672, wck=13.725, mem=68M946
19.51/16.20 decisions=45055, wrong=20951, backtracks=13191, failedAssignments=11975, nogoods=1576, foundSolutions=22, bestBound=30
19.51/16.20 nFilterCalls=2652278, avgTableProportion=0.9982701118566761, avgTableSize=577.1164270864517
19.51/16.20
19.61/16.39 num=315, depth=6..15, filters=726454, revisions=(621253,useless=338372), ccks=2050651, wck=13.912, mem=71M562
19.61/16.39 decisions=45704, wrong=21272, backtracks=13404, failedAssignments=12166, nogoods=1586, foundSolutions=22, bestBound=30
19.61/16.39 nFilterCalls=2689027, avgTableProportion=0.9982701138058693, avgTableSize=577.1171048115174
19.61/16.39
19.91/16.62 num=316, depth=3..14, filters=738877, revisions=(632614,useless=344773), ccks=2086214, wck=14.141, mem=71M562
19.91/16.62 decisions=46439, wrong=21637, backtracks=13642, failedAssignments=12377, nogoods=1592, foundSolutions=22, bestBound=30
19.91/16.62 nFilterCalls=2728807, avgTableProportion=0.9982701145545674, avgTableSize=577.1173655740403
19.91/16.62
20.21/16.94 num=317, depth=2..13, filters=753662, revisions=(644988,useless=351624), ccks=2126791, wck=14.462, mem=74M178
20.21/16.94 decisions=47285, wrong=22057, backtracks=13924, failedAssignments=12609, nogoods=1599, foundSolutions=22, bestBound=30
20.21/16.94 nFilterCalls=2781186, avgTableProportion=0.9982701157667462, avgTableSize=577.1177875194252
20.21/16.94
20.51/17.25 num=318, depth=1..13, filters=768066, revisions=(658125,useless=358848), ccks=2165428, wck=14.769, mem=74M178
20.51/17.25 decisions=48185, wrong=22506, backtracks=14193, failedAssignments=12864, nogoods=1605, foundSolutions=22, bestBound=30
20.51/17.25 nFilterCalls=2828725, avgTableProportion=0.9982701165140674, avgTableSize=577.1180478837639
20.51/17.25
20.91/17.61 num=319, depth=4..13, filters=787197, revisions=(674980,useless=368427), ccks=2218221, wck=15.128, mem=76M794
20.91/17.61 decisions=49273, wrong=23047, backtracks=14550, failedAssignments=13145, nogoods=1616, foundSolutions=22, bestBound=30
20.91/17.61 nFilterCalls=2893841, avgTableProportion=0.9982701205374191, avgTableSize=577.1194464381423
20.91/17.61
21.21/17.98 num=320, depth=2..13, filters=806359, revisions=(691574,useless=377226), ccks=2268571, wck=15.499, mem=79M410
21.21/17.98 decisions=50408, wrong=23612, backtracks=14917, failedAssignments=13454, nogoods=1625, foundSolutions=22, bestBound=30
21.21/17.98 nFilterCalls=2961102, avgTableProportion=0.9982701208795668, avgTableSize=577.1195662966018
21.21/17.98
21.71/18.43 num=321, depth=2..16, filters=827551, revisions=(709366,useless=386822), ccks=2328925, wck=15.945, mem=82M26
21.71/18.43 decisions=51655, wrong=24232, backtracks=15315, failedAssignments=13794, nogoods=1633, foundSolutions=22, bestBound=30
21.71/18.43 nFilterCalls=3039969, avgTableProportion=0.9982701228206983, avgTableSize=577.1202416866751
21.71/18.43
22.22/18.95 num=322, depth=2..15, filters=853226, revisions=(730084,useless=398822), ccks=2393213, wck=16.473, mem=84M641
22.22/18.95 decisions=53092, wrong=24947, backtracks=15799, failedAssignments=14168, nogoods=1647, foundSolutions=22, bestBound=30
22.22/18.95 nFilterCalls=3133346, avgTableProportion=0.9982701258676373, avgTableSize=577.1213013181437
22.22/18.95
22.82/19.50 num=323, depth=4..16, filters=881258, revisions=(753326,useless=412360), ccks=2465399, wck=17.023, mem=87M257
22.82/19.50 decisions=54630, wrong=25713, backtracks=16294, failedAssignments=14579, nogoods=1657, foundSolutions=22, bestBound=30
22.82/19.50 nFilterCalls=3232766, avgTableProportion=0.9982701287094651, avgTableSize=577.1222897048534
22.82/19.50
22.82/19.56 o 36
22.82/19.56 num=324, depth=4..74, filters=883563, revisions=(755331,useless=413433), ccks=2472449, wck=17.082, mem=87M257
22.82/19.56 decisions=54793, wrong=25787, backtracks=16336, failedAssignments=14627, nogoods=1662, foundSolutions=23, bestBound=36
22.82/19.56 nFilterCalls=3242715, avgTableProportion=0.9982701289615515, avgTableSize=577.1223773905508
22.82/19.56
23.53/20.22 num=325, depth=3..14, filters=916056, revisions=(782452,useless=428868), ccks=2554864, wck=17.735, mem=89M873
23.53/20.22 decisions=56582, wrong=26679, backtracks=16939, failedAssignments=15124, nogoods=1672, foundSolutions=23, bestBound=36
23.53/20.22 nFilterCalls=3345577, avgTableProportion=0.9982701293452766, avgTableSize=577.1225119015345
23.53/20.22
23.53/20.23 num=326, depth=4..12, filters=916778, revisions=(783114,useless=429209), ccks=2556833, wck=17.748, mem=89M873
23.53/20.23 decisions=56627, wrong=26698, backtracks=16952, failedAssignments=15135, nogoods=1677, foundSolutions=23, bestBound=36
23.53/20.23 nFilterCalls=3348028, avgTableProportion=0.9982701294085887, avgTableSize=577.1225339214607
23.53/20.23
23.53/20.25 num=327, depth=2..9, filters=917630, revisions=(783840,useless=429624), ccks=2558872, wck=17.768, mem=89M873
23.53/20.25 decisions=56677, wrong=26722, backtracks=16968, failedAssignments=15147, nogoods=1678, foundSolutions=23, bestBound=36
23.53/20.25 nFilterCalls=3351399, avgTableProportion=0.9982701295724961, avgTableSize=577.1225908941311
23.53/20.25
23.53/20.26 num=328, depth=6..11, filters=918336, revisions=(784527,useless=429990), ccks=2560919, wck=17.782, mem=89M873
23.53/20.26 decisions=56732, wrong=26746, backtracks=16983, failedAssignments=15160, nogoods=1683, foundSolutions=23, bestBound=36
23.53/20.26 nFilterCalls=3353414, avgTableProportion=0.9982701296908847, avgTableSize=577.1226320400642
23.53/20.26
23.53/20.28 num=329, depth=3..10, filters=919240, revisions=(785357,useless=430429), ccks=2563220, wck=17.801, mem=89M873
23.53/20.28 decisions=56781, wrong=26768, backtracks=16996, failedAssignments=15174, nogoods=1687, foundSolutions=23, bestBound=36
23.53/20.28 nFilterCalls=3356396, avgTableProportion=0.9982701299286464, avgTableSize=577.122714661798
23.53/20.28
23.63/20.30 num=330, depth=4..14, filters=920259, revisions=(786295,useless=430936), ccks=2566036, wck=17.821, mem=89M873
23.63/20.30 decisions=56837, wrong=26793, backtracks=17013, failedAssignments=15190, nogoods=1691, foundSolutions=23, bestBound=36
23.63/20.30 nFilterCalls=3359359, avgTableProportion=0.9982701300771463, avgTableSize=577.1227662777334
23.63/20.30
23.63/20.33 num=331, depth=5..9, filters=921635, revisions=(787647,useless=431647), ccks=2569733, wck=17.846, mem=89M873
23.63/20.33 decisions=56910, wrong=26826, backtracks=17035, failedAssignments=15207, nogoods=1697, foundSolutions=23, bestBound=36
23.63/20.33 nFilterCalls=3363257, avgTableProportion=0.9982701299472994, avgTableSize=577.1227212193419
23.63/20.33
23.63/20.35 num=332, depth=3..11, filters=922617, revisions=(788561,useless=432125), ccks=2572630, wck=17.866, mem=92M489
23.63/20.35 decisions=56966, wrong=26851, backtracks=17046, failedAssignments=15226, nogoods=1702, foundSolutions=23, bestBound=36
23.63/20.35 nFilterCalls=3366423, avgTableProportion=0.998270129900558, avgTableSize=577.1227050195415
23.63/20.35
23.63/20.37 num=333, depth=5..13, filters=924063, revisions=(789865,useless=432826), ccks=2576076, wck=17.893, mem=92M489
23.63/20.37 decisions=57050, wrong=26890, backtracks=17075, failedAssignments=15247, nogoods=1707, foundSolutions=23, bestBound=36
23.63/20.37 nFilterCalls=3370763, avgTableProportion=0.9982701299879253, avgTableSize=577.1227354162841
23.63/20.37
23.73/20.40 num=334, depth=4..11, filters=925638, revisions=(791349,useless=433644), ccks=2579984, wck=17.924, mem=92M489
23.73/20.40 decisions=57144, wrong=26935, backtracks=17104, failedAssignments=15270, nogoods=1712, foundSolutions=23, bestBound=36
23.73/20.40 nFilterCalls=3375640, avgTableProportion=0.9982701299019863, avgTableSize=577.1227056202675
23.73/20.40
23.73/20.43 num=335, depth=2..12, filters=927474, revisions=(793080,useless=434558), ccks=2584379, wck=17.954, mem=92M489
23.73/20.43 decisions=57244, wrong=26983, backtracks=17137, failedAssignments=15295, nogoods=1715, foundSolutions=23, bestBound=36
23.73/20.43 nFilterCalls=3380367, avgTableProportion=0.9982701297680977, avgTableSize=577.1226591668893
23.73/20.43
23.73/20.46 num=336, depth=5..12, filters=929382, revisions=(794777,useless=435483), ccks=2589110, wck=17.985, mem=92M489
23.73/20.46 decisions=57345, wrong=27030, backtracks=17168, failedAssignments=15323, nogoods=1721, foundSolutions=23, bestBound=36
23.73/20.46 nFilterCalls=3386153, avgTableProportion=0.9982701300478757, avgTableSize=577.1227564141373
23.73/20.46
23.84/20.50 num=337, depth=4..11, filters=930830, revisions=(796033,useless=436123), ccks=2593384, wck=18.021, mem=92M489
23.84/20.50 decisions=57446, wrong=27077, backtracks=17198, failedAssignments=15354, nogoods=1730, foundSolutions=23, bestBound=36
23.84/20.50 nFilterCalls=3391506, avgTableProportion=0.9982701303574378, avgTableSize=577.1228640020097
23.84/20.50
23.84/20.54 num=338, depth=4..15, filters=933207, revisions=(798186,useless=437305), ccks=2600174, wck=18.063, mem=92M489
23.84/20.54 decisions=57592, wrong=27145, backtracks=17246, failedAssignments=15388, nogoods=1733, foundSolutions=23, bestBound=36
23.84/20.54 nFilterCalls=3398133, avgTableProportion=0.9982701304705632, avgTableSize=577.1229033707627
23.84/20.54
23.84/20.59 num=339, depth=4..10, filters=935317, revisions=(800135,useless=438376), ccks=2606831, wck=18.108, mem=92M489
23.84/20.59 decisions=57722, wrong=27207, backtracks=17287, failedAssignments=15425, nogoods=1739, foundSolutions=23, bestBound=36
23.84/20.59 nFilterCalls=3404865, avgTableProportion=0.9982701307794841, avgTableSize=577.1230107507934
23.84/20.59
23.95/20.66 num=340, depth=1..11, filters=938356, revisions=(802797,useless=439869), ccks=2613264, wck=18.176, mem=92M489
23.95/20.66 decisions=57886, wrong=27287, backtracks=17339, failedAssignments=15466, nogoods=1750, foundSolutions=23, bestBound=36
23.95/20.66 nFilterCalls=3415254, avgTableProportion=0.9982701308913003, avgTableSize=577.1230497058199
23.95/20.66
24.05/20.72 num=341, depth=4..12, filters=941668, revisions=(805567,useless=441484), ccks=2621309, wck=18.244, mem=92M489
24.05/20.72 decisions=58081, wrong=27382, backtracks=17401, failedAssignments=15511, nogoods=1756, foundSolutions=23, bestBound=36
24.05/20.72 nFilterCalls=3426360, avgTableProportion=0.9982701312080564, avgTableSize=577.123159854773
24.05/20.72
24.05/20.79 num=342, depth=2..13, filters=944513, revisions=(807882,useless=442739), ccks=2628551, wck=18.306, mem=92M489
24.05/20.79 decisions=58261, wrong=27468, backtracks=17454, failedAssignments=15561, nogoods=1768, foundSolutions=23, bestBound=36
24.05/20.79 nFilterCalls=3437055, avgTableProportion=0.9982701319094717, avgTableSize=577.1234036115221
24.05/20.79
24.15/20.85 num=343, depth=3..11, filters=947891, revisions=(810960,useless=444362), ccks=2638577, wck=18.371, mem=95M105
24.15/20.85 decisions=58450, wrong=27559, backtracks=17509, failedAssignments=15616, nogoods=1777, foundSolutions=23, bestBound=36
24.15/20.85 nFilterCalls=3446798, avgTableProportion=0.9982701317460261, avgTableSize=577.1233469440333
24.15/20.85
24.25/20.92 num=344, depth=5..16, filters=951058, revisions=(813770,useless=445913), ccks=2646343, wck=18.443, mem=95M105
24.25/20.92 decisions=58657, wrong=27660, backtracks=17569, failedAssignments=15677, nogoods=1787, foundSolutions=23, bestBound=36
24.25/20.92 nFilterCalls=3458370, avgTableProportion=0.9982701319126787, avgTableSize=577.1234049566704
24.25/20.92
24.25/20.99 num=345, depth=3..13, filters=954466, revisions=(816825,useless=447490), ccks=2656745, wck=18.509, mem=95M105
24.25/20.99 decisions=58876, wrong=27766, backtracks=17630, failedAssignments=15744, nogoods=1795, foundSolutions=23, bestBound=36
24.25/20.99 nFilterCalls=3468690, avgTableProportion=0.9982701322704584, avgTableSize=577.123529343931
24.25/20.99
24.36/21.07 num=346, depth=4..13, filters=958812, revisions=(820775,useless=449719), ccks=2668671, wck=18.589, mem=95M105
24.36/21.07 decisions=59151, wrong=27901, backtracks=17716, failedAssignments=15818, nogoods=1804, foundSolutions=23, bestBound=36
24.36/21.07 nFilterCalls=3482132, avgTableProportion=0.9982701324746849, avgTableSize=577.1236004264055
24.36/21.07
24.46/21.19 num=347, depth=5..13, filters=964314, revisions=(825017,useless=452178), ccks=2682537, wck=18.708, mem=95M105
24.46/21.19 decisions=59454, wrong=28050, backtracks=17825, failedAssignments=15899, nogoods=1816, foundSolutions=23, bestBound=36
24.46/21.19 nFilterCalls=3501865, avgTableProportion=0.9982701339152302, avgTableSize=577.124101014745
24.46/21.19
24.55/21.29 num=348, depth=3..11, filters=969884, revisions=(829981,useless=454793), ccks=2695821, wck=18.805, mem=97M720
24.55/21.29 decisions=59776, wrong=28209, backtracks=17931, failedAssignments=15988, nogoods=1820, foundSolutions=23, bestBound=36
24.55/21.29 nFilterCalls=3520924, avgTableProportion=0.998270134794257, avgTableSize=577.1244065478267
24.55/21.29
24.65/21.39 num=349, depth=4..13, filters=975817, revisions=(835260,useless=457714), ccks=2712102, wck=18.915, mem=97M720
24.65/21.39 decisions=60117, wrong=28377, backtracks=18036, failedAssignments=16086, nogoods=1829, foundSolutions=23, bestBound=36
24.65/21.39 nFilterCalls=3539464, avgTableProportion=0.9982701352032403, avgTableSize=577.1245488017395
24.65/21.39
24.85/21.53 num=350, depth=4..14, filters=982797, revisions=(841275,useless=460905), ccks=2733502, wck=19.05, mem=97M720
24.85/21.53 decisions=60486, wrong=28558, backtracks=18143, failedAssignments=16194, nogoods=1839, foundSolutions=23, bestBound=36
24.85/21.53 nFilterCalls=3560419, avgTableProportion=0.9982701359182861, avgTableSize=577.1247973904195
24.85/21.53
24.95/21.69 num=351, depth=2..12, filters=989849, revisions=(847593,useless=464361), ccks=2753014, wck=19.212, mem=97M720
24.95/21.69 decisions=60912, wrong=28768, backtracks=18273, failedAssignments=16313, nogoods=1847, foundSolutions=23, bestBound=36
24.95/21.69 nFilterCalls=3585273, avgTableProportion=0.9982701356720808, avgTableSize=577.1247121209459
24.95/21.69
25.15/21.86 num=352, depth=3..12, filters=998414, revisions=(855183,useless=468578), ccks=2776578, wck=19.383, mem=100M336
25.15/21.86 decisions=61417, wrong=29016, backtracks=18441, failedAssignments=16444, nogoods=1854, foundSolutions=23, bestBound=36
25.15/21.86 nFilterCalls=3613485, avgTableProportion=0.9982701348503584, avgTableSize=577.124426972853
25.15/21.86
25.36/22.05 num=353, depth=3..12, filters=1007826, revisions=(863350,useless=473054), ccks=2803416, wck=19.565, mem=100M336
25.36/22.05 decisions=61961, wrong=29286, backtracks=18616, failedAssignments=16588, nogoods=1858, foundSolutions=23, bestBound=36
25.36/22.05 nFilterCalls=3642143, avgTableProportion=0.9982701345540606, avgTableSize=577.1243243332291
25.36/22.05
25.56/22.27 num=354, depth=2..11, filters=1018690, revisions=(872596,useless=478396), ccks=2828994, wck=19.785, mem=100M336
25.56/22.27 decisions=62521, wrong=29565, backtracks=18797, failedAssignments=16746, nogoods=1873, foundSolutions=23, bestBound=36
25.56/22.27 nFilterCalls=3676669, avgTableProportion=0.998270135302123, avgTableSize=577.1245845084233
25.56/22.27
25.76/22.50 num=355, depth=2..12, filters=1030464, revisions=(882813,useless=484275), ccks=2858684, wck=20.016, mem=102M952
25.76/22.50 decisions=63135, wrong=29870, backtracks=18997, failedAssignments=16920, nogoods=1880, foundSolutions=23, bestBound=36
25.76/22.50 nFilterCalls=3712259, avgTableProportion=0.9982701344876712, avgTableSize=577.1243019412169
25.76/22.50
25.86/22.51 o 38
25.86/22.51 num=356, depth=3..74, filters=1031078, revisions=(883408,useless=484598), ccks=2860500, wck=20.031, mem=102M952
25.86/22.51 decisions=63172, wrong=29884, backtracks=19005, failedAssignments=16929, nogoods=1886, foundSolutions=24, bestBound=38
25.86/22.51 nFilterCalls=3714890, avgTableProportion=0.9982701345394932, avgTableSize=577.1243199664054
25.86/22.51
26.06/22.78 num=357, depth=1..13, filters=1043814, revisions=(894733,useless=491118), ccks=2895002, wck=20.303, mem=102M952
26.06/22.78 decisions=63937, wrong=30262, backtracks=19263, failedAssignments=17140, nogoods=1894, foundSolutions=24, bestBound=38
26.06/22.78 nFilterCalls=3756307, avgTableProportion=0.9982701353692202, avgTableSize=577.1246085583526
26.06/22.78
26.16/22.80 num=358, depth=4..12, filters=1044635, revisions=(895454,useless=491542), ccks=2896883, wck=20.322, mem=102M952
26.16/22.80 decisions=63986, wrong=30282, backtracks=19278, failedAssignments=17151, nogoods=1900, foundSolutions=24, bestBound=38
26.16/22.80 nFilterCalls=3759030, avgTableProportion=0.9982701354746011, avgTableSize=577.1246451877213
26.16/22.80
26.16/22.82 num=359, depth=7..12, filters=1045268, revisions=(896025,useless=491838), ccks=2898947, wck=20.335, mem=102M952
26.16/22.82 decisions=64028, wrong=30299, backtracks=19289, failedAssignments=17163, nogoods=1902, foundSolutions=24, bestBound=38
26.16/22.82 nFilterCalls=3761215, avgTableProportion=0.9982701354880535, avgTableSize=577.1246498804243
26.16/22.82
26.16/22.83 num=360, depth=3..13, filters=1046120, revisions=(896788,useless=492245), ccks=2901297, wck=20.353, mem=102M952
26.16/22.83 decisions=64080, wrong=30321, backtracks=19304, failedAssignments=17176, nogoods=1910, foundSolutions=24, bestBound=38
26.16/22.83 nFilterCalls=3764162, avgTableProportion=0.9982701354578859, avgTableSize=577.1246394283775
26.16/22.83
26.16/22.85 num=361, depth=4..10, filters=1047042, revisions=(897592,useless=492700), ccks=2903762, wck=20.371, mem=102M952
26.16/22.85 decisions=64138, wrong=30348, backtracks=19323, failedAssignments=17190, nogoods=1911, foundSolutions=24, bestBound=38
26.16/22.85 nFilterCalls=3766749, avgTableProportion=0.9982701355461383, avgTableSize=577.1246701067685
26.16/22.85
26.16/22.88 num=362, depth=1..8, filters=1048216, revisions=(898650,useless=493259), ccks=2906885, wck=20.395, mem=105M569
26.16/22.88 decisions=64199, wrong=30376, backtracks=19340, failedAssignments=17206, nogoods=1920, foundSolutions=24, bestBound=38
26.16/22.88 nFilterCalls=3770336, avgTableProportion=0.9982701355772045, avgTableSize=577.1246809302937
26.16/22.88
26.16/22.89 num=363, depth=4..9, filters=1049093, revisions=(899380,useless=493633), ccks=2908787, wck=20.414, mem=105M569
26.16/22.89 decisions=64259, wrong=30404, backtracks=19358, failedAssignments=17223, nogoods=1923, foundSolutions=24, bestBound=38
26.16/22.89 nFilterCalls=3774102, avgTableProportion=0.9982701355881299, avgTableSize=577.1246847594474
26.16/22.89
26.26/22.92 num=364, depth=2..10, filters=1050147, revisions=(900313,useless=494127), ccks=2911733, wck=20.439, mem=105M569
26.26/22.92 decisions=64331, wrong=30439, backtracks=19379, failedAssignments=17242, nogoods=1926, foundSolutions=24, bestBound=38
26.26/22.92 nFilterCalls=3778047, avgTableProportion=0.9982701354837225, avgTableSize=577.1246485287239
26.26/22.92
26.26/22.96 num=365, depth=4..15, filters=1052017, revisions=(901975,useless=495113), ccks=2915871, wck=20.475, mem=105M569
26.26/22.96 decisions=64441, wrong=30490, backtracks=19417, failedAssignments=17263, nogoods=1928, foundSolutions=24, bestBound=38
26.26/22.96 nFilterCalls=3784945, avgTableProportion=0.9982701357438081, avgTableSize=577.1247389327982
26.26/22.96
26.26/22.98 num=366, depth=5..11, filters=1053229, revisions=(903124,useless=495731), ccks=2918964, wck=20.503, mem=105M569
26.26/22.98 decisions=64530, wrong=30532, backtracks=19443, failedAssignments=17286, nogoods=1937, foundSolutions=24, bestBound=38
26.26/22.98 nFilterCalls=3789523, avgTableProportion=0.99827013561146, avgTableSize=577.1246930022592
26.26/22.98
26.37/23.02 num=367, depth=3..12, filters=1055045, revisions=(904801,useless=496699), ccks=2923589, wck=20.542, mem=105M569
26.37/23.02 decisions=64640, wrong=30583, backtracks=19478, failedAssignments=17311, nogoods=1946, foundSolutions=24, bestBound=38
26.37/23.02 nFilterCalls=3796658, avgTableProportion=0.9982701360096086, avgTableSize=577.1248313648478
26.37/23.02
26.37/23.06 num=368, depth=4..12, filters=1057017, revisions=(906608,useless=497664), ccks=2928626, wck=20.583, mem=105M569
26.37/23.06 decisions=64758, wrong=30639, backtracks=19513, failedAssignments=17339, nogoods=1959, foundSolutions=24, bestBound=38
26.37/23.06 nFilterCalls=3803898, avgTableProportion=0.9982701358249232, avgTableSize=577.1247672781973
26.37/23.06
26.37/23.10 num=369, depth=2..9, filters=1059001, revisions=(908426,useless=498647), ccks=2934452, wck=20.625, mem=105M569
26.37/23.10 decisions=64881, wrong=30697, backtracks=19552, failedAssignments=17370, nogoods=1963, foundSolutions=24, bestBound=38
26.37/23.10 nFilterCalls=3809856, avgTableProportion=0.9982701353892436, avgTableSize=577.1246159959851
26.37/23.10
26.47/23.15 num=370, depth=4..11, filters=1061184, revisions=(910274,useless=499662), ccks=2940421, wck=20.672, mem=105M569
26.47/23.15 decisions=65001, wrong=30754, backtracks=19582, failedAssignments=17404, nogoods=1967, foundSolutions=24, bestBound=38
26.47/23.15 nFilterCalls=3816828, avgTableProportion=0.9982701354525577, avgTableSize=577.1246380502344
26.47/23.15
26.56/23.20 num=371, depth=4..11, filters=1063812, revisions=(912640,useless=500907), ccks=2948043, wck=20.719, mem=105M569
26.56/23.20 decisions=65144, wrong=30822, backtracks=19624, failedAssignments=17441, nogoods=1972, foundSolutions=24, bestBound=38
26.56/23.20 nFilterCalls=3824036, avgTableProportion=0.998270135296994, avgTableSize=577.1245840781834
26.56/23.20
26.56/23.26 num=372, depth=1..10, filters=1066775, revisions=(915384,useless=502411), ccks=2955306, wck=20.778, mem=105M569
26.56/23.26 decisions=65301, wrong=30899, backtracks=19675, failedAssignments=17482, nogoods=1979, foundSolutions=24, bestBound=38
26.56/23.26 nFilterCalls=3832476, avgTableProportion=0.9982701352656138, avgTableSize=577.124573252383
26.56/23.26
26.66/23.32 num=373, depth=2..10, filters=1069539, revisions=(917796,useless=503719), ccks=2962194, wck=20.837, mem=108M185
26.66/23.32 decisions=65456, wrong=30974, backtracks=19715, failedAssignments=17527, nogoods=1989, foundSolutions=24, bestBound=38
26.66/23.32 nFilterCalls=3841179, avgTableProportion=0.9982701353687026, avgTableSize=577.1246091369343
26.66/23.32
26.66/23.37 num=374, depth=4..12, filters=1072787, revisions=(920800,useless=505262), ccks=2971465, wck=20.888, mem=108M185
26.66/23.37 decisions=65654, wrong=31070, backtracks=19777, failedAssignments=17577, nogoods=1991, foundSolutions=24, bestBound=38
26.66/23.37 nFilterCalls=3849214, avgTableProportion=0.9982701352292125, avgTableSize=577.1245607544813
26.66/23.37
26.76/23.43 num=375, depth=2..11, filters=1076022, revisions=(923785,useless=506825), ccks=2981193, wck=20.953, mem=108M185
26.76/23.43 decisions=65855, wrong=31168, backtracks=19843, failedAssignments=17632, nogoods=1996, foundSolutions=24, bestBound=38
26.76/23.43 nFilterCalls=3859545, avgTableProportion=0.9982701352342972, avgTableSize=577.1245626103595
26.76/23.43
26.76/23.50 num=376, depth=5..11, filters=1079768, revisions=(927129,useless=508753), ccks=2991366, wck=21.016, mem=108M185
26.76/23.50 decisions=66078, wrong=31277, backtracks=19905, failedAssignments=17693, nogoods=2003, foundSolutions=24, bestBound=38
26.76/23.50 nFilterCalls=3870287, avgTableProportion=0.9982701352674651, avgTableSize=577.124574224082
26.76/23.50
26.86/23.57 num=377, depth=5..13, filters=1083663, revisions=(930479,useless=510549), ccks=3002484, wck=21.086, mem=108M185
26.86/23.57 decisions=66321, wrong=31396, backtracks=19989, failedAssignments=17760, nogoods=2013, foundSolutions=24, bestBound=38
26.86/23.57 nFilterCalls=3887165, avgTableProportion=0.998270135096289, avgTableSize=577.1245149099665
26.86/23.57
26.96/23.66 num=378, depth=4..13, filters=1088163, revisions=(934710,useless=512900), ccks=3015732, wck=21.179, mem=108M185
26.96/23.66 decisions=66653, wrong=31559, backtracks=20102, failedAssignments=17834, nogoods=2020, foundSolutions=24, bestBound=38
26.96/23.66 nFilterCalls=3902752, avgTableProportion=0.9982701348909755, avgTableSize=577.1244437258632
26.96/23.66
27.06/23.77 num=379, depth=3..11, filters=1093226, revisions=(939079,useless=515347), ccks=3029327, wck=21.286, mem=108M185
27.06/23.77 decisions=66945, wrong=31703, backtracks=20195, failedAssignments=17915, nogoods=2025, foundSolutions=24, bestBound=38
27.06/23.77 nFilterCalls=3919407, avgTableProportion=0.9982701352559168, avgTableSize=577.1245706302
27.06/23.77
27.17/23.87 num=380, depth=2..9, filters=1098656, revisions=(944059,useless=518124), ccks=3045064, wck=21.393, mem=110M801
27.17/23.87 decisions=67283, wrong=31870, backtracks=20293, failedAssignments=18004, nogoods=2033, foundSolutions=24, bestBound=38
27.17/23.87 nFilterCalls=3935620, avgTableProportion=0.998270134811021, avgTableSize=577.1244162292091
27.17/23.87
27.27/23.98 num=381, depth=2..10, filters=1103698, revisions=(948646,useless=520628), ccks=3058597, wck=21.502, mem=110M801
27.27/23.98 decisions=67607, wrong=32030, backtracks=20394, failedAssignments=18102, nogoods=2042, foundSolutions=24, bestBound=38
27.27/23.98 nFilterCalls=3952554, avgTableProportion=0.9982701353635451, avgTableSize=577.1246082912467
27.27/23.98
27.48/24.11 num=382, depth=3..11, filters=1110021, revisions=(954167,useless=523575), ccks=3076301, wck=21.634, mem=110M801
27.48/24.11 decisions=67970, wrong=32209, backtracks=20507, failedAssignments=18210, nogoods=2046, foundSolutions=24, bestBound=38
27.48/24.11 nFilterCalls=3973155, avgTableProportion=0.9982701361289087, avgTableSize=577.1248743127313
27.48/24.11
27.57/24.27 num=383, depth=2..10, filters=1118096, revisions=(961445,useless=527611), ccks=3095981, wck=21.789, mem=110M801
27.57/24.27 decisions=68432, wrong=32438, backtracks=20653, failedAssignments=18329, nogoods=2052, foundSolutions=24, bestBound=38
27.57/24.27 nFilterCalls=3997095, avgTableProportion=0.9982701362151456, avgTableSize=577.1249044618654
27.57/24.27
27.77/24.46 num=384, depth=1..11, filters=1126484, revisions=(968939,useless=531745), ccks=3116955, wck=21.982, mem=113M417
27.77/24.46 decisions=68897, wrong=32669, backtracks=20808, failedAssignments=18460, nogoods=2062, foundSolutions=24, bestBound=38
27.77/24.46 nFilterCalls=4024495, avgTableProportion=0.9982701363058042, avgTableSize=577.124936172116
27.77/24.46
27.97/24.67 num=385, depth=0..14, filters=1135994, revisions=(977529,useless=536603), ccks=3142308, wck=22.185, mem=113M417
27.97/24.67 decisions=69407, wrong=32922, backtracks=20972, failedAssignments=18604, nogoods=2068, foundSolutions=24, bestBound=38
27.97/24.67 nFilterCalls=4055182, avgTableProportion=0.9982701366807198, avgTableSize=577.1250666431248
27.97/24.67
28.17/24.83 num=386, depth=3..11, filters=1145176, revisions=(985442,useless=540889), ccks=3168831, wck=22.352, mem=113M417
28.17/24.83 decisions=69946, wrong=33190, backtracks=21143, failedAssignments=18762, nogoods=2080, foundSolutions=24, bestBound=38
28.17/24.83 nFilterCalls=4088589, avgTableProportion=0.9982701364792231, avgTableSize=577.1249969121377
28.17/24.83
28.38/25.07 num=387, depth=0..13, filters=1155756, revisions=(994772,useless=546047), ccks=3197373, wck=22.586, mem=116M32
28.38/25.07 decisions=70544, wrong=33487, backtracks=21342, failedAssignments=18936, nogoods=2088, foundSolutions=24, bestBound=38
28.38/25.07 nFilterCalls=4123198, avgTableProportion=0.9982701364190997, avgTableSize=577.1249762926738
28.38/25.07
28.67/25.31 num=388, depth=2..12, filters=1167356, revisions=(1005056,useless=551902), ccks=3227330, wck=22.83, mem=116M32
28.67/25.31 decisions=71239, wrong=33832, backtracks=21577, failedAssignments=19127, nogoods=2100, foundSolutions=24, bestBound=38
28.67/25.31 nFilterCalls=4161297, avgTableProportion=0.9982701384519252, avgTableSize=577.125682689796
28.67/25.31
28.97/25.60 num=389, depth=3..13, filters=1180467, revisions=(1016218,useless=558622), ccks=3260150, wck=23.122, mem=118M648
28.97/25.60 decisions=71972, wrong=34196, backtracks=21815, failedAssignments=19338, nogoods=2108, foundSolutions=24, bestBound=38
28.97/25.60 nFilterCalls=4206137, avgTableProportion=0.9982701397001883, avgTableSize=577.1261164341532
28.97/25.60
29.27/25.90 num=390, depth=0..14, filters=1194877, revisions=(1029479,useless=566101), ccks=3299189, wck=23.42, mem=118M648
29.27/25.90 decisions=72830, wrong=34624, backtracks=22090, failedAssignments=19570, nogoods=2113, foundSolutions=24, bestBound=38
29.27/25.90 nFilterCalls=4249680, avgTableProportion=0.9982701414081594, avgTableSize=577.1267083639239
29.27/25.90
29.59/26.25 num=391, depth=1..13, filters=1211476, revisions=(1044173,useless=574420), ccks=3341487, wck=23.77, mem=121M264
29.59/26.25 decisions=73748, wrong=35082, backtracks=22404, failedAssignments=19825, nogoods=2124, foundSolutions=24, bestBound=38
29.59/26.25 nFilterCalls=4301201, avgTableProportion=0.9982701425845224, avgTableSize=577.1271154265983
29.59/26.25
30.00/26.63 num=392, depth=1..12, filters=1229529, revisions=(1059771,useless=583729), ccks=3386174, wck=24.149, mem=123M880
30.00/26.63 decisions=74791, wrong=35601, backtracks=22760, failedAssignments=20106, nogoods=2138, foundSolutions=24, bestBound=38
30.00/26.63 nFilterCalls=4362098, avgTableProportion=0.9982701458975299, avgTableSize=577.1282644268881
30.00/26.63
30.41/27.03 num=393, depth=1..12, filters=1249310, revisions=(1077114,useless=593755), ccks=3436122, wck=24.554, mem=123M880
30.41/27.03 decisions=75856, wrong=36132, backtracks=23104, failedAssignments=20415, nogoods=2144, foundSolutions=24, bestBound=38
30.41/27.03 nFilterCalls=4422849, avgTableProportion=0.998270146818236, avgTableSize=577.1285825041732
30.41/27.03
30.90/27.50 num=394, depth=1..16, filters=1272146, revisions=(1097291,useless=605979), ccks=3492310, wck=25.017, mem=126M496
30.90/27.50 decisions=77124, wrong=36764, backtracks=23533, failedAssignments=20755, nogoods=2154, foundSolutions=24, bestBound=38
30.90/27.50 nFilterCalls=4494828, avgTableProportion=0.9982701484993511, avgTableSize=577.1291644530113
30.90/27.50
31.51/28.12 num=395, depth=0..14, filters=1301364, revisions=(1122460,useless=621295), ccks=3567919, wck=25.64, mem=129M111
31.51/28.12 decisions=78590, wrong=37494, backtracks=24034, failedAssignments=21129, nogoods=2164, foundSolutions=24, bestBound=38
31.51/28.12 nFilterCalls=4592912, avgTableProportion=0.9982701504951604, avgTableSize=577.1298550897557
31.51/28.12
32.10/28.70 num=396, depth=0..12, filters=1330825, revisions=(1148732,useless=636437), ccks=3644222, wck=26.224, mem=131M727
32.10/28.70 decisions=80052, wrong=38223, backtracks=24516, failedAssignments=21540, nogoods=2174, foundSolutions=24, bestBound=38
32.10/28.70 nFilterCalls=4675513, avgTableProportion=0.9982701522701832, avgTableSize=577.1304695335036
32.10/28.70
32.70/29.38 num=397, depth=0..13, filters=1362705, revisions=(1176855,useless=653444), ccks=3727421, wck=26.899, mem=136M959
32.70/29.38 decisions=81731, wrong=39059, backtracks=25081, failedAssignments=21992, nogoods=2182, foundSolutions=24, bestBound=38
32.70/29.38 nFilterCalls=4779105, avgTableProportion=0.9982701567758503, avgTableSize=577.1320320436567
32.70/29.38
33.41/30.04 num=398, depth=0..17, filters=1397565, revisions=(1208369,useless=672488), ccks=3816872, wck=27.563, mem=139M575
33.41/30.04 decisions=83631, wrong=40008, backtracks=25710, failedAssignments=22489, nogoods=2192, foundSolutions=24, bestBound=38
33.41/30.04 nFilterCalls=4879416, avgTableProportion=0.9982701566910611, avgTableSize=577.1320002229775
33.41/30.04
34.10/30.77 o 41
34.10/30.77 num=399, depth=0..74, filters=1433502, revisions=(1240191,useless=691897), ccks=3913482, wck=28.286, mem=142M191
34.10/30.77 decisions=85654, wrong=41014, backtracks=26393, failedAssignments=23025, nogoods=2195, foundSolutions=25, bestBound=41
34.10/30.77 nFilterCalls=4989246, avgTableProportion=0.9982701603175347, avgTableSize=577.1332574100375
34.10/30.77
35.03/31.68 num=400, depth=0..13, filters=1476051, revisions=(1277209,useless=714990), ccks=4017668, wck=29.196, mem=147M422
35.03/31.68 decisions=87879, wrong=42125, backtracks=27126, failedAssignments=23627, nogoods=2209, foundSolutions=25, bestBound=41
35.03/31.68 nFilterCalls=5122252, avgTableProportion=0.9982701621355308, avgTableSize=577.1338860329402
35.03/31.68
35.13/31.70 num=401, depth=0..7, filters=1476888, revisions=(1278006,useless=715493), ccks=4020043, wck=29.219, mem=147M422
35.13/31.70 decisions=87927, wrong=42148, backtracks=27145, failedAssignments=23638, nogoods=2212, foundSolutions=25, bestBound=41
35.13/31.70 nFilterCalls=5125233, avgTableProportion=0.9982701624417796, avgTableSize=577.1339923472748
35.13/31.70
35.13/31.72 num=402, depth=3..10, filters=1477634, revisions=(1278722,useless=715926), ccks=4021890, wck=29.237, mem=147M422
35.13/31.72 decisions=87970, wrong=42168, backtracks=27157, failedAssignments=23650, nogoods=2213, foundSolutions=25, bestBound=41
35.13/31.72 nFilterCalls=5127764, avgTableProportion=0.998270162416592, avgTableSize=577.1339835452645
35.13/31.72
35.13/31.74 num=403, depth=5..12, filters=1478572, revisions=(1279522,useless=716400), ccks=4024764, wck=29.262, mem=147M422
35.13/31.74 decisions=88025, wrong=42192, backtracks=27171, failedAssignments=23663, nogoods=2217, foundSolutions=25, bestBound=41
35.13/31.74 nFilterCalls=5131337, avgTableProportion=0.9982701625841537, avgTableSize=577.1340416737393
35.13/31.74
35.13/31.76 num=404, depth=4..10, filters=1479432, revisions=(1280187,useless=716809), ccks=4026945, wck=29.282, mem=147M422
35.13/31.76 decisions=88072, wrong=42213, backtracks=27185, failedAssignments=23677, nogoods=2222, foundSolutions=25, bestBound=41
35.13/31.76 nFilterCalls=5135106, avgTableProportion=0.9982701627109694, avgTableSize=577.1340856449701
35.13/31.76
35.13/31.79 num=405, depth=3..9, filters=1480661, revisions=(1281233,useless=717440), ccks=4030148, wck=29.307, mem=147M422
35.13/31.79 decisions=88131, wrong=42241, backtracks=27205, failedAssignments=23693, nogoods=2225, foundSolutions=25, bestBound=41
35.13/31.79 nFilterCalls=5138707, avgTableProportion=0.9982701628182797, avgTableSize=577.134122844521
35.13/31.79
35.23/31.81 num=406, depth=5..14, filters=1481682, revisions=(1282156,useless=718006), ccks=4033160, wck=29.33, mem=147M422
35.23/31.81 decisions=88198, wrong=42272, backtracks=27228, failedAssignments=23710, nogoods=2230, foundSolutions=25, bestBound=41
35.23/31.81 nFilterCalls=5142107, avgTableProportion=0.9982701629550818, avgTableSize=577.1341702924501
35.23/31.81
35.23/31.84 num=407, depth=0..11, filters=1482978, revisions=(1283276,useless=718679), ccks=4036679, wck=29.361, mem=147M422
35.23/31.84 decisions=88271, wrong=42306, backtracks=27253, failedAssignments=23729, nogoods=2232, foundSolutions=25, bestBound=41
35.23/31.84 nFilterCalls=5146501, avgTableProportion=0.9982701630344739, avgTableSize=577.1341977782575
35.23/31.84
35.23/31.87 num=408, depth=1..8, filters=1484538, revisions=(1284696,useless=719583), ccks=4040323, wck=29.392, mem=147M422
35.23/31.87 decisions=88354, wrong=42346, backtracks=27275, failedAssignments=23750, nogoods=2237, foundSolutions=25, bestBound=41
35.23/31.87 nFilterCalls=5150883, avgTableProportion=0.9982701632191473, avgTableSize=577.1342618343301
35.23/31.87
35.33/31.91 num=409, depth=0..12, filters=1485804, revisions=(1285899,useless=720309), ccks=4043828, wck=29.426, mem=147M422
35.33/31.91 decisions=88444, wrong=42386, backtracks=27301, failedAssignments=23773, nogoods=2241, foundSolutions=25, bestBound=41
35.33/31.91 nFilterCalls=5155730, avgTableProportion=0.9982701632765224, avgTableSize=577.1342816633144
35.33/31.91
35.33/31.95 num=410, depth=5..13, filters=1487675, revisions=(1287278,useless=721177), ccks=4047770, wck=29.466, mem=147M422
35.33/31.95 decisions=88532, wrong=42427, backtracks=27329, failedAssignments=23798, nogoods=2244, foundSolutions=25, bestBound=41
35.33/31.95 nFilterCalls=5161844, avgTableProportion=0.9982701634944016, avgTableSize=577.1343572180795
35.33/31.95
35.33/31.98 num=411, depth=3..10, filters=1489430, revisions=(1288938,useless=722216), ccks=4052761, wck=29.502, mem=147M422
35.33/31.98 decisions=88648, wrong=42483, backtracks=27365, failedAssignments=23826, nogoods=2249, foundSolutions=25, bestBound=41
35.33/31.98 nFilterCalls=5166931, avgTableProportion=0.9982701636922376, avgTableSize=577.1344258322783
35.33/31.98
35.44/32.03 num=412, depth=1..14, filters=1491783, revisions=(1290866,useless=723398), ccks=4058786, wck=29.553, mem=147M422
35.44/32.03 decisions=88756, wrong=42534, backtracks=27395, failedAssignments=23857, nogoods=2254, foundSolutions=25, bestBound=41
35.44/32.03 nFilterCalls=5175288, avgTableProportion=0.9982701638844287, avgTableSize=577.1344924185862
35.44/32.03
35.44/32.09 num=413, depth=1..16, filters=1494614, revisions=(1293232,useless=724822), ccks=4066367, wck=29.614, mem=147M422
35.44/32.09 decisions=88898, wrong=42603, backtracks=27439, failedAssignments=23891, nogoods=2261, foundSolutions=25, bestBound=41
35.44/32.09 nFilterCalls=5183901, avgTableProportion=0.9982701640396688, avgTableSize=577.1345461651371
35.44/32.09
35.54/32.15 num=414, depth=1..10, filters=1497129, revisions=(1295493,useless=726281), ccks=4072753, wck=29.673, mem=150M38
35.54/32.15 decisions=89033, wrong=42668, backtracks=27481, failedAssignments=23928, nogoods=2267, foundSolutions=25, bestBound=41
35.54/32.15 nFilterCalls=5192549, avgTableProportion=0.9982701647406698, avgTableSize=577.1347894839317
35.54/32.15
35.63/32.21 num=415, depth=2..11, filters=1499802, revisions=(1297957,useless=727823), ccks=4079933, wck=29.73, mem=150M38
35.63/32.21 decisions=89196, wrong=42748, backtracks=27544, failedAssignments=23969, nogoods=2273, foundSolutions=25, bestBound=41
35.63/32.21 nFilterCalls=5200914, avgTableProportion=0.9982701648006583, avgTableSize=577.1348101506774
35.63/32.21
35.63/32.27 num=416, depth=2..13, filters=1502677, revisions=(1300698,useless=729605), ccks=4087042, wck=29.79, mem=150M38
35.63/32.27 decisions=89374, wrong=42834, backtracks=27604, failedAssignments=24014, nogoods=2281, foundSolutions=25, bestBound=41
35.63/32.27 nFilterCalls=5209960, avgTableProportion=0.9982701654004615, avgTableSize=577.1350183110811
35.63/32.27
35.73/32.34 num=417, depth=3..11, filters=1506478, revisions=(1304152,useless=731694), ccks=4097429, wck=29.865, mem=150M38
35.73/32.34 decisions=89595, wrong=42942, backtracks=27684, failedAssignments=24064, nogoods=2289, foundSolutions=25, bestBound=41
35.73/32.34 nFilterCalls=5221086, avgTableProportion=0.9982701657715326, avgTableSize=577.1351469790002
35.73/32.34
35.83/32.42 num=418, depth=1..10, filters=1509832, revisions=(1307215,useless=733516), ccks=4107477, wck=29.94, mem=150M38
35.83/32.42 decisions=89803, wrong=43045, backtracks=27754, failedAssignments=24119, nogoods=2293, foundSolutions=25, bestBound=41
35.83/32.42 nFilterCalls=5231868, avgTableProportion=0.9982701658881787, avgTableSize=577.1351872791897
35.83/32.42
35.93/32.50 num=419, depth=1..10, filters=1514117, revisions=(1311042,useless=735866), ccks=4119297, wck=30.024, mem=150M38
35.93/32.50 decisions=90041, wrong=43162, backtracks=27836, failedAssignments=24180, nogoods=2302, foundSolutions=25, bestBound=41
35.93/32.50 nFilterCalls=5243875, avgTableProportion=0.9982701662428733, avgTableSize=577.1353102429024
35.93/32.50
35.93/32.59 num=420, depth=0..9, filters=1517942, revisions=(1314518,useless=738099), ccks=4129936, wck=30.115, mem=150M38
35.93/32.59 decisions=90261, wrong=43271, backtracks=27907, failedAssignments=24247, nogoods=2306, foundSolutions=25, bestBound=41
35.93/32.59 nFilterCalls=5256920, avgTableProportion=0.9982701664023725, avgTableSize=577.1353653850543
35.93/32.59
36.13/32.71 num=421, depth=1..11, filters=1523220, revisions=(1319181,useless=740938), ccks=4144814, wck=30.229, mem=150M38
36.13/32.71 decisions=90540, wrong=43408, backtracks=28000, failedAssignments=24321, nogoods=2311, foundSolutions=25, bestBound=41
36.13/32.71 nFilterCalls=5272888, avgTableProportion=0.9982701665373166, avgTableSize=577.135411941236
36.13/32.71
36.23/32.84 num=422, depth=0..9, filters=1529667, revisions=(1325124,useless=744679), ccks=4161802, wck=30.358, mem=152M654
36.23/32.84 decisions=90896, wrong=43585, backtracks=28135, failedAssignments=24402, nogoods=2313, foundSolutions=25, bestBound=41
36.23/32.84 nFilterCalls=5291460, avgTableProportion=0.9982701671167846, avgTableSize=577.1356128554312
36.23/32.84
36.33/32.99 num=423, depth=0..12, filters=1536827, revisions=(1331426,useless=748691), ccks=4179565, wck=30.514, mem=152M654
36.33/32.99 decisions=91254, wrong=43763, backtracks=28268, failedAssignments=24491, nogoods=2317, foundSolutions=25, bestBound=41
36.33/32.99 nFilterCalls=5312788, avgTableProportion=0.9982701673237123, avgTableSize=577.135684314902
36.33/32.99
36.44/33.09
36.44/33.09 New Bounds: 42..41
36.44/33.09 num=424, depth=0..10, filters=1541106, revisions=(1335176,useless=751109), ccks=4189930, wck=30.614, mem=152M654
36.44/33.09 decisions=91462, wrong=43868, backtracks=28348, failedAssignments=24546, foundSolutions=25, bestBound=41
36.44/33.09 nFilterCalls=5326637, avgTableProportion=0.9982701675795417, avgTableSize=577.1357729088729
36.44/33.09
36.44/33.09 Global
36.44/33.09 filters=1541106, revisions=(1335176,useless=751109), ccks=4189930
36.44/33.09 Stop=FULL_EXPLORATION, wrong=43868, bestBound=41, bestBoundWck=28.907, bestBoundCpu=30.709, foundSolutions=25, firstSolCpu=2.475
36.44/33.09 wck=31.235, cpu=33.037, mem=152M654
36.44/33.10
36.44/33.10 v <instantiation id='sol25' type='solution' cost='41'> <list> s[] p[] g[] </list> <values> 1 2 3 4 9 0 5 6 13 8 11 12 7 14 19 10 15 16 17 18 -1 -1 -1 -1 -1 0 1 2 3 4 19 18 17 6 5 14 15 16 7 8 13 12 11 10 9 -1 -1 -1 -1 -1 -4 6 6 -2 1 -3 0 -3 5 6 3 7 -6 7 2 0 3 3 6 4 0 0 0 0 0 </values> </instantiation>
36.44/33.10 s OPTIMUM FOUND
36.44/33.10
36.44/33.10 d WRONG_DECISIONS 43868
36.44/33.10 d NUMBER_SOLUTIONS 25