2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.89
3.56/2.22 Instance
3.56/2.22 name=instance-4390952-1568383076, framework=COP, bounds=-infty..+infty
3.56/2.22
3.56/2.22 Loading variables...
3.56/2.25 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.6, cpu=2.406, mem=90M184
4.13/2.45 Solver SolverBacktrack being built...
4.13/2.45
4.13/2.47
4.13/2.47 Solver
4.13/2.47 guaranteedGAC=true
4.13/2.47 wck=0.629, cpu=2.434, mem=100M826
4.13/2.48
4.13/2.48 Preprocessing
4.13/2.48 filters=27, revisions=(51,useless=48), ccks=752, nACremovedValues=51, nTotalRemovedValues=51, inconcistency=false
4.13/2.48 wck=0.007, cpu=2.442, mem=100M826
4.13/2.48
4.45/2.51 o -1000
4.45/2.51 num=0, depth=76..74, filters=387, revisions=(699,useless=613), ccks=1455, wck=0.036, mem=100M826
4.45/2.51 decisions=24, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.45/2.51 nFilterCalls=675, avgTableProportion=0.9982697766543618, avgTableSize=577.0
4.45/2.51
4.45/2.53 num=1, depth=18..22, filters=701, revisions=(1065,useless=838), ccks=2253, wck=0.054, mem=100M826
4.45/2.53 decisions=70, wrong=13, backtracks=2, failedAssignments=11, nogoods=6, foundSolutions=1, bestBound=-1000
4.45/2.53 nFilterCalls=2711, avgTableProportion=0.9982698711666168, avgTableSize=577.0328292143121
4.45/2.53
4.45/2.56 num=2, depth=17..21, filters=1379, revisions=(1836,useless=1379), ccks=3942, wck=0.083, mem=103M469
4.45/2.56 decisions=132, wrong=35, backtracks=14, failedAssignments=22, nogoods=8, foundSolutions=1, bestBound=-1000
4.45/2.56 nFilterCalls=5583, avgTableProportion=0.9982699143345501, avgTableSize=577.0478237506717
4.45/2.56
4.45/2.57 num=3, depth=15..18, filters=2022, revisions=(2651,useless=1965), ccks=5729, wck=0.099, mem=103M469
4.45/2.57 decisions=181, wrong=52, backtracks=24, failedAssignments=34, nogoods=11, foundSolutions=1, bestBound=-1000
4.45/2.57 nFilterCalls=7166, avgTableProportion=0.9982699409683208, avgTableSize=577.0570750767513
4.45/2.57
4.76/2.72 num=4, depth=9..17, filters=2801, revisions=(3351,useless=2347), ccks=8133, wck=0.243, mem=103M469
4.76/2.72 decisions=238, wrong=75, backtracks=38, failedAssignments=47, nogoods=15, foundSolutions=1, bestBound=-1000
4.76/2.72 nFilterCalls=9906, avgTableProportion=0.9982700364709596, avgTableSize=577.0902483343428
4.76/2.72
4.76/2.74 num=5, depth=11..16, filters=3337, revisions=(3862,useless=2601), ccks=10619, wck=0.262, mem=103M469
4.76/2.74 decisions=287, wrong=94, backtracks=43, failedAssignments=61, nogoods=20, foundSolutions=1, bestBound=-1000
4.76/2.74 nFilterCalls=11620, avgTableProportion=0.9982700132598298, avgTableSize=577.0821858864027
4.76/2.74
4.76/2.76 o -998
4.76/2.76 num=6, depth=10..74, filters=3972, revisions=(4459,useless=2938), ccks=12794, wck=0.287, mem=103M469
4.76/2.76 decisions=342, wrong=113, backtracks=54, failedAssignments=72, nogoods=22, foundSolutions=2, bestBound=-998
4.76/2.76 nFilterCalls=14460, avgTableProportion=0.9982700334861604, avgTableSize=577.0892116182573
4.76/2.76
4.76/2.79 o -990
4.76/2.79 num=7, depth=10..74, filters=4483, revisions=(4931,useless=3202), ccks=14476, wck=0.309, mem=103M469
4.76/2.79 decisions=376, wrong=123, backtracks=56, failedAssignments=81, nogoods=30, foundSolutions=3, bestBound=-990
4.76/2.79 nFilterCalls=16511, avgTableProportion=0.9982700449987697, avgTableSize=577.0932105868815
4.76/2.79
5.01/2.82 num=8, depth=5..13, filters=5182, revisions=(5586,useless=3592), ccks=16292, wck=0.341, mem=103M469
5.01/2.82 decisions=418, wrong=140, backtracks=68, failedAssignments=92, nogoods=33, foundSolutions=3, bestBound=-990
5.01/2.82 nFilterCalls=18997, avgTableProportion=0.9982700877767193, avgTableSize=577.108069695215
5.01/2.82
5.01/2.84 num=9, depth=9..15, filters=5830, revisions=(6194,useless=3917), ccks=18223, wck=0.362, mem=103M469
5.01/2.84 decisions=459, wrong=156, backtracks=79, failedAssignments=103, nogoods=34, foundSolutions=3, bestBound=-990
5.01/2.84 nFilterCalls=21551, avgTableProportion=0.9982700704091931, avgTableSize=577.1020370284441
5.01/2.84
5.01/2.85 num=10, depth=11..17, filters=6476, revisions=(6821,useless=4265), ccks=20393, wck=0.377, mem=103M469
5.01/2.85 decisions=512, wrong=176, backtracks=91, failedAssignments=115, nogoods=36, foundSolutions=3, bestBound=-990
5.01/2.85 nFilterCalls=24180, avgTableProportion=0.9982700469236427, avgTableSize=577.0938792390406
5.01/2.85
5.01/2.86 o -988
5.01/2.86 num=11, depth=16..74, filters=6682, revisions=(7074,useless=4407), ccks=21168, wck=0.383, mem=103M469
5.01/2.86 decisions=533, wrong=178, backtracks=91, failedAssignments=117, nogoods=38, foundSolutions=4, bestBound=-988
5.01/2.86 nFilterCalls=24852, avgTableProportion=0.9982700457551545, avgTableSize=577.0934733623048
5.01/2.86
5.01/2.88 num=12, depth=11..17, filters=7487, revisions=(7882,useless=4883), ccks=23608, wck=0.401, mem=103M469
5.01/2.88 decisions=592, wrong=201, backtracks=105, failedAssignments=131, nogoods=41, foundSolutions=4, bestBound=-988
5.01/2.88 nFilterCalls=28015, avgTableProportion=0.9982700320202015, avgTableSize=577.0887024808138
5.01/2.88
5.01/2.89 num=13, depth=13..17, filters=8030, revisions=(8405,useless=5161), ccks=25390, wck=0.413, mem=103M469
5.01/2.89 decisions=641, wrong=219, backtracks=115, failedAssignments=142, nogoods=43, foundSolutions=4, bestBound=-988
5.01/2.89 nFilterCalls=30199, avgTableProportion=0.9982700222271708, avgTableSize=577.0853008377761
5.01/2.89
5.32/2.90 num=14, depth=9..13, filters=8674, revisions=(9038,useless=5508), ccks=27160, wck=0.427, mem=103M469
5.32/2.90 decisions=690, wrong=239, backtracks=124, failedAssignments=154, nogoods=45, foundSolutions=4, bestBound=-988
5.32/2.90 nFilterCalls=32236, avgTableProportion=0.9982700145683674, avgTableSize=577.0826405261199
5.32/2.90
5.32/2.92 num=15, depth=12..20, filters=9511, revisions=(9769,useless=5938), ccks=29410, wck=0.445, mem=103M469
5.32/2.92 decisions=753, wrong=264, backtracks=140, failedAssignments=167, nogoods=51, foundSolutions=4, bestBound=-988
5.32/2.92 nFilterCalls=35781, avgTableProportion=0.9982700074911252, avgTableSize=577.0801822196138
5.32/2.92
5.32/2.94 num=16, depth=11..16, filters=10330, revisions=(10602,useless=6397), ccks=31747, wck=0.462, mem=103M469
5.32/2.94 decisions=817, wrong=289, backtracks=153, failedAssignments=181, nogoods=55, foundSolutions=4, bestBound=-988
5.32/2.94 nFilterCalls=38728, avgTableProportion=0.9982700105911823, avgTableSize=577.0812590373889
5.32/2.94
5.32/2.96 num=17, depth=13..18, filters=11270, revisions=(11477,useless=6928), ccks=34370, wck=0.481, mem=103M469
5.32/2.96 decisions=891, wrong=319, backtracks=171, failedAssignments=197, nogoods=60, foundSolutions=4, bestBound=-988
5.32/2.96 nFilterCalls=42947, avgTableProportion=0.9982700064463444, avgTableSize=577.0798193121755
5.32/2.96
5.32/2.98 num=18, depth=11..16, filters=12354, revisions=(12474,useless=7460), ccks=37558, wck=0.5, mem=106M111
5.32/2.98 decisions=962, wrong=349, backtracks=189, failedAssignments=214, nogoods=65, foundSolutions=4, bestBound=-988
5.32/2.98 nFilterCalls=46928, avgTableProportion=0.9982700126571049, avgTableSize=577.0819766450733
5.32/2.98
5.32/3.00 num=19, depth=10..15, filters=13391, revisions=(13473,useless=8009), ccks=40727, wck=0.523, mem=106M111
5.32/3.00 decisions=1035, wrong=380, backtracks=206, failedAssignments=233, nogoods=70, foundSolutions=4, bestBound=-988
5.32/3.00 nFilterCalls=50779, avgTableProportion=0.9982700060412653, avgTableSize=577.0796786072983
5.32/3.00
5.65/3.03 num=20, depth=8..14, filters=14837, revisions=(14786,useless=8752), ccks=44334, wck=0.55, mem=106M111
5.65/3.03 decisions=1121, wrong=417, backtracks=226, failedAssignments=254, nogoods=76, foundSolutions=4, bestBound=-988
5.65/3.03 nFilterCalls=55870, avgTableProportion=0.9982700139435075, avgTableSize=577.0824234830858
5.65/3.03
5.65/3.05 num=21, depth=12..18, filters=16167, revisions=(15878,useless=9366), ccks=48571, wck=0.575, mem=106M111
5.65/3.05 decisions=1212, wrong=456, backtracks=251, failedAssignments=277, nogoods=79, foundSolutions=4, bestBound=-988
5.65/3.05 nFilterCalls=61624, avgTableProportion=0.9982700254703147, avgTableSize=577.0864273659613
5.65/3.05
5.65/3.07 num=22, depth=11..17, filters=17738, revisions=(17243,useless=10161), ccks=53031, wck=0.598, mem=106M111
5.65/3.07 decisions=1320, wrong=504, backtracks=286, failedAssignments=302, nogoods=81, foundSolutions=4, bestBound=-988
5.65/3.07 nFilterCalls=66917, avgTableProportion=0.998270044810445, avgTableSize=577.0931452396252
5.65/3.07
5.65/3.09 num=23, depth=14..20, filters=19200, revisions=(18499,useless=10845), ccks=57999, wck=0.619, mem=106M111
5.65/3.09 decisions=1435, wrong=554, backtracks=318, failedAssignments=330, nogoods=87, foundSolutions=4, bestBound=-988
5.65/3.09 nFilterCalls=73190, avgTableProportion=0.9982700337062258, avgTableSize=577.0892881541195
5.65/3.09
5.88/3.12 num=24, depth=9..15, filters=21025, revisions=(20128,useless=11761), ccks=62529, wck=0.646, mem=106M111
5.88/3.12 decisions=1558, wrong=610, backtracks=348, failedAssignments=361, nogoods=92, foundSolutions=4, bestBound=-988
5.88/3.12 nFilterCalls=78882, avgTableProportion=0.9982700355226958, avgTableSize=577.0899191196978
5.88/3.12
5.88/3.16 num=25, depth=11..16, filters=23044, revisions=(21898,useless=12797), ccks=68712, wck=0.686, mem=106M111
5.88/3.16 decisions=1697, wrong=674, backtracks=395, failedAssignments=395, nogoods=98, foundSolutions=4, bestBound=-988
5.88/3.16 nFilterCalls=87867, avgTableProportion=0.9982700308398755, avgTableSize=577.0882925330329
5.88/3.16
5.98/3.21 num=26, depth=5..17, filters=25505, revisions=(23866,useless=13864), ccks=75005, wck=0.733, mem=106M111
5.98/3.21 decisions=1849, wrong=745, backtracks=441, failedAssignments=432, nogoods=102, foundSolutions=4, bestBound=-988
5.98/3.21 nFilterCalls=97056, avgTableProportion=0.9982700464030817, avgTableSize=577.0936984833498
5.98/3.21
5.98/3.24 num=27, depth=11..19, filters=27870, revisions=(25961,useless=15067), ccks=81272, wck=0.766, mem=106M111
5.98/3.24 decisions=1997, wrong=813, backtracks=478, failedAssignments=473, nogoods=110, foundSolutions=4, bestBound=-988
5.98/3.24 nFilterCalls=105623, avgTableProportion=0.9982700458657053, avgTableSize=577.0935118298098
5.98/3.24
5.98/3.28 num=28, depth=8..16, filters=30269, revisions=(28078,useless=16202), ccks=88138, wck=0.805, mem=108M754
5.98/3.28 decisions=2153, wrong=886, backtracks=524, failedAssignments=518, nogoods=117, foundSolutions=4, bestBound=-988
5.98/3.28 nFilterCalls=113898, avgTableProportion=0.9982700383129028, avgTableSize=577.090888338689
5.98/3.28
6.09/3.32 num=29, depth=11..21, filters=32885, revisions=(30198,useless=17413), ccks=95466, wck=0.849, mem=108M754
6.09/3.32 decisions=2346, wrong=976, backtracks=572, failedAssignments=568, nogoods=121, foundSolutions=4, bestBound=-988
6.09/3.32 nFilterCalls=125793, avgTableProportion=0.9982700377151742, avgTableSize=577.0906807215027
6.09/3.32
6.09/3.37 num=30, depth=10..18, filters=36028, revisions=(33005,useless=18997), ccks=103961, wck=0.898, mem=108M754
6.09/3.37 decisions=2546, wrong=1070, backtracks=627, failedAssignments=623, nogoods=124, foundSolutions=4, bestBound=-988
6.09/3.37 nFilterCalls=137636, avgTableProportion=0.9982700436360762, avgTableSize=577.0927373652243
6.09/3.37
6.19/3.43 num=31, depth=12..20, filters=39474, revisions=(35758,useless=20572), ccks=114160, wck=0.95, mem=108M754
6.19/3.43 decisions=2785, wrong=1183, backtracks=698, failedAssignments=684, nogoods=133, foundSolutions=4, bestBound=-988
6.19/3.43 nFilterCalls=152516, avgTableProportion=0.9982700481676685, avgTableSize=577.0943114165071
6.19/3.43
6.19/3.49 num=32, depth=8..22, filters=43732, revisions=(39129,useless=22529), ccks=125341, wck=1.016, mem=108M754
6.19/3.49 decisions=3063, wrong=1314, backtracks=782, failedAssignments=751, nogoods=139, foundSolutions=4, bestBound=-988
6.19/3.49 nFilterCalls=169897, avgTableProportion=0.998270067311739, avgTableSize=577.1009611705916
6.19/3.49
6.30/3.56 num=33, depth=11..18, filters=48036, revisions=(42713,useless=24616), ccks=138543, wck=1.085, mem=108M754
6.30/3.56 decisions=3338, wrong=1445, backtracks=868, failedAssignments=825, nogoods=145, foundSolutions=4, bestBound=-988
6.30/3.56 nFilterCalls=187071, avgTableProportion=0.9982700814252683, avgTableSize=577.1058635491338
6.30/3.56
6.40/3.64 num=34, depth=11..22, filters=52853, revisions=(46186,useless=26605), ccks=152342, wck=1.167, mem=111M396
6.40/3.64 decisions=3666, wrong=1600, backtracks=968, failedAssignments=906, nogoods=153, foundSolutions=4, bestBound=-988
6.40/3.64 nFilterCalls=209075, avgTableProportion=0.9982700940463477, avgTableSize=577.1102475188329
6.40/3.64
6.51/3.74 num=35, depth=9..16, filters=58339, revisions=(51003,useless=29412), ccks=167083, wck=1.266, mem=111M396
6.51/3.74 decisions=3994, wrong=1758, backtracks=1071, failedAssignments=995, nogoods=164, foundSolutions=4, bestBound=-988
6.51/3.74 nFilterCalls=229781, avgTableProportion=0.9982700829108563, avgTableSize=577.1063795527045
6.51/3.74
6.61/3.83 num=36, depth=10..18, filters=63874, revisions=(55765,useless=32088), ccks=185631, wck=1.351, mem=111M396
6.61/3.83 decisions=4366, wrong=1938, backtracks=1189, failedAssignments=1093, nogoods=170, foundSolutions=4, bestBound=-988
6.61/3.83 nFilterCalls=250314, avgTableProportion=0.9982700936381338, avgTableSize=577.1101057072317
6.61/3.83
6.72/3.95 num=37, depth=10..17, filters=70755, revisions=(61455,useless=35509), ccks=206800, wck=1.472, mem=114M39
6.72/3.95 decisions=4787, wrong=2143, backtracks=1320, failedAssignments=1201, nogoods=184, foundSolutions=4, bestBound=-988
6.72/3.95 nFilterCalls=276663, avgTableProportion=0.9982700806289843, avgTableSize=577.1055869415137
6.72/3.95
6.84/4.05 o -987
6.84/4.06 num=38, depth=7..74, filters=76855, revisions=(66829,useless=38571), ccks=224869, wck=1.58, mem=114M39
6.84/4.06 decisions=5139, wrong=2312, backtracks=1426, failedAssignments=1291, nogoods=190, foundSolutions=5, bestBound=-987
6.84/4.06 nFilterCalls=298007, avgTableProportion=0.9982700697835368, avgTableSize=577.1018197559117
6.84/4.06
6.95/4.18 num=39, depth=8..17, filters=84517, revisions=(73736,useless=42492), ccks=244055, wck=1.702, mem=114M39
6.95/4.18 decisions=5627, wrong=2550, backtracks=1570, failedAssignments=1422, nogoods=194, foundSolutions=5, bestBound=-987
6.95/4.18 nFilterCalls=324235, avgTableProportion=0.998270070906411, avgTableSize=577.1022098169537
6.95/4.18
6.95/4.19 num=40, depth=14..18, filters=85278, revisions=(74434,useless=42918), ccks=245990, wck=1.714, mem=114M39
6.95/4.19 decisions=5685, wrong=2572, backtracks=1584, failedAssignments=1433, nogoods=198, foundSolutions=5, bestBound=-987
6.95/4.19 nFilterCalls=327354, avgTableProportion=0.9982700707939002, avgTableSize=577.102170738711
6.95/4.19
7.04/4.21 num=41, depth=12..17, filters=86360, revisions=(75313,useless=43386), ccks=248809, wck=1.731, mem=114M39
7.04/4.21 decisions=5745, wrong=2596, backtracks=1601, failedAssignments=1445, nogoods=200, foundSolutions=5, bestBound=-987
7.04/4.21 nFilterCalls=331564, avgTableProportion=0.9982700684917399, avgTableSize=577.1013710776804
7.04/4.21
7.04/4.21 num=42, depth=14..19, filters=87086, revisions=(75960,useless=43741), ccks=250669, wck=1.74, mem=114M39
7.04/4.21 decisions=5802, wrong=2617, backtracks=1612, failedAssignments=1458, nogoods=202, foundSolutions=5, bestBound=-987
7.04/4.21 nFilterCalls=334329, avgTableProportion=0.998270068101732, avgTableSize=577.1012356092352
7.04/4.21
7.04/4.22 num=43, depth=15..23, filters=87773, revisions=(76555,useless=44085), ccks=252418, wck=1.749, mem=114M39
7.04/4.22 decisions=5860, wrong=2637, backtracks=1624, failedAssignments=1472, nogoods=204, foundSolutions=5, bestBound=-987
7.04/4.22 nFilterCalls=337319, avgTableProportion=0.9982700685908086, avgTableSize=577.1014054945023
7.04/4.22
7.04/4.24 num=44, depth=13..19, filters=88759, revisions=(77411,useless=44537), ccks=255508, wck=1.764, mem=116M681
7.04/4.24 decisions=5933, wrong=2666, backtracks=1639, failedAssignments=1488, nogoods=211, foundSolutions=5, bestBound=-987
7.04/4.24 nFilterCalls=340967, avgTableProportion=0.9982700671729299, avgTableSize=577.1009129915798
7.04/4.24
7.04/4.26 num=45, depth=13..21, filters=90012, revisions=(78347,useless=45108), ccks=258097, wck=1.782, mem=116M681
7.04/4.26 decisions=6011, wrong=2698, backtracks=1660, failedAssignments=1505, nogoods=215, foundSolutions=5, bestBound=-987
7.04/4.26 nFilterCalls=345810, avgTableProportion=0.9982700689901102, avgTableSize=577.1015442005726
7.04/4.26
7.04/4.28 num=46, depth=11..21, filters=91131, revisions=(79306,useless=45664), ccks=261295, wck=1.801, mem=116M681
7.04/4.28 decisions=6087, wrong=2730, backtracks=1680, failedAssignments=1524, nogoods=218, foundSolutions=5, bestBound=-987
7.04/4.28 nFilterCalls=350311, avgTableProportion=0.9982700715948374, avgTableSize=577.1024489667752
7.04/4.28
7.04/4.29 num=47, depth=13..20, filters=92295, revisions=(80319,useless=46230), ccks=264297, wck=1.82, mem=116M681
7.04/4.29 decisions=6172, wrong=2766, backtracks=1704, failedAssignments=1545, nogoods=220, foundSolutions=5, bestBound=-987
7.04/4.29 nFilterCalls=354936, avgTableProportion=0.9982700732265574, avgTableSize=577.103015754953
7.04/4.29
7.14/4.31 num=48, depth=14..20, filters=93484, revisions=(81364,useless=46794), ccks=268222, wck=1.835, mem=116M681
7.14/4.31 decisions=6264, wrong=2805, backtracks=1729, failedAssignments=1568, nogoods=225, foundSolutions=5, bestBound=-987
7.14/4.31 nFilterCalls=359467, avgTableProportion=0.9982700734446727, avgTableSize=577.1030915216139
7.14/4.31
7.14/4.33 o -986
7.14/4.33 num=49, depth=12..74, filters=94682, revisions=(82312,useless=47399), ccks=270823, wck=1.858, mem=116M681
7.14/4.33 decisions=6334, wrong=2831, backtracks=1745, failedAssignments=1581, nogoods=229, foundSolutions=6, bestBound=-986
7.14/4.33 nFilterCalls=364979, avgTableProportion=0.9982700789248334, avgTableSize=577.1049950819088
7.14/4.33
7.14/4.36 num=50, depth=12..19, filters=96373, revisions=(83831,useless=48297), ccks=276211, wck=1.886, mem=116M681
7.14/4.36 decisions=6448, wrong=2881, backtracks=1777, failedAssignments=1609, nogoods=237, foundSolutions=6, bestBound=-986
7.14/4.36 nFilterCalls=371914, avgTableProportion=0.9982700772749412, avgTableSize=577.10442199003
7.14/4.36
7.14/4.37 num=51, depth=12..19, filters=97046, revisions=(84480,useless=48642), ccks=278073, wck=1.895, mem=116M681
7.14/4.37 decisions=6502, wrong=2900, backtracks=1788, failedAssignments=1620, nogoods=241, foundSolutions=6, bestBound=-986
7.14/4.37 nFilterCalls=373946, avgTableProportion=0.9982700778971058, avgTableSize=577.1046381028277
7.14/4.37
7.14/4.39 num=52, depth=12..20, filters=98132, revisions=(85327,useless=49124), ccks=280958, wck=1.913, mem=116M681
7.14/4.39 decisions=6571, wrong=2928, backtracks=1809, failedAssignments=1632, nogoods=243, foundSolutions=6, bestBound=-986
7.14/4.39 nFilterCalls=378487, avgTableProportion=0.9982700772036892, avgTableSize=577.1043972448196
7.14/4.39
7.14/4.40 num=53, depth=15..20, filters=98910, revisions=(85998,useless=49503), ccks=283122, wck=1.921, mem=116M681
7.14/4.40 decisions=6629, wrong=2949, backtracks=1820, failedAssignments=1645, nogoods=247, foundSolutions=6, bestBound=-986
7.14/4.40 nFilterCalls=381178, avgTableProportion=0.9982700776044809, avgTableSize=577.1045364632796
7.14/4.40
7.26/4.41 num=54, depth=13..19, filters=99714, revisions=(86723,useless=49900), ccks=285484, wck=1.933, mem=116M681
7.26/4.41 decisions=6693, wrong=2974, backtracks=1838, failedAssignments=1659, nogoods=250, foundSolutions=6, bestBound=-986
7.26/4.41 nFilterCalls=384396, avgTableProportion=0.9982700775715339, avgTableSize=577.104525021072
7.26/4.41
7.26/4.41 o -984
7.26/4.42 num=55, depth=15..74, filters=100077, revisions=(87105,useless=50112), ccks=286797, wck=1.94, mem=116M681
7.26/4.42 decisions=6723, wrong=2980, backtracks=1841, failedAssignments=1662, nogoods=252, foundSolutions=7, bestBound=-984
7.26/4.42 nFilterCalls=385794, avgTableProportion=0.9982700778019221, avgTableSize=577.1046050482901
7.26/4.42
7.26/4.43 num=56, depth=13..18, filters=100825, revisions=(87852,useless=50532), ccks=289006, wck=1.954, mem=116M681
7.26/4.43 decisions=6792, wrong=3006, backtracks=1856, failedAssignments=1679, nogoods=257, foundSolutions=7, bestBound=-984
7.26/4.43 nFilterCalls=389177, avgTableProportion=0.9982700760496227, avgTableSize=577.1039963821089
7.26/4.43
7.26/4.44 num=57, depth=13..21, filters=101711, revisions=(88536,useless=50903), ccks=291663, wck=1.969, mem=116M681
7.26/4.44 decisions=6852, wrong=3029, backtracks=1874, failedAssignments=1690, nogoods=260, foundSolutions=7, bestBound=-984
7.26/4.44 nFilterCalls=393292, avgTableProportion=0.9982700764672584, avgTableSize=577.1041414521526
7.26/4.44
7.26/4.45 o -983
7.26/4.45 num=58, depth=19..74, filters=101926, revisions=(88786,useless=51051), ccks=292353, wck=1.974, mem=116M681
7.26/4.45 decisions=6875, wrong=3030, backtracks=1874, failedAssignments=1691, nogoods=261, foundSolutions=8, bestBound=-983
7.26/4.45 nFilterCalls=394197, avgTableProportion=0.9982700772030705, avgTableSize=577.1043970400586
7.26/4.45
7.26/4.47 num=59, depth=14..18, filters=103095, revisions=(89607,useless=51595), ccks=294593, wck=1.993, mem=119M323
7.26/4.47 decisions=6933, wrong=3052, backtracks=1890, failedAssignments=1704, nogoods=268, foundSolutions=8, bestBound=-983
7.26/4.47 nFilterCalls=399922, avgTableProportion=0.9982700773997781, avgTableSize=577.1044653707473
7.26/4.47
7.26/4.47 o -980
7.26/4.47 num=60, depth=76..74, filters=103317, revisions=(89858,useless=51745), ccks=295172, wck=1.998, mem=119M323
7.26/4.47 decisions=6951, wrong=3052, backtracks=1890, failedAssignments=1704, nogoods=268, foundSolutions=9, bestBound=-980
7.26/4.47 nFilterCalls=400789, avgTableProportion=0.9982700780636998, avgTableSize=577.1046959871653
7.26/4.47
7.26/4.49 num=61, depth=11..15, filters=104143, revisions=(90609,useless=52180), ccks=297289, wck=2.014, mem=119M323
7.26/4.49 decisions=7003, wrong=3072, backtracks=1904, failedAssignments=1716, nogoods=274, foundSolutions=9, bestBound=-980
7.26/4.49 nFilterCalls=404399, avgTableProportion=0.9982700785054082, avgTableSize=577.1048494185198
7.26/4.49
7.26/4.50 o -979
7.26/4.50 num=62, depth=14..74, filters=104465, revisions=(90950,useless=52367), ccks=298341, wck=2.021, mem=119M323
7.26/4.50 decisions=7031, wrong=3077, backtracks=1905, failedAssignments=1720, nogoods=278, foundSolutions=10, bestBound=-979
7.26/4.50 nFilterCalls=405479, avgTableProportion=0.9982700787309214, avgTableSize=577.1049277521154
7.26/4.50
7.38/4.51 num=63, depth=12..19, filters=105188, revisions=(91582,useless=52745), ccks=300276, wck=2.037, mem=119M323
7.38/4.51 decisions=7089, wrong=3098, backtracks=1917, failedAssignments=1732, nogoods=282, foundSolutions=10, bestBound=-979
7.38/4.51 nFilterCalls=409244, avgTableProportion=0.9982700800671345, avgTableSize=577.1053918933447
7.38/4.51
7.38/4.53 num=64, depth=11..15, filters=106050, revisions=(92349,useless=53188), ccks=302235, wck=2.051, mem=119M323
7.38/4.53 decisions=7142, wrong=3119, backtracks=1928, failedAssignments=1743, nogoods=284, foundSolutions=10, bestBound=-979
7.38/4.53 nFilterCalls=412291, avgTableProportion=0.9982700801151069, avgTableSize=577.1054085585181
7.38/4.53
7.38/4.54 num=65, depth=11..17, filters=106773, revisions=(93008,useless=53559), ccks=304476, wck=2.062, mem=119M323
7.38/4.54 decisions=7192, wrong=3138, backtracks=1938, failedAssignments=1755, nogoods=290, foundSolutions=10, bestBound=-979
7.38/4.54 nFilterCalls=414714, avgTableProportion=0.9982700792237277, avgTableSize=577.105098935652
7.38/4.54
7.38/4.55 num=66, depth=16..20, filters=107622, revisions=(93689,useless=53955), ccks=306473, wck=2.072, mem=119M323
7.38/4.55 decisions=7247, wrong=3157, backtracks=1948, failedAssignments=1768, nogoods=293, foundSolutions=10, bestBound=-979
7.38/4.55 nFilterCalls=417531, avgTableProportion=0.9982700787888943, avgTableSize=577.1049478960844
7.38/4.55
7.38/4.56 num=67, depth=11..16, filters=108518, revisions=(94601,useless=54439), ccks=309066, wck=2.085, mem=119M323
7.38/4.56 decisions=7310, wrong=3182, backtracks=1962, failedAssignments=1782, nogoods=298, foundSolutions=10, bestBound=-979
7.38/4.56 nFilterCalls=420018, avgTableProportion=0.998270077945781, avgTableSize=577.1046550385936
7.38/4.56
7.38/4.58 num=68, depth=8..12, filters=109704, revisions=(95721,useless=55055), ccks=312323, wck=2.107, mem=119M323
7.38/4.58 decisions=7375, wrong=3210, backtracks=1977, failedAssignments=1798, nogoods=301, foundSolutions=10, bestBound=-979
7.38/4.58 nFilterCalls=423788, avgTableProportion=0.9982700764882824, avgTableSize=577.1041487724995
7.38/4.58
7.48/4.60 num=69, depth=11..16, filters=110982, revisions=(96861,useless=55701), ccks=315214, wck=2.126, mem=119M323
7.48/4.60 decisions=7449, wrong=3241, backtracks=1996, failedAssignments=1815, nogoods=304, foundSolutions=10, bestBound=-979
7.48/4.60 nFilterCalls=428164, avgTableProportion=0.9982700764428559, avgTableSize=577.1041329957679
7.48/4.60
7.48/4.63 num=70, depth=11..20, filters=112613, revisions=(98067,useless=56424), ccks=318995, wck=2.151, mem=119M323
7.48/4.63 decisions=7533, wrong=3275, backtracks=2017, failedAssignments=1834, nogoods=308, foundSolutions=10, bestBound=-979
7.48/4.63 nFilterCalls=434857, avgTableProportion=0.9982700765093001, avgTableSize=577.1041560788949
7.48/4.63
7.48/4.65 num=71, depth=10..16, filters=113856, revisions=(99184,useless=57050), ccks=322518, wck=2.171, mem=119M323
7.48/4.65 decisions=7617, wrong=3312, backtracks=2038, failedAssignments=1855, nogoods=311, foundSolutions=10, bestBound=-979
7.48/4.65 nFilterCalls=439166, avgTableProportion=0.9982700746553721, avgTableSize=577.1035121115933
7.48/4.65
7.48/4.67 num=72, depth=11..21, filters=115031, revisions=(100194,useless=57597), ccks=325930, wck=2.19, mem=119M323
7.48/4.67 decisions=7707, wrong=3349, backtracks=2064, failedAssignments=1878, nogoods=315, foundSolutions=10, bestBound=-979
7.48/4.67 nFilterCalls=443781, avgTableProportion=0.9982700738917648, avgTableSize=577.1032468717679
7.48/4.67
7.60/4.70 num=73, depth=7..14, filters=117044, revisions=(102056,useless=58656), ccks=330313, wck=2.228, mem=119M323
7.60/4.70 decisions=7828, wrong=3405, backtracks=2100, failedAssignments=1903, nogoods=323, foundSolutions=10, bestBound=-979
7.60/4.70 nFilterCalls=450901, avgTableProportion=0.998270074018699, avgTableSize=577.1032909663097
7.60/4.70
7.60/4.73 num=74, depth=14..20, filters=118882, revisions=(103512,useless=59510), ccks=335212, wck=2.251, mem=121M966
7.60/4.73 decisions=7944, wrong=3456, backtracks=2131, failedAssignments=1931, nogoods=332, foundSolutions=10, bestBound=-979
7.60/4.73 nFilterCalls=457725, avgTableProportion=0.9982700727365077, avgTableSize=577.1028455950625
7.60/4.73
7.60/4.73 o -973
7.60/4.73 num=75, depth=13..74, filters=119387, revisions=(104036,useless=59796), ccks=336822, wck=2.259, mem=121M966
7.60/4.73 decisions=7985, wrong=3468, backtracks=2138, failedAssignments=1939, nogoods=333, foundSolutions=11, bestBound=-973
7.60/4.73 nFilterCalls=459544, avgTableProportion=0.9982700725418224, avgTableSize=577.1027779712063
7.60/4.73
7.60/4.76 num=76, depth=10..19, filters=120945, revisions=(105470,useless=60559), ccks=341481, wck=2.284, mem=121M966
7.60/4.76 decisions=8101, wrong=3520, backtracks=2167, failedAssignments=1973, nogoods=337, foundSolutions=11, bestBound=-973
7.60/4.76 nFilterCalls=465189, avgTableProportion=0.9982700708388035, avgTableSize=577.1021864231527
7.60/4.76
7.60/4.77 num=77, depth=8..13, filters=121518, revisions=(106049,useless=60886), ccks=342772, wck=2.295, mem=121M966
7.60/4.77 decisions=8142, wrong=3536, backtracks=2173, failedAssignments=1984, nogoods=341, foundSolutions=11, bestBound=-973
7.60/4.77 nFilterCalls=467027, avgTableProportion=0.9982700706796467, avgTableSize=577.1021311401696
7.60/4.77
7.60/4.78 num=78, depth=9..15, filters=122263, revisions=(106726,useless=61271), ccks=344568, wck=2.309, mem=121M966
7.60/4.78 decisions=8188, wrong=3554, backtracks=2187, failedAssignments=1996, nogoods=344, foundSolutions=11, bestBound=-973
7.60/4.78 nFilterCalls=469852, avgTableProportion=0.9982700710563442, avgTableSize=577.1022619888817
7.60/4.78
7.73/4.80 num=79, depth=9..14, filters=122988, revisions=(107415,useless=61668), ccks=346341, wck=2.324, mem=121M966
7.73/4.80 decisions=8246, wrong=3577, backtracks=2199, failedAssignments=2009, nogoods=350, foundSolutions=11, bestBound=-973
7.73/4.80 nFilterCalls=472692, avgTableProportion=0.9982700713278283, avgTableSize=577.1023562912002
7.73/4.80
7.73/4.81 num=80, depth=11..16, filters=124038, revisions=(108384,useless=62203), ccks=349304, wck=2.337, mem=121M966
7.73/4.81 decisions=8309, wrong=3603, backtracks=2213, failedAssignments=2023, nogoods=359, foundSolutions=11, bestBound=-973
7.73/4.81 nFilterCalls=475703, avgTableProportion=0.9982700698499823, avgTableSize=577.1018429566348
7.73/4.81
7.73/4.82 num=81, depth=11..16, filters=124911, revisions=(109164,useless=62629), ccks=351586, wck=2.349, mem=121M966
7.73/4.82 decisions=8376, wrong=3631, backtracks=2233, failedAssignments=2039, nogoods=360, foundSolutions=11, bestBound=-973
7.73/4.82 nFilterCalls=478937, avgTableProportion=0.9982700705210495, avgTableSize=577.1020760559322
7.73/4.82
7.73/4.84 num=82, depth=10..18, filters=125978, revisions=(110156,useless=63217), ccks=354518, wck=2.369, mem=121M966
7.73/4.84 decisions=8452, wrong=3664, backtracks=2255, failedAssignments=2056, nogoods=362, foundSolutions=11, bestBound=-973
7.73/4.84 nFilterCalls=483047, avgTableProportion=0.9982700703450336, avgTableSize=577.102014917803
7.73/4.84
7.73/4.86 num=83, depth=9..17, filters=126936, revisions=(111137,useless=63742), ccks=357353, wck=2.385, mem=121M966
7.73/4.86 decisions=8529, wrong=3698, backtracks=2278, failedAssignments=2075, nogoods=364, foundSolutions=11, bestBound=-973
7.73/4.86 nFilterCalls=486103, avgTableProportion=0.9982700697956806, avgTableSize=577.1018240990078
7.73/4.86
7.73/4.88 num=84, depth=7..13, filters=127947, revisions=(112050,useless=64274), ccks=359571, wck=2.408, mem=121M966
7.73/4.88 decisions=8603, wrong=3731, backtracks=2300, failedAssignments=2096, nogoods=372, foundSolutions=11, bestBound=-973
7.73/4.88 nFilterCalls=490367, avgTableProportion=0.9982700696595995, avgTableSize=577.1017768324541
7.73/4.88
7.83/4.90 num=85, depth=10..18, filters=128981, revisions=(113006,useless=64792), ccks=362272, wck=2.423, mem=121M966
7.83/4.90 decisions=8677, wrong=3762, backtracks=2321, failedAssignments=2119, nogoods=374, foundSolutions=11, bestBound=-973
7.83/4.90 nFilterCalls=494063, avgTableProportion=0.9982700717155534, avgTableSize=577.1024909778713
7.83/4.90
7.83/4.93 num=86, depth=6..16, filters=130512, revisions=(114407,useless=65589), ccks=366256, wck=2.454, mem=121M966
7.83/4.93 decisions=8770, wrong=3805, backtracks=2348, failedAssignments=2144, nogoods=376, foundSolutions=11, bestBound=-973
7.83/4.93 nFilterCalls=499614, avgTableProportion=0.9982700707363809, avgTableSize=577.1021508604642
7.83/4.93
7.83/4.97 num=87, depth=5..17, filters=132174, revisions=(115876,useless=66396), ccks=370109, wck=2.491, mem=121M966
7.83/4.97 decisions=8882, wrong=3856, backtracks=2382, failedAssignments=2172, nogoods=383, foundSolutions=11, bestBound=-973
7.83/4.97 nFilterCalls=506168, avgTableProportion=0.9982700707449237, avgTableSize=577.1021538303488
7.83/4.97
7.83/4.99 num=88, depth=9..20, filters=133933, revisions=(117445,useless=67246), ccks=375051, wck=2.519, mem=121M966
7.83/4.99 decisions=9001, wrong=3911, backtracks=2418, failedAssignments=2203, nogoods=386, foundSolutions=11, bestBound=-973
7.83/4.99 nFilterCalls=512271, avgTableProportion=0.9982700684888414, avgTableSize=577.1013701732091
7.83/4.99
7.83/5.01 o -970
7.83/5.01 num=89, depth=12..74, filters=134660, revisions=(118176,useless=67655), ccks=377163, wck=2.53, mem=124M609
7.83/5.01 decisions=9052, wrong=3928, backtracks=2425, failedAssignments=2214, nogoods=392, foundSolutions=12, bestBound=-970
7.83/5.01 nFilterCalls=514575, avgTableProportion=0.9982700691179275, avgTableSize=577.1015886896954
7.83/5.01
7.97/5.05 num=90, depth=6..14, filters=136744, revisions=(120222,useless=68789), ccks=382384, wck=2.57, mem=124M609
7.97/5.05 decisions=9195, wrong=3996, backtracks=2464, failedAssignments=2251, nogoods=397, foundSolutions=12, bestBound=-970
7.97/5.05 nFilterCalls=521424, avgTableProportion=0.9982700684565813, avgTableSize=577.1013589708184
7.97/5.05
7.97/5.05 num=91, depth=6..12, filters=137229, revisions=(120710,useless=69042), ccks=383977, wck=2.58, mem=124M609
7.97/5.05 decisions=9234, wrong=4011, backtracks=2469, failedAssignments=2262, nogoods=402, foundSolutions=12, bestBound=-970
7.97/5.05 nFilterCalls=522940, avgTableProportion=0.9982700676601916, avgTableSize=577.1010823421425
7.97/5.05
7.97/5.07 num=92, depth=6..9, filters=138194, revisions=(121642,useless=69541), ccks=386295, wck=2.595, mem=124M609
7.97/5.07 decisions=9284, wrong=4032, backtracks=2480, failedAssignments=2274, nogoods=405, foundSolutions=12, bestBound=-970
7.97/5.07 nFilterCalls=525498, avgTableProportion=0.9982700666106941, avgTableSize=577.1007177953104
7.97/5.07
7.97/5.09 num=93, depth=7..12, filters=139253, revisions=(122637,useless=70122), ccks=388385, wck=2.614, mem=124M609
7.97/5.09 decisions=9341, wrong=4056, backtracks=2494, failedAssignments=2287, nogoods=409, foundSolutions=12, bestBound=-970
7.97/5.09 nFilterCalls=528857, avgTableProportion=0.9982700660809801, avgTableSize=577.1005337926888
7.97/5.09
8.08/5.11 num=94, depth=8..12, filters=140114, revisions=(123377,useless=70541), ccks=390305, wck=2.631, mem=124M609
8.08/5.11 decisions=9391, wrong=4077, backtracks=2505, failedAssignments=2301, nogoods=410, foundSolutions=12, bestBound=-970
8.08/5.11 nFilterCalls=532102, avgTableProportion=0.9982700655603336, avgTableSize=577.1003529398499
8.08/5.11
8.08/5.13 num=95, depth=6..17, filters=141280, revisions=(124396,useless=71141), ccks=393660, wck=2.651, mem=124M609
8.08/5.13 decisions=9466, wrong=4109, backtracks=2528, failedAssignments=2317, nogoods=414, foundSolutions=12, bestBound=-970
8.08/5.13 nFilterCalls=536931, avgTableProportion=0.9982700673640331, avgTableSize=577.1009794554608
8.08/5.13
8.08/5.14 num=96, depth=9..13, filters=142568, revisions=(125570,useless=71756), ccks=397088, wck=2.668, mem=124M609
8.08/5.14 decisions=9538, wrong=4140, backtracks=2544, failedAssignments=2334, nogoods=418, foundSolutions=12, bestBound=-970
8.08/5.14 nFilterCalls=540073, avgTableProportion=0.9982700654488831, avgTableSize=577.1003142167818
8.08/5.14
8.08/5.17 num=97, depth=6..12, filters=143872, revisions=(126841,useless=72448), ccks=400372, wck=2.69, mem=124M609
8.08/5.17 decisions=9613, wrong=4174, backtracks=2564, failedAssignments=2353, nogoods=426, foundSolutions=12, bestBound=-970
8.08/5.17 nFilterCalls=543701, avgTableProportion=0.9982700645649454, avgTableSize=577.1000071730602
8.08/5.17
8.08/5.19 num=98, depth=6..12, filters=145244, revisions=(128073,useless=73112), ccks=403114, wck=2.713, mem=124M609
8.08/5.19 decisions=9689, wrong=4208, backtracks=2584, failedAssignments=2374, nogoods=431, foundSolutions=12, bestBound=-970
8.08/5.19 nFilterCalls=547571, avgTableProportion=0.9982700641336901, avgTableSize=577.0998573700945
8.08/5.19
8.18/5.20 o -963
8.18/5.20 num=99, depth=8..74, filters=146036, revisions=(128874,useless=73567), ccks=405250, wck=2.729, mem=124M609
8.18/5.20 decisions=9745, wrong=4228, backtracks=2598, failedAssignments=2384, nogoods=436, foundSolutions=13, bestBound=-963
8.18/5.20 nFilterCalls=550395, avgTableProportion=0.9982700647561589, avgTableSize=577.1000735835173
8.18/5.20
8.18/5.23 num=100, depth=8..13, filters=147618, revisions=(130309,useless=74388), ccks=409074, wck=2.756, mem=124M609
8.18/5.23 decisions=9834, wrong=4267, backtracks=2621, failedAssignments=2409, nogoods=443, foundSolutions=13, bestBound=-963
8.18/5.23 nFilterCalls=555236, avgTableProportion=0.9982700635871812, avgTableSize=577.0996675287626
8.18/5.23
8.18/5.24 num=101, depth=6..10, filters=148237, revisions=(130888,useless=74713), ccks=410596, wck=2.769, mem=124M609
8.18/5.24 decisions=9878, wrong=4286, backtracks=2630, failedAssignments=2420, nogoods=447, foundSolutions=13, bestBound=-963
8.18/5.24 nFilterCalls=557502, avgTableProportion=0.9982700640165884, avgTableSize=577.099816682272
8.18/5.24
8.18/5.26 num=102, depth=5..11, filters=149154, revisions=(131868,useless=75269), ccks=412681, wck=2.788, mem=124M609
8.18/5.26 decisions=9929, wrong=4308, backtracks=2642, failedAssignments=2432, nogoods=449, foundSolutions=13, bestBound=-963
8.18/5.26 nFilterCalls=560480, avgTableProportion=0.9982700633732302, avgTableSize=577.0995932058236
8.18/5.26
8.18/5.28 num=103, depth=6..14, filters=150088, revisions=(132797,useless=75784), ccks=414580, wck=2.806, mem=127M252
8.18/5.28 decisions=9992, wrong=4336, backtracks=2661, failedAssignments=2445, nogoods=452, foundSolutions=13, bestBound=-963
8.18/5.28 nFilterCalls=563548, avgTableProportion=0.998270063380638, avgTableSize=577.0995957753377
8.18/5.28
8.18/5.29 num=104, depth=7..12, filters=150821, revisions=(133531,useless=76156), ccks=416739, wck=2.818, mem=127M252
8.18/5.29 decisions=10045, wrong=4359, backtracks=2674, failedAssignments=2459, nogoods=459, foundSolutions=13, bestBound=-963
8.18/5.29 nFilterCalls=565397, avgTableProportion=0.9982700628299489, avgTableSize=577.099404489235
8.18/5.29
8.31/5.31 num=105, depth=7..13, filters=151722, revisions=(134415,useless=76648), ccks=418789, wck=2.833, mem=127M252
8.31/5.31 decisions=10104, wrong=4385, backtracks=2688, failedAssignments=2475, nogoods=463, foundSolutions=13, bestBound=-963
8.31/5.31 nFilterCalls=567864, avgTableProportion=0.9982700630214358, avgTableSize=577.0994710000986
8.31/5.31
8.31/5.33 num=106, depth=4..9, filters=152895, revisions=(135558,useless=77267), ccks=421729, wck=2.855, mem=127M252
8.31/5.33 decisions=10174, wrong=4417, backtracks=2707, failedAssignments=2492, nogoods=466, foundSolutions=13, bestBound=-963
8.31/5.33 nFilterCalls=571332, avgTableProportion=0.9982700640898773, avgTableSize=577.0998421233188
8.31/5.33
8.31/5.35 num=107, depth=5..15, filters=154271, revisions=(136722,useless=77902), ccks=424984, wck=2.878, mem=127M252
8.31/5.35 decisions=10246, wrong=4450, backtracks=2725, failedAssignments=2511, nogoods=469, foundSolutions=13, bestBound=-963
8.31/5.35 nFilterCalls=576014, avgTableProportion=0.9982700649672346, avgTableSize=577.1001468714302
8.31/5.35
8.31/5.36 o -954
8.31/5.36 num=108, depth=15..74, filters=154452, revisions=(136964,useless=78036), ccks=425377, wck=2.882, mem=127M252
8.31/5.36 decisions=10263, wrong=4451, backtracks=2725, failedAssignments=2512, nogoods=470, foundSolutions=14, bestBound=-954
8.31/5.36 nFilterCalls=576600, avgTableProportion=0.998270065118591, avgTableSize=577.1001994450226
8.31/5.36
8.31/5.39 num=109, depth=5..10, filters=156029, revisions=(138482,useless=78833), ccks=429628, wck=2.913, mem=127M252
8.31/5.39 decisions=10359, wrong=4496, backtracks=2754, failedAssignments=2535, nogoods=479, foundSolutions=14, bestBound=-954
8.31/5.39 nFilterCalls=581426, avgTableProportion=0.998270064204752, avgTableSize=577.0998820142202
8.31/5.39
8.42/5.40 num=110, depth=6..10, filters=156917, revisions=(139346,useless=79301), ccks=431567, wck=2.928, mem=127M252
8.42/5.40 decisions=10402, wrong=4514, backtracks=2765, failedAssignments=2546, nogoods=485, foundSolutions=14, bestBound=-954
8.42/5.40 nFilterCalls=583811, avgTableProportion=0.998270064213544, avgTableSize=577.0998850655435
8.42/5.40
8.42/5.41 num=111, depth=5..11, filters=157463, revisions=(139938,useless=79657), ccks=432694, wck=2.94, mem=127M252
8.42/5.41 decisions=10437, wrong=4529, backtracks=2773, failedAssignments=2558, nogoods=492, foundSolutions=14, bestBound=-954
8.42/5.41 nFilterCalls=585455, avgTableProportion=0.9982700644190416, avgTableSize=577.0999564441332
8.42/5.41
8.42/5.43 num=112, depth=4..7, filters=158226, revisions=(140728,useless=80077), ccks=434159, wck=2.952, mem=127M252
8.42/5.43 decisions=10480, wrong=4548, backtracks=2781, failedAssignments=2571, nogoods=498, foundSolutions=14, bestBound=-954
8.42/5.43 nFilterCalls=587227, avgTableProportion=0.998270063810529, avgTableSize=577.0997450730297
8.42/5.43
8.42/5.44 num=113, depth=4..9, filters=159193, revisions=(141697,useless=80572), ccks=436062, wck=2.968, mem=127M252
8.42/5.44 decisions=10541, wrong=4576, backtracks=2797, failedAssignments=2585, nogoods=507, foundSolutions=14, bestBound=-954
8.42/5.44 nFilterCalls=589806, avgTableProportion=0.998270064243772, avgTableSize=577.0998955588786
8.42/5.44
8.42/5.46 num=114, depth=2..8, filters=160183, revisions=(142672,useless=81085), ccks=438086, wck=2.988, mem=127M252
8.42/5.46 decisions=10599, wrong=4604, backtracks=2814, failedAssignments=2601, nogoods=510, foundSolutions=14, bestBound=-954
8.42/5.46 nFilterCalls=592725, avgTableProportion=0.998270063828039, avgTableSize=577.0997511493525
8.42/5.46
8.42/5.49 num=115, depth=2..8, filters=161160, revisions=(143665,useless=81651), ccks=440093, wck=3.011, mem=127M252
8.42/5.49 decisions=10656, wrong=4630, backtracks=2828, failedAssignments=2618, nogoods=514, foundSolutions=14, bestBound=-954
8.42/5.49 nFilterCalls=595954, avgTableProportion=0.9982700653927481, avgTableSize=577.1002946536142
8.42/5.49
8.52/5.51 num=116, depth=2..8, filters=162502, revisions=(144923,useless=82324), ccks=442776, wck=3.035, mem=127M252
8.52/5.51 decisions=10718, wrong=4660, backtracks=2846, failedAssignments=2637, nogoods=519, foundSolutions=14, bestBound=-954
8.52/5.51 nFilterCalls=599216, avgTableProportion=0.9982700653247212, avgTableSize=577.1002710208005
8.52/5.51
8.52/5.53 num=117, depth=4..10, filters=163683, revisions=(146101,useless=82965), ccks=445450, wck=3.055, mem=127M252
8.52/5.53 decisions=10790, wrong=4694, backtracks=2863, failedAssignments=2658, nogoods=524, foundSolutions=14, bestBound=-954
8.52/5.53 nFilterCalls=602006, avgTableProportion=0.9982700654693614, avgTableSize=577.1003212592566
8.52/5.53
8.52/5.55 num=118, depth=4..14, filters=164978, revisions=(147345,useless=83649), ccks=448677, wck=3.078, mem=129M894
8.52/5.55 decisions=10868, wrong=4731, backtracks=2887, failedAssignments=2681, nogoods=530, foundSolutions=14, bestBound=-954
8.52/5.55 nFilterCalls=605745, avgTableProportion=0.9982700661152552, avgTableSize=577.1005456091259
8.52/5.55
8.52/5.58 num=119, depth=3..9, filters=166481, revisions=(148758,useless=84398), ccks=452957, wck=3.108, mem=129M894
8.52/5.58 decisions=10963, wrong=4777, backtracks=2914, failedAssignments=2706, nogoods=532, foundSolutions=14, bestBound=-954
8.52/5.58 nFilterCalls=610402, avgTableProportion=0.9982700663499532, avgTableSize=577.1006271276962
8.52/5.58
8.62/5.62 num=120, depth=2..10, filters=168261, revisions=(150522,useless=85394), ccks=457056, wck=3.147, mem=129M894
8.62/5.62 decisions=11069, wrong=4829, backtracks=2948, failedAssignments=2734, nogoods=542, foundSolutions=14, bestBound=-954
8.62/5.62 nFilterCalls=616329, avgTableProportion=0.9982700683425644, avgTableSize=577.1013192629262
8.62/5.62
8.62/5.65 num=121, depth=1..15, filters=170142, revisions=(152164,useless=86213), ccks=462817, wck=3.18, mem=129M894
8.62/5.65 decisions=11183, wrong=4882, backtracks=2981, failedAssignments=2765, nogoods=546, foundSolutions=14, bestBound=-954
8.62/5.65 nFilterCalls=622677, avgTableProportion=0.9982700682677994, avgTableSize=577.1012932868887
8.62/5.65
8.62/5.69 num=122, depth=3..10, filters=172252, revisions=(154113,useless=87192), ccks=467389, wck=3.216, mem=129M894
8.62/5.69 decisions=11316, wrong=4947, backtracks=3025, failedAssignments=2799, nogoods=549, foundSolutions=14, bestBound=-954
8.62/5.69 nFilterCalls=628987, avgTableProportion=0.998270070102481, avgTableSize=577.1019305645426
8.62/5.69
8.72/5.73 num=123, depth=5..10, filters=175306, revisions=(156837,useless=88632), ccks=475073, wck=3.259, mem=129M894
8.72/5.73 decisions=11464, wrong=5018, backtracks=3065, failedAssignments=2836, nogoods=560, foundSolutions=14, bestBound=-954
8.72/5.73 nFilterCalls=635881, avgTableProportion=0.9982700676273093, avgTableSize=577.1010707978379
8.72/5.73
8.72/5.78 num=124, depth=2..8, filters=178095, revisions=(159550,useless=90094), ccks=481522, wck=3.304, mem=129M894
8.72/5.78 decisions=11609, wrong=5089, backtracks=3110, failedAssignments=2877, nogoods=570, foundSolutions=14, bestBound=-954
8.72/5.78 nFilterCalls=642032, avgTableProportion=0.9982700669650906, avgTableSize=577.1008407680614
8.72/5.78
8.82/5.83 num=125, depth=4..13, filters=180984, revisions=(162217,useless=91504), ccks=487612, wck=3.357, mem=129M894
8.82/5.83 decisions=11769, wrong=5166, backtracks=3154, failedAssignments=2922, nogoods=576, foundSolutions=14, bestBound=-954
8.82/5.83 nFilterCalls=650042, avgTableProportion=0.9982700658900873, avgTableSize=577.1004673544171
8.82/5.83
8.92/5.90 num=126, depth=4..10, filters=184821, revisions=(165626,useless=93408), ccks=496595, wck=3.423, mem=132M537
8.92/5.90 decisions=11954, wrong=5255, backtracks=3207, failedAssignments=2972, nogoods=578, foundSolutions=14, bestBound=-954
8.92/5.90 nFilterCalls=660223, avgTableProportion=0.9982700664183529, avgTableSize=577.1006508407008
8.92/5.90
8.92/5.96 num=127, depth=3..9, filters=188944, revisions=(169568,useless=95528), ccks=506488, wck=3.489, mem=132M537
8.92/5.96 decisions=12149, wrong=5350, backtracks=3261, failedAssignments=3027, nogoods=586, foundSolutions=14, bestBound=-954
8.92/5.96 nFilterCalls=669575, avgTableProportion=0.9982700654798288, avgTableSize=577.1003248329164
8.92/5.96
9.03/6.03 num=128, depth=2..9, filters=192162, revisions=(172708,useless=97168), ccks=514556, wck=3.554, mem=132M537
9.03/6.03 decisions=12363, wrong=5455, backtracks=3322, failedAssignments=3088, nogoods=589, foundSolutions=14, bestBound=-954
9.03/6.03 nFilterCalls=678758, avgTableProportion=0.9982700632349304, avgTableSize=577.0995450514027
9.03/6.03
9.03/6.09 o -952
9.03/6.09 num=129, depth=3..74, filters=195510, revisions=(175814,useless=98851), ccks=521638, wck=3.615, mem=132M537
9.03/6.09 decisions=12556, wrong=5545, backtracks=3374, failedAssignments=3143, nogoods=598, foundSolutions=15, bestBound=-952
9.03/6.09 nFilterCalls=688443, avgTableProportion=0.9982700632387419, avgTableSize=577.0995463676732
9.03/6.09
9.14/6.17 num=130, depth=3..11, filters=199314, revisions=(179586,useless=100960), ccks=530722, wck=3.697, mem=132M537
9.14/6.17 decisions=12805, wrong=5668, backtracks=3442, failedAssignments=3217, nogoods=610, foundSolutions=15, bestBound=-952
9.14/6.17 nFilterCalls=700019, avgTableProportion=0.9982700633278109, avgTableSize=577.0995772971877
9.14/6.17
9.14/6.19 num=131, depth=2..7, filters=200043, revisions=(180305,useless=101338), ccks=532217, wck=3.711, mem=132M537
9.14/6.19 decisions=12839, wrong=5684, backtracks=3451, failedAssignments=3228, nogoods=612, foundSolutions=15, bestBound=-952
9.14/6.19 nFilterCalls=701845, avgTableProportion=0.9982700631931566, avgTableSize=577.0995305231212
9.14/6.19
9.14/6.20 num=132, depth=4..8, filters=200604, revisions=(180926,useless=101670), ccks=533639, wck=3.721, mem=132M537
9.14/6.20 decisions=12875, wrong=5700, backtracks=3458, failedAssignments=3240, nogoods=615, foundSolutions=15, bestBound=-952
9.14/6.20 nFilterCalls=703304, avgTableProportion=0.9982700626642301, avgTableSize=577.099346797402
9.14/6.20
9.23/6.21 num=133, depth=2..8, filters=201641, revisions=(181940,useless=102206), ccks=536304, wck=3.74, mem=135M179
9.23/6.21 decisions=12928, wrong=5725, backtracks=3477, failedAssignments=3253, nogoods=620, foundSolutions=15, bestBound=-952
9.23/6.21 nFilterCalls=705960, avgTableProportion=0.998270062685176, avgTableSize=577.0993540710522
9.23/6.21
9.23/6.24 num=134, depth=1..13, filters=202863, revisions=(183181,useless=102878), ccks=538911, wck=3.764, mem=135M179
9.23/6.24 decisions=12991, wrong=5751, backtracks=3490, failedAssignments=3267, nogoods=624, foundSolutions=15, bestBound=-952
9.23/6.24 nFilterCalls=709381, avgTableProportion=0.9982700622351529, avgTableSize=577.0991977512789
9.23/6.24
9.23/6.26 num=135, depth=5..11, filters=204051, revisions=(184376,useless=103525), ccks=541774, wck=3.786, mem=135M179
9.23/6.26 decisions=13061, wrong=5783, backtracks=3510, failedAssignments=3283, nogoods=626, foundSolutions=15, bestBound=-952
9.23/6.26 nFilterCalls=712742, avgTableProportion=0.9982700614499244, avgTableSize=577.0989249967029
9.23/6.26
9.23/6.28 num=136, depth=1..15, filters=205487, revisions=(185813,useless=104316), ccks=545307, wck=3.809, mem=135M179
9.23/6.28 decisions=13137, wrong=5816, backtracks=3528, failedAssignments=3300, nogoods=629, foundSolutions=15, bestBound=-952
9.23/6.28 nFilterCalls=716127, avgTableProportion=0.998270060867574, avgTableSize=577.0987227125914
9.23/6.28
9.33/6.30 num=137, depth=3..8, filters=206653, revisions=(186914,useless=104880), ccks=548145, wck=3.829, mem=135M179
9.33/6.30 decisions=13204, wrong=5847, backtracks=3542, failedAssignments=3319, nogoods=636, foundSolutions=15, bestBound=-952
9.33/6.30 nFilterCalls=719020, avgTableProportion=0.9982700602525564, avgTableSize=577.0985090818058
9.33/6.30
9.33/6.34 num=138, depth=2..8, filters=208213, revisions=(188438,useless=105756), ccks=551387, wck=3.861, mem=135M179
9.33/6.34 decisions=13280, wrong=5883, backtracks=3563, failedAssignments=3340, nogoods=644, foundSolutions=15, bestBound=-952
9.33/6.34 nFilterCalls=723274, avgTableProportion=0.9982700600612773, avgTableSize=577.0984426372302
9.33/6.34
9.33/6.36 num=139, depth=3..10, filters=209448, revisions=(189680,useless=106445), ccks=554587, wck=3.883, mem=135M179
9.33/6.36 decisions=13352, wrong=5917, backtracks=3583, failedAssignments=3363, nogoods=650, foundSolutions=15, bestBound=-952
9.33/6.36 nFilterCalls=726438, avgTableProportion=0.9982700599603349, avgTableSize=577.0984075722911
9.33/6.36
9.33/6.39 num=140, depth=3..15, filters=211211, revisions=(191311,useless=107341), ccks=558835, wck=3.918, mem=135M179
9.33/6.39 decisions=13454, wrong=5962, backtracks=3611, failedAssignments=3388, nogoods=654, foundSolutions=15, bestBound=-952
9.33/6.39 nFilterCalls=732187, avgTableProportion=0.9982700598040714, avgTableSize=577.0983532895285
9.33/6.39
9.43/6.42 num=141, depth=5..12, filters=212895, revisions=(192877,useless=108118), ccks=563436, wck=3.944, mem=135M179
9.43/6.42 decisions=13560, wrong=6012, backtracks=3640, failedAssignments=3416, nogoods=658, foundSolutions=15, bestBound=-952
9.43/6.42 nFilterCalls=736824, avgTableProportion=0.9982700589520629, avgTableSize=577.0980573379803
9.43/6.42
9.43/6.45 num=142, depth=5..13, filters=214883, revisions=(194670,useless=109099), ccks=567999, wck=3.979, mem=135M179
9.43/6.45 decisions=13660, wrong=6059, backtracks=3671, failedAssignments=3447, nogoods=663, foundSolutions=15, bestBound=-952
9.43/6.45 nFilterCalls=742289, avgTableProportion=0.9982700589486476, avgTableSize=577.0980561479424
9.43/6.45
9.43/6.49 num=143, depth=1..18, filters=216723, revisions=(196257,useless=110010), ccks=574292, wck=4.014, mem=135M179
9.43/6.49 decisions=13797, wrong=6121, backtracks=3711, failedAssignments=3481, nogoods=669, foundSolutions=15, bestBound=-952
9.43/6.49 nFilterCalls=751526, avgTableProportion=0.9982700589764588, avgTableSize=577.0980658021147
9.43/6.49
9.55/6.54 num=144, depth=2..10, filters=219242, revisions=(198554,useless=111246), ccks=579610, wck=4.061, mem=137M822
9.55/6.54 decisions=13929, wrong=6184, backtracks=3747, failedAssignments=3518, nogoods=673, foundSolutions=15, bestBound=-952
9.55/6.54 nFilterCalls=758519, avgTableProportion=0.9982700592468049, avgTableSize=577.0981597033166
9.55/6.54
9.55/6.57 num=145, depth=3..15, filters=221365, revisions=(200469,useless=112180), ccks=586983, wck=4.096, mem=137M822
9.55/6.57 decisions=14088, wrong=6258, backtracks=3794, failedAssignments=3559, nogoods=681, foundSolutions=15, bestBound=-952
9.55/6.57 nFilterCalls=767299, avgTableProportion=0.9982700585270283, avgTableSize=577.0979096805809
9.55/6.57
9.65/6.60 o -6
9.65/6.60 num=146, depth=1..74, filters=222862, revisions=(201999,useless=113034), ccks=590677, wck=4.123, mem=137M822
9.65/6.60 decisions=14180, wrong=6293, backtracks=3813, failedAssignments=3577, nogoods=682, foundSolutions=16, bestBound=-6
9.65/6.60 nFilterCalls=771065, avgTableProportion=0.9982700573706108, avgTableSize=577.0975079921926
9.65/6.60
9.65/6.64 num=147, depth=10..17, filters=225400, revisions=(204239,useless=114165), ccks=599711, wck=4.163, mem=137M822
9.65/6.64 decisions=14376, wrong=6384, backtracks=3872, failedAssignments=3627, nogoods=688, foundSolutions=16, bestBound=-6
9.65/6.64 nFilterCalls=779780, avgTableProportion=0.9982700586082339, avgTableSize=577.0979378799149
9.65/6.64
9.65/6.65 num=148, depth=14..17, filters=226083, revisions=(204723,useless=114401), ccks=601930, wck=4.173, mem=137M822
9.65/6.65 decisions=14432, wrong=6405, backtracks=3882, failedAssignments=3638, nogoods=694, foundSolutions=16, bestBound=-6
9.65/6.65 nFilterCalls=783546, avgTableProportion=0.9982700576535568, avgTableSize=577.0976062668943
9.65/6.65
9.65/6.66 num=149, depth=15..20, filters=226610, revisions=(205170,useless=114620), ccks=603978, wck=4.18, mem=137M822
9.65/6.66 decisions=14491, wrong=6427, backtracks=3897, failedAssignments=3650, nogoods=698, foundSolutions=16, bestBound=-6
9.65/6.66 nFilterCalls=786317, avgTableProportion=0.998270057410209, avgTableSize=577.0975217374163
9.65/6.66
9.65/6.67 num=150, depth=11..16, filters=227313, revisions=(205727,useless=114868), ccks=606952, wck=4.194, mem=137M822
9.65/6.67 decisions=14551, wrong=6451, backtracks=3914, failedAssignments=3663, nogoods=700, foundSolutions=16, bestBound=-6
9.65/6.67 nFilterCalls=789999, avgTableProportion=0.9982700568050058, avgTableSize=577.0973115155842
9.65/6.67
9.65/6.68 num=151, depth=13..19, filters=228008, revisions=(206360,useless=115189), ccks=609355, wck=4.202, mem=137M822
9.65/6.68 decisions=14621, wrong=6478, backtracks=3928, failedAssignments=3677, nogoods=702, foundSolutions=16, bestBound=-6
9.65/6.68 nFilterCalls=792839, avgTableProportion=0.9982700565640311, avgTableSize=577.0972278104382
9.65/6.68
9.65/6.69 num=152, depth=13..18, filters=228872, revisions=(206974,useless=115518), ccks=611912, wck=4.217, mem=137M822
9.65/6.69 decisions=14689, wrong=6505, backtracks=3946, failedAssignments=3693, nogoods=705, foundSolutions=16, bestBound=-6
9.65/6.69 nFilterCalls=797976, avgTableProportion=0.9982700558011447, avgTableSize=577.0969628159243
9.65/6.69
9.75/6.70 num=153, depth=14..19, filters=229570, revisions=(207557,useless=115815), ccks=614964, wck=4.227, mem=137M822
9.75/6.70 decisions=14766, wrong=6536, backtracks=3965, failedAssignments=3710, nogoods=707, foundSolutions=16, bestBound=-6
9.75/6.70 nFilterCalls=801666, avgTableProportion=0.9982700557192984, avgTableSize=577.096934384145
9.75/6.70
9.75/6.72 num=154, depth=13..18, filters=230854, revisions=(208376,useless=116265), ccks=618493, wck=4.247, mem=137M822
9.75/6.72 decisions=14845, wrong=6568, backtracks=3987, failedAssignments=3729, nogoods=709, foundSolutions=16, bestBound=-6
9.75/6.72 nFilterCalls=808799, avgTableProportion=0.9982700550984184, avgTableSize=577.096718715033
9.75/6.72
9.75/6.73 num=155, depth=12..17, filters=231683, revisions=(209117,useless=116649), ccks=621279, wck=4.259, mem=137M822
9.75/6.73 decisions=14924, wrong=6601, backtracks=4004, failedAssignments=3750, nogoods=711, foundSolutions=16, bestBound=-6
9.75/6.73 nFilterCalls=812396, avgTableProportion=0.9982700551165071, avgTableSize=577.0967249961841
9.75/6.73
9.75/6.76 num=156, depth=11..16, filters=232858, revisions=(210024,useless=117087), ccks=625679, wck=4.284, mem=137M822
9.75/6.76 decisions=15018, wrong=6642, backtracks=4029, failedAssignments=3773, nogoods=716, foundSolutions=16, bestBound=-6
9.75/6.76 nFilterCalls=819025, avgTableProportion=0.9982700543425402, avgTableSize=577.0964561521321
9.75/6.76
9.75/6.78 num=157, depth=13..18, filters=233943, revisions=(210832,useless=117492), ccks=629795, wck=4.301, mem=137M822
9.75/6.78 decisions=15115, wrong=6684, backtracks=4053, failedAssignments=3798, nogoods=720, foundSolutions=16, bestBound=-6
9.75/6.78 nFilterCalls=825083, avgTableProportion=0.9982700534097676, avgTableSize=577.0961321467053
9.75/6.78
9.75/6.80 num=158, depth=11..16, filters=235302, revisions=(212048,useless=118136), ccks=634840, wck=4.32, mem=140M464
9.75/6.80 decisions=15234, wrong=6737, backtracks=4086, failedAssignments=3826, nogoods=725, foundSolutions=16, bestBound=-6
9.75/6.80 nFilterCalls=830637, avgTableProportion=0.9982700535382992, avgTableSize=577.0961767896205
9.75/6.80
9.85/6.82 num=159, depth=11..18, filters=236832, revisions=(213251,useless=118731), ccks=640889, wck=4.346, mem=140M464
9.85/6.82 decisions=15354, wrong=6791, backtracks=4127, failedAssignments=3857, nogoods=728, foundSolutions=16, bestBound=-6
9.85/6.82 nFilterCalls=838120, avgTableProportion=0.9982700530996974, avgTableSize=577.0960244356417
9.85/6.82
9.85/6.85 num=160, depth=13..19, filters=238417, revisions=(214392,useless=119319), ccks=646467, wck=4.372, mem=140M464
9.85/6.85 decisions=15485, wrong=6849, backtracks=4165, failedAssignments=3891, nogoods=738, foundSolutions=16, bestBound=-6
9.85/6.85 nFilterCalls=847553, avgTableProportion=0.9982700520338228, avgTableSize=577.0956541950769
9.85/6.85
9.85/6.88 num=161, depth=12..20, filters=240417, revisions=(215874,useless=120166), ccks=652649, wck=4.404, mem=140M464
9.85/6.88 decisions=15642, wrong=6920, backtracks=4208, failedAssignments=3928, nogoods=747, foundSolutions=16, bestBound=-6
9.85/6.88 nFilterCalls=857712, avgTableProportion=0.9982700533571339, avgTableSize=577.0961138470722
9.85/6.88
9.95/6.90 o -4
9.95/6.90 num=162, depth=2..74, filters=241357, revisions=(216604,useless=120551), ccks=655408, wck=4.428, mem=140M464
9.95/6.90 decisions=15701, wrong=6943, backtracks=4223, failedAssignments=3942, nogoods=752, foundSolutions=17, bestBound=-4
9.95/6.90 nFilterCalls=861763, avgTableProportion=0.9982700538904618, avgTableSize=577.096299098476
9.95/6.90
9.95/6.95 num=163, depth=12..18, filters=243858, revisions=(218427,useless=121633), ccks=663049, wck=4.47, mem=140M464
9.95/6.95 decisions=15874, wrong=7023, backtracks=4277, failedAssignments=3987, nogoods=758, foundSolutions=17, bestBound=-4
9.95/6.95 nFilterCalls=874371, avgTableProportion=0.9982700529121349, avgTableSize=577.0959592667186
9.95/6.95
9.95/6.96 num=164, depth=14..19, filters=244444, revisions=(218818,useless=121818), ccks=664884, wck=4.48, mem=140M464
9.95/6.96 decisions=15920, wrong=7039, backtracks=4289, failedAssignments=3998, nogoods=763, foundSolutions=17, bestBound=-4
9.95/6.96 nFilterCalls=877649, avgTableProportion=0.998270053346594, avgTableSize=577.0961101761638
9.95/6.96
9.95/6.96 num=165, depth=11..17, filters=244979, revisions=(219302,useless=122070), ccks=666571, wck=4.489, mem=140M464
9.95/6.96 decisions=15976, wrong=7060, backtracks=4301, failedAssignments=4010, nogoods=768, foundSolutions=17, bestBound=-4
9.95/6.96 nFilterCalls=880054, avgTableProportion=0.9982700532283568, avgTableSize=577.0960691048504
9.95/6.96
9.95/6.98 num=166, depth=12..18, filters=245852, revisions=(219894,useless=122372), ccks=669331, wck=4.504, mem=140M464
9.95/6.98 decisions=16032, wrong=7081, backtracks=4313, failedAssignments=4023, nogoods=773, foundSolutions=17, bestBound=-4
9.95/6.98 nFilterCalls=884316, avgTableProportion=0.998270052832991, avgTableSize=577.0959317709959
9.95/6.98
9.95/7.00 num=167, depth=12..17, filters=246605, revisions=(220453,useless=122638), ccks=672066, wck=4.52, mem=140M464
9.95/7.00 decisions=16088, wrong=7102, backtracks=4325, failedAssignments=4037, nogoods=777, foundSolutions=17, bestBound=-4
9.95/7.00 nFilterCalls=888668, avgTableProportion=0.99827005293182, avgTableSize=577.0959660975752
9.95/7.00
10.08/7.01 num=168, depth=10..17, filters=247537, revisions=(221221,useless=123041), ccks=674972, wck=4.535, mem=140M464
10.08/7.01 decisions=16162, wrong=7133, backtracks=4348, failedAssignments=4053, nogoods=781, foundSolutions=17, bestBound=-4
10.08/7.01 nFilterCalls=892397, avgTableProportion=0.9982700532161761, avgTableSize=577.0960648679903
10.08/7.01
10.08/7.03 num=169, depth=11..16, filters=248697, revisions=(221986,useless=123480), ccks=678017, wck=4.556, mem=140M464
10.08/7.03 decisions=16232, wrong=7162, backtracks=4368, failedAssignments=4070, nogoods=790, foundSolutions=17, bestBound=-4
10.08/7.03 nFilterCalls=898519, avgTableProportion=0.9982700531036925, avgTableSize=577.0960257935559
10.08/7.03
10.08/7.05 num=170, depth=12..17, filters=249911, revisions=(222764,useless=123878), ccks=681608, wck=4.576, mem=140M464
10.08/7.05 decisions=16311, wrong=7195, backtracks=4393, failedAssignments=4089, nogoods=794, foundSolutions=17, bestBound=-4
10.08/7.05 nFilterCalls=904873, avgTableProportion=0.998270054331313, avgTableSize=577.0964522093155
10.08/7.05
10.08/7.07 num=171, depth=10..14, filters=250935, revisions=(223688,useless=124347), ccks=685024, wck=4.591, mem=140M464
10.08/7.07 decisions=16388, wrong=7228, backtracks=4411, failedAssignments=4110, nogoods=798, foundSolutions=17, bestBound=-4
10.08/7.07 nFilterCalls=908440, avgTableProportion=0.998270054058635, avgTableSize=577.0963574919642
10.08/7.07
10.08/7.09 num=172, depth=10..17, filters=252298, revisions=(224635,useless=124833), ccks=689336, wck=4.617, mem=142M778
10.08/7.09 decisions=16480, wrong=7268, backtracks=4438, failedAssignments=4133, nogoods=803, foundSolutions=17, bestBound=-4
10.08/7.09 nFilterCalls=915386, avgTableProportion=0.9982700544822811, avgTableSize=577.0965046439426
10.08/7.09
10.18/7.12 num=173, depth=9..18, filters=254086, revisions=(226062,useless=125610), ccks=694468, wck=4.644, mem=142M778
10.18/7.12 decisions=16602, wrong=7323, backtracks=4476, failedAssignments=4158, nogoods=809, foundSolutions=17, bestBound=-4
10.18/7.12 nFilterCalls=923845, avgTableProportion=0.9982700571300461, avgTableSize=577.0974243514876
10.18/7.12
10.18/7.15 num=174, depth=10..18, filters=255643, revisions=(227175,useless=126196), ccks=700236, wck=4.671, mem=142M778
10.18/7.15 decisions=16712, wrong=7373, backtracks=4508, failedAssignments=4186, nogoods=811, foundSolutions=17, bestBound=-4
10.18/7.15 nFilterCalls=931031, avgTableProportion=0.9982700577141932, avgTableSize=577.0976272540871
10.18/7.15
10.18/7.18 num=175, depth=10..17, filters=257530, revisions=(228599,useless=126973), ccks=704877, wck=4.701, mem=142M778
10.18/7.18 decisions=16841, wrong=7431, backtracks=4553, failedAssignments=4217, nogoods=817, foundSolutions=17, bestBound=-4
10.18/7.18 nFilterCalls=940320, avgTableProportion=0.9982700610181299, avgTableSize=577.0987748851455
10.18/7.18
10.27/7.21 num=176, depth=9..18, filters=259400, revisions=(229935,useless=127625), ccks=711639, wck=4.739, mem=142M778
10.27/7.21 decisions=16961, wrong=7485, backtracks=4587, failedAssignments=4251, nogoods=823, foundSolutions=17, bestBound=-4
10.27/7.21 nFilterCalls=949823, avgTableProportion=0.9982700612707514, avgTableSize=577.0988626301953
10.27/7.21
10.27/7.25 num=177, depth=11..19, filters=261664, revisions=(231638,useless=128596), ccks=717303, wck=4.772, mem=142M778
10.27/7.25 decisions=17105, wrong=7551, backtracks=4630, failedAssignments=4288, nogoods=825, foundSolutions=17, bestBound=-4
10.27/7.25 nFilterCalls=959914, avgTableProportion=0.9982700634792557, avgTableSize=577.0996297584992
10.27/7.25
10.27/7.30 num=178, depth=9..18, filters=263830, revisions=(233120,useless=129387), ccks=724035, wck=4.82, mem=142M778
10.27/7.30 decisions=17250, wrong=7618, backtracks=4673, failedAssignments=4329, nogoods=830, foundSolutions=17, bestBound=-4
10.27/7.30 nFilterCalls=971972, avgTableProportion=0.9982700644882921, avgTableSize=577.0999802463446
10.27/7.30
10.37/7.34 num=179, depth=10..16, filters=266788, revisions=(235198,useless=130642), ccks=731324, wck=4.869, mem=142M778
10.37/7.34 decisions=17423, wrong=7699, backtracks=4724, failedAssignments=4374, nogoods=835, foundSolutions=17, bestBound=-4
10.37/7.34 nFilterCalls=985328, avgTableProportion=0.9982700677275759, avgTableSize=577.1011054187032
10.37/7.34
10.37/7.39 o 8
10.37/7.39 num=180, depth=10..74, filters=268684, revisions=(236673,useless=131446), ccks=736652, wck=4.92, mem=31M3
10.37/7.39 decisions=17563, wrong=7761, backtracks=4765, failedAssignments=4412, nogoods=838, foundSolutions=18, bestBound=8
10.37/7.39 nFilterCalls=993937, avgTableProportion=0.9982700685837339, avgTableSize=577.101402805208
10.37/7.39
10.52/7.48 num=181, depth=6..14, filters=272560, revisions=(239892,useless=133193), ccks=748343, wck=5.006, mem=31M3
10.52/7.48 decisions=17780, wrong=7866, backtracks=4835, failedAssignments=4467, nogoods=845, foundSolutions=18, bestBound=8
10.52/7.48 nFilterCalls=1008959, avgTableProportion=0.9982700679552351, avgTableSize=577.1011844881705
10.52/7.48
10.52/7.49 num=182, depth=12..16, filters=273258, revisions=(240370,useless=133448), ccks=750163, wck=5.017, mem=31M3
10.52/7.49 decisions=17826, wrong=7883, backtracks=4847, failedAssignments=4478, nogoods=847, foundSolutions=18, bestBound=8
10.52/7.49 nFilterCalls=1012160, avgTableProportion=0.9982700681688711, avgTableSize=577.1012586942776
10.52/7.49
10.62/7.50 num=183, depth=8..13, filters=273956, revisions=(241028,useless=133786), ccks=752275, wck=5.028, mem=31M3
10.62/7.50 decisions=17883, wrong=7907, backtracks=4861, failedAssignments=4490, nogoods=849, foundSolutions=18, bestBound=8
10.62/7.50 nFilterCalls=1014554, avgTableProportion=0.998270068136487, avgTableSize=577.10124744469
10.62/7.50
10.62/7.52 num=184, depth=12..16, filters=274789, revisions=(241635,useless=134111), ccks=755051, wck=5.041, mem=31M3
10.62/7.52 decisions=17941, wrong=7930, backtracks=4876, failedAssignments=4503, nogoods=854, foundSolutions=18, bestBound=8
10.62/7.52 nFilterCalls=1018025, avgTableProportion=0.9982700682144572, avgTableSize=577.101274526657
10.62/7.52
10.62/7.53 num=185, depth=9..14, filters=275701, revisions=(242441,useless=134508), ccks=757794, wck=5.056, mem=31M3
10.62/7.53 decisions=18006, wrong=7958, backtracks=4893, failedAssignments=4517, nogoods=857, foundSolutions=18, bestBound=8
10.62/7.53 nFilterCalls=1021395, avgTableProportion=0.998270068182624, avgTableSize=577.1012634681
10.62/7.53
10.62/7.55 num=186, depth=10..15, filters=276752, revisions=(243281,useless=134942), ccks=761362, wck=5.073, mem=31M3
10.62/7.55 decisions=18078, wrong=7988, backtracks=4914, failedAssignments=4533, nogoods=863, foundSolutions=18, bestBound=8
10.62/7.55 nFilterCalls=1025996, avgTableProportion=0.9982700683456182, avgTableSize=577.1013200831193
10.62/7.55
10.62/7.57 num=187, depth=8..13, filters=277826, revisions=(244171,useless=135433), ccks=764535, wck=5.094, mem=31M3
10.62/7.57 decisions=18151, wrong=8019, backtracks=4932, failedAssignments=4550, nogoods=866, foundSolutions=18, bestBound=8
10.62/7.57 nFilterCalls=1030651, avgTableProportion=0.9982700684108603, avgTableSize=577.1013427435669
10.62/7.57
10.62/7.59 num=188, depth=11..16, filters=278846, revisions=(244951,useless=135819), ccks=767733, wck=5.113, mem=31M3
10.62/7.59 decisions=18224, wrong=8049, backtracks=4948, failedAssignments=4569, nogoods=873, foundSolutions=18, bestBound=8
10.62/7.59 nFilterCalls=1035358, avgTableProportion=0.9982700691504462, avgTableSize=577.1015996399314
10.62/7.59
10.74/7.62 num=189, depth=8..13, filters=280597, revisions=(246350,useless=136622), ccks=771843, wck=5.142, mem=31M3
10.74/7.62 decisions=18328, wrong=8097, backtracks=4981, failedAssignments=4590, nogoods=879, foundSolutions=18, bestBound=8
10.74/7.62 nFilterCalls=1041748, avgTableProportion=0.9982700686275314, avgTableSize=577.1014180012825
10.74/7.62
10.74/7.64 num=190, depth=10..16, filters=281661, revisions=(247236,useless=137054), ccks=775993, wck=5.161, mem=31M3
10.74/7.64 decisions=18409, wrong=8132, backtracks=5004, failedAssignments=4613, nogoods=883, foundSolutions=18, bestBound=8
10.74/7.64 nFilterCalls=1046284, avgTableProportion=0.9982700689823985, avgTableSize=577.101541264131
10.74/7.64
10.74/7.66 num=191, depth=7..18, filters=283244, revisions=(248558,useless=137750), ccks=780988, wck=5.185, mem=31M3
10.74/7.66 decisions=18517, wrong=8178, backtracks=5032, failedAssignments=4638, nogoods=888, foundSolutions=18, bestBound=8
10.74/7.66 nFilterCalls=1051837, avgTableProportion=0.9982700696890968, avgTableSize=577.1017866836781
10.74/7.66
10.74/7.68 num=192, depth=9..14, filters=284610, revisions=(249688,useless=138336), ccks=786028, wck=5.209, mem=31M3
10.74/7.68 decisions=18621, wrong=8225, backtracks=5059, failedAssignments=4666, nogoods=892, foundSolutions=18, bestBound=8
10.74/7.68 nFilterCalls=1057505, avgTableProportion=0.9982700698396264, avgTableSize=577.1018387619916
10.74/7.68
10.85/7.71 num=193, depth=10..16, filters=286040, revisions=(250820,useless=138913), ccks=791006, wck=5.236, mem=33M619
10.85/7.71 decisions=18728, wrong=8273, backtracks=5089, failedAssignments=4697, nogoods=896, foundSolutions=18, bestBound=8
10.85/7.71 nFilterCalls=1064097, avgTableProportion=0.9982700706835618, avgTableSize=577.102131666568
10.85/7.71
10.85/7.74 num=194, depth=7..16, filters=287638, revisions=(252247,useless=139656), ccks=795899, wck=5.262, mem=33M619
10.85/7.74 decisions=18855, wrong=8332, backtracks=5120, failedAssignments=4731, nogoods=901, foundSolutions=18, bestBound=8
10.85/7.74 nFilterCalls=1069840, avgTableProportion=0.9982700715464984, avgTableSize=577.1024312046661
10.85/7.74
10.85/7.77 num=195, depth=9..16, filters=289387, revisions=(253710,useless=140425), ccks=801728, wck=5.295, mem=33M619
10.85/7.77 decisions=18985, wrong=8390, backtracks=5155, failedAssignments=4768, nogoods=904, foundSolutions=18, bestBound=8
10.85/7.77 nFilterCalls=1077381, avgTableProportion=0.9982700732482593, avgTableSize=577.1030220506951
10.85/7.77
10.95/7.81 num=196, depth=7..13, filters=291252, revisions=(255349,useless=141297), ccks=807001, wck=5.331, mem=33M619
10.95/7.81 decisions=19133, wrong=8460, backtracks=5189, failedAssignments=4809, nogoods=908, foundSolutions=18, bestBound=8
10.95/7.81 nFilterCalls=1084686, avgTableProportion=0.9982700731625354, avgTableSize=577.1029920179665
10.95/7.81
10.95/7.86 num=197, depth=9..17, filters=294218, revisions=(257564,useless=142382), ccks=817117, wck=5.384, mem=33M619
10.95/7.86 decisions=19323, wrong=8549, backtracks=5249, failedAssignments=4854, nogoods=912, foundSolutions=18, bestBound=8
10.95/7.86 nFilterCalls=1098039, avgTableProportion=0.9982700728931445, avgTableSize=577.1028979844979
10.95/7.86
11.05/7.92 num=198, depth=7..15, filters=297405, revisions=(260052,useless=143728), ccks=825074, wck=5.445, mem=33M619
11.05/7.92 decisions=19530, wrong=8648, backtracks=5318, failedAssignments=4904, nogoods=916, foundSolutions=18, bestBound=8
11.05/7.92 nFilterCalls=1111562, avgTableProportion=0.9982700722094335, avgTableSize=577.1026600405555
11.05/7.92
11.05/7.98 num=199, depth=10..16, filters=300672, revisions=(262362,useless=145006), ccks=834269, wck=5.503, mem=33M619
11.05/7.98 decisions=19720, wrong=8737, backtracks=5371, failedAssignments=4959, nogoods=922, foundSolutions=18, bestBound=8
11.05/7.98 nFilterCalls=1127422, avgTableProportion=0.9982700724326028, avgTableSize=577.1027370407886
11.05/7.98
11.16/8.05 num=200, depth=10..19, filters=304147, revisions=(264866,useless=146243), ccks=845848, wck=5.571, mem=33M619
11.16/8.05 decisions=19941, wrong=8842, backtracks=5439, failedAssignments=5020, nogoods=930, foundSolutions=18, bestBound=8
11.16/8.05 nFilterCalls=1144062, avgTableProportion=0.9982700736305556, avgTableSize=577.1031526263437
11.16/8.05
11.26/8.11 o 12
11.26/8.11 num=201, depth=7..74, filters=308223, revisions=(268092,useless=148047), ccks=858328, wck=5.638, mem=36M235
11.26/8.11 decisions=20190, wrong=8960, backtracks=5514, failedAssignments=5084, nogoods=937, foundSolutions=19, bestBound=12
11.26/8.11 nFilterCalls=1160598, avgTableProportion=0.998270074768775, avgTableSize=577.1035474815569
11.26/8.11
11.35/8.21 num=202, depth=4..14, filters=312553, revisions=(271762,useless=149956), ccks=871852, wck=5.73, mem=36M235
11.35/8.21 decisions=20464, wrong=9093, backtracks=5604, failedAssignments=5158, nogoods=940, foundSolutions=19, bestBound=12
11.35/8.21 nFilterCalls=1176933, avgTableProportion=0.9982700738493533, avgTableSize=577.1032276263815
11.35/8.21
11.35/8.22 num=203, depth=9..14, filters=313272, revisions=(272352,useless=150243), ccks=874503, wck=5.747, mem=36M235
11.35/8.22 decisions=20514, wrong=9113, backtracks=5617, failedAssignments=5169, nogoods=944, foundSolutions=19, bestBound=12
11.35/8.22 nFilterCalls=1180531, avgTableProportion=0.9982700736803847, avgTableSize=577.1031688282645
11.35/8.22
11.35/8.23 num=204, depth=10..15, filters=313856, revisions=(272848,useless=150494), ccks=876640, wck=5.757, mem=36M235
11.35/8.23 decisions=20560, wrong=9130, backtracks=5626, failedAssignments=5181, nogoods=948, foundSolutions=19, bestBound=12
11.35/8.23 nFilterCalls=1182775, avgTableProportion=0.9982700735576295, avgTableSize=577.103126122889
11.35/8.23
11.35/8.25 num=205, depth=6..14, filters=314657, revisions=(273557,useless=150863), ccks=879420, wck=5.773, mem=36M235
11.35/8.25 decisions=20619, wrong=9155, backtracks=5641, failedAssignments=5194, nogoods=953, foundSolutions=19, bestBound=12
11.35/8.25 nFilterCalls=1185875, avgTableProportion=0.9982700732673209, avgTableSize=577.1030251923685
11.35/8.25
11.35/8.27 num=206, depth=8..15, filters=315558, revisions=(274307,useless=151259), ccks=882133, wck=5.793, mem=36M235
11.35/8.27 decisions=20677, wrong=9180, backtracks=5662, failedAssignments=5208, nogoods=956, foundSolutions=19, bestBound=12
11.35/8.27 nFilterCalls=1190431, avgTableProportion=0.9982700730853981, avgTableSize=577.1029618684325
11.35/8.27
11.35/8.29 num=207, depth=8..14, filters=316476, revisions=(275063,useless=151611), ccks=885332, wck=5.812, mem=36M235
11.35/8.29 decisions=20741, wrong=9207, backtracks=5682, failedAssignments=5224, nogoods=962, foundSolutions=19, bestBound=12
11.35/8.29 nFilterCalls=1194370, avgTableProportion=0.9982700727372616, avgTableSize=577.1028408282191
11.35/8.29
11.45/8.30 num=208, depth=6..12, filters=317582, revisions=(275994,useless=152106), ccks=888261, wck=5.83, mem=36M235
11.45/8.30 decisions=20804, wrong=9235, backtracks=5700, failedAssignments=5241, nogoods=966, foundSolutions=19, bestBound=12
11.45/8.30 nFilterCalls=1197707, avgTableProportion=0.9982700723645341, avgTableSize=577.1027112641071
11.45/8.30
11.45/8.33 num=209, depth=9..16, filters=318780, revisions=(276897,useless=152590), ccks=891944, wck=5.855, mem=36M235
11.45/8.33 decisions=20889, wrong=9271, backtracks=5726, failedAssignments=5260, nogoods=972, foundSolutions=19, bestBound=12
11.45/8.33 nFilterCalls=1204172, avgTableProportion=0.9982700722358934, avgTableSize=577.1026663964949
11.45/8.33
11.45/8.35 num=210, depth=7..14, filters=319946, revisions=(277905,useless=153133), ccks=895636, wck=5.876, mem=36M235
11.45/8.35 decisions=20979, wrong=9311, backtracks=5751, failedAssignments=5281, nogoods=974, foundSolutions=19, bestBound=12
11.45/8.35 nFilterCalls=1209514, avgTableProportion=0.9982700729731364, avgTableSize=577.1029223307874
11.45/8.35
11.45/8.38 num=211, depth=8..14, filters=321328, revisions=(278968,useless=153716), ccks=899541, wck=5.904, mem=36M235
11.45/8.38 decisions=21057, wrong=9345, backtracks=5773, failedAssignments=5304, nogoods=977, foundSolutions=19, bestBound=12
11.45/8.38 nFilterCalls=1215129, avgTableProportion=0.9982700735234613, avgTableSize=577.1031133320001
11.45/8.38
11.55/8.41 num=212, depth=10..15, filters=322982, revisions=(280117,useless=154344), ccks=903715, wck=5.932, mem=38M851
11.55/8.41 decisions=21152, wrong=9387, backtracks=5802, failedAssignments=5329, nogoods=980, foundSolutions=19, bestBound=12
11.55/8.41 nFilterCalls=1223433, avgTableProportion=0.9982700733823364, avgTableSize=577.10306408279
11.55/8.41
11.55/8.43 num=213, depth=9..14, filters=324627, revisions=(281517,useless=155100), ccks=909203, wck=5.959, mem=38M851
11.55/8.43 decisions=21276, wrong=9444, backtracks=5839, failedAssignments=5357, nogoods=984, foundSolutions=19, bestBound=12
11.55/8.43 nFilterCalls=1230118, avgTableProportion=0.9982700737362918, avgTableSize=577.1031868487413
11.55/8.43
11.55/8.47 num=214, depth=8..15, filters=326333, revisions=(282910,useless=155850), ccks=915452, wck=5.994, mem=38M851
11.55/8.47 decisions=21389, wrong=9496, backtracks=5870, failedAssignments=5388, nogoods=993, foundSolutions=19, bestBound=12
11.55/8.47 nFilterCalls=1237340, avgTableProportion=0.9982700742784687, avgTableSize=577.1033749818158
11.55/8.47
11.66/8.51 num=215, depth=8..14, filters=328529, revisions=(284549,useless=156695), ccks=922082, wck=6.038, mem=38M851
11.66/8.51 decisions=21507, wrong=9551, backtracks=5906, failedAssignments=5422, nogoods=1001, foundSolutions=19, bestBound=12
11.66/8.51 nFilterCalls=1246958, avgTableProportion=0.9982700740777418, avgTableSize=577.1033050030554
11.66/8.51
11.66/8.57 num=216, depth=10..16, filters=331626, revisions=(286315,useless=157701), ccks=928592, wck=6.096, mem=38M851
11.66/8.57 decisions=21639, wrong=9611, backtracks=5944, failedAssignments=5459, nogoods=1007, foundSolutions=19, bestBound=12
11.66/8.57 nFilterCalls=1262338, avgTableProportion=0.9982700745490862, avgTableSize=577.1034683262327
11.66/8.57
11.66/8.59 o 23
11.66/8.59 num=217, depth=8..74, filters=332668, revisions=(287063,useless=158094), ccks=931593, wck=6.115, mem=38M851
11.66/8.59 decisions=21700, wrong=9633, backtracks=5960, failedAssignments=5471, nogoods=1011, foundSolutions=20, bestBound=23
11.66/8.59 nFilterCalls=1266387, avgTableProportion=0.9982700754747558, avgTableSize=577.1037897577912
11.66/8.59
11.76/8.65 num=218, depth=3..10, filters=335417, revisions=(289581,useless=159462), ccks=939382, wck=6.174, mem=38M851
11.76/8.65 decisions=21864, wrong=9712, backtracks=6009, failedAssignments=5516, nogoods=1013, foundSolutions=20, bestBound=23
11.76/8.65 nFilterCalls=1275126, avgTableProportion=0.9982700772905757, avgTableSize=577.1044202690557
11.76/8.65
11.76/8.66 num=219, depth=9..17, filters=336036, revisions=(290107,useless=159714), ccks=941138, wck=6.184, mem=38M851
11.76/8.66 decisions=21911, wrong=9730, backtracks=6021, failedAssignments=5527, nogoods=1017, foundSolutions=20, bestBound=23
11.76/8.66 nFilterCalls=1277820, avgTableProportion=0.9982700772337518, avgTableSize=577.104400463289
11.76/8.66
11.76/8.67 num=220, depth=11..15, filters=336766, revisions=(290699,useless=160014), ccks=943412, wck=6.196, mem=38M851
11.76/8.67 decisions=21966, wrong=9752, backtracks=6034, failedAssignments=5539, nogoods=1020, foundSolutions=20, bestBound=23
11.76/8.67 nFilterCalls=1280942, avgTableProportion=0.9982700769576743, avgTableSize=577.1043044884156
11.76/8.67
11.76/8.69 num=221, depth=8..15, filters=337678, revisions=(291469,useless=160420), ccks=946123, wck=6.212, mem=38M851
11.76/8.69 decisions=22027, wrong=9778, backtracks=6050, failedAssignments=5552, nogoods=1023, foundSolutions=20, bestBound=23
11.76/8.69 nFilterCalls=1284092, avgTableProportion=0.9982700772301678, avgTableSize=577.1043990617495
11.76/8.69
11.86/8.70 num=222, depth=7..11, filters=338440, revisions=(292195,useless=160819), ccks=948263, wck=6.227, mem=38M851
11.86/8.70 decisions=22081, wrong=9800, backtracks=6062, failedAssignments=5566, nogoods=1027, foundSolutions=20, bestBound=23
11.86/8.70 nFilterCalls=1287110, avgTableProportion=0.9982700772123186, avgTableSize=577.1043927869413
11.86/8.70
11.86/8.72 num=223, depth=8..14, filters=339273, revisions=(292881,useless=161166), ccks=951217, wck=6.246, mem=38M851
11.86/8.72 decisions=22136, wrong=9823, backtracks=6075, failedAssignments=5582, nogoods=1031, foundSolutions=20, bestBound=23
11.86/8.72 nFilterCalls=1290860, avgTableProportion=0.99827007700858, avgTableSize=577.1043219249183
11.86/8.72
11.86/8.74 num=224, depth=6..15, filters=340441, revisions=(293905,useless=161695), ccks=954580, wck=6.268, mem=41M467
11.86/8.74 decisions=22212, wrong=9856, backtracks=6096, failedAssignments=5599, nogoods=1039, foundSolutions=20, bestBound=23
11.86/8.74 nFilterCalls=1295620, avgTableProportion=0.9982700774387173, avgTableSize=577.1044712184128
11.86/8.74
11.86/8.76 num=225, depth=10..16, filters=341417, revisions=(294729,useless=162133), ccks=957693, wck=6.286, mem=41M467
11.86/8.76 decisions=22284, wrong=9886, backtracks=6114, failedAssignments=5618, nogoods=1045, foundSolutions=20, bestBound=23
11.86/8.76 nFilterCalls=1300036, avgTableProportion=0.9982700773231099, avgTableSize=577.1044309542198
11.86/8.76
11.86/8.78 num=226, depth=6..13, filters=342374, revisions=(295596,useless=162580), ccks=960833, wck=6.31, mem=41M467
11.86/8.78 decisions=22365, wrong=9923, backtracks=6137, failedAssignments=5639, nogoods=1047, foundSolutions=20, bestBound=23
11.86/8.78 nFilterCalls=1304349, avgTableProportion=0.9982700770179156, avgTableSize=577.104324839441
11.86/8.78
11.97/8.81 num=227, depth=6..12, filters=343929, revisions=(296921,useless=163249), ccks=965280, wck=6.337, mem=41M467
11.97/8.81 decisions=22443, wrong=9958, backtracks=6160, failedAssignments=5662, nogoods=1054, foundSolutions=20, bestBound=23
11.97/8.81 nFilterCalls=1309321, avgTableProportion=0.9982700773135479, avgTableSize=577.1044274093214
11.97/8.81
11.97/8.84 num=228, depth=7..14, filters=345483, revisions=(298218,useless=163937), ccks=969322, wck=6.366, mem=41M467
11.97/8.84 decisions=22538, wrong=10001, backtracks=6186, failedAssignments=5687, nogoods=1061, foundSolutions=20, bestBound=23
11.97/8.84 nFilterCalls=1314997, avgTableProportion=0.9982700771634673, avgTableSize=577.1043751430611
11.97/8.84
11.97/8.87 num=229, depth=6..12, filters=347260, revisions=(299683,useless=164718), ccks=974501, wck=6.397, mem=41M467
11.97/8.87 decisions=22644, wrong=10051, backtracks=6218, failedAssignments=5715, nogoods=1062, foundSolutions=20, bestBound=23
11.97/8.87 nFilterCalls=1320362, avgTableProportion=0.9982700786901645, avgTableSize=577.1049053214194
11.97/8.87
12.07/8.92 num=230, depth=7..13, filters=349366, revisions=(301597,useless=165866), ccks=980259, wck=6.444, mem=41M467
12.07/8.92 decisions=22769, wrong=10110, backtracks=6258, failedAssignments=5746, nogoods=1064, foundSolutions=20, bestBound=23
12.07/8.92 nFilterCalls=1330220, avgTableProportion=0.9982700787619072, avgTableSize=577.104930011577
12.07/8.92
12.07/8.96 num=231, depth=8..15, filters=351297, revisions=(303150,useless=166687), ccks=986491, wck=6.483, mem=41M467
12.07/8.96 decisions=22890, wrong=10166, backtracks=6298, failedAssignments=5780, nogoods=1067, foundSolutions=20, bestBound=23
12.07/8.96 nFilterCalls=1339032, avgTableProportion=0.9982700784149595, avgTableSize=577.1048092950729
12.07/8.96
12.07/9.00 num=232, depth=6..14, filters=353661, revisions=(305248,useless=167850), ccks=993642, wck=6.526, mem=41M467
12.07/9.00 decisions=23036, wrong=10235, backtracks=6339, failedAssignments=5817, nogoods=1072, foundSolutions=20, bestBound=23
12.07/9.00 nFilterCalls=1347888, avgTableProportion=0.9982700781289244, avgTableSize=577.1047097384946
12.07/9.00
12.18/9.05 num=233, depth=9..17, filters=355730, revisions=(306878,useless=168691), ccks=1000343, wck=6.57, mem=41M467
12.18/9.05 decisions=23179, wrong=10301, backtracks=6383, failedAssignments=5858, nogoods=1077, foundSolutions=20, bestBound=23
12.18/9.05 nFilterCalls=1357656, avgTableProportion=0.9982700784671271, avgTableSize=577.10482699594
12.18/9.05
12.18/9.09 num=234, depth=8..18, filters=358184, revisions=(309050,useless=169857), ccks=1007535, wck=6.613, mem=41M467
12.18/9.09 decisions=23355, wrong=10385, backtracks=6442, failedAssignments=5903, nogoods=1084, foundSolutions=20, bestBound=23
12.18/9.09 nFilterCalls=1367281, avgTableProportion=0.9982700784488732, avgTableSize=577.1048204429082
12.18/9.09
12.28/9.14 num=235, depth=7..17, filters=361093, revisions=(311378,useless=171079), ccks=1016106, wck=6.665, mem=44M83
12.28/9.14 decisions=23532, wrong=10470, backtracks=6493, failedAssignments=5953, nogoods=1087, foundSolutions=20, bestBound=23
12.28/9.14 nFilterCalls=1377666, avgTableProportion=0.9982700776688958, avgTableSize=577.1045492884342
12.28/9.14
12.37/9.22 num=236, depth=4..17, filters=364708, revisions=(314534,useless=172662), ccks=1028780, wck=6.747, mem=44M83
12.37/9.22 decisions=23762, wrong=10581, backtracks=6574, failedAssignments=6008, nogoods=1100, foundSolutions=20, bestBound=23
12.37/9.22 nFilterCalls=1392615, avgTableProportion=0.9982700773867912, avgTableSize=577.1044509789137
12.37/9.22
12.37/9.29 num=237, depth=7..15, filters=368205, revisions=(317407,useless=174258), ccks=1038617, wck=6.817, mem=44M83
12.37/9.29 decisions=23998, wrong=10695, backtracks=6653, failedAssignments=6069, nogoods=1105, foundSolutions=20, bestBound=23
12.37/9.29 nFilterCalls=1407617, avgTableProportion=0.9982700784737665, avgTableSize=577.1048282309748
12.37/9.29
12.47/9.37 num=238, depth=6..15, filters=372404, revisions=(320882,useless=176084), ccks=1051755, wck=6.9, mem=44M83
12.47/9.37 decisions=24244, wrong=10815, backtracks=6731, failedAssignments=6136, nogoods=1116, foundSolutions=20, bestBound=23
12.47/9.37 nFilterCalls=1423302, avgTableProportion=0.9982700780615936, avgTableSize=577.1046847401325
12.47/9.37
12.57/9.46 num=239, depth=5..16, filters=376881, revisions=(324643,useless=178186), ccks=1064186, wck=6.987, mem=44M83
12.57/9.46 decisions=24503, wrong=10940, backtracks=6812, failedAssignments=6210, nogoods=1125, foundSolutions=20, bestBound=23
12.57/9.46 nFilterCalls=1439600, avgTableProportion=0.9982700792041109, avgTableSize=577.1050812725757
12.57/9.46
12.67/9.54 num=240, depth=6..13, filters=381281, revisions=(328210,useless=180071), ccks=1076602, wck=7.061, mem=46M699
12.67/9.54 decisions=24757, wrong=11064, backtracks=6878, failedAssignments=6291, nogoods=1128, foundSolutions=20, bestBound=23
12.67/9.54 nFilterCalls=1453095, avgTableProportion=0.9982700817050323, avgTableSize=577.1059497142306
12.67/9.54
12.77/9.63 num=241, depth=5..16, filters=386675, revisions=(332809,useless=182572), ccks=1093172, wck=7.158, mem=46M699
12.77/9.63 decisions=25107, wrong=11235, backtracks=6983, failedAssignments=6380, nogoods=1139, foundSolutions=20, bestBound=23
12.77/9.63 nFilterCalls=1472657, avgTableProportion=0.9982700819806022, avgTableSize=577.1060450600513
12.77/9.63
12.87/9.74 num=242, depth=6..13, filters=392407, revisions=(337666,useless=185088), ccks=1112310, wck=7.267, mem=46M699
12.87/9.74 decisions=25464, wrong=11410, backtracks=7105, failedAssignments=6478, nogoods=1146, foundSolutions=20, bestBound=23
12.87/9.74 nFilterCalls=1493289, avgTableProportion=0.9982700804973808, avgTableSize=577.105529472192
12.87/9.74
12.97/9.84 num=243, depth=5..13, filters=397835, revisions=(342630,useless=187758), ccks=1125440, wck=7.363, mem=46M699
12.97/9.84 decisions=25814, wrong=11582, backtracks=7201, failedAssignments=6586, nogoods=1155, foundSolutions=20, bestBound=23
12.97/9.84 nFilterCalls=1511355, avgTableProportion=0.9982700796459134, avgTableSize=577.1052333832885
12.97/9.84
13.07/9.97 num=244, depth=6..16, filters=404551, revisions=(348310,useless=190737), ccks=1147685, wck=7.495, mem=49M315
13.07/9.97 decisions=26228, wrong=11785, backtracks=7330, failedAssignments=6705, nogoods=1158, foundSolutions=20, bestBound=23
13.07/9.97 nFilterCalls=1537341, avgTableProportion=0.9982700789064216, avgTableSize=577.1049760593128
13.07/9.97
13.28/10.13 num=245, depth=5..16, filters=412493, revisions=(354971,useless=194594), ccks=1170792, wck=7.656, mem=49M315
13.28/10.13 decisions=26722, wrong=12028, backtracks=7495, failedAssignments=6836, nogoods=1163, foundSolutions=20, bestBound=23
13.28/10.13 nFilterCalls=1568999, avgTableProportion=0.9982700809605766, avgTableSize=577.1056890412294
13.28/10.13
13.47/10.32 num=246, depth=5..16, filters=421485, revisions=(361728,useless=198350), ccks=1193603, wck=7.849, mem=49M315
13.47/10.32 decisions=27263, wrong=12295, backtracks=7661, failedAssignments=6980, nogoods=1173, foundSolutions=20, bestBound=23
13.47/10.32 nFilterCalls=1608148, avgTableProportion=0.9982700808073394, avgTableSize=577.1056351778568
13.47/10.32
13.57/10.48 num=247, depth=4..15, filters=430195, revisions=(369164,useless=202024), ccks=1222363, wck=8.005, mem=51M931
13.57/10.48 decisions=27823, wrong=12573, backtracks=7827, failedAssignments=7138, nogoods=1174, foundSolutions=20, bestBound=23
13.57/10.48 nFilterCalls=1640640, avgTableProportion=0.998270079143016, avgTableSize=577.1050565632924
13.57/10.48
13.77/10.62 o 26
13.77/10.62 num=248, depth=6..74, filters=437913, revisions=(375374,useless=205506), ccks=1243166, wck=8.145, mem=51M931
13.77/10.62 decisions=28301, wrong=12803, backtracks=7967, failedAssignments=7274, nogoods=1182, foundSolutions=21, bestBound=26
13.77/10.62 nFilterCalls=1668815, avgTableProportion=0.9982700801621042, avgTableSize=577.1054101263471
13.77/10.62
14.10/10.88 num=249, depth=2..15, filters=450045, revisions=(386113,useless=211428), ccks=1277909, wck=8.405, mem=54M547
14.10/10.88 decisions=29013, wrong=13156, backtracks=8202, failedAssignments=7465, nogoods=1191, foundSolutions=21, bestBound=26
14.10/10.88 nFilterCalls=1707399, avgTableProportion=0.9982700807097658, avgTableSize=577.1055998041466
14.10/10.88
14.10/10.89 num=250, depth=4..9, filters=450814, revisions=(386835,useless=211804), ccks=1279907, wck=8.42, mem=54M547
14.10/10.89 decisions=29061, wrong=13177, backtracks=8215, failedAssignments=7476, nogoods=1195, foundSolutions=21, bestBound=26
14.10/10.89 nFilterCalls=1709843, avgTableProportion=0.9982700805379799, avgTableSize=577.1055400992957
14.10/10.89
14.20/10.91 num=251, depth=9..16, filters=451354, revisions=(387296,useless=212033), ccks=1281743, wck=8.433, mem=55M868
14.20/10.91 decisions=29104, wrong=13193, backtracks=8225, failedAssignments=7488, nogoods=1200, foundSolutions=21, bestBound=26
14.20/10.91 nFilterCalls=1712385, avgTableProportion=0.9982700805207945, avgTableSize=577.1055340942603
14.20/10.91
14.20/10.92 num=252, depth=10..15, filters=452030, revisions=(387919,useless=212322), ccks=1283768, wck=8.442, mem=55M868
14.20/10.92 decisions=29160, wrong=13216, backtracks=8242, failedAssignments=7501, nogoods=1201, foundSolutions=21, bestBound=26
14.20/10.92 nFilterCalls=1714808, avgTableProportion=0.9982700806825497, avgTableSize=577.1055902468381
14.20/10.92
14.20/10.94 num=253, depth=5..10, filters=452785, revisions=(388584,useless=212686), ccks=1285719, wck=8.462, mem=55M868
14.20/10.94 decisions=29219, wrong=13242, backtracks=8258, failedAssignments=7515, nogoods=1204, foundSolutions=21, bestBound=26
14.20/10.94 nFilterCalls=1718464, avgTableProportion=0.9982700806541528, avgTableSize=577.1055803322037
14.20/10.94
14.20/10.95 num=254, depth=9..17, filters=453685, revisions=(389182,useless=213022), ccks=1287904, wck=8.478, mem=55M868
14.20/10.95 decisions=29272, wrong=13264, backtracks=8275, failedAssignments=7531, nogoods=1206, foundSolutions=21, bestBound=26
14.20/10.95 nFilterCalls=1722300, avgTableProportion=0.9982700806693393, avgTableSize=577.1055855542007
14.20/10.95
14.20/10.97 num=255, depth=9..13, filters=454431, revisions=(389849,useless=213349), ccks=1290100, wck=8.492, mem=55M868
14.20/10.97 decisions=29329, wrong=13287, backtracks=8286, failedAssignments=7548, nogoods=1211, foundSolutions=21, bestBound=26
14.20/10.97 nFilterCalls=1725183, avgTableProportion=0.9982700807739124, avgTableSize=577.1056218383789
14.20/10.97
14.20/10.99 num=256, depth=4..12, filters=455687, revisions=(390966,useless=213924), ccks=1293624, wck=8.519, mem=55M868
14.20/10.99 decisions=29409, wrong=13324, backtracks=8314, failedAssignments=7567, nogoods=1214, foundSolutions=21, bestBound=26
14.20/10.99 nFilterCalls=1729940, avgTableProportion=0.9982700811328226, avgTableSize=577.1057464420732
14.20/10.99
14.31/11.01 num=257, depth=8..13, filters=456925, revisions=(392150,useless=214534), ccks=1297897, wck=8.539, mem=55M868
14.31/11.01 decisions=29505, wrong=13368, backtracks=8342, failedAssignments=7588, nogoods=1218, foundSolutions=21, bestBound=26
14.31/11.01 nFilterCalls=1733787, avgTableProportion=0.9982700810851414, avgTableSize=577.105729827251
14.31/11.01
14.31/11.04 num=258, depth=5..14, filters=458433, revisions=(393483,useless=215267), ccks=1301384, wck=8.568, mem=55M868
14.31/11.04 decisions=29600, wrong=13413, backtracks=8372, failedAssignments=7611, nogoods=1223, foundSolutions=21, bestBound=26
14.31/11.04 nFilterCalls=1739505, avgTableProportion=0.99827008133765, avgTableSize=577.1058174595646
14.31/11.04
14.31/11.06 num=259, depth=8..13, filters=459542, revisions=(394493,useless=215816), ccks=1304938, wck=8.588, mem=58M484
14.31/11.06 decisions=29681, wrong=13449, backtracks=8392, failedAssignments=7636, nogoods=1231, foundSolutions=21, bestBound=26
14.31/11.06 nFilterCalls=1743174, avgTableProportion=0.9982700812432522, avgTableSize=577.1057846204682
14.31/11.06
14.31/11.09 num=260, depth=8..15, filters=461325, revisions=(395977,useless=216570), ccks=1310057, wck=8.619, mem=58M484
14.31/11.09 decisions=29788, wrong=13498, backtracks=8425, failedAssignments=7664, nogoods=1236, foundSolutions=21, bestBound=26
14.31/11.09 nFilterCalls=1749938, avgTableProportion=0.9982700815650952, avgTableSize=577.105896323184
14.31/11.09
14.41/11.13 num=261, depth=4..11, filters=463184, revisions=(397597,useless=217450), ccks=1314063, wck=8.656, mem=58M484
14.41/11.13 decisions=29893, wrong=13548, backtracks=8460, failedAssignments=7695, nogoods=1246, foundSolutions=21, bestBound=26
14.41/11.13 nFilterCalls=1756412, avgTableProportion=0.9982700820413778, avgTableSize=577.1060616757344
14.41/11.13
14.41/11.17 num=262, depth=6..14, filters=465076, revisions=(399191,useless=218305), ccks=1319168, wck=8.695, mem=58M484
14.41/11.17 decisions=30012, wrong=13604, backtracks=8496, failedAssignments=7729, nogoods=1249, foundSolutions=21, bestBound=26
14.41/11.17 nFilterCalls=1763795, avgTableProportion=0.9982700819746508, avgTableSize=577.1060384001543
14.41/11.17
14.50/11.21 num=263, depth=4..12, filters=467486, revisions=(401299,useless=219354), ccks=1325095, wck=8.731, mem=58M484
14.50/11.21 decisions=30156, wrong=13671, backtracks=8537, failedAssignments=7766, nogoods=1253, foundSolutions=21, bestBound=26
14.50/11.21 nFilterCalls=1771233, avgTableProportion=0.9982700812813653, avgTableSize=577.1057974868354
14.50/11.21
14.50/11.26 num=264, depth=6..16, filters=469920, revisions=(403186,useless=220335), ccks=1332382, wck=8.785, mem=58M484
14.50/11.26 decisions=30305, wrong=13741, backtracks=8584, failedAssignments=7807, nogoods=1258, foundSolutions=21, bestBound=26
14.50/11.26 nFilterCalls=1782289, avgTableProportion=0.9982700816440916, avgTableSize=577.1059233379099
14.50/11.26
14.60/11.31 num=265, depth=8..15, filters=472636, revisions=(405381,useless=221469), ccks=1339981, wck=8.834, mem=58M484
14.60/11.31 decisions=30470, wrong=13819, backtracks=8638, failedAssignments=7852, nogoods=1265, foundSolutions=21, bestBound=26
14.60/11.31 nFilterCalls=1793150, avgTableProportion=0.9982700822683366, avgTableSize=577.106140032903
14.60/11.31
14.60/11.37 num=266, depth=5..10, filters=476041, revisions=(408223,useless=222930), ccks=1349339, wck=8.893, mem=58M484
14.60/11.37 decisions=30664, wrong=13913, backtracks=8690, failedAssignments=7902, nogoods=1273, foundSolutions=21, bestBound=26
14.60/11.37 nFilterCalls=1803434, avgTableProportion=0.9982700823476605, avgTableSize=577.1061674560866
14.60/11.37
14.70/11.45 num=267, depth=5..13, filters=479647, revisions=(411298,useless=224651), ccks=1359670, wck=8.974, mem=61M100
14.70/11.45 decisions=30882, wrong=14019, backtracks=8763, failedAssignments=7957, nogoods=1280, foundSolutions=21, bestBound=26
14.70/11.45 nFilterCalls=1817750, avgTableProportion=0.9982700816182251, avgTableSize=577.1059139045524
14.70/11.45
14.80/11.52 num=268, depth=3..10, filters=482948, revisions=(414343,useless=226345), ccks=1368605, wck=9.045, mem=61M100
14.80/11.52 decisions=31100, wrong=14126, backtracks=8827, failedAssignments=8018, nogoods=1284, foundSolutions=21, bestBound=26
14.80/11.52 nFilterCalls=1829627, avgTableProportion=0.9982700811702961, avgTableSize=577.1057581681949
14.80/11.52
14.80/11.59 num=269, depth=5..14, filters=486523, revisions=(417411,useless=227992), ccks=1378670, wck=9.115, mem=61M100
14.80/11.59 decisions=31319, wrong=14232, backtracks=8896, failedAssignments=8085, nogoods=1290, foundSolutions=21, bestBound=26
14.80/11.59 nFilterCalls=1841778, avgTableProportion=0.9982700819349776, avgTableSize=577.1060236358562
14.80/11.59
14.90/11.67 num=270, depth=5..13, filters=491444, revisions=(421783,useless=230504), ccks=1391300, wck=9.2, mem=61M100
14.90/11.67 decisions=31598, wrong=14369, backtracks=8989, failedAssignments=8159, nogoods=1294, foundSolutions=21, bestBound=26
14.90/11.67 nFilterCalls=1858384, avgTableProportion=0.9982700830716479, avgTableSize=577.1064182644707
14.90/11.67
15.00/11.77 num=271, depth=3..11, filters=495937, revisions=(425695,useless=232538), ccks=1404454, wck=9.3, mem=61M100
15.00/11.77 decisions=31863, wrong=14499, backtracks=9072, failedAssignments=8240, nogoods=1301, foundSolutions=21, bestBound=26
15.00/11.77 nFilterCalls=1874439, avgTableProportion=0.9982700835889441, avgTableSize=577.1065977607167
15.00/11.77
15.10/11.86 num=272, depth=3..12, filters=500497, revisions=(429936,useless=234832), ccks=1416284, wck=9.389, mem=63M716
15.10/11.86 decisions=32150, wrong=14639, backtracks=9147, failedAssignments=8329, nogoods=1314, foundSolutions=21, bestBound=26
15.10/11.86 nFilterCalls=1889597, avgTableProportion=0.9982700835531748, avgTableSize=577.1065851607513
15.10/11.86
15.20/11.99 num=273, depth=2..13, filters=506617, revisions=(434702,useless=237343), ccks=1431687, wck=9.518, mem=63M716
15.20/11.99 decisions=32482, wrong=14802, backtracks=9259, failedAssignments=8427, nogoods=1318, foundSolutions=21, bestBound=26
15.20/11.99 nFilterCalls=1911453, avgTableProportion=0.9982700853830503, avgTableSize=577.1072205280485
15.20/11.99
15.41/12.12 num=274, depth=5..15, filters=513228, revisions=(439985,useless=240126), ccks=1450646, wck=9.647, mem=63M716
15.41/12.12 decisions=32849, wrong=14983, backtracks=9369, failedAssignments=8535, nogoods=1321, foundSolutions=21, bestBound=26
15.41/12.12 nFilterCalls=1934622, avgTableProportion=0.9982700871647546, avgTableSize=577.1078391541087
15.41/12.12
15.50/12.24 num=275, depth=6..14, filters=519766, revisions=(445376,useless=242882), ccks=1471184, wck=9.766, mem=63M716
15.50/12.24 decisions=33250, wrong=15180, backtracks=9497, failedAssignments=8654, nogoods=1328, foundSolutions=21, bestBound=26
15.50/12.24 nFilterCalls=1959835, avgTableProportion=0.9982700878163605, avgTableSize=577.1080652197761
15.50/12.24
15.60/12.38 num=276, depth=4..17, filters=527373, revisions=(451896,useless=246473), ccks=1492169, wck=9.907, mem=66M332
15.60/12.38 decisions=33713, wrong=15408, backtracks=9639, failedAssignments=8785, nogoods=1336, foundSolutions=21, bestBound=26
15.60/12.38 nFilterCalls=1986391, avgTableProportion=0.9982700886493903, avgTableSize=577.1083542968126
15.60/12.38
15.80/12.52 num=277, depth=6..14, filters=535168, revisions=(458567,useless=250059), ccks=1516236, wck=10.046, mem=66M332
15.80/12.52 decisions=34205, wrong=15651, backtracks=9784, failedAssignments=8929, nogoods=1342, foundSolutions=21, bestBound=26
15.80/12.52 nFilterCalls=2011590, avgTableProportion=0.9982700898245145, avgTableSize=577.1087622229182
15.80/12.52
16.00/12.71 num=278, depth=3..13, filters=544083, revisions=(466568,useless=254534), ccks=1540342, wck=10.236, mem=68M948
16.00/12.71 decisions=34768, wrong=15930, backtracks=9954, failedAssignments=9087, nogoods=1349, foundSolutions=21, bestBound=26
16.00/12.71 nFilterCalls=2042835, avgTableProportion=0.998270089024558, avgTableSize=577.1084840430088
16.00/12.71
16.20/12.94 num=279, depth=2..12, filters=555410, revisions=(476144,useless=259566), ccks=1570253, wck=10.463, mem=68M948
16.20/12.94 decisions=35426, wrong=16257, backtracks=10167, failedAssignments=9261, nogoods=1354, foundSolutions=21, bestBound=26
16.20/12.94 nFilterCalls=2081510, avgTableProportion=0.9982700897578077, avgTableSize=577.1087383678196
16.20/12.94
16.41/13.18 num=280, depth=4..16, filters=567960, revisions=(486368,useless=265152), ccks=1605134, wck=10.701, mem=71M564
16.41/13.18 decisions=36146, wrong=16614, backtracks=10418, failedAssignments=9452, nogoods=1360, foundSolutions=21, bestBound=26
16.41/13.18 nFilterCalls=2125410, avgTableProportion=0.9982700918915224, avgTableSize=577.1094800532603
16.41/13.18
16.60/13.38 num=281, depth=4..14, filters=579993, revisions=(496618,useless=270540), ccks=1636134, wck=10.907, mem=71M564
16.60/13.38 decisions=36874, wrong=16975, backtracks=10639, failedAssignments=9663, nogoods=1367, foundSolutions=21, bestBound=26
16.60/13.38 nFilterCalls=2168342, avgTableProportion=0.9982700951313697, avgTableSize=577.110606629397
16.60/13.38
16.90/13.68 num=282, depth=5..14, filters=594082, revisions=(507460,useless=276491), ccks=1678219, wck=11.204, mem=74M180
16.90/13.68 decisions=37682, wrong=17374, backtracks=10905, failedAssignments=9895, nogoods=1378, foundSolutions=21, bestBound=26
16.90/13.68 nFilterCalls=2224385, avgTableProportion=0.9982700971438472, avgTableSize=577.1113071702965
16.90/13.68
16.90/13.69 o 30
16.90/13.69 num=283, depth=11..74, filters=594341, revisions=(507690,useless=276606), ccks=1679059, wck=11.211, mem=74M180
16.90/13.69 decisions=37705, wrong=17377, backtracks=10905, failedAssignments=9898, nogoods=1381, foundSolutions=22, bestBound=30
16.90/13.69 nFilterCalls=2225650, avgTableProportion=0.9982700973949477, avgTableSize=577.1113944241008
16.90/13.69
17.31/14.06 num=284, depth=4..15, filters=611947, revisions=(522210,useless=284683), ccks=1722636, wck=11.582, mem=76M796
17.31/14.06 decisions=38659, wrong=17850, backtracks=11229, failedAssignments=10179, nogoods=1389, foundSolutions=22, bestBound=30
17.31/14.06 nFilterCalls=2288697, avgTableProportion=0.998270100761364, avgTableSize=577.1125653592416
17.31/14.06
17.31/14.07 num=285, depth=5..9, filters=612679, revisions=(522893,useless=285035), ccks=1724764, wck=11.595, mem=76M796
17.31/14.07 decisions=38699, wrong=17867, backtracks=11238, failedAssignments=10190, nogoods=1393, foundSolutions=22, bestBound=30
17.31/14.07 nFilterCalls=2290536, avgTableProportion=0.9982701007662516, avgTableSize=577.1125671021979
17.31/14.07
17.31/14.09 num=286, depth=3..12, filters=613518, revisions=(523655,useless=285413), ccks=1726722, wck=11.612, mem=76M796
17.31/14.09 decisions=38753, wrong=17892, backtracks=11256, failedAssignments=10202, nogoods=1395, foundSolutions=22, bestBound=30
17.31/14.09 nFilterCalls=2293494, avgTableProportion=0.9982701007146106, avgTableSize=577.1125492371028
17.31/14.09
17.41/14.11 num=287, depth=6..12, filters=614486, revisions=(524532,useless=285893), ccks=1729263, wck=11.631, mem=76M796
17.41/14.11 decisions=38809, wrong=17916, backtracks=11271, failedAssignments=10215, nogoods=1402, foundSolutions=22, bestBound=30
17.41/14.11 nFilterCalls=2296758, avgTableProportion=0.9982701011451203, avgTableSize=577.112698856388
17.41/14.11
17.41/14.12 num=288, depth=8..13, filters=615025, revisions=(525048,useless=286167), ccks=1730874, wck=11.643, mem=76M796
17.41/14.12 decisions=38855, wrong=17935, backtracks=11280, failedAssignments=10229, nogoods=1405, foundSolutions=22, bestBound=30
17.41/14.12 nFilterCalls=2298619, avgTableProportion=0.998270101244268, avgTableSize=577.1127333411931
17.41/14.12
17.41/14.14 num=289, depth=9..16, filters=616088, revisions=(525964,useless=286690), ccks=1733622, wck=11.66, mem=76M796
17.41/14.14 decisions=38918, wrong=17962, backtracks=11295, failedAssignments=10245, nogoods=1412, foundSolutions=22, bestBound=30
17.41/14.14 nFilterCalls=2302167, avgTableProportion=0.9982701014341256, avgTableSize=577.1127993755449
17.41/14.14
17.41/14.15 num=290, depth=7..11, filters=616913, revisions=(526712,useless=287096), ccks=1735949, wck=11.678, mem=76M796
17.41/14.15 decisions=38977, wrong=17988, backtracks=11309, failedAssignments=10262, nogoods=1419, foundSolutions=22, bestBound=30
17.41/14.15 nFilterCalls=2304829, avgTableProportion=0.9982701014810647, avgTableSize=577.1128157446822
17.41/14.15
17.41/14.18 num=291, depth=6..13, filters=618276, revisions=(527842,useless=287634), ccks=1740277, wck=11.705, mem=76M796
17.41/14.18 decisions=39057, wrong=18024, backtracks=11332, failedAssignments=10281, nogoods=1426, foundSolutions=22, bestBound=30
17.41/14.18 nFilterCalls=2309560, avgTableProportion=0.9982701014000461, avgTableSize=577.1127877171409
17.41/14.18
17.50/14.20 num=292, depth=8..17, filters=619614, revisions=(529055,useless=288338), ccks=1744001, wck=11.727, mem=76M796
17.50/14.20 decisions=39140, wrong=18061, backtracks=11354, failedAssignments=10302, nogoods=1430, foundSolutions=22, bestBound=30
17.50/14.20 nFilterCalls=2314048, avgTableProportion=0.9982701016246783, avgTableSize=577.1128658523937
17.50/14.20
17.50/14.23 num=293, depth=6..13, filters=621156, revisions=(530372,useless=289031), ccks=1748576, wck=11.755, mem=79M412
17.50/14.23 decisions=39222, wrong=18098, backtracks=11377, failedAssignments=10325, nogoods=1433, foundSolutions=22, bestBound=30
17.50/14.23 nFilterCalls=2318942, avgTableProportion=0.9982701021254413, avgTableSize=577.1130399121669
17.50/14.23
17.50/14.26 num=294, depth=6..11, filters=622671, revisions=(531672,useless=289743), ccks=1752433, wck=11.783, mem=79M412
17.50/14.26 decisions=39313, wrong=18140, backtracks=11400, failedAssignments=10350, nogoods=1438, foundSolutions=22, bestBound=30
17.50/14.26 nFilterCalls=2323716, avgTableProportion=0.9982701023869556, avgTableSize=577.113130864529
17.50/14.26
17.50/14.29 num=295, depth=4..10, filters=624556, revisions=(533425,useless=290720), ccks=1757810, wck=11.818, mem=79M412
17.50/14.29 decisions=39422, wrong=18192, backtracks=11433, failedAssignments=10378, nogoods=1448, foundSolutions=22, bestBound=30
17.50/14.29 nFilterCalls=2328845, avgTableProportion=0.9982701023751712, avgTableSize=577.1131268933742
17.50/14.29
17.60/14.33 num=296, depth=7..12, filters=626459, revisions=(535058,useless=291562), ccks=1764019, wck=11.857, mem=79M412
17.60/14.33 decisions=39540, wrong=18246, backtracks=11462, failedAssignments=10409, nogoods=1453, foundSolutions=22, bestBound=30
17.60/14.33 nFilterCalls=2335346, avgTableProportion=0.9982701023298086, avgTableSize=577.1131112905754
17.60/14.33
17.60/14.38 num=297, depth=3..12, filters=628698, revisions=(536971,useless=292627), ccks=1769111, wck=11.91, mem=79M412
17.60/14.38 decisions=39674, wrong=18311, backtracks=11504, failedAssignments=10443, nogoods=1460, foundSolutions=22, bestBound=30
17.60/14.38 nFilterCalls=2343768, avgTableProportion=0.9982701030974022, avgTableSize=577.1133781159227
17.60/14.38
17.70/14.43 num=298, depth=5..16, filters=630956, revisions=(538979,useless=293739), ccks=1775865, wck=11.954, mem=79M412
17.70/14.43 decisions=39806, wrong=18374, backtracks=11544, failedAssignments=10480, nogoods=1468, foundSolutions=22, bestBound=30
17.70/14.43 nFilterCalls=2352682, avgTableProportion=0.9982701027913101, avgTableSize=577.113272001911
17.70/14.43
17.70/14.48 num=299, depth=3..10, filters=633231, revisions=(541043,useless=294877), ccks=1781843, wck=12.009, mem=79M412
17.70/14.48 decisions=39951, wrong=18443, backtracks=11589, failedAssignments=10521, nogoods=1476, foundSolutions=22, bestBound=30
17.70/14.48 nFilterCalls=2360967, avgTableProportion=0.998270102701183, avgTableSize=577.1132408881615
17.70/14.48
17.80/14.54 num=300, depth=6..13, filters=636138, revisions=(543480,useless=296078), ccks=1791197, wck=12.067, mem=79M412
17.80/14.54 decisions=40122, wrong=18525, backtracks=11643, failedAssignments=10566, nogoods=1481, foundSolutions=22, bestBound=30
17.80/14.54 nFilterCalls=2370761, avgTableProportion=0.9982701023932073, avgTableSize=577.1131341370977
17.80/14.54
17.80/14.59 num=301, depth=4..16, filters=638602, revisions=(545606,useless=297206), ccks=1797969, wck=12.116, mem=79M412
17.80/14.59 decisions=40290, wrong=18605, backtracks=11697, failedAssignments=10616, nogoods=1489, foundSolutions=22, bestBound=30
17.80/14.59 nFilterCalls=2379985, avgTableProportion=0.9982701027040211, avgTableSize=577.1132423103506
17.80/14.59
17.93/14.65 num=302, depth=6..16, filters=641454, revisions=(547980,useless=298488), ccks=1806517, wck=12.176, mem=82M28
17.93/14.65 decisions=40481, wrong=18697, backtracks=11752, failedAssignments=10671, nogoods=1496, foundSolutions=22, bestBound=30
17.93/14.65 nFilterCalls=2391333, avgTableProportion=0.9982701027236583, avgTableSize=577.113249388521
17.93/14.65
18.03/14.72 num=303, depth=5..15, filters=645028, revisions=(551090,useless=300144), ccks=1816817, wck=12.247, mem=82M28
18.03/14.72 decisions=40719, wrong=18812, backtracks=11836, failedAssignments=10732, nogoods=1504, foundSolutions=22, bestBound=30
18.03/14.72 nFilterCalls=2405098, avgTableProportion=0.9982701037714891, avgTableSize=577.1136136656386
18.03/14.72
18.03/14.78 num=304, depth=5..14, filters=648765, revisions=(554369,useless=301738), ccks=1826964, wck=12.301, mem=82M28
18.03/14.78 decisions=40968, wrong=18934, backtracks=11916, failedAssignments=10799, nogoods=1510, foundSolutions=22, bestBound=30
18.03/14.78 nFilterCalls=2419010, avgTableProportion=0.9982701039579338, avgTableSize=577.1136787363425
18.03/14.78
18.13/14.87 num=305, depth=1..10, filters=653218, revisions=(558467,useless=303972), ccks=1838669, wck=12.392, mem=82M28
18.13/14.87 decisions=41214, wrong=19055, backtracks=11989, failedAssignments=10873, nogoods=1514, foundSolutions=22, bestBound=30
18.13/14.87 nFilterCalls=2432333, avgTableProportion=0.9982701042677383, avgTableSize=577.1137866402339
18.13/14.87
18.23/14.94 num=306, depth=4..14, filters=657215, revisions=(562057,useless=305780), ccks=1851377, wck=12.468, mem=82M28
18.23/14.94 decisions=41491, wrong=19188, backtracks=12062, failedAssignments=10954, nogoods=1519, foundSolutions=22, bestBound=30
18.23/14.94 nFilterCalls=2445149, avgTableProportion=0.9982701037673825, avgTableSize=577.1136131172375
18.23/14.94
18.34/15.04 num=307, depth=5..15, filters=662137, revisions=(566445,useless=308217), ccks=1866136, wck=12.565, mem=84M644
18.34/15.04 decisions=41799, wrong=19339, backtracks=12152, failedAssignments=11043, nogoods=1525, foundSolutions=22, bestBound=30
18.34/15.04 nFilterCalls=2462287, avgTableProportion=0.9982701037545151, avgTableSize=577.1136090147087
18.34/15.04
18.44/15.15 num=308, depth=5..12, filters=667417, revisions=(571074,useless=310781), ccks=1882631, wck=12.672, mem=84M644
18.44/15.15 decisions=42130, wrong=19502, backtracks=12250, failedAssignments=11141, nogoods=1538, foundSolutions=22, bestBound=30
18.44/15.15 nFilterCalls=2480262, avgTableProportion=0.9982701050103472, avgTableSize=577.1140456129232
18.44/15.15
18.53/15.26 num=309, depth=5..13, filters=674034, revisions=(576731,useless=313984), ccks=1899658, wck=12.788, mem=84M644
18.53/15.26 decisions=42527, wrong=19698, backtracks=12384, failedAssignments=11249, nogoods=1544, foundSolutions=22, bestBound=30
18.53/15.26 nFilterCalls=2502252, avgTableProportion=0.9982701053278852, avgTableSize=577.1141563679438
18.53/15.26
18.73/15.43 num=310, depth=3..13, filters=681362, revisions=(582767,useless=317398), ccks=1919140, wck=12.951, mem=87M260
18.73/15.43 decisions=42957, wrong=19911, backtracks=12519, failedAssignments=11368, nogoods=1553, foundSolutions=22, bestBound=30
18.73/15.43 nFilterCalls=2529857, avgTableProportion=0.9982701091028668, avgTableSize=577.1154681865418
18.73/15.43
18.83/15.58 num=311, depth=2..15, filters=689390, revisions=(589719,useless=321233), ccks=1939247, wck=13.11, mem=87M260
18.83/15.58 decisions=43393, wrong=20128, backtracks=12662, failedAssignments=11499, nogoods=1555, foundSolutions=22, bestBound=30
18.83/15.58 nFilterCalls=2556451, avgTableProportion=0.9982701093662512, avgTableSize=577.1155602043615
18.83/15.58
19.03/15.78 num=312, depth=5..14, filters=698290, revisions=(596789,useless=325214), ccks=1962896, wck=13.304, mem=87M260
19.03/15.78 decisions=43882, wrong=20370, backtracks=12819, failedAssignments=11643, nogoods=1561, foundSolutions=22, bestBound=30
19.03/15.78 nFilterCalls=2589416, avgTableProportion=0.9982701115886166, avgTableSize=577.1163327947305
19.03/15.78
19.23/15.95 num=313, depth=1..15, filters=706822, revisions=(604468,useless=329255), ccks=1988054, wck=13.472, mem=89M876
19.23/15.95 decisions=44447, wrong=20650, backtracks=13003, failedAssignments=11801, nogoods=1565, foundSolutions=22, bestBound=30
19.23/15.95 nFilterCalls=2617385, avgTableProportion=0.9982701118920785, avgTableSize=577.1164387356082
19.23/15.95
19.44/16.13 num=314, depth=5..17, filters=716416, revisions=(612686,useless=333683), ccks=2019672, wck=13.66, mem=89M876
19.44/16.13 decisions=45055, wrong=20951, backtracks=13191, failedAssignments=11975, nogoods=1576, foundSolutions=22, bestBound=30
19.44/16.13 nFilterCalls=2652278, avgTableProportion=0.9982701118566761, avgTableSize=577.1164270864517
19.44/16.13
19.63/16.32 num=315, depth=6..15, filters=726454, revisions=(621253,useless=338372), ccks=2050651, wck=13.845, mem=92M492
19.63/16.32 decisions=45704, wrong=21272, backtracks=13404, failedAssignments=12166, nogoods=1586, foundSolutions=22, bestBound=30
19.63/16.32 nFilterCalls=2689027, avgTableProportion=0.9982701138058693, avgTableSize=577.1171048115174
19.63/16.32
19.83/16.55 num=316, depth=3..14, filters=738877, revisions=(632614,useless=344773), ccks=2086214, wck=14.072, mem=92M492
19.83/16.55 decisions=46439, wrong=21637, backtracks=13642, failedAssignments=12377, nogoods=1592, foundSolutions=22, bestBound=30
19.83/16.55 nFilterCalls=2728807, avgTableProportion=0.9982701145545674, avgTableSize=577.1173655740403
19.83/16.55
20.13/16.86 num=317, depth=2..13, filters=753662, revisions=(644988,useless=351624), ccks=2126791, wck=14.388, mem=95M108
20.13/16.86 decisions=47285, wrong=22057, backtracks=13924, failedAssignments=12609, nogoods=1599, foundSolutions=22, bestBound=30
20.13/16.86 nFilterCalls=2781186, avgTableProportion=0.9982701157667462, avgTableSize=577.1177875194252
20.13/16.86
20.44/17.17 num=318, depth=1..13, filters=768066, revisions=(658125,useless=358848), ccks=2165428, wck=14.692, mem=97M724
20.44/17.17 decisions=48185, wrong=22506, backtracks=14193, failedAssignments=12864, nogoods=1605, foundSolutions=22, bestBound=30
20.44/17.17 nFilterCalls=2828725, avgTableProportion=0.9982701165140674, avgTableSize=577.1180478837639
20.44/17.17
20.83/17.52 num=319, depth=4..13, filters=787197, revisions=(674980,useless=368427), ccks=2218221, wck=15.046, mem=100M339
20.83/17.52 decisions=49273, wrong=23047, backtracks=14550, failedAssignments=13145, nogoods=1616, foundSolutions=22, bestBound=30
20.83/17.52 nFilterCalls=2893841, avgTableProportion=0.9982701205374191, avgTableSize=577.1194464381423
20.83/17.52
21.13/17.89 num=320, depth=2..13, filters=806359, revisions=(691574,useless=377226), ccks=2268571, wck=15.412, mem=102M955
21.13/17.89 decisions=50408, wrong=23612, backtracks=14917, failedAssignments=13454, nogoods=1625, foundSolutions=22, bestBound=30
21.13/17.89 nFilterCalls=2961102, avgTableProportion=0.9982701208795668, avgTableSize=577.1195662966018
21.13/17.89
21.63/18.33 num=321, depth=2..16, filters=827551, revisions=(709366,useless=386822), ccks=2328925, wck=15.852, mem=105M571
21.63/18.33 decisions=51655, wrong=24232, backtracks=15315, failedAssignments=13794, nogoods=1633, foundSolutions=22, bestBound=30
21.63/18.33 nFilterCalls=3039969, avgTableProportion=0.9982701228206983, avgTableSize=577.1202416866751
21.63/18.33
22.13/18.85 num=322, depth=2..15, filters=853226, revisions=(730084,useless=398822), ccks=2393213, wck=16.373, mem=108M187
22.13/18.85 decisions=53092, wrong=24947, backtracks=15799, failedAssignments=14168, nogoods=1647, foundSolutions=22, bestBound=30
22.13/18.85 nFilterCalls=3133346, avgTableProportion=0.9982701258676373, avgTableSize=577.1213013181437
22.13/18.85
22.63/19.39 num=323, depth=4..16, filters=881258, revisions=(753326,useless=412360), ccks=2465399, wck=16.914, mem=110M803
22.63/19.39 decisions=54630, wrong=25713, backtracks=16294, failedAssignments=14579, nogoods=1657, foundSolutions=22, bestBound=30
22.63/19.39 nFilterCalls=3232766, avgTableProportion=0.9982701287094651, avgTableSize=577.1222897048534
22.63/19.39
22.73/19.45 o 36
22.73/19.45 num=324, depth=4..74, filters=883563, revisions=(755331,useless=413433), ccks=2472449, wck=16.973, mem=110M803
22.73/19.45 decisions=54793, wrong=25787, backtracks=16336, failedAssignments=14627, nogoods=1662, foundSolutions=23, bestBound=36
22.73/19.45 nFilterCalls=3242715, avgTableProportion=0.9982701289615515, avgTableSize=577.1223773905508
22.73/19.45
23.35/20.09 num=325, depth=3..14, filters=916056, revisions=(782452,useless=428868), ccks=2554864, wck=17.618, mem=116M35
23.35/20.09 decisions=56582, wrong=26679, backtracks=16939, failedAssignments=15124, nogoods=1672, foundSolutions=23, bestBound=36
23.35/20.09 nFilterCalls=3345577, avgTableProportion=0.9982701293452766, avgTableSize=577.1225119015345
23.35/20.09
23.45/20.11 num=326, depth=4..12, filters=916778, revisions=(783114,useless=429209), ccks=2556833, wck=17.631, mem=116M35
23.45/20.11 decisions=56627, wrong=26698, backtracks=16952, failedAssignments=15135, nogoods=1677, foundSolutions=23, bestBound=36
23.45/20.11 nFilterCalls=3348028, avgTableProportion=0.9982701294085887, avgTableSize=577.1225339214607
23.45/20.11
23.45/20.13 num=327, depth=2..9, filters=917630, revisions=(783840,useless=429624), ccks=2558872, wck=17.652, mem=116M35
23.45/20.13 decisions=56677, wrong=26722, backtracks=16968, failedAssignments=15147, nogoods=1678, foundSolutions=23, bestBound=36
23.45/20.13 nFilterCalls=3351399, avgTableProportion=0.9982701295724961, avgTableSize=577.1225908941311
23.45/20.13
23.45/20.14 num=328, depth=6..11, filters=918336, revisions=(784527,useless=429990), ccks=2560919, wck=17.665, mem=116M35
23.45/20.14 decisions=56732, wrong=26746, backtracks=16983, failedAssignments=15160, nogoods=1683, foundSolutions=23, bestBound=36
23.45/20.14 nFilterCalls=3353414, avgTableProportion=0.9982701296908847, avgTableSize=577.1226320400642
23.45/20.14
23.45/20.16 num=329, depth=3..10, filters=919240, revisions=(785357,useless=430429), ccks=2563220, wck=17.685, mem=116M35
23.45/20.16 decisions=56781, wrong=26768, backtracks=16996, failedAssignments=15174, nogoods=1687, foundSolutions=23, bestBound=36
23.45/20.16 nFilterCalls=3356396, avgTableProportion=0.9982701299286464, avgTableSize=577.122714661798
23.45/20.16
23.45/20.18 num=330, depth=4..14, filters=920259, revisions=(786295,useless=430936), ccks=2566036, wck=17.703, mem=116M35
23.45/20.18 decisions=56837, wrong=26793, backtracks=17013, failedAssignments=15190, nogoods=1691, foundSolutions=23, bestBound=36
23.45/20.18 nFilterCalls=3359359, avgTableProportion=0.9982701300771463, avgTableSize=577.1227662777334
23.45/20.18
23.55/20.20 num=331, depth=5..9, filters=921635, revisions=(787647,useless=431647), ccks=2569733, wck=17.728, mem=116M35
23.55/20.20 decisions=56910, wrong=26826, backtracks=17035, failedAssignments=15207, nogoods=1697, foundSolutions=23, bestBound=36
23.55/20.20 nFilterCalls=3363257, avgTableProportion=0.9982701299472994, avgTableSize=577.1227212193419
23.55/20.20
23.55/20.22 num=332, depth=3..11, filters=922617, revisions=(788561,useless=432125), ccks=2572630, wck=17.749, mem=116M35
23.55/20.22 decisions=56966, wrong=26851, backtracks=17046, failedAssignments=15226, nogoods=1702, foundSolutions=23, bestBound=36
23.55/20.22 nFilterCalls=3366423, avgTableProportion=0.998270129900558, avgTableSize=577.1227050195415
23.55/20.22
23.55/20.25 num=333, depth=5..13, filters=924063, revisions=(789865,useless=432826), ccks=2576076, wck=17.775, mem=116M35
23.55/20.25 decisions=57050, wrong=26890, backtracks=17075, failedAssignments=15247, nogoods=1707, foundSolutions=23, bestBound=36
23.55/20.25 nFilterCalls=3370763, avgTableProportion=0.9982701299879253, avgTableSize=577.1227354162841
23.55/20.25
23.55/20.28 num=334, depth=4..11, filters=925638, revisions=(791349,useless=433644), ccks=2579984, wck=17.805, mem=116M35
23.55/20.28 decisions=57144, wrong=26935, backtracks=17104, failedAssignments=15270, nogoods=1712, foundSolutions=23, bestBound=36
23.55/20.28 nFilterCalls=3375640, avgTableProportion=0.9982701299019863, avgTableSize=577.1227056202675
23.55/20.28
23.65/20.31 num=335, depth=2..12, filters=927474, revisions=(793080,useless=434558), ccks=2584379, wck=17.836, mem=116M35
23.65/20.31 decisions=57244, wrong=26983, backtracks=17137, failedAssignments=15295, nogoods=1715, foundSolutions=23, bestBound=36
23.65/20.31 nFilterCalls=3380367, avgTableProportion=0.9982701297680977, avgTableSize=577.1226591668893
23.65/20.31
23.65/20.34 num=336, depth=5..12, filters=929382, revisions=(794777,useless=435483), ccks=2589110, wck=17.866, mem=118M651
23.65/20.34 decisions=57345, wrong=27030, backtracks=17168, failedAssignments=15323, nogoods=1721, foundSolutions=23, bestBound=36
23.65/20.34 nFilterCalls=3386153, avgTableProportion=0.9982701300478757, avgTableSize=577.1227564141373
23.65/20.34
23.65/20.38 num=337, depth=4..11, filters=930830, revisions=(796033,useless=436123), ccks=2593384, wck=17.901, mem=118M651
23.65/20.38 decisions=57446, wrong=27077, backtracks=17198, failedAssignments=15354, nogoods=1730, foundSolutions=23, bestBound=36
23.65/20.38 nFilterCalls=3391506, avgTableProportion=0.9982701303574378, avgTableSize=577.1228640020097
23.65/20.38
23.78/20.42 num=338, depth=4..15, filters=933207, revisions=(798186,useless=437305), ccks=2600174, wck=17.942, mem=118M651
23.78/20.42 decisions=57592, wrong=27145, backtracks=17246, failedAssignments=15388, nogoods=1733, foundSolutions=23, bestBound=36
23.78/20.42 nFilterCalls=3398133, avgTableProportion=0.9982701304705632, avgTableSize=577.1229033707627
23.78/20.42
23.78/20.46 num=339, depth=4..10, filters=935317, revisions=(800135,useless=438376), ccks=2606831, wck=17.987, mem=118M651
23.78/20.46 decisions=57722, wrong=27207, backtracks=17287, failedAssignments=15425, nogoods=1739, foundSolutions=23, bestBound=36
23.78/20.46 nFilterCalls=3404865, avgTableProportion=0.9982701307794841, avgTableSize=577.1230107507934
23.78/20.46
23.88/20.53 num=340, depth=1..11, filters=938356, revisions=(802797,useless=439869), ccks=2613264, wck=18.055, mem=118M651
23.88/20.53 decisions=57886, wrong=27287, backtracks=17339, failedAssignments=15466, nogoods=1750, foundSolutions=23, bestBound=36
23.88/20.53 nFilterCalls=3415254, avgTableProportion=0.9982701308913003, avgTableSize=577.1230497058199
23.88/20.53
23.88/20.60 num=341, depth=4..12, filters=941668, revisions=(805567,useless=441484), ccks=2621309, wck=18.121, mem=118M651
23.88/20.60 decisions=58081, wrong=27382, backtracks=17401, failedAssignments=15511, nogoods=1756, foundSolutions=23, bestBound=36
23.88/20.60 nFilterCalls=3426360, avgTableProportion=0.9982701312080564, avgTableSize=577.123159854773
23.88/20.60
23.98/20.66 num=342, depth=2..13, filters=944513, revisions=(807882,useless=442739), ccks=2628551, wck=18.182, mem=118M651
23.98/20.66 decisions=58261, wrong=27468, backtracks=17454, failedAssignments=15561, nogoods=1768, foundSolutions=23, bestBound=36
23.98/20.66 nFilterCalls=3437055, avgTableProportion=0.9982701319094717, avgTableSize=577.1234036115221
23.98/20.66
24.08/20.72 num=343, depth=3..11, filters=947891, revisions=(810960,useless=444362), ccks=2638577, wck=18.246, mem=121M267
24.08/20.72 decisions=58450, wrong=27559, backtracks=17509, failedAssignments=15616, nogoods=1777, foundSolutions=23, bestBound=36
24.08/20.72 nFilterCalls=3446798, avgTableProportion=0.9982701317460261, avgTableSize=577.1233469440333
24.08/20.72
24.08/20.79 num=344, depth=5..16, filters=951058, revisions=(813770,useless=445913), ccks=2646343, wck=18.317, mem=121M267
24.08/20.79 decisions=58657, wrong=27660, backtracks=17569, failedAssignments=15677, nogoods=1787, foundSolutions=23, bestBound=36
24.08/20.79 nFilterCalls=3458370, avgTableProportion=0.9982701319126787, avgTableSize=577.1234049566704
24.08/20.79
24.18/20.86 num=345, depth=3..13, filters=954466, revisions=(816825,useless=447490), ccks=2656745, wck=18.383, mem=121M267
24.18/20.86 decisions=58876, wrong=27766, backtracks=17630, failedAssignments=15744, nogoods=1795, foundSolutions=23, bestBound=36
24.18/20.86 nFilterCalls=3468690, avgTableProportion=0.9982701322704584, avgTableSize=577.123529343931
24.18/20.86
24.28/20.94 num=346, depth=4..13, filters=958812, revisions=(820775,useless=449719), ccks=2668671, wck=18.461, mem=121M267
24.28/20.94 decisions=59151, wrong=27901, backtracks=17716, failedAssignments=15818, nogoods=1804, foundSolutions=23, bestBound=36
24.28/20.94 nFilterCalls=3482132, avgTableProportion=0.9982701324746849, avgTableSize=577.1236004264055
24.28/20.94
24.39/21.05 num=347, depth=5..13, filters=964314, revisions=(825017,useless=452178), ccks=2682537, wck=18.578, mem=121M267
24.39/21.05 decisions=59454, wrong=28050, backtracks=17825, failedAssignments=15899, nogoods=1816, foundSolutions=23, bestBound=36
24.39/21.05 nFilterCalls=3501865, avgTableProportion=0.9982701339152302, avgTableSize=577.124101014745
24.39/21.05
24.49/21.15 num=348, depth=3..11, filters=969884, revisions=(829981,useless=454793), ccks=2695821, wck=18.675, mem=123M883
24.49/21.15 decisions=59776, wrong=28209, backtracks=17931, failedAssignments=15988, nogoods=1820, foundSolutions=23, bestBound=36
24.49/21.15 nFilterCalls=3520924, avgTableProportion=0.998270134794257, avgTableSize=577.1244065478267
24.49/21.15
24.58/21.26 num=349, depth=4..13, filters=975817, revisions=(835260,useless=457714), ccks=2712102, wck=18.783, mem=123M883
24.58/21.26 decisions=60117, wrong=28377, backtracks=18036, failedAssignments=16086, nogoods=1829, foundSolutions=23, bestBound=36
24.58/21.26 nFilterCalls=3539464, avgTableProportion=0.9982701352032403, avgTableSize=577.1245488017395
24.58/21.26
24.68/21.39 num=350, depth=4..14, filters=982797, revisions=(841275,useless=460905), ccks=2733502, wck=18.915, mem=123M883
24.68/21.39 decisions=60486, wrong=28558, backtracks=18143, failedAssignments=16194, nogoods=1839, foundSolutions=23, bestBound=36
24.68/21.39 nFilterCalls=3560419, avgTableProportion=0.9982701359182861, avgTableSize=577.1247973904195
24.68/21.39
24.88/21.55 num=351, depth=2..12, filters=989849, revisions=(847593,useless=464361), ccks=2753014, wck=19.076, mem=126M499
24.88/21.55 decisions=60912, wrong=28768, backtracks=18273, failedAssignments=16313, nogoods=1847, foundSolutions=23, bestBound=36
24.88/21.55 nFilterCalls=3585273, avgTableProportion=0.9982701356720808, avgTableSize=577.1247121209459
24.88/21.55
25.08/21.72 num=352, depth=3..12, filters=998414, revisions=(855183,useless=468578), ccks=2776578, wck=19.244, mem=126M499
25.08/21.72 decisions=61417, wrong=29016, backtracks=18441, failedAssignments=16444, nogoods=1854, foundSolutions=23, bestBound=36
25.08/21.72 nFilterCalls=3613485, avgTableProportion=0.9982701348503584, avgTableSize=577.124426972853
25.08/21.72
25.28/21.90 num=353, depth=3..12, filters=1007826, revisions=(863350,useless=473054), ccks=2803416, wck=19.424, mem=129M115
25.28/21.90 decisions=61961, wrong=29286, backtracks=18616, failedAssignments=16588, nogoods=1858, foundSolutions=23, bestBound=36
25.28/21.90 nFilterCalls=3642143, avgTableProportion=0.9982701345540606, avgTableSize=577.1243243332291
25.28/21.90
25.49/22.12 num=354, depth=2..11, filters=1018690, revisions=(872596,useless=478396), ccks=2828994, wck=19.641, mem=129M115
25.49/22.12 decisions=62521, wrong=29565, backtracks=18797, failedAssignments=16746, nogoods=1873, foundSolutions=23, bestBound=36
25.49/22.12 nFilterCalls=3676669, avgTableProportion=0.998270135302123, avgTableSize=577.1245845084233
25.49/22.12
25.68/22.34 num=355, depth=2..12, filters=1030464, revisions=(882813,useless=484275), ccks=2858684, wck=19.869, mem=131M731
25.68/22.34 decisions=63135, wrong=29870, backtracks=18997, failedAssignments=16920, nogoods=1880, foundSolutions=23, bestBound=36
25.68/22.34 nFilterCalls=3712259, avgTableProportion=0.9982701344876712, avgTableSize=577.1243019412169
25.68/22.34
25.68/22.36 o 38
25.68/22.36 num=356, depth=3..74, filters=1031078, revisions=(883408,useless=484598), ccks=2860500, wck=19.883, mem=131M731
25.68/22.36 decisions=63172, wrong=29884, backtracks=19005, failedAssignments=16929, nogoods=1886, foundSolutions=24, bestBound=38
25.68/22.36 nFilterCalls=3714890, avgTableProportion=0.9982701345394932, avgTableSize=577.1243199664054
25.68/22.36
25.98/22.63 num=357, depth=1..13, filters=1043814, revisions=(894733,useless=491118), ccks=2895002, wck=20.152, mem=131M731
25.98/22.63 decisions=63937, wrong=30262, backtracks=19263, failedAssignments=17140, nogoods=1894, foundSolutions=24, bestBound=38
25.98/22.63 nFilterCalls=3756307, avgTableProportion=0.9982701353692202, avgTableSize=577.1246085583526
25.98/22.63
25.98/22.65 num=358, depth=4..12, filters=1044635, revisions=(895454,useless=491542), ccks=2896883, wck=20.17, mem=131M731
25.98/22.65 decisions=63986, wrong=30282, backtracks=19278, failedAssignments=17151, nogoods=1900, foundSolutions=24, bestBound=38
25.98/22.65 nFilterCalls=3759030, avgTableProportion=0.9982701354746011, avgTableSize=577.1246451877213
25.98/22.65
25.98/22.66 num=359, depth=7..12, filters=1045268, revisions=(896025,useless=491838), ccks=2898947, wck=20.183, mem=131M731
25.98/22.66 decisions=64028, wrong=30299, backtracks=19289, failedAssignments=17163, nogoods=1902, foundSolutions=24, bestBound=38
25.98/22.66 nFilterCalls=3761215, avgTableProportion=0.9982701354880535, avgTableSize=577.1246498804243
25.98/22.66
25.98/22.68 num=360, depth=3..13, filters=1046120, revisions=(896788,useless=492245), ccks=2901297, wck=20.201, mem=131M731
25.98/22.68 decisions=64080, wrong=30321, backtracks=19304, failedAssignments=17176, nogoods=1910, foundSolutions=24, bestBound=38
25.98/22.68 nFilterCalls=3764162, avgTableProportion=0.9982701354578859, avgTableSize=577.1246394283775
25.98/22.68
25.98/22.69 num=361, depth=4..10, filters=1047042, revisions=(897592,useless=492700), ccks=2903762, wck=20.219, mem=131M731
25.98/22.69 decisions=64138, wrong=30348, backtracks=19323, failedAssignments=17190, nogoods=1911, foundSolutions=24, bestBound=38
25.98/22.69 nFilterCalls=3766749, avgTableProportion=0.9982701355461383, avgTableSize=577.1246701067685
25.98/22.69
26.08/22.72 num=362, depth=1..8, filters=1048216, revisions=(898650,useless=493259), ccks=2906885, wck=20.243, mem=134M347
26.08/22.72 decisions=64199, wrong=30376, backtracks=19340, failedAssignments=17206, nogoods=1920, foundSolutions=24, bestBound=38
26.08/22.72 nFilterCalls=3770336, avgTableProportion=0.9982701355772045, avgTableSize=577.1246809302937
26.08/22.72
26.08/22.74 num=363, depth=4..9, filters=1049093, revisions=(899380,useless=493633), ccks=2908787, wck=20.261, mem=134M347
26.08/22.74 decisions=64259, wrong=30404, backtracks=19358, failedAssignments=17223, nogoods=1923, foundSolutions=24, bestBound=38
26.08/22.74 nFilterCalls=3774102, avgTableProportion=0.9982701355881299, avgTableSize=577.1246847594474
26.08/22.74
26.08/22.76 num=364, depth=2..10, filters=1050147, revisions=(900313,useless=494127), ccks=2911733, wck=20.286, mem=134M347
26.08/22.76 decisions=64331, wrong=30439, backtracks=19379, failedAssignments=17242, nogoods=1926, foundSolutions=24, bestBound=38
26.08/22.76 nFilterCalls=3778047, avgTableProportion=0.9982701354837225, avgTableSize=577.1246485287239
26.08/22.76
26.18/22.80 num=365, depth=4..15, filters=1052017, revisions=(901975,useless=495113), ccks=2915871, wck=20.322, mem=134M347
26.18/22.80 decisions=64441, wrong=30490, backtracks=19417, failedAssignments=17263, nogoods=1928, foundSolutions=24, bestBound=38
26.18/22.80 nFilterCalls=3784945, avgTableProportion=0.9982701357438081, avgTableSize=577.1247389327982
26.18/22.80
26.18/22.82 num=366, depth=5..11, filters=1053229, revisions=(903124,useless=495731), ccks=2918964, wck=20.349, mem=134M347
26.18/22.82 decisions=64530, wrong=30532, backtracks=19443, failedAssignments=17286, nogoods=1937, foundSolutions=24, bestBound=38
26.18/22.82 nFilterCalls=3789523, avgTableProportion=0.99827013561146, avgTableSize=577.1246930022592
26.18/22.82
26.18/22.86 num=367, depth=3..12, filters=1055045, revisions=(904801,useless=496699), ccks=2923589, wck=20.387, mem=134M347
26.18/22.86 decisions=64640, wrong=30583, backtracks=19478, failedAssignments=17311, nogoods=1946, foundSolutions=24, bestBound=38
26.18/22.86 nFilterCalls=3796658, avgTableProportion=0.9982701360096086, avgTableSize=577.1248313648478
26.18/22.86
26.28/22.90 num=368, depth=4..12, filters=1057017, revisions=(906608,useless=497664), ccks=2928626, wck=20.428, mem=134M347
26.28/22.90 decisions=64758, wrong=30639, backtracks=19513, failedAssignments=17339, nogoods=1959, foundSolutions=24, bestBound=38
26.28/22.90 nFilterCalls=3803898, avgTableProportion=0.9982701358249232, avgTableSize=577.1247672781973
26.28/22.90
26.28/22.94 num=369, depth=2..9, filters=1059001, revisions=(908426,useless=498647), ccks=2934452, wck=20.47, mem=134M347
26.28/22.94 decisions=64881, wrong=30697, backtracks=19552, failedAssignments=17370, nogoods=1963, foundSolutions=24, bestBound=38
26.28/22.94 nFilterCalls=3809856, avgTableProportion=0.9982701353892436, avgTableSize=577.1246159959851
26.28/22.94
26.28/22.99 num=370, depth=4..11, filters=1061184, revisions=(910274,useless=499662), ccks=2940421, wck=20.516, mem=134M347
26.28/22.99 decisions=65001, wrong=30754, backtracks=19582, failedAssignments=17404, nogoods=1967, foundSolutions=24, bestBound=38
26.28/22.99 nFilterCalls=3816828, avgTableProportion=0.9982701354525577, avgTableSize=577.1246380502344
26.28/22.99
26.39/23.04 num=371, depth=4..11, filters=1063812, revisions=(912640,useless=500907), ccks=2948043, wck=20.563, mem=134M347
26.39/23.04 decisions=65144, wrong=30822, backtracks=19624, failedAssignments=17441, nogoods=1972, foundSolutions=24, bestBound=38
26.39/23.04 nFilterCalls=3824036, avgTableProportion=0.998270135296994, avgTableSize=577.1245840781834
26.39/23.04
26.39/23.10 num=372, depth=1..10, filters=1066775, revisions=(915384,useless=502411), ccks=2955306, wck=20.621, mem=136M963
26.39/23.10 decisions=65301, wrong=30899, backtracks=19675, failedAssignments=17482, nogoods=1979, foundSolutions=24, bestBound=38
26.39/23.10 nFilterCalls=3832476, avgTableProportion=0.9982701352656138, avgTableSize=577.124573252383
26.39/23.10
26.49/23.15 num=373, depth=2..10, filters=1069539, revisions=(917796,useless=503719), ccks=2962194, wck=20.679, mem=136M963
26.49/23.15 decisions=65456, wrong=30974, backtracks=19715, failedAssignments=17527, nogoods=1989, foundSolutions=24, bestBound=38
26.49/23.15 nFilterCalls=3841179, avgTableProportion=0.9982701353687026, avgTableSize=577.1246091369343
26.49/23.15
26.58/23.21 num=374, depth=4..12, filters=1072787, revisions=(920800,useless=505262), ccks=2971465, wck=20.73, mem=136M963
26.58/23.21 decisions=65654, wrong=31070, backtracks=19777, failedAssignments=17577, nogoods=1991, foundSolutions=24, bestBound=38
26.58/23.21 nFilterCalls=3849214, avgTableProportion=0.9982701352292125, avgTableSize=577.1245607544813
26.58/23.21
26.58/23.27 num=375, depth=2..11, filters=1076022, revisions=(923785,useless=506825), ccks=2981193, wck=20.794, mem=136M963
26.58/23.27 decisions=65855, wrong=31168, backtracks=19843, failedAssignments=17632, nogoods=1996, foundSolutions=24, bestBound=38
26.58/23.27 nFilterCalls=3859545, avgTableProportion=0.9982701352342972, avgTableSize=577.1245626103595
26.58/23.27
26.68/23.33 num=376, depth=5..11, filters=1079768, revisions=(927129,useless=508753), ccks=2991366, wck=20.856, mem=136M963
26.68/23.33 decisions=66078, wrong=31277, backtracks=19905, failedAssignments=17693, nogoods=2003, foundSolutions=24, bestBound=38
26.68/23.33 nFilterCalls=3870287, avgTableProportion=0.9982701352674651, avgTableSize=577.124574224082
26.68/23.33
26.78/23.40 num=377, depth=5..13, filters=1083663, revisions=(930479,useless=510549), ccks=3002484, wck=20.925, mem=136M963
26.78/23.40 decisions=66321, wrong=31396, backtracks=19989, failedAssignments=17760, nogoods=2013, foundSolutions=24, bestBound=38
26.78/23.40 nFilterCalls=3887165, avgTableProportion=0.998270135096289, avgTableSize=577.1245149099665
26.78/23.40
26.78/23.49 num=378, depth=4..13, filters=1088163, revisions=(934710,useless=512900), ccks=3015732, wck=21.017, mem=139M579
26.78/23.49 decisions=66653, wrong=31559, backtracks=20102, failedAssignments=17834, nogoods=2020, foundSolutions=24, bestBound=38
26.78/23.49 nFilterCalls=3902752, avgTableProportion=0.9982701348909755, avgTableSize=577.1244437258632
26.78/23.49
26.98/23.60 num=379, depth=3..11, filters=1093226, revisions=(939079,useless=515347), ccks=3029327, wck=21.122, mem=139M579
26.98/23.60 decisions=66945, wrong=31703, backtracks=20195, failedAssignments=17915, nogoods=2025, foundSolutions=24, bestBound=38
26.98/23.60 nFilterCalls=3919407, avgTableProportion=0.9982701352559168, avgTableSize=577.1245706302
26.98/23.60
27.08/23.70 num=380, depth=2..9, filters=1098656, revisions=(944059,useless=518124), ccks=3045064, wck=21.228, mem=139M579
27.08/23.70 decisions=67283, wrong=31870, backtracks=20293, failedAssignments=18004, nogoods=2033, foundSolutions=24, bestBound=38
27.08/23.70 nFilterCalls=3935620, avgTableProportion=0.998270134811021, avgTableSize=577.1244162292091
27.08/23.70
27.18/23.81 num=381, depth=2..10, filters=1103698, revisions=(948646,useless=520628), ccks=3058597, wck=21.335, mem=139M579
27.18/23.81 decisions=67607, wrong=32030, backtracks=20394, failedAssignments=18102, nogoods=2042, foundSolutions=24, bestBound=38
27.18/23.81 nFilterCalls=3952554, avgTableProportion=0.9982701353635451, avgTableSize=577.1246082912467
27.18/23.81
27.28/23.94 num=382, depth=3..11, filters=1110021, revisions=(954167,useless=523575), ccks=3076301, wck=21.465, mem=142M195
27.28/23.94 decisions=67970, wrong=32209, backtracks=20507, failedAssignments=18210, nogoods=2046, foundSolutions=24, bestBound=38
27.28/23.94 nFilterCalls=3973155, avgTableProportion=0.9982701361289087, avgTableSize=577.1248743127313
27.28/23.94
27.39/24.09 num=383, depth=2..10, filters=1118096, revisions=(961445,useless=527611), ccks=3095981, wck=21.619, mem=142M195
27.39/24.09 decisions=68432, wrong=32438, backtracks=20653, failedAssignments=18329, nogoods=2052, foundSolutions=24, bestBound=38
27.39/24.09 nFilterCalls=3997095, avgTableProportion=0.9982701362151456, avgTableSize=577.1249044618654
27.39/24.09
27.59/24.28 num=384, depth=1..11, filters=1126484, revisions=(968939,useless=531745), ccks=3116955, wck=21.809, mem=142M195
27.59/24.28 decisions=68897, wrong=32669, backtracks=20808, failedAssignments=18460, nogoods=2062, foundSolutions=24, bestBound=38
27.59/24.28 nFilterCalls=4024495, avgTableProportion=0.9982701363058042, avgTableSize=577.124936172116
27.59/24.28
27.79/24.48 num=385, depth=0..14, filters=1135994, revisions=(977529,useless=536603), ccks=3142308, wck=22.01, mem=144M811
27.79/24.48 decisions=69407, wrong=32922, backtracks=20972, failedAssignments=18604, nogoods=2068, foundSolutions=24, bestBound=38
27.79/24.48 nFilterCalls=4055182, avgTableProportion=0.9982701366807198, avgTableSize=577.1250666431248
27.79/24.48
27.99/24.65 num=386, depth=3..11, filters=1145176, revisions=(985442,useless=540889), ccks=3168831, wck=22.175, mem=144M811
27.99/24.65 decisions=69946, wrong=33190, backtracks=21143, failedAssignments=18762, nogoods=2080, foundSolutions=24, bestBound=38
27.99/24.65 nFilterCalls=4088589, avgTableProportion=0.9982701364792231, avgTableSize=577.1249969121377
27.99/24.65
28.19/24.88 num=387, depth=0..13, filters=1155756, revisions=(994772,useless=546047), ccks=3197373, wck=22.405, mem=147M427
28.19/24.88 decisions=70544, wrong=33487, backtracks=21342, failedAssignments=18936, nogoods=2088, foundSolutions=24, bestBound=38
28.19/24.88 nFilterCalls=4123198, avgTableProportion=0.9982701364190997, avgTableSize=577.1249762926738
28.19/24.88
28.50/25.12 num=388, depth=2..12, filters=1167356, revisions=(1005056,useless=551902), ccks=3227330, wck=22.646, mem=150M43
28.50/25.12 decisions=71239, wrong=33832, backtracks=21577, failedAssignments=19127, nogoods=2100, foundSolutions=24, bestBound=38
28.50/25.12 nFilterCalls=4161297, avgTableProportion=0.9982701384519252, avgTableSize=577.125682689796
28.50/25.12
28.79/25.41 num=389, depth=3..13, filters=1180467, revisions=(1016218,useless=558622), ccks=3260150, wck=22.934, mem=150M43
28.79/25.41 decisions=71972, wrong=34196, backtracks=21815, failedAssignments=19338, nogoods=2108, foundSolutions=24, bestBound=38
28.79/25.41 nFilterCalls=4206137, avgTableProportion=0.9982701397001883, avgTableSize=577.1261164341532
28.79/25.41
29.09/25.70 num=390, depth=0..14, filters=1194877, revisions=(1029479,useless=566101), ccks=3299189, wck=23.228, mem=152M659
29.09/25.70 decisions=72830, wrong=34624, backtracks=22090, failedAssignments=19570, nogoods=2113, foundSolutions=24, bestBound=38
29.09/25.70 nFilterCalls=4249680, avgTableProportion=0.9982701414081594, avgTableSize=577.1267083639239
29.09/25.70
29.42/26.05 num=391, depth=1..13, filters=1211476, revisions=(1044173,useless=574420), ccks=3341487, wck=23.574, mem=155M275
29.42/26.05 decisions=73748, wrong=35082, backtracks=22404, failedAssignments=19825, nogoods=2124, foundSolutions=24, bestBound=38
29.42/26.05 nFilterCalls=4301201, avgTableProportion=0.9982701425845224, avgTableSize=577.1271154265983
29.42/26.05
29.82/26.42 num=392, depth=1..12, filters=1229529, revisions=(1059771,useless=583729), ccks=3386174, wck=23.947, mem=155M275
29.82/26.42 decisions=74791, wrong=35601, backtracks=22760, failedAssignments=20106, nogoods=2138, foundSolutions=24, bestBound=38
29.82/26.42 nFilterCalls=4362098, avgTableProportion=0.9982701458975299, avgTableSize=577.1282644268881
29.82/26.42
30.22/26.82 num=393, depth=1..12, filters=1249310, revisions=(1077114,useless=593755), ccks=3436122, wck=24.347, mem=157M891
30.22/26.82 decisions=75856, wrong=36132, backtracks=23104, failedAssignments=20415, nogoods=2144, foundSolutions=24, bestBound=38
30.22/26.82 nFilterCalls=4422849, avgTableProportion=0.998270146818236, avgTableSize=577.1285825041732
30.22/26.82
30.62/27.28 num=394, depth=1..16, filters=1272146, revisions=(1097291,useless=605979), ccks=3492310, wck=24.803, mem=160M507
30.62/27.28 decisions=77124, wrong=36764, backtracks=23533, failedAssignments=20755, nogoods=2154, foundSolutions=24, bestBound=38
30.62/27.28 nFilterCalls=4494828, avgTableProportion=0.9982701484993511, avgTableSize=577.1291644530113
30.62/27.28
31.35/27.90 num=395, depth=0..14, filters=1301364, revisions=(1122460,useless=621295), ccks=3567919, wck=25.429, mem=33M725
31.35/27.90 decisions=78590, wrong=37494, backtracks=24034, failedAssignments=21129, nogoods=2164, foundSolutions=24, bestBound=38
31.35/27.90 nFilterCalls=4592912, avgTableProportion=0.9982701504951604, avgTableSize=577.1298550897557
31.35/27.90
31.85/28.48 num=396, depth=0..12, filters=1330825, revisions=(1148732,useless=636437), ccks=3644222, wck=26.005, mem=36M341
31.85/28.48 decisions=80052, wrong=38223, backtracks=24516, failedAssignments=21540, nogoods=2174, foundSolutions=24, bestBound=38
31.85/28.48 nFilterCalls=4675513, avgTableProportion=0.9982701522701832, avgTableSize=577.1304695335036
31.85/28.48
32.56/29.14 num=397, depth=0..13, filters=1362705, revisions=(1176855,useless=653444), ccks=3727421, wck=26.67, mem=41M573
32.56/29.14 decisions=81731, wrong=39059, backtracks=25081, failedAssignments=21992, nogoods=2182, foundSolutions=24, bestBound=38
32.56/29.14 nFilterCalls=4779105, avgTableProportion=0.9982701567758503, avgTableSize=577.1320320436567
32.56/29.14
33.25/29.80 num=398, depth=0..17, filters=1397565, revisions=(1208369,useless=672488), ccks=3816872, wck=27.324, mem=44M189
33.25/29.80 decisions=83631, wrong=40008, backtracks=25710, failedAssignments=22489, nogoods=2192, foundSolutions=24, bestBound=38
33.25/29.80 nFilterCalls=4879416, avgTableProportion=0.9982701566910611, avgTableSize=577.1320002229775
33.25/29.80
33.95/30.51 o 41
33.95/30.51 num=399, depth=0..74, filters=1433502, revisions=(1240191,useless=691897), ccks=3913482, wck=28.036, mem=49M421
33.95/30.51 decisions=85654, wrong=41014, backtracks=26393, failedAssignments=23025, nogoods=2195, foundSolutions=25, bestBound=41
33.95/30.51 nFilterCalls=4989246, avgTableProportion=0.9982701603175347, avgTableSize=577.1332574100375
33.95/30.51
34.88/31.41 num=400, depth=0..13, filters=1476051, revisions=(1277209,useless=714990), ccks=4017668, wck=28.933, mem=54M653
34.88/31.41 decisions=87879, wrong=42125, backtracks=27126, failedAssignments=23627, nogoods=2209, foundSolutions=25, bestBound=41
34.88/31.41 nFilterCalls=5122252, avgTableProportion=0.9982701621355308, avgTableSize=577.1338860329402
34.88/31.41
34.88/31.43 num=401, depth=0..7, filters=1476888, revisions=(1278006,useless=715493), ccks=4020043, wck=28.955, mem=54M653
34.88/31.43 decisions=87927, wrong=42148, backtracks=27145, failedAssignments=23638, nogoods=2212, foundSolutions=25, bestBound=41
34.88/31.43 nFilterCalls=5125233, avgTableProportion=0.9982701624417796, avgTableSize=577.1339923472748
34.88/31.43
34.88/31.45 num=402, depth=3..10, filters=1477634, revisions=(1278722,useless=715926), ccks=4021890, wck=28.973, mem=54M653
34.88/31.45 decisions=87970, wrong=42168, backtracks=27157, failedAssignments=23650, nogoods=2213, foundSolutions=25, bestBound=41
34.88/31.45 nFilterCalls=5127764, avgTableProportion=0.998270162416592, avgTableSize=577.1339835452645
34.88/31.45
34.88/31.47 num=403, depth=5..12, filters=1478572, revisions=(1279522,useless=716400), ccks=4024764, wck=28.997, mem=54M653
34.88/31.47 decisions=88025, wrong=42192, backtracks=27171, failedAssignments=23663, nogoods=2217, foundSolutions=25, bestBound=41
34.88/31.47 nFilterCalls=5131337, avgTableProportion=0.9982701625841537, avgTableSize=577.1340416737393
34.88/31.47
34.88/31.49 num=404, depth=4..10, filters=1479432, revisions=(1280187,useless=716809), ccks=4026945, wck=29.017, mem=54M653
34.88/31.49 decisions=88072, wrong=42213, backtracks=27185, failedAssignments=23677, nogoods=2222, foundSolutions=25, bestBound=41
34.88/31.49 nFilterCalls=5135106, avgTableProportion=0.9982701627109694, avgTableSize=577.1340856449701
34.88/31.49
34.98/31.52 num=405, depth=3..9, filters=1480661, revisions=(1281233,useless=717440), ccks=4030148, wck=29.042, mem=54M653
34.98/31.52 decisions=88131, wrong=42241, backtracks=27205, failedAssignments=23693, nogoods=2225, foundSolutions=25, bestBound=41
34.98/31.52 nFilterCalls=5138707, avgTableProportion=0.9982701628182797, avgTableSize=577.134122844521
34.98/31.52
34.98/31.54 num=406, depth=5..14, filters=1481682, revisions=(1282156,useless=718006), ccks=4033160, wck=29.065, mem=54M653
34.98/31.54 decisions=88198, wrong=42272, backtracks=27228, failedAssignments=23710, nogoods=2230, foundSolutions=25, bestBound=41
34.98/31.54 nFilterCalls=5142107, avgTableProportion=0.9982701629550818, avgTableSize=577.1341702924501
34.98/31.54
34.98/31.57 num=407, depth=0..11, filters=1482978, revisions=(1283276,useless=718679), ccks=4036679, wck=29.095, mem=54M653
34.98/31.57 decisions=88271, wrong=42306, backtracks=27253, failedAssignments=23729, nogoods=2232, foundSolutions=25, bestBound=41
34.98/31.57 nFilterCalls=5146501, avgTableProportion=0.9982701630344739, avgTableSize=577.1341977782575
34.98/31.57
35.08/31.60 num=408, depth=1..8, filters=1484538, revisions=(1284696,useless=719583), ccks=4040323, wck=29.126, mem=54M653
35.08/31.60 decisions=88354, wrong=42346, backtracks=27275, failedAssignments=23750, nogoods=2237, foundSolutions=25, bestBound=41
35.08/31.60 nFilterCalls=5150883, avgTableProportion=0.9982701632191473, avgTableSize=577.1342618343301
35.08/31.60
35.08/31.63 num=409, depth=0..12, filters=1485804, revisions=(1285899,useless=720309), ccks=4043828, wck=29.158, mem=54M653
35.08/31.63 decisions=88444, wrong=42386, backtracks=27301, failedAssignments=23773, nogoods=2241, foundSolutions=25, bestBound=41
35.08/31.63 nFilterCalls=5155730, avgTableProportion=0.9982701632765224, avgTableSize=577.1342816633144
35.08/31.63
35.08/31.67 num=410, depth=5..13, filters=1487675, revisions=(1287278,useless=721177), ccks=4047770, wck=29.199, mem=54M653
35.08/31.67 decisions=88532, wrong=42427, backtracks=27329, failedAssignments=23798, nogoods=2244, foundSolutions=25, bestBound=41
35.08/31.67 nFilterCalls=5161844, avgTableProportion=0.9982701634944016, avgTableSize=577.1343572180795
35.08/31.67
35.18/31.71 num=411, depth=3..10, filters=1489430, revisions=(1288938,useless=722216), ccks=4052761, wck=29.234, mem=54M653
35.18/31.71 decisions=88648, wrong=42483, backtracks=27365, failedAssignments=23826, nogoods=2249, foundSolutions=25, bestBound=41
35.18/31.71 nFilterCalls=5166931, avgTableProportion=0.9982701636922376, avgTableSize=577.1344258322783
35.18/31.71
35.18/31.76 num=412, depth=1..14, filters=1491783, revisions=(1290866,useless=723398), ccks=4058786, wck=29.284, mem=54M653
35.18/31.76 decisions=88756, wrong=42534, backtracks=27395, failedAssignments=23857, nogoods=2254, foundSolutions=25, bestBound=41
35.18/31.76 nFilterCalls=5175288, avgTableProportion=0.9982701638844287, avgTableSize=577.1344924185862
35.18/31.76
35.28/31.82 num=413, depth=1..16, filters=1494614, revisions=(1293232,useless=724822), ccks=4066367, wck=29.344, mem=54M653
35.28/31.82 decisions=88898, wrong=42603, backtracks=27439, failedAssignments=23891, nogoods=2261, foundSolutions=25, bestBound=41
35.28/31.82 nFilterCalls=5183901, avgTableProportion=0.9982701640396688, avgTableSize=577.1345461651371
35.28/31.82
35.28/31.88 num=414, depth=1..10, filters=1497129, revisions=(1295493,useless=726281), ccks=4072753, wck=29.402, mem=57M269
35.28/31.88 decisions=89033, wrong=42668, backtracks=27481, failedAssignments=23928, nogoods=2267, foundSolutions=25, bestBound=41
35.28/31.88 nFilterCalls=5192549, avgTableProportion=0.9982701647406698, avgTableSize=577.1347894839317
35.28/31.88
35.38/31.93 num=415, depth=2..11, filters=1499802, revisions=(1297957,useless=727823), ccks=4079933, wck=29.458, mem=57M269
35.38/31.93 decisions=89196, wrong=42748, backtracks=27544, failedAssignments=23969, nogoods=2273, foundSolutions=25, bestBound=41
35.38/31.93 nFilterCalls=5200914, avgTableProportion=0.9982701648006583, avgTableSize=577.1348101506774
35.38/31.93
35.38/31.99 num=416, depth=2..13, filters=1502677, revisions=(1300698,useless=729605), ccks=4087042, wck=29.518, mem=57M269
35.38/31.99 decisions=89374, wrong=42834, backtracks=27604, failedAssignments=24014, nogoods=2281, foundSolutions=25, bestBound=41
35.38/31.99 nFilterCalls=5209960, avgTableProportion=0.9982701654004615, avgTableSize=577.1350183110811
35.38/31.99
35.49/32.07 num=417, depth=3..11, filters=1506478, revisions=(1304152,useless=731694), ccks=4097429, wck=29.591, mem=57M269
35.49/32.07 decisions=89595, wrong=42942, backtracks=27684, failedAssignments=24064, nogoods=2289, foundSolutions=25, bestBound=41
35.49/32.07 nFilterCalls=5221086, avgTableProportion=0.9982701657715326, avgTableSize=577.1351469790002
35.49/32.07
35.59/32.14 num=418, depth=1..10, filters=1509832, revisions=(1307215,useless=733516), ccks=4107477, wck=29.665, mem=57M269
35.59/32.14 decisions=89803, wrong=43045, backtracks=27754, failedAssignments=24119, nogoods=2293, foundSolutions=25, bestBound=41
35.59/32.14 nFilterCalls=5231868, avgTableProportion=0.9982701658881787, avgTableSize=577.1351872791897
35.59/32.14
35.68/32.22 num=419, depth=1..10, filters=1514117, revisions=(1311042,useless=735866), ccks=4119297, wck=29.747, mem=57M269
35.68/32.22 decisions=90041, wrong=43162, backtracks=27836, failedAssignments=24180, nogoods=2302, foundSolutions=25, bestBound=41
35.68/32.22 nFilterCalls=5243875, avgTableProportion=0.9982701662428733, avgTableSize=577.1353102429024
35.68/32.22
35.78/32.31 num=420, depth=0..9, filters=1517942, revisions=(1314518,useless=738099), ccks=4129936, wck=29.837, mem=59M885
35.78/32.31 decisions=90261, wrong=43271, backtracks=27907, failedAssignments=24247, nogoods=2306, foundSolutions=25, bestBound=41
35.78/32.31 nFilterCalls=5256920, avgTableProportion=0.9982701664023725, avgTableSize=577.1353653850543
35.78/32.31
35.88/32.42 num=421, depth=1..11, filters=1523220, revisions=(1319181,useless=740938), ccks=4144814, wck=29.949, mem=59M885
35.88/32.42 decisions=90540, wrong=43408, backtracks=28000, failedAssignments=24321, nogoods=2311, foundSolutions=25, bestBound=41
35.88/32.42 nFilterCalls=5272888, avgTableProportion=0.9982701665373166, avgTableSize=577.135411941236
35.88/32.42
35.98/32.55 num=422, depth=0..9, filters=1529667, revisions=(1325124,useless=744679), ccks=4161802, wck=30.076, mem=59M885
35.98/32.55 decisions=90896, wrong=43585, backtracks=28135, failedAssignments=24402, nogoods=2313, foundSolutions=25, bestBound=41
35.98/32.55 nFilterCalls=5291460, avgTableProportion=0.9982701671167846, avgTableSize=577.1356128554312
35.98/32.55
36.18/32.70 num=423, depth=0..12, filters=1536827, revisions=(1331426,useless=748691), ccks=4179565, wck=30.23, mem=59M885
36.18/32.70 decisions=91254, wrong=43763, backtracks=28268, failedAssignments=24491, nogoods=2317, foundSolutions=25, bestBound=41
36.18/32.70 nFilterCalls=5312788, avgTableProportion=0.9982701673237123, avgTableSize=577.135684314902
36.18/32.70
36.28/32.80
36.28/32.80 New Bounds: 42..41
36.28/32.80 num=424, depth=0..10, filters=1541106, revisions=(1335176,useless=751109), ccks=4189930, wck=30.329, mem=62M501
36.28/32.80 decisions=91462, wrong=43868, backtracks=28348, failedAssignments=24546, foundSolutions=25, bestBound=41
36.28/32.80 nFilterCalls=5326637, avgTableProportion=0.9982701675795417, avgTableSize=577.1357729088729
36.28/32.80
36.28/32.80 Global
36.28/32.80 filters=1541106, revisions=(1335176,useless=751109), ccks=4189930
36.28/32.80 Stop=FULL_EXPLORATION, wrong=43868, bestBound=41, bestBoundWck=28.666, bestBoundCpu=30.326, foundSolutions=25, firstSolCpu=2.462
36.28/32.80 wck=30.959, cpu=32.619, mem=62M501
36.28/32.80
36.28/32.80 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.28/32.80 s OPTIMUM FOUND
36.28/32.81
36.28/32.81 d WRONG_DECISIONS 43868
36.28/32.81 d NUMBER_SOLUTIONS 25