2.41/1.88
2.41/1.88 AbsCon 2
2.66/1.90
3.25/2.19 Instance
3.25/2.19 name=instance-4391255-1568390175, framework=COP, bounds=-infty..+infty
3.25/2.19
3.25/2.19 Loading variables...
3.55/2.23 Loading constraints...
4.20/2.43
4.20/2.43 Domains
4.20/2.43 nTypes=24, nValues=1308, sizes=[4#12,5#12,25#48]
4.20/2.43 Variables
4.20/2.43 count=72, degrees=[2#24,25#23,26#1,27#24]
4.20/2.43 Objectives
4.20/2.43 way=max, type=SumSimpleGE
4.20/2.43 Constraints
4.20/2.43 count=98, nSpecific=49, arities=[1#1,2#48,24#25,25#24]
4.20/2.43 distribution=[AtMost1#24,CtrExtensionCT-Table#24,CtrExtensionV-Bits#24,CtrIntension#25,SumSimpleGE#1]
4.20/2.43 tables=[530#23,554#1], nTotalTuples=12744
4.20/2.43 nExtStructures=(48,shared:0), nIntStructures=(2,shared:23), nCftStructures=(25,shared:23,unbuilt:50)
4.20/2.43 wck=0.572, cpu=2.398, mem=82M4
4.54/2.55 Solver SolverBacktrack being built...
4.54/2.55
4.54/2.55
4.54/2.55 Solver
4.54/2.55 guaranteedGAC=true
4.54/2.55 wck=0.602, cpu=2.426, mem=95M289
4.54/2.55
4.54/2.55 Preprocessing
4.54/2.55 filters=26, revisions=(49,useless=46), ccks=698, nACremovedValues=49, nTotalRemovedValues=49, inconcistency=false
4.54/2.55 wck=0.007, cpu=2.433, mem=95M289
4.54/2.55
4.54/2.55 o -1000
4.54/2.55 num=0, depth=73..71, filters=354, revisions=(647,useless=570), ccks=1349, wck=0.036, mem=95M289
4.54/2.55 decisions=23, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.54/2.55 nFilterCalls=624, avgTableProportion=0.9981166133097205, avgTableSize=530.0
4.54/2.55
4.54/2.55 num=1, depth=13..21, filters=912, revisions=(1213,useless=885), ccks=3217, wck=0.06, mem=95M289
4.54/2.55 decisions=74, wrong=19, backtracks=9, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.54/2.55 nFilterCalls=3014, avgTableProportion=0.9981165974900318, avgTableSize=529.9953550099535
4.54/2.55
4.54/2.55 num=2, depth=17..19, filters=1207, revisions=(1531,useless=1069), ccks=3918, wck=0.071, mem=95M289
4.54/2.55 decisions=119, wrong=33, backtracks=12, failedAssignments=22, nogoods=12, foundSolutions=1, bestBound=-1000
4.54/2.55 nFilterCalls=4561, avgTableProportion=0.9981167559321511, avgTableSize=530.0418767814076
4.54/2.55
4.54/2.56 num=3, depth=10..17, filters=1949, revisions=(2194,useless=1414), ccks=5993, wck=0.104, mem=95M289
4.54/2.56 decisions=184, wrong=59, backtracks=26, failedAssignments=34, nogoods=14, foundSolutions=1, bestBound=-1000
4.54/2.56 nFilterCalls=7703, avgTableProportion=0.9981169002551253, avgTableSize=530.084252888485
4.54/2.56
4.54/2.58 num=4, depth=11..17, filters=2535, revisions=(2689,useless=1681), ccks=7376, wck=0.124, mem=95M289
4.54/2.58 decisions=234, wrong=76, backtracks=30, failedAssignments=47, nogoods=27, foundSolutions=1, bestBound=-1000
4.54/2.58 nFilterCalls=10804, avgTableProportion=0.9981170811133352, avgTableSize=530.1373565346169
4.54/2.58
4.86/2.61 num=5, depth=13..20, filters=3535, revisions=(3475,useless=2150), ccks=10342, wck=0.153, mem=95M289
4.86/2.61 decisions=304, wrong=104, backtracks=49, failedAssignments=61, nogoods=30, foundSolutions=1, bestBound=-1000
4.86/2.61 nFilterCalls=15345, avgTableProportion=0.9981169895080019, avgTableSize=530.1104594330401
4.86/2.61
4.86/2.65 num=6, depth=9..14, filters=4497, revisions=(4277,useless=2604), ccks=13312, wck=0.191, mem=95M289
4.86/2.65 decisions=364, wrong=129, backtracks=62, failedAssignments=77, nogoods=34, foundSolutions=1, bestBound=-1000
4.86/2.65 nFilterCalls=19185, avgTableProportion=0.9981169355122733, avgTableSize=530.0946051602815
4.86/2.65
4.86/2.67 num=7, depth=10..18, filters=5494, revisions=(5155,useless=3094), ccks=17119, wck=0.215, mem=95M289
4.86/2.67 decisions=446, wrong=162, backtracks=81, failedAssignments=94, nogoods=36, foundSolutions=1, bestBound=-1000
4.86/2.67 nFilterCalls=22991, avgTableProportion=0.9981169049867714, avgTableSize=530.0856422078205
4.86/2.67
4.86/2.69 num=8, depth=13..19, filters=6601, revisions=(6168,useless=3702), ccks=21397, wck=0.239, mem=95M289
4.86/2.69 decisions=537, wrong=200, backtracks=106, failedAssignments=113, nogoods=41, foundSolutions=1, bestBound=-1000
4.86/2.69 nFilterCalls=27512, avgTableProportion=0.9981168915940758, avgTableSize=530.0817097993603
4.86/2.69
4.86/2.70 o -998
4.86/2.71 num=9, depth=15..71, filters=7121, revisions=(6685,useless=3992), ccks=23185, wck=0.25, mem=95M289
4.86/2.71 decisions=585, wrong=215, backtracks=116, failedAssignments=121, nogoods=45, foundSolutions=2, bestBound=-998
4.86/2.71 nFilterCalls=29495, avgTableProportion=0.9981168960938996, avgTableSize=530.0830310222071
4.86/2.71
5.20/2.73 num=10, depth=11..15, filters=8283, revisions=(7800,useless=4665), ccks=26082, wck=0.276, mem=97M931
5.20/2.73 decisions=660, wrong=247, backtracks=133, failedAssignments=144, nogoods=51, foundSolutions=2, bestBound=-998
5.20/2.73 nFilterCalls=33858, avgTableProportion=0.9981168842984154, avgTableSize=530.0795676058834
5.20/2.73
5.20/2.75 num=11, depth=14..19, filters=9212, revisions=(8528,useless=5111), ccks=28471, wck=0.294, mem=97M931
5.20/2.75 decisions=721, wrong=270, backtracks=147, failedAssignments=155, nogoods=55, foundSolutions=2, bestBound=-998
5.20/2.75 nFilterCalls=38663, avgTableProportion=0.9981169622283266, avgTableSize=530.1024493701989
5.20/2.75
5.20/2.76 num=12, depth=16..20, filters=9698, revisions=(9006,useless=5383), ccks=30113, wck=0.302, mem=97M931
5.20/2.76 decisions=776, wrong=289, backtracks=157, failedAssignments=167, nogoods=58, foundSolutions=2, bestBound=-998
5.20/2.76 nFilterCalls=40697, avgTableProportion=0.9981169593510596, avgTableSize=530.1016045408752
5.20/2.76
5.20/2.77 num=13, depth=16..21, filters=10542, revisions=(9716,useless=5835), ccks=32806, wck=0.315, mem=97M931
5.20/2.77 decisions=844, wrong=315, backtracks=173, failedAssignments=180, nogoods=61, foundSolutions=2, bestBound=-998
5.20/2.77 nFilterCalls=44736, avgTableProportion=0.9981169421928057, avgTableSize=530.0965665236051
5.20/2.77
5.20/2.78 num=14, depth=14..19, filters=11355, revisions=(10420,useless=6209), ccks=35634, wck=0.329, mem=97M931
5.20/2.78 decisions=904, wrong=338, backtracks=187, failedAssignments=194, nogoods=64, foundSolutions=2, bestBound=-998
5.20/2.78 nFilterCalls=48078, avgTableProportion=0.9981169444082749, avgTableSize=530.0972170223387
5.20/2.78
5.48/2.80 num=15, depth=13..21, filters=12404, revisions=(11344,useless=6722), ccks=38930, wck=0.348, mem=97M931
5.48/2.80 decisions=985, wrong=372, backtracks=208, failedAssignments=210, nogoods=67, foundSolutions=2, bestBound=-998
5.48/2.80 nFilterCalls=52155, avgTableProportion=0.998116932826959, avgTableSize=530.0938165084843
5.48/2.80
5.48/2.82 num=16, depth=12..16, filters=13271, revisions=(12161,useless=7195), ccks=41389, wck=0.363, mem=97M931
5.48/2.82 decisions=1053, wrong=400, backtracks=222, failedAssignments=227, nogoods=71, foundSolutions=2, bestBound=-998
5.48/2.82 nFilterCalls=55233, avgTableProportion=0.9981169205706458, avgTableSize=530.0902178045734
5.48/2.82
5.48/2.83 num=17, depth=16..22, filters=14202, revisions=(12970,useless=7668), ccks=44375, wck=0.374, mem=97M931
5.48/2.83 decisions=1138, wrong=434, backtracks=242, failedAssignments=246, nogoods=74, foundSolutions=2, bestBound=-998
5.48/2.83 nFilterCalls=59069, avgTableProportion=0.9981169589661111, avgTableSize=530.1014914760704
5.48/2.83
5.48/2.85 num=18, depth=12..20, filters=15316, revisions=(13952,useless=8247), ccks=47216, wck=0.393, mem=97M931
5.48/2.85 decisions=1218, wrong=467, backtracks=262, failedAssignments=267, nogoods=80, foundSolutions=2, bestBound=-998
5.48/2.85 nFilterCalls=63181, avgTableProportion=0.9981169502695003, avgTableSize=530.0989379718586
5.48/2.85
5.48/2.87 num=19, depth=13..20, filters=16263, revisions=(14857,useless=8783), ccks=50135, wck=0.41, mem=97M931
5.48/2.87 decisions=1301, wrong=502, backtracks=286, failedAssignments=290, nogoods=84, foundSolutions=2, bestBound=-998
5.48/2.87 nFilterCalls=67297, avgTableProportion=0.9981169484866643, avgTableSize=530.0984144909877
5.48/2.87
5.48/2.88 num=20, depth=13..20, filters=17812, revisions=(16139,useless=9521), ccks=54371, wck=0.428, mem=97M931
5.48/2.88 decisions=1410, wrong=550, backtracks=314, failedAssignments=315, nogoods=90, foundSolutions=2, bestBound=-998
5.48/2.88 nFilterCalls=72201, avgTableProportion=0.9981169389287596, avgTableSize=530.0956080940707
5.48/2.88
5.76/2.91 num=21, depth=13..21, filters=19516, revisions=(17504,useless=10362), ccks=59057, wck=0.454, mem=97M931
5.76/2.91 decisions=1520, wrong=597, backtracks=343, failedAssignments=343, nogoods=93, foundSolutions=2, bestBound=-998
5.76/2.91 nFilterCalls=79972, avgTableProportion=0.998116928964695, avgTableSize=530.0926824388536
5.76/2.91
5.76/2.93 o -997
5.76/2.93 num=22, depth=14..71, filters=21059, revisions=(18754,useless=11096), ccks=63455, wck=0.473, mem=97M931
5.76/2.93 decisions=1645, wrong=652, backtracks=380, failedAssignments=373, nogoods=100, foundSolutions=3, bestBound=-997
5.76/2.93 nFilterCalls=87209, avgTableProportion=0.9981169341297355, avgTableSize=530.0941989932231
5.76/2.93
5.76/2.95 num=23, depth=12..21, filters=22802, revisions=(20270,useless=11946), ccks=68563, wck=0.496, mem=97M931
5.76/2.95 decisions=1777, wrong=712, backtracks=414, failedAssignments=407, nogoods=103, foundSolutions=3, bestBound=-997
5.76/2.95 nFilterCalls=93794, avgTableProportion=0.9981169417804817, avgTableSize=530.0964454016248
5.76/2.95
5.76/2.96 num=24, depth=11..17, filters=23520, revisions=(20955,useless=12340), ccks=70716, wck=0.51, mem=97M931
5.76/2.96 decisions=1831, wrong=733, backtracks=430, failedAssignments=418, nogoods=105, foundSolutions=3, bestBound=-997
5.76/2.96 nFilterCalls=97145, avgTableProportion=0.9981169332897097, avgTableSize=530.0939523392866
5.76/2.96
5.76/2.97 num=25, depth=14..18, filters=24073, revisions=(21500,useless=12648), ccks=72308, wck=0.517, mem=100M574
5.76/2.97 decisions=1883, wrong=752, backtracks=437, failedAssignments=430, nogoods=108, foundSolutions=3, bestBound=-997
5.76/2.97 nFilterCalls=99113, avgTableProportion=0.9981169269361636, avgTableSize=530.0920868100047
5.76/2.97
5.76/2.98 num=26, depth=12..16, filters=24656, revisions=(22098,useless=12975), ccks=74222, wck=0.527, mem=100M574
5.76/2.98 decisions=1933, wrong=771, backtracks=446, failedAssignments=443, nogoods=113, foundSolutions=3, bestBound=-997
5.76/2.98 nFilterCalls=101218, avgTableProportion=0.9981169230719623, avgTableSize=530.0909522021775
5.76/2.98
5.76/2.99 num=27, depth=13..18, filters=25414, revisions=(22790,useless=13378), ccks=76354, wck=0.537, mem=100M574
5.76/2.99 decisions=1991, wrong=793, backtracks=454, failedAssignments=457, nogoods=115, foundSolutions=3, bestBound=-997
5.76/2.99 nFilterCalls=104101, avgTableProportion=0.9981169198914799, avgTableSize=530.0900183475663
5.76/2.99
5.76/3.01 num=28, depth=13..19, filters=26221, revisions=(23566,useless=13786), ccks=79121, wck=0.551, mem=100M574
5.76/3.01 decisions=2060, wrong=819, backtracks=468, failedAssignments=473, nogoods=117, foundSolutions=3, bestBound=-997
5.76/3.01 nFilterCalls=106395, avgTableProportion=0.998116915906103, avgTableSize=530.0888481601579
5.76/3.01
5.95/3.01 o -994
5.95/3.02 num=29, depth=18..71, filters=26615, revisions=(23959,useless=14013), ccks=80392, wck=0.557, mem=100M574
5.95/3.02 decisions=2102, wrong=830, backtracks=473, failedAssignments=481, nogoods=123, foundSolutions=4, bestBound=-994
5.95/3.02 nFilterCalls=107975, avgTableProportion=0.998116915389442, avgTableSize=530.0886964575133
5.95/3.02
5.95/3.03 num=30, depth=12..16, filters=27861, revisions=(25065,useless=14649), ccks=83859, wck=0.579, mem=100M574
5.95/3.03 decisions=2186, wrong=866, backtracks=494, failedAssignments=500, nogoods=129, foundSolutions=4, bestBound=-994
5.95/3.03 nFilterCalls=113298, avgTableProportion=0.9981169078403895, avgTableSize=530.0864799025578
5.95/3.03
5.95/3.04 num=31, depth=15..20, filters=28573, revisions=(25660,useless=15012), ccks=85872, wck=0.589, mem=100M574
5.95/3.04 decisions=2241, wrong=885, backtracks=504, failedAssignments=511, nogoods=134, foundSolutions=4, bestBound=-994
5.95/3.04 nFilterCalls=116996, avgTableProportion=0.99811691244553, avgTableSize=530.0878320626347
5.95/3.04
5.95/3.05 o -990
5.95/3.05 num=32, depth=18..71, filters=28785, revisions=(25907,useless=15159), ccks=86565, wck=0.593, mem=100M574
5.95/3.05 decisions=2265, wrong=888, backtracks=504, failedAssignments=514, nogoods=137, foundSolutions=5, bestBound=-990
5.95/3.05 nFilterCalls=117772, avgTableProportion=0.9981169116312595, avgTableSize=530.0875929762592
5.95/3.05
5.95/3.06 num=33, depth=8..14, filters=29520, revisions=(26688,useless=15592), ccks=88432, wck=0.607, mem=100M574
5.95/3.06 decisions=2321, wrong=911, backtracks=517, failedAssignments=527, nogoods=141, foundSolutions=5, bestBound=-990
5.95/3.06 nFilterCalls=120505, avgTableProportion=0.9981169063068609, avgTableSize=530.0860296253268
5.95/3.06
5.95/3.07 num=34, depth=12..15, filters=30205, revisions=(27355,useless=15960), ccks=90538, wck=0.619, mem=100M574
5.95/3.07 decisions=2372, wrong=930, backtracks=528, failedAssignments=538, nogoods=148, foundSolutions=5, bestBound=-990
5.95/3.07 nFilterCalls=123000, avgTableProportion=0.9981169096947965, avgTableSize=530.0870243902439
5.95/3.07
5.95/3.08 num=35, depth=15..19, filters=30833, revisions=(27903,useless=16275), ccks=92290, wck=0.626, mem=100M574
5.95/3.08 decisions=2422, wrong=947, backtracks=539, failedAssignments=550, nogoods=150, foundSolutions=5, bestBound=-990
5.95/3.08 nFilterCalls=125652, avgTableProportion=0.998116912221266, avgTableSize=530.0877662114411
5.95/3.08
5.95/3.09 num=36, depth=12..20, filters=31664, revisions=(28668,useless=16736), ccks=94685, wck=0.638, mem=100M574
5.95/3.09 decisions=2486, wrong=972, backtracks=554, failedAssignments=563, nogoods=153, foundSolutions=5, bestBound=-990
5.95/3.09 nFilterCalls=129018, avgTableProportion=0.9981169080657348, avgTableSize=530.08654606334
5.95/3.09
6.07/3.11 num=37, depth=10..15, filters=32696, revisions=(29602,useless=17261), ccks=97612, wck=0.655, mem=100M574
6.07/3.11 decisions=2553, wrong=1000, backtracks=571, failedAssignments=577, nogoods=156, foundSolutions=5, bestBound=-990
6.07/3.11 nFilterCalls=132651, avgTableProportion=0.9981169065401125, avgTableSize=530.0860981070629
6.07/3.11
6.07/3.12 num=38, depth=12..19, filters=33372, revisions=(30240,useless=17642), ccks=99430, wck=0.668, mem=100M574
6.07/3.12 decisions=2615, wrong=1024, backtracks=585, failedAssignments=593, nogoods=161, foundSolutions=5, bestBound=-990
6.07/3.12 nFilterCalls=136249, avgTableProportion=0.9981169036460008, avgTableSize=530.0852483320979
6.07/3.12
6.07/3.13 o -986
6.07/3.13 num=39, depth=73..71, filters=33545, revisions=(30461,useless=17771), ccks=100054, wck=0.672, mem=100M574
6.07/3.13 decisions=2636, wrong=1024, backtracks=585, failedAssignments=593, nogoods=161, foundSolutions=6, bestBound=-986
6.07/3.13 nFilterCalls=136920, avgTableProportion=0.9981169046359535, avgTableSize=530.0855390008765
6.07/3.13
6.07/3.14 num=40, depth=15..19, filters=34377, revisions=(31292,useless=18248), ccks=102649, wck=0.681, mem=100M574
6.07/3.14 decisions=2716, wrong=1056, backtracks=603, failedAssignments=612, nogoods=165, foundSolutions=6, bestBound=-986
6.07/3.14 nFilterCalls=139893, avgTableProportion=0.9981169061135591, avgTableSize=530.0859728506788
6.07/3.14
6.07/3.14 num=41, depth=12..16, filters=34826, revisions=(31772,useless=18541), ccks=103954, wck=0.69, mem=100M574
6.07/3.14 decisions=2758, wrong=1071, backtracks=611, failedAssignments=623, nogoods=168, foundSolutions=6, bestBound=-986
6.07/3.14 nFilterCalls=141781, avgTableProportion=0.9981169047127252, avgTableSize=530.0855615350434
6.07/3.14
6.07/3.16 num=42, depth=9..17, filters=35676, revisions=(32566,useless=18952), ccks=106349, wck=0.702, mem=100M574
6.07/3.16 decisions=2813, wrong=1094, backtracks=627, failedAssignments=635, nogoods=171, foundSolutions=6, bestBound=-986
6.07/3.16 nFilterCalls=144390, avgTableProportion=0.9981169001785603, avgTableSize=530.0842302098483
6.07/3.16
6.07/3.16 o -983
6.07/3.16 num=43, depth=12..71, filters=35978, revisions=(32931,useless=19163), ccks=107353, wck=0.708, mem=100M574
6.07/3.16 decisions=2840, wrong=1100, backtracks=629, failedAssignments=639, nogoods=175, foundSolutions=7, bestBound=-983
6.07/3.16 nFilterCalls=145443, avgTableProportion=0.998116899295895, avgTableSize=530.0839710402013
6.07/3.16
6.07/3.18 num=44, depth=7..12, filters=37007, revisions=(33962,useless=19752), ccks=109801, wck=0.73, mem=103M217
6.07/3.18 decisions=2903, wrong=1127, backtracks=643, failedAssignments=653, nogoods=180, foundSolutions=7, bestBound=-983
6.07/3.18 nFilterCalls=149357, avgTableProportion=0.9981168950394759, avgTableSize=530.0827212651567
6.07/3.18
6.07/3.20 num=45, depth=9..14, filters=37554, revisions=(34532,useless=20060), ccks=111051, wck=0.741, mem=103M217
6.07/3.20 decisions=2947, wrong=1143, backtracks=649, failedAssignments=664, nogoods=187, foundSolutions=7, bestBound=-983
6.07/3.20 nFilterCalls=151154, avgTableProportion=0.9981168977061132, avgTableSize=530.0835042407082
6.07/3.20
6.18/3.21 num=46, depth=12..19, filters=38169, revisions=(35148,useless=20405), ccks=112704, wck=0.753, mem=103M217
6.18/3.21 decisions=2996, wrong=1161, backtracks=658, failedAssignments=676, nogoods=190, foundSolutions=7, bestBound=-983
6.18/3.21 nFilterCalls=153626, avgTableProportion=0.9981168973863894, avgTableSize=530.0834103602255
6.18/3.21
6.18/3.22 num=47, depth=14..19, filters=38826, revisions=(35757,useless=20757), ccks=114615, wck=0.762, mem=103M217
6.18/3.22 decisions=3048, wrong=1180, backtracks=669, failedAssignments=689, nogoods=195, foundSolutions=7, bestBound=-983
6.18/3.22 nFilterCalls=156253, avgTableProportion=0.9981168949861955, avgTableSize=530.0827056120522
6.18/3.22
6.18/3.23 num=48, depth=14..21, filters=39560, revisions=(36458,useless=21142), ccks=117228, wck=0.771, mem=103M217
6.18/3.23 decisions=3115, wrong=1205, backtracks=685, failedAssignments=703, nogoods=199, foundSolutions=7, bestBound=-983
6.18/3.23 nFilterCalls=158800, avgTableProportion=0.99811689709548, avgTableSize=530.0833249370277
6.18/3.23
6.18/3.25 num=49, depth=7..15, filters=40820, revisions=(37623,useless=21778), ccks=120221, wck=0.793, mem=103M217
6.18/3.25 decisions=3185, wrong=1236, backtracks=705, failedAssignments=719, nogoods=202, foundSolutions=7, bestBound=-983
6.18/3.25 nFilterCalls=162800, avgTableProportion=0.9981168928006416, avgTableSize=530.0820638820638
6.18/3.25
6.18/3.26 num=50, depth=10..20, filters=41838, revisions=(38544,useless=22277), ccks=123219, wck=0.807, mem=103M217
6.18/3.26 decisions=3258, wrong=1266, backtracks=721, failedAssignments=736, nogoods=205, foundSolutions=7, bestBound=-983
6.18/3.26 nFilterCalls=166620, avgTableProportion=0.9981168936696952, avgTableSize=530.0823190493338
6.18/3.26
6.18/3.29 num=51, depth=7..15, filters=43165, revisions=(39755,useless=22968), ccks=126790, wck=0.832, mem=103M217
6.18/3.29 decisions=3340, wrong=1302, backtracks=744, failedAssignments=755, nogoods=211, foundSolutions=7, bestBound=-983
6.18/3.29 nFilterCalls=171504, avgTableProportion=0.9981168978390194, avgTableSize=530.083543240974
6.18/3.29
6.29/3.30 o -978
6.29/3.30 num=52, depth=14..71, filters=44052, revisions=(40564,useless=23444), ccks=129336, wck=0.843, mem=103M217
6.29/3.30 decisions=3409, wrong=1327, backtracks=759, failedAssignments=770, nogoods=214, foundSolutions=8, bestBound=-978
6.29/3.30 nFilterCalls=174915, avgTableProportion=0.9981169113914814, avgTableSize=530.0875225109339
6.29/3.30
6.29/3.33 num=53, depth=7..16, filters=45672, revisions=(42043,useless=24281), ccks=133229, wck=0.871, mem=103M217
6.29/3.33 decisions=3504, wrong=1368, backtracks=785, failedAssignments=793, nogoods=216, foundSolutions=8, bestBound=-978
6.29/3.33 nFilterCalls=180760, avgTableProportion=0.9981169204999931, avgTableSize=530.090196946227
6.29/3.33
6.29/3.34 num=54, depth=9..14, filters=46328, revisions=(42737,useless=24676), ccks=134993, wck=0.88, mem=103M217
6.29/3.34 decisions=3555, wrong=1388, backtracks=795, failedAssignments=804, nogoods=219, foundSolutions=8, bestBound=-978
6.29/3.34 nFilterCalls=182692, avgTableProportion=0.9981169165803013, avgTableSize=530.0890460447091
6.29/3.34
6.29/3.35 num=55, depth=14..19, filters=47131, revisions=(43377,useless=25057), ccks=137091, wck=0.89, mem=103M217
6.29/3.35 decisions=3612, wrong=1409, backtracks=808, failedAssignments=816, nogoods=226, foundSolutions=8, bestBound=-978
6.29/3.35 nFilterCalls=185622, avgTableProportion=0.9981169254073665, avgTableSize=530.091637844652
6.29/3.35
6.29/3.36 num=56, depth=9..13, filters=48041, revisions=(44254,useless=25570), ccks=139176, wck=0.909, mem=103M217
6.29/3.36 decisions=3671, wrong=1434, backtracks=823, failedAssignments=829, nogoods=235, foundSolutions=8, bestBound=-978
6.29/3.36 nFilterCalls=189262, avgTableProportion=0.998116919980784, avgTableSize=530.0900444885925
6.29/3.36
6.29/3.38 num=57, depth=12..20, filters=48781, revisions=(44950,useless=25966), ccks=141169, wck=0.92, mem=103M217
6.29/3.38 decisions=3733, wrong=1457, backtracks=838, failedAssignments=843, nogoods=241, foundSolutions=8, bestBound=-978
6.29/3.38 nFilterCalls=192282, avgTableProportion=0.9981169279879302, avgTableSize=530.0923955440447
6.29/3.38
6.29/3.39 num=58, depth=6..16, filters=49817, revisions=(45934,useless=26510), ccks=143357, wck=0.936, mem=103M217
6.29/3.39 decisions=3788, wrong=1481, backtracks=855, failedAssignments=859, nogoods=246, foundSolutions=8, bestBound=-978
6.29/3.39 nFilterCalls=195294, avgTableProportion=0.9981169229254313, avgTableSize=530.0909090909091
6.29/3.39
6.40/3.41 num=59, depth=8..14, filters=50707, revisions=(46778,useless=26988), ccks=145525, wck=0.959, mem=103M217
6.40/3.41 decisions=3859, wrong=1512, backtracks=876, failedAssignments=876, nogoods=251, foundSolutions=8, bestBound=-978
6.40/3.41 nFilterCalls=199598, avgTableProportion=0.9981169202077543, avgTableSize=530.0901111233579
6.40/3.41
6.40/3.43 num=60, depth=8..15, filters=51866, revisions=(47928,useless=27597), ccks=147958, wck=0.975, mem=105M859
6.40/3.43 decisions=3940, wrong=1547, backtracks=899, failedAssignments=895, nogoods=256, foundSolutions=8, bestBound=-978
6.40/3.43 nFilterCalls=203359, avgTableProportion=0.9981169230898825, avgTableSize=530.0909573709548
6.40/3.43
6.40/3.43 o -977
6.40/3.44 num=61, depth=17..71, filters=52164, revisions=(48221,useless=27782), ccks=148829, wck=0.98, mem=105M859
6.40/3.44 decisions=3969, wrong=1553, backtracks=902, failedAssignments=898, nogoods=258, foundSolutions=9, bestBound=-977
6.40/3.44 nFilterCalls=204632, avgTableProportion=0.998116925539975, avgTableSize=530.0916767660972
6.40/3.44
6.40/3.45 num=62, depth=10..18, filters=53290, revisions=(49314,useless=28415), ccks=151976, wck=0.999, mem=105M859
6.40/3.45 decisions=4060, wrong=1592, backtracks=926, failedAssignments=921, nogoods=260, foundSolutions=9, bestBound=-977
6.40/3.45 nFilterCalls=209393, avgTableProportion=0.9981169206365471, avgTableSize=530.0902370184294
6.40/3.45
6.40/3.47 num=63, depth=13..18, filters=54721, revisions=(50189,useless=29009), ccks=153798, wck=1.013, mem=105M859
6.40/3.47 decisions=4115, wrong=1613, backtracks=940, failedAssignments=932, nogoods=262, foundSolutions=9, bestBound=-977
6.40/3.47 nFilterCalls=214354, avgTableProportion=0.9981169422343357, avgTableSize=530.0965785569665
6.40/3.47
6.40/3.48 num=64, depth=8..15, filters=55374, revisions=(50820,useless=29363), ccks=155695, wck=1.024, mem=105M859
6.40/3.48 decisions=4160, wrong=1630, backtracks=950, failedAssignments=944, nogoods=267, foundSolutions=9, bestBound=-977
6.40/3.48 nFilterCalls=216569, avgTableProportion=0.9981169444214882, avgTableSize=530.0972207471983
6.40/3.48
6.40/3.49 num=65, depth=11..15, filters=56109, revisions=(51455,useless=29728), ccks=157524, wck=1.035, mem=105M859
6.40/3.49 decisions=4211, wrong=1649, backtracks=959, failedAssignments=957, nogoods=273, foundSolutions=9, bestBound=-977
6.40/3.49 nFilterCalls=219140, avgTableProportion=0.9981169483231153, avgTableSize=530.0983663411517
6.40/3.49
6.52/3.51 num=66, depth=10..17, filters=57122, revisions=(52366,useless=30265), ccks=160514, wck=1.052, mem=105M859
6.52/3.51 decisions=4280, wrong=1677, backtracks=976, failedAssignments=971, nogoods=276, foundSolutions=9, bestBound=-977
6.52/3.51 nFilterCalls=223233, avgTableProportion=0.99811694930544, avgTableSize=530.0986547687842
6.52/3.51
6.52/3.52 num=67, depth=13..18, filters=58130, revisions=(53254,useless=30819), ccks=163071, wck=1.064, mem=105M859
6.52/3.52 decisions=4349, wrong=1705, backtracks=994, failedAssignments=987, nogoods=279, foundSolutions=9, bestBound=-977
6.52/3.52 nFilterCalls=227042, avgTableProportion=0.998116959254196, avgTableSize=530.1015759198739
6.52/3.52
6.52/3.54 num=68, depth=7..11, filters=58981, revisions=(54083,useless=31272), ccks=165046, wck=1.081, mem=105M859
6.52/3.54 decisions=4408, wrong=1731, backtracks=1006, failedAssignments=1004, nogoods=286, foundSolutions=9, bestBound=-977
6.52/3.54 nFilterCalls=229889, avgTableProportion=0.9981169554588439, avgTableSize=530.1004615270848
6.52/3.54
6.52/3.55 num=69, depth=14..18, filters=60184, revisions=(55032,useless=31887), ccks=167460, wck=1.096, mem=105M859
6.52/3.55 decisions=4482, wrong=1761, backtracks=1023, failedAssignments=1023, nogoods=291, foundSolutions=9, bestBound=-977
6.52/3.55 nFilterCalls=234716, avgTableProportion=0.9981169713630188, avgTableSize=530.1051313076229
6.52/3.55
6.52/3.57 num=70, depth=12..17, filters=61208, revisions=(55946,useless=32413), ccks=170228, wck=1.111, mem=105M859
6.52/3.57 decisions=4562, wrong=1795, backtracks=1038, failedAssignments=1044, nogoods=293, foundSolutions=9, bestBound=-977
6.52/3.57 nFilterCalls=238862, avgTableProportion=0.9981169700245381, avgTableSize=530.1047383007761
6.52/3.57
6.52/3.58 num=71, depth=13..19, filters=62339, revisions=(56895,useless=32976), ccks=172802, wck=1.126, mem=105M859
6.52/3.58 decisions=4653, wrong=1834, backtracks=1066, failedAssignments=1067, nogoods=295, foundSolutions=9, bestBound=-977
6.52/3.58 nFilterCalls=243895, avgTableProportion=0.9981169744909795, avgTableSize=530.1060497345169
6.52/3.58
6.62/3.61 num=72, depth=8..18, filters=63822, revisions=(58218,useless=33687), ccks=176612, wck=1.153, mem=105M859
6.62/3.61 decisions=4745, wrong=1875, backtracks=1091, failedAssignments=1092, nogoods=299, foundSolutions=9, bestBound=-977
6.62/3.61 nFilterCalls=248661, avgTableProportion=0.9981169785528903, avgTableSize=530.1072423902422
6.62/3.61
6.62/3.63 num=73, depth=7..13, filters=65357, revisions=(59605,useless=34456), ccks=180534, wck=1.175, mem=105M859
6.62/3.63 decisions=4841, wrong=1919, backtracks=1111, failedAssignments=1120, nogoods=302, foundSolutions=9, bestBound=-977
6.62/3.63 nFilterCalls=252501, avgTableProportion=0.9981169755880631, avgTableSize=530.1063718559531
6.62/3.63
6.62/3.67 num=74, depth=4..10, filters=67460, revisions=(61499,useless=35471), ccks=185445, wck=1.216, mem=105M859
6.62/3.67 decisions=4960, wrong=1976, backtracks=1153, failedAssignments=1151, nogoods=305, foundSolutions=9, bestBound=-977
6.62/3.67 nFilterCalls=259102, avgTableProportion=0.9981169732856768, avgTableSize=530.1056958263541
6.62/3.67
6.73/3.70 num=75, depth=10..17, filters=69418, revisions=(63201,useless=36438), ccks=190514, wck=1.245, mem=108M502
6.73/3.70 decisions=5086, wrong=2034, backtracks=1193, failedAssignments=1185, nogoods=312, foundSolutions=9, bestBound=-977
6.73/3.70 nFilterCalls=265978, avgTableProportion=0.9981169838009969, avgTableSize=530.1087834332163
6.73/3.70
6.73/3.73 num=76, depth=10..15, filters=71608, revisions=(65089,useless=37531), ccks=196593, wck=1.279, mem=108M502
6.73/3.73 decisions=5226, wrong=2098, backtracks=1233, failedAssignments=1222, nogoods=320, foundSolutions=9, bestBound=-977
6.73/3.73 nFilterCalls=274462, avgTableProportion=0.9981169799420113, avgTableSize=530.1076506037266
6.73/3.73
6.73/3.76 num=77, depth=10..20, filters=73733, revisions=(66867,useless=38527), ccks=202080, wck=1.307, mem=108M502
6.73/3.76 decisions=5369, wrong=2164, backtracks=1273, failedAssignments=1263, nogoods=322, foundSolutions=9, bestBound=-977
6.73/3.76 nFilterCalls=282571, avgTableProportion=0.9981169897047444, avgTableSize=530.1105173566997
6.73/3.76
6.84/3.82 num=78, depth=8..15, filters=77251, revisions=(69839,useless=40317), ccks=210794, wck=1.363, mem=108M502
6.84/3.82 decisions=5559, wrong=2254, backtracks=1336, failedAssignments=1308, nogoods=325, foundSolutions=9, bestBound=-977
6.84/3.82 nFilterCalls=296181, avgTableProportion=0.998116985907305, avgTableSize=530.1094026963242
6.84/3.82
6.84/3.85 num=79, depth=9..17, filters=79850, revisions=(72182,useless=41644), ccks=217892, wck=1.399, mem=108M502
6.84/3.85 decisions=5732, wrong=2336, backtracks=1383, failedAssignments=1358, nogoods=326, foundSolutions=9, bestBound=-977
6.84/3.85 nFilterCalls=305093, avgTableProportion=0.9981169837744915, avgTableSize=530.1087766680979
6.84/3.85
6.94/3.92 num=80, depth=4..12, filters=82953, revisions=(75064,useless=43213), ccks=225113, wck=1.462, mem=108M502
6.94/3.92 decisions=5924, wrong=2430, backtracks=1444, failedAssignments=1413, nogoods=327, foundSolutions=9, bestBound=-977
6.94/3.92 nFilterCalls=315200, avgTableProportion=0.99811697393672, avgTableSize=530.1058883248731
6.94/3.92
6.94/3.97 num=81, depth=9..20, filters=86300, revisions=(78083,useless=45038), ccks=234360, wck=1.516, mem=108M502
6.94/3.97 decisions=6151, wrong=2538, backtracks=1518, failedAssignments=1474, nogoods=338, foundSolutions=9, bestBound=-977
6.94/3.97 nFilterCalls=327851, avgTableProportion=0.9981169869148608, avgTableSize=530.1096992231227
6.94/3.97
7.05/4.04 num=82, depth=8..19, filters=90608, revisions=(81563,useless=47153), ccks=243959, wck=1.581, mem=111M144
7.05/4.04 decisions=6416, wrong=2664, backtracks=1609, failedAssignments=1541, nogoods=347, foundSolutions=9, bestBound=-977
7.05/4.04 nFilterCalls=345611, avgTableProportion=0.9981170050825708, avgTableSize=530.1150339543591
7.05/4.04
7.15/4.12 num=83, depth=7..16, filters=95200, revisions=(85371,useless=49423), ccks=254027, wck=1.665, mem=111M144
7.15/4.12 decisions=6678, wrong=2789, backtracks=1687, failedAssignments=1615, nogoods=354, foundSolutions=9, bestBound=-977
7.15/4.12 nFilterCalls=365305, avgTableProportion=0.9981170041912949, avgTableSize=530.1147725872901
7.15/4.12
7.15/4.19 num=84, depth=10..19, filters=100465, revisions=(89177,useless=51870), ccks=264754, wck=1.736, mem=111M144
7.15/4.19 decisions=6972, wrong=2931, backtracks=1780, failedAssignments=1696, nogoods=358, foundSolutions=9, bestBound=-977
7.15/4.19 nFilterCalls=387052, avgTableProportion=0.9981170254935108, avgTableSize=530.1210276655333
7.15/4.19
7.24/4.26 num=85, depth=9..18, filters=105216, revisions=(93167,useless=54071), ccks=277591, wck=1.803, mem=111M144
7.24/4.26 decisions=7288, wrong=3084, backtracks=1880, failedAssignments=1785, nogoods=366, foundSolutions=9, bestBound=-977
7.24/4.26 nFilterCalls=403480, avgTableProportion=0.9981170219792626, avgTableSize=530.1199960344999
7.24/4.26
7.35/4.34 num=86, depth=9..18, filters=110947, revisions=(98238,useless=56921), ccks=294758, wck=1.886, mem=113M787
7.35/4.34 decisions=7659, wrong=3263, backtracks=1989, failedAssignments=1883, nogoods=372, foundSolutions=9, bestBound=-977
7.35/4.34 nFilterCalls=423136, avgTableProportion=0.9981170213454558, avgTableSize=530.1198101792331
7.35/4.34
7.45/4.47 num=87, depth=8..16, filters=117685, revisions=(103657,useless=59997), ccks=312687, wck=2.014, mem=113M787
7.45/4.47 decisions=8085, wrong=3470, backtracks=2121, failedAssignments=1991, nogoods=382, foundSolutions=9, bestBound=-977
7.45/4.47 nFilterCalls=452410, avgTableProportion=0.9981170088980602, avgTableSize=530.1161556994762
7.45/4.47
7.55/4.56 num=88, depth=8..18, filters=123514, revisions=(108962,useless=63131), ccks=329103, wck=2.104, mem=113M787
7.55/4.56 decisions=8479, wrong=3661, backtracks=2236, failedAssignments=2110, nogoods=388, foundSolutions=9, bestBound=-977
7.55/4.56 nFilterCalls=473031, avgTableProportion=0.9981170111419526, avgTableSize=530.1168147542128
7.55/4.56
7.66/4.69 num=89, depth=8..18, filters=130482, revisions=(114811,useless=66559), ccks=348850, wck=2.233, mem=113M787
7.66/4.69 decisions=8952, wrong=3892, backtracks=2385, failedAssignments=2241, nogoods=398, foundSolutions=9, bestBound=-977
7.66/4.69 nFilterCalls=503066, avgTableProportion=0.9981170048616459, avgTableSize=530.1149709978413
7.66/4.69
7.76/4.72 o -974
7.76/4.72 num=90, depth=10..71, filters=132469, revisions=(116492,useless=67587), ccks=353634, wck=2.264, mem=116M429
7.76/4.72 decisions=9075, wrong=3947, backtracks=2424, failedAssignments=2267, nogoods=400, foundSolutions=10, bestBound=-974
7.76/4.72 nFilterCalls=511474, avgTableProportion=0.9981170017273084, avgTableSize=530.1140507630887
7.76/4.72
7.88/4.83 num=91, depth=9..17, filters=140990, revisions=(123449,useless=71842), ccks=373710, wck=2.378, mem=116M429
7.88/4.83 decisions=9590, wrong=4199, backtracks=2587, failedAssignments=2425, nogoods=407, foundSolutions=10, bestBound=-974
7.88/4.83 nFilterCalls=540527, avgTableProportion=0.9981170197814514, avgTableSize=530.1193520397686
7.88/4.83
7.88/4.85 num=92, depth=7..12, filters=141676, revisions=(124141,useless=72251), ccks=375204, wck=2.393, mem=116M429
7.88/4.85 decisions=9632, wrong=4216, backtracks=2595, failedAssignments=2436, nogoods=410, foundSolutions=10, bestBound=-974
7.88/4.85 nFilterCalls=543081, avgTableProportion=0.9981170181080778, avgTableSize=530.1188607224336
7.88/4.85
7.88/4.86 num=93, depth=11..19, filters=142427, revisions=(124780,useless=72619), ccks=376777, wck=2.404, mem=116M429
7.88/4.86 decisions=9686, wrong=4236, backtracks=2605, failedAssignments=2448, nogoods=413, foundSolutions=10, bestBound=-974
7.88/4.86 nFilterCalls=545907, avgTableProportion=0.9981170164990394, avgTableSize=530.1183882969077
7.88/4.86
7.88/4.87 num=94, depth=7..12, filters=143044, revisions=(125371,useless=72955), ccks=378438, wck=2.418, mem=116M429
7.88/4.87 decisions=9734, wrong=4256, backtracks=2615, failedAssignments=2461, nogoods=415, foundSolutions=10, bestBound=-974
7.88/4.87 nFilterCalls=548369, avgTableProportion=0.9981170150489521, avgTableSize=530.1179625398227
7.88/4.87
7.88/4.89 num=95, depth=5..9, filters=143891, revisions=(126242,useless=73448), ccks=380592, wck=2.435, mem=116M429
7.88/4.89 decisions=9792, wrong=4282, backtracks=2631, failedAssignments=2475, nogoods=419, foundSolutions=10, bestBound=-974
7.88/4.89 nFilterCalls=551051, avgTableProportion=0.9981170147622649, avgTableSize=530.1178783814928
7.88/4.89
7.99/4.91 num=96, depth=11..16, filters=144824, revisions=(127100,useless=73926), ccks=383061, wck=2.45, mem=116M429
7.99/4.91 decisions=9860, wrong=4310, backtracks=2649, failedAssignments=2491, nogoods=422, foundSolutions=10, bestBound=-974
7.99/4.91 nFilterCalls=554468, avgTableProportion=0.9981170123802205, avgTableSize=530.11717898959
7.99/4.91
7.99/4.92 num=97, depth=10..18, filters=145771, revisions=(127976,useless=74422), ccks=385525, wck=2.465, mem=116M429
7.99/4.92 decisions=9935, wrong=4341, backtracks=2672, failedAssignments=2508, nogoods=425, foundSolutions=10, bestBound=-974
7.99/4.92 nFilterCalls=557952, avgTableProportion=0.9981170138191585, avgTableSize=530.1176015141087
7.99/4.92
7.99/4.94 num=98, depth=9..14, filters=146705, revisions=(128862,useless=74938), ccks=387970, wck=2.484, mem=116M429
7.99/4.94 decisions=10003, wrong=4369, backtracks=2685, failedAssignments=2527, nogoods=431, foundSolutions=10, bestBound=-974
7.99/4.94 nFilterCalls=561934, avgTableProportion=0.9981170121566576, avgTableSize=530.1171133976588
7.99/4.94
7.99/4.96 num=99, depth=7..16, filters=147861, revisions=(129915,useless=75501), ccks=390988, wck=2.505, mem=116M429
7.99/4.96 decisions=10084, wrong=4406, backtracks=2708, failedAssignments=2548, nogoods=433, foundSolutions=10, bestBound=-974
7.99/4.96 nFilterCalls=565932, avgTableProportion=0.9981170108433288, avgTableSize=530.116727804754
7.99/4.96
7.99/4.98 num=100, depth=13..18, filters=149191, revisions=(130969,useless=76121), ccks=393948, wck=2.52, mem=116M429
7.99/4.98 decisions=10169, wrong=4442, backtracks=2734, failedAssignments=2571, nogoods=439, foundSolutions=10, bestBound=-974
7.99/4.98 nFilterCalls=570520, avgTableProportion=0.9981170132098831, avgTableSize=530.1174227020963
7.99/4.98
7.99/5.00 num=101, depth=9..15, filters=150460, revisions=(132142,useless=76814), ccks=397121, wck=2.544, mem=116M429
7.99/5.00 decisions=10254, wrong=4480, backtracks=2759, failedAssignments=2596, nogoods=442, foundSolutions=10, bestBound=-974
7.99/5.00 nFilterCalls=575934, avgTableProportion=0.9981170103610929, avgTableSize=530.1165862755107
7.99/5.00
7.99/5.01 o -972
7.99/5.01 num=102, depth=13..71, filters=151271, revisions=(132849,useless=77239), ccks=399260, wck=2.556, mem=119M71
7.99/5.01 decisions=10312, wrong=4501, backtracks=2770, failedAssignments=2611, nogoods=449, foundSolutions=11, bestBound=-972
7.99/5.01 nFilterCalls=578778, avgTableProportion=0.9981170113050587, avgTableSize=530.1168634606015
7.99/5.01
8.15/5.04 num=103, depth=5..13, filters=153330, revisions=(134839,useless=78310), ccks=403101, wck=2.59, mem=119M71
8.15/5.04 decisions=10418, wrong=4551, backtracks=2801, failedAssignments=2642, nogoods=455, foundSolutions=11, bestBound=-972
8.15/5.04 nFilterCalls=584413, avgTableProportion=0.9981170105734175, avgTableSize=530.1166486714019
8.15/5.04
8.15/5.06 num=104, depth=6..11, filters=154217, revisions=(135771,useless=78816), ccks=404748, wck=2.603, mem=119M71
8.15/5.06 decisions=10472, wrong=4575, backtracks=2818, failedAssignments=2653, nogoods=463, foundSolutions=11, bestBound=-972
8.15/5.06 nFilterCalls=586579, avgTableProportion=0.9981170104650234, avgTableSize=530.1166168580874
8.15/5.06
8.15/5.07 num=105, depth=10..16, filters=155006, revisions=(136510,useless=79231), ccks=406894, wck=2.615, mem=119M71
8.15/5.07 decisions=10525, wrong=4596, backtracks=2834, failedAssignments=2665, nogoods=467, foundSolutions=11, bestBound=-972
8.15/5.07 nFilterCalls=589378, avgTableProportion=0.9981170091855279, avgTableSize=530.1162411898646
8.15/5.07
8.15/5.08 num=106, depth=9..15, filters=155731, revisions=(137186,useless=79612), ccks=408465, wck=2.629, mem=119M71
8.15/5.08 decisions=10576, wrong=4616, backtracks=2848, failedAssignments=2678, nogoods=471, foundSolutions=11, bestBound=-972
8.15/5.08 nFilterCalls=592238, avgTableProportion=0.9981170098729625, avgTableSize=530.116443051611
8.15/5.08
8.15/5.10 num=107, depth=7..12, filters=156569, revisions=(138049,useless=80063), ccks=410224, wck=2.642, mem=119M71
8.15/5.10 decisions=10636, wrong=4642, backtracks=2865, failedAssignments=2692, nogoods=478, foundSolutions=11, bestBound=-972
8.15/5.10 nFilterCalls=594435, avgTableProportion=0.9981170097077651, avgTableSize=530.1163945595397
8.15/5.10
8.27/5.11 num=108, depth=5..14, filters=157471, revisions=(138928,useless=80545), ccks=412597, wck=2.66, mem=119M71
8.27/5.11 decisions=10700, wrong=4670, backtracks=2884, failedAssignments=2708, nogoods=481, foundSolutions=11, bestBound=-972
8.27/5.11 nFilterCalls=597544, avgTableProportion=0.9981170090757832, avgTableSize=530.1162090155703
8.27/5.11
8.27/5.14 num=109, depth=8..18, filters=158612, revisions=(139940,useless=81133), ccks=415450, wck=2.681, mem=119M71
8.27/5.14 decisions=10784, wrong=4705, backtracks=2910, failedAssignments=2725, nogoods=486, foundSolutions=11, bestBound=-972
8.27/5.14 nFilterCalls=602037, avgTableProportion=0.9981170113887151, avgTableSize=530.1168881646809
8.27/5.14
8.27/5.15 num=110, depth=8..12, filters=159702, revisions=(141026,useless=81735), ccks=418086, wck=2.698, mem=119M71
8.27/5.15 decisions=10855, wrong=4735, backtracks=2925, failedAssignments=2744, nogoods=490, foundSolutions=11, bestBound=-972
8.27/5.15 nFilterCalls=605123, avgTableProportion=0.9981170104953611, avgTableSize=530.1166258760616
8.27/5.15
8.27/5.18 num=111, depth=9..14, filters=161081, revisions=(142321,useless=82502), ccks=421848, wck=2.72, mem=119M71
8.27/5.18 decisions=10935, wrong=4769, backtracks=2949, failedAssignments=2765, nogoods=497, foundSolutions=11, bestBound=-972
8.27/5.18 nFilterCalls=609674, avgTableProportion=0.9981170116026573, avgTableSize=530.1169510262862
8.27/5.18
8.27/5.20 num=112, depth=5..14, filters=162441, revisions=(143638,useless=83186), ccks=424553, wck=2.74, mem=119M71
8.27/5.20 decisions=11018, wrong=4806, backtracks=2969, failedAssignments=2788, nogoods=503, foundSolutions=11, bestBound=-972
8.27/5.20 nFilterCalls=613228, avgTableProportion=0.9981170102161089, avgTableSize=530.1165439281964
8.27/5.20
8.37/5.22 num=113, depth=8..14, filters=163897, revisions=(144941,useless=83978), ccks=428279, wck=2.762, mem=119M71
8.37/5.22 decisions=11108, wrong=4846, backtracks=2992, failedAssignments=2813, nogoods=508, foundSolutions=11, bestBound=-972
8.37/5.22 nFilterCalls=617559, avgTableProportion=0.9981170113424315, avgTableSize=530.1168746629877
8.37/5.22
8.37/5.24 o -971
8.37/5.24 num=114, depth=9..71, filters=165362, revisions=(146277,useless=84736), ccks=432106, wck=2.782, mem=119M71
8.37/5.24 decisions=11208, wrong=4890, backtracks=3021, failedAssignments=2838, nogoods=512, foundSolutions=12, bestBound=-971
8.37/5.24 nFilterCalls=623694, avgTableProportion=0.9981170090487087, avgTableSize=530.1162012140569
8.37/5.24
8.37/5.27 num=115, depth=8..14, filters=167110, revisions=(147931,useless=85689), ccks=436281, wck=2.812, mem=121M714
8.37/5.27 decisions=11325, wrong=4944, backtracks=3052, failedAssignments=2869, nogoods=519, foundSolutions=12, bestBound=-971
8.37/5.27 nFilterCalls=629658, avgTableProportion=0.9981170087401615, avgTableSize=530.1161106505436
8.37/5.27
8.37/5.28 num=116, depth=7..13, filters=167768, revisions=(148560,useless=86039), ccks=437942, wck=2.824, mem=121M714
8.37/5.28 decisions=11366, wrong=4961, backtracks=3063, failedAssignments=2880, nogoods=520, foundSolutions=12, bestBound=-971
8.37/5.28 nFilterCalls=631843, avgTableProportion=0.9981170074965919, avgTableSize=530.1157455253916
8.37/5.28
8.37/5.29 num=117, depth=7..14, filters=168580, revisions=(149379,useless=86494), ccks=439896, wck=2.837, mem=121M714
8.37/5.29 decisions=11416, wrong=4981, backtracks=3075, failedAssignments=2892, nogoods=524, foundSolutions=12, bestBound=-971
8.37/5.29 nFilterCalls=634292, avgTableProportion=0.9981170067423585, avgTableSize=530.115524080392
8.37/5.29
8.48/5.31 num=118, depth=6..10, filters=169584, revisions=(150329,useless=87038), ccks=442483, wck=2.857, mem=121M714
8.48/5.31 decisions=11472, wrong=5005, backtracks=3088, failedAssignments=2905, nogoods=528, foundSolutions=12, bestBound=-971
8.48/5.31 nFilterCalls=637759, avgTableProportion=0.9981170051855095, avgTableSize=530.1150669767106
8.48/5.31
8.48/5.32 num=119, depth=10..15, filters=170566, revisions=(151218,useless=87544), ccks=445192, wck=2.869, mem=121M714
8.48/5.32 decisions=11534, wrong=5031, backtracks=3104, failedAssignments=2919, nogoods=531, foundSolutions=12, bestBound=-971
8.48/5.32 nFilterCalls=640299, avgTableProportion=0.9981170055669976, avgTableSize=530.1151790023099
8.48/5.32
8.48/5.35 num=120, depth=6..14, filters=171831, revisions=(152364,useless=88189), ccks=448100, wck=2.894, mem=121M714
8.48/5.35 decisions=11599, wrong=5059, backtracks=3119, failedAssignments=2935, nogoods=537, foundSolutions=12, bestBound=-971
8.48/5.35 nFilterCalls=644832, avgTableProportion=0.9981170047265774, avgTableSize=530.1149322614262
8.48/5.35
8.48/5.36 num=121, depth=9..16, filters=172733, revisions=(153223,useless=88651), ccks=450282, wck=2.907, mem=121M714
8.48/5.36 decisions=11662, wrong=5086, backtracks=3137, failedAssignments=2952, nogoods=539, foundSolutions=12, bestBound=-971
8.48/5.36 nFilterCalls=647425, avgTableProportion=0.9981170047948171, avgTableSize=530.1149523110785
8.48/5.36
8.48/5.39 num=122, depth=4..11, filters=174277, revisions=(154689,useless=89473), ccks=453869, wck=2.935, mem=121M714
8.48/5.39 decisions=11741, wrong=5122, backtracks=3160, failedAssignments=2971, nogoods=545, foundSolutions=12, bestBound=-971
8.48/5.39 nFilterCalls=653080, avgTableProportion=0.9981170035793546, avgTableSize=530.1145954553807
8.48/5.39
8.58/5.41 num=123, depth=8..15, filters=175360, revisions=(155691,useless=90063), ccks=456225, wck=2.959, mem=121M714
8.58/5.41 decisions=11819, wrong=5157, backtracks=3181, failedAssignments=2992, nogoods=549, foundSolutions=12, bestBound=-971
8.58/5.41 nFilterCalls=657543, avgTableProportion=0.9981170039188525, avgTableSize=530.1146951606207
8.58/5.41
8.58/5.43 num=124, depth=8..13, filters=176576, revisions=(156863,useless=90735), ccks=459566, wck=2.98, mem=121M714
8.58/5.43 decisions=11908, wrong=5197, backtracks=3202, failedAssignments=3015, nogoods=555, foundSolutions=12, bestBound=-971
8.58/5.43 nFilterCalls=661867, avgTableProportion=0.9981170030751866, avgTableSize=530.1144474645208
8.58/5.43
8.58/5.47 num=125, depth=8..18, filters=178359, revisions=(158217,useless=91665), ccks=463079, wck=3.015, mem=121M714
8.58/5.47 decisions=12011, wrong=5243, backtracks=3238, failedAssignments=3040, nogoods=563, foundSolutions=12, bestBound=-971
8.58/5.47 nFilterCalls=670650, avgTableProportion=0.998117008213312, avgTableSize=530.1159561619324
8.58/5.47
8.58/5.50 num=126, depth=7..14, filters=179902, revisions=(159711,useless=92490), ccks=467193, wck=3.04, mem=121M714
8.58/5.50 decisions=12116, wrong=5292, backtracks=3267, failedAssignments=3068, nogoods=567, foundSolutions=12, bestBound=-971
8.58/5.50 nFilterCalls=674991, avgTableProportion=0.998117007868294, avgTableSize=530.1158548780651
8.58/5.50
8.70/5.54 num=127, depth=3..12, filters=181939, revisions=(161651,useless=93572), ccks=472506, wck=3.081, mem=121M714
8.70/5.54 decisions=12247, wrong=5352, backtracks=3305, failedAssignments=3099, nogoods=571, foundSolutions=12, bestBound=-971
8.70/5.54 nFilterCalls=682075, avgTableProportion=0.9981170056675829, avgTableSize=530.115208738042
8.70/5.54
8.70/5.56 num=128, depth=8..18, filters=183560, revisions=(163035,useless=94359), ccks=476239, wck=3.108, mem=121M714
8.70/5.56 decisions=12358, wrong=5403, backtracks=3335, failedAssignments=3133, nogoods=579, foundSolutions=12, bestBound=-971
8.70/5.56 nFilterCalls=688060, avgTableProportion=0.9981170049422242, avgTableSize=530.1149957852513
8.70/5.56
8.80/5.60 num=129, depth=7..15, filters=186060, revisions=(165238,useless=95602), ccks=481997, wck=3.146, mem=124M356
8.80/5.60 decisions=12500, wrong=5470, backtracks=3380, failedAssignments=3170, nogoods=589, foundSolutions=12, bestBound=-971
8.80/5.60 nFilterCalls=695820, avgTableProportion=0.9981170031195168, avgTableSize=530.1144606363715
8.80/5.60
8.80/5.65 num=130, depth=6..18, filters=188898, revisions=(167694,useless=97001), ccks=488041, wck=3.192, mem=124M356
8.80/5.65 decisions=12660, wrong=5546, backtracks=3435, failedAssignments=3211, nogoods=595, foundSolutions=12, bestBound=-971
8.80/5.65 nFilterCalls=704321, avgTableProportion=0.9981170055853672, avgTableSize=530.1151846956146
8.80/5.65
8.80/5.69 num=131, depth=4..11, filters=191661, revisions=(170116,useless=98244), ccks=494894, wck=3.238, mem=124M356
8.80/5.69 decisions=12812, wrong=5619, backtracks=3477, failedAssignments=3256, nogoods=602, foundSolutions=12, bestBound=-971
8.80/5.69 nFilterCalls=712213, avgTableProportion=0.9981170049299476, avgTableSize=530.1149922846115
8.80/5.69
8.90/5.74 num=132, depth=9..18, filters=195004, revisions=(172703,useless=99745), ccks=501740, wck=3.285, mem=124M356
8.90/5.74 decisions=12997, wrong=5706, backtracks=3524, failedAssignments=3306, nogoods=613, foundSolutions=12, bestBound=-971
8.90/5.74 nFilterCalls=723815, avgTableProportion=0.9981170047032706, avgTableSize=530.1149257752327
8.90/5.74
9.00/5.81 num=133, depth=3..10, filters=198186, revisions=(175543,useless=101299), ccks=509069, wck=3.35, mem=124M356
9.00/5.81 decisions=13189, wrong=5799, backtracks=3578, failedAssignments=3361, nogoods=619, foundSolutions=12, bestBound=-971
9.00/5.81 nFilterCalls=734261, avgTableProportion=0.9981170022238598, avgTableSize=530.1141978124945
9.00/5.81
9.00/5.87 num=134, depth=7..13, filters=201961, revisions=(178983,useless=103252), ccks=519075, wck=3.415, mem=124M356
9.00/5.87 decisions=13402, wrong=5902, backtracks=3636, failedAssignments=3422, nogoods=625, foundSolutions=12, bestBound=-971
9.00/5.87 nFilterCalls=747139, avgTableProportion=0.9981169998321706, avgTableSize=530.1134956146045
9.00/5.87
9.10/5.90 o -970
9.10/5.90 num=135, depth=11..71, filters=204259, revisions=(180872,useless=104373), ccks=524598, wck=3.444, mem=126M999
9.10/5.90 decisions=13546, wrong=5966, backtracks=3671, failedAssignments=3460, nogoods=630, foundSolutions=13, bestBound=-970
9.10/5.90 nFilterCalls=754960, avgTableProportion=0.9981170033117771, avgTableSize=530.1145173254212
9.10/5.90
9.10/5.99 num=136, depth=6..15, filters=208405, revisions=(184638,useless=106569), ccks=534212, wck=3.53, mem=126M999
9.10/5.99 decisions=13816, wrong=6098, backtracks=3756, failedAssignments=3534, nogoods=634, foundSolutions=13, bestBound=-970
9.10/5.99 nFilterCalls=772424, avgTableProportion=0.9981170003488923, avgTableSize=530.1136474268019
9.10/5.99
9.10/6.00 num=137, depth=7..14, filters=209319, revisions=(185536,useless=107044), ccks=536059, wck=3.542, mem=126M999
9.10/6.00 decisions=13869, wrong=6119, backtracks=3770, failedAssignments=3545, nogoods=637, foundSolutions=13, bestBound=-970
9.10/6.00 nFilterCalls=775332, avgTableProportion=0.998116999617539, avgTableSize=530.1134326972187
9.10/6.00
9.23/6.01 num=138, depth=9..15, filters=210133, revisions=(186336,useless=107471), ccks=538263, wck=3.555, mem=126M999
9.23/6.01 decisions=13926, wrong=6143, backtracks=3787, failedAssignments=3557, nogoods=640, foundSolutions=13, bestBound=-970
9.23/6.01 nFilterCalls=777853, avgTableProportion=0.9981169990966358, avgTableSize=530.1132797585148
9.23/6.01
9.23/6.03 num=139, depth=6..13, filters=211127, revisions=(187222,useless=107979), ccks=540310, wck=3.571, mem=126M999
9.23/6.03 decisions=13978, wrong=6164, backtracks=3798, failedAssignments=3570, nogoods=643, foundSolutions=13, bestBound=-970
9.23/6.03 nFilterCalls=780947, avgTableProportion=0.9981169989374743, avgTableSize=530.1132330363008
9.23/6.03
9.23/6.04 num=140, depth=8..13, filters=211916, revisions=(188024,useless=108433), ccks=542390, wck=3.583, mem=126M999
9.23/6.04 decisions=14029, wrong=6185, backtracks=3811, failedAssignments=3584, nogoods=646, foundSolutions=13, bestBound=-970
9.23/6.04 nFilterCalls=783196, avgTableProportion=0.998116998695403, avgTableSize=530.1131619671194
9.23/6.04
9.23/6.06 num=141, depth=5..10, filters=212862, revisions=(188974,useless=108987), ccks=544643, wck=3.6, mem=126M999
9.23/6.06 decisions=14089, wrong=6210, backtracks=3826, failedAssignments=3600, nogoods=649, foundSolutions=13, bestBound=-970
9.23/6.06 nFilterCalls=786226, avgTableProportion=0.9981169987435339, avgTableSize=530.1131761096682
9.23/6.06
9.23/6.07 num=142, depth=6..10, filters=213689, revisions=(189820,useless=109459), ccks=546790, wck=3.614, mem=126M999
9.23/6.07 decisions=14148, wrong=6236, backtracks=3836, failedAssignments=3617, nogoods=655, foundSolutions=13, bestBound=-970
9.23/6.07 nFilterCalls=788368, avgTableProportion=0.9981169979813574, avgTableSize=530.1129523268321
9.23/6.07
9.23/6.09 num=143, depth=6..12, filters=214898, revisions=(191040,useless=110113), ccks=549941, wck=3.633, mem=126M999
9.23/6.09 decisions=14215, wrong=6266, backtracks=3855, failedAssignments=3636, nogoods=659, foundSolutions=13, bestBound=-970
9.23/6.09 nFilterCalls=791559, avgTableProportion=0.9981169973641946, avgTableSize=530.1127711263468
9.23/6.09
9.33/6.11 num=144, depth=8..13, filters=216344, revisions=(192418,useless=110914), ccks=553615, wck=3.656, mem=126M999
9.33/6.11 decisions=14303, wrong=6305, backtracks=3878, failedAssignments=3657, nogoods=666, foundSolutions=13, bestBound=-970
9.33/6.11 nFilterCalls=796180, avgTableProportion=0.9981169985699402, avgTableSize=530.1131251726996
9.33/6.11
9.33/6.14 num=145, depth=8..12, filters=217861, revisions=(193702,useless=111676), ccks=557134, wck=3.689, mem=126M999
9.33/6.14 decisions=14395, wrong=6347, backtracks=3909, failedAssignments=3680, nogoods=674, foundSolutions=13, bestBound=-970
9.33/6.14 nFilterCalls=803020, avgTableProportion=0.9981169967131693, avgTableSize=530.1125800104605
9.33/6.14
9.33/6.17 num=146, depth=5..13, filters=219497, revisions=(195210,useless=112487), ccks=561253, wck=3.717, mem=126M999
9.33/6.17 decisions=14500, wrong=6395, backtracks=3940, failedAssignments=3705, nogoods=679, foundSolutions=13, bestBound=-970
9.33/6.17 nFilterCalls=808396, avgTableProportion=0.9981169992188692, avgTableSize=530.1133157511913
9.33/6.17
9.42/6.20 num=147, depth=7..16, filters=221242, revisions=(196838,useless=113431), ccks=565803, wck=3.747, mem=126M999
9.42/6.20 decisions=14609, wrong=6444, backtracks=3966, failedAssignments=3733, nogoods=687, foundSolutions=13, bestBound=-970
9.42/6.20 nFilterCalls=814247, avgTableProportion=0.9981169999800159, avgTableSize=530.1135392577437
9.42/6.20
9.42/6.23 num=148, depth=4..15, filters=222879, revisions=(198241,useless=114241), ccks=569460, wck=3.775, mem=129M641
9.42/6.23 decisions=14705, wrong=6489, backtracks=3993, failedAssignments=3764, nogoods=692, foundSolutions=13, bestBound=-970
9.42/6.23 nFilterCalls=819630, avgTableProportion=0.9981169999044079, avgTableSize=530.1135170747776
9.42/6.23
9.42/6.26 num=149, depth=8..15, filters=225008, revisions=(200232,useless=115363), ccks=575797, wck=3.81, mem=129M641
9.42/6.26 decisions=14847, wrong=6554, backtracks=4030, failedAssignments=3798, nogoods=698, foundSolutions=13, bestBound=-970
9.42/6.26 nFilterCalls=826689, avgTableProportion=0.9981169979749771, avgTableSize=530.1129505775449
9.42/6.26
9.52/6.31 num=150, depth=7..13, filters=227716, revisions=(202675,useless=116729), ccks=582585, wck=3.851, mem=129M641
9.52/6.31 decisions=14991, wrong=6621, backtracks=4067, failedAssignments=3835, nogoods=707, foundSolutions=13, bestBound=-970
9.52/6.31 nFilterCalls=833680, avgTableProportion=0.9981169975637781, avgTableSize=530.1128298627771
9.52/6.31
9.52/6.35 num=151, depth=8..14, filters=230136, revisions=(204850,useless=118002), ccks=588827, wck=3.896, mem=129M641
9.52/6.35 decisions=15148, wrong=6695, backtracks=4116, failedAssignments=3876, nogoods=711, foundSolutions=13, bestBound=-970
9.52/6.35 nFilterCalls=843240, avgTableProportion=0.9981169949195987, avgTableSize=530.112053507898
9.52/6.35
9.52/6.40 num=152, depth=6..16, filters=232904, revisions=(207369,useless=119482), ccks=595379, wck=3.94, mem=129M641
9.52/6.40 decisions=15315, wrong=6774, backtracks=4169, failedAssignments=3921, nogoods=720, foundSolutions=13, bestBound=-970
9.52/6.40 nFilterCalls=851231, avgTableProportion=0.998116995854071, avgTableSize=530.1123279109901
9.52/6.40
9.62/6.44 num=153, depth=8..13, filters=236329, revisions=(210213,useless=121131), ccks=603515, wck=3.988, mem=129M641
9.62/6.44 decisions=15503, wrong=6863, backtracks=4230, failedAssignments=3971, nogoods=727, foundSolutions=13, bestBound=-970
9.62/6.44 nFilterCalls=862056, avgTableProportion=0.9981169973989055, avgTableSize=530.1127815362343
9.62/6.44
9.72/6.52 num=154, depth=6..15, filters=240323, revisions=(213676,useless=123220), ccks=612799, wck=4.069, mem=129M641
9.72/6.52 decisions=15733, wrong=6974, backtracks=4315, failedAssignments=4026, nogoods=735, foundSolutions=13, bestBound=-970
9.72/6.52 nFilterCalls=877351, avgTableProportion=0.9981170004577, avgTableSize=530.1136797017385
9.72/6.52
9.72/6.58 num=155, depth=8..18, filters=244250, revisions=(216774,useless=125004), ccks=621568, wck=4.125, mem=132M284
9.72/6.58 decisions=15952, wrong=7079, backtracks=4383, failedAssignments=4087, nogoods=741, foundSolutions=13, bestBound=-970
9.72/6.58 nFilterCalls=890601, avgTableProportion=0.9981170011143474, avgTableSize=530.1138725422495
9.72/6.58
9.82/6.67 num=156, depth=4..14, filters=248409, revisions=(220473,useless=127142), ccks=630948, wck=4.215, mem=132M284
9.82/6.67 decisions=16183, wrong=7191, backtracks=4452, failedAssignments=4154, nogoods=748, foundSolutions=13, bestBound=-970
9.82/6.67 nFilterCalls=906815, avgTableProportion=0.9981169997158296, avgTableSize=530.1134619519968
9.82/6.67
9.92/6.74 num=157, depth=9..17, filters=252929, revisions=(224362,useless=129426), ccks=642288, wck=4.282, mem=132M284
9.92/6.74 decisions=16454, wrong=7321, backtracks=4541, failedAssignments=4228, nogoods=753, foundSolutions=13, bestBound=-970
9.92/6.74 nFilterCalls=922695, avgTableProportion=0.998117004610926, avgTableSize=530.1148992895811
9.92/6.74
10.02/6.82 num=158, depth=4..13, filters=257883, revisions=(228558,useless=131593), ccks=653665, wck=4.363, mem=132M284
10.02/6.82 decisions=16745, wrong=7464, backtracks=4619, failedAssignments=4309, nogoods=763, foundSolutions=13, bestBound=-970
10.02/6.82 nFilterCalls=937293, avgTableProportion=0.998117001895403, avgTableSize=530.1141019937202
10.02/6.82
10.12/6.93 num=159, depth=7..16, filters=264092, revisions=(233680,useless=134647), ccks=667276, wck=4.475, mem=134M926
10.12/6.93 decisions=17095, wrong=7635, backtracks=4745, failedAssignments=4398, nogoods=770, foundSolutions=13, bestBound=-970
10.12/6.93 nFilterCalls=961181, avgTableProportion=0.9981170030089872, avgTableSize=530.1144290201325
10.12/6.93
10.23/7.02 o -968
10.23/7.02 num=160, depth=4..71, filters=269293, revisions=(238220,useless=137202), ccks=678967, wck=4.57, mem=134M926
10.23/7.02 decisions=17400, wrong=7781, backtracks=4837, failedAssignments=4484, nogoods=784, foundSolutions=14, bestBound=-968
10.23/7.02 nFilterCalls=979081, avgTableProportion=0.9981170042462356, avgTableSize=530.114792340981
10.23/7.02
10.33/7.14 num=161, depth=8..16, filters=276323, revisions=(244246,useless=140839), ccks=695456, wck=4.682, mem=134M926
10.33/7.14 decisions=17791, wrong=7972, backtracks=4958, failedAssignments=4592, nogoods=789, foundSolutions=14, bestBound=-968
10.33/7.14 nFilterCalls=1004668, avgTableProportion=0.9981170047742297, avgTableSize=530.1149474254181
10.33/7.14
10.33/7.15 num=162, depth=8..13, filters=276976, revisions=(244906,useless=141195), ccks=697289, wck=4.694, mem=134M926
10.33/7.15 decisions=17838, wrong=7991, backtracks=4971, failedAssignments=4603, nogoods=792, foundSolutions=14, bestBound=-968
10.33/7.15 nFilterCalls=1007172, avgTableProportion=0.9981170045042713, avgTableSize=530.1148681655169
10.33/7.15
10.33/7.16 num=163, depth=8..12, filters=277536, revisions=(245455,useless=141511), ccks=698728, wck=4.706, mem=134M926
10.33/7.16 decisions=17884, wrong=8010, backtracks=4980, failedAssignments=4615, nogoods=795, foundSolutions=14, bestBound=-968
10.33/7.16 nFilterCalls=1009628, avgTableProportion=0.99811700417328, avgTableSize=530.1147709849569
10.33/7.16
10.33/7.18 num=164, depth=8..13, filters=278281, revisions=(246162,useless=141923), ccks=700165, wck=4.721, mem=134M926
10.33/7.18 decisions=17932, wrong=8030, backtracks=4991, failedAssignments=4628, nogoods=798, foundSolutions=14, bestBound=-968
10.33/7.18 nFilterCalls=1012739, avgTableProportion=0.9981170035677551, avgTableSize=530.1145931972601
10.33/7.18
10.33/7.19 num=165, depth=6..13, filters=279446, revisions=(247324,useless=142518), ccks=703139, wck=4.737, mem=134M926
10.33/7.19 decisions=17997, wrong=8058, backtracks=5010, failedAssignments=4642, nogoods=800, foundSolutions=14, bestBound=-968
10.33/7.19 nFilterCalls=1015487, avgTableProportion=0.9981170027128392, avgTableSize=530.1143421826177
10.33/7.19
10.43/7.21 num=166, depth=10..16, filters=280540, revisions=(248400,useless=143115), ccks=706178, wck=4.753, mem=134M926
10.43/7.21 decisions=18070, wrong=8089, backtracks=5031, failedAssignments=4658, nogoods=804, foundSolutions=14, bestBound=-968
10.43/7.21 nFilterCalls=1018864, avgTableProportion=0.9981170024081829, avgTableSize=530.1142527363809
10.43/7.21
10.43/7.22 num=167, depth=6..13, filters=281511, revisions=(249383,useless=143628), ccks=708716, wck=4.769, mem=134M926
10.43/7.22 decisions=18132, wrong=8117, backtracks=5048, failedAssignments=4675, nogoods=810, foundSolutions=14, bestBound=-968
10.43/7.22 nFilterCalls=1021571, avgTableProportion=0.9981170020338324, avgTableSize=530.1141428251193
10.43/7.22
10.43/7.25 num=168, depth=8..15, filters=283000, revisions=(250756,useless=144388), ccks=712779, wck=4.795, mem=137M569
10.43/7.25 decisions=18225, wrong=8158, backtracks=5077, failedAssignments=4694, nogoods=817, foundSolutions=14, bestBound=-968
10.43/7.25 nFilterCalls=1026815, avgTableProportion=0.9981170010435091, avgTableSize=530.1138520570892
10.43/7.25
10.43/7.27 num=169, depth=7..12, filters=284248, revisions=(252011,useless=145100), ccks=715904, wck=4.814, mem=137M569
10.43/7.27 decisions=18299, wrong=8191, backtracks=5094, failedAssignments=4715, nogoods=820, foundSolutions=14, bestBound=-968
10.43/7.27 nFilterCalls=1030405, avgTableProportion=0.9981170006774961, avgTableSize=530.1137445955717
10.43/7.27
10.43/7.29 num=170, depth=8..17, filters=285639, revisions=(253306,useless=145812), ccks=719389, wck=4.84, mem=137M569
10.43/7.29 decisions=18405, wrong=8236, backtracks=5119, failedAssignments=4738, nogoods=822, foundSolutions=14, bestBound=-968
10.43/7.29 nFilterCalls=1036013, avgTableProportion=0.9981169989223951, avgTableSize=530.1132292741501
10.43/7.29
10.53/7.32 num=171, depth=7..14, filters=287201, revisions=(254719,useless=146643), ccks=722873, wck=4.867, mem=137M569
10.53/7.32 decisions=18492, wrong=8275, backtracks=5142, failedAssignments=4763, nogoods=827, foundSolutions=14, bestBound=-968
10.53/7.32 nFilterCalls=1041552, avgTableProportion=0.9981169987713645, avgTableSize=530.1131849393981
10.53/7.32
10.53/7.37 num=172, depth=2..11, filters=289572, revisions=(256843,useless=147794), ccks=728752, wck=4.918, mem=137M569
10.53/7.37 decisions=18610, wrong=8332, backtracks=5183, failedAssignments=4791, nogoods=833, foundSolutions=14, bestBound=-968
10.53/7.37 nFilterCalls=1049968, avgTableProportion=0.9981169992884678, avgTableSize=530.1133367874069
10.53/7.37
10.63/7.40 num=173, depth=7..16, filters=291445, revisions=(258472,useless=148716), ccks=733152, wck=4.949, mem=137M569
10.63/7.40 decisions=18724, wrong=8385, backtracks=5216, failedAssignments=4822, nogoods=840, foundSolutions=14, bestBound=-968
10.63/7.40 nFilterCalls=1056253, avgTableProportion=0.9981169983168224, avgTableSize=530.1130515132264
10.63/7.40
10.63/7.44 num=174, depth=7..11, filters=293491, revisions=(260384,useless=149821), ccks=737835, wck=4.988, mem=137M569
10.63/7.44 decisions=18844, wrong=8440, backtracks=5251, failedAssignments=4856, nogoods=849, foundSolutions=14, bestBound=-968
10.63/7.44 nFilterCalls=1063647, avgTableProportion=0.9981169991687711, avgTableSize=530.1133016874959
10.63/7.44
10.63/7.48 num=175, depth=7..15, filters=295396, revisions=(262144,useless=150815), ccks=742443, wck=5.023, mem=137M569
10.63/7.48 decisions=18975, wrong=8501, backtracks=5293, failedAssignments=4893, nogoods=853, foundSolutions=14, bestBound=-968
10.63/7.48 nFilterCalls=1070524, avgTableProportion=0.9981169968775303, avgTableSize=530.1126289555395
10.63/7.48
10.73/7.52 num=176, depth=8..13, filters=298099, revisions=(264663,useless=152250), ccks=749036, wck=5.065, mem=137M569
10.73/7.52 decisions=19123, wrong=8570, backtracks=5336, failedAssignments=4934, nogoods=862, foundSolutions=14, bestBound=-968
10.73/7.52 nFilterCalls=1079234, avgTableProportion=0.9981169959086332, avgTableSize=530.1123444961889
10.73/7.52
10.73/7.58 num=177, depth=7..16, filters=301278, revisions=(267514,useless=153976), ccks=756114, wck=5.123, mem=137M569
10.73/7.58 decisions=19311, wrong=8659, backtracks=5391, failedAssignments=4979, nogoods=868, foundSolutions=14, bestBound=-968
10.73/7.58 nFilterCalls=1091494, avgTableProportion=0.9981169968653513, avgTableSize=530.1126254473227
10.73/7.58
10.83/7.63 num=178, depth=6..16, filters=304037, revisions=(269814,useless=155386), ccks=761980, wck=5.178, mem=140M211
10.83/7.63 decisions=19486, wrong=8742, backtracks=5442, failedAssignments=5029, nogoods=873, foundSolutions=14, bestBound=-968
10.83/7.63 nFilterCalls=1103069, avgTableProportion=0.9981169962272217, avgTableSize=530.1124381158386
10.83/7.63
10.83/7.69 num=179, depth=7..15, filters=307386, revisions=(272771,useless=157125), ccks=770440, wck=5.239, mem=140M211
10.83/7.69 decisions=19690, wrong=8839, backtracks=5506, failedAssignments=5084, nogoods=885, foundSolutions=14, bestBound=-968
10.83/7.69 nFilterCalls=1115271, avgTableProportion=0.9981169974303638, avgTableSize=530.1127914202019
10.83/7.69
10.93/7.76 num=180, depth=5..13, filters=311216, revisions=(276343,useless=159127), ccks=779663, wck=5.304, mem=140M211
10.93/7.76 decisions=19908, wrong=8945, backtracks=5569, failedAssignments=5145, nogoods=890, foundSolutions=14, bestBound=-968
10.93/7.76 nFilterCalls=1126557, avgTableProportion=0.9981169981347529, avgTableSize=530.1129982770512
10.93/7.76
11.03/7.82 num=181, depth=8..17, filters=315002, revisions=(279641,useless=160971), ccks=789355, wck=5.369, mem=140M211
11.03/7.82 decisions=20151, wrong=9062, backtracks=5646, failedAssignments=5212, nogoods=896, foundSolutions=14, bestBound=-968
11.03/7.82 nFilterCalls=1139880, avgTableProportion=0.9981169950617154, avgTableSize=530.1120960101064
11.03/7.82
11.03/7.89 num=182, depth=6..13, filters=319290, revisions=(283572,useless=163226), ccks=799931, wck=5.44, mem=140M211
11.03/7.89 decisions=20388, wrong=9177, backtracks=5710, failedAssignments=5286, nogoods=906, foundSolutions=14, bestBound=-968
11.03/7.89 nFilterCalls=1152672, avgTableProportion=0.9981169956468142, avgTableSize=530.1122678437578
11.03/7.89
11.13/7.96 num=183, depth=6..15, filters=323929, revisions=(287848,useless=165680), ccks=811570, wck=5.509, mem=142M778
11.13/7.96 decisions=20666, wrong=9311, backtracks=5793, failedAssignments=5367, nogoods=915, foundSolutions=14, bestBound=-968
11.13/7.96 nFilterCalls=1166851, avgTableProportion=0.9981169950779705, avgTableSize=530.1121008594928
11.13/7.96
11.24/8.07 num=184, depth=6..15, filters=328945, revisions=(292504,useless=168414), ccks=824133, wck=5.617, mem=142M778
11.24/8.07 decisions=20993, wrong=9471, backtracks=5889, failedAssignments=5456, nogoods=920, foundSolutions=14, bestBound=-968
11.24/8.07 nFilterCalls=1187269, avgTableProportion=0.9981169917649448, avgTableSize=530.1111281436641
11.24/8.07
11.34/8.19 num=185, depth=3..17, filters=334426, revisions=(296861,useless=171140), ccks=835959, wck=5.734, mem=142M778
11.34/8.19 decisions=21310, wrong=9627, backtracks=5997, failedAssignments=5554, nogoods=927, foundSolutions=14, bestBound=-968
11.34/8.19 nFilterCalls=1209483, avgTableProportion=0.9981169966683182, avgTableSize=530.112567931918
11.34/8.19
11.54/8.32 num=186, depth=4..15, filters=340239, revisions=(302305,useless=174400), ccks=850712, wck=5.867, mem=142M778
11.54/8.32 decisions=21700, wrong=9820, backtracks=6131, failedAssignments=5662, nogoods=928, foundSolutions=14, bestBound=-968
11.54/8.32 nFilterCalls=1232623, avgTableProportion=0.9981169937038924, avgTableSize=530.1116975750087
11.54/8.32
11.64/8.48 num=187, depth=6..17, filters=348187, revisions=(308612,useless=178230), ccks=868016, wck=6.029, mem=29M797
11.64/8.48 decisions=22130, wrong=10030, backtracks=6285, failedAssignments=5781, nogoods=933, foundSolutions=14, bestBound=-968
11.64/8.48 nFilterCalls=1263484, avgTableProportion=0.9981169974878955, avgTableSize=530.1128087098847
11.64/8.48
11.90/8.63 num=188, depth=3..13, filters=356725, revisions=(315950,useless=182252), ccks=890241, wck=6.18, mem=29M797
11.90/8.63 decisions=22622, wrong=10271, backtracks=6441, failedAssignments=5912, nogoods=941, foundSolutions=14, bestBound=-968
11.90/8.63 nFilterCalls=1291386, avgTableProportion=0.9981169959855052, avgTableSize=530.1123676422077
11.90/8.63
12.00/8.76 num=189, depth=7..19, filters=365133, revisions=(323731,useless=186794), ccks=912182, wck=6.304, mem=29M797
12.00/8.76 decisions=23119, wrong=10515, backtracks=6602, failedAssignments=6056, nogoods=952, foundSolutions=14, bestBound=-968
12.00/8.76 nFilterCalls=1316834, avgTableProportion=0.998116997321067, avgTableSize=530.1127598467233
12.00/8.76
12.20/8.92 num=190, depth=8..18, filters=375488, revisions=(332130,useless=191775), ccks=934750, wck=6.464, mem=32M386
12.20/8.92 decisions=23673, wrong=10787, backtracks=6782, failedAssignments=6214, nogoods=961, foundSolutions=14, bestBound=-968
12.20/8.92 nFilterCalls=1353572, avgTableProportion=0.9981170004997493, avgTableSize=530.1136932501558
12.20/8.92
12.31/9.10 num=191, depth=3..15, filters=385495, revisions=(341015,useless=196814), ccks=957745, wck=6.646, mem=32M386
12.31/9.10 decisions=24223, wrong=11060, backtracks=6965, failedAssignments=6388, nogoods=966, foundSolutions=14, bestBound=-968
12.31/9.10 nFilterCalls=1384672, avgTableProportion=0.9981169993684573, avgTableSize=530.1133611425666
12.31/9.10
12.50/9.28 num=192, depth=6..16, filters=396029, revisions=(349618,useless=201854), ccks=984425, wck=6.826, mem=34M976
12.50/9.28 decisions=24889, wrong=11389, backtracks=7174, failedAssignments=6579, nogoods=978, foundSolutions=14, bestBound=-968
12.50/9.28 nFilterCalls=1423978, avgTableProportion=0.9981170007798597, avgTableSize=530.1137756341741
12.50/9.28
12.70/9.48 num=193, depth=6..17, filters=408372, revisions=(360213,useless=207905), ccks=1015541, wck=7.021, mem=34M976
12.70/9.48 decisions=25594, wrong=11736, backtracks=7402, failedAssignments=6790, nogoods=985, foundSolutions=14, bestBound=-968
12.70/9.48 nFilterCalls=1462499, avgTableProportion=0.9981170025872924, avgTableSize=530.1143064029445
12.70/9.48
13.00/9.72 num=194, depth=6..16, filters=421480, revisions=(370919,useless=214423), ccks=1045840, wck=7.267, mem=37M566
13.00/9.72 decisions=26389, wrong=12130, backtracks=7688, failedAssignments=7022, nogoods=994, foundSolutions=14, bestBound=-968
13.00/9.72 nFilterCalls=1512930, avgTableProportion=0.9981170049921074, avgTableSize=530.1150125914616
13.00/9.72
13.20/10.00 num=195, depth=2..17, filters=436988, revisions=(384978,useless=222323), ccks=1087501, wck=7.544, mem=40M155
13.20/10.00 decisions=27273, wrong=12569, backtracks=7993, failedAssignments=7277, nogoods=1001, foundSolutions=14, bestBound=-968
13.20/10.00 nFilterCalls=1561306, avgTableProportion=0.9981170059083413, avgTableSize=530.115281693659
13.20/10.00
13.50/10.25 num=196, depth=8..18, filters=453273, revisions=(398770,useless=230777), ccks=1127618, wck=7.791, mem=40M155
13.50/10.25 decisions=28259, wrong=13057, backtracks=8327, failedAssignments=7558, nogoods=1009, foundSolutions=14, bestBound=-968
13.50/10.25 nFilterCalls=1617199, avgTableProportion=0.9981170150385811, avgTableSize=530.1179626007684
13.50/10.25
13.80/10.59 num=197, depth=5..15, filters=471470, revisions=(414553,useless=239941), ccks=1174368, wck=8.13, mem=42M745
13.80/10.59 decisions=29359, wrong=13603, backtracks=8668, failedAssignments=7867, nogoods=1021, foundSolutions=14, bestBound=-968
13.80/10.59 nFilterCalls=1680462, avgTableProportion=0.9981170163076564, avgTableSize=530.1183353149313
13.80/10.59
14.20/10.99 num=198, depth=3..15, filters=493770, revisions=(433836,useless=251127), ccks=1227557, wck=8.532, mem=45M334
14.20/10.99 decisions=30571, wrong=14206, backtracks=9078, failedAssignments=8207, nogoods=1025, foundSolutions=14, bestBound=-968
14.20/10.99 nFilterCalls=1752171, avgTableProportion=0.9981170183857672, avgTableSize=530.1189455823661
14.20/10.99
14.80/11.52 num=199, depth=2..18, filters=519562, revisions=(455322,useless=264062), ccks=1285292, wck=9.066, mem=47M924
14.80/11.52 decisions=31941, wrong=14889, backtracks=9549, failedAssignments=8581, nogoods=1036, foundSolutions=14, bestBound=-968
14.80/11.52 nFilterCalls=1845415, avgTableProportion=0.9981170200999593, avgTableSize=530.1194490128237
14.80/11.52
15.20/11.94 num=200, depth=6..17, filters=545433, revisions=(477007,useless=276876), ccks=1350673, wck=9.483, mem=50M513
15.20/11.94 decisions=33470, wrong=15648, backtracks=10073, failedAssignments=8992, nogoods=1045, foundSolutions=14, bestBound=-968
15.20/11.94 nFilterCalls=1930713, avgTableProportion=0.9981170274400358, avgTableSize=530.1216042985156
15.20/11.94
15.70/12.41 num=201, depth=3..17, filters=573196, revisions=(501584,useless=291064), ccks=1421656, wck=9.959, mem=53M103
15.70/12.41 decisions=35088, wrong=16453, backtracks=10598, failedAssignments=9444, nogoods=1055, foundSolutions=14, bestBound=-968
15.70/12.41 nFilterCalls=2017697, avgTableProportion=0.9981170277610854, avgTableSize=530.1216986494999
15.70/12.41
16.20/12.92 num=202, depth=6..17, filters=605183, revisions=(527565,useless=306827), ccks=1495302, wck=10.47, mem=58M282
16.20/12.92 decisions=36835, wrong=17322, backtracks=11199, failedAssignments=9941, nogoods=1066, foundSolutions=14, bestBound=-968
16.20/12.92 nFilterCalls=2124687, avgTableProportion=0.9981170348226072, avgTableSize=530.1237721132571
16.20/12.92
16.70/13.48 num=203, depth=4..15, filters=637875, revisions=(558317,useless=325434), ccks=1579654, wck=11.027, mem=60M872
16.70/13.48 decisions=38784, wrong=18294, backtracks=11819, failedAssignments=10488, nogoods=1070, foundSolutions=14, bestBound=-968
16.70/13.48 nFilterCalls=2224316, avgTableProportion=0.998117032837997, avgTableSize=530.1231893310123
16.70/13.48
17.00/13.70 o -966
17.00/13.70 num=204, depth=6..71, filters=650576, revisions=(569449,useless=331887), ccks=1612579, wck=11.244, mem=63M461
17.00/13.70 decisions=39538, wrong=18664, backtracks=12048, failedAssignments=10705, nogoods=1083, foundSolutions=15, bestBound=-966
17.00/13.70 nFilterCalls=2266839, avgTableProportion=0.9981170346749839, avgTableSize=530.1237286812164
17.00/13.70
17.00/13.79 o -961
17.00/13.79 num=205, depth=5..71, filters=655154, revisions=(573565,useless=334342), ccks=1622721, wck=11.339, mem=63M461
17.00/13.79 decisions=39810, wrong=18794, backtracks=12129, failedAssignments=10786, nogoods=1094, foundSolutions=16, bestBound=-961
17.00/13.79 nFilterCalls=2286590, avgTableProportion=0.9981170343610973, avgTableSize=530.1236365067633
17.00/13.79
17.11/13.82 num=206, depth=5..10, filters=656083, revisions=(574478,useless=334881), ccks=1624590, wck=11.36, mem=63M461
17.11/13.82 decisions=39861, wrong=18817, backtracks=12144, failedAssignments=10797, nogoods=1095, foundSolutions=16, bestBound=-961
17.11/13.82 nFilterCalls=2290016, avgTableProportion=0.9981170340970045, avgTableSize=530.1235589620335
17.11/13.82
17.11/13.83 num=207, depth=5..10, filters=656788, revisions=(575186,useless=335298), ccks=1626057, wck=11.378, mem=63M461
17.11/13.83 decisions=39908, wrong=18838, backtracks=12157, failedAssignments=10808, nogoods=1097, foundSolutions=16, bestBound=-961
17.11/13.83 nFilterCalls=2293160, avgTableProportion=0.9981170336269946, avgTableSize=530.123420956235
17.11/13.83
17.11/13.84 num=208, depth=8..13, filters=657432, revisions=(575867,useless=335675), ccks=1627748, wck=11.388, mem=63M461
17.11/13.84 decisions=39953, wrong=18856, backtracks=12165, failedAssignments=10820, nogoods=1105, foundSolutions=16, bestBound=-961
17.11/13.84 nFilterCalls=2294973, avgTableProportion=0.9981170334893378, avgTableSize=530.1233805365031
17.11/13.84
17.11/13.86 num=209, depth=7..12, filters=658201, revisions=(576596,useless=336105), ccks=1629521, wck=11.407, mem=63M461
17.11/13.86 decisions=40010, wrong=18880, backtracks=12181, failedAssignments=10833, nogoods=1111, foundSolutions=16, bestBound=-961
17.11/13.86 nFilterCalls=2298640, avgTableProportion=0.9981170329330811, avgTableSize=530.1232172066962
17.11/13.86
17.11/13.88 num=210, depth=9..14, filters=659042, revisions=(577413,useless=336594), ccks=1631175, wck=11.425, mem=63M461
17.11/13.88 decisions=40065, wrong=18902, backtracks=12192, failedAssignments=10847, nogoods=1119, foundSolutions=16, bestBound=-961
17.11/13.88 nFilterCalls=2302273, avgTableProportion=0.9981170326125989, avgTableSize=530.123123104862
17.11/13.88
17.11/13.89 num=211, depth=9..15, filters=660049, revisions=(578334,useless=337113), ccks=1633369, wck=11.439, mem=63M461
17.11/13.89 decisions=40124, wrong=18926, backtracks=12205, failedAssignments=10863, nogoods=1123, foundSolutions=16, bestBound=-961
17.11/13.89 nFilterCalls=2305267, avgTableProportion=0.9981170325378037, avgTableSize=530.1231011418633
17.11/13.89
17.21/13.92 num=212, depth=7..13, filters=661123, revisions=(579342,useless=337698), ccks=1636027, wck=11.463, mem=63M461
17.21/13.92 decisions=40191, wrong=18956, backtracks=12223, failedAssignments=10880, nogoods=1125, foundSolutions=16, bestBound=-961
17.21/13.92 nFilterCalls=2309322, avgTableProportion=0.9981170322278468, avgTableSize=530.123010130246
17.21/13.92
17.21/13.94 num=213, depth=4..9, filters=662137, revisions=(580293,useless=338218), ccks=1638289, wck=11.486, mem=63M461
17.21/13.94 decisions=40261, wrong=18988, backtracks=12241, failedAssignments=10899, nogoods=1131, foundSolutions=16, bestBound=-961
17.21/13.94 nFilterCalls=2313221, avgTableProportion=0.9981170318942053, avgTableSize=530.1229121644668
17.21/13.94
17.21/13.97 num=214, depth=4..10, filters=663517, revisions=(581698,useless=339055), ccks=1640835, wck=11.517, mem=66M51
17.21/13.97 decisions=40340, wrong=19025, backtracks=12262, failedAssignments=10920, nogoods=1133, foundSolutions=16, bestBound=-961
17.21/13.97 nFilterCalls=2318866, avgTableProportion=0.9981170313965554, avgTableSize=530.1227660416773
17.21/13.97
17.21/14.00 num=215, depth=6..13, filters=665064, revisions=(583109,useless=339908), ccks=1644302, wck=11.546, mem=66M51
17.21/14.00 decisions=40428, wrong=19066, backtracks=12292, failedAssignments=10943, nogoods=1143, foundSolutions=16, bestBound=-961
17.21/14.00 nFilterCalls=2323856, avgTableProportion=0.9981170313106786, avgTableSize=530.122740823872
17.21/14.00
17.32/14.03 num=216, depth=6..16, filters=666933, revisions=(584759,useless=340837), ccks=1648866, wck=11.577, mem=66M51
17.32/14.03 decisions=40536, wrong=19116, backtracks=12327, failedAssignments=10968, nogoods=1147, foundSolutions=16, bestBound=-961
17.32/14.03 nFilterCalls=2329905, avgTableProportion=0.998117031276398, avgTableSize=530.1227307551167
17.32/14.03
17.32/14.06 num=217, depth=6..13, filters=668434, revisions=(586188,useless=341668), ccks=1652480, wck=11.601, mem=66M51
17.32/14.06 decisions=40623, wrong=19156, backtracks=12347, failedAssignments=10996, nogoods=1152, foundSolutions=16, bestBound=-961
17.32/14.06 nFilterCalls=2334149, avgTableProportion=0.9981170311875911, avgTableSize=530.1227046773793
17.32/14.06
17.32/14.09 num=218, depth=6..14, filters=670162, revisions=(587834,useless=342568), ccks=1656680, wck=11.635, mem=66M51
17.32/14.09 decisions=40740, wrong=19211, backtracks=12387, failedAssignments=11027, nogoods=1157, foundSolutions=16, bestBound=-961
17.32/14.09 nFilterCalls=2340428, avgTableProportion=0.9981170303589258, avgTableSize=530.122461361768
17.32/14.09
17.42/14.12 num=219, depth=6..13, filters=672120, revisions=(589725,useless=343639), ccks=1661815, wck=11.665, mem=66M51
17.42/14.12 decisions=40858, wrong=19267, backtracks=12420, failedAssignments=11061, nogoods=1158, foundSolutions=16, bestBound=-961
17.42/14.12 nFilterCalls=2345585, avgTableProportion=0.9981170300735707, avgTableSize=530.1223775731854
17.42/14.12
17.42/14.16 num=220, depth=6..14, filters=674388, revisions=(591821,useless=344858), ccks=1667360, wck=11.703, mem=66M51
17.42/14.16 decisions=40992, wrong=19329, backtracks=12462, failedAssignments=11098, nogoods=1160, foundSolutions=16, bestBound=-961
17.42/14.16 nFilterCalls=2352653, avgTableProportion=0.9981170301243018, avgTableSize=530.1223924650171
17.42/14.16
17.51/14.21 num=221, depth=6..16, filters=677054, revisions=(594127,useless=346223), ccks=1673282, wck=11.754, mem=66M51
17.51/14.21 decisions=41137, wrong=19398, backtracks=12509, failedAssignments=11139, nogoods=1164, foundSolutions=16, bestBound=-961
17.51/14.21 nFilterCalls=2362160, avgTableProportion=0.9981170296880507, avgTableSize=530.1222643682054
17.51/14.21
17.51/14.26 num=222, depth=4..13, filters=679985, revisions=(596656,useless=347586), ccks=1679148, wck=11.802, mem=66M51
17.51/14.26 decisions=41286, wrong=19469, backtracks=12549, failedAssignments=11184, nogoods=1172, foundSolutions=16, bestBound=-961
17.51/14.26 nFilterCalls=2371000, avgTableProportion=0.9981170289859165, avgTableSize=530.1220582032897
17.51/14.26
17.61/14.32 num=223, depth=5..13, filters=683067, revisions=(599414,useless=349209), ccks=1686450, wck=11.865, mem=68M640
17.61/14.32 decisions=41466, wrong=19555, backtracks=12604, failedAssignments=11234, nogoods=1180, foundSolutions=16, bestBound=-961
17.61/14.32 nFilterCalls=2382648, avgTableProportion=0.9981170280743571, avgTableSize=530.121790545645
17.61/14.32
17.61/14.40 num=224, depth=3..10, filters=687139, revisions=(603155,useless=351293), ccks=1695808, wck=11.94, mem=68M640
17.61/14.40 decisions=41669, wrong=19654, backtracks=12672, failedAssignments=11289, nogoods=1192, foundSolutions=16, bestBound=-961
17.61/14.40 nFilterCalls=2395097, avgTableProportion=0.9981170271569624, avgTableSize=530.121521174299
17.61/14.40
17.71/14.46 num=225, depth=5..15, filters=691143, revisions=(606838,useless=353439), ccks=1704286, wck=12.007, mem=68M640
17.71/14.46 decisions=41883, wrong=19757, backtracks=12746, failedAssignments=11350, nogoods=1200, foundSolutions=16, bestBound=-961
17.71/14.46 nFilterCalls=2406975, avgTableProportion=0.9981170282756087, avgTableSize=530.1218496245287
17.71/14.46
17.81/14.53 num=226, depth=5..12, filters=694949, revisions=(610173,useless=355329), ccks=1713987, wck=12.079, mem=68M640
17.81/14.53 decisions=42122, wrong=19874, backtracks=12818, failedAssignments=11417, nogoods=1203, foundSolutions=16, bestBound=-961
17.81/14.53 nFilterCalls=2420201, avgTableProportion=0.9981170280989077, avgTableSize=530.1217977349816
17.81/14.53
17.91/14.65 num=227, depth=1..14, filters=700017, revisions=(614752,useless=358048), ccks=1724391, wck=12.197, mem=68M640
17.91/14.65 decisions=42388, wrong=20005, backtracks=12911, failedAssignments=11491, nogoods=1208, foundSolutions=16, bestBound=-961
17.91/14.65 nFilterCalls=2439815, avgTableProportion=0.9981170267994288, avgTableSize=530.1214161729475
17.91/14.65
18.01/14.74 num=228, depth=4..14, filters=705294, revisions=(619660,useless=360848), ccks=1737632, wck=12.289, mem=71M230
18.01/14.74 decisions=42675, wrong=20146, backtracks=12997, failedAssignments=11572, nogoods=1215, foundSolutions=16, bestBound=-961
18.01/14.74 nFilterCalls=2455637, avgTableProportion=0.9981170263569635, avgTableSize=530.1212862487412
18.01/14.74
18.11/14.87 num=229, depth=3..12, filters=711705, revisions=(625150,useless=364010), ccks=1750622, wck=12.413, mem=71M230
18.11/14.87 decisions=42979, wrong=20295, backtracks=13095, failedAssignments=11661, nogoods=1219, foundSolutions=16, bestBound=-961
18.11/14.87 nFilterCalls=2477632, avgTableProportion=0.9981170260398904, avgTableSize=530.1211931392555
18.11/14.87
18.32/15.03 num=230, depth=3..13, filters=718304, revisions=(631152,useless=367665), ccks=1765727, wck=12.575, mem=71M230
18.32/15.03 decisions=43357, wrong=20481, backtracks=13224, failedAssignments=11759, nogoods=1222, foundSolutions=16, bestBound=-961
18.32/15.03 nFilterCalls=2504843, avgTableProportion=0.9981170253155186, avgTableSize=530.120980436698
18.32/15.03
18.42/15.17 num=231, depth=4..13, filters=726190, revisions=(637677,useless=371543), ccks=1781691, wck=12.719, mem=71M230
18.42/15.17 decisions=43758, wrong=20678, backtracks=13366, failedAssignments=11867, nogoods=1227, foundSolutions=16, bestBound=-961
18.42/15.17 nFilterCalls=2531900, avgTableProportion=0.9981170250648701, avgTableSize=530.1209068288637
18.42/15.17
18.61/15.34 num=232, depth=5..15, filters=735107, revisions=(645026,useless=375935), ccks=1800461, wck=12.889, mem=73M820
18.61/15.34 decisions=44220, wrong=20905, backtracks=13526, failedAssignments=11986, nogoods=1237, foundSolutions=16, bestBound=-961
18.61/15.34 nFilterCalls=2563140, avgTableProportion=0.9981170231500197, avgTableSize=530.1203445773543
18.61/15.34
18.81/15.50 num=233, depth=3..13, filters=743833, revisions=(653200,useless=380541), ccks=1821399, wck=13.045, mem=73M820
18.81/15.50 decisions=44705, wrong=21144, backtracks=13676, failedAssignments=12117, nogoods=1241, foundSolutions=16, bestBound=-961
18.81/15.50 nFilterCalls=2587812, avgTableProportion=0.9981170220219898, avgTableSize=530.1200133549114
18.81/15.50
18.91/15.68 num=234, depth=5..16, filters=753393, revisions=(660966,useless=385001), ccks=1842610, wck=13.229, mem=76M409
18.91/15.68 decisions=45243, wrong=21410, backtracks=13848, failedAssignments=12261, nogoods=1248, foundSolutions=16, bestBound=-961
18.91/15.68 nFilterCalls=2622988, avgTableProportion=0.998117025214118, avgTableSize=530.1209506105251
18.91/15.68
19.11/15.87 num=235, depth=4..14, filters=763488, revisions=(669493,useless=390061), ccks=1865095, wck=13.419, mem=76M409
19.11/15.87 decisions=45790, wrong=21680, backtracks=14028, failedAssignments=12419, nogoods=1259, foundSolutions=16, bestBound=-961
19.11/15.87 nFilterCalls=2655727, avgTableProportion=0.9981170260415828, avgTableSize=530.121193556416
19.11/15.87
19.32/16.04 num=236, depth=6..18, filters=774559, revisions=(679028,useless=395685), ccks=1889084, wck=13.582, mem=78M999
19.32/16.04 decisions=46384, wrong=21974, backtracks=14223, failedAssignments=12593, nogoods=1267, foundSolutions=16, bestBound=-961
19.32/16.04 nFilterCalls=2687396, avgTableProportion=0.998117027396284, avgTableSize=530.1215913099521
19.32/16.04
19.62/16.30 num=237, depth=2..14, filters=785569, revisions=(688532,useless=401258), ccks=1913222, wck=13.846, mem=78M999
19.62/16.30 decisions=47038, wrong=22298, backtracks=14429, failedAssignments=12784, nogoods=1274, foundSolutions=16, bestBound=-961
19.62/16.30 nFilterCalls=2730858, avgTableProportion=0.9981170266448135, avgTableSize=530.1213706461485
19.62/16.30
19.82/16.55 num=238, depth=3..15, filters=799241, revisions=(700652,useless=408275), ccks=1946449, wck=14.092, mem=81M588
19.82/16.55 decisions=47793, wrong=22672, backtracks=14678, failedAssignments=12995, nogoods=1279, foundSolutions=16, bestBound=-961
19.82/16.55 nFilterCalls=2774644, avgTableProportion=0.9981170250291207, avgTableSize=530.1208962302911
19.82/16.55
20.12/16.82 num=239, depth=4..14, filters=815127, revisions=(714986,useless=417011), ccks=1982474, wck=14.365, mem=81M588
20.12/16.82 decisions=48648, wrong=23097, backtracks=14972, failedAssignments=13227, nogoods=1285, foundSolutions=16, bestBound=-961
20.12/16.82 nFilterCalls=2823295, avgTableProportion=0.9981170277159702, avgTableSize=530.1216851232336
20.12/16.82
20.43/17.11 num=240, depth=3..16, filters=831080, revisions=(729686,useless=425624), ccks=2019363, wck=14.656, mem=84M178
20.43/17.11 decisions=49549, wrong=23544, backtracks=15265, failedAssignments=13482, nogoods=1300, foundSolutions=16, bestBound=-961
20.43/17.11 nFilterCalls=2872673, avgTableProportion=0.9981170282346397, avgTableSize=530.1218373967382
20.43/17.11
20.72/17.45 num=241, depth=4..14, filters=849080, revisions=(744686,useless=434645), ccks=2060318, wck=14.994, mem=86M767
20.72/17.45 decisions=50546, wrong=24040, backtracks=15591, failedAssignments=13763, nogoods=1316, foundSolutions=16, bestBound=-961
20.72/17.45 nFilterCalls=2931204, avgTableProportion=0.9981170318618571, avgTableSize=530.122902397786
20.72/17.45
20.92/17.64 o 6
20.92/17.64 num=242, depth=2..71, filters=858457, revisions=(752479,useless=439225), ccks=2079120, wck=15.188, mem=86M767
20.92/17.64 decisions=50976, wrong=24244, backtracks=15716, failedAssignments=13883, nogoods=1317, foundSolutions=17, bestBound=6
20.92/17.64 nFilterCalls=2963227, avgTableProportion=0.9981170305301444, avgTableSize=530.1225113702055
20.92/17.64
20.92/17.65 o 8
20.92/17.65 num=243, depth=19..71, filters=858705, revisions=(752757,useless=439370), ccks=2080055, wck=15.192, mem=86M767
20.92/17.65 decisions=51008, wrong=24250, backtracks=15717, failedAssignments=13888, nogoods=1322, foundSolutions=18, bestBound=8
20.92/17.65 nFilterCalls=2964404, avgTableProportion=0.9981170305287719, avgTableSize=530.1225109667913
20.92/17.65
20.92/17.66 num=244, depth=12..16, filters=859281, revisions=(753350,useless=439706), ccks=2082011, wck=15.203, mem=86M767
20.92/17.66 decisions=51059, wrong=24269, backtracks=15730, failedAssignments=13899, nogoods=1325, foundSolutions=18, bestBound=8
20.92/17.66 nFilterCalls=2966695, avgTableProportion=0.9981170304143502, avgTableSize=530.1224773695982
20.92/17.66
20.92/17.67 num=245, depth=13..17, filters=859823, revisions=(753858,useless=439964), ccks=2083980, wck=15.211, mem=86M767
20.92/17.67 decisions=51104, wrong=24285, backtracks=15738, failedAssignments=13910, nogoods=1328, foundSolutions=18, bestBound=8
20.92/17.67 nFilterCalls=2968718, avgTableProportion=0.9981170301496068, avgTableSize=530.1223996351287
20.92/17.67
20.92/17.68 num=246, depth=10..16, filters=860612, revisions=(754492,useless=440328), ccks=2086121, wck=15.226, mem=86M767
20.92/17.68 decisions=51157, wrong=24305, backtracks=15751, failedAssignments=13922, nogoods=1333, foundSolutions=18, bestBound=8
20.92/17.68 nFilterCalls=2972442, avgTableProportion=0.998117030310231, avgTableSize=530.1224467962705
20.92/17.68
20.92/17.69 o 12
20.92/17.69 num=247, depth=15..71, filters=861301, revisions=(755046,useless=440623), ccks=2088214, wck=15.234, mem=86M767
20.92/17.69 decisions=51216, wrong=24326, backtracks=15766, failedAssignments=13933, nogoods=1334, foundSolutions=19, bestBound=12
20.92/17.69 nFilterCalls=2975679, avgTableProportion=0.9981170304643346, avgTableSize=530.1224920429926
20.92/17.69
20.92/17.69 o 16
20.92/17.69 num=248, depth=73..71, filters=861415, revisions=(755243,useless=440748), ccks=2088733, wck=15.237, mem=86M767
20.92/17.69 decisions=51234, wrong=24326, backtracks=15766, failedAssignments=13933, nogoods=1334, foundSolutions=20, bestBound=16
20.92/17.69 nFilterCalls=2976236, avgTableProportion=0.9981170304354662, avgTableSize=530.1224835664914
20.92/17.69
21.03/17.71 num=249, depth=11..17, filters=862171, revisions=(755899,useless=441145), ccks=2090609, wck=15.253, mem=86M767
21.03/17.71 decisions=51285, wrong=24345, backtracks=15778, failedAssignments=13944, nogoods=1336, foundSolutions=20, bestBound=16
21.03/17.71 nFilterCalls=2979549, avgTableProportion=0.9981170303545558, avgTableSize=530.1224598085147
21.03/17.71
21.03/17.72 num=250, depth=10..13, filters=862742, revisions=(756465,useless=441434), ccks=2092632, wck=15.262, mem=86M767
21.03/17.72 decisions=51332, wrong=24363, backtracks=15786, failedAssignments=13955, nogoods=1342, foundSolutions=20, bestBound=16
21.03/17.72 nFilterCalls=2981519, avgTableProportion=0.998117030158945, avgTableSize=530.1224023727502
21.03/17.72
21.03/17.73 num=251, depth=11..16, filters=863375, revisions=(757082,useless=441748), ccks=2094706, wck=15.273, mem=89M358
21.03/17.73 decisions=51384, wrong=24383, backtracks=15795, failedAssignments=13967, nogoods=1346, foundSolutions=20, bestBound=16
21.03/17.73 nFilterCalls=2983892, avgTableProportion=0.9981170299952037, avgTableSize=530.1223542943243
21.03/17.73
21.03/17.74 num=252, depth=9..15, filters=864053, revisions=(757738,useless=442074), ccks=2097259, wck=15.283, mem=89M358
21.03/17.74 decisions=51440, wrong=24406, backtracks=15808, failedAssignments=13980, nogoods=1350, foundSolutions=20, bestBound=16
21.03/17.74 nFilterCalls=2986309, avgTableProportion=0.9981170298301472, avgTableSize=530.1223058297048
21.03/17.74
21.03/17.75 num=253, depth=9..14, filters=864942, revisions=(758554,useless=442516), ccks=2099817, wck=15.299, mem=89M358
21.03/17.75 decisions=51503, wrong=24433, backtracks=15828, failedAssignments=13994, nogoods=1354, foundSolutions=20, bestBound=16
21.03/17.75 nFilterCalls=2989945, avgTableProportion=0.9981170295833093, avgTableSize=530.1222333521185
21.03/17.75
21.03/17.76 num=254, depth=14..19, filters=865701, revisions=(759208,useless=442859), ccks=2102179, wck=15.309, mem=89M358
21.03/17.76 decisions=51573, wrong=24461, backtracks=15845, failedAssignments=14010, nogoods=1359, foundSolutions=20, bestBound=16
21.03/17.76 nFilterCalls=2993347, avgTableProportion=0.9981170296358355, avgTableSize=530.1222487736972
21.03/17.76
21.03/17.77 num=255, depth=9..13, filters=866511, revisions=(760002,useless=443282), ccks=2105066, wck=15.32, mem=89M358
21.03/17.77 decisions=51635, wrong=24487, backtracks=15858, failedAssignments=14027, nogoods=1361, foundSolutions=20, bestBound=16
21.03/17.77 nFilterCalls=2995839, avgTableProportion=0.9981170295123282, avgTableSize=530.1222125087496
21.03/17.77
21.14/17.80 num=256, depth=8..15, filters=867809, revisions=(761132,useless=443931), ccks=2108561, wck=15.345, mem=89M358
21.14/17.80 decisions=51724, wrong=24527, backtracks=15884, failedAssignments=14046, nogoods=1365, foundSolutions=20, bestBound=16
21.14/17.80 nFilterCalls=3001387, avgTableProportion=0.998117029337546, avgTableSize=530.1221611874777
21.14/17.80
21.14/17.81 num=257, depth=14..18, filters=868965, revisions=(762100,useless=444459), ccks=2112194, wck=15.358, mem=89M358
21.14/17.81 decisions=51816, wrong=24566, backtracks=15910, failedAssignments=14067, nogoods=1370, foundSolutions=20, bestBound=16
21.14/17.81 nFilterCalls=3005675, avgTableProportion=0.9981170299496276, avgTableSize=530.1223409051212
21.14/17.81
21.14/17.83 num=258, depth=11..18, filters=870148, revisions=(763100,useless=444999), ccks=2116105, wck=15.379, mem=89M358
21.14/17.83 decisions=51907, wrong=24605, backtracks=15935, failedAssignments=14090, nogoods=1377, foundSolutions=20, bestBound=16
21.14/17.83 nFilterCalls=3011428, avgTableProportion=0.998117029541557, avgTableSize=530.1222210858105
21.14/17.83
21.14/17.85 num=259, depth=12..18, filters=871508, revisions=(764212,useless=445610), ccks=2120579, wck=15.395, mem=89M358
21.14/17.85 decisions=52014, wrong=24652, backtracks=15966, failedAssignments=14115, nogoods=1382, foundSolutions=20, bestBound=16
21.14/17.85 nFilterCalls=3016510, avgTableProportion=0.9981170300393265, avgTableSize=530.1223672389616
21.14/17.85
21.14/17.87 num=260, depth=11..17, filters=872720, revisions=(765228,useless=446155), ccks=2123993, wck=15.418, mem=89M358
21.14/17.87 decisions=52112, wrong=24695, backtracks=15994, failedAssignments=14143, nogoods=1387, foundSolutions=20, bestBound=16
21.14/17.87 nFilterCalls=3022498, avgTableProportion=0.9981170296058114, avgTableSize=530.1222399485458
21.14/17.87
21.24/17.91 num=261, depth=8..15, filters=874638, revisions=(766859,useless=447030), ccks=2129232, wck=15.457, mem=89M358
21.24/17.91 decisions=52232, wrong=24751, backtracks=16033, failedAssignments=14174, nogoods=1395, foundSolutions=20, bestBound=16
21.24/17.91 nFilterCalls=3030576, avgTableProportion=0.9981170291546648, avgTableSize=530.1221074805582
21.24/17.91
21.24/17.92 o 17
21.24/17.92 num=262, depth=16..71, filters=874900, revisions=(767073,useless=447131), ccks=2130201, wck=15.461, mem=89M358
21.24/17.92 decisions=52260, wrong=24756, backtracks=16034, failedAssignments=14178, nogoods=1399, foundSolutions=21, bestBound=17
21.24/17.92 nFilterCalls=3031661, avgTableProportion=0.9981170293237528, avgTableSize=530.1221571277264
21.24/17.92
21.24/17.94 num=263, depth=10..18, filters=876949, revisions=(768806,useless=448034), ccks=2136322, wck=15.488, mem=89M358
21.24/17.94 decisions=52400, wrong=24820, backtracks=16077, failedAssignments=14215, nogoods=1401, foundSolutions=21, bestBound=17
21.24/17.94 nFilterCalls=3039677, avgTableProportion=0.9981170290871122, avgTableSize=530.1220876428647
21.24/17.94
21.24/17.96 num=264, depth=12..16, filters=877556, revisions=(769309,useless=448314), ccks=2138292, wck=15.5, mem=89M358
21.24/17.96 decisions=52454, wrong=24841, backtracks=16089, failedAssignments=14226, nogoods=1408, foundSolutions=21, bestBound=17
21.24/17.96 nFilterCalls=3042825, avgTableProportion=0.9981170288405028, avgTableSize=530.1220152325553
21.24/17.96
21.24/17.97 num=265, depth=12..19, filters=878233, revisions=(769823,useless=448593), ccks=2140164, wck=15.51, mem=89M358
21.24/17.97 decisions=52509, wrong=24862, backtracks=16105, failedAssignments=14238, nogoods=1411, foundSolutions=21, bestBound=17
21.24/17.97 nFilterCalls=3045683, avgTableProportion=0.9981170294681456, avgTableSize=530.1221995197793
21.24/17.97
21.24/17.98 num=266, depth=7..14, filters=879065, revisions=(770634,useless=449035), ccks=2142739, wck=15.525, mem=89M358
21.24/17.98 decisions=52563, wrong=24884, backtracks=16115, failedAssignments=14251, nogoods=1416, foundSolutions=21, bestBound=17
21.24/17.98 nFilterCalls=3048615, avgTableProportion=0.9981170292242866, avgTableSize=530.1221279171033
21.24/17.98
21.24/17.99 num=267, depth=11..15, filters=879878, revisions=(771310,useless=449434), ccks=2145309, wck=15.54, mem=91M948
21.24/17.99 decisions=52623, wrong=24908, backtracks=16128, failedAssignments=14265, nogoods=1423, foundSolutions=21, bestBound=17
21.24/17.99 nFilterCalls=3052462, avgTableProportion=0.9981170291474983, avgTableSize=530.1221053693707
21.24/17.99
21.24/18.00 o 18
21.24/18.00 num=268, depth=13..71, filters=880540, revisions=(771827,useless=449709), ccks=2147063, wck=15.548, mem=91M948
21.24/18.00 decisions=52672, wrong=24925, backtracks=16137, failedAssignments=14275, nogoods=1425, foundSolutions=22, bestBound=18
21.24/18.00 nFilterCalls=3055296, avgTableProportion=0.9981170290003077, avgTableSize=530.1220621504431
21.24/18.00
21.34/18.01 o 20
21.34/18.01 num=269, depth=12..71, filters=880882, revisions=(772193,useless=449921), ccks=2148185, wck=15.554, mem=91M948
21.34/18.01 decisions=52702, wrong=24933, backtracks=16141, failedAssignments=14281, nogoods=1429, foundSolutions=23, bestBound=20
21.34/18.01 nFilterCalls=3056658, avgTableProportion=0.9981170290089458, avgTableSize=530.1220646863339
21.34/18.01
21.34/18.02 num=270, depth=10..14, filters=881561, revisions=(772819,useless=450298), ccks=2149941, wck=15.566, mem=91M948
21.34/18.02 decisions=52750, wrong=24952, backtracks=16154, failedAssignments=14292, nogoods=1432, foundSolutions=23, bestBound=20
21.34/18.02 nFilterCalls=3059183, avgTableProportion=0.998117029114474, avgTableSize=530.1220956706414
21.34/18.02
21.34/18.03 num=271, depth=9..15, filters=882120, revisions=(773333,useless=450551), ccks=2151594, wck=15.576, mem=91M948
21.34/18.03 decisions=52793, wrong=24969, backtracks=16163, failedAssignments=14303, nogoods=1433, foundSolutions=23, bestBound=20
21.34/18.03 nFilterCalls=3061150, avgTableProportion=0.9981170291421101, avgTableSize=530.1221037845254
21.34/18.03
21.34/18.04 num=272, depth=11..18, filters=882796, revisions=(773892,useless=450844), ccks=2153781, wck=15.587, mem=91M948
21.34/18.04 decisions=52849, wrong=24991, backtracks=16181, failedAssignments=14315, nogoods=1436, foundSolutions=23, bestBound=20
21.34/18.04 nFilterCalls=3064259, avgTableProportion=0.9981170293992798, avgTableSize=530.122179293591
21.34/18.04
21.34/18.06 num=273, depth=9..18, filters=883457, revisions=(774454,useless=451142), ccks=2155755, wck=15.601, mem=91M948
21.34/18.06 decisions=52900, wrong=25012, backtracks=16195, failedAssignments=14328, nogoods=1437, foundSolutions=23, bestBound=20
21.34/18.06 nFilterCalls=3067352, avgTableProportion=0.9981170297025134, avgTableSize=530.1222683278606
21.34/18.06
21.34/18.06 num=274, depth=12..17, filters=884051, revisions=(774977,useless=451425), ccks=2157549, wck=15.609, mem=91M948
21.34/18.06 decisions=52953, wrong=25032, backtracks=16205, failedAssignments=14342, nogoods=1441, foundSolutions=23, bestBound=20
21.34/18.06 nFilterCalls=3069513, avgTableProportion=0.9981170299940804, avgTableSize=530.1223539369274
21.34/18.06
21.34/18.08 num=275, depth=10..15, filters=884855, revisions=(775641,useless=451811), ccks=2159563, wck=15.627, mem=91M948
21.34/18.08 decisions=53017, wrong=25059, backtracks=16226, failedAssignments=14358, nogoods=1445, foundSolutions=23, bestBound=20
21.34/18.08 nFilterCalls=3073555, avgTableProportion=0.9981170301796288, avgTableSize=530.1224084163127
21.34/18.08
21.34/18.10 num=276, depth=10..15, filters=885850, revisions=(776530,useless=452290), ccks=2162832, wck=15.643, mem=91M948
21.34/18.10 decisions=53090, wrong=25090, backtracks=16245, failedAssignments=14375, nogoods=1452, foundSolutions=23, bestBound=20
21.34/18.10 nFilterCalls=3077330, avgTableProportion=0.998117029846406, avgTableSize=530.1223105744265
21.34/18.10
21.44/18.12 num=277, depth=9..15, filters=887004, revisions=(777531,useless=452843), ccks=2165886, wck=15.661, mem=91M948
21.44/18.12 decisions=53164, wrong=25122, backtracks=16264, failedAssignments=14394, nogoods=1454, foundSolutions=23, bestBound=20
21.44/18.12 nFilterCalls=3080991, avgTableProportion=0.9981170301064263, avgTableSize=530.1223869203124
21.44/18.12
21.44/18.13 num=278, depth=11..18, filters=888055, revisions=(778428,useless=453338), ccks=2169073, wck=15.676, mem=91M948
21.44/18.13 decisions=53249, wrong=25158, backtracks=16285, failedAssignments=14415, nogoods=1457, foundSolutions=23, bestBound=20
21.44/18.13 nFilterCalls=3085310, avgTableProportion=0.9981170303983051, avgTableSize=530.1224726202554
21.44/18.13
21.44/18.15 num=279, depth=9..15, filters=889561, revisions=(779641,useless=454003), ccks=2173913, wck=15.7, mem=91M948
21.44/18.15 decisions=53345, wrong=25201, backtracks=16317, failedAssignments=14438, nogoods=1459, foundSolutions=23, bestBound=20
21.44/18.15 nFilterCalls=3090709, avgTableProportion=0.9981170300674763, avgTableSize=530.1223754808362
21.44/18.15
21.44/18.17 num=280, depth=10..17, filters=890934, revisions=(780763,useless=454638), ccks=2177492, wck=15.717, mem=91M948
21.44/18.17 decisions=53442, wrong=25242, backtracks=16343, failedAssignments=14463, nogoods=1461, foundSolutions=23, bestBound=20
21.44/18.17 nFilterCalls=3095434, avgTableProportion=0.9981170301211473, avgTableSize=530.1223912381914
21.44/18.17
21.54/18.20 num=281, depth=10..18, filters=892497, revisions=(782107,useless=455328), ccks=2182485, wck=15.742, mem=91M948
21.54/18.20 decisions=53562, wrong=25296, backtracks=16382, failedAssignments=14491, nogoods=1470, foundSolutions=23, bestBound=20
21.54/18.20 nFilterCalls=3101639, avgTableProportion=0.9981170303271074, avgTableSize=530.1224517102087
21.54/18.20
21.54/18.23 num=282, depth=9..15, filters=894110, revisions=(783452,useless=456069), ccks=2187067, wck=15.771, mem=91M948
21.54/18.23 decisions=53671, wrong=25345, backtracks=16411, failedAssignments=14522, nogoods=1475, foundSolutions=23, bestBound=20
21.54/18.23 nFilterCalls=3108092, avgTableProportion=0.9981170298853187, avgTableSize=530.1223219904688
21.54/18.23
21.54/18.25 num=283, depth=11..16, filters=895924, revisions=(784974,useless=456870), ccks=2193306, wck=15.793, mem=94M537
21.54/18.25 decisions=53803, wrong=25405, backtracks=16445, failedAssignments=14556, nogoods=1484, foundSolutions=23, bestBound=20
21.54/18.25 nFilterCalls=3114504, avgTableProportion=0.9981170304929625, avgTableSize=530.1225004045588
21.54/18.25
21.54/18.28 num=284, depth=8..17, filters=897664, revisions=(786536,useless=457742), ccks=2198975, wck=15.826, mem=94M537
21.54/18.28 decisions=53942, wrong=25470, backtracks=16486, failedAssignments=14593, nogoods=1491, foundSolutions=23, bestBound=20
21.54/18.28 nFilterCalls=3122374, avgTableProportion=0.9981170302289207, avgTableSize=530.1224228743898
21.54/18.28
21.64/18.32 num=285, depth=10..17, filters=900075, revisions=(788511,useless=458796), ccks=2205997, wck=15.861, mem=94M537
21.64/18.32 decisions=54110, wrong=25548, backtracks=16544, failedAssignments=14634, nogoods=1497, foundSolutions=23, bestBound=20
21.64/18.32 nFilterCalls=3130615, avgTableProportion=0.9981170306620331, avgTableSize=530.1225500420844
21.64/18.32
21.64/18.36 num=286, depth=8..16, filters=902663, revisions=(790660,useless=460065), ccks=2213032, wck=15.908, mem=94M537
21.64/18.36 decisions=54280, wrong=25628, backtracks=16598, failedAssignments=14679, nogoods=1503, foundSolutions=23, bestBound=20
21.64/18.36 nFilterCalls=3141433, avgTableProportion=0.9981170303500853, avgTableSize=530.1224584449199
21.64/18.36
21.74/18.42 num=287, depth=8..15, filters=905722, revisions=(793284,useless=461590), ccks=2222141, wck=15.962, mem=94M537
21.74/18.42 decisions=54488, wrong=25726, backtracks=16658, failedAssignments=14729, nogoods=1506, foundSolutions=23, bestBound=20
21.74/18.42 nFilterCalls=3154400, avgTableProportion=0.9981170302864847, avgTableSize=530.1224397666751
21.74/18.42
21.74/18.47 num=288, depth=9..17, filters=908855, revisions=(795769,useless=462980), ccks=2231652, wck=16.02, mem=94M537
21.74/18.47 decisions=54686, wrong=25820, backtracks=16720, failedAssignments=14784, nogoods=1515, foundSolutions=23, bestBound=20
21.74/18.47 nFilterCalls=3167619, avgTableProportion=0.998117029893485, avgTableSize=530.1223243704499
21.74/18.47
21.84/18.52 num=289, depth=10..18, filters=912387, revisions=(798551,useless=464551), ccks=2241244, wck=16.065, mem=94M537
21.84/18.52 decisions=54922, wrong=25933, backtracks=16800, failedAssignments=14845, nogoods=1516, foundSolutions=23, bestBound=20
21.84/18.52 nFilterCalls=3180967, avgTableProportion=0.9981170310446991, avgTableSize=530.1226623853689
21.84/18.52
21.84/18.59 num=290, depth=7..13, filters=915866, revisions=(801718,useless=466397), ccks=2251807, wck=16.135, mem=94M537
21.84/18.59 decisions=55178, wrong=26057, backtracks=16879, failedAssignments=14912, nogoods=1525, foundSolutions=23, bestBound=20
21.84/18.59 nFilterCalls=3195819, avgTableProportion=0.9981170300026964, avgTableSize=530.1223564288215
21.84/18.59
21.96/18.66 num=291, depth=6..13, filters=920467, revisions=(805925,useless=468581), ccks=2262459, wck=16.208, mem=97M127
21.96/18.66 decisions=55455, wrong=26192, backtracks=16965, failedAssignments=14986, nogoods=1532, foundSolutions=23, bestBound=20
21.96/18.66 nFilterCalls=3210478, avgTableProportion=0.9981170303457586, avgTableSize=530.1224571543552
21.96/18.66
22.06/18.74 num=292, depth=8..18, filters=924893, revisions=(809801,useless=470771), ccks=2275358, wck=16.281, mem=97M127
22.06/18.74 decisions=55767, wrong=26343, backtracks=17068, failedAssignments=15067, nogoods=1536, foundSolutions=23, bestBound=20
22.06/18.74 nFilterCalls=3228232, avgTableProportion=0.9981170300080674, avgTableSize=530.1223579965753
22.06/18.74
22.16/18.84 num=293, depth=9..16, filters=931245, revisions=(814328,useless=473536), ccks=2289882, wck=16.388, mem=97M127
22.16/18.84 decisions=56114, wrong=26512, backtracks=17182, failedAssignments=15156, nogoods=1546, foundSolutions=23, bestBound=20
22.16/18.84 nFilterCalls=3254084, avgTableProportion=0.9981170319681913, avgTableSize=530.1229335198477
22.16/18.84
22.26/18.96 num=294, depth=8..16, filters=937340, revisions=(819155,useless=476357), ccks=2304304, wck=16.503, mem=97M127
22.26/18.96 decisions=56465, wrong=26683, backtracks=17292, failedAssignments=15254, nogoods=1554, foundSolutions=23, bestBound=20
22.26/18.96 nFilterCalls=3281767, avgTableProportion=0.9981170324350457, avgTableSize=530.1230705897159
22.26/18.96
22.37/19.07 num=295, depth=8..17, filters=943277, revisions=(824220,useless=479261), ccks=2321424, wck=16.612, mem=99M716
22.37/19.07 decisions=56860, wrong=26875, backtracks=17422, failedAssignments=15362, nogoods=1561, foundSolutions=23, bestBound=20
22.37/19.07 nFilterCalls=3304876, avgTableProportion=0.9981170340828428, avgTableSize=530.1235544086979
22.37/19.07
22.47/19.18 num=296, depth=8..16, filters=949968, revisions=(829611,useless=482248), ccks=2339316, wck=16.73, mem=99M716
22.47/19.18 decisions=57281, wrong=27081, backtracks=17553, failedAssignments=15481, nogoods=1572, foundSolutions=23, bestBound=20
22.47/19.18 nFilterCalls=3329466, avgTableProportion=0.9981170344468163, avgTableSize=530.1236612718076
22.47/19.18
22.66/19.36 num=297, depth=5..13, filters=958045, revisions=(835853,useless=485734), ccks=2362251, wck=16.905, mem=99M716
22.66/19.36 decisions=57745, wrong=27309, backtracks=17706, failedAssignments=15612, nogoods=1577, foundSolutions=23, bestBound=20
22.66/19.36 nFilterCalls=3364627, avgTableProportion=0.9981170334699934, avgTableSize=530.1233744483416
22.66/19.36
22.76/19.46 num=298, depth=8..18, filters=965149, revisions=(842132,useless=489177), ccks=2383488, wck=17.007, mem=102M306
22.76/19.46 decisions=58269, wrong=27565, backtracks=17864, failedAssignments=15756, nogoods=1584, foundSolutions=23, bestBound=20
22.76/19.46 nFilterCalls=3389004, avgTableProportion=0.998117035181943, avgTableSize=530.1238771037155
22.76/19.46
22.97/19.61 num=299, depth=6..15, filters=973497, revisions=(849482,useless=493224), ccks=2410708, wck=17.154, mem=102M306
22.97/19.61 decisions=58823, wrong=27838, backtracks=18036, failedAssignments=15914, nogoods=1590, foundSolutions=23, bestBound=20
22.97/19.61 nFilterCalls=3419591, avgTableProportion=0.998117034791525, avgTableSize=530.1237624616512
22.97/19.61
22.97/19.63 o 21
22.97/19.63 num=300, depth=11..71, filters=974968, revisions=(850635,useless=493871), ccks=2414248, wck=17.176, mem=102M306
22.97/19.63 decisions=58919, wrong=27878, backtracks=18060, failedAssignments=15938, nogoods=1600, foundSolutions=24, bestBound=21
22.97/19.63 nFilterCalls=3425164, avgTableProportion=0.9981170352223482, avgTableSize=530.1238889583097
22.97/19.63
23.17/19.80 num=301, depth=9..18, filters=985254, revisions=(858631,useless=498697), ccks=2439169, wck=17.342, mem=104M896
23.17/19.80 decisions=59585, wrong=28206, backtracks=18282, failedAssignments=16129, nogoods=1610, foundSolutions=24, bestBound=21
23.17/19.80 nFilterCalls=3469484, avgTableProportion=0.9981170373085982, avgTableSize=530.1245015108875
23.17/19.80
23.17/19.81 num=302, depth=9..14, filters=985936, revisions=(859274,useless=499054), ccks=2441291, wck=17.357, mem=104M896
23.17/19.81 decisions=59634, wrong=28226, backtracks=18293, failedAssignments=16140, nogoods=1617, foundSolutions=24, bestBound=21
23.17/19.81 nFilterCalls=3472379, avgTableProportion=0.9981170371993063, avgTableSize=530.1244694199568
23.17/19.81
23.17/19.83 num=303, depth=10..15, filters=986874, revisions=(860050,useless=499456), ccks=2443756, wck=17.372, mem=104M896
23.17/19.83 decisions=59700, wrong=28254, backtracks=18314, failedAssignments=16152, nogoods=1622, foundSolutions=24, bestBound=21
23.17/19.83 nFilterCalls=3475841, avgTableProportion=0.998117037312076, avgTableSize=530.1245025304668
23.17/19.83
23.17/19.85 num=304, depth=8..16, filters=987827, revisions=(860765,useless=499895), ccks=2445838, wck=17.392, mem=104M896
23.17/19.85 decisions=59754, wrong=28276, backtracks=18327, failedAssignments=16165, nogoods=1629, foundSolutions=24, bestBound=21
23.17/19.85 nFilterCalls=3480494, avgTableProportion=0.9981170373117763, avgTableSize=530.1245024413201
23.17/19.85
23.17/19.86 num=305, depth=5..13, filters=988731, revisions=(861543,useless=500304), ccks=2448097, wck=17.41, mem=104M896
23.17/19.86 decisions=59811, wrong=28302, backtracks=18346, failedAssignments=16179, nogoods=1632, foundSolutions=24, bestBound=21
23.17/19.86 nFilterCalls=3484543, avgTableProportion=0.9981170372012262, avgTableSize=530.124469980712
23.17/19.86
23.17/19.88 num=306, depth=10..16, filters=989588, revisions=(862278,useless=500711), ccks=2450463, wck=17.424, mem=104M896
23.17/19.88 decisions=59882, wrong=28332, backtracks=18367, failedAssignments=16195, nogoods=1636, foundSolutions=24, bestBound=21
23.17/19.88 nFilterCalls=3488188, avgTableProportion=0.9981170373704413, avgTableSize=530.1245196646511
23.17/19.88
23.27/19.90 num=307, depth=8..14, filters=990687, revisions=(863189,useless=501185), ccks=2454369, wck=17.445, mem=104M896
23.27/19.90 decisions=59964, wrong=28368, backtracks=18389, failedAssignments=16212, nogoods=1642, foundSolutions=24, bestBound=21
23.27/19.90 nFilterCalls=3492774, avgTableProportion=0.9981170373733244, avgTableSize=530.1245205100588
23.27/19.90
23.27/19.92 num=308, depth=9..14, filters=991664, revisions=(864022,useless=501643), ccks=2456905, wck=17.464, mem=104M896
23.27/19.92 decisions=60038, wrong=28400, backtracks=18408, failedAssignments=16231, nogoods=1648, foundSolutions=24, bestBound=21
23.27/19.92 nFilterCalls=3496887, avgTableProportion=0.9981170373332472, avgTableSize=530.1245087416322
23.27/19.92
23.27/19.94 num=309, depth=6..13, filters=992688, revisions=(865001,useless=502177), ccks=2460714, wck=17.486, mem=104M896
23.27/19.94 decisions=60115, wrong=28435, backtracks=18431, failedAssignments=16252, nogoods=1650, foundSolutions=24, bestBound=21
23.27/19.94 nFilterCalls=3501100, avgTableProportion=0.998117037300609, avgTableSize=530.1244991574076
23.27/19.94
23.27/19.97 num=310, depth=5..10, filters=993755, revisions=(865992,useless=502791), ccks=2463262, wck=17.512, mem=104M896
23.27/19.97 decisions=60193, wrong=28471, backtracks=18453, failedAssignments=16275, nogoods=1658, foundSolutions=24, bestBound=21
23.27/19.97 nFilterCalls=3506497, avgTableProportion=0.9981170369306338, avgTableSize=530.1243905242184
23.27/19.97
23.27/19.99 num=311, depth=8..15, filters=995186, revisions=(867285,useless=503509), ccks=2468046, wck=17.533, mem=104M896
23.27/19.99 decisions=60294, wrong=28516, backtracks=18482, failedAssignments=16300, nogoods=1662, foundSolutions=24, bestBound=21
23.27/19.99 nFilterCalls=3511479, avgTableProportion=0.9981170368746617, avgTableSize=530.1243740885251
23.27/19.99
23.38/20.02 num=312, depth=7..12, filters=996860, revisions=(868831,useless=504440), ccks=2472879, wck=17.564, mem=104M896
23.38/20.02 decisions=60390, wrong=28559, backtracks=18504, failedAssignments=16328, nogoods=1669, foundSolutions=24, bestBound=21
23.38/20.02 nFilterCalls=3517288, avgTableProportion=0.9981170365924193, avgTableSize=530.1242912152773
23.38/20.02
23.38/20.05 num=313, depth=9..15, filters=998661, revisions=(870216,useless=505249), ccks=2476949, wck=17.593, mem=104M896
23.38/20.05 decisions=60508, wrong=28612, backtracks=18540, failedAssignments=16359, nogoods=1673, foundSolutions=24, bestBound=21
23.38/20.05 nFilterCalls=3524243, avgTableProportion=0.998117036666406, avgTableSize=530.1243129375586
23.38/20.05
23.38/20.08 num=314, depth=9..15, filters=1000537, revisions=(871647,useless=506008), ccks=2482405, wck=17.625, mem=107M485
23.38/20.08 decisions=60638, wrong=28671, backtracks=18578, failedAssignments=16393, nogoods=1676, foundSolutions=24, bestBound=21
23.38/20.08 nFilterCalls=3531918, avgTableProportion=0.9981170369777775, avgTableSize=530.1244043604636
23.38/20.08
23.48/20.13 num=315, depth=6..13, filters=1002839, revisions=(873532,useless=507043), ccks=2488882, wck=17.676, mem=107M485
23.48/20.13 decisions=60772, wrong=28734, backtracks=18619, failedAssignments=16430, nogoods=1679, foundSolutions=24, bestBound=21
23.48/20.13 nFilterCalls=3541694, avgTableProportion=0.9981170364237212, avgTableSize=530.1242416764408
23.48/20.13
23.48/20.17 num=316, depth=9..15, filters=1005410, revisions=(875620,useless=508229), ccks=2495905, wck=17.718, mem=107M485
23.48/20.17 decisions=60943, wrong=28813, backtracks=18671, failedAssignments=16471, nogoods=1684, foundSolutions=24, bestBound=21
23.48/20.17 nFilterCalls=3551068, avgTableProportion=0.9981170364211952, avgTableSize=530.124240932587
23.48/20.17
23.57/20.23 num=317, depth=5..17, filters=1008378, revisions=(878170,useless=509634), ccks=2503836, wck=17.775, mem=107M485
23.57/20.23 decisions=61127, wrong=28902, backtracks=18729, failedAssignments=16516, nogoods=1688, foundSolutions=24, bestBound=21
23.57/20.23 nFilterCalls=3561720, avgTableProportion=0.9981170358250856, avgTableSize=530.1240659007445
23.57/20.23
23.57/20.28 num=318, depth=8..16, filters=1011755, revisions=(880651,useless=511106), ccks=2512145, wck=17.824, mem=107M485
23.57/20.28 decisions=61309, wrong=28989, backtracks=18787, failedAssignments=16566, nogoods=1689, foundSolutions=24, bestBound=21
23.57/20.28 nFilterCalls=3572815, avgTableProportion=0.9981170365195229, avgTableSize=530.1242697984642
23.57/20.28
23.67/20.33 num=319, depth=9..16, filters=1014644, revisions=(883126,useless=512526), ccks=2520976, wck=17.878, mem=107M485
23.67/20.33 decisions=61508, wrong=29083, backtracks=18852, failedAssignments=16621, nogoods=1698, foundSolutions=24, bestBound=21
23.67/20.33 nFilterCalls=3584769, avgTableProportion=0.9981170360411536, avgTableSize=530.1241293372042
23.67/20.33
23.67/20.39 num=320, depth=7..15, filters=1018077, revisions=(886138,useless=514148), ccks=2531085, wck=17.932, mem=107M485
23.67/20.39 decisions=61720, wrong=29184, backtracks=18916, failedAssignments=16682, nogoods=1706, foundSolutions=24, bestBound=21
23.67/20.39 nFilterCalls=3596903, avgTableProportion=0.998117036010688, avgTableSize=530.1241203891236
23.67/20.39
23.77/20.44 num=321, depth=10..15, filters=1021985, revisions=(889439,useless=516006), ccks=2542178, wck=17.986, mem=107M485
23.77/20.44 decisions=61971, wrong=29304, backtracks=18994, failedAssignments=16749, nogoods=1720, foundSolutions=24, bestBound=21
23.77/20.44 nFilterCalls=3610313, avgTableProportion=0.9981170364611884, avgTableSize=530.1242526617498
23.77/20.44
23.87/20.50 num=322, depth=8..18, filters=1025515, revisions=(892477,useless=517683), ccks=2553028, wck=18.047, mem=110M75
23.87/20.50 decisions=62234, wrong=29431, backtracks=19073, failedAssignments=16823, nogoods=1729, foundSolutions=24, bestBound=21
23.87/20.50 nFilterCalls=3625432, avgTableProportion=0.9981170358021322, avgTableSize=530.1240591466066
23.87/20.50
23.87/20.57 num=323, depth=9..17, filters=1030253, revisions=(895997,useless=519758), ccks=2564443, wck=18.113, mem=110M75
23.87/20.57 decisions=62524, wrong=29570, backtracks=19170, failedAssignments=16904, nogoods=1732, foundSolutions=24, bestBound=21
23.87/20.57 nFilterCalls=3643313, avgTableProportion=0.9981170373171746, avgTableSize=530.1245039885401
23.87/20.57
23.97/20.66 num=324, depth=7..15, filters=1035542, revisions=(900421,useless=522267), ccks=2578782, wck=18.207, mem=110M75
23.97/20.66 decisions=62852, wrong=29729, backtracks=19279, failedAssignments=16993, nogoods=1740, foundSolutions=24, bestBound=21
23.97/20.66 nFilterCalls=3664216, avgTableProportion=0.9981170377991128, avgTableSize=530.1246454903313
23.97/20.66
24.07/20.77 num=325, depth=4..14, filters=1041388, revisions=(905495,useless=525128), ccks=2595900, wck=18.317, mem=110M75
24.07/20.77 decisions=63205, wrong=29903, backtracks=19386, failedAssignments=17091, nogoods=1747, foundSolutions=24, bestBound=21
24.07/20.77 nFilterCalls=3686049, avgTableProportion=0.9981170367990464, avgTableSize=530.1243518466521
24.07/20.77
24.17/20.88 num=326, depth=7..16, filters=1048290, revisions=(910831,useless=528189), ccks=2613738, wck=18.424, mem=112M664
24.17/20.88 decisions=63612, wrong=30102, backtracks=19527, failedAssignments=17199, nogoods=1751, foundSolutions=24, bestBound=21
24.17/20.88 nFilterCalls=3710049, avgTableProportion=0.9981170379149258, avgTableSize=530.1246794853653
24.17/20.88
24.27/21.00 num=327, depth=8..17, filters=1055272, revisions=(916634,useless=531689), ccks=2634185, wck=18.544, mem=112M664
24.27/21.00 decisions=64044, wrong=30314, backtracks=19673, failedAssignments=17318, nogoods=1754, foundSolutions=24, bestBound=21
24.27/21.00 nFilterCalls=3737626, avgTableProportion=0.9981170404451203, avgTableSize=530.1254223937868
24.27/21.00
24.50/21.12 num=328, depth=7..16, filters=1061922, revisions=(922174,useless=534821), ccks=2652580, wck=18.661, mem=112M664
24.50/21.12 decisions=64502, wrong=30539, backtracks=19816, failedAssignments=17449, nogoods=1762, foundSolutions=24, bestBound=21
24.50/21.12 nFilterCalls=3763331, avgTableProportion=0.9981170410234417, avgTableSize=530.125592194787
24.50/21.12
24.59/21.27 num=329, depth=7..15, filters=1070325, revisions=(929347,useless=538999), ccks=2678135, wck=18.816, mem=115M254
24.59/21.27 decisions=65049, wrong=30808, backtracks=19993, failedAssignments=17593, nogoods=1768, foundSolutions=24, bestBound=21
24.59/21.27 nFilterCalls=3798104, avgTableProportion=0.9981170417155254, avgTableSize=530.1257953968611
24.59/21.27
24.79/21.42 num=330, depth=6..16, filters=1079497, revisions=(936922,useless=543252), ccks=2703236, wck=18.964, mem=115M254
24.79/21.42 decisions=65601, wrong=31079, backtracks=20184, failedAssignments=17751, nogoods=1774, foundSolutions=24, bestBound=21
24.79/21.42 nFilterCalls=3829799, avgTableProportion=0.9981170424678036, avgTableSize=530.1260162739611
24.79/21.42
24.89/21.59 num=331, depth=6..15, filters=1088939, revisions=(944857,useless=547919), ccks=2733516, wck=19.134, mem=115M254
24.89/21.59 decisions=66211, wrong=31379, backtracks=20371, failedAssignments=17925, nogoods=1783, foundSolutions=24, bestBound=21
24.89/21.59 nFilterCalls=3866347, avgTableProportion=0.9981170424522873, avgTableSize=530.1260117107958
24.89/21.59
25.19/21.83 num=332, depth=4..15, filters=1101109, revisions=(955053,useless=553589), ccks=2767374, wck=19.372, mem=117M843
25.19/21.83 decisions=66902, wrong=31722, backtracks=20587, failedAssignments=18116, nogoods=1790, foundSolutions=24, bestBound=21
25.19/21.83 nFilterCalls=3908761, avgTableProportion=0.9981170419725156, avgTableSize=530.1258708322151
25.19/21.83
25.40/22.04 num=333, depth=6..15, filters=1113298, revisions=(965012,useless=559328), ccks=2798355, wck=19.588, mem=117M843
25.40/22.04 decisions=67650, wrong=32092, backtracks=20842, failedAssignments=18327, nogoods=1798, foundSolutions=24, bestBound=21
25.40/22.04 nFilterCalls=3955920, avgTableProportion=0.9981170422558415, avgTableSize=530.1259540132257
25.40/22.04
25.69/22.30 num=334, depth=5..15, filters=1127139, revisions=(976231,useless=565669), ccks=2837477, wck=19.842, mem=120M433
25.69/22.30 decisions=68534, wrong=32529, backtracks=21133, failedAssignments=18559, nogoods=1803, foundSolutions=24, bestBound=21
25.69/22.30 nFilterCalls=4010601, avgTableProportion=0.9981170427787307, avgTableSize=530.1261075335093
25.69/22.30
25.89/22.57 num=335, depth=7..16, filters=1142256, revisions=(988163,useless=572586), ccks=2876847, wck=20.113, mem=123M23
25.89/22.57 decisions=69450, wrong=32983, backtracks=21457, failedAssignments=18814, nogoods=1819, foundSolutions=24, bestBound=21
25.89/22.57 nFilterCalls=4067928, avgTableProportion=0.9981170457958163, avgTableSize=530.1269933981132
25.89/22.57
26.09/22.79 num=336, depth=6..16, filters=1156539, revisions=(1001298,useless=580030), ccks=2917444, wck=20.331, mem=123M23
26.09/22.79 decisions=70430, wrong=33469, backtracks=21781, failedAssignments=19095, nogoods=1825, foundSolutions=24, bestBound=21
26.09/22.79 nFilterCalls=4116759, avgTableProportion=0.9981170479797234, avgTableSize=530.1276346271424
26.09/22.79
26.50/23.11 num=337, depth=6..16, filters=1173718, revisions=(1015120,useless=588047), ccks=2962675, wck=20.652, mem=125M613
26.50/23.11 decisions=71515, wrong=34008, backtracks=22160, failedAssignments=19404, nogoods=1830, foundSolutions=24, bestBound=21
26.50/23.11 nFilterCalls=4190183, avgTableProportion=0.998117047164169, avgTableSize=530.127395151954
26.50/23.11
26.79/23.46 num=338, depth=6..16, filters=1195841, revisions=(1033809,useless=598829), ccks=3024982, wck=21.009, mem=128M202
26.79/23.46 decisions=72807, wrong=34649, backtracks=22606, failedAssignments=19744, nogoods=1843, foundSolutions=24, bestBound=21
26.79/23.46 nFilterCalls=4266200, avgTableProportion=0.9981170469940133, avgTableSize=530.1273451783788
26.79/23.46
27.29/23.98 num=339, depth=5..15, filters=1219758, revisions=(1051901,useless=609482), ccks=3089109, wck=21.522, mem=130M792
27.29/23.98 decisions=74228, wrong=35355, backtracks=23098, failedAssignments=20118, nogoods=1851, foundSolutions=24, bestBound=21
27.29/23.98 nFilterCalls=4370123, avgTableProportion=0.9981170474888714, avgTableSize=530.1274904619389
27.29/23.98
27.72/24.38 num=340, depth=6..16, filters=1243305, revisions=(1072242,useless=621365), ccks=3154664, wck=21.921, mem=133M381
27.72/24.38 decisions=75745, wrong=36109, backtracks=23605, failedAssignments=20529, nogoods=1863, foundSolutions=24, bestBound=21
27.72/24.38 nFilterCalls=4457038, avgTableProportion=0.9981170493749233, avgTableSize=530.1280442302714
27.72/24.38
28.32/24.91 num=341, depth=4..14, filters=1271113, revisions=(1095955,useless=634718), ccks=3232616, wck=22.454, mem=135M971
28.32/24.91 decisions=77390, wrong=36928, backtracks=24171, failedAssignments=20981, nogoods=1872, foundSolutions=24, bestBound=21
28.32/24.91 nFilterCalls=4552365, avgTableProportion=0.9981170470489745, avgTableSize=530.1273612726571
28.32/24.91
28.92/25.58 num=342, depth=4..17, filters=1306832, revisions=(1123977,useless=651333), ccks=3323022, wck=23.125, mem=141M150
28.92/25.58 decisions=79247, wrong=37853, backtracks=24846, failedAssignments=21478, nogoods=1876, foundSolutions=24, bestBound=21
28.92/25.58 nFilterCalls=4691172, avgTableProportion=0.9981170493971729, avgTableSize=530.12805073018
28.92/25.58
29.53/26.18 num=343, depth=5..14, filters=1340874, revisions=(1151139,useless=667071), ccks=3413090, wck=23.722, mem=143M740
29.53/26.18 decisions=81278, wrong=38865, backtracks=25528, failedAssignments=22025, nogoods=1890, foundSolutions=24, bestBound=21
29.53/26.18 nFilterCalls=4816758, avgTableProportion=0.9981170481108065, avgTableSize=530.1276730115983
29.53/26.18
30.12/26.70 o 25
30.12/26.70 num=344, depth=2..71, filters=1367668, revisions=(1175855,useless=680434), ccks=3485557, wck=24.243, mem=146M329
30.12/26.70 decisions=83016, wrong=39726, backtracks=26090, failedAssignments=22489, nogoods=1895, foundSolutions=25, bestBound=25
30.12/26.70 nFilterCalls=4909330, avgTableProportion=0.9981170474344926, avgTableSize=530.1274744211532
30.12/26.70
30.92/27.55 num=345, depth=3..17, filters=1411277, revisions=(1213067,useless=701421), ccks=3600295, wck=25.09, mem=151M508
30.92/27.55 decisions=85490, wrong=40960, backtracks=26942, failedAssignments=23151, nogoods=1903, foundSolutions=25, bestBound=25
30.92/27.55 nFilterCalls=5054244, avgTableProportion=0.9981170473571749, avgTableSize=530.1274517019756
30.92/27.55
30.92/27.56 num=346, depth=11..18, filters=1412101, revisions=(1213744,useless=701804), ccks=3602635, wck=25.106, mem=151M508
30.92/27.56 decisions=85554, wrong=40986, backtracks=26963, failedAssignments=23162, nogoods=1905, foundSolutions=25, bestBound=25
30.92/27.56 nFilterCalls=5057879, avgTableProportion=0.9981170478458419, avgTableSize=530.1275951836728
30.92/27.56
30.92/27.57 num=347, depth=8..13, filters=1412754, revisions=(1214284,useless=702098), ccks=3604375, wck=25.117, mem=151M508
30.92/27.57 decisions=85598, wrong=41004, backtracks=26972, failedAssignments=23174, nogoods=1909, foundSolutions=25, bestBound=25
30.92/27.57 nFilterCalls=5059951, avgTableProportion=0.9981170479694361, avgTableSize=530.1276314731111
30.92/27.57
30.92/27.59 num=348, depth=6..10, filters=1413676, revisions=(1215049,useless=702546), ccks=3606871, wck=25.132, mem=154M98
30.92/27.59 decisions=85644, wrong=41024, backtracks=26987, failedAssignments=23187, nogoods=1914, foundSolutions=25, bestBound=25
30.92/27.59 nFilterCalls=5062743, avgTableProportion=0.9981170478857874, avgTableSize=530.1276069119052
30.92/27.59
31.02/27.60 num=349, depth=5..11, filters=1414292, revisions=(1215612,useless=702864), ccks=3608380, wck=25.146, mem=154M98
31.02/27.60 decisions=85689, wrong=41044, backtracks=26997, failedAssignments=23201, nogoods=1919, foundSolutions=25, bestBound=25
31.02/27.60 nFilterCalls=5065397, avgTableProportion=0.9981170478261712, avgTableSize=530.1275894071086
31.02/27.60
31.02/27.62 num=350, depth=8..15, filters=1415077, revisions=(1216292,useless=703244), ccks=3610973, wck=25.161, mem=154M98
31.02/27.62 decisions=85753, wrong=41072, backtracks=27014, failedAssignments=23217, nogoods=1921, foundSolutions=25, bestBound=25
31.02/27.62 nFilterCalls=5068361, avgTableProportion=0.9981170481284397, avgTableSize=530.1276781586789
31.02/27.62
31.02/27.64 num=351, depth=8..14, filters=1416210, revisions=(1217247,useless=703752), ccks=3614428, wck=25.183, mem=154M98
31.02/27.64 decisions=85833, wrong=41108, backtracks=27040, failedAssignments=23234, nogoods=1927, foundSolutions=25, bestBound=25
31.02/27.64 nFilterCalls=5072836, avgTableProportion=0.9981170481402846, avgTableSize=530.127681636071
31.02/27.64
31.02/27.66 num=352, depth=9..15, filters=1417063, revisions=(1217920,useless=704158), ccks=3616885, wck=25.2, mem=154M98
31.02/27.66 decisions=85898, wrong=41135, backtracks=27055, failedAssignments=23253, nogoods=1931, foundSolutions=25, bestBound=25
31.02/27.66 nFilterCalls=5076785, avgTableProportion=0.9981170484695302, avgTableSize=530.1277783085161
31.02/27.66
31.02/27.68 num=353, depth=7..15, filters=1418172, revisions=(1218953,useless=704750), ccks=3620236, wck=25.223, mem=154M98
31.02/27.68 decisions=85983, wrong=41173, backtracks=27076, failedAssignments=23274, nogoods=1935, foundSolutions=25, bestBound=25
31.02/27.68 nFilterCalls=5081181, avgTableProportion=0.9981170484925131, avgTableSize=530.1277850562694
31.02/27.68
31.02/27.70 num=354, depth=9..15, filters=1419230, revisions=(1219845,useless=705256), ccks=3623606, wck=25.241, mem=154M98
31.02/27.70 decisions=86063, wrong=41208, backtracks=27094, failedAssignments=23297, nogoods=1941, foundSolutions=25, bestBound=25
31.02/27.70 nFilterCalls=5085248, avgTableProportion=0.9981170487478835, avgTableSize=530.1278600375045
31.02/27.70
31.12/27.72 num=355, depth=7..15, filters=1420504, revisions=(1220968,useless=705898), ccks=3627004, wck=25.268, mem=154M98
31.12/27.72 decisions=86157, wrong=41251, backtracks=27128, failedAssignments=23322, nogoods=1946, foundSolutions=25, bestBound=25
31.12/27.72 nFilterCalls=5090343, avgTableProportion=0.9981170488051261, avgTableSize=530.1278768444485
31.12/27.72
31.12/27.76 num=356, depth=3..11, filters=1422754, revisions=(1222985,useless=706940), ccks=3632605, wck=25.307, mem=154M98
31.12/27.76 decisions=86277, wrong=41309, backtracks=27167, failedAssignments=23350, nogoods=1949, foundSolutions=25, bestBound=25
31.12/27.76 nFilterCalls=5097018, avgTableProportion=0.998117048473321, avgTableSize=530.1277794192605
31.12/27.76
31.22/27.81 num=357, depth=6..14, filters=1424984, revisions=(1224837,useless=708008), ccks=3638467, wck=25.352, mem=154M98
31.22/27.81 decisions=86421, wrong=41378, backtracks=27220, failedAssignments=23381, nogoods=1952, foundSolutions=25, bestBound=25
31.22/27.81 nFilterCalls=5105565, avgTableProportion=0.9981170487353955, avgTableSize=530.1278563684921
31.22/27.81
31.22/27.84 num=358, depth=6..14, filters=1426739, revisions=(1226305,useless=708818), ccks=3642998, wck=25.388, mem=154M98
31.22/27.84 decisions=86533, wrong=41431, backtracks=27258, failedAssignments=23415, nogoods=1960, foundSolutions=25, bestBound=25
31.22/27.84 nFilterCalls=5112448, avgTableProportion=0.9981170487120586, avgTableSize=530.1278495155354
31.22/27.84
31.22/27.87 num=359, depth=6..14, filters=1428325, revisions=(1227713,useless=709513), ccks=3647277, wck=25.411, mem=154M98
31.22/27.87 decisions=86654, wrong=41487, backtracks=27292, failedAssignments=23452, nogoods=1966, foundSolutions=25, bestBound=25
31.22/27.87 nFilterCalls=5118389, avgTableProportion=0.9981170489485742, avgTableSize=530.1279189604385
31.22/27.87
31.32/27.92 num=360, depth=6..17, filters=1430942, revisions=(1230084,useless=710854), ccks=3654102, wck=25.465, mem=154M98
31.32/27.92 decisions=86824, wrong=41569, backtracks=27350, failedAssignments=23493, nogoods=1970, foundSolutions=25, bestBound=25
31.32/27.92 nFilterCalls=5128764, avgTableProportion=0.9981170484610579, avgTableSize=530.1277758149917
31.32/27.92
31.32/27.97 num=361, depth=7..14, filters=1433232, revisions=(1231989,useless=711982), ccks=3661198, wck=25.511, mem=156M688
31.32/27.97 decisions=86979, wrong=41642, backtracks=27393, failedAssignments=23538, nogoods=1975, foundSolutions=25, bestBound=25
31.32/27.97 nFilterCalls=5138850, avgTableProportion=0.998117049479875, avgTableSize=530.1280749584051
31.32/27.97
31.42/28.02 num=362, depth=6..14, filters=1436040, revisions=(1234411,useless=713362), ccks=3668495, wck=25.567, mem=156M688
31.42/28.02 decisions=87157, wrong=41728, backtracks=27448, failedAssignments=23588, nogoods=1976, foundSolutions=25, bestBound=25
31.42/28.02 nFilterCalls=5149246, avgTableProportion=0.9981170494061533, avgTableSize=530.1280533111061
31.42/28.02
31.42/28.10 num=363, depth=5..14, filters=1439450, revisions=(1237003,useless=714818), ccks=3677824, wck=25.64, mem=156M688
31.42/28.10 decisions=87363, wrong=41827, backtracks=27514, failedAssignments=23643, nogoods=1982, foundSolutions=25, bestBound=25
31.42/28.10 nFilterCalls=5164406, avgTableProportion=0.9981170494923595, avgTableSize=530.1280786212393
31.42/28.10
31.53/28.17 num=364, depth=5..14, filters=1443410, revisions=(1240467,useless=716877), ccks=3688639, wck=25.713, mem=156M688
31.53/28.17 decisions=87594, wrong=41939, backtracks=27596, failedAssignments=23704, nogoods=1991, foundSolutions=25, bestBound=25
31.53/28.17 nFilterCalls=5178515, avgTableProportion=0.9981170493634206, avgTableSize=530.1280407607201
31.53/28.17
31.65/28.23 num=365, depth=4..14, filters=1447391, revisions=(1244007,useless=718732), ccks=3699615, wck=25.777, mem=156M688
31.65/28.23 decisions=87840, wrong=42058, backtracks=27671, failedAssignments=23771, nogoods=1997, foundSolutions=25, bestBound=25
31.65/28.23 nFilterCalls=5192672, avgTableProportion=0.9981170493413404, avgTableSize=530.1280342759951
31.65/28.23
31.75/28.30 num=366, depth=7..17, filters=1451981, revisions=(1247612,useless=720790), ccks=3712348, wck=25.847, mem=156M688
31.75/28.30 decisions=88116, wrong=42191, backtracks=27759, failedAssignments=23845, nogoods=2005, foundSolutions=25, bestBound=25
31.75/28.30 nFilterCalls=5207875, avgTableProportion=0.9981170501015773, avgTableSize=530.1282574946596
31.75/28.30
31.85/28.40 num=367, depth=4..15, filters=1457306, revisions=(1251965,useless=723327), ccks=3726179, wck=25.949, mem=159M277
31.85/28.40 decisions=88437, wrong=42347, backtracks=27875, failedAssignments=23926, nogoods=2011, foundSolutions=25, bestBound=25
31.85/28.40 nFilterCalls=5227640, avgTableProportion=0.9981170501458799, avgTableSize=530.1282705006465
31.85/28.40
31.85/28.48 num=368, depth=6..15, filters=1462494, revisions=(1256230,useless=725740), ccks=3740762, wck=26.029, mem=159M277
31.85/28.48 decisions=88757, wrong=42503, backtracks=27980, failedAssignments=24015, nogoods=2019, foundSolutions=25, bestBound=25
31.85/28.48 nFilterCalls=5244641, avgTableProportion=0.9981170510461054, avgTableSize=530.1285348224978
31.85/28.48
31.95/28.58 num=369, depth=6..14, filters=1467888, revisions=(1260946,useless=728349), ccks=3755999, wck=26.127, mem=159M277
31.95/28.58 decisions=89094, wrong=42668, backtracks=28077, failedAssignments=24113, nogoods=2023, foundSolutions=25, bestBound=25
31.95/28.58 nFilterCalls=5263732, avgTableProportion=0.9981170504606458, avgTableSize=530.1283629181729
31.95/28.58
32.05/28.69 num=370, depth=6..15, filters=1473690, revisions=(1265420,useless=731060), ccks=3771296, wck=26.237, mem=159M277
32.05/28.69 decisions=89456, wrong=42844, backtracks=28204, failedAssignments=24221, nogoods=2028, foundSolutions=25, bestBound=25
32.05/28.69 nFilterCalls=5286359, avgTableProportion=0.9981170519943264, avgTableSize=530.1288132342128
32.05/28.69
32.28/28.82 num=371, depth=5..13, filters=1480416, revisions=(1271420,useless=734438), ccks=3788135, wck=26.367, mem=29M881
32.28/28.82 decisions=89862, wrong=43044, backtracks=28331, failedAssignments=24340, nogoods=2038, foundSolutions=25, bestBound=25
32.28/28.82 nFilterCalls=5310362, avgTableProportion=0.9981170518257231, avgTableSize=530.1287637264653
32.28/28.82
32.38/28.96 num=372, depth=2..11, filters=1487620, revisions=(1278041,useless=738011), ccks=3807738, wck=26.509, mem=29M881
32.38/28.96 decisions=90295, wrong=43258, backtracks=28471, failedAssignments=24471, nogoods=2045, foundSolutions=25, bestBound=25
32.38/28.96 nFilterCalls=5335002, avgTableProportion=0.9981170508012959, avgTableSize=530.1284629321601
32.38/28.96
32.58/29.12 num=373, depth=6..14, filters=1496296, revisions=(1285559,useless=742304), ccks=3831394, wck=26.662, mem=29M881
32.58/29.12 decisions=90815, wrong=43514, backtracks=28643, failedAssignments=24615, nogoods=2051, foundSolutions=25, bestBound=25
32.58/29.12 nFilterCalls=5365236, avgTableProportion=0.9981170511123837, avgTableSize=530.1285542704925
32.58/29.12
32.68/29.27 num=374, depth=6..17, filters=1504188, revisions=(1291970,useless=745870), ccks=3855085, wck=26.812, mem=32M489
32.68/29.27 decisions=91381, wrong=43793, backtracks=28832, failedAssignments=24773, nogoods=2055, foundSolutions=25, bestBound=25
32.68/29.27 nFilterCalls=5398872, avgTableProportion=0.9981170510265701, avgTableSize=530.128529070517
32.68/29.27
32.88/29.49 num=375, depth=3..15, filters=1514577, revisions=(1299684,useless=750525), ccks=3879767, wck=27.037, mem=32M489
32.88/29.49 decisions=91989, wrong=44094, backtracks=29040, failedAssignments=24947, nogoods=2067, foundSolutions=25, bestBound=25
32.88/29.49 nFilterCalls=5442875, avgTableProportion=0.9981170510099002, avgTableSize=530.1285241715086
32.88/29.49
33.19/29.74 num=376, depth=3..12, filters=1526052, revisions=(1309747,useless=756111), ccks=3912593, wck=27.286, mem=35M97
33.19/29.74 decisions=92680, wrong=44437, backtracks=29278, failedAssignments=25138, nogoods=2071, foundSolutions=25, bestBound=25
33.19/29.74 nFilterCalls=5482759, avgTableProportion=0.9981170505713259, avgTableSize=530.128395393633
33.19/29.74
33.38/29.95 num=377, depth=5..14, filters=1537163, revisions=(1319802,useless=761755), ccks=3946122, wck=27.493, mem=35M97
33.38/29.95 decisions=93432, wrong=44809, backtracks=29521, failedAssignments=25349, nogoods=2079, foundSolutions=25, bestBound=25
33.38/29.95 nFilterCalls=5523189, avgTableProportion=0.9981170501735965, avgTableSize=530.1282786086082
33.38/29.95
33.68/30.24 num=378, depth=2..14, filters=1550376, revisions=(1330524,useless=767843), ccks=3983848, wck=27.782, mem=37M705
33.68/30.24 decisions=94290, wrong=45235, backtracks=29797, failedAssignments=25581, nogoods=2085, foundSolutions=25, bestBound=25
33.68/30.24 nFilterCalls=5579973, avgTableProportion=0.9981170494630556, avgTableSize=530.1280699745321
33.68/30.24
33.98/30.51 num=379, depth=5..16, filters=1565507, revisions=(1342725,useless=775150), ccks=4020131, wck=28.05, mem=37M705
33.98/30.51 decisions=95152, wrong=45663, backtracks=30077, failedAssignments=25836, nogoods=2093, foundSolutions=25, bestBound=25
33.98/30.51 nFilterCalls=5634787, avgTableProportion=0.9981170501678083, avgTableSize=530.1282768984879
33.98/30.51
34.18/30.76 num=380, depth=7..16, filters=1581421, revisions=(1355459,useless=782298), ccks=4066769, wck=28.308, mem=40M313
34.18/30.76 decisions=96170, wrong=46168, backtracks=30405, failedAssignments=26117, nogoods=2104, foundSolutions=25, bestBound=25
34.18/30.76 nFilterCalls=5693971, avgTableProportion=0.9981170524886304, avgTableSize=530.1289583315405
34.18/30.76
34.49/31.06 num=381, depth=5..14, filters=1597505, revisions=(1370110,useless=790672), ccks=4109623, wck=28.607, mem=42M921
34.49/31.06 decisions=97222, wrong=46691, backtracks=30738, failedAssignments=26426, nogoods=2115, foundSolutions=25, bestBound=25
34.49/31.06 nFilterCalls=5751241, avgTableProportion=0.9981170531853809, avgTableSize=530.1291629058842
34.49/31.06
34.99/31.53 num=382, depth=4..14, filters=1618579, revisions=(1386594,useless=800243), ccks=4161015, wck=29.07, mem=45M529
34.99/31.53 decisions=98398, wrong=47277, backtracks=31123, failedAssignments=26766, nogoods=2124, foundSolutions=25, bestBound=25
34.99/31.53 nFilterCalls=5839395, avgTableProportion=0.998117052772341, avgTableSize=530.1290416216063
34.99/31.53
35.39/31.95 num=383, depth=3..15, filters=1640310, revisions=(1405351,useless=810793), ccks=4220760, wck=29.498, mem=48M137
35.39/31.95 decisions=99732, wrong=47941, backtracks=31567, failedAssignments=27140, nogoods=2127, foundSolutions=25, bestBound=25
35.39/31.95 nFilterCalls=5919475, avgTableProportion=0.9981170511673377, avgTableSize=530.1285703546345
35.39/31.95
35.79/32.39 num=384, depth=4..17, filters=1664850, revisions=(1427238,useless=823600), ccks=4287214, wck=29.94, mem=52M67
35.79/32.39 decisions=101220, wrong=48682, backtracks=32086, failedAssignments=27551, nogoods=2137, foundSolutions=25, bestBound=25
35.79/32.39 nFilterCalls=6002433, avgTableProportion=0.9981170517529504, avgTableSize=530.1287422949994
35.79/32.39
36.39/32.90 num=385, depth=3..17, filters=1690338, revisions=(1449434,useless=836390), ccks=4353374, wck=30.442, mem=54M675
36.39/32.90 decisions=102789, wrong=49464, backtracks=32635, failedAssignments=28003, nogoods=2145, foundSolutions=25, bestBound=25
36.39/32.90 nFilterCalls=6094736, avgTableProportion=0.9981170522076753, avgTableSize=530.1288758036443
36.39/32.90
36.89/33.49 num=386, depth=4..16, filters=1720284, revisions=(1473997,useless=851165), ccks=4430977, wck=31.034, mem=57M283
36.89/33.49 decisions=104516, wrong=50324, backtracks=33215, failedAssignments=28500, nogoods=2157, foundSolutions=25, bestBound=25
36.89/33.49 nFilterCalls=6208060, avgTableProportion=0.9981170554023816, avgTableSize=530.1298138226757
36.89/33.49
37.60/34.15 num=387, depth=2..16, filters=1753033, revisions=(1501175,useless=866554), ccks=4517424, wck=31.694, mem=59M891
37.60/34.15 decisions=106455, wrong=51290, backtracks=33861, failedAssignments=29047, nogoods=2167, foundSolutions=25, bestBound=25
37.60/34.15 nFilterCalls=6327536, avgTableProportion=0.9981170560431203, avgTableSize=530.1300019470455
37.60/34.15
38.39/34.93 num=388, depth=2..14, filters=1791478, revisions=(1534589,useless=885202), ccks=4622249, wck=32.477, mem=65M107
38.39/34.93 decisions=108636, wrong=52378, backtracks=34612, failedAssignments=29649, nogoods=2172, foundSolutions=25, bestBound=25
38.39/34.93 nFilterCalls=6463030, avgTableProportion=0.9981170552777502, avgTableSize=530.1297772097607
38.39/34.93
39.19/35.73 num=389, depth=2..14, filters=1835304, revisions=(1572771,useless=907166), ccks=4743410, wck=33.272, mem=70M323
39.19/35.73 decisions=111118, wrong=53615, backtracks=35458, failedAssignments=30311, nogoods=2182, foundSolutions=25, bestBound=25
39.19/35.73 nFilterCalls=6605088, avgTableProportion=0.9981170585541409, avgTableSize=530.1307392119529
39.19/35.73
39.99/36.58 num=390, depth=4..14, filters=1879476, revisions=(1608532,useless=927699), ccks=4853494, wck=34.13, mem=75M539
39.99/36.58 decisions=113754, wrong=54930, backtracks=36380, failedAssignments=31039, nogoods=2198, foundSolutions=25, bestBound=25
39.99/36.58 nFilterCalls=6769745, avgTableProportion=0.998117060622807, avgTableSize=530.1313466016815
39.99/36.58
40.99/37.50 num=391, depth=2..17, filters=1923684, revisions=(1647152,useless=949791), ccks=4969872, wck=35.044, mem=80M755
40.99/37.50 decisions=116638, wrong=56368, backtracks=37445, failedAssignments=31840, nogoods=2205, foundSolutions=25, bestBound=25
40.99/37.50 nFilterCalls=6947442, avgTableProportion=0.9981170580752265, avgTableSize=530.1305985713878
40.99/37.50
41.99/38.51 o 27
41.99/38.51 num=392, depth=3..71, filters=1973367, revisions=(1685863,useless=972781), ccks=5098240, wck=36.052, mem=85M971
41.99/38.51 decisions=119527, wrong=57808, backtracks=38428, failedAssignments=32636, nogoods=2210, foundSolutions=26, bestBound=27
41.99/38.51 nFilterCalls=7146733, avgTableProportion=0.9981170596049322, avgTableSize=530.1310477108912
41.99/38.51
43.09/39.68 o 29
43.09/39.68 num=393, depth=2..71, filters=2035677, revisions=(1738125,useless=1003044), ccks=5275465, wck=37.225, mem=93M795
43.09/39.68 decisions=123106, wrong=59591, backtracks=39632, failedAssignments=33599, nogoods=2216, foundSolutions=27, bestBound=29
43.09/39.68 nFilterCalls=7361849, avgTableProportion=0.9981170595742276, avgTableSize=530.1310386833525
43.09/39.68
43.20/39.70 num=394, depth=4..13, filters=2036622, revisions=(1739050,useless=1003596), ccks=5278042, wck=37.247, mem=93M795
43.20/39.70 decisions=123167, wrong=59617, backtracks=39655, failedAssignments=33610, nogoods=2219, foundSolutions=27, bestBound=29
43.20/39.70 nFilterCalls=7365325, avgTableProportion=0.9981170594542383, avgTableSize=530.1310034519862
43.20/39.70
43.20/39.72 num=395, depth=5..11, filters=2037491, revisions=(1739853,useless=1004045), ccks=5280431, wck=37.262, mem=93M795
43.20/39.72 decisions=123223, wrong=59641, backtracks=39672, failedAssignments=33621, nogoods=2224, foundSolutions=27, bestBound=29
43.20/39.72 nFilterCalls=7367760, avgTableProportion=0.9981170594348272, avgTableSize=530.1309977523698
43.20/39.72
43.20/39.74 num=396, depth=6..14, filters=2038530, revisions=(1740718,useless=1004525), ccks=5283234, wck=37.281, mem=93M795
43.20/39.74 decisions=123286, wrong=59668, backtracks=39692, failedAssignments=33633, nogoods=2227, foundSolutions=27, bestBound=29
43.20/39.74 nFilterCalls=7371323, avgTableProportion=0.9981170593693375, avgTableSize=530.1309785231226
43.20/39.74
43.20/39.75 num=397, depth=7..12, filters=2039281, revisions=(1741353,useless=1004865), ccks=5285500, wck=37.297, mem=93M795
43.20/39.75 decisions=123337, wrong=59689, backtracks=39707, failedAssignments=33646, nogoods=2232, foundSolutions=27, bestBound=29
43.20/39.75 nFilterCalls=7374394, avgTableProportion=0.9981170593502942, avgTableSize=530.1309729314708
43.20/39.75
43.20/39.78 num=398, depth=8..13, filters=2040595, revisions=(1742431,useless=1005502), ccks=5288177, wck=37.321, mem=93M795
43.20/39.78 decisions=123413, wrong=59723, backtracks=39732, failedAssignments=33660, nogoods=2241, foundSolutions=27, bestBound=29
43.20/39.78 nFilterCalls=7379001, avgTableProportion=0.998117059293805, avgTableSize=530.1309563449036
43.20/39.78
43.20/39.79 num=399, depth=9..15, filters=2041472, revisions=(1743139,useless=1005915), ccks=5290237, wck=37.337, mem=93M795
43.20/39.79 decisions=123483, wrong=59753, backtracks=39752, failedAssignments=33676, nogoods=2247, foundSolutions=27, bestBound=29
43.20/39.79 nFilterCalls=7383367, avgTableProportion=0.9981170596288049, avgTableSize=530.1310547071546
43.20/39.79
43.30/39.81 num=400, depth=6..14, filters=2042629, revisions=(1744122,useless=1006393), ccks=5293587, wck=37.355, mem=93M795
43.30/39.81 decisions=123546, wrong=59781, backtracks=39767, failedAssignments=33693, nogoods=2250, foundSolutions=27, bestBound=29
43.30/39.81 nFilterCalls=7386371, avgTableProportion=0.9981170595560972, avgTableSize=530.1310333586006
43.30/39.81
43.30/39.83 num=401, depth=6..13, filters=2043646, revisions=(1745039,useless=1006945), ccks=5296513, wck=37.377, mem=93M795
43.30/39.83 decisions=123617, wrong=59813, backtracks=39786, failedAssignments=33712, nogoods=2254, foundSolutions=27, bestBound=29
43.30/39.83 nFilterCalls=7390608, avgTableProportion=0.9981170594491, avgTableSize=530.1310019419242
43.30/39.83
43.30/39.86 num=402, depth=6..12, filters=2044925, revisions=(1746261,useless=1007648), ccks=5300056, wck=37.4, mem=93M795
43.30/39.86 decisions=123705, wrong=59854, backtracks=39816, failedAssignments=33733, nogoods=2261, foundSolutions=27, bestBound=29
43.30/39.86 nFilterCalls=7394554, avgTableProportion=0.9981170595159151, avgTableSize=530.131021559921
43.30/39.86
43.30/39.88 num=403, depth=4..13, filters=2046332, revisions=(1747446,useless=1008281), ccks=5304116, wck=37.428, mem=93M795
43.30/39.88 decisions=123800, wrong=59898, backtracks=39849, failedAssignments=33756, nogoods=2268, foundSolutions=27, bestBound=29
43.30/39.88 nFilterCalls=7400018, avgTableProportion=0.9981170594552099, avgTableSize=530.1310037353963
43.30/39.88
43.40/39.92 num=404, depth=5..14, filters=2048023, revisions=(1748817,useless=1009095), ccks=5308297, wck=37.462, mem=93M795
43.40/39.92 decisions=123898, wrong=59943, backtracks=39878, failedAssignments=33781, nogoods=2272, foundSolutions=27, bestBound=29
43.40/39.92 nFilterCalls=7407012, avgTableProportion=0.998117059547981, avgTableSize=530.1310309744334
43.40/39.92
43.40/39.95 num=405, depth=4..12, filters=2049857, revisions=(1750426,useless=1009999), ccks=5313151, wck=37.495, mem=93M795
43.40/39.95 decisions=124005, wrong=59994, backtracks=39913, failedAssignments=33809, nogoods=2275, foundSolutions=27, bestBound=29
43.40/39.95 nFilterCalls=7412928, avgTableProportion=0.9981170594289058, avgTableSize=530.1309960112927
43.40/39.95
43.40/39.99 num=406, depth=5..13, filters=2051916, revisions=(1752240,useless=1011080), ccks=5318629, wck=37.537, mem=93M795
43.40/39.99 decisions=124138, wrong=60056, backtracks=39956, failedAssignments=33840, nogoods=2277, foundSolutions=27, bestBound=29
43.40/39.99 nFilterCalls=7420622, avgTableProportion=0.9981170594005052, avgTableSize=530.1309876719229
43.40/39.99
43.51/40.03 num=407, depth=5..12, filters=2053717, revisions=(1753953,useless=1012082), ccks=5323671, wck=37.572, mem=96M404
43.51/40.03 decisions=124263, wrong=60115, backtracks=39999, failedAssignments=33874, nogoods=2280, foundSolutions=27, bestBound=29
43.51/40.03 nFilterCalls=7426811, avgTableProportion=0.9981170593933146, avgTableSize=530.1309855602896
43.51/40.03
43.51/40.08 num=408, depth=4..10, filters=2055902, revisions=(1756003,useless=1013213), ccks=5328299, wck=37.62, mem=96M404
43.51/40.08 decisions=124393, wrong=60178, backtracks=40035, failedAssignments=33911, nogoods=2287, foundSolutions=27, bestBound=29
43.51/40.08 nFilterCalls=7435028, avgTableProportion=0.9981170592039916, avgTableSize=530.1309299709429
43.51/40.08
43.61/40.12 num=409, depth=6..14, filters=2058433, revisions=(1758134,useless=1014396), ccks=5334755, wck=37.667, mem=96M404
43.61/40.12 decisions=124540, wrong=60248, backtracks=40081, failedAssignments=33952, nogoods=2296, foundSolutions=27, bestBound=29
43.61/40.12 nFilterCalls=7443605, avgTableProportion=0.9981170590703968, avgTableSize=530.1308907444712
43.61/40.12
43.61/40.17 num=410, depth=6..14, filters=2060916, revisions=(1760035,useless=1015502), ccks=5341506, wck=37.719, mem=96M404
43.61/40.17 decisions=124696, wrong=60323, backtracks=40136, failedAssignments=33997, nogoods=2301, foundSolutions=27, bestBound=29
43.61/40.17 nFilterCalls=7454567, avgTableProportion=0.9981170591961184, avgTableSize=530.1309276581725
43.61/40.17
43.71/40.23 num=411, depth=4..10, filters=2063823, revisions=(1762776,useless=1017081), ccks=5348803, wck=37.771, mem=96M404
43.71/40.23 decisions=124875, wrong=60410, backtracks=40184, failedAssignments=34047, nogoods=2309, foundSolutions=27, bestBound=29
43.71/40.23 nFilterCalls=7463291, avgTableProportion=0.9981170594141515, avgTableSize=530.1309916764602
43.71/40.23
43.71/40.29 num=412, depth=5..11, filters=2067103, revisions=(1765576,useless=1018757), ccks=5357754, wck=37.833, mem=96M404
43.71/40.29 decisions=125075, wrong=60507, backtracks=40241, failedAssignments=34102, nogoods=2318, foundSolutions=27, bestBound=29
43.71/40.29 nFilterCalls=7474675, avgTableProportion=0.9981170593434339, avgTableSize=530.1309709117787
43.71/40.29
43.81/40.35 num=413, depth=5..14, filters=2070362, revisions=(1768245,useless=1020248), ccks=5366723, wck=37.892, mem=96M404
43.81/40.35 decisions=125307, wrong=60618, backtracks=40319, failedAssignments=34163, nogoods=2327, foundSolutions=27, bestBound=29
43.81/40.35 nFilterCalls=7487475, avgTableProportion=0.9981170597453397, avgTableSize=530.1310889184939
43.81/40.35
43.91/40.46 num=414, depth=2..12, filters=2075086, revisions=(1772203,useless=1022471), ccks=5377561, wck=38.001, mem=99M12
43.91/40.46 decisions=125554, wrong=60739, backtracks=40403, failedAssignments=34230, nogoods=2333, foundSolutions=27, bestBound=29
43.91/40.46 nFilterCalls=7505833, avgTableProportion=0.9981170594056976, avgTableSize=530.1309891920057
43.91/40.46
44.01/40.53 num=415, depth=5..14, filters=2078838, revisions=(1775446,useless=1024312), ccks=5388240, wck=38.073, mem=99M12
44.01/40.53 decisions=125808, wrong=60863, backtracks=40489, failedAssignments=34304, nogoods=2341, foundSolutions=27, bestBound=29
44.01/40.53 nFilterCalls=7518867, avgTableProportion=0.99811705937068, avgTableSize=530.1309789094554
44.01/40.53
44.11/40.63 num=416, depth=3..11, filters=2082867, revisions=(1778819,useless=1026338), ccks=5398325, wck=38.174, mem=99M12
44.11/40.63 decisions=126076, wrong=60995, backtracks=40578, failedAssignments=34385, nogoods=2348, foundSolutions=27, bestBound=29
44.11/40.63 nFilterCalls=7537059, avgTableProportion=0.998117059519453, avgTableSize=530.1310225911725
44.11/40.63
44.21/40.74 num=417, depth=3..11, filters=2088469, revisions=(1783700,useless=1029120), ccks=5411935, wck=38.282, mem=99M12
44.21/40.74 decisions=126387, wrong=61148, backtracks=40679, failedAssignments=34474, nogoods=2352, foundSolutions=27, bestBound=29
44.21/40.74 nFilterCalls=7556148, avgTableProportion=0.9981170591344938, avgTableSize=530.13090955868
44.21/40.74
44.31/40.85 num=418, depth=4..12, filters=2094377, revisions=(1788740,useless=1032177), ccks=5427825, wck=38.398, mem=99M12
44.31/40.85 decisions=126742, wrong=61322, backtracks=40796, failedAssignments=34572, nogoods=2361, foundSolutions=27, bestBound=29
44.31/40.85 nFilterCalls=7576888, avgTableProportion=0.9981170592068371, avgTableSize=530.1309307990299
44.31/40.85
44.41/41.00 num=419, depth=2..11, filters=2101558, revisions=(1794847,useless=1035739), ccks=5443420, wck=38.547, mem=101M620
44.41/41.00 decisions=127126, wrong=61510, backtracks=40918, failedAssignments=34680, nogoods=2367, foundSolutions=27, bestBound=29
44.41/41.00 nFilterCalls=7602146, avgTableProportion=0.9981170588067542, avgTableSize=530.1308133256057
44.41/41.00
44.62/41.15 num=420, depth=4..11, filters=2109252, revisions=(1801097,useless=1039470), ccks=5461250, wck=38.693, mem=101M620
44.62/41.15 decisions=127550, wrong=61720, backtracks=41061, failedAssignments=34799, nogoods=2375, foundSolutions=27, bestBound=29
44.62/41.15 nFilterCalls=7629442, avgTableProportion=0.9981170587519945, avgTableSize=530.1307972457225
44.62/41.15
44.71/41.29 num=421, depth=3..13, filters=2116242, revisions=(1807215,useless=1042868), ccks=5481080, wck=38.834, mem=101M620
44.71/41.29 decisions=127995, wrong=61939, backtracks=41203, failedAssignments=34930, nogoods=2383, foundSolutions=27, bestBound=29
44.71/41.29 nFilterCalls=7654711, avgTableProportion=0.9981170588525005, avgTableSize=530.1308267549225
44.71/41.29
44.91/41.46 num=422, depth=3..14, filters=2125100, revisions=(1814919,useless=1047258), ccks=5507210, wck=39.001, mem=104M228
44.91/41.46 decisions=128505, wrong=62191, backtracks=41382, failedAssignments=35074, nogoods=2390, foundSolutions=27, bestBound=29
44.91/41.46 nFilterCalls=7685603, avgTableProportion=0.9981170587614412, avgTableSize=530.1308000166025
44.91/41.46
45.11/41.63 num=423, depth=4..13, filters=2133150, revisions=(1821731,useless=1051162), ccks=5530203, wck=39.171, mem=104M228
45.11/41.63 decisions=129092, wrong=62480, backtracks=41589, failedAssignments=35232, nogoods=2396, foundSolutions=27, bestBound=29
45.11/41.63 nFilterCalls=7719044, avgTableProportion=0.9981170594960354, avgTableSize=530.13101570609
45.11/41.63
45.31/41.84 num=424, depth=2..14, filters=2143766, revisions=(1831019,useless=1056359), ccks=5551762, wck=39.389, mem=106M836
45.31/41.84 decisions=129681, wrong=62773, backtracks=41786, failedAssignments=35406, nogoods=2403, foundSolutions=27, bestBound=29
45.31/41.84 nFilterCalls=7759283, avgTableProportion=0.9981170591032272, avgTableSize=530.1309003679851
45.31/41.84
45.52/42.08 num=425, depth=3..13, filters=2155540, revisions=(1841086,useless=1062390), ccks=5581392, wck=39.629, mem=106M836
45.52/42.08 decisions=130397, wrong=63129, backtracks=42036, failedAssignments=35597, nogoods=2405, foundSolutions=27, bestBound=29
45.52/42.08 nFilterCalls=7801247, avgTableProportion=0.9981170588373197, avgTableSize=530.1308222903339
45.52/42.08
45.81/42.32 num=426, depth=4..16, filters=2166970, revisions=(1851304,useless=1068254), ccks=5614371, wck=39.861, mem=109M444
45.81/42.32 decisions=131161, wrong=63507, backtracks=42297, failedAssignments=35808, nogoods=2412, foundSolutions=27, bestBound=29
45.81/42.32 nFilterCalls=7844514, avgTableProportion=0.9981170581534008, avgTableSize=530.1306214763591
45.81/42.32
46.01/42.53 num=427, depth=5..16, filters=2178413, revisions=(1861147,useless=1073529), ccks=5646299, wck=40.079, mem=109M444
46.01/42.53 decisions=131951, wrong=63898, backtracks=42554, failedAssignments=36040, nogoods=2418, foundSolutions=27, bestBound=29
46.01/42.53 nFilterCalls=7891007, avgTableProportion=0.9981170576743377, avgTableSize=530.1304808118913
46.01/42.53
46.31/42.82 num=428, depth=4..15, filters=2194099, revisions=(1874619,useless=1081598), ccks=5684939, wck=40.365, mem=112M52
46.31/42.82 decisions=132879, wrong=64358, backtracks=42865, failedAssignments=36295, nogoods=2423, foundSolutions=27, bestBound=29
46.31/42.82 nFilterCalls=7945585, avgTableProportion=0.9981170585404574, avgTableSize=530.1307351189371
46.31/42.82
46.62/43.14 num=429, depth=2..13, filters=2209381, revisions=(1888751,useless=1089517), ccks=5725017, wck=40.684, mem=112M52
46.62/43.14 decisions=133879, wrong=64857, backtracks=43182, failedAssignments=36576, nogoods=2424, foundSolutions=27, bestBound=29
46.62/43.14 nFilterCalls=7997607, avgTableProportion=0.9981170574268282, avgTableSize=530.1304081333329
46.62/43.14
47.01/43.52 num=430, depth=2..12, filters=2228953, revisions=(1905806,useless=1099439), ccks=5777821, wck=41.061, mem=114M660
47.01/43.52 decisions=135047, wrong=65439, backtracks=43576, failedAssignments=36885, nogoods=2429, foundSolutions=27, bestBound=29
47.01/43.52 nFilterCalls=8064620, avgTableProportion=0.9981170576971, avgTableSize=530.1304874873211
47.01/43.52
47.52/44.01 num=431, depth=4..14, filters=2251618, revisions=(1923106,useless=1109622), ccks=5831268, wck=41.556, mem=117M268
47.52/44.01 decisions=136278, wrong=66052, backtracks=44018, failedAssignments=37225, nogoods=2438, foundSolutions=27, bestBound=29
47.52/44.01 nFilterCalls=8160548, avgTableProportion=0.9981170580821561, avgTableSize=530.1306005430027
47.52/44.01
47.91/44.47 num=432, depth=2..12, filters=2275402, revisions=(1943910,useless=1121450), ccks=5896508, wck=42.013, mem=119M876
47.91/44.47 decisions=137659, wrong=66739, backtracks=44470, failedAssignments=37599, nogoods=2446, foundSolutions=27, bestBound=29
47.91/44.47 nFilterCalls=8239387, avgTableProportion=0.998117057814557, avgTableSize=530.1305219672289
47.91/44.47
48.52/45.02 num=433, depth=5..15, filters=2300894, revisions=(1964686,useless=1134194), ccks=5965784, wck=42.561, mem=122M484
48.52/45.02 decisions=139230, wrong=67521, backtracks=45009, failedAssignments=38010, nogoods=2457, foundSolutions=27, bestBound=29
48.52/45.02 nFilterCalls=8349142, avgTableProportion=0.9981170586661279, avgTableSize=530.1307720002845
48.52/45.02
49.11/45.62 num=434, depth=2..16, filters=2330844, revisions=(1988359,useless=1148803), ccks=6035490, wck=43.165, mem=125M92
49.11/45.62 decisions=140824, wrong=68315, backtracks=45561, failedAssignments=38462, nogoods=2466, foundSolutions=27, bestBound=29
49.11/45.62 nFilterCalls=8460631, avgTableProportion=0.9981170597591934, avgTableSize=530.1310929409402
49.11/45.62
49.71/46.26 num=435, depth=4..15, filters=2361399, revisions=(2012629,useless=1163149), ccks=6110770, wck=43.802, mem=130M308
49.71/46.26 decisions=142621, wrong=69211, backtracks=46209, failedAssignments=38959, nogoods=2472, foundSolutions=27, bestBound=29
49.71/46.26 nFilterCalls=8580282, avgTableProportion=0.998117061045103, avgTableSize=530.1314705041164
49.71/46.26
50.52/47.06 num=436, depth=3..17, filters=2400422, revisions=(2043313,useless=1180823), ccks=6209463, wck=44.602, mem=132M916
50.52/47.06 decisions=144739, wrong=70267, backtracks=46954, failedAssignments=39506, nogoods=2479, foundSolutions=27, bestBound=29
50.52/47.06 nFilterCalls=8729050, avgTableProportion=0.9981170643917219, avgTableSize=530.1324531306385
50.52/47.06
51.41/47.92 num=437, depth=2..12, filters=2441232, revisions=(2076104,useless=1200682), ccks=6309358, wck=45.467, mem=138M132
51.41/47.92 decisions=146974, wrong=71383, backtracks=47724, failedAssignments=40108, nogoods=2496, foundSolutions=27, bestBound=29
51.41/47.92 nFilterCalls=8877227, avgTableProportion=0.9981170661429194, avgTableSize=530.1329673106253
51.41/47.92
52.21/48.77 num=438, depth=3..16, filters=2485945, revisions=(2111718,useless=1221950), ccks=6414438, wck=46.316, mem=143M349
52.21/48.77 decisions=149359, wrong=72573, backtracks=48557, failedAssignments=40770, nogoods=2504, foundSolutions=27, bestBound=29
52.21/48.77 nFilterCalls=9035634, avgTableProportion=0.9981170704768568, avgTableSize=530.1342398330876
52.21/48.77
52.91/49.40 o 31
52.91/49.40 num=439, depth=3..71, filters=2516033, revisions=(2136994,useless=1236218), ccks=6490741, wck=46.949, mem=145M957
52.91/49.40 decisions=151191, wrong=73485, backtracks=49185, failedAssignments=41274, nogoods=2514, foundSolutions=28, bestBound=31
52.91/49.40 nFilterCalls=9155487, avgTableProportion=0.9981170695193462, avgTableSize=530.1339586851033
52.91/49.40
53.92/50.40 num=440, depth=2..15, filters=2565150, revisions=(2179679,useless=1261432), ccks=6612804, wck=47.945, mem=151M173
53.92/50.40 decisions=154049, wrong=74911, backtracks=50172, failedAssignments=42075, nogoods=2527, foundSolutions=28, bestBound=31
53.92/50.40 nFilterCalls=9329153, avgTableProportion=0.9981170680349777, avgTableSize=530.1335228396405
53.92/50.40
53.92/50.42 num=441, depth=4..13, filters=2565891, revisions=(2180317,useless=1261808), ccks=6614864, wck=47.964, mem=151M173
53.92/50.42 decisions=154097, wrong=74932, backtracks=50185, failedAssignments=42086, nogoods=2531, foundSolutions=28, bestBound=31
53.92/50.42 nFilterCalls=9332779, avgTableProportion=0.9981170682166549, avgTableSize=530.1335761834712
53.92/50.42
53.92/50.44 num=442, depth=4..11, filters=2566878, revisions=(2181103,useless=1262288), ccks=6617084, wck=47.981, mem=151M173
53.92/50.44 decisions=154149, wrong=74955, backtracks=50203, failedAssignments=42098, nogoods=2536, foundSolutions=28, bestBound=31
53.92/50.44 nFilterCalls=9335841, avgTableProportion=0.9981170682286901, avgTableSize=530.1335797171353
53.92/50.44
53.92/50.46 num=443, depth=3..9, filters=2567727, revisions=(2181903,useless=1262709), ccks=6619019, wck=48.0, mem=151M173
53.92/50.46 decisions=154209, wrong=74982, backtracks=50220, failedAssignments=42111, nogoods=2544, foundSolutions=28, bestBound=31
53.92/50.46 nFilterCalls=9339190, avgTableProportion=0.9981170681920922, avgTableSize=530.1335689711849
53.92/50.46
53.92/50.47 num=444, depth=2..15, filters=2568403, revisions=(2182510,useless=1263040), ccks=6620892, wck=48.016, mem=151M173
53.92/50.47 decisions=154262, wrong=75005, backtracks=50236, failedAssignments=42125, nogoods=2547, foundSolutions=28, bestBound=31
53.92/50.47 nFilterCalls=9341800, avgTableProportion=0.9981170681984306, avgTableSize=530.1335708321736
53.92/50.47
53.92/50.49 num=445, depth=1..13, filters=2569196, revisions=(2183168,useless=1263432), ccks=6622843, wck=48.04, mem=151M173
53.92/50.49 decisions=154314, wrong=75028, backtracks=50253, failedAssignments=42141, nogoods=2552, foundSolutions=28, bestBound=31
53.92/50.49 nFilterCalls=9345864, avgTableProportion=0.9981170682600784, avgTableSize=530.1335889330296
53.92/50.49
54.02/50.51 num=446, depth=5..10, filters=2570228, revisions=(2184188,useless=1263980), ccks=6625797, wck=48.058, mem=151M173
54.02/50.51 decisions=154387, wrong=75062, backtracks=50276, failedAssignments=42158, nogoods=2558, foundSolutions=28, bestBound=31
54.02/50.51 nFilterCalls=9348791, avgTableProportion=0.9981170682404011, avgTableSize=530.1335831552979
54.02/50.51
54.02/50.54 num=447, depth=2..8, filters=2571487, revisions=(2185387,useless=1264610), ccks=6629172, wck=48.086, mem=153M781
54.02/50.54 decisions=154477, wrong=75106, backtracks=50305, failedAssignments=42177, nogoods=2561, foundSolutions=28, bestBound=31
54.02/50.54 nFilterCalls=9353281, avgTableProportion=0.9981170682397504, avgTableSize=530.1335829640957
54.02/50.54
54.02/50.57 num=448, depth=4..13, filters=2572863, revisions=(2186607,useless=1265254), ccks=6633334, wck=48.113, mem=153M781
54.02/50.57 decisions=154565, wrong=75146, backtracks=50333, failedAssignments=42198, nogoods=2566, foundSolutions=28, bestBound=31
54.02/50.57 nFilterCalls=9358341, avgTableProportion=0.9981170682659795, avgTableSize=530.1335906652686
54.02/50.57
54.12/50.61 num=449, depth=3..12, filters=2574553, revisions=(2187990,useless=1266082), ccks=6637356, wck=48.151, mem=153M781
54.12/50.61 decisions=154657, wrong=75189, backtracks=50364, failedAssignments=42221, nogoods=2571, foundSolutions=28, bestBound=31
54.12/50.61 nFilterCalls=9365212, avgTableProportion=0.9981170681827376, avgTableSize=530.1335662235942
54.12/50.61
54.12/50.64 num=450, depth=4..13, filters=2575973, revisions=(2189292,useless=1266872), ccks=6641285, wck=48.181, mem=153M781
54.12/50.64 decisions=154757, wrong=75237, backtracks=50393, failedAssignments=42246, nogoods=2577, foundSolutions=28, bestBound=31
54.12/50.64 nFilterCalls=9370979, avgTableProportion=0.9981170683450945, avgTableSize=530.1336138945568
54.12/50.64
54.12/50.67 num=451, depth=1..7, filters=2577812, revisions=(2190993,useless=1267813), ccks=6645273, wck=48.217, mem=153M781
54.12/50.67 decisions=154850, wrong=75283, backtracks=50423, failedAssignments=42274, nogoods=2578, foundSolutions=28, bestBound=31
54.12/50.67 nFilterCalls=9376773, avgTableProportion=0.998117068260772, avgTableSize=530.1335891356226
54.12/50.67
54.22/50.71 num=452, depth=5..12, filters=2579718, revisions=(2192726,useless=1268814), ccks=6651305, wck=48.255, mem=153M781
54.22/50.71 decisions=154975, wrong=75343, backtracks=50470, failedAssignments=42305, nogoods=2583, foundSolutions=28, bestBound=31
54.22/50.71 nFilterCalls=9383638, avgTableProportion=0.9981170681801659, avgTableSize=530.1335654678921
54.22/50.71
54.22/50.75 num=453, depth=5..13, filters=2581588, revisions=(2194371,useless=1269767), ccks=6656426, wck=48.295, mem=153M781
54.22/50.75 decisions=155107, wrong=75406, backtracks=50516, failedAssignments=42339, nogoods=2588, foundSolutions=28, bestBound=31
54.22/50.75 nFilterCalls=9391027, avgTableProportion=0.9981170681714936, avgTableSize=530.1335629212865
54.22/50.75
54.32/50.81 num=454, depth=2..12, filters=2584019, revisions=(2196324,useless=1270900), ccks=6661397, wck=48.351, mem=153M781
54.32/50.81 decisions=155246, wrong=75474, backtracks=50568, failedAssignments=42376, nogoods=2594, foundSolutions=28, bestBound=31
54.32/50.81 nFilterCalls=9400948, avgTableProportion=0.9981170682359523, avgTableSize=530.1335818472776
54.32/50.81
54.32/50.85 num=455, depth=5..11, filters=2586449, revisions=(2198516,useless=1272059), ccks=6668363, wck=48.396, mem=153M781
54.32/50.85 decisions=155390, wrong=75543, backtracks=50608, failedAssignments=42417, nogoods=2602, foundSolutions=28, bestBound=31
54.32/50.85 nFilterCalls=9407971, avgTableProportion=0.9981170681167996, avgTableSize=530.1335468614859
54.32/50.85
54.43/50.91 num=456, depth=4..14, filters=2589396, revisions=(2200983,useless=1273478), ccks=6676268, wck=48.458, mem=153M781
54.43/50.91 decisions=155568, wrong=75628, backtracks=50669, failedAssignments=42462, nogoods=2609, foundSolutions=28, bestBound=31
54.43/50.91 nFilterCalls=9419586, avgTableProportion=0.9981170680856534, avgTableSize=530.1335377159888
54.43/50.91
54.43/50.98 num=457, depth=5..13, filters=2592433, revisions=(2203456,useless=1274903), ccks=6683637, wck=48.525, mem=156M389
54.43/50.98 decisions=155751, wrong=75717, backtracks=50728, failedAssignments=42512, nogoods=2615, foundSolutions=28, bestBound=31
54.43/50.98 nFilterCalls=9432272, avgTableProportion=0.9981170679455358, avgTableSize=530.1334965743142
54.43/50.98
54.54/51.05 num=458, depth=4..12, filters=2596164, revisions=(2206718,useless=1276760), ccks=6693429, wck=48.593, mem=156M389
54.54/51.05 decisions=155954, wrong=75816, backtracks=50794, failedAssignments=42567, nogoods=2618, foundSolutions=28, bestBound=31
54.54/51.05 nFilterCalls=9444158, avgTableProportion=0.9981170678904556, avgTableSize=530.1334804013233
54.54/51.05
54.64/51.14 num=459, depth=2..13, filters=2600388, revisions=(2210185,useless=1278871), ccks=6703556, wck=48.686, mem=156M389
54.64/51.14 decisions=156178, wrong=75926, backtracks=50859, failedAssignments=42628, nogoods=2623, foundSolutions=28, bestBound=31
54.64/51.14 nFilterCalls=9461150, avgTableProportion=0.998117068223038, avgTableSize=530.1335780534079
54.64/51.14
54.73/51.24 num=460, depth=4..15, filters=2605169, revisions=(2214041,useless=1281118), ccks=6715507, wck=48.784, mem=156M389
54.73/51.24 decisions=156446, wrong=76057, backtracks=50956, failedAssignments=42695, nogoods=2631, foundSolutions=28, bestBound=31
54.73/51.24 nFilterCalls=9479012, avgTableProportion=0.9981170682173016, avgTableSize=530.1335763685076
54.73/51.24
54.83/51.34 num=461, depth=1..11, filters=2610125, revisions=(2218245,useless=1283499), ccks=6727490, wck=48.884, mem=156M389
54.83/51.34 decisions=156702, wrong=76183, backtracks=51038, failedAssignments=42769, nogoods=2641, foundSolutions=28, bestBound=31
54.83/51.34 nFilterCalls=9495991, avgTableProportion=0.9981170684328566, avgTableSize=530.133639659094
54.83/51.34
54.93/51.45 num=462, depth=2..14, filters=2615405, revisions=(2222682,useless=1286041), ccks=6742419, wck=48.996, mem=158M997
54.93/51.45 decisions=157004, wrong=76330, backtracks=51143, failedAssignments=42850, nogoods=2648, foundSolutions=28, bestBound=31
54.93/51.45 nFilterCalls=9515271, avgTableProportion=0.9981170682379418, avgTableSize=530.1335824276576
54.93/51.45
55.03/51.55 num=463, depth=4..13, filters=2620520, revisions=(2226493,useless=1288323), ccks=6753124, wck=49.096, mem=158M997
55.03/51.55 decisions=157283, wrong=76467, backtracks=51237, failedAssignments=42939, nogoods=2652, foundSolutions=28, bestBound=31
55.03/51.55 nFilterCalls=9533900, avgTableProportion=0.9981170685131849, avgTableSize=530.1336632437932
55.03/51.55
55.13/51.68 num=464, depth=6..15, filters=2627044, revisions=(2231813,useless=1291433), ccks=6767584, wck=49.228, mem=158M997
55.13/51.68 decisions=157633, wrong=76638, backtracks=51352, failedAssignments=43037, nogoods=2661, foundSolutions=28, bestBound=31
55.13/51.68 nFilterCalls=9559218, avgTableProportion=0.9981170687190876, avgTableSize=530.1337236999931
55.13/51.68
55.33/51.81 num=465, depth=1..13, filters=2633154, revisions=(2237351,useless=1294454), ccks=6782678, wck=49.358, mem=158M997
55.33/51.81 decisions=158041, wrong=76840, backtracks=51488, failedAssignments=43145, nogoods=2666, foundSolutions=28, bestBound=31
55.33/51.81 nFilterCalls=9582791, avgTableProportion=0.9981170687229041, avgTableSize=530.133724819836
55.33/51.81
55.43/52.00 num=466, depth=3..11, filters=2640230, revisions=(2243271,useless=1297882), ccks=6800762, wck=49.533, mem=159M393
55.43/52.00 decisions=158452, wrong=77043, backtracks=51625, failedAssignments=43264, nogoods=2674, foundSolutions=28, bestBound=31
55.43/52.00 nFilterCalls=9612167, avgTableProportion=0.9981170687511464, avgTableSize=530.1337331113785
55.43/52.00
55.67/52.16 num=467, depth=2..16, filters=2647735, revisions=(2249750,useless=1301444), ccks=6821701, wck=49.705, mem=29M991
55.67/52.16 decisions=158891, wrong=77260, backtracks=51771, failedAssignments=43395, nogoods=2681, foundSolutions=28, bestBound=31
55.67/52.16 nFilterCalls=9639929, avgTableProportion=0.9981170685693073, avgTableSize=530.1336797190104
55.67/52.16
55.86/52.35 num=468, depth=1..12, filters=2656785, revisions=(2258060,useless=1306180), ccks=6845174, wck=49.891, mem=29M991
55.86/52.35 decisions=159443, wrong=77534, backtracks=51954, failedAssignments=43539, nogoods=2687, foundSolutions=28, bestBound=31
55.86/52.35 nFilterCalls=9671253, avgTableProportion=0.9981170681159536, avgTableSize=530.1335466045609
55.86/52.35
56.06/52.55 num=469, depth=5..13, filters=2666938, revisions=(2266208,useless=1310825), ccks=6869249, wck=50.094, mem=32M602
56.06/52.55 decisions=160026, wrong=77823, backtracks=52151, failedAssignments=43697, nogoods=2701, foundSolutions=28, bestBound=31
56.06/52.55 nFilterCalls=9706881, avgTableProportion=0.9981170687411928, avgTableSize=530.1337301858341
56.06/52.55
56.26/52.77 num=470, depth=3..11, filters=2677570, revisions=(2275771,useless=1316378), ccks=6894692, wck=50.316, mem=32M602
56.26/52.77 decisions=160676, wrong=78146, backtracks=52367, failedAssignments=43871, nogoods=2707, foundSolutions=28, bestBound=31
56.26/52.77 nFilterCalls=9743814, avgTableProportion=0.9981170689117481, avgTableSize=530.1337802630469
56.26/52.77
56.57/53.03 num=471, depth=2..12, filters=2688838, revisions=(2285069,useless=1321790), ccks=6923481, wck=50.573, mem=35M213
56.57/53.03 decisions=161340, wrong=78476, backtracks=52609, failedAssignments=44062, nogoods=2722, foundSolutions=28, bestBound=31
56.57/53.03 nFilterCalls=9786920, avgTableProportion=0.9981170691843236, avgTableSize=530.1338602951695
56.57/53.03
56.86/53.31 num=472, depth=2..13, filters=2702393, revisions=(2296741,useless=1328652), ccks=6957585, wck=50.857, mem=35M213
56.86/53.31 decisions=162117, wrong=78862, backtracks=52883, failedAssignments=44273, nogoods=2736, foundSolutions=28, bestBound=31
56.86/53.31 nFilterCalls=9832409, avgTableProportion=0.9981170692417686, avgTableSize=530.1338771607243
56.86/53.31
57.06/53.56 num=473, depth=4..13, filters=2714756, revisions=(2307644,useless=1334727), ccks=6991728, wck=51.104, mem=37M824
57.06/53.56 decisions=162888, wrong=79245, backtracks=53133, failedAssignments=44505, nogoods=2755, foundSolutions=28, bestBound=31
57.06/53.56 nFilterCalls=9874375, avgTableProportion=0.9981170689215969, avgTableSize=530.1337831508323
57.06/53.56
57.36/53.89 num=474, depth=2..15, filters=2730651, revisions=(2321599,useless=1342912), ccks=7034450, wck=51.438, mem=37M824
57.36/53.89 decisions=163834, wrong=79715, backtracks=53450, failedAssignments=44760, nogoods=2763, foundSolutions=28, bestBound=31
57.36/53.89 nFilterCalls=9929040, avgTableProportion=0.9981170688769233, avgTableSize=530.1337700321482
57.36/53.89
57.76/54.26 num=475, depth=1..12, filters=2748121, revisions=(2336354,useless=1351503), ccks=7080911, wck=51.806, mem=40M434
57.76/54.26 decisions=164819, wrong=80205, backtracks=53776, failedAssignments=45041, nogoods=2775, foundSolutions=28, bestBound=31
57.76/54.26 nFilterCalls=9992326, avgTableProportion=0.9981170680699025, avgTableSize=530.1335330732804
57.76/54.26
57.76/54.28 o 35
57.76/54.28 num=476, depth=5..71, filters=2749432, revisions=(2337519,useless=1352134), ccks=7084659, wck=51.829, mem=40M434
57.76/54.28 decisions=164899, wrong=80241, backtracks=53793, failedAssignments=45064, nogoods=2778, foundSolutions=29, bestBound=35
57.76/54.28 nFilterCalls=9996419, avgTableProportion=0.9981170680019161, avgTableSize=530.1335131110451
57.76/54.28
58.27/54.73 num=477, depth=1..13, filters=2769001, revisions=(2354728,useless=1362480), ccks=7132789, wck=52.27, mem=43M45
58.27/54.73 decisions=166070, wrong=80825, backtracks=54191, failedAssignments=45404, nogoods=2796, foundSolutions=29, bestBound=35
58.27/54.73 nFilterCalls=10069585, avgTableProportion=0.9981170673881764, avgTableSize=530.1333329029945
58.27/54.73
58.27/54.74 num=478, depth=4..9, filters=2769706, revisions=(2355455,useless=1362881), ccks=7134732, wck=52.282, mem=43M45
58.27/54.74 decisions=166112, wrong=80844, backtracks=54204, failedAssignments=45415, nogoods=2800, foundSolutions=29, bestBound=35
58.27/54.74 nFilterCalls=10071586, avgTableProportion=0.9981170673436079, avgTableSize=530.1333198167597
58.27/54.74
58.27/54.75 num=479, depth=4..11, filters=2770527, revisions=(2356205,useless=1363296), ccks=7137040, wck=52.3, mem=43M45
58.27/54.75 decisions=166154, wrong=80863, backtracks=54218, failedAssignments=45427, nogoods=2803, foundSolutions=29, bestBound=35
58.27/54.75 nFilterCalls=10074341, avgTableProportion=0.9981170672941508, avgTableSize=530.1333052951056
58.27/54.75
58.27/54.78 num=480, depth=4..11, filters=2771445, revisions=(2356995,useless=1363769), ccks=7139382, wck=52.321, mem=43M45
58.27/54.78 decisions=166205, wrong=80886, backtracks=54232, failedAssignments=45440, nogoods=2807, foundSolutions=29, bestBound=35
58.27/54.78 nFilterCalls=10078044, avgTableProportion=0.9981170674169484, avgTableSize=530.1333413507621
58.27/54.78
58.37/54.80 num=481, depth=2..8, filters=2772766, revisions=(2358047,useless=1364392), ccks=7141998, wck=52.348, mem=43M45
58.37/54.80 decisions=166260, wrong=80912, backtracks=54247, failedAssignments=45454, nogoods=2813, foundSolutions=29, bestBound=35
58.37/54.80 nFilterCalls=10082636, avgTableProportion=0.9981170675803346, avgTableSize=530.1333893239823
58.37/54.80
58.37/54.82 num=482, depth=5..11, filters=2773607, revisions=(2358790,useless=1364819), ccks=7144362, wck=52.365, mem=43M45
58.37/54.82 decisions=166315, wrong=80937, backtracks=54262, failedAssignments=45470, nogoods=2820, foundSolutions=29, bestBound=35
58.37/54.82 nFilterCalls=10085455, avgTableProportion=0.9981170675468952, avgTableSize=530.1333795054363
58.37/54.82
58.37/54.84 num=483, depth=6..13, filters=2774624, revisions=(2359744,useless=1365356), ccks=7147354, wck=52.387, mem=43M45
58.37/54.84 decisions=166385, wrong=80969, backtracks=54284, failedAssignments=45487, nogoods=2822, foundSolutions=29, bestBound=35
58.37/54.84 nFilterCalls=10089334, avgTableProportion=0.9981170675616203, avgTableSize=530.1333838289029
58.37/54.84
58.37/54.86 num=484, depth=4..10, filters=2775665, revisions=(2360794,useless=1365931), ccks=7150129, wck=52.409, mem=43M45
58.37/54.86 decisions=166454, wrong=81001, backtracks=54304, failedAssignments=45506, nogoods=2825, foundSolutions=29, bestBound=35
58.37/54.86 nFilterCalls=10092767, avgTableProportion=0.9981170674310603, avgTableSize=530.1333454938572
58.37/54.86
58.47/54.90 num=485, depth=4..11, filters=2777116, revisions=(2362101,useless=1366705), ccks=7153655, wck=52.443, mem=43M45
58.47/54.90 decisions=166537, wrong=81039, backtracks=54326, failedAssignments=45527, nogoods=2833, foundSolutions=29, bestBound=35
58.47/54.90 nFilterCalls=10098026, avgTableProportion=0.9981170674444626, avgTableSize=530.1333494288883
58.47/54.90
58.47/54.94 num=486, depth=6..12, filters=2778721, revisions=(2363276,useless=1367433), ccks=7156971, wck=52.487, mem=45M656
58.47/54.94 decisions=166635, wrong=81085, backtracks=54360, failedAssignments=45550, nogoods=2836, foundSolutions=29, bestBound=35
58.47/54.94 nFilterCalls=10106154, avgTableProportion=0.9981170674782092, avgTableSize=530.1333593372909
58.47/54.94
58.47/54.97 num=487, depth=2..13, filters=2780241, revisions=(2364681,useless=1368261), ccks=7160972, wck=52.52, mem=45M656
58.47/54.97 decisions=166724, wrong=81126, backtracks=54387, failedAssignments=45575, nogoods=2841, foundSolutions=29, bestBound=35
58.47/54.97 nFilterCalls=10111526, avgTableProportion=0.9981170674565163, avgTableSize=530.1333529676925
58.47/54.97
58.58/55.01 num=488, depth=5..13, filters=2781970, revisions=(2366148,useless=1369117), ccks=7165069, wck=52.56, mem=45M656
58.58/55.01 decisions=166838, wrong=81180, backtracks=54431, failedAssignments=45603, nogoods=2846, foundSolutions=29, bestBound=35
58.58/55.01 nFilterCalls=10119211, avgTableProportion=0.9981170674734067, avgTableSize=530.1333579268186
58.58/55.01
58.58/55.05 num=489, depth=2..12, filters=2783798, revisions=(2367774,useless=1370037), ccks=7170476, wck=52.597, mem=45M656
58.58/55.05 decisions=166958, wrong=81237, backtracks=54468, failedAssignments=45634, nogoods=2851, foundSolutions=29, bestBound=35
58.58/55.05 nFilterCalls=10125199, avgTableProportion=0.9981170676044058, avgTableSize=530.1333963905302
58.58/55.05
58.58/55.10 num=490, depth=4..12, filters=2785763, revisions=(2369287,useless=1370922), ccks=7174995, wck=52.642, mem=45M656
58.58/55.10 decisions=167066, wrong=81288, backtracks=54502, failedAssignments=45668, nogoods=2857, foundSolutions=29, bestBound=35
58.58/55.10 nFilterCalls=10133599, avgTableProportion=0.9981170675907851, avgTableSize=530.1333923909955
58.58/55.10
58.68/55.14 num=491, depth=3..9, filters=2787880, revisions=(2371305,useless=1372143), ccks=7180863, wck=52.689, mem=45M656
58.68/55.14 decisions=167206, wrong=81356, backtracks=54544, failedAssignments=45705, nogoods=2864, foundSolutions=29, bestBound=35
58.68/55.14 nFilterCalls=10140771, avgTableProportion=0.9981170675206974, avgTableSize=530.1333718116699
58.68/55.14
58.77/55.20 num=492, depth=3..9, filters=2790438, revisions=(2373468,useless=1373504), ccks=7186700, wck=52.742, mem=45M656
58.77/55.20 decisions=167347, wrong=81423, backtracks=54587, failedAssignments=45746, nogoods=2868, foundSolutions=29, bestBound=35
58.77/55.20 nFilterCalls=10150147, avgTableProportion=0.9981170678607689, avgTableSize=530.1334716630213
58.77/55.20
58.77/55.25 num=493, depth=3..11, filters=2792860, revisions=(2375572,useless=1374696), ccks=7193803, wck=52.799, mem=45M656
58.77/55.25 decisions=167503, wrong=81499, backtracks=54637, failedAssignments=45791, nogoods=2872, foundSolutions=29, bestBound=35
58.77/55.25 nFilterCalls=10160272, avgTableProportion=0.9981170677466661, avgTableSize=530.1334381599232
58.77/55.25
58.87/55.31 num=494, depth=3..11, filters=2795742, revisions=(2378093,useless=1376119), ccks=7200932, wck=52.856, mem=45M656
58.87/55.31 decisions=167664, wrong=81576, backtracks=54688, failedAssignments=45841, nogoods=2880, foundSolutions=29, bestBound=35
58.87/55.31 nFilterCalls=10170177, avgTableProportion=0.9981170676439584, avgTableSize=530.1334080026336
58.87/55.31
58.87/55.37 num=495, depth=2..11, filters=2798704, revisions=(2380766,useless=1377639), ccks=7209042, wck=52.919, mem=45M656
58.87/55.37 decisions=167862, wrong=81672, backtracks=54748, failedAssignments=45896, nogoods=2889, foundSolutions=29, bestBound=35
58.87/55.37 nFilterCalls=10180789, avgTableProportion=0.9981170677149712, avgTableSize=530.1334288531076
58.87/55.37
58.97/55.45 num=496, depth=5..11, filters=2802283, revisions=(2383974,useless=1379465), ccks=7220103, wck=52.99, mem=48M267
58.97/55.45 decisions=168084, wrong=81779, backtracks=54817, failedAssignments=45957, nogoods=2895, foundSolutions=29, bestBound=35
58.97/55.45 nFilterCalls=10193435, avgTableProportion=0.9981170674726259, avgTableSize=530.1333576954187
58.97/55.45
59.07/55.54 num=497, depth=2..11, filters=2806431, revisions=(2387859,useless=1381669), ccks=7231215, wck=53.085, mem=48M267
59.07/55.54 decisions=168322, wrong=81895, backtracks=54902, failedAssignments=46024, nogoods=2902, foundSolutions=29, bestBound=35
59.07/55.54 nFilterCalls=10208421, avgTableProportion=0.9981170672989768, avgTableSize=530.1333067082559
59.07/55.54
59.17/55.66 num=498, depth=3..11, filters=2811364, revisions=(2391953,useless=1384111), ccks=7243218, wck=53.202, mem=48M267
59.17/55.66 decisions=168596, wrong=82030, backtracks=54992, failedAssignments=46098, nogoods=2911, foundSolutions=29, bestBound=35
59.17/55.66 nFilterCalls=10228794, avgTableProportion=0.9981170673706123, avgTableSize=530.1333277412763
59.17/55.66
59.27/55.76 num=499, depth=4..13, filters=2815866, revisions=(2395879,useless=1386402), ccks=7256374, wck=53.301, mem=48M267
59.27/55.76 decisions=168880, wrong=82169, backtracks=55082, failedAssignments=46179, nogoods=2916, foundSolutions=29, bestBound=35
59.27/55.76 nFilterCalls=10245888, avgTableProportion=0.9981170674088057, avgTableSize=530.1333389551008
59.27/55.76
59.37/55.88 num=500, depth=2..11, filters=2821181, revisions=(2400487,useless=1389238), ccks=7269200, wck=53.425, mem=48M267
59.37/55.88 decisions=169190, wrong=82321, backtracks=55194, failedAssignments=46268, nogoods=2923, foundSolutions=29, bestBound=35
59.37/55.88 nFilterCalls=10266851, avgTableProportion=0.9981170676880587, avgTableSize=530.1334209486433
59.37/55.88
59.58/56.02 num=501, depth=1..11, filters=2827963, revisions=(2406383,useless=1392667), ccks=7285723, wck=53.566, mem=50M878
59.58/56.02 decisions=169526, wrong=82486, backtracks=55295, failedAssignments=46366, nogoods=2926, foundSolutions=29, bestBound=35
59.58/56.02 nFilterCalls=10290161, avgTableProportion=0.9981170674907869, avgTableSize=530.1333630251266
59.58/56.02
59.68/56.16 num=502, depth=1..10, filters=2834793, revisions=(2412740,useless=1396268), ccks=7305137, wck=53.702, mem=50M878
59.68/56.16 decisions=169937, wrong=82690, backtracks=55430, failedAssignments=46474, nogoods=2932, foundSolutions=29, bestBound=35
59.68/56.16 nFilterCalls=10310857, avgTableProportion=0.9981170671472406, avgTableSize=530.1332621526998
59.68/56.16
59.87/56.30 num=503, depth=2..12, filters=2841836, revisions=(2418886,useless=1400092), ccks=7322066, wck=53.849, mem=50M878
59.87/56.30 decisions=170342, wrong=82890, backtracks=55570, failedAssignments=46593, nogoods=2939, foundSolutions=29, bestBound=35
59.87/56.30 nFilterCalls=10335627, avgTableProportion=0.9981170673637677, avgTableSize=530.1333257285697
59.87/56.30
59.97/56.45 num=504, depth=4..14, filters=2849892, revisions=(2425841,useless=1404179), ccks=7342766, wck=53.999, mem=53M489
59.97/56.45 decisions=170772, wrong=83100, backtracks=55703, failedAssignments=46724, nogoods=2945, foundSolutions=29, bestBound=35
59.97/56.45 nFilterCalls=10361877, avgTableProportion=0.9981170670989176, avgTableSize=530.1332479627002
59.97/56.45
60.17/56.67 num=505, depth=2..12, filters=2859318, revisions=(2433288,useless=1408806), ccks=7364356, wck=54.216, mem=53M489
60.17/56.67 decisions=171263, wrong=83343, backtracks=55855, failedAssignments=46868, nogoods=2953, foundSolutions=29, bestBound=35
60.17/56.67 nFilterCalls=10398979, avgTableProportion=0.9981170670603515, avgTableSize=530.133236637943
60.17/56.67
60.37/56.88 num=506, depth=3..11, filters=2869967, revisions=(2442762,useless=1414219), ccks=7391308, wck=54.421, mem=53M489
60.37/56.88 decisions=171823, wrong=83620, backtracks=56034, failedAssignments=47026, nogoods=2966, foundSolutions=29, bestBound=35
60.37/56.88 nFilterCalls=10432203, avgTableProportion=0.998117066576317, avgTableSize=530.1330945151278
60.37/56.88
60.68/57.12 num=507, depth=1..8, filters=2880611, revisions=(2452257,useless=1419860), ccks=7417088, wck=54.661, mem=56M99
60.68/57.12 decisions=172417, wrong=83915, backtracks=56214, failedAssignments=47200, nogoods=2972, foundSolutions=29, bestBound=35
60.68/57.12 nFilterCalls=10470727, avgTableProportion=0.9981170665700322, avgTableSize=530.1330926687325
60.68/57.12
60.87/57.38 num=508, depth=3..16, filters=2893319, revisions=(2461755,useless=1425496), ccks=7448095, wck=54.923, mem=56M99
60.87/57.38 decisions=173095, wrong=84251, backtracks=56433, failedAssignments=47391, nogoods=2984, foundSolutions=29, bestBound=35
60.87/57.38 nFilterCalls=10517654, avgTableProportion=0.9981170671254951, avgTableSize=530.133255762169
60.87/57.38
61.17/57.67 num=509, depth=1..11, filters=2906831, revisions=(2473304,useless=1431994), ccks=7486072, wck=55.211, mem=58M710
61.17/57.67 decisions=173910, wrong=84655, backtracks=56704, failedAssignments=47602, nogoods=2993, foundSolutions=29, bestBound=35
61.17/57.67 nFilterCalls=10564482, avgTableProportion=0.9981170666057916, avgTableSize=530.1331031658722
61.17/57.67
61.47/57.95 num=510, depth=1..10, filters=2920309, revisions=(2485482,useless=1439076), ccks=7520553, wck=55.495, mem=58M710
61.47/57.95 decisions=174686, wrong=85041, backtracks=56967, failedAssignments=47834, nogoods=2999, foundSolutions=29, bestBound=35
61.47/57.95 nFilterCalls=10609821, avgTableProportion=0.998117066139135, avgTableSize=530.1329661452347
61.47/57.95
61.87/58.31 num=511, depth=1..15, filters=2936739, revisions=(2498913,useless=1447051), ccks=7560747, wck=55.859, mem=61M321
61.87/58.31 decisions=175589, wrong=85491, backtracks=57274, failedAssignments=48089, nogoods=3007, foundSolutions=29, bestBound=35
61.87/58.31 nFilterCalls=10669582, avgTableProportion=0.9981170666514014, avgTableSize=530.1331165550815
61.87/58.31
62.28/58.72 num=512, depth=3..12, filters=2956360, revisions=(2515696,useless=1456644), ccks=7618018, wck=56.262, mem=63M932
62.28/58.72 decisions=176601, wrong=85994, backtracks=57609, failedAssignments=48370, nogoods=3014, foundSolutions=29, bestBound=35
62.28/58.72 nFilterCalls=10736791, avgTableProportion=0.9981170659270272, avgTableSize=530.1329038629885
62.28/58.72
62.69/59.13 num=513, depth=1..12, filters=2975493, revisions=(2531905,useless=1465923), ccks=7670987, wck=56.672, mem=66M543
62.69/59.13 decisions=177703, wrong=86544, backtracks=57974, failedAssignments=48679, nogoods=3026, foundSolutions=29, bestBound=35
62.69/59.13 nFilterCalls=10806794, avgTableProportion=0.9981170663396699, avgTableSize=530.1330250211117
62.69/59.13
63.18/59.65 num=514, depth=1..11, filters=2998045, revisions=(2550448,useless=1476960), ccks=7725424, wck=57.193, mem=69M154
63.18/59.65 decisions=178956, wrong=87168, backtracks=58410, failedAssignments=49019, nogoods=3038, foundSolutions=29, bestBound=35
63.18/59.65 nFilterCalls=10890797, avgTableProportion=0.9981170663792358, avgTableSize=530.1330366363453
63.18/59.65
63.78/60.22 num=515, depth=0..14, filters=3022028, revisions=(2570431,useless=1488957), ccks=7784546, wck=57.761, mem=71M764
63.78/60.22 decisions=180292, wrong=87833, backtracks=58865, failedAssignments=49393, nogoods=3047, foundSolutions=29, bestBound=35
63.78/60.22 nFilterCalls=10981865, avgTableProportion=0.9981170659527013, avgTableSize=530.1329113952867
63.78/60.22
64.28/60.73 num=516, depth=3..13, filters=3047758, revisions=(2592404,useless=1501954), ccks=7850350, wck=58.275, mem=74M375
64.28/60.73 decisions=181780, wrong=88574, backtracks=59371, failedAssignments=49804, nogoods=3063, foundSolutions=29, bestBound=35
64.28/60.73 nFilterCalls=11067146, avgTableProportion=0.9981170665756243, avgTableSize=530.1330942954941
64.28/60.73
64.88/61.39 num=517, depth=2..13, filters=3077366, revisions=(2616803,useless=1516752), ccks=7917872, wck=58.936, mem=76M986
64.88/61.39 decisions=183388, wrong=89376, backtracks=59941, failedAssignments=50256, nogoods=3076, foundSolutions=29, bestBound=35
64.88/61.39 nFilterCalls=11178260, avgTableProportion=0.9981170661446238, avgTableSize=530.1329677427435
64.88/61.39
65.69/62.13 num=518, depth=0..12, filters=3110575, revisions=(2644667,useless=1533649), ccks=7995774, wck=59.679, mem=79M597
65.69/62.13 decisions=185186, wrong=90273, backtracks=60586, failedAssignments=50753, nogoods=3084, foundSolutions=29, bestBound=35
65.69/62.13 nFilterCalls=11295728, avgTableProportion=0.9981170662075115, avgTableSize=530.1329862050503
65.69/62.13
66.48/62.98 num=519, depth=1..13, filters=3146752, revisions=(2675037,useless=1552799), ccks=8081431, wck=60.523, mem=82M208
66.48/62.98 decisions=187181, wrong=91267, backtracks=61296, failedAssignments=51300, nogoods=3097, foundSolutions=29, bestBound=35
66.48/62.98 nFilterCalls=11434836, avgTableProportion=0.9981170656930175, avgTableSize=530.13283513642
66.48/62.98
67.48/63.96 num=520, depth=1..12, filters=3188113, revisions=(2708097,useless=1573418), ccks=8175648, wck=61.501, mem=87M429
67.48/63.96 decisions=189454, wrong=92401, backtracks=62068, failedAssignments=51902, nogoods=3110, foundSolutions=29, bestBound=35
67.48/63.96 nFilterCalls=11595559, avgTableProportion=0.9981170646401671, avgTableSize=530.1325259955125
67.48/63.96
68.48/65.00 num=521, depth=1..14, filters=3234113, revisions=(2744149,useless=1596468), ccks=8277673, wck=62.547, mem=92M651
68.48/65.00 decisions=191785, wrong=93566, backtracks=62894, failedAssignments=52564, nogoods=3116, foundSolutions=29, bestBound=35
68.48/65.00 nFilterCalls=11766939, avgTableProportion=0.9981170656114366, avgTableSize=530.1328111754467
68.48/65.00
69.59/66.06 num=522, depth=0..14, filters=3282705, revisions=(2784419,useless=1621686), ccks=8389469, wck=63.604, mem=97M873
69.59/66.06 decisions=194357, wrong=94850, backtracks=63803, failedAssignments=53292, nogoods=3121, foundSolutions=29, bestBound=35
69.59/66.06 nFilterCalls=11936414, avgTableProportion=0.998117066574945, avgTableSize=530.1330940766633
69.59/66.06
70.78/67.25 num=523, depth=0..13, filters=3336587, revisions=(2828761,useless=1650042), ccks=8510993, wck=64.796, mem=103M94
70.78/67.25 decisions=197262, wrong=96301, backtracks=64860, failedAssignments=54093, nogoods=3128, foundSolutions=29, bestBound=35
70.78/67.25 nFilterCalls=12125818, avgTableProportion=0.9981170671736167, avgTableSize=530.1332698544544
70.78/67.25
72.18/68.62 num=524, depth=0..12, filters=3403395, revisions=(2879873,useless=1683894), ccks=8640744, wck=66.168, mem=108M316
72.18/68.62 decisions=200417, wrong=97876, backtracks=65985, failedAssignments=54974, nogoods=3136, foundSolutions=29, bestBound=35
72.18/68.62 nFilterCalls=12349919, avgTableProportion=0.998117069384526, avgTableSize=530.1339190159871
72.18/68.62
73.48/69.92
73.48/69.92 New Bounds: 36..35
73.48/69.92 num=525, depth=0..14, filters=3466653, revisions=(2929026,useless=1717104), ccks=8757752, wck=67.47, mem=113M538
73.48/69.92 decisions=203385, wrong=99361, backtracks=67108, failedAssignments=55802, foundSolutions=29, bestBound=35
73.48/69.92 nFilterCalls=12553261, avgTableProportion=0.998117070756976, avgTableSize=530.1343219901188
73.48/69.92
73.48/69.92 Global
73.48/69.92 filters=3466653, revisions=(2929026,useless=1717104), ccks=8757752
73.48/69.92 Stop=FULL_EXPLORATION, wrong=99361, bestBound=35, bestBoundWck=52.431, bestBoundCpu=54.196, foundSolutions=29, firstSolCpu=2.452
73.48/69.92 wck=68.072, cpu=69.834, mem=113M538
73.48/69.93
73.48/69.93 v <instantiation id='sol29' type='solution' cost='35'> <list> s[] p[] g[] </list> <values> 6 0 1 -1 -1 -1 12 -1 2 8 9 10 18 -1 -1 -1 -1 11 19 20 21 22 23 17 0 15 14 -1 -1 -1 1 -1 13 12 11 10 2 -1 -1 -1 -1 9 3 4 5 6 7 8 3 -5 7 0 0 0 1 0 6 8 -3 4 4 0 0 0 0 0 -3 9 -3 0 5 2 </values> </instantiation>
73.48/69.93 s OPTIMUM FOUND
73.48/69.93
73.48/69.93 d WRONG_DECISIONS 99361
73.48/69.93 d NUMBER_SOLUTIONS 29