2.61/1.91
2.61/1.91 AbsCon 2
2.61/1.92
3.47/2.22 Instance
3.47/2.22 name=instance-4390955-1568383090, framework=COP, bounds=-infty..+infty
3.47/2.22
3.47/2.22 Loading variables...
3.47/2.26 Loading constraints...
4.02/2.46
4.02/2.46 Domains
4.02/2.46 nTypes=24, nValues=1308, sizes=[4#12,5#12,25#48]
4.02/2.46 Variables
4.02/2.46 count=72, degrees=[2#24,25#23,26#1,27#24]
4.02/2.46 Objectives
4.02/2.46 way=max, type=SumSimpleGE
4.02/2.46 Constraints
4.02/2.46 count=98, nSpecific=49, arities=[1#1,2#48,24#25,25#24]
4.02/2.46 distribution=[AtMost1#24,CtrExtensionCT-Table#24,CtrExtensionV-Bits#24,CtrIntension#25,SumSimpleGE#1]
4.02/2.46 tables=[530#23,554#1], nTotalTuples=12744
4.02/2.46 nExtStructures=(48,shared:0), nIntStructures=(2,shared:23), nCftStructures=(25,shared:23,unbuilt:50)
4.02/2.46 wck=0.587, cpu=2.425, mem=82M59
4.02/2.47 Solver SolverBacktrack being built...
4.02/2.47
4.02/2.49
4.02/2.49 Solver
4.02/2.49 guaranteedGAC=true
4.02/2.49 wck=0.615, cpu=2.452, mem=95M346
4.34/2.50
4.34/2.50 Preprocessing
4.34/2.50 filters=26, revisions=(49,useless=46), ccks=698, nACremovedValues=49, nTotalRemovedValues=49, inconcistency=false
4.34/2.50 wck=0.007, cpu=2.46, mem=95M346
4.34/2.50
4.34/2.52 o -1000
4.34/2.53 num=0, depth=73..71, filters=354, revisions=(647,useless=570), ccks=1349, wck=0.034, mem=95M346
4.34/2.53 decisions=23, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.34/2.53 nFilterCalls=624, avgTableProportion=0.9981166133097205, avgTableSize=530.0
4.34/2.53
4.34/2.55 num=1, depth=13..21, filters=912, revisions=(1213,useless=885), ccks=3217, wck=0.057, mem=95M346
4.34/2.55 decisions=74, wrong=19, backtracks=9, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.34/2.55 nFilterCalls=3014, avgTableProportion=0.9981165974900318, avgTableSize=529.9953550099535
4.34/2.55
4.34/2.56 num=2, depth=17..19, filters=1207, revisions=(1531,useless=1069), ccks=3918, wck=0.068, mem=95M346
4.34/2.56 decisions=119, wrong=33, backtracks=12, failedAssignments=22, nogoods=12, foundSolutions=1, bestBound=-1000
4.34/2.56 nFilterCalls=4561, avgTableProportion=0.9981167559321511, avgTableSize=530.0418767814076
4.34/2.56
4.34/2.59 num=3, depth=10..17, filters=1949, revisions=(2194,useless=1414), ccks=5993, wck=0.101, mem=95M346
4.34/2.59 decisions=184, wrong=59, backtracks=26, failedAssignments=34, nogoods=14, foundSolutions=1, bestBound=-1000
4.34/2.59 nFilterCalls=7703, avgTableProportion=0.9981169002551253, avgTableSize=530.084252888485
4.34/2.59
4.65/2.61 num=4, depth=11..17, filters=2535, revisions=(2689,useless=1681), ccks=7376, wck=0.122, mem=95M346
4.65/2.61 decisions=234, wrong=76, backtracks=30, failedAssignments=47, nogoods=27, foundSolutions=1, bestBound=-1000
4.65/2.61 nFilterCalls=10804, avgTableProportion=0.9981170811133352, avgTableSize=530.1373565346169
4.65/2.61
4.65/2.64 num=5, depth=13..20, filters=3535, revisions=(3475,useless=2150), ccks=10342, wck=0.151, mem=95M346
4.65/2.64 decisions=304, wrong=104, backtracks=49, failedAssignments=61, nogoods=30, foundSolutions=1, bestBound=-1000
4.65/2.64 nFilterCalls=15345, avgTableProportion=0.9981169895080019, avgTableSize=530.1104594330401
4.65/2.64
4.65/2.68 num=6, depth=9..14, filters=4497, revisions=(4277,useless=2604), ccks=13312, wck=0.19, mem=95M346
4.65/2.68 decisions=364, wrong=129, backtracks=62, failedAssignments=77, nogoods=34, foundSolutions=1, bestBound=-1000
4.65/2.68 nFilterCalls=19185, avgTableProportion=0.9981169355122733, avgTableSize=530.0946051602815
4.65/2.68
4.97/2.71 num=7, depth=10..18, filters=5494, revisions=(5155,useless=3094), ccks=17119, wck=0.214, mem=95M346
4.97/2.71 decisions=446, wrong=162, backtracks=81, failedAssignments=94, nogoods=36, foundSolutions=1, bestBound=-1000
4.97/2.71 nFilterCalls=22991, avgTableProportion=0.9981169049867714, avgTableSize=530.0856422078205
4.97/2.71
4.97/2.73 num=8, depth=13..19, filters=6601, revisions=(6168,useless=3702), ccks=21397, wck=0.238, mem=95M346
4.97/2.73 decisions=537, wrong=200, backtracks=106, failedAssignments=113, nogoods=41, foundSolutions=1, bestBound=-1000
4.97/2.73 nFilterCalls=27512, avgTableProportion=0.9981168915940758, avgTableSize=530.0817097993603
4.97/2.73
4.97/2.74 o -998
4.97/2.74 num=9, depth=15..71, filters=7121, revisions=(6685,useless=3992), ccks=23185, wck=0.248, mem=95M346
4.97/2.74 decisions=585, wrong=215, backtracks=116, failedAssignments=121, nogoods=45, foundSolutions=2, bestBound=-998
4.97/2.74 nFilterCalls=29495, avgTableProportion=0.9981168960938996, avgTableSize=530.0830310222071
4.97/2.74
4.97/2.77 num=10, depth=11..15, filters=8283, revisions=(7800,useless=4665), ccks=26082, wck=0.274, mem=97M988
4.97/2.77 decisions=660, wrong=247, backtracks=133, failedAssignments=144, nogoods=51, foundSolutions=2, bestBound=-998
4.97/2.77 nFilterCalls=33858, avgTableProportion=0.9981168842984154, avgTableSize=530.0795676058834
4.97/2.77
4.97/2.78 num=11, depth=14..19, filters=9212, revisions=(8528,useless=5111), ccks=28471, wck=0.292, mem=97M988
4.97/2.78 decisions=721, wrong=270, backtracks=147, failedAssignments=155, nogoods=55, foundSolutions=2, bestBound=-998
4.97/2.78 nFilterCalls=38663, avgTableProportion=0.9981169622283266, avgTableSize=530.1024493701989
4.97/2.78
4.97/2.79 num=12, depth=16..20, filters=9698, revisions=(9006,useless=5383), ccks=30113, wck=0.3, mem=97M988
4.97/2.79 decisions=776, wrong=289, backtracks=157, failedAssignments=167, nogoods=58, foundSolutions=2, bestBound=-998
4.97/2.79 nFilterCalls=40697, avgTableProportion=0.9981169593510596, avgTableSize=530.1016045408752
4.97/2.79
5.29/2.80 num=13, depth=16..21, filters=10542, revisions=(9716,useless=5835), ccks=32806, wck=0.312, mem=97M988
5.29/2.80 decisions=844, wrong=315, backtracks=173, failedAssignments=180, nogoods=61, foundSolutions=2, bestBound=-998
5.29/2.80 nFilterCalls=44736, avgTableProportion=0.9981169421928057, avgTableSize=530.0965665236051
5.29/2.80
5.29/2.82 num=14, depth=14..19, filters=11355, revisions=(10420,useless=6209), ccks=35634, wck=0.328, mem=97M988
5.29/2.82 decisions=904, wrong=338, backtracks=187, failedAssignments=194, nogoods=64, foundSolutions=2, bestBound=-998
5.29/2.82 nFilterCalls=48078, avgTableProportion=0.9981169444082749, avgTableSize=530.0972170223387
5.29/2.82
5.29/2.84 num=15, depth=13..21, filters=12404, revisions=(11344,useless=6722), ccks=38930, wck=0.346, mem=97M988
5.29/2.84 decisions=985, wrong=372, backtracks=208, failedAssignments=210, nogoods=67, foundSolutions=2, bestBound=-998
5.29/2.84 nFilterCalls=52155, avgTableProportion=0.998116932826959, avgTableSize=530.0938165084843
5.29/2.84
5.29/2.85 num=16, depth=12..16, filters=13271, revisions=(12161,useless=7195), ccks=41389, wck=0.361, mem=97M988
5.29/2.85 decisions=1053, wrong=400, backtracks=222, failedAssignments=227, nogoods=71, foundSolutions=2, bestBound=-998
5.29/2.85 nFilterCalls=55233, avgTableProportion=0.9981169205706458, avgTableSize=530.0902178045734
5.29/2.85
5.29/2.86 num=17, depth=16..22, filters=14202, revisions=(12970,useless=7668), ccks=44375, wck=0.372, mem=97M988
5.29/2.86 decisions=1138, wrong=434, backtracks=242, failedAssignments=246, nogoods=74, foundSolutions=2, bestBound=-998
5.29/2.86 nFilterCalls=59069, avgTableProportion=0.9981169589661111, avgTableSize=530.1014914760704
5.29/2.86
5.29/2.88 num=18, depth=12..20, filters=15316, revisions=(13952,useless=8247), ccks=47216, wck=0.391, mem=97M988
5.29/2.88 decisions=1218, wrong=467, backtracks=262, failedAssignments=267, nogoods=80, foundSolutions=2, bestBound=-998
5.29/2.88 nFilterCalls=63181, avgTableProportion=0.9981169502695003, avgTableSize=530.0989379718586
5.29/2.88
5.56/2.90 num=19, depth=13..20, filters=16263, revisions=(14857,useless=8783), ccks=50135, wck=0.408, mem=97M988
5.56/2.90 decisions=1301, wrong=502, backtracks=286, failedAssignments=290, nogoods=84, foundSolutions=2, bestBound=-998
5.56/2.90 nFilterCalls=67297, avgTableProportion=0.9981169484866643, avgTableSize=530.0984144909877
5.56/2.90
5.56/2.92 num=20, depth=13..20, filters=17812, revisions=(16139,useless=9521), ccks=54371, wck=0.426, mem=97M988
5.56/2.92 decisions=1410, wrong=550, backtracks=314, failedAssignments=315, nogoods=90, foundSolutions=2, bestBound=-998
5.56/2.92 nFilterCalls=72201, avgTableProportion=0.9981169389287596, avgTableSize=530.0956080940707
5.56/2.92
5.56/2.94 num=21, depth=13..21, filters=19516, revisions=(17504,useless=10362), ccks=59057, wck=0.451, mem=97M988
5.56/2.94 decisions=1520, wrong=597, backtracks=343, failedAssignments=343, nogoods=93, foundSolutions=2, bestBound=-998
5.56/2.94 nFilterCalls=79972, avgTableProportion=0.998116928964695, avgTableSize=530.0926824388536
5.56/2.94
5.56/2.96 o -997
5.56/2.96 num=22, depth=14..71, filters=21059, revisions=(18754,useless=11096), ccks=63455, wck=0.47, mem=97M988
5.56/2.96 decisions=1645, wrong=652, backtracks=380, failedAssignments=373, nogoods=100, foundSolutions=3, bestBound=-997
5.56/2.96 nFilterCalls=87209, avgTableProportion=0.9981169341297355, avgTableSize=530.0941989932231
5.56/2.96
5.56/2.98 num=23, depth=12..21, filters=22802, revisions=(20270,useless=11946), ccks=68563, wck=0.492, mem=97M988
5.56/2.98 decisions=1777, wrong=712, backtracks=414, failedAssignments=407, nogoods=103, foundSolutions=3, bestBound=-997
5.56/2.98 nFilterCalls=93794, avgTableProportion=0.9981169417804817, avgTableSize=530.0964454016248
5.56/2.98
5.56/3.00 num=24, depth=11..17, filters=23520, revisions=(20955,useless=12340), ccks=70716, wck=0.505, mem=100M631
5.56/3.00 decisions=1831, wrong=733, backtracks=430, failedAssignments=418, nogoods=105, foundSolutions=3, bestBound=-997
5.56/3.00 nFilterCalls=97145, avgTableProportion=0.9981169332897097, avgTableSize=530.0939523392866
5.56/3.00
5.56/3.01 num=25, depth=14..18, filters=24073, revisions=(21500,useless=12648), ccks=72308, wck=0.514, mem=100M631
5.56/3.01 decisions=1883, wrong=752, backtracks=437, failedAssignments=430, nogoods=108, foundSolutions=3, bestBound=-997
5.56/3.01 nFilterCalls=99113, avgTableProportion=0.9981169269361636, avgTableSize=530.0920868100047
5.56/3.01
5.77/3.02 num=26, depth=12..16, filters=24656, revisions=(22098,useless=12975), ccks=74222, wck=0.524, mem=100M631
5.77/3.02 decisions=1933, wrong=771, backtracks=446, failedAssignments=443, nogoods=113, foundSolutions=3, bestBound=-997
5.77/3.02 nFilterCalls=101218, avgTableProportion=0.9981169230719623, avgTableSize=530.0909522021775
5.77/3.02
5.77/3.03 num=27, depth=13..18, filters=25414, revisions=(22790,useless=13378), ccks=76354, wck=0.534, mem=100M631
5.77/3.03 decisions=1991, wrong=793, backtracks=454, failedAssignments=457, nogoods=115, foundSolutions=3, bestBound=-997
5.77/3.03 nFilterCalls=104101, avgTableProportion=0.9981169198914799, avgTableSize=530.0900183475663
5.77/3.03
5.77/3.04 num=28, depth=13..19, filters=26221, revisions=(23566,useless=13786), ccks=79121, wck=0.544, mem=100M631
5.77/3.04 decisions=2060, wrong=819, backtracks=468, failedAssignments=473, nogoods=117, foundSolutions=3, bestBound=-997
5.77/3.04 nFilterCalls=106395, avgTableProportion=0.998116915906103, avgTableSize=530.0888481601579
5.77/3.04
5.77/3.04 o -994
5.77/3.04 num=29, depth=18..71, filters=26615, revisions=(23959,useless=14013), ccks=80392, wck=0.55, mem=100M631
5.77/3.04 decisions=2102, wrong=830, backtracks=473, failedAssignments=481, nogoods=123, foundSolutions=4, bestBound=-994
5.77/3.04 nFilterCalls=107975, avgTableProportion=0.998116915389442, avgTableSize=530.0886964575133
5.77/3.04
5.77/3.06 num=30, depth=12..16, filters=27861, revisions=(25065,useless=14649), ccks=83859, wck=0.571, mem=100M631
5.77/3.06 decisions=2186, wrong=866, backtracks=494, failedAssignments=500, nogoods=129, foundSolutions=4, bestBound=-994
5.77/3.06 nFilterCalls=113298, avgTableProportion=0.9981169078403895, avgTableSize=530.0864799025578
5.77/3.06
5.77/3.07 num=31, depth=15..20, filters=28573, revisions=(25660,useless=15012), ccks=85872, wck=0.58, mem=100M631
5.77/3.07 decisions=2241, wrong=885, backtracks=504, failedAssignments=511, nogoods=134, foundSolutions=4, bestBound=-994
5.77/3.07 nFilterCalls=116996, avgTableProportion=0.99811691244553, avgTableSize=530.0878320626347
5.77/3.07
5.77/3.08 o -990
5.77/3.08 num=32, depth=18..71, filters=28785, revisions=(25907,useless=15159), ccks=86565, wck=0.584, mem=100M631
5.77/3.08 decisions=2265, wrong=888, backtracks=504, failedAssignments=514, nogoods=137, foundSolutions=5, bestBound=-990
5.77/3.08 nFilterCalls=117772, avgTableProportion=0.9981169116312595, avgTableSize=530.0875929762592
5.77/3.08
5.77/3.09 num=33, depth=8..14, filters=29520, revisions=(26688,useless=15592), ccks=88432, wck=0.599, mem=100M631
5.77/3.09 decisions=2321, wrong=911, backtracks=517, failedAssignments=527, nogoods=141, foundSolutions=5, bestBound=-990
5.77/3.09 nFilterCalls=120505, avgTableProportion=0.9981169063068609, avgTableSize=530.0860296253268
5.77/3.09
5.77/3.10 num=34, depth=12..15, filters=30205, revisions=(27355,useless=15960), ccks=90538, wck=0.61, mem=100M631
5.77/3.10 decisions=2372, wrong=930, backtracks=528, failedAssignments=538, nogoods=148, foundSolutions=5, bestBound=-990
5.77/3.10 nFilterCalls=123000, avgTableProportion=0.9981169096947965, avgTableSize=530.0870243902439
5.77/3.10
5.89/3.11 num=35, depth=15..19, filters=30833, revisions=(27903,useless=16275), ccks=92290, wck=0.618, mem=100M631
5.89/3.11 decisions=2422, wrong=947, backtracks=539, failedAssignments=550, nogoods=150, foundSolutions=5, bestBound=-990
5.89/3.11 nFilterCalls=125652, avgTableProportion=0.998116912221266, avgTableSize=530.0877662114411
5.89/3.11
5.89/3.12 num=36, depth=12..20, filters=31664, revisions=(28668,useless=16736), ccks=94685, wck=0.63, mem=100M631
5.89/3.12 decisions=2486, wrong=972, backtracks=554, failedAssignments=563, nogoods=153, foundSolutions=5, bestBound=-990
5.89/3.12 nFilterCalls=129018, avgTableProportion=0.9981169080657348, avgTableSize=530.08654606334
5.89/3.12
5.89/3.14 num=37, depth=10..15, filters=32696, revisions=(29602,useless=17261), ccks=97612, wck=0.646, mem=100M631
5.89/3.14 decisions=2553, wrong=1000, backtracks=571, failedAssignments=577, nogoods=156, foundSolutions=5, bestBound=-990
5.89/3.14 nFilterCalls=132651, avgTableProportion=0.9981169065401125, avgTableSize=530.0860981070629
5.89/3.14
5.89/3.15 num=38, depth=12..19, filters=33372, revisions=(30240,useless=17642), ccks=99430, wck=0.659, mem=100M631
5.89/3.15 decisions=2615, wrong=1024, backtracks=585, failedAssignments=593, nogoods=161, foundSolutions=5, bestBound=-990
5.89/3.15 nFilterCalls=136249, avgTableProportion=0.9981169036460008, avgTableSize=530.0852483320979
5.89/3.15
5.89/3.15 o -986
5.89/3.15 num=39, depth=73..71, filters=33545, revisions=(30461,useless=17771), ccks=100054, wck=0.663, mem=100M631
5.89/3.15 decisions=2636, wrong=1024, backtracks=585, failedAssignments=593, nogoods=161, foundSolutions=6, bestBound=-986
5.89/3.15 nFilterCalls=136920, avgTableProportion=0.9981169046359535, avgTableSize=530.0855390008765
5.89/3.15
5.89/3.16 num=40, depth=15..19, filters=34377, revisions=(31292,useless=18248), ccks=102649, wck=0.673, mem=100M631
5.89/3.16 decisions=2716, wrong=1056, backtracks=603, failedAssignments=612, nogoods=165, foundSolutions=6, bestBound=-986
5.89/3.16 nFilterCalls=139893, avgTableProportion=0.9981169061135591, avgTableSize=530.0859728506788
5.89/3.16
5.89/3.17 num=41, depth=12..16, filters=34826, revisions=(31772,useless=18541), ccks=103954, wck=0.681, mem=100M631
5.89/3.17 decisions=2758, wrong=1071, backtracks=611, failedAssignments=623, nogoods=168, foundSolutions=6, bestBound=-986
5.89/3.17 nFilterCalls=141781, avgTableProportion=0.9981169047127252, avgTableSize=530.0855615350434
5.89/3.17
5.89/3.18 num=42, depth=9..17, filters=35676, revisions=(32566,useless=18952), ccks=106349, wck=0.693, mem=100M631
5.89/3.18 decisions=2813, wrong=1094, backtracks=627, failedAssignments=635, nogoods=171, foundSolutions=6, bestBound=-986
5.89/3.18 nFilterCalls=144390, avgTableProportion=0.9981169001785603, avgTableSize=530.0842302098483
5.89/3.18
5.89/3.19 o -983
5.89/3.19 num=43, depth=12..71, filters=35978, revisions=(32931,useless=19163), ccks=107353, wck=0.699, mem=100M631
5.89/3.19 decisions=2840, wrong=1100, backtracks=629, failedAssignments=639, nogoods=175, foundSolutions=7, bestBound=-983
5.89/3.19 nFilterCalls=145443, avgTableProportion=0.998116899295895, avgTableSize=530.0839710402013
5.89/3.19
6.00/3.21 num=44, depth=7..12, filters=37007, revisions=(33962,useless=19752), ccks=109801, wck=0.721, mem=103M273
6.00/3.21 decisions=2903, wrong=1127, backtracks=643, failedAssignments=653, nogoods=180, foundSolutions=7, bestBound=-983
6.00/3.21 nFilterCalls=149357, avgTableProportion=0.9981168950394759, avgTableSize=530.0827212651567
6.00/3.21
6.00/3.22 num=45, depth=9..14, filters=37554, revisions=(34532,useless=20060), ccks=111051, wck=0.733, mem=103M273
6.00/3.22 decisions=2947, wrong=1143, backtracks=649, failedAssignments=664, nogoods=187, foundSolutions=7, bestBound=-983
6.00/3.22 nFilterCalls=151154, avgTableProportion=0.9981168977061132, avgTableSize=530.0835042407082
6.00/3.22
6.00/3.24 num=46, depth=12..19, filters=38169, revisions=(35148,useless=20405), ccks=112704, wck=0.744, mem=103M273
6.00/3.24 decisions=2996, wrong=1161, backtracks=658, failedAssignments=676, nogoods=190, foundSolutions=7, bestBound=-983
6.00/3.24 nFilterCalls=153626, avgTableProportion=0.9981168973863894, avgTableSize=530.0834103602255
6.00/3.24
6.00/3.24 num=47, depth=14..19, filters=38826, revisions=(35757,useless=20757), ccks=114615, wck=0.753, mem=103M273
6.00/3.24 decisions=3048, wrong=1180, backtracks=669, failedAssignments=689, nogoods=195, foundSolutions=7, bestBound=-983
6.00/3.24 nFilterCalls=156253, avgTableProportion=0.9981168949861955, avgTableSize=530.0827056120522
6.00/3.24
6.00/3.25 num=48, depth=14..21, filters=39560, revisions=(36458,useless=21142), ccks=117228, wck=0.762, mem=103M273
6.00/3.25 decisions=3115, wrong=1205, backtracks=685, failedAssignments=703, nogoods=199, foundSolutions=7, bestBound=-983
6.00/3.25 nFilterCalls=158800, avgTableProportion=0.99811689709548, avgTableSize=530.0833249370277
6.00/3.25
6.00/3.27 num=49, depth=7..15, filters=40820, revisions=(37623,useless=21778), ccks=120221, wck=0.783, mem=103M273
6.00/3.27 decisions=3185, wrong=1236, backtracks=705, failedAssignments=719, nogoods=202, foundSolutions=7, bestBound=-983
6.00/3.27 nFilterCalls=162800, avgTableProportion=0.9981168928006416, avgTableSize=530.0820638820638
6.00/3.27
6.00/3.29 num=50, depth=10..20, filters=41838, revisions=(38544,useless=22277), ccks=123219, wck=0.798, mem=103M273
6.00/3.29 decisions=3258, wrong=1266, backtracks=721, failedAssignments=736, nogoods=205, foundSolutions=7, bestBound=-983
6.00/3.29 nFilterCalls=166620, avgTableProportion=0.9981168936696952, avgTableSize=530.0823190493338
6.00/3.29
6.12/3.32 num=51, depth=7..15, filters=43165, revisions=(39755,useless=22968), ccks=126790, wck=0.824, mem=103M273
6.12/3.32 decisions=3340, wrong=1302, backtracks=744, failedAssignments=755, nogoods=211, foundSolutions=7, bestBound=-983
6.12/3.32 nFilterCalls=171504, avgTableProportion=0.9981168978390194, avgTableSize=530.083543240974
6.12/3.32
6.12/3.33 o -978
6.12/3.33 num=52, depth=14..71, filters=44052, revisions=(40564,useless=23444), ccks=129336, wck=0.834, mem=103M273
6.12/3.33 decisions=3409, wrong=1327, backtracks=759, failedAssignments=770, nogoods=214, foundSolutions=8, bestBound=-978
6.12/3.33 nFilterCalls=174915, avgTableProportion=0.9981169113914814, avgTableSize=530.0875225109339
6.12/3.33
6.12/3.35 num=53, depth=7..16, filters=45672, revisions=(42043,useless=24281), ccks=133229, wck=0.861, mem=103M273
6.12/3.35 decisions=3504, wrong=1368, backtracks=785, failedAssignments=793, nogoods=216, foundSolutions=8, bestBound=-978
6.12/3.35 nFilterCalls=180760, avgTableProportion=0.9981169204999931, avgTableSize=530.090196946227
6.12/3.35
6.12/3.36 num=54, depth=9..14, filters=46328, revisions=(42737,useless=24676), ccks=134993, wck=0.871, mem=103M273
6.12/3.36 decisions=3555, wrong=1388, backtracks=795, failedAssignments=804, nogoods=219, foundSolutions=8, bestBound=-978
6.12/3.36 nFilterCalls=182692, avgTableProportion=0.9981169165803013, avgTableSize=530.0890460447091
6.12/3.36
6.12/3.37 num=55, depth=14..19, filters=47131, revisions=(43377,useless=25057), ccks=137091, wck=0.881, mem=103M273
6.12/3.37 decisions=3612, wrong=1409, backtracks=808, failedAssignments=816, nogoods=226, foundSolutions=8, bestBound=-978
6.12/3.37 nFilterCalls=185622, avgTableProportion=0.9981169254073665, avgTableSize=530.091637844652
6.12/3.37
6.12/3.39 num=56, depth=9..13, filters=48041, revisions=(44254,useless=25570), ccks=139176, wck=0.899, mem=103M273
6.12/3.39 decisions=3671, wrong=1434, backtracks=823, failedAssignments=829, nogoods=235, foundSolutions=8, bestBound=-978
6.12/3.39 nFilterCalls=189262, avgTableProportion=0.998116919980784, avgTableSize=530.0900444885925
6.12/3.39
6.23/3.40 num=57, depth=12..20, filters=48781, revisions=(44950,useless=25966), ccks=141169, wck=0.911, mem=103M273
6.23/3.40 decisions=3733, wrong=1457, backtracks=838, failedAssignments=843, nogoods=241, foundSolutions=8, bestBound=-978
6.23/3.40 nFilterCalls=192282, avgTableProportion=0.9981169279879302, avgTableSize=530.0923955440447
6.23/3.40
6.23/3.42 num=58, depth=6..16, filters=49817, revisions=(45934,useless=26510), ccks=143357, wck=0.927, mem=103M273
6.23/3.42 decisions=3788, wrong=1481, backtracks=855, failedAssignments=859, nogoods=246, foundSolutions=8, bestBound=-978
6.23/3.42 nFilterCalls=195294, avgTableProportion=0.9981169229254313, avgTableSize=530.0909090909091
6.23/3.42
6.23/3.44 num=59, depth=8..14, filters=50707, revisions=(46778,useless=26988), ccks=145525, wck=0.948, mem=103M273
6.23/3.44 decisions=3859, wrong=1512, backtracks=876, failedAssignments=876, nogoods=251, foundSolutions=8, bestBound=-978
6.23/3.44 nFilterCalls=199598, avgTableProportion=0.9981169202077543, avgTableSize=530.0901111233579
6.23/3.44
6.23/3.46 num=60, depth=8..15, filters=51866, revisions=(47928,useless=27597), ccks=147958, wck=0.965, mem=105M916
6.23/3.46 decisions=3940, wrong=1547, backtracks=899, failedAssignments=895, nogoods=256, foundSolutions=8, bestBound=-978
6.23/3.46 nFilterCalls=203359, avgTableProportion=0.9981169230898825, avgTableSize=530.0909573709548
6.23/3.46
6.23/3.46 o -977
6.23/3.46 num=61, depth=17..71, filters=52164, revisions=(48221,useless=27782), ccks=148829, wck=0.97, mem=105M916
6.23/3.46 decisions=3969, wrong=1553, backtracks=902, failedAssignments=898, nogoods=258, foundSolutions=9, bestBound=-977
6.23/3.46 nFilterCalls=204632, avgTableProportion=0.998116925539975, avgTableSize=530.0916767660972
6.23/3.46
6.23/3.48 num=62, depth=10..18, filters=53290, revisions=(49314,useless=28415), ccks=151976, wck=0.989, mem=105M916
6.23/3.48 decisions=4060, wrong=1592, backtracks=926, failedAssignments=921, nogoods=260, foundSolutions=9, bestBound=-977
6.23/3.48 nFilterCalls=209393, avgTableProportion=0.9981169206365471, avgTableSize=530.0902370184294
6.23/3.48
6.23/3.49 num=63, depth=13..18, filters=54721, revisions=(50189,useless=29009), ccks=153798, wck=1.002, mem=105M916
6.23/3.49 decisions=4115, wrong=1613, backtracks=940, failedAssignments=932, nogoods=262, foundSolutions=9, bestBound=-977
6.23/3.49 nFilterCalls=214354, avgTableProportion=0.9981169422343357, avgTableSize=530.0965785569665
6.23/3.49
6.34/3.51 num=64, depth=8..15, filters=55374, revisions=(50820,useless=29363), ccks=155695, wck=1.014, mem=105M916
6.34/3.51 decisions=4160, wrong=1630, backtracks=950, failedAssignments=944, nogoods=267, foundSolutions=9, bestBound=-977
6.34/3.51 nFilterCalls=216569, avgTableProportion=0.9981169444214882, avgTableSize=530.0972207471983
6.34/3.51
6.34/3.52 num=65, depth=11..15, filters=56109, revisions=(51455,useless=29728), ccks=157524, wck=1.025, mem=105M916
6.34/3.52 decisions=4211, wrong=1649, backtracks=959, failedAssignments=957, nogoods=273, foundSolutions=9, bestBound=-977
6.34/3.52 nFilterCalls=219140, avgTableProportion=0.9981169483231153, avgTableSize=530.0983663411517
6.34/3.52
6.34/3.53 num=66, depth=10..17, filters=57122, revisions=(52366,useless=30265), ccks=160514, wck=1.042, mem=105M916
6.34/3.53 decisions=4280, wrong=1677, backtracks=976, failedAssignments=971, nogoods=276, foundSolutions=9, bestBound=-977
6.34/3.53 nFilterCalls=223233, avgTableProportion=0.99811694930544, avgTableSize=530.0986547687842
6.34/3.53
6.34/3.55 num=67, depth=13..18, filters=58130, revisions=(53254,useless=30819), ccks=163071, wck=1.054, mem=105M916
6.34/3.55 decisions=4349, wrong=1705, backtracks=994, failedAssignments=987, nogoods=279, foundSolutions=9, bestBound=-977
6.34/3.55 nFilterCalls=227042, avgTableProportion=0.998116959254196, avgTableSize=530.1015759198739
6.34/3.55
6.34/3.56 num=68, depth=7..11, filters=58981, revisions=(54083,useless=31272), ccks=165046, wck=1.071, mem=105M916
6.34/3.56 decisions=4408, wrong=1731, backtracks=1006, failedAssignments=1004, nogoods=286, foundSolutions=9, bestBound=-977
6.34/3.56 nFilterCalls=229889, avgTableProportion=0.9981169554588439, avgTableSize=530.1004615270848
6.34/3.56
6.34/3.58 num=69, depth=14..18, filters=60184, revisions=(55032,useless=31887), ccks=167460, wck=1.085, mem=105M916
6.34/3.58 decisions=4482, wrong=1761, backtracks=1023, failedAssignments=1023, nogoods=291, foundSolutions=9, bestBound=-977
6.34/3.58 nFilterCalls=234716, avgTableProportion=0.9981169713630188, avgTableSize=530.1051313076229
6.34/3.58
6.34/3.59 num=70, depth=12..17, filters=61208, revisions=(55946,useless=32413), ccks=170228, wck=1.1, mem=105M916
6.34/3.59 decisions=4562, wrong=1795, backtracks=1038, failedAssignments=1044, nogoods=293, foundSolutions=9, bestBound=-977
6.34/3.59 nFilterCalls=238862, avgTableProportion=0.9981169700245381, avgTableSize=530.1047383007761
6.34/3.59
6.45/3.61 num=71, depth=13..19, filters=62339, revisions=(56895,useless=32976), ccks=172802, wck=1.116, mem=105M916
6.45/3.61 decisions=4653, wrong=1834, backtracks=1066, failedAssignments=1067, nogoods=295, foundSolutions=9, bestBound=-977
6.45/3.61 nFilterCalls=243895, avgTableProportion=0.9981169744909795, avgTableSize=530.1060497345169
6.45/3.61
6.45/3.63 num=72, depth=8..18, filters=63822, revisions=(58218,useless=33687), ccks=176612, wck=1.142, mem=105M916
6.45/3.63 decisions=4745, wrong=1875, backtracks=1091, failedAssignments=1092, nogoods=299, foundSolutions=9, bestBound=-977
6.45/3.63 nFilterCalls=248661, avgTableProportion=0.9981169785528903, avgTableSize=530.1072423902422
6.45/3.63
6.45/3.65 num=73, depth=7..13, filters=65357, revisions=(59605,useless=34456), ccks=180534, wck=1.164, mem=105M916
6.45/3.65 decisions=4841, wrong=1919, backtracks=1111, failedAssignments=1120, nogoods=302, foundSolutions=9, bestBound=-977
6.45/3.65 nFilterCalls=252501, avgTableProportion=0.9981169755880631, avgTableSize=530.1063718559531
6.45/3.65
6.45/3.70 num=74, depth=4..10, filters=67460, revisions=(61499,useless=35471), ccks=185445, wck=1.204, mem=105M916
6.45/3.70 decisions=4960, wrong=1976, backtracks=1153, failedAssignments=1151, nogoods=305, foundSolutions=9, bestBound=-977
6.45/3.70 nFilterCalls=259102, avgTableProportion=0.9981169732856768, avgTableSize=530.1056958263541
6.45/3.70
6.55/3.73 num=75, depth=10..17, filters=69418, revisions=(63201,useless=36438), ccks=190514, wck=1.234, mem=108M558
6.55/3.73 decisions=5086, wrong=2034, backtracks=1193, failedAssignments=1185, nogoods=312, foundSolutions=9, bestBound=-977
6.55/3.73 nFilterCalls=265978, avgTableProportion=0.9981169838009969, avgTableSize=530.1087834332163
6.55/3.73
6.55/3.76 num=76, depth=10..15, filters=71608, revisions=(65089,useless=37531), ccks=196593, wck=1.268, mem=108M558
6.55/3.76 decisions=5226, wrong=2098, backtracks=1233, failedAssignments=1222, nogoods=320, foundSolutions=9, bestBound=-977
6.55/3.76 nFilterCalls=274462, avgTableProportion=0.9981169799420113, avgTableSize=530.1076506037266
6.55/3.76
6.55/3.79 num=77, depth=10..20, filters=73733, revisions=(66867,useless=38527), ccks=202080, wck=1.295, mem=108M558
6.55/3.79 decisions=5369, wrong=2164, backtracks=1273, failedAssignments=1263, nogoods=322, foundSolutions=9, bestBound=-977
6.55/3.79 nFilterCalls=282571, avgTableProportion=0.9981169897047444, avgTableSize=530.1105173566997
6.55/3.79
6.66/3.84 num=78, depth=8..15, filters=77251, revisions=(69839,useless=40317), ccks=210794, wck=1.351, mem=108M558
6.66/3.84 decisions=5559, wrong=2254, backtracks=1336, failedAssignments=1308, nogoods=325, foundSolutions=9, bestBound=-977
6.66/3.84 nFilterCalls=296181, avgTableProportion=0.998116985907305, avgTableSize=530.1094026963242
6.66/3.84
6.66/3.88 num=79, depth=9..17, filters=79850, revisions=(72182,useless=41644), ccks=217892, wck=1.387, mem=108M558
6.66/3.88 decisions=5732, wrong=2336, backtracks=1383, failedAssignments=1358, nogoods=326, foundSolutions=9, bestBound=-977
6.66/3.88 nFilterCalls=305093, avgTableProportion=0.9981169837744915, avgTableSize=530.1087766680979
6.66/3.88
6.76/3.94 num=80, depth=4..12, filters=82953, revisions=(75064,useless=43213), ccks=225113, wck=1.45, mem=108M558
6.76/3.94 decisions=5924, wrong=2430, backtracks=1444, failedAssignments=1413, nogoods=327, foundSolutions=9, bestBound=-977
6.76/3.94 nFilterCalls=315200, avgTableProportion=0.99811697393672, avgTableSize=530.1058883248731
6.76/3.94
6.76/3.99 num=81, depth=9..20, filters=86300, revisions=(78083,useless=45038), ccks=234360, wck=1.503, mem=108M558
6.76/3.99 decisions=6151, wrong=2538, backtracks=1518, failedAssignments=1474, nogoods=338, foundSolutions=9, bestBound=-977
6.76/3.99 nFilterCalls=327851, avgTableProportion=0.9981169869148608, avgTableSize=530.1096992231227
6.76/3.99
6.87/4.06 num=82, depth=8..19, filters=90608, revisions=(81563,useless=47153), ccks=243959, wck=1.568, mem=111M201
6.87/4.06 decisions=6416, wrong=2664, backtracks=1609, failedAssignments=1541, nogoods=347, foundSolutions=9, bestBound=-977
6.87/4.06 nFilterCalls=345611, avgTableProportion=0.9981170050825708, avgTableSize=530.1150339543591
6.87/4.06
6.97/4.14 num=83, depth=7..16, filters=95200, revisions=(85371,useless=49423), ccks=254027, wck=1.652, mem=111M201
6.97/4.14 decisions=6678, wrong=2789, backtracks=1687, failedAssignments=1615, nogoods=354, foundSolutions=9, bestBound=-977
6.97/4.14 nFilterCalls=365305, avgTableProportion=0.9981170041912949, avgTableSize=530.1147725872901
6.97/4.14
7.06/4.22 num=84, depth=10..19, filters=100465, revisions=(89177,useless=51870), ccks=264754, wck=1.724, mem=111M201
7.06/4.22 decisions=6972, wrong=2931, backtracks=1780, failedAssignments=1696, nogoods=358, foundSolutions=9, bestBound=-977
7.06/4.22 nFilterCalls=387052, avgTableProportion=0.9981170254935108, avgTableSize=530.1210276655333
7.06/4.22
7.06/4.28 num=85, depth=9..18, filters=105216, revisions=(93167,useless=54071), ccks=277591, wck=1.79, mem=111M201
7.06/4.28 decisions=7288, wrong=3084, backtracks=1880, failedAssignments=1785, nogoods=366, foundSolutions=9, bestBound=-977
7.06/4.28 nFilterCalls=403480, avgTableProportion=0.9981170219792626, avgTableSize=530.1199960344999
7.06/4.28
7.17/4.36 num=86, depth=9..18, filters=110947, revisions=(98238,useless=56921), ccks=294758, wck=1.872, mem=113M843
7.17/4.36 decisions=7659, wrong=3263, backtracks=1989, failedAssignments=1883, nogoods=372, foundSolutions=9, bestBound=-977
7.17/4.36 nFilterCalls=423136, avgTableProportion=0.9981170213454558, avgTableSize=530.1198101792331
7.17/4.36
7.27/4.49 num=87, depth=8..16, filters=117685, revisions=(103657,useless=59997), ccks=312687, wck=2.0, mem=113M843
7.27/4.49 decisions=8085, wrong=3470, backtracks=2121, failedAssignments=1991, nogoods=382, foundSolutions=9, bestBound=-977
7.27/4.49 nFilterCalls=452410, avgTableProportion=0.9981170088980602, avgTableSize=530.1161556994762
7.27/4.49
7.37/4.58 num=88, depth=8..18, filters=123514, revisions=(108962,useless=63131), ccks=329103, wck=2.089, mem=113M843
7.37/4.58 decisions=8479, wrong=3661, backtracks=2236, failedAssignments=2110, nogoods=388, foundSolutions=9, bestBound=-977
7.37/4.58 nFilterCalls=473031, avgTableProportion=0.9981170111419526, avgTableSize=530.1168147542128
7.37/4.58
7.60/4.71 num=89, depth=8..18, filters=130482, revisions=(114811,useless=66559), ccks=348850, wck=2.219, mem=113M843
7.60/4.71 decisions=8952, wrong=3892, backtracks=2385, failedAssignments=2241, nogoods=398, foundSolutions=9, bestBound=-977
7.60/4.71 nFilterCalls=503066, avgTableProportion=0.9981170048616459, avgTableSize=530.1149709978413
7.60/4.71
7.60/4.74 o -974
7.60/4.74 num=90, depth=10..71, filters=132469, revisions=(116492,useless=67587), ccks=353634, wck=2.249, mem=116M486
7.60/4.74 decisions=9075, wrong=3947, backtracks=2424, failedAssignments=2267, nogoods=400, foundSolutions=10, bestBound=-974
7.60/4.74 nFilterCalls=511474, avgTableProportion=0.9981170017273084, avgTableSize=530.1140507630887
7.60/4.74
7.70/4.85 num=91, depth=9..17, filters=140990, revisions=(123449,useless=71842), ccks=373710, wck=2.363, mem=116M486
7.70/4.85 decisions=9590, wrong=4199, backtracks=2587, failedAssignments=2425, nogoods=407, foundSolutions=10, bestBound=-974
7.70/4.85 nFilterCalls=540527, avgTableProportion=0.9981170197814514, avgTableSize=530.1193520397686
7.70/4.85
7.70/4.87 num=92, depth=7..12, filters=141676, revisions=(124141,useless=72251), ccks=375204, wck=2.377, mem=116M486
7.70/4.87 decisions=9632, wrong=4216, backtracks=2595, failedAssignments=2436, nogoods=410, foundSolutions=10, bestBound=-974
7.70/4.87 nFilterCalls=543081, avgTableProportion=0.9981170181080778, avgTableSize=530.1188607224336
7.70/4.87
7.70/4.88 num=93, depth=11..19, filters=142427, revisions=(124780,useless=72619), ccks=376777, wck=2.388, mem=116M486
7.70/4.88 decisions=9686, wrong=4236, backtracks=2605, failedAssignments=2448, nogoods=413, foundSolutions=10, bestBound=-974
7.70/4.88 nFilterCalls=545907, avgTableProportion=0.9981170164990394, avgTableSize=530.1183882969077
7.70/4.88
7.70/4.89 num=94, depth=7..12, filters=143044, revisions=(125371,useless=72955), ccks=378438, wck=2.402, mem=116M486
7.70/4.89 decisions=9734, wrong=4256, backtracks=2615, failedAssignments=2461, nogoods=415, foundSolutions=10, bestBound=-974
7.70/4.89 nFilterCalls=548369, avgTableProportion=0.9981170150489521, avgTableSize=530.1179625398227
7.70/4.89
7.80/4.91 num=95, depth=5..9, filters=143891, revisions=(126242,useless=73448), ccks=380592, wck=2.42, mem=116M486
7.80/4.91 decisions=9792, wrong=4282, backtracks=2631, failedAssignments=2475, nogoods=419, foundSolutions=10, bestBound=-974
7.80/4.91 nFilterCalls=551051, avgTableProportion=0.9981170147622649, avgTableSize=530.1178783814928
7.80/4.91
7.80/4.93 num=96, depth=11..16, filters=144824, revisions=(127100,useless=73926), ccks=383061, wck=2.435, mem=116M486
7.80/4.93 decisions=9860, wrong=4310, backtracks=2649, failedAssignments=2491, nogoods=422, foundSolutions=10, bestBound=-974
7.80/4.93 nFilterCalls=554468, avgTableProportion=0.9981170123802205, avgTableSize=530.11717898959
7.80/4.93
7.80/4.94 num=97, depth=10..18, filters=145771, revisions=(127976,useless=74422), ccks=385525, wck=2.449, mem=116M486
7.80/4.94 decisions=9935, wrong=4341, backtracks=2672, failedAssignments=2508, nogoods=425, foundSolutions=10, bestBound=-974
7.80/4.94 nFilterCalls=557952, avgTableProportion=0.9981170138191585, avgTableSize=530.1176015141087
7.80/4.94
7.80/4.96 num=98, depth=9..14, filters=146705, revisions=(128862,useless=74938), ccks=387970, wck=2.467, mem=116M486
7.80/4.96 decisions=10003, wrong=4369, backtracks=2685, failedAssignments=2527, nogoods=431, foundSolutions=10, bestBound=-974
7.80/4.96 nFilterCalls=561934, avgTableProportion=0.9981170121566576, avgTableSize=530.1171133976588
7.80/4.96
7.80/4.98 num=99, depth=7..16, filters=147861, revisions=(129915,useless=75501), ccks=390988, wck=2.488, mem=116M486
7.80/4.98 decisions=10084, wrong=4406, backtracks=2708, failedAssignments=2548, nogoods=433, foundSolutions=10, bestBound=-974
7.80/4.98 nFilterCalls=565932, avgTableProportion=0.9981170108433288, avgTableSize=530.116727804754
7.80/4.98
7.80/5.00 num=100, depth=13..18, filters=149191, revisions=(130969,useless=76121), ccks=393948, wck=2.504, mem=116M486
7.80/5.00 decisions=10169, wrong=4442, backtracks=2734, failedAssignments=2571, nogoods=439, foundSolutions=10, bestBound=-974
7.80/5.00 nFilterCalls=570520, avgTableProportion=0.9981170132098831, avgTableSize=530.1174227020963
7.80/5.00
7.92/5.02 num=101, depth=9..15, filters=150460, revisions=(132142,useless=76814), ccks=397121, wck=2.528, mem=116M486
7.92/5.02 decisions=10254, wrong=4480, backtracks=2759, failedAssignments=2596, nogoods=442, foundSolutions=10, bestBound=-974
7.92/5.02 nFilterCalls=575934, avgTableProportion=0.9981170103610929, avgTableSize=530.1165862755107
7.92/5.02
7.92/5.03 o -972
7.92/5.03 num=102, depth=13..71, filters=151271, revisions=(132849,useless=77239), ccks=399260, wck=2.54, mem=119M128
7.92/5.03 decisions=10312, wrong=4501, backtracks=2770, failedAssignments=2611, nogoods=449, foundSolutions=11, bestBound=-972
7.92/5.03 nFilterCalls=578778, avgTableProportion=0.9981170113050587, avgTableSize=530.1168634606015
7.92/5.03
7.92/5.06 num=103, depth=5..13, filters=153330, revisions=(134839,useless=78310), ccks=403101, wck=2.573, mem=119M128
7.92/5.06 decisions=10418, wrong=4551, backtracks=2801, failedAssignments=2642, nogoods=455, foundSolutions=11, bestBound=-972
7.92/5.06 nFilterCalls=584413, avgTableProportion=0.9981170105734175, avgTableSize=530.1166486714019
7.92/5.06
7.92/5.08 num=104, depth=6..11, filters=154217, revisions=(135771,useless=78816), ccks=404748, wck=2.586, mem=119M128
7.92/5.08 decisions=10472, wrong=4575, backtracks=2818, failedAssignments=2653, nogoods=463, foundSolutions=11, bestBound=-972
7.92/5.08 nFilterCalls=586579, avgTableProportion=0.9981170104650234, avgTableSize=530.1166168580874
7.92/5.08
7.92/5.09 num=105, depth=10..16, filters=155006, revisions=(136510,useless=79231), ccks=406894, wck=2.598, mem=119M128
7.92/5.09 decisions=10525, wrong=4596, backtracks=2834, failedAssignments=2665, nogoods=467, foundSolutions=11, bestBound=-972
7.92/5.09 nFilterCalls=589378, avgTableProportion=0.9981170091855279, avgTableSize=530.1162411898646
7.92/5.09
7.92/5.10 num=106, depth=9..15, filters=155731, revisions=(137186,useless=79612), ccks=408465, wck=2.612, mem=119M128
7.92/5.10 decisions=10576, wrong=4616, backtracks=2848, failedAssignments=2678, nogoods=471, foundSolutions=11, bestBound=-972
7.92/5.10 nFilterCalls=592238, avgTableProportion=0.9981170098729625, avgTableSize=530.116443051611
7.92/5.10
8.09/5.12 num=107, depth=7..12, filters=156569, revisions=(138049,useless=80063), ccks=410224, wck=2.625, mem=119M128
8.09/5.12 decisions=10636, wrong=4642, backtracks=2865, failedAssignments=2692, nogoods=478, foundSolutions=11, bestBound=-972
8.09/5.12 nFilterCalls=594435, avgTableProportion=0.9981170097077651, avgTableSize=530.1163945595397
8.09/5.12
8.09/5.13 num=108, depth=5..14, filters=157471, revisions=(138928,useless=80545), ccks=412597, wck=2.643, mem=119M128
8.09/5.13 decisions=10700, wrong=4670, backtracks=2884, failedAssignments=2708, nogoods=481, foundSolutions=11, bestBound=-972
8.09/5.13 nFilterCalls=597544, avgTableProportion=0.9981170090757832, avgTableSize=530.1162090155703
8.09/5.13
8.09/5.16 num=109, depth=8..18, filters=158612, revisions=(139940,useless=81133), ccks=415450, wck=2.664, mem=119M128
8.09/5.16 decisions=10784, wrong=4705, backtracks=2910, failedAssignments=2725, nogoods=486, foundSolutions=11, bestBound=-972
8.09/5.16 nFilterCalls=602037, avgTableProportion=0.9981170113887151, avgTableSize=530.1168881646809
8.09/5.16
8.09/5.17 num=110, depth=8..12, filters=159702, revisions=(141026,useless=81735), ccks=418086, wck=2.681, mem=119M128
8.09/5.17 decisions=10855, wrong=4735, backtracks=2925, failedAssignments=2744, nogoods=490, foundSolutions=11, bestBound=-972
8.09/5.17 nFilterCalls=605123, avgTableProportion=0.9981170104953611, avgTableSize=530.1166258760616
8.09/5.17
8.09/5.19 num=111, depth=9..14, filters=161081, revisions=(142321,useless=82502), ccks=421848, wck=2.703, mem=119M128
8.09/5.19 decisions=10935, wrong=4769, backtracks=2949, failedAssignments=2765, nogoods=497, foundSolutions=11, bestBound=-972
8.09/5.19 nFilterCalls=609674, avgTableProportion=0.9981170116026573, avgTableSize=530.1169510262862
8.09/5.19
8.19/5.21 num=112, depth=5..14, filters=162441, revisions=(143638,useless=83186), ccks=424553, wck=2.723, mem=119M128
8.19/5.21 decisions=11018, wrong=4806, backtracks=2969, failedAssignments=2788, nogoods=503, foundSolutions=11, bestBound=-972
8.19/5.21 nFilterCalls=613228, avgTableProportion=0.9981170102161089, avgTableSize=530.1165439281964
8.19/5.21
8.19/5.24 num=113, depth=8..14, filters=163897, revisions=(144941,useless=83978), ccks=428279, wck=2.745, mem=119M128
8.19/5.24 decisions=11108, wrong=4846, backtracks=2992, failedAssignments=2813, nogoods=508, foundSolutions=11, bestBound=-972
8.19/5.24 nFilterCalls=617559, avgTableProportion=0.9981170113424315, avgTableSize=530.1168746629877
8.19/5.24
8.19/5.26 o -971
8.19/5.26 num=114, depth=9..71, filters=165362, revisions=(146277,useless=84736), ccks=432106, wck=2.764, mem=119M128
8.19/5.26 decisions=11208, wrong=4890, backtracks=3021, failedAssignments=2838, nogoods=512, foundSolutions=12, bestBound=-971
8.19/5.26 nFilterCalls=623694, avgTableProportion=0.9981170090487087, avgTableSize=530.1162012140569
8.19/5.26
8.19/5.29 num=115, depth=8..14, filters=167110, revisions=(147931,useless=85689), ccks=436281, wck=2.794, mem=121M771
8.19/5.29 decisions=11325, wrong=4944, backtracks=3052, failedAssignments=2869, nogoods=519, foundSolutions=12, bestBound=-971
8.19/5.29 nFilterCalls=629658, avgTableProportion=0.9981170087401615, avgTableSize=530.1161106505436
8.19/5.29
8.30/5.30 num=116, depth=7..13, filters=167768, revisions=(148560,useless=86039), ccks=437942, wck=2.806, mem=121M771
8.30/5.30 decisions=11366, wrong=4961, backtracks=3063, failedAssignments=2880, nogoods=520, foundSolutions=12, bestBound=-971
8.30/5.30 nFilterCalls=631843, avgTableProportion=0.9981170074965919, avgTableSize=530.1157455253916
8.30/5.30
8.30/5.31 num=117, depth=7..14, filters=168580, revisions=(149379,useless=86494), ccks=439896, wck=2.819, mem=121M771
8.30/5.31 decisions=11416, wrong=4981, backtracks=3075, failedAssignments=2892, nogoods=524, foundSolutions=12, bestBound=-971
8.30/5.31 nFilterCalls=634292, avgTableProportion=0.9981170067423585, avgTableSize=530.115524080392
8.30/5.31
8.30/5.33 num=118, depth=6..10, filters=169584, revisions=(150329,useless=87038), ccks=442483, wck=2.839, mem=121M771
8.30/5.33 decisions=11472, wrong=5005, backtracks=3088, failedAssignments=2905, nogoods=528, foundSolutions=12, bestBound=-971
8.30/5.33 nFilterCalls=637759, avgTableProportion=0.9981170051855095, avgTableSize=530.1150669767106
8.30/5.33
8.30/5.34 num=119, depth=10..15, filters=170566, revisions=(151218,useless=87544), ccks=445192, wck=2.851, mem=121M771
8.30/5.34 decisions=11534, wrong=5031, backtracks=3104, failedAssignments=2919, nogoods=531, foundSolutions=12, bestBound=-971
8.30/5.34 nFilterCalls=640299, avgTableProportion=0.9981170055669976, avgTableSize=530.1151790023099
8.30/5.34
8.30/5.37 num=120, depth=6..14, filters=171831, revisions=(152364,useless=88189), ccks=448100, wck=2.875, mem=121M771
8.30/5.37 decisions=11599, wrong=5059, backtracks=3119, failedAssignments=2935, nogoods=537, foundSolutions=12, bestBound=-971
8.30/5.37 nFilterCalls=644832, avgTableProportion=0.9981170047265774, avgTableSize=530.1149322614262
8.30/5.37
8.30/5.38 num=121, depth=9..16, filters=172733, revisions=(153223,useless=88651), ccks=450282, wck=2.888, mem=121M771
8.30/5.38 decisions=11662, wrong=5086, backtracks=3137, failedAssignments=2952, nogoods=539, foundSolutions=12, bestBound=-971
8.30/5.38 nFilterCalls=647425, avgTableProportion=0.9981170047948171, avgTableSize=530.1149523110785
8.30/5.38
8.41/5.41 num=122, depth=4..11, filters=174277, revisions=(154689,useless=89473), ccks=453869, wck=2.919, mem=121M771
8.41/5.41 decisions=11741, wrong=5122, backtracks=3160, failedAssignments=2971, nogoods=545, foundSolutions=12, bestBound=-971
8.41/5.41 nFilterCalls=653080, avgTableProportion=0.9981170035793546, avgTableSize=530.1145954553807
8.41/5.41
8.41/5.43 num=123, depth=8..15, filters=175360, revisions=(155691,useless=90063), ccks=456225, wck=2.942, mem=121M771
8.41/5.43 decisions=11819, wrong=5157, backtracks=3181, failedAssignments=2992, nogoods=549, foundSolutions=12, bestBound=-971
8.41/5.43 nFilterCalls=657543, avgTableProportion=0.9981170039188525, avgTableSize=530.1146951606207
8.41/5.43
8.41/5.45 num=124, depth=8..13, filters=176576, revisions=(156863,useless=90735), ccks=459566, wck=2.963, mem=121M771
8.41/5.45 decisions=11908, wrong=5197, backtracks=3202, failedAssignments=3015, nogoods=555, foundSolutions=12, bestBound=-971
8.41/5.45 nFilterCalls=661867, avgTableProportion=0.9981170030751866, avgTableSize=530.1144474645208
8.41/5.45
8.41/5.49 num=125, depth=8..18, filters=178359, revisions=(158217,useless=91665), ccks=463079, wck=2.998, mem=121M771
8.41/5.49 decisions=12011, wrong=5243, backtracks=3238, failedAssignments=3040, nogoods=563, foundSolutions=12, bestBound=-971
8.41/5.49 nFilterCalls=670650, avgTableProportion=0.998117008213312, avgTableSize=530.1159561619324
8.41/5.49
8.51/5.51 num=126, depth=7..14, filters=179902, revisions=(159711,useless=92490), ccks=467193, wck=3.023, mem=121M771
8.51/5.51 decisions=12116, wrong=5292, backtracks=3267, failedAssignments=3068, nogoods=567, foundSolutions=12, bestBound=-971
8.51/5.51 nFilterCalls=674991, avgTableProportion=0.998117007868294, avgTableSize=530.1158548780651
8.51/5.51
8.51/5.55 num=127, depth=3..12, filters=181939, revisions=(161651,useless=93572), ccks=472506, wck=3.063, mem=121M771
8.51/5.55 decisions=12247, wrong=5352, backtracks=3305, failedAssignments=3099, nogoods=571, foundSolutions=12, bestBound=-971
8.51/5.55 nFilterCalls=682075, avgTableProportion=0.9981170056675829, avgTableSize=530.115208738042
8.51/5.55
8.51/5.58 num=128, depth=8..18, filters=183560, revisions=(163035,useless=94359), ccks=476239, wck=3.09, mem=121M771
8.51/5.58 decisions=12358, wrong=5403, backtracks=3335, failedAssignments=3133, nogoods=579, foundSolutions=12, bestBound=-971
8.51/5.58 nFilterCalls=688060, avgTableProportion=0.9981170049422242, avgTableSize=530.1149957852513
8.51/5.58
8.62/5.62 num=129, depth=7..15, filters=186060, revisions=(165238,useless=95602), ccks=481997, wck=3.127, mem=124M413
8.62/5.62 decisions=12500, wrong=5470, backtracks=3380, failedAssignments=3170, nogoods=589, foundSolutions=12, bestBound=-971
8.62/5.62 nFilterCalls=695820, avgTableProportion=0.9981170031195168, avgTableSize=530.1144606363715
8.62/5.62
8.62/5.66 num=130, depth=6..18, filters=188898, revisions=(167694,useless=97001), ccks=488041, wck=3.173, mem=124M413
8.62/5.66 decisions=12660, wrong=5546, backtracks=3435, failedAssignments=3211, nogoods=595, foundSolutions=12, bestBound=-971
8.62/5.66 nFilterCalls=704321, avgTableProportion=0.9981170055853672, avgTableSize=530.1151846956146
8.62/5.66
8.72/5.71 num=131, depth=4..11, filters=191661, revisions=(170116,useless=98244), ccks=494894, wck=3.219, mem=124M413
8.72/5.71 decisions=12812, wrong=5619, backtracks=3477, failedAssignments=3256, nogoods=602, foundSolutions=12, bestBound=-971
8.72/5.71 nFilterCalls=712213, avgTableProportion=0.9981170049299476, avgTableSize=530.1149922846115
8.72/5.71
8.72/5.76 num=132, depth=9..18, filters=195004, revisions=(172703,useless=99745), ccks=501740, wck=3.266, mem=124M413
8.72/5.76 decisions=12997, wrong=5706, backtracks=3524, failedAssignments=3306, nogoods=613, foundSolutions=12, bestBound=-971
8.72/5.76 nFilterCalls=723815, avgTableProportion=0.9981170047032706, avgTableSize=530.1149257752327
8.72/5.76
8.82/5.82 num=133, depth=3..10, filters=198186, revisions=(175543,useless=101299), ccks=509069, wck=3.331, mem=124M413
8.82/5.82 decisions=13189, wrong=5799, backtracks=3578, failedAssignments=3361, nogoods=619, foundSolutions=12, bestBound=-971
8.82/5.82 nFilterCalls=734261, avgTableProportion=0.9981170022238598, avgTableSize=530.1141978124945
8.82/5.82
8.82/5.89 num=134, depth=7..13, filters=201961, revisions=(178983,useless=103252), ccks=519075, wck=3.395, mem=124M413
8.82/5.89 decisions=13402, wrong=5902, backtracks=3636, failedAssignments=3422, nogoods=625, foundSolutions=12, bestBound=-971
8.82/5.89 nFilterCalls=747139, avgTableProportion=0.9981169998321706, avgTableSize=530.1134956146045
8.82/5.89
8.92/5.92 o -970
8.92/5.92 num=135, depth=11..71, filters=204259, revisions=(180872,useless=104373), ccks=524598, wck=3.424, mem=127M56
8.92/5.92 decisions=13546, wrong=5966, backtracks=3671, failedAssignments=3460, nogoods=630, foundSolutions=13, bestBound=-970
8.92/5.92 nFilterCalls=754960, avgTableProportion=0.9981170033117771, avgTableSize=530.1145173254212
8.92/5.92
8.92/6.00 num=136, depth=6..15, filters=208405, revisions=(184638,useless=106569), ccks=534212, wck=3.511, mem=127M56
8.92/6.00 decisions=13816, wrong=6098, backtracks=3756, failedAssignments=3534, nogoods=634, foundSolutions=13, bestBound=-970
8.92/6.00 nFilterCalls=772424, avgTableProportion=0.9981170003488923, avgTableSize=530.1136474268019
8.92/6.00
9.05/6.01 num=137, depth=7..14, filters=209319, revisions=(185536,useless=107044), ccks=536059, wck=3.523, mem=127M56
9.05/6.01 decisions=13869, wrong=6119, backtracks=3770, failedAssignments=3545, nogoods=637, foundSolutions=13, bestBound=-970
9.05/6.01 nFilterCalls=775332, avgTableProportion=0.998116999617539, avgTableSize=530.1134326972187
9.05/6.01
9.05/6.03 num=138, depth=9..15, filters=210133, revisions=(186336,useless=107471), ccks=538263, wck=3.536, mem=127M56
9.05/6.03 decisions=13926, wrong=6143, backtracks=3787, failedAssignments=3557, nogoods=640, foundSolutions=13, bestBound=-970
9.05/6.03 nFilterCalls=777853, avgTableProportion=0.9981169990966358, avgTableSize=530.1132797585148
9.05/6.03
9.05/6.04 num=139, depth=6..13, filters=211127, revisions=(187222,useless=107979), ccks=540310, wck=3.551, mem=127M56
9.05/6.04 decisions=13978, wrong=6164, backtracks=3798, failedAssignments=3570, nogoods=643, foundSolutions=13, bestBound=-970
9.05/6.04 nFilterCalls=780947, avgTableProportion=0.9981169989374743, avgTableSize=530.1132330363008
9.05/6.04
9.05/6.05 num=140, depth=8..13, filters=211916, revisions=(188024,useless=108433), ccks=542390, wck=3.563, mem=127M56
9.05/6.05 decisions=14029, wrong=6185, backtracks=3811, failedAssignments=3584, nogoods=646, foundSolutions=13, bestBound=-970
9.05/6.05 nFilterCalls=783196, avgTableProportion=0.998116998695403, avgTableSize=530.1131619671194
9.05/6.05
9.05/6.07 num=141, depth=5..10, filters=212862, revisions=(188974,useless=108987), ccks=544643, wck=3.58, mem=127M56
9.05/6.07 decisions=14089, wrong=6210, backtracks=3826, failedAssignments=3600, nogoods=649, foundSolutions=13, bestBound=-970
9.05/6.07 nFilterCalls=786226, avgTableProportion=0.9981169987435339, avgTableSize=530.1131761096682
9.05/6.07
9.05/6.09 num=142, depth=6..10, filters=213689, revisions=(189820,useless=109459), ccks=546790, wck=3.594, mem=127M56
9.05/6.09 decisions=14148, wrong=6236, backtracks=3836, failedAssignments=3617, nogoods=655, foundSolutions=13, bestBound=-970
9.05/6.09 nFilterCalls=788368, avgTableProportion=0.9981169979813574, avgTableSize=530.1129523268321
9.05/6.09
9.05/6.10 num=143, depth=6..12, filters=214898, revisions=(191040,useless=110113), ccks=549941, wck=3.613, mem=127M56
9.05/6.10 decisions=14215, wrong=6266, backtracks=3855, failedAssignments=3636, nogoods=659, foundSolutions=13, bestBound=-970
9.05/6.10 nFilterCalls=791559, avgTableProportion=0.9981169973641946, avgTableSize=530.1127711263468
9.05/6.10
9.15/6.13 num=144, depth=8..13, filters=216344, revisions=(192418,useless=110914), ccks=553615, wck=3.636, mem=127M56
9.15/6.13 decisions=14303, wrong=6305, backtracks=3878, failedAssignments=3657, nogoods=666, foundSolutions=13, bestBound=-970
9.15/6.13 nFilterCalls=796180, avgTableProportion=0.9981169985699402, avgTableSize=530.1131251726996
9.15/6.13
9.15/6.16 num=145, depth=8..12, filters=217861, revisions=(193702,useless=111676), ccks=557134, wck=3.669, mem=127M56
9.15/6.16 decisions=14395, wrong=6347, backtracks=3909, failedAssignments=3680, nogoods=674, foundSolutions=13, bestBound=-970
9.15/6.16 nFilterCalls=803020, avgTableProportion=0.9981169967131693, avgTableSize=530.1125800104605
9.15/6.16
9.15/6.19 num=146, depth=5..13, filters=219497, revisions=(195210,useless=112487), ccks=561253, wck=3.697, mem=127M56
9.15/6.19 decisions=14500, wrong=6395, backtracks=3940, failedAssignments=3705, nogoods=679, foundSolutions=13, bestBound=-970
9.15/6.19 nFilterCalls=808396, avgTableProportion=0.9981169992188692, avgTableSize=530.1133157511913
9.15/6.19
9.24/6.22 num=147, depth=7..16, filters=221242, revisions=(196838,useless=113431), ccks=565803, wck=3.727, mem=127M56
9.24/6.22 decisions=14609, wrong=6444, backtracks=3966, failedAssignments=3733, nogoods=687, foundSolutions=13, bestBound=-970
9.24/6.22 nFilterCalls=814247, avgTableProportion=0.9981169999800159, avgTableSize=530.1135392577437
9.24/6.22
9.24/6.25 num=148, depth=4..15, filters=222879, revisions=(198241,useless=114241), ccks=569460, wck=3.755, mem=129M699
9.24/6.25 decisions=14705, wrong=6489, backtracks=3993, failedAssignments=3764, nogoods=692, foundSolutions=13, bestBound=-970
9.24/6.25 nFilterCalls=819630, avgTableProportion=0.9981169999044079, avgTableSize=530.1135170747776
9.24/6.25
9.24/6.28 num=149, depth=8..15, filters=225008, revisions=(200232,useless=115363), ccks=575797, wck=3.789, mem=129M699
9.24/6.28 decisions=14847, wrong=6554, backtracks=4030, failedAssignments=3798, nogoods=698, foundSolutions=13, bestBound=-970
9.24/6.28 nFilterCalls=826689, avgTableProportion=0.9981169979749771, avgTableSize=530.1129505775449
9.24/6.28
9.34/6.32 num=150, depth=7..13, filters=227716, revisions=(202675,useless=116729), ccks=582585, wck=3.831, mem=129M699
9.34/6.32 decisions=14991, wrong=6621, backtracks=4067, failedAssignments=3835, nogoods=707, foundSolutions=13, bestBound=-970
9.34/6.32 nFilterCalls=833680, avgTableProportion=0.9981169975637781, avgTableSize=530.1128298627771
9.34/6.32
9.34/6.37 num=151, depth=8..14, filters=230136, revisions=(204850,useless=118002), ccks=588827, wck=3.875, mem=129M699
9.34/6.37 decisions=15148, wrong=6695, backtracks=4116, failedAssignments=3876, nogoods=711, foundSolutions=13, bestBound=-970
9.34/6.37 nFilterCalls=843240, avgTableProportion=0.9981169949195987, avgTableSize=530.112053507898
9.34/6.37
9.44/6.41 num=152, depth=6..16, filters=232904, revisions=(207369,useless=119482), ccks=595379, wck=3.92, mem=129M699
9.44/6.41 decisions=15315, wrong=6774, backtracks=4169, failedAssignments=3921, nogoods=720, foundSolutions=13, bestBound=-970
9.44/6.41 nFilterCalls=851231, avgTableProportion=0.998116995854071, avgTableSize=530.1123279109901
9.44/6.41
9.44/6.46 num=153, depth=8..13, filters=236329, revisions=(210213,useless=121131), ccks=603515, wck=3.966, mem=129M699
9.44/6.46 decisions=15503, wrong=6863, backtracks=4230, failedAssignments=3971, nogoods=727, foundSolutions=13, bestBound=-970
9.44/6.46 nFilterCalls=862056, avgTableProportion=0.9981169973989055, avgTableSize=530.1127815362343
9.44/6.46
9.54/6.54 num=154, depth=6..15, filters=240323, revisions=(213676,useless=123220), ccks=612799, wck=4.047, mem=129M699
9.54/6.54 decisions=15733, wrong=6974, backtracks=4315, failedAssignments=4026, nogoods=735, foundSolutions=13, bestBound=-970
9.54/6.54 nFilterCalls=877351, avgTableProportion=0.9981170004577, avgTableSize=530.1136797017385
9.54/6.54
9.54/6.59 num=155, depth=8..18, filters=244250, revisions=(216774,useless=125004), ccks=621568, wck=4.103, mem=132M341
9.54/6.59 decisions=15952, wrong=7079, backtracks=4383, failedAssignments=4087, nogoods=741, foundSolutions=13, bestBound=-970
9.54/6.59 nFilterCalls=890601, avgTableProportion=0.9981170011143474, avgTableSize=530.1138725422495
9.54/6.59
9.64/6.68 num=156, depth=4..14, filters=248409, revisions=(220473,useless=127142), ccks=630948, wck=4.193, mem=132M341
9.64/6.68 decisions=16183, wrong=7191, backtracks=4452, failedAssignments=4154, nogoods=748, foundSolutions=13, bestBound=-970
9.64/6.68 nFilterCalls=906815, avgTableProportion=0.9981169997158296, avgTableSize=530.1134619519968
9.64/6.68
9.74/6.75 num=157, depth=9..17, filters=252929, revisions=(224362,useless=129426), ccks=642288, wck=4.259, mem=132M341
9.74/6.75 decisions=16454, wrong=7321, backtracks=4541, failedAssignments=4228, nogoods=753, foundSolutions=13, bestBound=-970
9.74/6.75 nFilterCalls=922695, avgTableProportion=0.998117004610926, avgTableSize=530.1148992895811
9.74/6.75
9.85/6.83 num=158, depth=4..13, filters=257883, revisions=(228558,useless=131593), ccks=653665, wck=4.34, mem=132M341
9.85/6.83 decisions=16745, wrong=7464, backtracks=4619, failedAssignments=4309, nogoods=763, foundSolutions=13, bestBound=-970
9.85/6.83 nFilterCalls=937293, avgTableProportion=0.998117001895403, avgTableSize=530.1141019937202
9.85/6.83
9.95/6.94 num=159, depth=7..16, filters=264092, revisions=(233680,useless=134647), ccks=667276, wck=4.451, mem=134M984
9.95/6.94 decisions=17095, wrong=7635, backtracks=4745, failedAssignments=4398, nogoods=770, foundSolutions=13, bestBound=-970
9.95/6.94 nFilterCalls=961181, avgTableProportion=0.9981170030089872, avgTableSize=530.1144290201325
9.95/6.94
10.05/7.04 o -968
10.05/7.04 num=160, depth=4..71, filters=269293, revisions=(238220,useless=137202), ccks=678967, wck=4.547, mem=134M984
10.05/7.04 decisions=17400, wrong=7781, backtracks=4837, failedAssignments=4484, nogoods=784, foundSolutions=14, bestBound=-968
10.05/7.04 nFilterCalls=979081, avgTableProportion=0.9981170042462356, avgTableSize=530.114792340981
10.05/7.04
10.16/7.15 num=161, depth=8..16, filters=276323, revisions=(244246,useless=140839), ccks=695456, wck=4.659, mem=134M984
10.16/7.15 decisions=17791, wrong=7972, backtracks=4958, failedAssignments=4592, nogoods=789, foundSolutions=14, bestBound=-968
10.16/7.15 nFilterCalls=1004668, avgTableProportion=0.9981170047742297, avgTableSize=530.1149474254181
10.16/7.15
10.16/7.16 num=162, depth=8..13, filters=276976, revisions=(244906,useless=141195), ccks=697289, wck=4.671, mem=134M984
10.16/7.16 decisions=17838, wrong=7991, backtracks=4971, failedAssignments=4603, nogoods=792, foundSolutions=14, bestBound=-968
10.16/7.16 nFilterCalls=1007172, avgTableProportion=0.9981170045042713, avgTableSize=530.1148681655169
10.16/7.16
10.16/7.17 num=163, depth=8..12, filters=277536, revisions=(245455,useless=141511), ccks=698728, wck=4.683, mem=134M984
10.16/7.17 decisions=17884, wrong=8010, backtracks=4980, failedAssignments=4615, nogoods=795, foundSolutions=14, bestBound=-968
10.16/7.17 nFilterCalls=1009628, avgTableProportion=0.99811700417328, avgTableSize=530.1147709849569
10.16/7.17
10.16/7.19 num=164, depth=8..13, filters=278281, revisions=(246162,useless=141923), ccks=700165, wck=4.698, mem=134M984
10.16/7.19 decisions=17932, wrong=8030, backtracks=4991, failedAssignments=4628, nogoods=798, foundSolutions=14, bestBound=-968
10.16/7.19 nFilterCalls=1012739, avgTableProportion=0.9981170035677551, avgTableSize=530.1145931972601
10.16/7.19
10.25/7.21 num=165, depth=6..13, filters=279446, revisions=(247324,useless=142518), ccks=703139, wck=4.715, mem=134M984
10.25/7.21 decisions=17997, wrong=8058, backtracks=5010, failedAssignments=4642, nogoods=800, foundSolutions=14, bestBound=-968
10.25/7.21 nFilterCalls=1015487, avgTableProportion=0.9981170027128392, avgTableSize=530.1143421826177
10.25/7.21
10.25/7.22 num=166, depth=10..16, filters=280540, revisions=(248400,useless=143115), ccks=706178, wck=4.73, mem=134M984
10.25/7.22 decisions=18070, wrong=8089, backtracks=5031, failedAssignments=4658, nogoods=804, foundSolutions=14, bestBound=-968
10.25/7.22 nFilterCalls=1018864, avgTableProportion=0.9981170024081829, avgTableSize=530.1142527363809
10.25/7.22
10.25/7.24 num=167, depth=6..13, filters=281511, revisions=(249383,useless=143628), ccks=708716, wck=4.746, mem=134M984
10.25/7.24 decisions=18132, wrong=8117, backtracks=5048, failedAssignments=4675, nogoods=810, foundSolutions=14, bestBound=-968
10.25/7.24 nFilterCalls=1021571, avgTableProportion=0.9981170020338324, avgTableSize=530.1141428251193
10.25/7.24
10.25/7.26 num=168, depth=8..15, filters=283000, revisions=(250756,useless=144388), ccks=712779, wck=4.771, mem=137M626
10.25/7.26 decisions=18225, wrong=8158, backtracks=5077, failedAssignments=4694, nogoods=817, foundSolutions=14, bestBound=-968
10.25/7.26 nFilterCalls=1026815, avgTableProportion=0.9981170010435091, avgTableSize=530.1138520570892
10.25/7.26
10.25/7.28 num=169, depth=7..12, filters=284248, revisions=(252011,useless=145100), ccks=715904, wck=4.791, mem=137M626
10.25/7.28 decisions=18299, wrong=8191, backtracks=5094, failedAssignments=4715, nogoods=820, foundSolutions=14, bestBound=-968
10.25/7.28 nFilterCalls=1030405, avgTableProportion=0.9981170006774961, avgTableSize=530.1137445955717
10.25/7.28
10.36/7.31 num=170, depth=8..17, filters=285639, revisions=(253306,useless=145812), ccks=719389, wck=4.817, mem=137M626
10.36/7.31 decisions=18405, wrong=8236, backtracks=5119, failedAssignments=4738, nogoods=822, foundSolutions=14, bestBound=-968
10.36/7.31 nFilterCalls=1036013, avgTableProportion=0.9981169989223951, avgTableSize=530.1132292741501
10.36/7.31
10.36/7.34 num=171, depth=7..14, filters=287201, revisions=(254719,useless=146643), ccks=722873, wck=4.844, mem=137M626
10.36/7.34 decisions=18492, wrong=8275, backtracks=5142, failedAssignments=4763, nogoods=827, foundSolutions=14, bestBound=-968
10.36/7.34 nFilterCalls=1041552, avgTableProportion=0.9981169987713645, avgTableSize=530.1131849393981
10.36/7.34
10.36/7.39 num=172, depth=2..11, filters=289572, revisions=(256843,useless=147794), ccks=728752, wck=4.894, mem=137M626
10.36/7.39 decisions=18610, wrong=8332, backtracks=5183, failedAssignments=4791, nogoods=833, foundSolutions=14, bestBound=-968
10.36/7.39 nFilterCalls=1049968, avgTableProportion=0.9981169992884678, avgTableSize=530.1133367874069
10.36/7.39
10.46/7.42 num=173, depth=7..16, filters=291445, revisions=(258472,useless=148716), ccks=733152, wck=4.925, mem=137M626
10.46/7.42 decisions=18724, wrong=8385, backtracks=5216, failedAssignments=4822, nogoods=840, foundSolutions=14, bestBound=-968
10.46/7.42 nFilterCalls=1056253, avgTableProportion=0.9981169983168224, avgTableSize=530.1130515132264
10.46/7.42
10.46/7.46 num=174, depth=7..11, filters=293491, revisions=(260384,useless=149821), ccks=737835, wck=4.964, mem=137M626
10.46/7.46 decisions=18844, wrong=8440, backtracks=5251, failedAssignments=4856, nogoods=849, foundSolutions=14, bestBound=-968
10.46/7.46 nFilterCalls=1063647, avgTableProportion=0.9981169991687711, avgTableSize=530.1133016874959
10.46/7.46
10.46/7.49 num=175, depth=7..15, filters=295396, revisions=(262144,useless=150815), ccks=742443, wck=4.998, mem=137M626
10.46/7.49 decisions=18975, wrong=8501, backtracks=5293, failedAssignments=4893, nogoods=853, foundSolutions=14, bestBound=-968
10.46/7.49 nFilterCalls=1070524, avgTableProportion=0.9981169968775303, avgTableSize=530.1126289555395
10.46/7.49
10.56/7.53 num=176, depth=8..13, filters=298099, revisions=(264663,useless=152250), ccks=749036, wck=5.041, mem=137M626
10.56/7.53 decisions=19123, wrong=8570, backtracks=5336, failedAssignments=4934, nogoods=862, foundSolutions=14, bestBound=-968
10.56/7.53 nFilterCalls=1079234, avgTableProportion=0.9981169959086332, avgTableSize=530.1123444961889
10.56/7.53
10.56/7.59 num=177, depth=7..16, filters=301278, revisions=(267514,useless=153976), ccks=756114, wck=5.098, mem=140M269
10.56/7.59 decisions=19311, wrong=8659, backtracks=5391, failedAssignments=4979, nogoods=868, foundSolutions=14, bestBound=-968
10.56/7.59 nFilterCalls=1091494, avgTableProportion=0.9981169968653513, avgTableSize=530.1126254473227
10.56/7.59
10.66/7.64 num=178, depth=6..16, filters=304037, revisions=(269814,useless=155386), ccks=761980, wck=5.152, mem=140M269
10.66/7.64 decisions=19486, wrong=8742, backtracks=5442, failedAssignments=5029, nogoods=873, foundSolutions=14, bestBound=-968
10.66/7.64 nFilterCalls=1103069, avgTableProportion=0.9981169962272217, avgTableSize=530.1124381158386
10.66/7.64
10.76/7.71 num=179, depth=7..15, filters=307386, revisions=(272771,useless=157125), ccks=770440, wck=5.214, mem=140M269
10.76/7.71 decisions=19690, wrong=8839, backtracks=5506, failedAssignments=5084, nogoods=885, foundSolutions=14, bestBound=-968
10.76/7.71 nFilterCalls=1115271, avgTableProportion=0.9981169974303638, avgTableSize=530.1127914202019
10.76/7.71
10.76/7.77 num=180, depth=5..13, filters=311216, revisions=(276343,useless=159127), ccks=779663, wck=5.278, mem=140M269
10.76/7.77 decisions=19908, wrong=8945, backtracks=5569, failedAssignments=5145, nogoods=890, foundSolutions=14, bestBound=-968
10.76/7.77 nFilterCalls=1126557, avgTableProportion=0.9981169981347529, avgTableSize=530.1129982770512
10.76/7.77
10.86/7.83 num=181, depth=8..17, filters=315002, revisions=(279641,useless=160971), ccks=789355, wck=5.343, mem=140M269
10.86/7.83 decisions=20151, wrong=9062, backtracks=5646, failedAssignments=5212, nogoods=896, foundSolutions=14, bestBound=-968
10.86/7.83 nFilterCalls=1139880, avgTableProportion=0.9981169950617154, avgTableSize=530.1120960101064
10.86/7.83
10.96/7.91 num=182, depth=6..13, filters=319290, revisions=(283572,useless=163226), ccks=799931, wck=5.414, mem=140M269
10.96/7.91 decisions=20388, wrong=9177, backtracks=5710, failedAssignments=5286, nogoods=906, foundSolutions=14, bestBound=-968
10.96/7.91 nFilterCalls=1152672, avgTableProportion=0.9981169956468142, avgTableSize=530.1122678437578
10.96/7.91
10.96/7.97 num=183, depth=6..15, filters=323929, revisions=(287848,useless=165680), ccks=811570, wck=5.482, mem=142M778
10.96/7.97 decisions=20666, wrong=9311, backtracks=5793, failedAssignments=5367, nogoods=915, foundSolutions=14, bestBound=-968
10.96/7.97 nFilterCalls=1166851, avgTableProportion=0.9981169950779705, avgTableSize=530.1121008594928
10.96/7.97
11.07/8.08 num=184, depth=6..15, filters=328945, revisions=(292504,useless=168414), ccks=824133, wck=5.59, mem=142M778
11.07/8.08 decisions=20993, wrong=9471, backtracks=5889, failedAssignments=5456, nogoods=920, foundSolutions=14, bestBound=-968
11.07/8.08 nFilterCalls=1187269, avgTableProportion=0.9981169917649448, avgTableSize=530.1111281436641
11.07/8.08
11.26/8.20 num=185, depth=3..17, filters=334426, revisions=(296861,useless=171140), ccks=835959, wck=5.706, mem=142M778
11.26/8.20 decisions=21310, wrong=9627, backtracks=5997, failedAssignments=5554, nogoods=927, foundSolutions=14, bestBound=-968
11.26/8.20 nFilterCalls=1209483, avgTableProportion=0.9981169966683182, avgTableSize=530.112567931918
11.26/8.20
11.36/8.33 num=186, depth=4..15, filters=340239, revisions=(302305,useless=174400), ccks=850712, wck=5.838, mem=142M778
11.36/8.33 decisions=21700, wrong=9820, backtracks=6131, failedAssignments=5662, nogoods=928, foundSolutions=14, bestBound=-968
11.36/8.33 nFilterCalls=1232623, avgTableProportion=0.9981169937038924, avgTableSize=530.1116975750087
11.36/8.33
11.47/8.49 num=187, depth=6..17, filters=348187, revisions=(308612,useless=178230), ccks=868016, wck=5.994, mem=29M764
11.47/8.49 decisions=22130, wrong=10030, backtracks=6285, failedAssignments=5781, nogoods=933, foundSolutions=14, bestBound=-968
11.47/8.49 nFilterCalls=1263484, avgTableProportion=0.9981169974878955, avgTableSize=530.1128087098847
11.47/8.49
11.72/8.64 num=188, depth=3..13, filters=356725, revisions=(315950,useless=182252), ccks=890241, wck=6.144, mem=29M764
11.72/8.64 decisions=22622, wrong=10271, backtracks=6441, failedAssignments=5912, nogoods=941, foundSolutions=14, bestBound=-968
11.72/8.64 nFilterCalls=1291386, avgTableProportion=0.9981169959855052, avgTableSize=530.1123676422077
11.72/8.64
11.82/8.76 num=189, depth=7..19, filters=365133, revisions=(323731,useless=186794), ccks=912182, wck=6.268, mem=29M764
11.82/8.76 decisions=23119, wrong=10515, backtracks=6602, failedAssignments=6056, nogoods=952, foundSolutions=14, bestBound=-968
11.82/8.76 nFilterCalls=1316834, avgTableProportion=0.998116997321067, avgTableSize=530.1127598467233
11.82/8.76
12.02/8.92 num=190, depth=8..18, filters=375488, revisions=(332130,useless=191775), ccks=934750, wck=6.427, mem=32M353
12.02/8.92 decisions=23673, wrong=10787, backtracks=6782, failedAssignments=6214, nogoods=961, foundSolutions=14, bestBound=-968
12.02/8.92 nFilterCalls=1353572, avgTableProportion=0.9981170004997493, avgTableSize=530.1136932501558
12.02/8.92
12.13/9.10 num=191, depth=3..15, filters=385495, revisions=(341015,useless=196814), ccks=957745, wck=6.607, mem=32M353
12.13/9.10 decisions=24223, wrong=11060, backtracks=6965, failedAssignments=6388, nogoods=966, foundSolutions=14, bestBound=-968
12.13/9.10 nFilterCalls=1384672, avgTableProportion=0.9981169993684573, avgTableSize=530.1133611425666
12.13/9.10
12.32/9.28 num=192, depth=6..16, filters=396029, revisions=(349618,useless=201854), ccks=984425, wck=6.787, mem=34M943
12.32/9.28 decisions=24889, wrong=11389, backtracks=7174, failedAssignments=6579, nogoods=978, foundSolutions=14, bestBound=-968
12.32/9.28 nFilterCalls=1423978, avgTableProportion=0.9981170007798597, avgTableSize=530.1137756341741
12.32/9.28
12.52/9.47 num=193, depth=6..17, filters=408372, revisions=(360213,useless=207905), ccks=1015541, wck=6.98, mem=34M943
12.52/9.47 decisions=25594, wrong=11736, backtracks=7402, failedAssignments=6790, nogoods=985, foundSolutions=14, bestBound=-968
12.52/9.47 nFilterCalls=1462499, avgTableProportion=0.9981170025872924, avgTableSize=530.1143064029445
12.52/9.47
12.82/9.72 num=194, depth=6..16, filters=421480, revisions=(370919,useless=214423), ccks=1045840, wck=7.225, mem=37M532
12.82/9.72 decisions=26389, wrong=12130, backtracks=7688, failedAssignments=7022, nogoods=994, foundSolutions=14, bestBound=-968
12.82/9.72 nFilterCalls=1512930, avgTableProportion=0.9981170049921074, avgTableSize=530.1150125914616
12.82/9.72
13.02/9.99 num=195, depth=2..17, filters=436988, revisions=(384978,useless=222323), ccks=1087501, wck=7.5, mem=40M122
13.02/9.99 decisions=27273, wrong=12569, backtracks=7993, failedAssignments=7277, nogoods=1001, foundSolutions=14, bestBound=-968
13.02/9.99 nFilterCalls=1561306, avgTableProportion=0.9981170059083413, avgTableSize=530.115281693659
13.02/9.99
13.32/10.24 num=196, depth=8..18, filters=453273, revisions=(398770,useless=230777), ccks=1127618, wck=7.747, mem=40M122
13.32/10.24 decisions=28259, wrong=13057, backtracks=8327, failedAssignments=7558, nogoods=1009, foundSolutions=14, bestBound=-968
13.32/10.24 nFilterCalls=1617199, avgTableProportion=0.9981170150385811, avgTableSize=530.1179626007684
13.32/10.24
13.62/10.57 num=197, depth=5..15, filters=471470, revisions=(414553,useless=239941), ccks=1174368, wck=8.083, mem=42M711
13.62/10.57 decisions=29359, wrong=13603, backtracks=8668, failedAssignments=7867, nogoods=1021, foundSolutions=14, bestBound=-968
13.62/10.57 nFilterCalls=1680462, avgTableProportion=0.9981170163076564, avgTableSize=530.1183353149313
13.62/10.57
14.02/10.97 num=198, depth=3..15, filters=493770, revisions=(433836,useless=251127), ccks=1227557, wck=8.482, mem=45M300
14.02/10.97 decisions=30571, wrong=14206, backtracks=9078, failedAssignments=8207, nogoods=1025, foundSolutions=14, bestBound=-968
14.02/10.97 nFilterCalls=1752171, avgTableProportion=0.9981170183857672, avgTableSize=530.1189455823661
14.02/10.97
14.62/11.50 num=199, depth=2..18, filters=519562, revisions=(455322,useless=264062), ccks=1285292, wck=9.013, mem=47M890
14.62/11.50 decisions=31941, wrong=14889, backtracks=9549, failedAssignments=8581, nogoods=1036, foundSolutions=14, bestBound=-968
14.62/11.50 nFilterCalls=1845415, avgTableProportion=0.9981170200999593, avgTableSize=530.1194490128237
14.62/11.50
15.02/11.92 num=200, depth=6..17, filters=545433, revisions=(477007,useless=276876), ccks=1350673, wck=9.429, mem=50M479
15.02/11.92 decisions=33470, wrong=15648, backtracks=10073, failedAssignments=8992, nogoods=1045, foundSolutions=14, bestBound=-968
15.02/11.92 nFilterCalls=1930713, avgTableProportion=0.9981170274400358, avgTableSize=530.1216042985156
15.02/11.92
15.42/12.39 num=201, depth=3..17, filters=573196, revisions=(501584,useless=291064), ccks=1421656, wck=9.902, mem=53M69
15.42/12.39 decisions=35088, wrong=16453, backtracks=10598, failedAssignments=9444, nogoods=1055, foundSolutions=14, bestBound=-968
15.42/12.39 nFilterCalls=2017697, avgTableProportion=0.9981170277610854, avgTableSize=530.1216986494999
15.42/12.39
16.02/12.90 num=202, depth=6..17, filters=605183, revisions=(527565,useless=306827), ccks=1495302, wck=10.408, mem=58M248
16.02/12.90 decisions=36835, wrong=17322, backtracks=11199, failedAssignments=9941, nogoods=1066, foundSolutions=14, bestBound=-968
16.02/12.90 nFilterCalls=2124687, avgTableProportion=0.9981170348226072, avgTableSize=530.1237721132571
16.02/12.90
16.52/13.45 num=203, depth=4..15, filters=637875, revisions=(558317,useless=325434), ccks=1579654, wck=10.962, mem=60M837
16.52/13.45 decisions=38784, wrong=18294, backtracks=11819, failedAssignments=10488, nogoods=1070, foundSolutions=14, bestBound=-968
16.52/13.45 nFilterCalls=2224316, avgTableProportion=0.998117032837997, avgTableSize=530.1231893310123
16.52/13.45
16.72/13.67 o -966
16.72/13.67 num=204, depth=6..71, filters=650576, revisions=(569449,useless=331887), ccks=1612579, wck=11.177, mem=63M426
16.72/13.67 decisions=39538, wrong=18664, backtracks=12048, failedAssignments=10705, nogoods=1083, foundSolutions=15, bestBound=-966
16.72/13.67 nFilterCalls=2266839, avgTableProportion=0.9981170346749839, avgTableSize=530.1237286812164
16.72/13.67
16.82/13.76 o -961
16.82/13.76 num=205, depth=5..71, filters=655154, revisions=(573565,useless=334342), ccks=1622721, wck=11.273, mem=63M426
16.82/13.76 decisions=39810, wrong=18794, backtracks=12129, failedAssignments=10786, nogoods=1094, foundSolutions=16, bestBound=-961
16.82/13.76 nFilterCalls=2286590, avgTableProportion=0.9981170343610973, avgTableSize=530.1236365067633
16.82/13.76
16.82/13.78 num=206, depth=5..10, filters=656083, revisions=(574478,useless=334881), ccks=1624590, wck=11.293, mem=63M426
16.82/13.78 decisions=39861, wrong=18817, backtracks=12144, failedAssignments=10797, nogoods=1095, foundSolutions=16, bestBound=-961
16.82/13.78 nFilterCalls=2290016, avgTableProportion=0.9981170340970045, avgTableSize=530.1235589620335
16.82/13.78
16.92/13.80 num=207, depth=5..10, filters=656788, revisions=(575186,useless=335298), ccks=1626057, wck=11.311, mem=63M426
16.92/13.80 decisions=39908, wrong=18838, backtracks=12157, failedAssignments=10808, nogoods=1097, foundSolutions=16, bestBound=-961
16.92/13.80 nFilterCalls=2293160, avgTableProportion=0.9981170336269946, avgTableSize=530.123420956235
16.92/13.80
16.92/13.81 num=208, depth=8..13, filters=657432, revisions=(575867,useless=335675), ccks=1627748, wck=11.321, mem=63M426
16.92/13.81 decisions=39953, wrong=18856, backtracks=12165, failedAssignments=10820, nogoods=1105, foundSolutions=16, bestBound=-961
16.92/13.81 nFilterCalls=2294973, avgTableProportion=0.9981170334893378, avgTableSize=530.1233805365031
16.92/13.81
16.92/13.83 num=209, depth=7..12, filters=658201, revisions=(576596,useless=336105), ccks=1629521, wck=11.34, mem=63M426
16.92/13.83 decisions=40010, wrong=18880, backtracks=12181, failedAssignments=10833, nogoods=1111, foundSolutions=16, bestBound=-961
16.92/13.83 nFilterCalls=2298640, avgTableProportion=0.9981170329330811, avgTableSize=530.1232172066962
16.92/13.83
16.92/13.85 num=210, depth=9..14, filters=659042, revisions=(577413,useless=336594), ccks=1631175, wck=11.358, mem=63M426
16.92/13.85 decisions=40065, wrong=18902, backtracks=12192, failedAssignments=10847, nogoods=1119, foundSolutions=16, bestBound=-961
16.92/13.85 nFilterCalls=2302273, avgTableProportion=0.9981170326125989, avgTableSize=530.123123104862
16.92/13.85
16.92/13.86 num=211, depth=9..15, filters=660049, revisions=(578334,useless=337113), ccks=1633369, wck=11.372, mem=63M426
16.92/13.86 decisions=40124, wrong=18926, backtracks=12205, failedAssignments=10863, nogoods=1123, foundSolutions=16, bestBound=-961
16.92/13.86 nFilterCalls=2305267, avgTableProportion=0.9981170325378037, avgTableSize=530.1231011418633
16.92/13.86
16.92/13.89 num=212, depth=7..13, filters=661123, revisions=(579342,useless=337698), ccks=1636027, wck=11.395, mem=63M426
16.92/13.89 decisions=40191, wrong=18956, backtracks=12223, failedAssignments=10880, nogoods=1125, foundSolutions=16, bestBound=-961
16.92/13.89 nFilterCalls=2309322, avgTableProportion=0.9981170322278468, avgTableSize=530.123010130246
16.92/13.89
17.02/13.91 num=213, depth=4..9, filters=662137, revisions=(580293,useless=338218), ccks=1638289, wck=11.419, mem=66M16
17.02/13.91 decisions=40261, wrong=18988, backtracks=12241, failedAssignments=10899, nogoods=1131, foundSolutions=16, bestBound=-961
17.02/13.91 nFilterCalls=2313221, avgTableProportion=0.9981170318942053, avgTableSize=530.1229121644668
17.02/13.91
17.02/13.94 num=214, depth=4..10, filters=663517, revisions=(581698,useless=339055), ccks=1640835, wck=11.449, mem=66M16
17.02/13.94 decisions=40340, wrong=19025, backtracks=12262, failedAssignments=10920, nogoods=1133, foundSolutions=16, bestBound=-961
17.02/13.94 nFilterCalls=2318866, avgTableProportion=0.9981170313965554, avgTableSize=530.1227660416773
17.02/13.94
17.02/13.97 num=215, depth=6..13, filters=665064, revisions=(583109,useless=339908), ccks=1644302, wck=11.477, mem=66M16
17.02/13.97 decisions=40428, wrong=19066, backtracks=12292, failedAssignments=10943, nogoods=1143, foundSolutions=16, bestBound=-961
17.02/13.97 nFilterCalls=2323856, avgTableProportion=0.9981170313106786, avgTableSize=530.122740823872
17.02/13.97
17.02/14.00 num=216, depth=6..16, filters=666933, revisions=(584759,useless=340837), ccks=1648866, wck=11.508, mem=66M16
17.02/14.00 decisions=40536, wrong=19116, backtracks=12327, failedAssignments=10968, nogoods=1147, foundSolutions=16, bestBound=-961
17.02/14.00 nFilterCalls=2329905, avgTableProportion=0.998117031276398, avgTableSize=530.1227307551167
17.02/14.00
17.13/14.02 num=217, depth=6..13, filters=668434, revisions=(586188,useless=341668), ccks=1652480, wck=11.533, mem=66M16
17.13/14.02 decisions=40623, wrong=19156, backtracks=12347, failedAssignments=10996, nogoods=1152, foundSolutions=16, bestBound=-961
17.13/14.02 nFilterCalls=2334149, avgTableProportion=0.9981170311875911, avgTableSize=530.1227046773793
17.13/14.02
17.13/14.06 num=218, depth=6..14, filters=670162, revisions=(587834,useless=342568), ccks=1656680, wck=11.566, mem=66M16
17.13/14.06 decisions=40740, wrong=19211, backtracks=12387, failedAssignments=11027, nogoods=1157, foundSolutions=16, bestBound=-961
17.13/14.06 nFilterCalls=2340428, avgTableProportion=0.9981170303589258, avgTableSize=530.122461361768
17.13/14.06
17.13/14.09 num=219, depth=6..13, filters=672120, revisions=(589725,useless=343639), ccks=1661815, wck=11.595, mem=66M16
17.13/14.09 decisions=40858, wrong=19267, backtracks=12420, failedAssignments=11061, nogoods=1158, foundSolutions=16, bestBound=-961
17.13/14.09 nFilterCalls=2345585, avgTableProportion=0.9981170300735707, avgTableSize=530.1223775731854
17.13/14.09
17.23/14.13 num=220, depth=6..14, filters=674388, revisions=(591821,useless=344858), ccks=1667360, wck=11.634, mem=66M16
17.23/14.13 decisions=40992, wrong=19329, backtracks=12462, failedAssignments=11098, nogoods=1160, foundSolutions=16, bestBound=-961
17.23/14.13 nFilterCalls=2352653, avgTableProportion=0.9981170301243018, avgTableSize=530.1223924650171
17.23/14.13
17.23/14.18 num=221, depth=6..16, filters=677054, revisions=(594127,useless=346223), ccks=1673282, wck=11.685, mem=66M16
17.23/14.18 decisions=41137, wrong=19398, backtracks=12509, failedAssignments=11139, nogoods=1164, foundSolutions=16, bestBound=-961
17.23/14.18 nFilterCalls=2362160, avgTableProportion=0.9981170296880507, avgTableSize=530.1222643682054
17.23/14.18
17.32/14.22 num=222, depth=4..13, filters=679985, revisions=(596656,useless=347586), ccks=1679148, wck=11.733, mem=66M16
17.32/14.22 decisions=41286, wrong=19469, backtracks=12549, failedAssignments=11184, nogoods=1172, foundSolutions=16, bestBound=-961
17.32/14.22 nFilterCalls=2371000, avgTableProportion=0.9981170289859165, avgTableSize=530.1220582032897
17.32/14.22
17.32/14.29 num=223, depth=5..13, filters=683067, revisions=(599414,useless=349209), ccks=1686450, wck=11.795, mem=68M605
17.32/14.29 decisions=41466, wrong=19555, backtracks=12604, failedAssignments=11234, nogoods=1180, foundSolutions=16, bestBound=-961
17.32/14.29 nFilterCalls=2382648, avgTableProportion=0.9981170280743571, avgTableSize=530.121790545645
17.32/14.29
17.42/14.36 num=224, depth=3..10, filters=687139, revisions=(603155,useless=351293), ccks=1695808, wck=11.869, mem=68M605
17.42/14.36 decisions=41669, wrong=19654, backtracks=12672, failedAssignments=11289, nogoods=1192, foundSolutions=16, bestBound=-961
17.42/14.36 nFilterCalls=2395097, avgTableProportion=0.9981170271569624, avgTableSize=530.121521174299
17.42/14.36
17.53/14.43 num=225, depth=5..15, filters=691143, revisions=(606838,useless=353439), ccks=1704286, wck=11.936, mem=68M605
17.53/14.43 decisions=41883, wrong=19757, backtracks=12746, failedAssignments=11350, nogoods=1200, foundSolutions=16, bestBound=-961
17.53/14.43 nFilterCalls=2406975, avgTableProportion=0.9981170282756087, avgTableSize=530.1218496245287
17.53/14.43
17.63/14.50 num=226, depth=5..12, filters=694949, revisions=(610173,useless=355329), ccks=1713987, wck=12.006, mem=68M605
17.63/14.50 decisions=42122, wrong=19874, backtracks=12818, failedAssignments=11417, nogoods=1203, foundSolutions=16, bestBound=-961
17.63/14.50 nFilterCalls=2420201, avgTableProportion=0.9981170280989077, avgTableSize=530.1217977349816
17.63/14.50
17.73/14.62 num=227, depth=1..14, filters=700017, revisions=(614752,useless=358048), ccks=1724391, wck=12.124, mem=68M605
17.73/14.62 decisions=42388, wrong=20005, backtracks=12911, failedAssignments=11491, nogoods=1208, foundSolutions=16, bestBound=-961
17.73/14.62 nFilterCalls=2439815, avgTableProportion=0.9981170267994288, avgTableSize=530.1214161729475
17.73/14.62
17.83/14.71 num=228, depth=4..14, filters=705294, revisions=(619660,useless=360848), ccks=1737632, wck=12.214, mem=71M195
17.83/14.71 decisions=42675, wrong=20146, backtracks=12997, failedAssignments=11572, nogoods=1215, foundSolutions=16, bestBound=-961
17.83/14.71 nFilterCalls=2455637, avgTableProportion=0.9981170263569635, avgTableSize=530.1212862487412
17.83/14.71
17.93/14.83 num=229, depth=3..12, filters=711705, revisions=(625150,useless=364010), ccks=1750622, wck=12.338, mem=71M195
17.93/14.83 decisions=42979, wrong=20295, backtracks=13095, failedAssignments=11661, nogoods=1219, foundSolutions=16, bestBound=-961
17.93/14.83 nFilterCalls=2477632, avgTableProportion=0.9981170260398904, avgTableSize=530.1211931392555
17.93/14.83
18.03/14.99 num=230, depth=3..13, filters=718304, revisions=(631152,useless=367665), ccks=1765727, wck=12.497, mem=71M195
18.03/14.99 decisions=43357, wrong=20481, backtracks=13224, failedAssignments=11759, nogoods=1222, foundSolutions=16, bestBound=-961
18.03/14.99 nFilterCalls=2504843, avgTableProportion=0.9981170253155186, avgTableSize=530.120980436698
18.03/14.99
18.24/15.13 num=231, depth=4..13, filters=726190, revisions=(637677,useless=371543), ccks=1781691, wck=12.642, mem=71M195
18.24/15.13 decisions=43758, wrong=20678, backtracks=13366, failedAssignments=11867, nogoods=1227, foundSolutions=16, bestBound=-961
18.24/15.13 nFilterCalls=2531900, avgTableProportion=0.9981170250648701, avgTableSize=530.1209068288637
18.24/15.13
18.43/15.30 num=232, depth=5..15, filters=735107, revisions=(645026,useless=375935), ccks=1800461, wck=12.81, mem=73M784
18.43/15.30 decisions=44220, wrong=20905, backtracks=13526, failedAssignments=11986, nogoods=1237, foundSolutions=16, bestBound=-961
18.43/15.30 nFilterCalls=2563140, avgTableProportion=0.9981170231500197, avgTableSize=530.1203445773543
18.43/15.30
18.53/15.46 num=233, depth=3..13, filters=743833, revisions=(653200,useless=380541), ccks=1821399, wck=12.964, mem=73M784
18.53/15.46 decisions=44705, wrong=21144, backtracks=13676, failedAssignments=12117, nogoods=1241, foundSolutions=16, bestBound=-961
18.53/15.46 nFilterCalls=2587812, avgTableProportion=0.9981170220219898, avgTableSize=530.1200133549114
18.53/15.46
18.73/15.64 num=234, depth=5..16, filters=753393, revisions=(660966,useless=385001), ccks=1842610, wck=13.148, mem=76M373
18.73/15.64 decisions=45243, wrong=21410, backtracks=13848, failedAssignments=12261, nogoods=1248, foundSolutions=16, bestBound=-961
18.73/15.64 nFilterCalls=2622988, avgTableProportion=0.998117025214118, avgTableSize=530.1209506105251
18.73/15.64
18.93/15.83 num=235, depth=4..14, filters=763488, revisions=(669493,useless=390061), ccks=1865095, wck=13.335, mem=76M373
18.93/15.83 decisions=45790, wrong=21680, backtracks=14028, failedAssignments=12419, nogoods=1259, foundSolutions=16, bestBound=-961
18.93/15.83 nFilterCalls=2655727, avgTableProportion=0.9981170260415828, avgTableSize=530.121193556416
18.93/15.83
19.03/15.99 num=236, depth=6..18, filters=774559, revisions=(679028,useless=395685), ccks=1889084, wck=13.497, mem=78M963
19.03/15.99 decisions=46384, wrong=21974, backtracks=14223, failedAssignments=12593, nogoods=1267, foundSolutions=16, bestBound=-961
19.03/15.99 nFilterCalls=2687396, avgTableProportion=0.998117027396284, avgTableSize=530.1215913099521
19.03/15.99
19.33/16.25 num=237, depth=2..14, filters=785569, revisions=(688532,useless=401258), ccks=1913222, wck=13.759, mem=78M963
19.33/16.25 decisions=47038, wrong=22298, backtracks=14429, failedAssignments=12784, nogoods=1274, foundSolutions=16, bestBound=-961
19.33/16.25 nFilterCalls=2730858, avgTableProportion=0.9981170266448135, avgTableSize=530.1213706461485
19.33/16.25
19.53/16.49 num=238, depth=3..15, filters=799241, revisions=(700652,useless=408275), ccks=1946449, wck=14.002, mem=81M552
19.53/16.49 decisions=47793, wrong=22672, backtracks=14678, failedAssignments=12995, nogoods=1279, foundSolutions=16, bestBound=-961
19.53/16.49 nFilterCalls=2774644, avgTableProportion=0.9981170250291207, avgTableSize=530.1208962302911
19.53/16.49
19.83/16.76 num=239, depth=4..14, filters=815127, revisions=(714986,useless=417011), ccks=1982474, wck=14.273, mem=81M552
19.83/16.76 decisions=48648, wrong=23097, backtracks=14972, failedAssignments=13227, nogoods=1285, foundSolutions=16, bestBound=-961
19.83/16.76 nFilterCalls=2823295, avgTableProportion=0.9981170277159702, avgTableSize=530.1216851232336
19.83/16.76
20.14/17.05 num=240, depth=3..16, filters=831080, revisions=(729686,useless=425624), ccks=2019363, wck=14.561, mem=84M142
20.14/17.05 decisions=49549, wrong=23544, backtracks=15265, failedAssignments=13482, nogoods=1300, foundSolutions=16, bestBound=-961
20.14/17.05 nFilterCalls=2872673, avgTableProportion=0.9981170282346397, avgTableSize=530.1218373967382
20.14/17.05
20.43/17.39 num=241, depth=4..14, filters=849080, revisions=(744686,useless=434645), ccks=2060318, wck=14.896, mem=86M731
20.43/17.39 decisions=50546, wrong=24040, backtracks=15591, failedAssignments=13763, nogoods=1316, foundSolutions=16, bestBound=-961
20.43/17.39 nFilterCalls=2931204, avgTableProportion=0.9981170318618571, avgTableSize=530.122902397786
20.43/17.39
20.63/17.58 o 6
20.63/17.58 num=242, depth=2..71, filters=858457, revisions=(752479,useless=439225), ccks=2079120, wck=15.089, mem=86M731
20.63/17.58 decisions=50976, wrong=24244, backtracks=15716, failedAssignments=13883, nogoods=1317, foundSolutions=17, bestBound=6
20.63/17.58 nFilterCalls=2963227, avgTableProportion=0.9981170305301444, avgTableSize=530.1225113702055
20.63/17.58
20.63/17.58 o 8
20.63/17.58 num=243, depth=19..71, filters=858705, revisions=(752757,useless=439370), ccks=2080055, wck=15.093, mem=86M731
20.63/17.58 decisions=51008, wrong=24250, backtracks=15717, failedAssignments=13888, nogoods=1322, foundSolutions=18, bestBound=8
20.63/17.58 nFilterCalls=2964404, avgTableProportion=0.9981170305287719, avgTableSize=530.1225109667913
20.63/17.58
20.63/17.60 num=244, depth=12..16, filters=859281, revisions=(753350,useless=439706), ccks=2082011, wck=15.104, mem=86M731
20.63/17.60 decisions=51059, wrong=24269, backtracks=15730, failedAssignments=13899, nogoods=1325, foundSolutions=18, bestBound=8
20.63/17.60 nFilterCalls=2966695, avgTableProportion=0.9981170304143502, avgTableSize=530.1224773695982
20.63/17.60
20.74/17.60 num=245, depth=13..17, filters=859823, revisions=(753858,useless=439964), ccks=2083980, wck=15.112, mem=86M731
20.74/17.60 decisions=51104, wrong=24285, backtracks=15738, failedAssignments=13910, nogoods=1328, foundSolutions=18, bestBound=8
20.74/17.60 nFilterCalls=2968718, avgTableProportion=0.9981170301496068, avgTableSize=530.1223996351287
20.74/17.60
20.74/17.62 num=246, depth=10..16, filters=860612, revisions=(754492,useless=440328), ccks=2086121, wck=15.127, mem=86M731
20.74/17.62 decisions=51157, wrong=24305, backtracks=15751, failedAssignments=13922, nogoods=1333, foundSolutions=18, bestBound=8
20.74/17.62 nFilterCalls=2972442, avgTableProportion=0.998117030310231, avgTableSize=530.1224467962705
20.74/17.62
20.74/17.63 o 12
20.74/17.63 num=247, depth=15..71, filters=861301, revisions=(755046,useless=440623), ccks=2088214, wck=15.135, mem=86M731
20.74/17.63 decisions=51216, wrong=24326, backtracks=15766, failedAssignments=13933, nogoods=1334, foundSolutions=19, bestBound=12
20.74/17.63 nFilterCalls=2975679, avgTableProportion=0.9981170304643346, avgTableSize=530.1224920429926
20.74/17.63
20.74/17.63 o 16
20.74/17.63 num=248, depth=73..71, filters=861415, revisions=(755243,useless=440748), ccks=2088733, wck=15.138, mem=86M731
20.74/17.63 decisions=51234, wrong=24326, backtracks=15766, failedAssignments=13933, nogoods=1334, foundSolutions=20, bestBound=16
20.74/17.63 nFilterCalls=2976236, avgTableProportion=0.9981170304354662, avgTableSize=530.1224835664914
20.74/17.63
20.74/17.64 num=249, depth=11..17, filters=862171, revisions=(755899,useless=441145), ccks=2090609, wck=15.153, mem=86M731
20.74/17.64 decisions=51285, wrong=24345, backtracks=15778, failedAssignments=13944, nogoods=1336, foundSolutions=20, bestBound=16
20.74/17.64 nFilterCalls=2979549, avgTableProportion=0.9981170303545558, avgTableSize=530.1224598085147
20.74/17.64
20.74/17.65 num=250, depth=10..13, filters=862742, revisions=(756465,useless=441434), ccks=2092632, wck=15.162, mem=89M321
20.74/17.65 decisions=51332, wrong=24363, backtracks=15786, failedAssignments=13955, nogoods=1342, foundSolutions=20, bestBound=16
20.74/17.65 nFilterCalls=2981519, avgTableProportion=0.998117030158945, avgTableSize=530.1224023727502
20.74/17.65
20.74/17.66 num=251, depth=11..16, filters=863375, revisions=(757082,useless=441748), ccks=2094706, wck=15.172, mem=89M321
20.74/17.66 decisions=51384, wrong=24383, backtracks=15795, failedAssignments=13967, nogoods=1346, foundSolutions=20, bestBound=16
20.74/17.66 nFilterCalls=2983892, avgTableProportion=0.9981170299952037, avgTableSize=530.1223542943243
20.74/17.66
20.74/17.67 num=252, depth=9..15, filters=864053, revisions=(757738,useless=442074), ccks=2097259, wck=15.182, mem=89M321
20.74/17.67 decisions=51440, wrong=24406, backtracks=15808, failedAssignments=13980, nogoods=1350, foundSolutions=20, bestBound=16
20.74/17.67 nFilterCalls=2986309, avgTableProportion=0.9981170298301472, avgTableSize=530.1223058297048
20.74/17.67
20.74/17.69 num=253, depth=9..14, filters=864942, revisions=(758554,useless=442516), ccks=2099817, wck=15.199, mem=89M321
20.74/17.69 decisions=51503, wrong=24433, backtracks=15828, failedAssignments=13994, nogoods=1354, foundSolutions=20, bestBound=16
20.74/17.69 nFilterCalls=2989945, avgTableProportion=0.9981170295833093, avgTableSize=530.1222333521185
20.74/17.69
20.85/17.70 num=254, depth=14..19, filters=865701, revisions=(759208,useless=442859), ccks=2102179, wck=15.208, mem=89M321
20.85/17.70 decisions=51573, wrong=24461, backtracks=15845, failedAssignments=14010, nogoods=1359, foundSolutions=20, bestBound=16
20.85/17.70 nFilterCalls=2993347, avgTableProportion=0.9981170296358355, avgTableSize=530.1222487736972
20.85/17.70
20.85/17.71 num=255, depth=9..13, filters=866511, revisions=(760002,useless=443282), ccks=2105066, wck=15.22, mem=89M321
20.85/17.71 decisions=51635, wrong=24487, backtracks=15858, failedAssignments=14027, nogoods=1361, foundSolutions=20, bestBound=16
20.85/17.71 nFilterCalls=2995839, avgTableProportion=0.9981170295123282, avgTableSize=530.1222125087496
20.85/17.71
20.85/17.74 num=256, depth=8..15, filters=867809, revisions=(761132,useless=443931), ccks=2108561, wck=15.245, mem=89M321
20.85/17.74 decisions=51724, wrong=24527, backtracks=15884, failedAssignments=14046, nogoods=1365, foundSolutions=20, bestBound=16
20.85/17.74 nFilterCalls=3001387, avgTableProportion=0.998117029337546, avgTableSize=530.1221611874777
20.85/17.74
20.85/17.75 num=257, depth=14..18, filters=868965, revisions=(762100,useless=444459), ccks=2112194, wck=15.257, mem=89M321
20.85/17.75 decisions=51816, wrong=24566, backtracks=15910, failedAssignments=14067, nogoods=1370, foundSolutions=20, bestBound=16
20.85/17.75 nFilterCalls=3005675, avgTableProportion=0.9981170299496276, avgTableSize=530.1223409051212
20.85/17.75
20.85/17.77 num=258, depth=11..18, filters=870148, revisions=(763100,useless=444999), ccks=2116105, wck=15.278, mem=89M321
20.85/17.77 decisions=51907, wrong=24605, backtracks=15935, failedAssignments=14090, nogoods=1377, foundSolutions=20, bestBound=16
20.85/17.77 nFilterCalls=3011428, avgTableProportion=0.998117029541557, avgTableSize=530.1222210858105
20.85/17.77
20.85/17.79 num=259, depth=12..18, filters=871508, revisions=(764212,useless=445610), ccks=2120579, wck=15.294, mem=89M321
20.85/17.79 decisions=52014, wrong=24652, backtracks=15966, failedAssignments=14115, nogoods=1382, foundSolutions=20, bestBound=16
20.85/17.79 nFilterCalls=3016510, avgTableProportion=0.9981170300393265, avgTableSize=530.1223672389616
20.85/17.79
20.95/17.81 num=260, depth=11..17, filters=872720, revisions=(765228,useless=446155), ccks=2123993, wck=15.317, mem=89M321
20.95/17.81 decisions=52112, wrong=24695, backtracks=15994, failedAssignments=14143, nogoods=1387, foundSolutions=20, bestBound=16
20.95/17.81 nFilterCalls=3022498, avgTableProportion=0.9981170296058114, avgTableSize=530.1222399485458
20.95/17.81
20.95/17.85 num=261, depth=8..15, filters=874638, revisions=(766859,useless=447030), ccks=2129232, wck=15.355, mem=89M321
20.95/17.85 decisions=52232, wrong=24751, backtracks=16033, failedAssignments=14174, nogoods=1395, foundSolutions=20, bestBound=16
20.95/17.85 nFilterCalls=3030576, avgTableProportion=0.9981170291546648, avgTableSize=530.1221074805582
20.95/17.85
20.95/17.85 o 17
20.95/17.85 num=262, depth=16..71, filters=874900, revisions=(767073,useless=447131), ccks=2130201, wck=15.36, mem=89M321
20.95/17.85 decisions=52260, wrong=24756, backtracks=16034, failedAssignments=14178, nogoods=1399, foundSolutions=21, bestBound=17
20.95/17.85 nFilterCalls=3031661, avgTableProportion=0.9981170293237528, avgTableSize=530.1221571277264
20.95/17.85
20.95/17.88 num=263, depth=10..18, filters=876949, revisions=(768806,useless=448034), ccks=2136322, wck=15.387, mem=89M321
20.95/17.88 decisions=52400, wrong=24820, backtracks=16077, failedAssignments=14215, nogoods=1401, foundSolutions=21, bestBound=17
20.95/17.88 nFilterCalls=3039677, avgTableProportion=0.9981170290871122, avgTableSize=530.1220876428647
20.95/17.88
20.95/17.89 num=264, depth=12..16, filters=877556, revisions=(769309,useless=448314), ccks=2138292, wck=15.4, mem=89M321
20.95/17.89 decisions=52454, wrong=24841, backtracks=16089, failedAssignments=14226, nogoods=1408, foundSolutions=21, bestBound=17
20.95/17.89 nFilterCalls=3042825, avgTableProportion=0.9981170288405028, avgTableSize=530.1220152325553
20.95/17.89
21.05/17.90 num=265, depth=12..19, filters=878233, revisions=(769823,useless=448593), ccks=2140164, wck=15.41, mem=89M321
21.05/17.90 decisions=52509, wrong=24862, backtracks=16105, failedAssignments=14238, nogoods=1411, foundSolutions=21, bestBound=17
21.05/17.90 nFilterCalls=3045683, avgTableProportion=0.9981170294681456, avgTableSize=530.1221995197793
21.05/17.90
21.05/17.92 num=266, depth=7..14, filters=879065, revisions=(770634,useless=449035), ccks=2142739, wck=15.425, mem=91M910
21.05/17.92 decisions=52563, wrong=24884, backtracks=16115, failedAssignments=14251, nogoods=1416, foundSolutions=21, bestBound=17
21.05/17.92 nFilterCalls=3048615, avgTableProportion=0.9981170292242866, avgTableSize=530.1221279171033
21.05/17.92
21.05/17.93 num=267, depth=11..15, filters=879878, revisions=(771310,useless=449434), ccks=2145309, wck=15.44, mem=91M910
21.05/17.93 decisions=52623, wrong=24908, backtracks=16128, failedAssignments=14265, nogoods=1423, foundSolutions=21, bestBound=17
21.05/17.93 nFilterCalls=3052462, avgTableProportion=0.9981170291474983, avgTableSize=530.1221053693707
21.05/17.93
21.05/17.94 o 18
21.05/17.94 num=268, depth=13..71, filters=880540, revisions=(771827,useless=449709), ccks=2147063, wck=15.448, mem=91M910
21.05/17.94 decisions=52672, wrong=24925, backtracks=16137, failedAssignments=14275, nogoods=1425, foundSolutions=22, bestBound=18
21.05/17.94 nFilterCalls=3055296, avgTableProportion=0.9981170290003077, avgTableSize=530.1220621504431
21.05/17.94
21.05/17.94 o 20
21.05/17.94 num=269, depth=12..71, filters=880882, revisions=(772193,useless=449921), ccks=2148185, wck=15.453, mem=91M910
21.05/17.94 decisions=52702, wrong=24933, backtracks=16141, failedAssignments=14281, nogoods=1429, foundSolutions=23, bestBound=20
21.05/17.94 nFilterCalls=3056658, avgTableProportion=0.9981170290089458, avgTableSize=530.1220646863339
21.05/17.94
21.05/17.96 num=270, depth=10..14, filters=881561, revisions=(772819,useless=450298), ccks=2149941, wck=15.465, mem=91M910
21.05/17.96 decisions=52750, wrong=24952, backtracks=16154, failedAssignments=14292, nogoods=1432, foundSolutions=23, bestBound=20
21.05/17.96 nFilterCalls=3059183, avgTableProportion=0.998117029114474, avgTableSize=530.1220956706414
21.05/17.96
21.05/17.97 num=271, depth=9..15, filters=882120, revisions=(773333,useless=450551), ccks=2151594, wck=15.475, mem=91M910
21.05/17.97 decisions=52793, wrong=24969, backtracks=16163, failedAssignments=14303, nogoods=1433, foundSolutions=23, bestBound=20
21.05/17.97 nFilterCalls=3061150, avgTableProportion=0.9981170291421101, avgTableSize=530.1221037845254
21.05/17.97
21.05/17.98 num=272, depth=11..18, filters=882796, revisions=(773892,useless=450844), ccks=2153781, wck=15.486, mem=91M910
21.05/17.98 decisions=52849, wrong=24991, backtracks=16181, failedAssignments=14315, nogoods=1436, foundSolutions=23, bestBound=20
21.05/17.98 nFilterCalls=3064259, avgTableProportion=0.9981170293992798, avgTableSize=530.122179293591
21.05/17.98
21.05/17.99 num=273, depth=9..18, filters=883457, revisions=(774454,useless=451142), ccks=2155755, wck=15.5, mem=91M910
21.05/17.99 decisions=52900, wrong=25012, backtracks=16195, failedAssignments=14328, nogoods=1437, foundSolutions=23, bestBound=20
21.05/17.99 nFilterCalls=3067352, avgTableProportion=0.9981170297025134, avgTableSize=530.1222683278606
21.05/17.99
21.05/18.00 num=274, depth=12..17, filters=884051, revisions=(774977,useless=451425), ccks=2157549, wck=15.508, mem=91M910
21.05/18.00 decisions=52953, wrong=25032, backtracks=16205, failedAssignments=14342, nogoods=1441, foundSolutions=23, bestBound=20
21.05/18.00 nFilterCalls=3069513, avgTableProportion=0.9981170299940804, avgTableSize=530.1223539369274
21.05/18.00
21.16/18.02 num=275, depth=10..15, filters=884855, revisions=(775641,useless=451811), ccks=2159563, wck=15.526, mem=91M910
21.16/18.02 decisions=53017, wrong=25059, backtracks=16226, failedAssignments=14358, nogoods=1445, foundSolutions=23, bestBound=20
21.16/18.02 nFilterCalls=3073555, avgTableProportion=0.9981170301796288, avgTableSize=530.1224084163127
21.16/18.02
21.16/18.03 num=276, depth=10..15, filters=885850, revisions=(776530,useless=452290), ccks=2162832, wck=15.543, mem=91M910
21.16/18.03 decisions=53090, wrong=25090, backtracks=16245, failedAssignments=14375, nogoods=1452, foundSolutions=23, bestBound=20
21.16/18.03 nFilterCalls=3077330, avgTableProportion=0.998117029846406, avgTableSize=530.1223105744265
21.16/18.03
21.16/18.05 num=277, depth=9..15, filters=887004, revisions=(777531,useless=452843), ccks=2165886, wck=15.56, mem=91M910
21.16/18.05 decisions=53164, wrong=25122, backtracks=16264, failedAssignments=14394, nogoods=1454, foundSolutions=23, bestBound=20
21.16/18.05 nFilterCalls=3080991, avgTableProportion=0.9981170301064263, avgTableSize=530.1223869203124
21.16/18.05
21.16/18.07 num=278, depth=11..18, filters=888055, revisions=(778428,useless=453338), ccks=2169073, wck=15.575, mem=91M910
21.16/18.07 decisions=53249, wrong=25158, backtracks=16285, failedAssignments=14415, nogoods=1457, foundSolutions=23, bestBound=20
21.16/18.07 nFilterCalls=3085310, avgTableProportion=0.9981170303983051, avgTableSize=530.1224726202554
21.16/18.07
21.16/18.09 num=279, depth=9..15, filters=889561, revisions=(779641,useless=454003), ccks=2173913, wck=15.598, mem=91M910
21.16/18.09 decisions=53345, wrong=25201, backtracks=16317, failedAssignments=14438, nogoods=1459, foundSolutions=23, bestBound=20
21.16/18.09 nFilterCalls=3090709, avgTableProportion=0.9981170300674763, avgTableSize=530.1223754808362
21.16/18.09
21.26/18.11 num=280, depth=10..17, filters=890934, revisions=(780763,useless=454638), ccks=2177492, wck=15.616, mem=91M910
21.26/18.11 decisions=53442, wrong=25242, backtracks=16343, failedAssignments=14463, nogoods=1461, foundSolutions=23, bestBound=20
21.26/18.11 nFilterCalls=3095434, avgTableProportion=0.9981170301211473, avgTableSize=530.1223912381914
21.26/18.11
21.26/18.13 num=281, depth=10..18, filters=892497, revisions=(782107,useless=455328), ccks=2182485, wck=15.641, mem=91M910
21.26/18.13 decisions=53562, wrong=25296, backtracks=16382, failedAssignments=14491, nogoods=1470, foundSolutions=23, bestBound=20
21.26/18.13 nFilterCalls=3101639, avgTableProportion=0.9981170303271074, avgTableSize=530.1224517102087
21.26/18.13
21.26/18.16 num=282, depth=9..15, filters=894110, revisions=(783452,useless=456069), ccks=2187067, wck=15.669, mem=91M910
21.26/18.16 decisions=53671, wrong=25345, backtracks=16411, failedAssignments=14522, nogoods=1475, foundSolutions=23, bestBound=20
21.26/18.16 nFilterCalls=3108092, avgTableProportion=0.9981170298853187, avgTableSize=530.1223219904688
21.26/18.16
21.26/18.18 num=283, depth=11..16, filters=895924, revisions=(784974,useless=456870), ccks=2193306, wck=15.692, mem=94M499
21.26/18.18 decisions=53803, wrong=25405, backtracks=16445, failedAssignments=14556, nogoods=1484, foundSolutions=23, bestBound=20
21.26/18.18 nFilterCalls=3114504, avgTableProportion=0.9981170304929625, avgTableSize=530.1225004045588
21.26/18.18
21.35/18.22 num=284, depth=8..17, filters=897664, revisions=(786536,useless=457742), ccks=2198975, wck=15.725, mem=94M499
21.35/18.22 decisions=53942, wrong=25470, backtracks=16486, failedAssignments=14593, nogoods=1491, foundSolutions=23, bestBound=20
21.35/18.22 nFilterCalls=3122374, avgTableProportion=0.9981170302289207, avgTableSize=530.1224228743898
21.35/18.22
21.35/18.25 num=285, depth=10..17, filters=900075, revisions=(788511,useless=458796), ccks=2205997, wck=15.759, mem=94M499
21.35/18.25 decisions=54110, wrong=25548, backtracks=16544, failedAssignments=14634, nogoods=1497, foundSolutions=23, bestBound=20
21.35/18.25 nFilterCalls=3130615, avgTableProportion=0.9981170306620331, avgTableSize=530.1225500420844
21.35/18.25
21.35/18.30 num=286, depth=8..16, filters=902663, revisions=(790660,useless=460065), ccks=2213032, wck=15.805, mem=94M499
21.35/18.30 decisions=54280, wrong=25628, backtracks=16598, failedAssignments=14679, nogoods=1503, foundSolutions=23, bestBound=20
21.35/18.30 nFilterCalls=3141433, avgTableProportion=0.9981170303500853, avgTableSize=530.1224584449199
21.35/18.30
21.45/18.35 num=287, depth=8..15, filters=905722, revisions=(793284,useless=461590), ccks=2222141, wck=15.859, mem=94M499
21.45/18.35 decisions=54488, wrong=25726, backtracks=16658, failedAssignments=14729, nogoods=1506, foundSolutions=23, bestBound=20
21.45/18.35 nFilterCalls=3154400, avgTableProportion=0.9981170302864847, avgTableSize=530.1224397666751
21.45/18.35
21.55/18.41 num=288, depth=9..17, filters=908855, revisions=(795769,useless=462980), ccks=2231652, wck=15.917, mem=94M499
21.55/18.41 decisions=54686, wrong=25820, backtracks=16720, failedAssignments=14784, nogoods=1515, foundSolutions=23, bestBound=20
21.55/18.41 nFilterCalls=3167619, avgTableProportion=0.998117029893485, avgTableSize=530.1223243704499
21.55/18.41
21.55/18.45 num=289, depth=10..18, filters=912387, revisions=(798551,useless=464551), ccks=2241244, wck=15.962, mem=94M499
21.55/18.45 decisions=54922, wrong=25933, backtracks=16800, failedAssignments=14845, nogoods=1516, foundSolutions=23, bestBound=20
21.55/18.45 nFilterCalls=3180967, avgTableProportion=0.9981170310446991, avgTableSize=530.1226623853689
21.55/18.45
21.67/18.52 num=290, depth=7..13, filters=915866, revisions=(801718,useless=466397), ccks=2251807, wck=16.032, mem=97M89
21.67/18.52 decisions=55178, wrong=26057, backtracks=16879, failedAssignments=14912, nogoods=1525, foundSolutions=23, bestBound=20
21.67/18.52 nFilterCalls=3195819, avgTableProportion=0.9981170300026964, avgTableSize=530.1223564288215
21.67/18.52
21.67/18.59 num=291, depth=6..13, filters=920467, revisions=(805925,useless=468581), ccks=2262459, wck=16.103, mem=97M89
21.67/18.59 decisions=55455, wrong=26192, backtracks=16965, failedAssignments=14986, nogoods=1532, foundSolutions=23, bestBound=20
21.67/18.59 nFilterCalls=3210478, avgTableProportion=0.9981170303457586, avgTableSize=530.1224571543552
21.67/18.59
21.77/18.67 num=292, depth=8..18, filters=924893, revisions=(809801,useless=470771), ccks=2275358, wck=16.177, mem=97M89
21.77/18.67 decisions=55767, wrong=26343, backtracks=17068, failedAssignments=15067, nogoods=1536, foundSolutions=23, bestBound=20
21.77/18.67 nFilterCalls=3228232, avgTableProportion=0.9981170300080674, avgTableSize=530.1223579965753
21.77/18.67
21.87/18.77 num=293, depth=9..16, filters=931245, revisions=(814328,useless=473536), ccks=2289882, wck=16.282, mem=97M89
21.87/18.77 decisions=56114, wrong=26512, backtracks=17182, failedAssignments=15156, nogoods=1546, foundSolutions=23, bestBound=20
21.87/18.77 nFilterCalls=3254084, avgTableProportion=0.9981170319681913, avgTableSize=530.1229335198477
21.87/18.77
21.97/18.89 num=294, depth=8..16, filters=937340, revisions=(819155,useless=476357), ccks=2304304, wck=16.397, mem=97M89
21.97/18.89 decisions=56465, wrong=26683, backtracks=17292, failedAssignments=15254, nogoods=1554, foundSolutions=23, bestBound=20
21.97/18.89 nFilterCalls=3281767, avgTableProportion=0.9981170324350457, avgTableSize=530.1230705897159
21.97/18.89
22.07/19.00 num=295, depth=8..17, filters=943277, revisions=(824220,useless=479261), ccks=2321424, wck=16.504, mem=99M678
22.07/19.00 decisions=56860, wrong=26875, backtracks=17422, failedAssignments=15362, nogoods=1561, foundSolutions=23, bestBound=20
22.07/19.00 nFilterCalls=3304876, avgTableProportion=0.9981170340828428, avgTableSize=530.1235544086979
22.07/19.00
22.28/19.11 num=296, depth=8..16, filters=949968, revisions=(829611,useless=482248), ccks=2339316, wck=16.623, mem=99M678
22.28/19.11 decisions=57281, wrong=27081, backtracks=17553, failedAssignments=15481, nogoods=1572, foundSolutions=23, bestBound=20
22.28/19.11 nFilterCalls=3329466, avgTableProportion=0.9981170344468163, avgTableSize=530.1236612718076
22.28/19.11
22.37/19.29 num=297, depth=5..13, filters=958045, revisions=(835853,useless=485734), ccks=2362251, wck=16.796, mem=99M678
22.37/19.29 decisions=57745, wrong=27309, backtracks=17706, failedAssignments=15612, nogoods=1577, foundSolutions=23, bestBound=20
22.37/19.29 nFilterCalls=3364627, avgTableProportion=0.9981170334699934, avgTableSize=530.1233744483416
22.37/19.29
22.47/19.39 num=298, depth=8..18, filters=965149, revisions=(842132,useless=489177), ccks=2383488, wck=16.898, mem=102M268
22.47/19.39 decisions=58269, wrong=27565, backtracks=17864, failedAssignments=15756, nogoods=1584, foundSolutions=23, bestBound=20
22.47/19.39 nFilterCalls=3389004, avgTableProportion=0.998117035181943, avgTableSize=530.1238771037155
22.47/19.39
22.68/19.54 num=299, depth=6..15, filters=973497, revisions=(849482,useless=493224), ccks=2410708, wck=17.044, mem=102M268
22.68/19.54 decisions=58823, wrong=27838, backtracks=18036, failedAssignments=15914, nogoods=1590, foundSolutions=23, bestBound=20
22.68/19.54 nFilterCalls=3419591, avgTableProportion=0.998117034791525, avgTableSize=530.1237624616512
22.68/19.54
22.68/19.56 o 21
22.68/19.56 num=300, depth=11..71, filters=974968, revisions=(850635,useless=493871), ccks=2414248, wck=17.066, mem=102M268
22.68/19.56 decisions=58919, wrong=27878, backtracks=18060, failedAssignments=15938, nogoods=1600, foundSolutions=24, bestBound=21
22.68/19.56 nFilterCalls=3425164, avgTableProportion=0.9981170352223482, avgTableSize=530.1238889583097
22.68/19.56
22.89/19.72 num=301, depth=9..18, filters=985254, revisions=(858631,useless=498697), ccks=2439169, wck=17.231, mem=104M857
22.89/19.72 decisions=59585, wrong=28206, backtracks=18282, failedAssignments=16129, nogoods=1610, foundSolutions=24, bestBound=21
22.89/19.72 nFilterCalls=3469484, avgTableProportion=0.9981170373085982, avgTableSize=530.1245015108875
22.89/19.72
22.89/19.74 num=302, depth=9..14, filters=985936, revisions=(859274,useless=499054), ccks=2441291, wck=17.245, mem=104M857
22.89/19.74 decisions=59634, wrong=28226, backtracks=18293, failedAssignments=16140, nogoods=1617, foundSolutions=24, bestBound=21
22.89/19.74 nFilterCalls=3472379, avgTableProportion=0.9981170371993063, avgTableSize=530.1244694199568
22.89/19.74
22.89/19.75 num=303, depth=10..15, filters=986874, revisions=(860050,useless=499456), ccks=2443756, wck=17.26, mem=104M857
22.89/19.75 decisions=59700, wrong=28254, backtracks=18314, failedAssignments=16152, nogoods=1622, foundSolutions=24, bestBound=21
22.89/19.75 nFilterCalls=3475841, avgTableProportion=0.998117037312076, avgTableSize=530.1245025304668
22.89/19.75
22.89/19.77 num=304, depth=8..16, filters=987827, revisions=(860765,useless=499895), ccks=2445838, wck=17.28, mem=104M857
22.89/19.77 decisions=59754, wrong=28276, backtracks=18327, failedAssignments=16165, nogoods=1629, foundSolutions=24, bestBound=21
22.89/19.77 nFilterCalls=3480494, avgTableProportion=0.9981170373117763, avgTableSize=530.1245024413201
22.89/19.77
22.89/19.79 num=305, depth=5..13, filters=988731, revisions=(861543,useless=500304), ccks=2448097, wck=17.298, mem=104M857
22.89/19.79 decisions=59811, wrong=28302, backtracks=18346, failedAssignments=16179, nogoods=1632, foundSolutions=24, bestBound=21
22.89/19.79 nFilterCalls=3484543, avgTableProportion=0.9981170372012262, avgTableSize=530.124469980712
22.89/19.79
22.99/19.80 num=306, depth=10..16, filters=989588, revisions=(862278,useless=500711), ccks=2450463, wck=17.312, mem=104M857
22.99/19.80 decisions=59882, wrong=28332, backtracks=18367, failedAssignments=16195, nogoods=1636, foundSolutions=24, bestBound=21
22.99/19.80 nFilterCalls=3488188, avgTableProportion=0.9981170373704413, avgTableSize=530.1245196646511
22.99/19.80
22.99/19.82 num=307, depth=8..14, filters=990687, revisions=(863189,useless=501185), ccks=2454369, wck=17.333, mem=104M857
22.99/19.82 decisions=59964, wrong=28368, backtracks=18389, failedAssignments=16212, nogoods=1642, foundSolutions=24, bestBound=21
22.99/19.82 nFilterCalls=3492774, avgTableProportion=0.9981170373733244, avgTableSize=530.1245205100588
22.99/19.82
22.99/19.84 num=308, depth=9..14, filters=991664, revisions=(864022,useless=501643), ccks=2456905, wck=17.351, mem=104M857
22.99/19.84 decisions=60038, wrong=28400, backtracks=18408, failedAssignments=16231, nogoods=1648, foundSolutions=24, bestBound=21
22.99/19.84 nFilterCalls=3496887, avgTableProportion=0.9981170373332472, avgTableSize=530.1245087416322
22.99/19.84
22.99/19.86 num=309, depth=6..13, filters=992688, revisions=(865001,useless=502177), ccks=2460714, wck=17.373, mem=104M857
22.99/19.86 decisions=60115, wrong=28435, backtracks=18431, failedAssignments=16252, nogoods=1650, foundSolutions=24, bestBound=21
22.99/19.86 nFilterCalls=3501100, avgTableProportion=0.998117037300609, avgTableSize=530.1244991574076
22.99/19.86
22.99/19.89 num=310, depth=5..10, filters=993755, revisions=(865992,useless=502791), ccks=2463262, wck=17.399, mem=104M857
22.99/19.89 decisions=60193, wrong=28471, backtracks=18453, failedAssignments=16275, nogoods=1658, foundSolutions=24, bestBound=21
22.99/19.89 nFilterCalls=3506497, avgTableProportion=0.9981170369306338, avgTableSize=530.1243905242184
22.99/19.89
23.09/19.91 num=311, depth=8..15, filters=995186, revisions=(867285,useless=503509), ccks=2468046, wck=17.421, mem=104M857
23.09/19.91 decisions=60294, wrong=28516, backtracks=18482, failedAssignments=16300, nogoods=1662, foundSolutions=24, bestBound=21
23.09/19.91 nFilterCalls=3511479, avgTableProportion=0.9981170368746617, avgTableSize=530.1243740885251
23.09/19.91
23.09/19.94 num=312, depth=7..12, filters=996860, revisions=(868831,useless=504440), ccks=2472879, wck=17.45, mem=104M857
23.09/19.94 decisions=60390, wrong=28559, backtracks=18504, failedAssignments=16328, nogoods=1669, foundSolutions=24, bestBound=21
23.09/19.94 nFilterCalls=3517288, avgTableProportion=0.9981170365924193, avgTableSize=530.1242912152773
23.09/19.94
23.09/19.97 num=313, depth=9..15, filters=998661, revisions=(870216,useless=505249), ccks=2476949, wck=17.479, mem=104M857
23.09/19.97 decisions=60508, wrong=28612, backtracks=18540, failedAssignments=16359, nogoods=1673, foundSolutions=24, bestBound=21
23.09/19.97 nFilterCalls=3524243, avgTableProportion=0.998117036666406, avgTableSize=530.1243129375586
23.09/19.97
23.09/20.00 num=314, depth=9..15, filters=1000537, revisions=(871647,useless=506008), ccks=2482405, wck=17.512, mem=107M446
23.09/20.00 decisions=60638, wrong=28671, backtracks=18578, failedAssignments=16393, nogoods=1676, foundSolutions=24, bestBound=21
23.09/20.00 nFilterCalls=3531918, avgTableProportion=0.9981170369777775, avgTableSize=530.1244043604636
23.09/20.00
23.20/20.05 num=315, depth=6..13, filters=1002839, revisions=(873532,useless=507043), ccks=2488882, wck=17.562, mem=107M446
23.20/20.05 decisions=60772, wrong=28734, backtracks=18619, failedAssignments=16430, nogoods=1679, foundSolutions=24, bestBound=21
23.20/20.05 nFilterCalls=3541694, avgTableProportion=0.9981170364237212, avgTableSize=530.1242416764408
23.20/20.05
23.20/20.10 num=316, depth=9..15, filters=1005410, revisions=(875620,useless=508229), ccks=2495905, wck=17.604, mem=107M446
23.20/20.10 decisions=60943, wrong=28813, backtracks=18671, failedAssignments=16471, nogoods=1684, foundSolutions=24, bestBound=21
23.20/20.10 nFilterCalls=3551068, avgTableProportion=0.9981170364211952, avgTableSize=530.124240932587
23.20/20.10
23.30/20.15 num=317, depth=5..17, filters=1008378, revisions=(878170,useless=509634), ccks=2503836, wck=17.661, mem=107M446
23.30/20.15 decisions=61127, wrong=28902, backtracks=18729, failedAssignments=16516, nogoods=1688, foundSolutions=24, bestBound=21
23.30/20.15 nFilterCalls=3561720, avgTableProportion=0.9981170358250856, avgTableSize=530.1240659007445
23.30/20.15
23.39/20.20 num=318, depth=8..16, filters=1011755, revisions=(880651,useless=511106), ccks=2512145, wck=17.71, mem=107M446
23.39/20.20 decisions=61309, wrong=28989, backtracks=18787, failedAssignments=16566, nogoods=1689, foundSolutions=24, bestBound=21
23.39/20.20 nFilterCalls=3572815, avgTableProportion=0.9981170365195229, avgTableSize=530.1242697984642
23.39/20.20
23.39/20.25 num=319, depth=9..16, filters=1014644, revisions=(883126,useless=512526), ccks=2520976, wck=17.762, mem=107M446
23.39/20.25 decisions=61508, wrong=29083, backtracks=18852, failedAssignments=16621, nogoods=1698, foundSolutions=24, bestBound=21
23.39/20.25 nFilterCalls=3584769, avgTableProportion=0.9981170360411536, avgTableSize=530.1241293372042
23.39/20.25
23.49/20.31 num=320, depth=7..15, filters=1018077, revisions=(886138,useless=514148), ccks=2531085, wck=17.816, mem=107M446
23.49/20.31 decisions=61720, wrong=29184, backtracks=18916, failedAssignments=16682, nogoods=1706, foundSolutions=24, bestBound=21
23.49/20.31 nFilterCalls=3596903, avgTableProportion=0.998117036010688, avgTableSize=530.1241203891236
23.49/20.31
23.49/20.36 num=321, depth=10..15, filters=1021985, revisions=(889439,useless=516006), ccks=2542178, wck=17.87, mem=110M36
23.49/20.36 decisions=61971, wrong=29304, backtracks=18994, failedAssignments=16749, nogoods=1720, foundSolutions=24, bestBound=21
23.49/20.36 nFilterCalls=3610313, avgTableProportion=0.9981170364611884, avgTableSize=530.1242526617498
23.49/20.36
23.59/20.42 num=322, depth=8..18, filters=1025515, revisions=(892477,useless=517683), ccks=2553028, wck=17.93, mem=110M36
23.59/20.42 decisions=62234, wrong=29431, backtracks=19073, failedAssignments=16823, nogoods=1729, foundSolutions=24, bestBound=21
23.59/20.42 nFilterCalls=3625432, avgTableProportion=0.9981170358021322, avgTableSize=530.1240591466066
23.59/20.42
23.59/20.49 num=323, depth=9..17, filters=1030253, revisions=(895997,useless=519758), ccks=2564443, wck=17.995, mem=110M36
23.59/20.49 decisions=62524, wrong=29570, backtracks=19170, failedAssignments=16904, nogoods=1732, foundSolutions=24, bestBound=21
23.59/20.49 nFilterCalls=3643313, avgTableProportion=0.9981170373171746, avgTableSize=530.1245039885401
23.59/20.49
23.69/20.58 num=324, depth=7..15, filters=1035542, revisions=(900421,useless=522267), ccks=2578782, wck=18.089, mem=110M36
23.69/20.58 decisions=62852, wrong=29729, backtracks=19279, failedAssignments=16993, nogoods=1740, foundSolutions=24, bestBound=21
23.69/20.58 nFilterCalls=3664216, avgTableProportion=0.9981170377991128, avgTableSize=530.1246454903313
23.69/20.58
23.79/20.69 num=325, depth=4..14, filters=1041388, revisions=(905495,useless=525128), ccks=2595900, wck=18.198, mem=110M36
23.79/20.69 decisions=63205, wrong=29903, backtracks=19386, failedAssignments=17091, nogoods=1747, foundSolutions=24, bestBound=21
23.79/20.69 nFilterCalls=3686049, avgTableProportion=0.9981170367990464, avgTableSize=530.1243518466521
23.79/20.69
23.89/20.80 num=326, depth=7..16, filters=1048290, revisions=(910831,useless=528189), ccks=2613738, wck=18.305, mem=112M625
23.89/20.80 decisions=63612, wrong=30102, backtracks=19527, failedAssignments=17199, nogoods=1751, foundSolutions=24, bestBound=21
23.89/20.80 nFilterCalls=3710049, avgTableProportion=0.9981170379149258, avgTableSize=530.1246794853653
23.89/20.80
24.09/20.92 num=327, depth=8..17, filters=1055272, revisions=(916634,useless=531689), ccks=2634185, wck=18.424, mem=112M625
24.09/20.92 decisions=64044, wrong=30314, backtracks=19673, failedAssignments=17318, nogoods=1754, foundSolutions=24, bestBound=21
24.09/20.92 nFilterCalls=3737626, avgTableProportion=0.9981170404451203, avgTableSize=530.1254223937868
24.09/20.92
24.21/21.03 num=328, depth=7..16, filters=1061922, revisions=(922174,useless=534821), ccks=2652580, wck=18.539, mem=112M625
24.21/21.03 decisions=64502, wrong=30539, backtracks=19816, failedAssignments=17449, nogoods=1762, foundSolutions=24, bestBound=21
24.21/21.03 nFilterCalls=3763331, avgTableProportion=0.9981170410234417, avgTableSize=530.125592194787
24.21/21.03
24.31/21.19 num=329, depth=7..15, filters=1070325, revisions=(929347,useless=538999), ccks=2678135, wck=18.695, mem=115M215
24.31/21.19 decisions=65049, wrong=30808, backtracks=19993, failedAssignments=17593, nogoods=1768, foundSolutions=24, bestBound=21
24.31/21.19 nFilterCalls=3798104, avgTableProportion=0.9981170417155254, avgTableSize=530.1257953968611
24.31/21.19
24.50/21.33 num=330, depth=6..16, filters=1079497, revisions=(936922,useless=543252), ccks=2703236, wck=18.841, mem=115M215
24.50/21.33 decisions=65601, wrong=31079, backtracks=20184, failedAssignments=17751, nogoods=1774, foundSolutions=24, bestBound=21
24.50/21.33 nFilterCalls=3829799, avgTableProportion=0.9981170424678036, avgTableSize=530.1260162739611
24.50/21.33
24.70/21.50 num=331, depth=6..15, filters=1088939, revisions=(944857,useless=547919), ccks=2733516, wck=19.011, mem=115M215
24.70/21.50 decisions=66211, wrong=31379, backtracks=20371, failedAssignments=17925, nogoods=1783, foundSolutions=24, bestBound=21
24.70/21.50 nFilterCalls=3866347, avgTableProportion=0.9981170424522873, avgTableSize=530.1260117107958
24.70/21.50
24.90/21.74 num=332, depth=4..15, filters=1101109, revisions=(955053,useless=553589), ccks=2767374, wck=19.247, mem=117M804
24.90/21.74 decisions=66902, wrong=31722, backtracks=20587, failedAssignments=18116, nogoods=1790, foundSolutions=24, bestBound=21
24.90/21.74 nFilterCalls=3908761, avgTableProportion=0.9981170419725156, avgTableSize=530.1258708322151
24.90/21.74
25.10/21.95 num=333, depth=6..15, filters=1113298, revisions=(965012,useless=559328), ccks=2798355, wck=19.461, mem=120M393
25.10/21.95 decisions=67650, wrong=32092, backtracks=20842, failedAssignments=18327, nogoods=1798, foundSolutions=24, bestBound=21
25.10/21.95 nFilterCalls=3955920, avgTableProportion=0.9981170422558415, avgTableSize=530.1259540132257
25.10/21.95
25.40/22.21 num=334, depth=5..15, filters=1127139, revisions=(976231,useless=565669), ccks=2837477, wck=19.714, mem=120M393
25.40/22.21 decisions=68534, wrong=32529, backtracks=21133, failedAssignments=18559, nogoods=1803, foundSolutions=24, bestBound=21
25.40/22.21 nFilterCalls=4010601, avgTableProportion=0.9981170427787307, avgTableSize=530.1261075335093
25.40/22.21
25.61/22.47 num=335, depth=7..16, filters=1142256, revisions=(988163,useless=572586), ccks=2876847, wck=19.983, mem=122M983
25.61/22.47 decisions=69450, wrong=32983, backtracks=21457, failedAssignments=18814, nogoods=1819, foundSolutions=24, bestBound=21
25.61/22.47 nFilterCalls=4067928, avgTableProportion=0.9981170457958163, avgTableSize=530.1269933981132
25.61/22.47
25.81/22.69 num=336, depth=6..16, filters=1156539, revisions=(1001298,useless=580030), ccks=2917444, wck=20.2, mem=125M572
25.81/22.69 decisions=70430, wrong=33469, backtracks=21781, failedAssignments=19095, nogoods=1825, foundSolutions=24, bestBound=21
25.81/22.69 nFilterCalls=4116759, avgTableProportion=0.9981170479797234, avgTableSize=530.1276346271424
25.81/22.69
26.22/23.01 num=337, depth=6..16, filters=1173718, revisions=(1015120,useless=588047), ccks=2962675, wck=20.518, mem=125M572
26.22/23.01 decisions=71515, wrong=34008, backtracks=22160, failedAssignments=19404, nogoods=1830, foundSolutions=24, bestBound=21
26.22/23.01 nFilterCalls=4190183, avgTableProportion=0.998117047164169, avgTableSize=530.127395151954
26.22/23.01
26.51/23.36 num=338, depth=6..16, filters=1195841, revisions=(1033809,useless=598829), ccks=3024982, wck=20.872, mem=128M162
26.51/23.36 decisions=72807, wrong=34649, backtracks=22606, failedAssignments=19744, nogoods=1843, foundSolutions=24, bestBound=21
26.51/23.36 nFilterCalls=4266200, avgTableProportion=0.9981170469940133, avgTableSize=530.1273451783788
26.51/23.36
27.01/23.87 num=339, depth=5..15, filters=1219758, revisions=(1051901,useless=609482), ccks=3089109, wck=21.381, mem=130M751
27.01/23.87 decisions=74228, wrong=35355, backtracks=23098, failedAssignments=20118, nogoods=1851, foundSolutions=24, bestBound=21
27.01/23.87 nFilterCalls=4370123, avgTableProportion=0.9981170474888714, avgTableSize=530.1274904619389
27.01/23.87
27.43/24.27 num=340, depth=6..16, filters=1243305, revisions=(1072242,useless=621365), ccks=3154664, wck=21.778, mem=133M341
27.43/24.27 decisions=75745, wrong=36109, backtracks=23605, failedAssignments=20529, nogoods=1863, foundSolutions=24, bestBound=21
27.43/24.27 nFilterCalls=4457038, avgTableProportion=0.9981170493749233, avgTableSize=530.1280442302714
27.43/24.27
28.03/24.80 num=341, depth=4..14, filters=1271113, revisions=(1095955,useless=634718), ccks=3232616, wck=22.307, mem=135M930
28.03/24.80 decisions=77390, wrong=36928, backtracks=24171, failedAssignments=20981, nogoods=1872, foundSolutions=24, bestBound=21
28.03/24.80 nFilterCalls=4552365, avgTableProportion=0.9981170470489745, avgTableSize=530.1273612726571
28.03/24.80
28.63/25.47 num=342, depth=4..17, filters=1306832, revisions=(1123977,useless=651333), ccks=3323022, wck=22.974, mem=141M109
28.63/25.47 decisions=79247, wrong=37853, backtracks=24846, failedAssignments=21478, nogoods=1876, foundSolutions=24, bestBound=21
28.63/25.47 nFilterCalls=4691172, avgTableProportion=0.9981170493971729, avgTableSize=530.12805073018
28.63/25.47
29.24/26.06 num=343, depth=5..14, filters=1340874, revisions=(1151139,useless=667071), ccks=3413090, wck=23.568, mem=143M698
29.24/26.06 decisions=81278, wrong=38865, backtracks=25528, failedAssignments=22025, nogoods=1890, foundSolutions=24, bestBound=21
29.24/26.06 nFilterCalls=4816758, avgTableProportion=0.9981170481108065, avgTableSize=530.1276730115983
29.24/26.06
29.73/26.58 o 25
29.73/26.58 num=344, depth=2..71, filters=1367668, revisions=(1175855,useless=680434), ccks=3485557, wck=24.084, mem=146M288
29.73/26.58 decisions=83016, wrong=39726, backtracks=26090, failedAssignments=22489, nogoods=1895, foundSolutions=25, bestBound=25
29.73/26.58 nFilterCalls=4909330, avgTableProportion=0.9981170474344926, avgTableSize=530.1274744211532
29.73/26.58
30.63/27.42 num=345, depth=3..17, filters=1411277, revisions=(1213067,useless=701421), ccks=3600295, wck=24.926, mem=151M467
30.63/27.42 decisions=85490, wrong=40960, backtracks=26942, failedAssignments=23151, nogoods=1903, foundSolutions=25, bestBound=25
30.63/27.42 nFilterCalls=5054244, avgTableProportion=0.9981170473571749, avgTableSize=530.1274517019756
30.63/27.42
30.63/27.43 num=346, depth=11..18, filters=1412101, revisions=(1213744,useless=701804), ccks=3602635, wck=24.942, mem=151M467
30.63/27.43 decisions=85554, wrong=40986, backtracks=26963, failedAssignments=23162, nogoods=1905, foundSolutions=25, bestBound=25
30.63/27.43 nFilterCalls=5057879, avgTableProportion=0.9981170478458419, avgTableSize=530.1275951836728
30.63/27.43
30.63/27.44 num=347, depth=8..13, filters=1412754, revisions=(1214284,useless=702098), ccks=3604375, wck=24.953, mem=154M56
30.63/27.44 decisions=85598, wrong=41004, backtracks=26972, failedAssignments=23174, nogoods=1909, foundSolutions=25, bestBound=25
30.63/27.44 nFilterCalls=5059951, avgTableProportion=0.9981170479694361, avgTableSize=530.1276314731111
30.63/27.44
30.63/27.46 num=348, depth=6..10, filters=1413676, revisions=(1215049,useless=702546), ccks=3606871, wck=24.967, mem=154M56
30.63/27.46 decisions=85644, wrong=41024, backtracks=26987, failedAssignments=23187, nogoods=1914, foundSolutions=25, bestBound=25
30.63/27.46 nFilterCalls=5062743, avgTableProportion=0.9981170478857874, avgTableSize=530.1276069119052
30.63/27.46
30.63/27.47 num=349, depth=5..11, filters=1414292, revisions=(1215612,useless=702864), ccks=3608380, wck=24.981, mem=154M56
30.63/27.47 decisions=85689, wrong=41044, backtracks=26997, failedAssignments=23201, nogoods=1919, foundSolutions=25, bestBound=25
30.63/27.47 nFilterCalls=5065397, avgTableProportion=0.9981170478261712, avgTableSize=530.1275894071086
30.63/27.47
30.63/27.49 num=350, depth=8..15, filters=1415077, revisions=(1216292,useless=703244), ccks=3610973, wck=24.996, mem=154M56
30.63/27.49 decisions=85753, wrong=41072, backtracks=27014, failedAssignments=23217, nogoods=1921, foundSolutions=25, bestBound=25
30.63/27.49 nFilterCalls=5068361, avgTableProportion=0.9981170481284397, avgTableSize=530.1276781586789
30.63/27.49
30.73/27.51 num=351, depth=8..14, filters=1416210, revisions=(1217247,useless=703752), ccks=3614428, wck=25.019, mem=154M56
30.73/27.51 decisions=85833, wrong=41108, backtracks=27040, failedAssignments=23234, nogoods=1927, foundSolutions=25, bestBound=25
30.73/27.51 nFilterCalls=5072836, avgTableProportion=0.9981170481402846, avgTableSize=530.127681636071
30.73/27.51
30.73/27.53 num=352, depth=9..15, filters=1417063, revisions=(1217920,useless=704158), ccks=3616885, wck=25.035, mem=154M56
30.73/27.53 decisions=85898, wrong=41135, backtracks=27055, failedAssignments=23253, nogoods=1931, foundSolutions=25, bestBound=25
30.73/27.53 nFilterCalls=5076785, avgTableProportion=0.9981170484695302, avgTableSize=530.1277783085161
30.73/27.53
30.73/27.55 num=353, depth=7..15, filters=1418172, revisions=(1218953,useless=704750), ccks=3620236, wck=25.058, mem=154M56
30.73/27.55 decisions=85983, wrong=41173, backtracks=27076, failedAssignments=23274, nogoods=1935, foundSolutions=25, bestBound=25
30.73/27.55 nFilterCalls=5081181, avgTableProportion=0.9981170484925131, avgTableSize=530.1277850562694
30.73/27.55
30.73/27.57 num=354, depth=9..15, filters=1419230, revisions=(1219845,useless=705256), ccks=3623606, wck=25.076, mem=154M56
30.73/27.57 decisions=86063, wrong=41208, backtracks=27094, failedAssignments=23297, nogoods=1941, foundSolutions=25, bestBound=25
30.73/27.57 nFilterCalls=5085248, avgTableProportion=0.9981170487478835, avgTableSize=530.1278600375045
30.73/27.57
30.73/27.59 num=355, depth=7..15, filters=1420504, revisions=(1220968,useless=705898), ccks=3627004, wck=25.102, mem=154M56
30.73/27.59 decisions=86157, wrong=41251, backtracks=27128, failedAssignments=23322, nogoods=1946, foundSolutions=25, bestBound=25
30.73/27.59 nFilterCalls=5090343, avgTableProportion=0.9981170488051261, avgTableSize=530.1278768444485
30.73/27.59
30.83/27.63 num=356, depth=3..11, filters=1422754, revisions=(1222985,useless=706940), ccks=3632605, wck=25.141, mem=154M56
30.83/27.63 decisions=86277, wrong=41309, backtracks=27167, failedAssignments=23350, nogoods=1949, foundSolutions=25, bestBound=25
30.83/27.63 nFilterCalls=5097018, avgTableProportion=0.998117048473321, avgTableSize=530.1277794192605
30.83/27.63
30.83/27.68 num=357, depth=6..14, filters=1424984, revisions=(1224837,useless=708008), ccks=3638467, wck=25.184, mem=154M56
30.83/27.68 decisions=86421, wrong=41378, backtracks=27220, failedAssignments=23381, nogoods=1952, foundSolutions=25, bestBound=25
30.83/27.68 nFilterCalls=5105565, avgTableProportion=0.9981170487353955, avgTableSize=530.1278563684921
30.83/27.68
30.93/27.71 num=358, depth=6..14, filters=1426739, revisions=(1226305,useless=708818), ccks=3642998, wck=25.221, mem=154M56
30.93/27.71 decisions=86533, wrong=41431, backtracks=27258, failedAssignments=23415, nogoods=1960, foundSolutions=25, bestBound=25
30.93/27.71 nFilterCalls=5112448, avgTableProportion=0.9981170487120586, avgTableSize=530.1278495155354
30.93/27.71
30.93/27.74 num=359, depth=6..14, filters=1428325, revisions=(1227713,useless=709513), ccks=3647277, wck=25.244, mem=154M56
30.93/27.74 decisions=86654, wrong=41487, backtracks=27292, failedAssignments=23452, nogoods=1966, foundSolutions=25, bestBound=25
30.93/27.74 nFilterCalls=5118389, avgTableProportion=0.9981170489485742, avgTableSize=530.1279189604385
30.93/27.74
30.93/27.79 num=360, depth=6..17, filters=1430942, revisions=(1230084,useless=710854), ccks=3654102, wck=25.297, mem=156M646
30.93/27.79 decisions=86824, wrong=41569, backtracks=27350, failedAssignments=23493, nogoods=1970, foundSolutions=25, bestBound=25
30.93/27.79 nFilterCalls=5128764, avgTableProportion=0.9981170484610579, avgTableSize=530.1277758149917
30.93/27.79
31.03/27.83 num=361, depth=7..14, filters=1433232, revisions=(1231989,useless=711982), ccks=3661198, wck=25.343, mem=156M646
31.03/27.83 decisions=86979, wrong=41642, backtracks=27393, failedAssignments=23538, nogoods=1975, foundSolutions=25, bestBound=25
31.03/27.83 nFilterCalls=5138850, avgTableProportion=0.998117049479875, avgTableSize=530.1280749584051
31.03/27.83
31.03/27.89 num=362, depth=6..14, filters=1436040, revisions=(1234411,useless=713362), ccks=3668495, wck=25.398, mem=156M646
31.03/27.89 decisions=87157, wrong=41728, backtracks=27448, failedAssignments=23588, nogoods=1976, foundSolutions=25, bestBound=25
31.03/27.89 nFilterCalls=5149246, avgTableProportion=0.9981170494061533, avgTableSize=530.1280533111061
31.03/27.89
31.13/27.96 num=363, depth=5..14, filters=1439450, revisions=(1237003,useless=714818), ccks=3677824, wck=25.471, mem=156M646
31.13/27.96 decisions=87363, wrong=41827, backtracks=27514, failedAssignments=23643, nogoods=1982, foundSolutions=25, bestBound=25
31.13/27.96 nFilterCalls=5164406, avgTableProportion=0.9981170494923595, avgTableSize=530.1280786212393
31.13/27.96
31.24/28.04 num=364, depth=5..14, filters=1443410, revisions=(1240467,useless=716877), ccks=3688639, wck=25.544, mem=156M646
31.24/28.04 decisions=87594, wrong=41939, backtracks=27596, failedAssignments=23704, nogoods=1991, foundSolutions=25, bestBound=25
31.24/28.04 nFilterCalls=5178515, avgTableProportion=0.9981170493634206, avgTableSize=530.1280407607201
31.24/28.04
31.24/28.10 num=365, depth=4..14, filters=1447391, revisions=(1244007,useless=718732), ccks=3699615, wck=25.606, mem=156M646
31.24/28.10 decisions=87840, wrong=42058, backtracks=27671, failedAssignments=23771, nogoods=1997, foundSolutions=25, bestBound=25
31.24/28.10 nFilterCalls=5192672, avgTableProportion=0.9981170493413404, avgTableSize=530.1280342759951
31.24/28.10
31.38/28.17 num=366, depth=7..17, filters=1451981, revisions=(1247612,useless=720790), ccks=3712348, wck=25.676, mem=156M646
31.38/28.17 decisions=88116, wrong=42191, backtracks=27759, failedAssignments=23845, nogoods=2005, foundSolutions=25, bestBound=25
31.38/28.17 nFilterCalls=5207875, avgTableProportion=0.9981170501015773, avgTableSize=530.1282574946596
31.38/28.17
31.47/28.27 num=367, depth=4..15, filters=1457306, revisions=(1251965,useless=723327), ccks=3726179, wck=25.777, mem=159M236
31.47/28.27 decisions=88437, wrong=42347, backtracks=27875, failedAssignments=23926, nogoods=2011, foundSolutions=25, bestBound=25
31.47/28.27 nFilterCalls=5227640, avgTableProportion=0.9981170501458799, avgTableSize=530.1282705006465
31.47/28.27
31.57/28.35 num=368, depth=6..15, filters=1462494, revisions=(1256230,useless=725740), ccks=3740762, wck=25.857, mem=159M236
31.57/28.35 decisions=88757, wrong=42503, backtracks=27980, failedAssignments=24015, nogoods=2019, foundSolutions=25, bestBound=25
31.57/28.35 nFilterCalls=5244641, avgTableProportion=0.9981170510461054, avgTableSize=530.1285348224978
31.57/28.35
31.67/28.44 num=369, depth=6..14, filters=1467888, revisions=(1260946,useless=728349), ccks=3755999, wck=25.953, mem=159M236
31.67/28.44 decisions=89094, wrong=42668, backtracks=28077, failedAssignments=24113, nogoods=2023, foundSolutions=25, bestBound=25
31.67/28.44 nFilterCalls=5263732, avgTableProportion=0.9981170504606458, avgTableSize=530.1283629181729
31.67/28.44
31.77/28.55 num=370, depth=6..15, filters=1473690, revisions=(1265420,useless=731060), ccks=3771296, wck=26.062, mem=159M236
31.77/28.55 decisions=89456, wrong=42844, backtracks=28204, failedAssignments=24221, nogoods=2028, foundSolutions=25, bestBound=25
31.77/28.55 nFilterCalls=5286359, avgTableProportion=0.9981170519943264, avgTableSize=530.1288132342128
31.77/28.55
31.89/28.68 num=371, depth=5..13, filters=1480416, revisions=(1271420,useless=734438), ccks=3788135, wck=26.19, mem=29M881
31.89/28.68 decisions=89862, wrong=43044, backtracks=28331, failedAssignments=24340, nogoods=2038, foundSolutions=25, bestBound=25
31.89/28.68 nFilterCalls=5310362, avgTableProportion=0.9981170518257231, avgTableSize=530.1287637264653
31.89/28.68
32.09/28.82 num=372, depth=2..11, filters=1487620, revisions=(1278041,useless=738011), ccks=3807738, wck=26.332, mem=29M881
32.09/28.82 decisions=90295, wrong=43258, backtracks=28471, failedAssignments=24471, nogoods=2045, foundSolutions=25, bestBound=25
32.09/28.82 nFilterCalls=5335002, avgTableProportion=0.9981170508012959, avgTableSize=530.1284629321601
32.09/28.82
32.19/28.98 num=373, depth=6..14, filters=1496296, revisions=(1285559,useless=742304), ccks=3831394, wck=26.485, mem=29M881
32.19/28.98 decisions=90815, wrong=43514, backtracks=28643, failedAssignments=24615, nogoods=2051, foundSolutions=25, bestBound=25
32.19/28.98 nFilterCalls=5365236, avgTableProportion=0.9981170511123837, avgTableSize=530.1285542704925
32.19/28.98
32.40/29.13 num=374, depth=6..17, filters=1504188, revisions=(1291970,useless=745870), ccks=3855085, wck=26.636, mem=32M489
32.40/29.13 decisions=91381, wrong=43793, backtracks=28832, failedAssignments=24773, nogoods=2055, foundSolutions=25, bestBound=25
32.40/29.13 nFilterCalls=5398872, avgTableProportion=0.9981170510265701, avgTableSize=530.128529070517
32.40/29.13
32.59/29.35 num=375, depth=3..15, filters=1514577, revisions=(1299684,useless=750525), ccks=3879767, wck=26.861, mem=32M489
32.59/29.35 decisions=91989, wrong=44094, backtracks=29040, failedAssignments=24947, nogoods=2067, foundSolutions=25, bestBound=25
32.59/29.35 nFilterCalls=5442875, avgTableProportion=0.9981170510099002, avgTableSize=530.1285241715086
32.59/29.35
32.89/29.60 num=376, depth=3..12, filters=1526052, revisions=(1309747,useless=756111), ccks=3912593, wck=27.109, mem=35M97
32.89/29.60 decisions=92680, wrong=44437, backtracks=29278, failedAssignments=25138, nogoods=2071, foundSolutions=25, bestBound=25
32.89/29.60 nFilterCalls=5482759, avgTableProportion=0.9981170505713259, avgTableSize=530.128395393633
32.89/29.60
33.09/29.81 num=377, depth=5..14, filters=1537163, revisions=(1319802,useless=761755), ccks=3946122, wck=27.317, mem=35M97
33.09/29.81 decisions=93432, wrong=44809, backtracks=29521, failedAssignments=25349, nogoods=2079, foundSolutions=25, bestBound=25
33.09/29.81 nFilterCalls=5523189, avgTableProportion=0.9981170501735965, avgTableSize=530.1282786086082
33.09/29.81
33.30/30.10 num=378, depth=2..14, filters=1550376, revisions=(1330524,useless=767843), ccks=3983848, wck=27.604, mem=37M705
33.30/30.10 decisions=94290, wrong=45235, backtracks=29797, failedAssignments=25581, nogoods=2085, foundSolutions=25, bestBound=25
33.30/30.10 nFilterCalls=5579973, avgTableProportion=0.9981170494630556, avgTableSize=530.1280699745321
33.30/30.10
33.59/30.36 num=379, depth=5..16, filters=1565507, revisions=(1342725,useless=775150), ccks=4020131, wck=27.873, mem=37M705
33.59/30.36 decisions=95152, wrong=45663, backtracks=30077, failedAssignments=25836, nogoods=2093, foundSolutions=25, bestBound=25
33.59/30.36 nFilterCalls=5634787, avgTableProportion=0.9981170501678083, avgTableSize=530.1282768984879
33.59/30.36
33.89/30.62 num=380, depth=7..16, filters=1581421, revisions=(1355459,useless=782298), ccks=4066769, wck=28.132, mem=40M313
33.89/30.62 decisions=96170, wrong=46168, backtracks=30405, failedAssignments=26117, nogoods=2104, foundSolutions=25, bestBound=25
33.89/30.62 nFilterCalls=5693971, avgTableProportion=0.9981170524886304, avgTableSize=530.1289583315405
33.89/30.62
34.19/30.92 num=381, depth=5..14, filters=1597505, revisions=(1370110,useless=790672), ccks=4109623, wck=28.433, mem=42M921
34.19/30.92 decisions=97222, wrong=46691, backtracks=30738, failedAssignments=26426, nogoods=2115, foundSolutions=25, bestBound=25
34.19/30.92 nFilterCalls=5751241, avgTableProportion=0.9981170531853809, avgTableSize=530.1291629058842
34.19/30.92
34.59/31.38 num=382, depth=4..14, filters=1618579, revisions=(1386594,useless=800243), ccks=4161015, wck=28.893, mem=45M529
34.59/31.38 decisions=98398, wrong=47277, backtracks=31123, failedAssignments=26766, nogoods=2124, foundSolutions=25, bestBound=25
34.59/31.38 nFilterCalls=5839395, avgTableProportion=0.998117052772341, avgTableSize=530.1290416216063
34.59/31.38
35.10/31.81 num=383, depth=3..15, filters=1640310, revisions=(1405351,useless=810793), ccks=4220760, wck=29.321, mem=48M137
35.10/31.81 decisions=99732, wrong=47941, backtracks=31567, failedAssignments=27140, nogoods=2127, foundSolutions=25, bestBound=25
35.10/31.81 nFilterCalls=5919475, avgTableProportion=0.9981170511673377, avgTableSize=530.1285703546345
35.10/31.81
35.50/32.25 num=384, depth=4..17, filters=1664850, revisions=(1427238,useless=823600), ccks=4287214, wck=29.763, mem=52M66
35.50/32.25 decisions=101220, wrong=48682, backtracks=32086, failedAssignments=27551, nogoods=2137, foundSolutions=25, bestBound=25
35.50/32.25 nFilterCalls=6002433, avgTableProportion=0.9981170517529504, avgTableSize=530.1287422949994
35.50/32.25
36.00/32.76 num=385, depth=3..17, filters=1690338, revisions=(1449434,useless=836390), ccks=4353374, wck=30.265, mem=54M674
36.00/32.76 decisions=102789, wrong=49464, backtracks=32635, failedAssignments=28003, nogoods=2145, foundSolutions=25, bestBound=25
36.00/32.76 nFilterCalls=6094736, avgTableProportion=0.9981170522076753, avgTableSize=530.1288758036443
36.00/32.76
36.60/33.35 num=386, depth=4..16, filters=1720284, revisions=(1473997,useless=851165), ccks=4430977, wck=30.855, mem=57M282
36.60/33.35 decisions=104516, wrong=50324, backtracks=33215, failedAssignments=28500, nogoods=2157, foundSolutions=25, bestBound=25
36.60/33.35 nFilterCalls=6208060, avgTableProportion=0.9981170554023816, avgTableSize=530.1298138226757
36.60/33.35
37.20/34.00 num=387, depth=2..16, filters=1753033, revisions=(1501175,useless=866554), ccks=4517424, wck=31.51, mem=59M890
37.20/34.00 decisions=106455, wrong=51290, backtracks=33861, failedAssignments=29047, nogoods=2167, foundSolutions=25, bestBound=25
37.20/34.00 nFilterCalls=6327536, avgTableProportion=0.9981170560431203, avgTableSize=530.1300019470455
37.20/34.00
38.00/34.78 num=388, depth=2..14, filters=1791478, revisions=(1534589,useless=885202), ccks=4622249, wck=32.287, mem=65M105
38.00/34.78 decisions=108636, wrong=52378, backtracks=34612, failedAssignments=29649, nogoods=2172, foundSolutions=25, bestBound=25
38.00/34.78 nFilterCalls=6463030, avgTableProportion=0.9981170552777502, avgTableSize=530.1297772097607
38.00/34.78
38.80/35.57 num=389, depth=2..14, filters=1835304, revisions=(1572771,useless=907166), ccks=4743410, wck=33.076, mem=70M321
38.80/35.57 decisions=111118, wrong=53615, backtracks=35458, failedAssignments=30311, nogoods=2182, foundSolutions=25, bestBound=25
38.80/35.57 nFilterCalls=6605088, avgTableProportion=0.9981170585541409, avgTableSize=530.1307392119529
38.80/35.57
39.70/36.42 num=390, depth=4..14, filters=1879476, revisions=(1608532,useless=927699), ccks=4853494, wck=33.929, mem=75M537
39.70/36.42 decisions=113754, wrong=54930, backtracks=36380, failedAssignments=31039, nogoods=2198, foundSolutions=25, bestBound=25
39.70/36.42 nFilterCalls=6769745, avgTableProportion=0.998117060622807, avgTableSize=530.1313466016815
39.70/36.42
40.60/37.33 num=391, depth=2..17, filters=1923684, revisions=(1647152,useless=949791), ccks=4969872, wck=34.837, mem=80M753
40.60/37.33 decisions=116638, wrong=56368, backtracks=37445, failedAssignments=31840, nogoods=2205, foundSolutions=25, bestBound=25
40.60/37.33 nFilterCalls=6947442, avgTableProportion=0.9981170580752265, avgTableSize=530.1305985713878
40.60/37.33
41.61/38.33 o 27
41.61/38.33 num=392, depth=3..71, filters=1973367, revisions=(1685863,useless=972781), ccks=5098240, wck=35.84, mem=85M969
41.61/38.33 decisions=119527, wrong=57808, backtracks=38428, failedAssignments=32636, nogoods=2210, foundSolutions=26, bestBound=27
41.61/38.33 nFilterCalls=7146733, avgTableProportion=0.9981170596049322, avgTableSize=530.1310477108912
41.61/38.33
42.71/39.49 o 29
42.71/39.49 num=393, depth=2..71, filters=2035677, revisions=(1738125,useless=1003044), ccks=5275465, wck=37.003, mem=93M793
42.71/39.49 decisions=123106, wrong=59591, backtracks=39632, failedAssignments=33599, nogoods=2216, foundSolutions=27, bestBound=29
42.71/39.49 nFilterCalls=7361849, avgTableProportion=0.9981170595742276, avgTableSize=530.1310386833525
42.71/39.49
42.81/39.52 num=394, depth=4..13, filters=2036622, revisions=(1739050,useless=1003596), ccks=5278042, wck=37.025, mem=93M793
42.81/39.52 decisions=123167, wrong=59617, backtracks=39655, failedAssignments=33610, nogoods=2219, foundSolutions=27, bestBound=29
42.81/39.52 nFilterCalls=7365325, avgTableProportion=0.9981170594542383, avgTableSize=530.1310034519862
42.81/39.52
42.81/39.53 num=395, depth=5..11, filters=2037491, revisions=(1739853,useless=1004045), ccks=5280431, wck=37.039, mem=93M793
42.81/39.53 decisions=123223, wrong=59641, backtracks=39672, failedAssignments=33621, nogoods=2224, foundSolutions=27, bestBound=29
42.81/39.53 nFilterCalls=7367760, avgTableProportion=0.9981170594348272, avgTableSize=530.1309977523698
42.81/39.53
42.81/39.55 num=396, depth=6..14, filters=2038530, revisions=(1740718,useless=1004525), ccks=5283234, wck=37.058, mem=93M793
42.81/39.55 decisions=123286, wrong=59668, backtracks=39692, failedAssignments=33633, nogoods=2227, foundSolutions=27, bestBound=29
42.81/39.55 nFilterCalls=7371323, avgTableProportion=0.9981170593693375, avgTableSize=530.1309785231226
42.81/39.55
42.81/39.57 num=397, depth=7..12, filters=2039281, revisions=(1741353,useless=1004865), ccks=5285500, wck=37.074, mem=93M793
42.81/39.57 decisions=123337, wrong=59689, backtracks=39707, failedAssignments=33646, nogoods=2232, foundSolutions=27, bestBound=29
42.81/39.57 nFilterCalls=7374394, avgTableProportion=0.9981170593502942, avgTableSize=530.1309729314708
42.81/39.57
42.81/39.59 num=398, depth=8..13, filters=2040595, revisions=(1742431,useless=1005502), ccks=5288177, wck=37.098, mem=93M793
42.81/39.59 decisions=123413, wrong=59723, backtracks=39732, failedAssignments=33660, nogoods=2241, foundSolutions=27, bestBound=29
42.81/39.59 nFilterCalls=7379001, avgTableProportion=0.998117059293805, avgTableSize=530.1309563449036
42.81/39.59
42.91/39.61 num=399, depth=9..15, filters=2041472, revisions=(1743139,useless=1005915), ccks=5290237, wck=37.114, mem=93M793
42.91/39.61 decisions=123483, wrong=59753, backtracks=39752, failedAssignments=33676, nogoods=2247, foundSolutions=27, bestBound=29
42.91/39.61 nFilterCalls=7383367, avgTableProportion=0.9981170596288049, avgTableSize=530.1310547071546
42.91/39.61
42.91/39.62 num=400, depth=6..14, filters=2042629, revisions=(1744122,useless=1006393), ccks=5293587, wck=37.131, mem=93M793
42.91/39.62 decisions=123546, wrong=59781, backtracks=39767, failedAssignments=33693, nogoods=2250, foundSolutions=27, bestBound=29
42.91/39.62 nFilterCalls=7386371, avgTableProportion=0.9981170595560972, avgTableSize=530.1310333586006
42.91/39.62
42.91/39.64 num=401, depth=6..13, filters=2043646, revisions=(1745039,useless=1006945), ccks=5296513, wck=37.153, mem=93M793
42.91/39.64 decisions=123617, wrong=59813, backtracks=39786, failedAssignments=33712, nogoods=2254, foundSolutions=27, bestBound=29
42.91/39.64 nFilterCalls=7390608, avgTableProportion=0.9981170594491, avgTableSize=530.1310019419242
42.91/39.64
42.91/39.67 num=402, depth=6..12, filters=2044925, revisions=(1746261,useless=1007648), ccks=5300056, wck=37.176, mem=93M793
42.91/39.67 decisions=123705, wrong=59854, backtracks=39816, failedAssignments=33733, nogoods=2261, foundSolutions=27, bestBound=29
42.91/39.67 nFilterCalls=7394554, avgTableProportion=0.9981170595159151, avgTableSize=530.131021559921
42.91/39.67
42.91/39.70 num=403, depth=4..13, filters=2046332, revisions=(1747446,useless=1008281), ccks=5304116, wck=37.204, mem=93M793
42.91/39.70 decisions=123800, wrong=59898, backtracks=39849, failedAssignments=33756, nogoods=2268, foundSolutions=27, bestBound=29
42.91/39.70 nFilterCalls=7400018, avgTableProportion=0.9981170594552099, avgTableSize=530.1310037353963
42.91/39.70
43.01/39.73 num=404, depth=5..14, filters=2048023, revisions=(1748817,useless=1009095), ccks=5308297, wck=37.238, mem=93M793
43.01/39.73 decisions=123898, wrong=59943, backtracks=39878, failedAssignments=33781, nogoods=2272, foundSolutions=27, bestBound=29
43.01/39.73 nFilterCalls=7407012, avgTableProportion=0.998117059547981, avgTableSize=530.1310309744334
43.01/39.73
43.01/39.76 num=405, depth=4..12, filters=2049857, revisions=(1750426,useless=1009999), ccks=5313151, wck=37.27, mem=93M793
43.01/39.76 decisions=124005, wrong=59994, backtracks=39913, failedAssignments=33809, nogoods=2275, foundSolutions=27, bestBound=29
43.01/39.76 nFilterCalls=7412928, avgTableProportion=0.9981170594289058, avgTableSize=530.1309960112927
43.01/39.76
43.11/39.80 num=406, depth=5..13, filters=2051916, revisions=(1752240,useless=1011080), ccks=5318629, wck=37.312, mem=96M401
43.11/39.80 decisions=124138, wrong=60056, backtracks=39956, failedAssignments=33840, nogoods=2277, foundSolutions=27, bestBound=29
43.11/39.80 nFilterCalls=7420622, avgTableProportion=0.9981170594005052, avgTableSize=530.1309876719229
43.11/39.80
43.11/39.84 num=407, depth=5..12, filters=2053717, revisions=(1753953,useless=1012082), ccks=5323671, wck=37.346, mem=96M401
43.11/39.84 decisions=124263, wrong=60115, backtracks=39999, failedAssignments=33874, nogoods=2280, foundSolutions=27, bestBound=29
43.11/39.84 nFilterCalls=7426811, avgTableProportion=0.9981170593933146, avgTableSize=530.1309855602896
43.11/39.84
43.11/39.89 num=408, depth=4..10, filters=2055902, revisions=(1756003,useless=1013213), ccks=5328299, wck=37.394, mem=96M401
43.11/39.89 decisions=124393, wrong=60178, backtracks=40035, failedAssignments=33911, nogoods=2287, foundSolutions=27, bestBound=29
43.11/39.89 nFilterCalls=7435028, avgTableProportion=0.9981170592039916, avgTableSize=530.1309299709429
43.11/39.89
43.21/39.93 num=409, depth=6..14, filters=2058433, revisions=(1758134,useless=1014396), ccks=5334755, wck=37.44, mem=96M401
43.21/39.93 decisions=124540, wrong=60248, backtracks=40081, failedAssignments=33952, nogoods=2296, foundSolutions=27, bestBound=29
43.21/39.93 nFilterCalls=7443605, avgTableProportion=0.9981170590703968, avgTableSize=530.1308907444712
43.21/39.93
43.21/39.98 num=410, depth=6..14, filters=2060916, revisions=(1760035,useless=1015502), ccks=5341506, wck=37.492, mem=96M401
43.21/39.98 decisions=124696, wrong=60323, backtracks=40136, failedAssignments=33997, nogoods=2301, foundSolutions=27, bestBound=29
43.21/39.98 nFilterCalls=7454567, avgTableProportion=0.9981170591961184, avgTableSize=530.1309276581725
43.21/39.98
43.32/40.04 num=411, depth=4..10, filters=2063823, revisions=(1762776,useless=1017081), ccks=5348803, wck=37.544, mem=96M401
43.32/40.04 decisions=124875, wrong=60410, backtracks=40184, failedAssignments=34047, nogoods=2309, foundSolutions=27, bestBound=29
43.32/40.04 nFilterCalls=7463291, avgTableProportion=0.9981170594141515, avgTableSize=530.1309916764602
43.32/40.04
43.32/40.10 num=412, depth=5..11, filters=2067103, revisions=(1765576,useless=1018757), ccks=5357754, wck=37.606, mem=96M401
43.32/40.10 decisions=125075, wrong=60507, backtracks=40241, failedAssignments=34102, nogoods=2318, foundSolutions=27, bestBound=29
43.32/40.10 nFilterCalls=7474675, avgTableProportion=0.9981170593434339, avgTableSize=530.1309709117787
43.32/40.10
43.42/40.16 num=413, depth=5..14, filters=2070362, revisions=(1768245,useless=1020248), ccks=5366723, wck=37.664, mem=96M401
43.42/40.16 decisions=125307, wrong=60618, backtracks=40319, failedAssignments=34163, nogoods=2327, foundSolutions=27, bestBound=29
43.42/40.16 nFilterCalls=7487475, avgTableProportion=0.9981170597453397, avgTableSize=530.1310889184939
43.42/40.16
43.51/40.26 num=414, depth=2..12, filters=2075086, revisions=(1772203,useless=1022471), ccks=5377561, wck=37.772, mem=99M9
43.51/40.26 decisions=125554, wrong=60739, backtracks=40403, failedAssignments=34230, nogoods=2333, foundSolutions=27, bestBound=29
43.51/40.26 nFilterCalls=7505833, avgTableProportion=0.9981170594056976, avgTableSize=530.1309891920057
43.51/40.26
43.61/40.33 num=415, depth=5..14, filters=2078838, revisions=(1775446,useless=1024312), ccks=5388240, wck=37.843, mem=99M9
43.61/40.33 decisions=125808, wrong=60863, backtracks=40489, failedAssignments=34304, nogoods=2341, foundSolutions=27, bestBound=29
43.61/40.33 nFilterCalls=7518867, avgTableProportion=0.99811705937068, avgTableSize=530.1309789094554
43.61/40.33
43.71/40.43 num=416, depth=3..11, filters=2082867, revisions=(1778819,useless=1026338), ccks=5398325, wck=37.944, mem=99M9
43.71/40.43 decisions=126076, wrong=60995, backtracks=40578, failedAssignments=34385, nogoods=2348, foundSolutions=27, bestBound=29
43.71/40.43 nFilterCalls=7537059, avgTableProportion=0.998117059519453, avgTableSize=530.1310225911725
43.71/40.43
43.81/40.54 num=417, depth=3..11, filters=2088469, revisions=(1783700,useless=1029120), ccks=5411935, wck=38.051, mem=99M9
43.81/40.54 decisions=126387, wrong=61148, backtracks=40679, failedAssignments=34474, nogoods=2352, foundSolutions=27, bestBound=29
43.81/40.54 nFilterCalls=7556148, avgTableProportion=0.9981170591344938, avgTableSize=530.13090955868
43.81/40.54
43.91/40.66 num=418, depth=4..12, filters=2094377, revisions=(1788740,useless=1032177), ccks=5427825, wck=38.166, mem=99M9
43.91/40.66 decisions=126742, wrong=61322, backtracks=40796, failedAssignments=34572, nogoods=2361, foundSolutions=27, bestBound=29
43.91/40.66 nFilterCalls=7576888, avgTableProportion=0.9981170592068371, avgTableSize=530.1309307990299
43.91/40.66
44.11/40.81 num=419, depth=2..11, filters=2101558, revisions=(1794847,useless=1035739), ccks=5443420, wck=38.314, mem=101M617
44.11/40.81 decisions=127126, wrong=61510, backtracks=40918, failedAssignments=34680, nogoods=2367, foundSolutions=27, bestBound=29
44.11/40.81 nFilterCalls=7602146, avgTableProportion=0.9981170588067542, avgTableSize=530.1308133256057
44.11/40.81
44.21/40.95 num=420, depth=4..11, filters=2109252, revisions=(1801097,useless=1039470), ccks=5461250, wck=38.459, mem=101M617
44.21/40.95 decisions=127550, wrong=61720, backtracks=41061, failedAssignments=34799, nogoods=2375, foundSolutions=27, bestBound=29
44.21/40.95 nFilterCalls=7629442, avgTableProportion=0.9981170587519945, avgTableSize=530.1307972457225
44.21/40.95
44.32/41.09 num=421, depth=3..13, filters=2116242, revisions=(1807215,useless=1042868), ccks=5481080, wck=38.599, mem=101M617
44.32/41.09 decisions=127995, wrong=61939, backtracks=41203, failedAssignments=34930, nogoods=2383, foundSolutions=27, bestBound=29
44.32/41.09 nFilterCalls=7654711, avgTableProportion=0.9981170588525005, avgTableSize=530.1308267549225
44.32/41.09
44.51/41.26 num=422, depth=3..14, filters=2125100, revisions=(1814919,useless=1047258), ccks=5507210, wck=38.766, mem=104M225
44.51/41.26 decisions=128505, wrong=62191, backtracks=41382, failedAssignments=35074, nogoods=2390, foundSolutions=27, bestBound=29
44.51/41.26 nFilterCalls=7685603, avgTableProportion=0.9981170587614412, avgTableSize=530.1308000166025
44.51/41.26
44.71/41.43 num=423, depth=4..13, filters=2133150, revisions=(1821731,useless=1051162), ccks=5530203, wck=38.934, mem=104M225
44.71/41.43 decisions=129092, wrong=62480, backtracks=41589, failedAssignments=35232, nogoods=2396, foundSolutions=27, bestBound=29
44.71/41.43 nFilterCalls=7719044, avgTableProportion=0.9981170594960354, avgTableSize=530.13101570609
44.71/41.43
44.91/41.64 num=424, depth=2..14, filters=2143766, revisions=(1831019,useless=1056359), ccks=5551762, wck=39.15, mem=106M833
44.91/41.64 decisions=129681, wrong=62773, backtracks=41786, failedAssignments=35406, nogoods=2403, foundSolutions=27, bestBound=29
44.91/41.64 nFilterCalls=7759283, avgTableProportion=0.9981170591032272, avgTableSize=530.1309003679851
44.91/41.64
45.11/41.88 num=425, depth=3..13, filters=2155540, revisions=(1841086,useless=1062390), ccks=5581392, wck=39.388, mem=106M833
45.11/41.88 decisions=130397, wrong=63129, backtracks=42036, failedAssignments=35597, nogoods=2405, foundSolutions=27, bestBound=29
45.11/41.88 nFilterCalls=7801247, avgTableProportion=0.9981170588373197, avgTableSize=530.1308222903339
45.11/41.88
45.42/42.11 num=426, depth=4..16, filters=2166970, revisions=(1851304,useless=1068254), ccks=5614371, wck=39.619, mem=109M441
45.42/42.11 decisions=131161, wrong=63507, backtracks=42297, failedAssignments=35808, nogoods=2412, foundSolutions=27, bestBound=29
45.42/42.11 nFilterCalls=7844514, avgTableProportion=0.9981170581534008, avgTableSize=530.1306214763591
45.42/42.11
45.61/42.33 num=427, depth=5..16, filters=2178413, revisions=(1861147,useless=1073529), ccks=5646299, wck=39.836, mem=109M441
45.61/42.33 decisions=131951, wrong=63898, backtracks=42554, failedAssignments=36040, nogoods=2418, foundSolutions=27, bestBound=29
45.61/42.33 nFilterCalls=7891007, avgTableProportion=0.9981170576743377, avgTableSize=530.1304808118913
45.61/42.33
45.91/42.61 num=428, depth=4..15, filters=2194099, revisions=(1874619,useless=1081598), ccks=5684939, wck=40.119, mem=112M49
45.91/42.61 decisions=132879, wrong=64358, backtracks=42865, failedAssignments=36295, nogoods=2423, foundSolutions=27, bestBound=29
45.91/42.61 nFilterCalls=7945585, avgTableProportion=0.9981170585404574, avgTableSize=530.1307351189371
45.91/42.61
46.21/42.93 num=429, depth=2..13, filters=2209381, revisions=(1888751,useless=1089517), ccks=5725017, wck=40.436, mem=114M657
46.21/42.93 decisions=133879, wrong=64857, backtracks=43182, failedAssignments=36576, nogoods=2424, foundSolutions=27, bestBound=29
46.21/42.93 nFilterCalls=7997607, avgTableProportion=0.9981170574268282, avgTableSize=530.1304081333329
46.21/42.93
46.61/43.30 num=430, depth=2..12, filters=2228953, revisions=(1905806,useless=1099439), ccks=5777821, wck=40.81, mem=114M657
46.61/43.30 decisions=135047, wrong=65439, backtracks=43576, failedAssignments=36885, nogoods=2429, foundSolutions=27, bestBound=29
46.61/43.30 nFilterCalls=8064620, avgTableProportion=0.9981170576971, avgTableSize=530.1304874873211
46.61/43.30
47.01/43.79 num=431, depth=4..14, filters=2251618, revisions=(1923106,useless=1109622), ccks=5831268, wck=41.301, mem=117M265
47.01/43.79 decisions=136278, wrong=66052, backtracks=44018, failedAssignments=37225, nogoods=2438, foundSolutions=27, bestBound=29
47.01/43.79 nFilterCalls=8160548, avgTableProportion=0.9981170580821561, avgTableSize=530.1306005430027
47.01/43.79
47.51/44.25 num=432, depth=2..12, filters=2275402, revisions=(1943910,useless=1121450), ccks=5896508, wck=41.755, mem=119M873
47.51/44.25 decisions=137659, wrong=66739, backtracks=44470, failedAssignments=37599, nogoods=2446, foundSolutions=27, bestBound=29
47.51/44.25 nFilterCalls=8239387, avgTableProportion=0.998117057814557, avgTableSize=530.1305219672289
47.51/44.25
48.01/44.79 num=433, depth=5..15, filters=2300894, revisions=(1964686,useless=1134194), ccks=5965784, wck=42.3, mem=122M481
48.01/44.79 decisions=139230, wrong=67521, backtracks=45009, failedAssignments=38010, nogoods=2457, foundSolutions=27, bestBound=29
48.01/44.79 nFilterCalls=8349142, avgTableProportion=0.9981170586661279, avgTableSize=530.1307720002845
48.01/44.79
48.61/45.39 num=434, depth=2..16, filters=2330844, revisions=(1988359,useless=1148803), ccks=6035490, wck=42.901, mem=125M89
48.61/45.39 decisions=140824, wrong=68315, backtracks=45561, failedAssignments=38462, nogoods=2466, foundSolutions=27, bestBound=29
48.61/45.39 nFilterCalls=8460631, avgTableProportion=0.9981170597591934, avgTableSize=530.1310929409402
48.61/45.39
49.32/46.03 num=435, depth=4..15, filters=2361399, revisions=(2012629,useless=1163149), ccks=6110770, wck=43.534, mem=130M304
49.32/46.03 decisions=142621, wrong=69211, backtracks=46209, failedAssignments=38959, nogoods=2472, foundSolutions=27, bestBound=29
49.32/46.03 nFilterCalls=8580282, avgTableProportion=0.998117061045103, avgTableSize=530.1314705041164
49.32/46.03
50.11/46.82 num=436, depth=3..17, filters=2400422, revisions=(2043313,useless=1180823), ccks=6209463, wck=44.327, mem=135M520
50.11/46.82 decisions=144739, wrong=70267, backtracks=46954, failedAssignments=39506, nogoods=2479, foundSolutions=27, bestBound=29
50.11/46.82 nFilterCalls=8729050, avgTableProportion=0.9981170643917219, avgTableSize=530.1324531306385
50.11/46.82
50.91/47.68 num=437, depth=2..12, filters=2441232, revisions=(2076104,useless=1200682), ccks=6309358, wck=45.185, mem=138M128
50.91/47.68 decisions=146974, wrong=71383, backtracks=47724, failedAssignments=40108, nogoods=2496, foundSolutions=27, bestBound=29
50.91/47.68 nFilterCalls=8877227, avgTableProportion=0.9981170661429194, avgTableSize=530.1329673106253
50.91/47.68
51.81/48.52 num=438, depth=3..16, filters=2485945, revisions=(2111718,useless=1221950), ccks=6414438, wck=46.03, mem=143M344
51.81/48.52 decisions=149359, wrong=72573, backtracks=48557, failedAssignments=40770, nogoods=2504, foundSolutions=27, bestBound=29
51.81/48.52 nFilterCalls=9035634, avgTableProportion=0.9981170704768568, avgTableSize=530.1342398330876
51.81/48.52
52.42/49.15 o 31
52.42/49.15 num=439, depth=3..71, filters=2516033, revisions=(2136994,useless=1236218), ccks=6490741, wck=46.657, mem=145M952
52.42/49.15 decisions=151191, wrong=73485, backtracks=49185, failedAssignments=41274, nogoods=2514, foundSolutions=28, bestBound=31
52.42/49.15 nFilterCalls=9155487, avgTableProportion=0.9981170695193462, avgTableSize=530.1339586851033
52.42/49.15
53.45/50.14 num=440, depth=2..15, filters=2565150, revisions=(2179679,useless=1261432), ccks=6612804, wck=47.647, mem=151M168
53.45/50.14 decisions=154049, wrong=74911, backtracks=50172, failedAssignments=42075, nogoods=2527, foundSolutions=28, bestBound=31
53.45/50.14 nFilterCalls=9329153, avgTableProportion=0.9981170680349777, avgTableSize=530.1335228396405
53.45/50.14
53.45/50.16 num=441, depth=4..13, filters=2565891, revisions=(2180317,useless=1261808), ccks=6614864, wck=47.666, mem=151M168
53.45/50.16 decisions=154097, wrong=74932, backtracks=50185, failedAssignments=42086, nogoods=2531, foundSolutions=28, bestBound=31
53.45/50.16 nFilterCalls=9332779, avgTableProportion=0.9981170682166549, avgTableSize=530.1335761834712
53.45/50.16
53.45/50.17 num=442, depth=4..11, filters=2566878, revisions=(2181103,useless=1262288), ccks=6617084, wck=47.683, mem=151M168
53.45/50.17 decisions=154149, wrong=74955, backtracks=50203, failedAssignments=42098, nogoods=2536, foundSolutions=28, bestBound=31
53.45/50.17 nFilterCalls=9335841, avgTableProportion=0.9981170682286901, avgTableSize=530.1335797171353
53.45/50.17
53.45/50.19 num=443, depth=3..9, filters=2567727, revisions=(2181903,useless=1262709), ccks=6619019, wck=47.702, mem=151M168
53.45/50.19 decisions=154209, wrong=74982, backtracks=50220, failedAssignments=42111, nogoods=2544, foundSolutions=28, bestBound=31
53.45/50.19 nFilterCalls=9339190, avgTableProportion=0.9981170681920922, avgTableSize=530.1335689711849
53.45/50.19
53.54/50.21 num=444, depth=2..15, filters=2568403, revisions=(2182510,useless=1263040), ccks=6620892, wck=47.718, mem=151M168
53.54/50.21 decisions=154262, wrong=75005, backtracks=50236, failedAssignments=42125, nogoods=2547, foundSolutions=28, bestBound=31
53.54/50.21 nFilterCalls=9341800, avgTableProportion=0.9981170681984306, avgTableSize=530.1335708321736
53.54/50.21
53.54/50.23 num=445, depth=1..13, filters=2569196, revisions=(2183168,useless=1263432), ccks=6622843, wck=47.742, mem=151M168
53.54/50.23 decisions=154314, wrong=75028, backtracks=50253, failedAssignments=42141, nogoods=2552, foundSolutions=28, bestBound=31
53.54/50.23 nFilterCalls=9345864, avgTableProportion=0.9981170682600784, avgTableSize=530.1335889330296
53.54/50.23
53.54/50.25 num=446, depth=5..10, filters=2570228, revisions=(2184188,useless=1263980), ccks=6625797, wck=47.76, mem=151M168
53.54/50.25 decisions=154387, wrong=75062, backtracks=50276, failedAssignments=42158, nogoods=2558, foundSolutions=28, bestBound=31
53.54/50.25 nFilterCalls=9348791, avgTableProportion=0.9981170682404011, avgTableSize=530.1335831552979
53.54/50.25
53.54/50.28 num=447, depth=2..8, filters=2571487, revisions=(2185387,useless=1264610), ccks=6629172, wck=47.787, mem=153M776
53.54/50.28 decisions=154477, wrong=75106, backtracks=50305, failedAssignments=42177, nogoods=2561, foundSolutions=28, bestBound=31
53.54/50.28 nFilterCalls=9353281, avgTableProportion=0.9981170682397504, avgTableSize=530.1335829640957
53.54/50.28
53.64/50.31 num=448, depth=4..13, filters=2572863, revisions=(2186607,useless=1265254), ccks=6633334, wck=47.815, mem=153M776
53.64/50.31 decisions=154565, wrong=75146, backtracks=50333, failedAssignments=42198, nogoods=2566, foundSolutions=28, bestBound=31
53.64/50.31 nFilterCalls=9358341, avgTableProportion=0.9981170682659795, avgTableSize=530.1335906652686
53.64/50.31
53.64/50.34 num=449, depth=3..12, filters=2574553, revisions=(2187990,useless=1266082), ccks=6637356, wck=47.851, mem=153M776
53.64/50.34 decisions=154657, wrong=75189, backtracks=50364, failedAssignments=42221, nogoods=2571, foundSolutions=28, bestBound=31
53.64/50.34 nFilterCalls=9365212, avgTableProportion=0.9981170681827376, avgTableSize=530.1335662235942
53.64/50.34
53.64/50.37 num=450, depth=4..13, filters=2575973, revisions=(2189292,useless=1266872), ccks=6641285, wck=47.882, mem=153M776
53.64/50.37 decisions=154757, wrong=75237, backtracks=50393, failedAssignments=42246, nogoods=2577, foundSolutions=28, bestBound=31
53.64/50.37 nFilterCalls=9370979, avgTableProportion=0.9981170683450945, avgTableSize=530.1336138945568
53.64/50.37
53.74/50.41 num=451, depth=1..7, filters=2577812, revisions=(2190993,useless=1267813), ccks=6645273, wck=47.918, mem=153M776
53.74/50.41 decisions=154850, wrong=75283, backtracks=50423, failedAssignments=42274, nogoods=2578, foundSolutions=28, bestBound=31
53.74/50.41 nFilterCalls=9376773, avgTableProportion=0.998117068260772, avgTableSize=530.1335891356226
53.74/50.41
53.74/50.45 num=452, depth=5..12, filters=2579718, revisions=(2192726,useless=1268814), ccks=6651305, wck=47.958, mem=153M776
53.74/50.45 decisions=154975, wrong=75343, backtracks=50470, failedAssignments=42305, nogoods=2583, foundSolutions=28, bestBound=31
53.74/50.45 nFilterCalls=9383638, avgTableProportion=0.9981170681801659, avgTableSize=530.1335654678921
53.74/50.45
53.74/50.49 num=453, depth=5..13, filters=2581588, revisions=(2194371,useless=1269767), ccks=6656426, wck=47.999, mem=153M776
53.74/50.49 decisions=155107, wrong=75406, backtracks=50516, failedAssignments=42339, nogoods=2588, foundSolutions=28, bestBound=31
53.74/50.49 nFilterCalls=9391027, avgTableProportion=0.9981170681714936, avgTableSize=530.1335629212865
53.74/50.49
53.84/50.54 num=454, depth=2..12, filters=2584019, revisions=(2196324,useless=1270900), ccks=6661397, wck=48.054, mem=153M776
53.84/50.54 decisions=155246, wrong=75474, backtracks=50568, failedAssignments=42376, nogoods=2594, foundSolutions=28, bestBound=31
53.84/50.54 nFilterCalls=9400948, avgTableProportion=0.9981170682359523, avgTableSize=530.1335818472776
53.84/50.54
53.84/50.59 num=455, depth=5..11, filters=2586449, revisions=(2198516,useless=1272059), ccks=6668363, wck=48.098, mem=153M776
53.84/50.59 decisions=155390, wrong=75543, backtracks=50608, failedAssignments=42417, nogoods=2602, foundSolutions=28, bestBound=31
53.84/50.59 nFilterCalls=9407971, avgTableProportion=0.9981170681167996, avgTableSize=530.1335468614859
53.84/50.59
53.94/50.65 num=456, depth=4..14, filters=2589396, revisions=(2200983,useless=1273478), ccks=6676268, wck=48.16, mem=153M776
53.94/50.65 decisions=155568, wrong=75628, backtracks=50669, failedAssignments=42462, nogoods=2609, foundSolutions=28, bestBound=31
53.94/50.65 nFilterCalls=9419586, avgTableProportion=0.9981170680856534, avgTableSize=530.1335377159888
53.94/50.65
54.04/50.72 num=457, depth=5..13, filters=2592433, revisions=(2203456,useless=1274903), ccks=6683637, wck=48.227, mem=156M384
54.04/50.72 decisions=155751, wrong=75717, backtracks=50728, failedAssignments=42512, nogoods=2615, foundSolutions=28, bestBound=31
54.04/50.72 nFilterCalls=9432272, avgTableProportion=0.9981170679455358, avgTableSize=530.1334965743142
54.04/50.72
54.04/50.79 num=458, depth=4..12, filters=2596164, revisions=(2206718,useless=1276760), ccks=6693429, wck=48.294, mem=156M384
54.04/50.79 decisions=155954, wrong=75816, backtracks=50794, failedAssignments=42567, nogoods=2618, foundSolutions=28, bestBound=31
54.04/50.79 nFilterCalls=9444158, avgTableProportion=0.9981170678904556, avgTableSize=530.1334804013233
54.04/50.79
54.14/50.88 num=459, depth=2..13, filters=2600388, revisions=(2210185,useless=1278871), ccks=6703556, wck=48.386, mem=156M384
54.14/50.88 decisions=156178, wrong=75926, backtracks=50859, failedAssignments=42628, nogoods=2623, foundSolutions=28, bestBound=31
54.14/50.88 nFilterCalls=9461150, avgTableProportion=0.998117068223038, avgTableSize=530.1335780534079
54.14/50.88
54.24/50.98 num=460, depth=4..15, filters=2605169, revisions=(2214041,useless=1281118), ccks=6715507, wck=48.484, mem=156M384
54.24/50.98 decisions=156446, wrong=76057, backtracks=50956, failedAssignments=42695, nogoods=2631, foundSolutions=28, bestBound=31
54.24/50.98 nFilterCalls=9479012, avgTableProportion=0.9981170682173016, avgTableSize=530.1335763685076
54.24/50.98
54.35/51.07 num=461, depth=1..11, filters=2610125, revisions=(2218245,useless=1283499), ccks=6727490, wck=48.583, mem=156M384
54.35/51.07 decisions=156702, wrong=76183, backtracks=51038, failedAssignments=42769, nogoods=2641, foundSolutions=28, bestBound=31
54.35/51.07 nFilterCalls=9495991, avgTableProportion=0.9981170684328566, avgTableSize=530.133639659094
54.35/51.07
54.45/51.19 num=462, depth=2..14, filters=2615405, revisions=(2222682,useless=1286041), ccks=6742419, wck=48.695, mem=158M992
54.45/51.19 decisions=157004, wrong=76330, backtracks=51143, failedAssignments=42850, nogoods=2648, foundSolutions=28, bestBound=31
54.45/51.19 nFilterCalls=9515271, avgTableProportion=0.9981170682379418, avgTableSize=530.1335824276576
54.45/51.19
54.54/51.29 num=463, depth=4..13, filters=2620520, revisions=(2226493,useless=1288323), ccks=6753124, wck=48.795, mem=158M992
54.54/51.29 decisions=157283, wrong=76467, backtracks=51237, failedAssignments=42939, nogoods=2652, foundSolutions=28, bestBound=31
54.54/51.29 nFilterCalls=9533900, avgTableProportion=0.9981170685131849, avgTableSize=530.1336632437932
54.54/51.29
54.74/51.42 num=464, depth=6..15, filters=2627044, revisions=(2231813,useless=1291433), ccks=6767584, wck=48.926, mem=158M992
54.74/51.42 decisions=157633, wrong=76638, backtracks=51352, failedAssignments=43037, nogoods=2661, foundSolutions=28, bestBound=31
54.74/51.42 nFilterCalls=9559218, avgTableProportion=0.9981170687190876, avgTableSize=530.1337236999931
54.74/51.42
54.84/51.54 num=465, depth=1..13, filters=2633154, revisions=(2237351,useless=1294454), ccks=6782678, wck=49.053, mem=158M992
54.84/51.54 decisions=158041, wrong=76840, backtracks=51488, failedAssignments=43145, nogoods=2666, foundSolutions=28, bestBound=31
54.84/51.54 nFilterCalls=9582791, avgTableProportion=0.9981170687229041, avgTableSize=530.133724819836
54.84/51.54
55.04/51.73 num=466, depth=3..11, filters=2640230, revisions=(2243271,useless=1297882), ccks=6800762, wck=49.239, mem=29M990
55.04/51.73 decisions=158452, wrong=77043, backtracks=51625, failedAssignments=43264, nogoods=2674, foundSolutions=28, bestBound=31
55.04/51.73 nFilterCalls=9612167, avgTableProportion=0.9981170687511464, avgTableSize=530.1337331113785
55.04/51.73
55.17/51.89 num=467, depth=2..16, filters=2647735, revisions=(2249750,useless=1301444), ccks=6821701, wck=49.398, mem=29M990
55.17/51.89 decisions=158891, wrong=77260, backtracks=51771, failedAssignments=43395, nogoods=2681, foundSolutions=28, bestBound=31
55.17/51.89 nFilterCalls=9639929, avgTableProportion=0.9981170685693073, avgTableSize=530.1336797190104
55.17/51.89
55.38/52.07 num=468, depth=1..12, filters=2656785, revisions=(2258060,useless=1306180), ccks=6845174, wck=49.582, mem=29M990
55.38/52.07 decisions=159443, wrong=77534, backtracks=51954, failedAssignments=43539, nogoods=2687, foundSolutions=28, bestBound=31
55.38/52.07 nFilterCalls=9671253, avgTableProportion=0.9981170681159536, avgTableSize=530.1335466045609
55.38/52.07
55.57/52.27 num=469, depth=5..13, filters=2666938, revisions=(2266208,useless=1310825), ccks=6869249, wck=49.783, mem=32M601
55.57/52.27 decisions=160026, wrong=77823, backtracks=52151, failedAssignments=43697, nogoods=2701, foundSolutions=28, bestBound=31
55.57/52.27 nFilterCalls=9706881, avgTableProportion=0.9981170687411928, avgTableSize=530.1337301858341
55.57/52.27
55.77/52.50 num=470, depth=3..11, filters=2677570, revisions=(2275771,useless=1316378), ccks=6894692, wck=50.004, mem=32M601
55.77/52.50 decisions=160676, wrong=78146, backtracks=52367, failedAssignments=43871, nogoods=2707, foundSolutions=28, bestBound=31
55.77/52.50 nFilterCalls=9743814, avgTableProportion=0.9981170689117481, avgTableSize=530.1337802630469
55.77/52.50
56.07/52.75 num=471, depth=2..12, filters=2688838, revisions=(2285069,useless=1321790), ccks=6923481, wck=50.257, mem=35M212
56.07/52.75 decisions=161340, wrong=78476, backtracks=52609, failedAssignments=44062, nogoods=2722, foundSolutions=28, bestBound=31
56.07/52.75 nFilterCalls=9786920, avgTableProportion=0.9981170691843236, avgTableSize=530.1338602951695
56.07/52.75
56.38/53.03 num=472, depth=2..13, filters=2702393, revisions=(2296741,useless=1328652), ccks=6957585, wck=50.539, mem=35M212
56.38/53.03 decisions=162117, wrong=78862, backtracks=52883, failedAssignments=44273, nogoods=2736, foundSolutions=28, bestBound=31
56.38/53.03 nFilterCalls=9832409, avgTableProportion=0.9981170692417686, avgTableSize=530.1338771607243
56.38/53.03
56.57/53.28 num=473, depth=4..13, filters=2714756, revisions=(2307644,useless=1334727), ccks=6991728, wck=50.784, mem=37M822
56.57/53.28 decisions=162888, wrong=79245, backtracks=53133, failedAssignments=44505, nogoods=2755, foundSolutions=28, bestBound=31
56.57/53.28 nFilterCalls=9874375, avgTableProportion=0.9981170689215969, avgTableSize=530.1337831508323
56.57/53.28
56.97/53.61 num=474, depth=2..15, filters=2730651, revisions=(2321599,useless=1342912), ccks=7034450, wck=51.115, mem=37M822
56.97/53.61 decisions=163834, wrong=79715, backtracks=53450, failedAssignments=44760, nogoods=2763, foundSolutions=28, bestBound=31
56.97/53.61 nFilterCalls=9929040, avgTableProportion=0.9981170688769233, avgTableSize=530.1337700321482
56.97/53.61
57.27/53.97 num=475, depth=1..12, filters=2748121, revisions=(2336354,useless=1351503), ccks=7080911, wck=51.479, mem=40M433
57.27/53.97 decisions=164819, wrong=80205, backtracks=53776, failedAssignments=45041, nogoods=2775, foundSolutions=28, bestBound=31
57.27/53.97 nFilterCalls=9992326, avgTableProportion=0.9981170680699025, avgTableSize=530.1335330732804
57.27/53.97
57.27/53.99 o 35
57.27/53.99 num=476, depth=5..71, filters=2749432, revisions=(2337519,useless=1352134), ccks=7084659, wck=51.503, mem=40M433
57.27/53.99 decisions=164899, wrong=80241, backtracks=53793, failedAssignments=45064, nogoods=2778, foundSolutions=29, bestBound=35
57.27/53.99 nFilterCalls=9996419, avgTableProportion=0.9981170680019161, avgTableSize=530.1335131110451
57.27/53.99
57.78/54.43 num=477, depth=1..13, filters=2769001, revisions=(2354728,useless=1362480), ccks=7132789, wck=51.94, mem=43M44
57.78/54.43 decisions=166070, wrong=80825, backtracks=54191, failedAssignments=45404, nogoods=2796, foundSolutions=29, bestBound=35
57.78/54.43 nFilterCalls=10069585, avgTableProportion=0.9981170673881764, avgTableSize=530.1333329029945
57.78/54.43
57.78/54.44 num=478, depth=4..9, filters=2769706, revisions=(2355455,useless=1362881), ccks=7134732, wck=51.952, mem=43M44
57.78/54.44 decisions=166112, wrong=80844, backtracks=54204, failedAssignments=45415, nogoods=2800, foundSolutions=29, bestBound=35
57.78/54.44 nFilterCalls=10071586, avgTableProportion=0.9981170673436079, avgTableSize=530.1333198167597
57.78/54.44
57.78/54.46 num=479, depth=4..11, filters=2770527, revisions=(2356205,useless=1363296), ccks=7137040, wck=51.97, mem=43M44
57.78/54.46 decisions=166154, wrong=80863, backtracks=54218, failedAssignments=45427, nogoods=2803, foundSolutions=29, bestBound=35
57.78/54.46 nFilterCalls=10074341, avgTableProportion=0.9981170672941508, avgTableSize=530.1333052951056
57.78/54.46
57.78/54.48 num=480, depth=4..11, filters=2771445, revisions=(2356995,useless=1363769), ccks=7139382, wck=51.991, mem=43M44
57.78/54.48 decisions=166205, wrong=80886, backtracks=54232, failedAssignments=45440, nogoods=2807, foundSolutions=29, bestBound=35
57.78/54.48 nFilterCalls=10078044, avgTableProportion=0.9981170674169484, avgTableSize=530.1333413507621
57.78/54.48
57.88/54.51 num=481, depth=2..8, filters=2772766, revisions=(2358047,useless=1364392), ccks=7141998, wck=52.018, mem=43M44
57.88/54.51 decisions=166260, wrong=80912, backtracks=54247, failedAssignments=45454, nogoods=2813, foundSolutions=29, bestBound=35
57.88/54.51 nFilterCalls=10082636, avgTableProportion=0.9981170675803346, avgTableSize=530.1333893239823
57.88/54.51
57.88/54.53 num=482, depth=5..11, filters=2773607, revisions=(2358790,useless=1364819), ccks=7144362, wck=52.035, mem=43M44
57.88/54.53 decisions=166315, wrong=80937, backtracks=54262, failedAssignments=45470, nogoods=2820, foundSolutions=29, bestBound=35
57.88/54.53 nFilterCalls=10085455, avgTableProportion=0.9981170675468952, avgTableSize=530.1333795054363
57.88/54.53
57.88/54.55 num=483, depth=6..13, filters=2774624, revisions=(2359744,useless=1365356), ccks=7147354, wck=52.057, mem=43M44
57.88/54.55 decisions=166385, wrong=80969, backtracks=54284, failedAssignments=45487, nogoods=2822, foundSolutions=29, bestBound=35
57.88/54.55 nFilterCalls=10089334, avgTableProportion=0.9981170675616203, avgTableSize=530.1333838289029
57.88/54.55
57.88/54.57 num=484, depth=4..10, filters=2775665, revisions=(2360794,useless=1365931), ccks=7150129, wck=52.078, mem=43M44
57.88/54.57 decisions=166454, wrong=81001, backtracks=54304, failedAssignments=45506, nogoods=2825, foundSolutions=29, bestBound=35
57.88/54.57 nFilterCalls=10092767, avgTableProportion=0.9981170674310603, avgTableSize=530.1333454938572
57.88/54.57
57.98/54.60 num=485, depth=4..11, filters=2777116, revisions=(2362101,useless=1366705), ccks=7153655, wck=52.112, mem=43M44
57.98/54.60 decisions=166537, wrong=81039, backtracks=54326, failedAssignments=45527, nogoods=2833, foundSolutions=29, bestBound=35
57.98/54.60 nFilterCalls=10098026, avgTableProportion=0.9981170674444626, avgTableSize=530.1333494288883
57.98/54.60
57.98/54.65 num=486, depth=6..12, filters=2778721, revisions=(2363276,useless=1367433), ccks=7156971, wck=52.155, mem=45M655
57.98/54.65 decisions=166635, wrong=81085, backtracks=54360, failedAssignments=45550, nogoods=2836, foundSolutions=29, bestBound=35
57.98/54.65 nFilterCalls=10106154, avgTableProportion=0.9981170674782092, avgTableSize=530.1333593372909
57.98/54.65
57.98/54.68 num=487, depth=2..13, filters=2780241, revisions=(2364681,useless=1368261), ccks=7160972, wck=52.188, mem=45M655
57.98/54.68 decisions=166724, wrong=81126, backtracks=54387, failedAssignments=45575, nogoods=2841, foundSolutions=29, bestBound=35
57.98/54.68 nFilterCalls=10111526, avgTableProportion=0.9981170674565163, avgTableSize=530.1333529676925
57.98/54.68
58.08/54.72 num=488, depth=5..13, filters=2781970, revisions=(2366148,useless=1369117), ccks=7165069, wck=52.227, mem=45M655
58.08/54.72 decisions=166838, wrong=81180, backtracks=54431, failedAssignments=45603, nogoods=2846, foundSolutions=29, bestBound=35
58.08/54.72 nFilterCalls=10119211, avgTableProportion=0.9981170674734067, avgTableSize=530.1333579268186
58.08/54.72
58.08/54.76 num=489, depth=2..12, filters=2783798, revisions=(2367774,useless=1370037), ccks=7170476, wck=52.264, mem=45M655
58.08/54.76 decisions=166958, wrong=81237, backtracks=54468, failedAssignments=45634, nogoods=2851, foundSolutions=29, bestBound=35
58.08/54.76 nFilterCalls=10125199, avgTableProportion=0.9981170676044058, avgTableSize=530.1333963905302
58.08/54.76
58.18/54.80 num=490, depth=4..12, filters=2785763, revisions=(2369287,useless=1370922), ccks=7174995, wck=52.309, mem=45M655
58.18/54.80 decisions=167066, wrong=81288, backtracks=54502, failedAssignments=45668, nogoods=2857, foundSolutions=29, bestBound=35
58.18/54.80 nFilterCalls=10133599, avgTableProportion=0.9981170675907851, avgTableSize=530.1333923909955
58.18/54.80
58.18/54.85 num=491, depth=3..9, filters=2787880, revisions=(2371305,useless=1372143), ccks=7180863, wck=52.355, mem=45M655
58.18/54.85 decisions=167206, wrong=81356, backtracks=54544, failedAssignments=45705, nogoods=2864, foundSolutions=29, bestBound=35
58.18/54.85 nFilterCalls=10140771, avgTableProportion=0.9981170675206974, avgTableSize=530.1333718116699
58.18/54.85
58.28/54.90 num=492, depth=3..9, filters=2790438, revisions=(2373468,useless=1373504), ccks=7186700, wck=52.408, mem=45M655
58.28/54.90 decisions=167347, wrong=81423, backtracks=54587, failedAssignments=45746, nogoods=2868, foundSolutions=29, bestBound=35
58.28/54.90 nFilterCalls=10150147, avgTableProportion=0.9981170678607689, avgTableSize=530.1334716630213
58.28/54.90
58.28/54.96 num=493, depth=3..11, filters=2792860, revisions=(2375572,useless=1374696), ccks=7193803, wck=52.464, mem=45M655
58.28/54.96 decisions=167503, wrong=81499, backtracks=54637, failedAssignments=45791, nogoods=2872, foundSolutions=29, bestBound=35
58.28/54.96 nFilterCalls=10160272, avgTableProportion=0.9981170677466661, avgTableSize=530.1334381599232
58.28/54.96
58.39/55.01 num=494, depth=3..11, filters=2795742, revisions=(2378093,useless=1376119), ccks=7200932, wck=52.522, mem=45M655
58.39/55.01 decisions=167664, wrong=81576, backtracks=54688, failedAssignments=45841, nogoods=2880, foundSolutions=29, bestBound=35
58.39/55.01 nFilterCalls=10170177, avgTableProportion=0.9981170676439584, avgTableSize=530.1334080026336
58.39/55.01
58.39/55.08 num=495, depth=2..11, filters=2798704, revisions=(2380766,useless=1377639), ccks=7209042, wck=52.584, mem=45M655
58.39/55.08 decisions=167862, wrong=81672, backtracks=54748, failedAssignments=45896, nogoods=2889, foundSolutions=29, bestBound=35
58.39/55.08 nFilterCalls=10180789, avgTableProportion=0.9981170677149712, avgTableSize=530.1334288531076
58.39/55.08
58.49/55.15 num=496, depth=5..11, filters=2802283, revisions=(2383974,useless=1379465), ccks=7220103, wck=52.655, mem=48M267
58.49/55.15 decisions=168084, wrong=81779, backtracks=54817, failedAssignments=45957, nogoods=2895, foundSolutions=29, bestBound=35
58.49/55.15 nFilterCalls=10193435, avgTableProportion=0.9981170674726259, avgTableSize=530.1333576954187
58.49/55.15
58.58/55.24 num=497, depth=2..11, filters=2806431, revisions=(2387859,useless=1381669), ccks=7231215, wck=52.749, mem=48M267
58.58/55.24 decisions=168322, wrong=81895, backtracks=54902, failedAssignments=46024, nogoods=2902, foundSolutions=29, bestBound=35
58.58/55.24 nFilterCalls=10208421, avgTableProportion=0.9981170672989768, avgTableSize=530.1333067082559
58.58/55.24
58.68/55.36 num=498, depth=3..11, filters=2811364, revisions=(2391953,useless=1384111), ccks=7243218, wck=52.866, mem=48M267
58.68/55.36 decisions=168596, wrong=82030, backtracks=54992, failedAssignments=46098, nogoods=2911, foundSolutions=29, bestBound=35
58.68/55.36 nFilterCalls=10228794, avgTableProportion=0.9981170673706123, avgTableSize=530.1333277412763
58.68/55.36
58.78/55.46 num=499, depth=4..13, filters=2815866, revisions=(2395879,useless=1386402), ccks=7256374, wck=52.964, mem=48M267
58.78/55.46 decisions=168880, wrong=82169, backtracks=55082, failedAssignments=46179, nogoods=2916, foundSolutions=29, bestBound=35
58.78/55.46 nFilterCalls=10245888, avgTableProportion=0.9981170674088057, avgTableSize=530.1333389551008
58.78/55.46
58.88/55.58 num=500, depth=2..11, filters=2821181, revisions=(2400487,useless=1389238), ccks=7269200, wck=53.087, mem=48M267
58.88/55.58 decisions=169190, wrong=82321, backtracks=55194, failedAssignments=46268, nogoods=2923, foundSolutions=29, bestBound=35
58.88/55.58 nFilterCalls=10266851, avgTableProportion=0.9981170676880587, avgTableSize=530.1334209486433
58.88/55.58
59.08/55.72 num=501, depth=1..11, filters=2827963, revisions=(2406383,useless=1392667), ccks=7285723, wck=53.227, mem=50M878
59.08/55.72 decisions=169526, wrong=82486, backtracks=55295, failedAssignments=46366, nogoods=2926, foundSolutions=29, bestBound=35
59.08/55.72 nFilterCalls=10290161, avgTableProportion=0.9981170674907869, avgTableSize=530.1333630251266
59.08/55.72
59.18/55.85 num=502, depth=1..10, filters=2834793, revisions=(2412740,useless=1396268), ccks=7305137, wck=53.362, mem=50M878
59.18/55.85 decisions=169937, wrong=82690, backtracks=55430, failedAssignments=46474, nogoods=2932, foundSolutions=29, bestBound=35
59.18/55.85 nFilterCalls=10310857, avgTableProportion=0.9981170671472406, avgTableSize=530.1332621526998
59.18/55.85
59.28/56.00 num=503, depth=2..12, filters=2841836, revisions=(2418886,useless=1400092), ccks=7322066, wck=53.506, mem=50M878
59.28/56.00 decisions=170342, wrong=82890, backtracks=55570, failedAssignments=46593, nogoods=2939, foundSolutions=29, bestBound=35
59.28/56.00 nFilterCalls=10335627, avgTableProportion=0.9981170673637677, avgTableSize=530.1333257285697
59.28/56.00
59.49/56.15 num=504, depth=4..14, filters=2849892, revisions=(2425841,useless=1404179), ccks=7342766, wck=53.657, mem=53M488
59.49/56.15 decisions=170772, wrong=83100, backtracks=55703, failedAssignments=46724, nogoods=2945, foundSolutions=29, bestBound=35
59.49/56.15 nFilterCalls=10361877, avgTableProportion=0.9981170670989176, avgTableSize=530.1332479627002
59.49/56.15
59.68/56.36 num=505, depth=2..12, filters=2859318, revisions=(2433288,useless=1408806), ccks=7364356, wck=53.871, mem=53M488
59.68/56.36 decisions=171263, wrong=83343, backtracks=55855, failedAssignments=46868, nogoods=2953, foundSolutions=29, bestBound=35
59.68/56.36 nFilterCalls=10398979, avgTableProportion=0.9981170670603515, avgTableSize=530.133236637943
59.68/56.36
59.88/56.56 num=506, depth=3..11, filters=2869967, revisions=(2442762,useless=1414219), ccks=7391308, wck=54.073, mem=53M488
59.88/56.56 decisions=171823, wrong=83620, backtracks=56034, failedAssignments=47026, nogoods=2966, foundSolutions=29, bestBound=35
59.88/56.56 nFilterCalls=10432203, avgTableProportion=0.998117066576317, avgTableSize=530.1330945151278
59.88/56.56
60.18/56.80 num=507, depth=1..8, filters=2880611, revisions=(2452257,useless=1419860), ccks=7417088, wck=54.312, mem=56M99
60.18/56.80 decisions=172417, wrong=83915, backtracks=56214, failedAssignments=47200, nogoods=2972, foundSolutions=29, bestBound=35
60.18/56.80 nFilterCalls=10470727, avgTableProportion=0.9981170665700322, avgTableSize=530.1330926687325
60.18/56.80
60.39/57.06 num=508, depth=3..16, filters=2893319, revisions=(2461755,useless=1425496), ccks=7448095, wck=54.572, mem=56M99
60.39/57.06 decisions=173095, wrong=84251, backtracks=56433, failedAssignments=47391, nogoods=2984, foundSolutions=29, bestBound=35
60.39/57.06 nFilterCalls=10517654, avgTableProportion=0.9981170671254951, avgTableSize=530.133255762169
60.39/57.06
60.68/57.35 num=509, depth=1..11, filters=2906831, revisions=(2473304,useless=1431994), ccks=7486072, wck=54.858, mem=58M710
60.68/57.35 decisions=173910, wrong=84655, backtracks=56704, failedAssignments=47602, nogoods=2993, foundSolutions=29, bestBound=35
60.68/57.35 nFilterCalls=10564482, avgTableProportion=0.9981170666057916, avgTableSize=530.1331031658722
60.68/57.35
60.98/57.63 num=510, depth=1..10, filters=2920309, revisions=(2485482,useless=1439076), ccks=7520553, wck=55.138, mem=58M710
60.98/57.63 decisions=174686, wrong=85041, backtracks=56967, failedAssignments=47834, nogoods=2999, foundSolutions=29, bestBound=35
60.98/57.63 nFilterCalls=10609821, avgTableProportion=0.998117066139135, avgTableSize=530.1329661452347
60.98/57.63
61.28/57.99 num=511, depth=1..15, filters=2936739, revisions=(2498913,useless=1447051), ccks=7560747, wck=55.498, mem=61M321
61.28/57.99 decisions=175589, wrong=85491, backtracks=57274, failedAssignments=48089, nogoods=3007, foundSolutions=29, bestBound=35
61.28/57.99 nFilterCalls=10669582, avgTableProportion=0.9981170666514014, avgTableSize=530.1331165550815
61.28/57.99
61.69/58.39 num=512, depth=3..12, filters=2956360, revisions=(2515696,useless=1456644), ccks=7618018, wck=55.899, mem=63M932
61.69/58.39 decisions=176601, wrong=85994, backtracks=57609, failedAssignments=48370, nogoods=3014, foundSolutions=29, bestBound=35
61.69/58.39 nFilterCalls=10736791, avgTableProportion=0.9981170659270272, avgTableSize=530.1329038629885
61.69/58.39
62.09/58.80 num=513, depth=1..12, filters=2975493, revisions=(2531905,useless=1465923), ccks=7670987, wck=56.305, mem=66M543
62.09/58.80 decisions=177703, wrong=86544, backtracks=57974, failedAssignments=48679, nogoods=3026, foundSolutions=29, bestBound=35
62.09/58.80 nFilterCalls=10806794, avgTableProportion=0.9981170663396699, avgTableSize=530.1330250211117
62.09/58.80
62.69/59.31 num=514, depth=1..11, filters=2998045, revisions=(2550448,useless=1476960), ccks=7725424, wck=56.822, mem=69M153
62.69/59.31 decisions=178956, wrong=87168, backtracks=58410, failedAssignments=49019, nogoods=3038, foundSolutions=29, bestBound=35
62.69/59.31 nFilterCalls=10890797, avgTableProportion=0.9981170663792358, avgTableSize=530.1330366363453
62.69/59.31
63.19/59.87 num=515, depth=0..14, filters=3022028, revisions=(2570431,useless=1488957), ccks=7784546, wck=57.38, mem=71M764
63.19/59.87 decisions=180292, wrong=87833, backtracks=58865, failedAssignments=49393, nogoods=3047, foundSolutions=29, bestBound=35
63.19/59.87 nFilterCalls=10981865, avgTableProportion=0.9981170659527013, avgTableSize=530.1329113952867
63.19/59.87
63.69/60.38 num=516, depth=3..13, filters=3047758, revisions=(2592404,useless=1501954), ccks=7850350, wck=57.892, mem=74M375
63.69/60.38 decisions=181780, wrong=88574, backtracks=59371, failedAssignments=49804, nogoods=3063, foundSolutions=29, bestBound=35
63.69/60.38 nFilterCalls=11067146, avgTableProportion=0.9981170665756243, avgTableSize=530.1330942954941
63.69/60.38
64.40/61.04 num=517, depth=2..13, filters=3077366, revisions=(2616803,useless=1516752), ccks=7917872, wck=58.547, mem=76M986
64.40/61.04 decisions=183388, wrong=89376, backtracks=59941, failedAssignments=50256, nogoods=3076, foundSolutions=29, bestBound=35
64.40/61.04 nFilterCalls=11178260, avgTableProportion=0.9981170661446238, avgTableSize=530.1329677427435
64.40/61.04
65.09/61.78 num=518, depth=0..12, filters=3110575, revisions=(2644667,useless=1533649), ccks=7995774, wck=59.284, mem=79M596
65.09/61.78 decisions=185186, wrong=90273, backtracks=60586, failedAssignments=50753, nogoods=3084, foundSolutions=29, bestBound=35
65.09/61.78 nFilterCalls=11295728, avgTableProportion=0.9981170662075115, avgTableSize=530.1329862050503
65.09/61.78
65.99/62.61 num=519, depth=1..13, filters=3146752, revisions=(2675037,useless=1552799), ccks=8081431, wck=60.121, mem=82M207
65.99/62.61 decisions=187181, wrong=91267, backtracks=61296, failedAssignments=51300, nogoods=3097, foundSolutions=29, bestBound=35
65.99/62.61 nFilterCalls=11434836, avgTableProportion=0.9981170656930175, avgTableSize=530.13283513642
65.99/62.61
66.89/63.58 num=520, depth=1..12, filters=3188113, revisions=(2708097,useless=1573418), ccks=8175648, wck=61.089, mem=87M429
66.89/63.58 decisions=189454, wrong=92401, backtracks=62068, failedAssignments=51902, nogoods=3110, foundSolutions=29, bestBound=35
66.89/63.58 nFilterCalls=11595559, avgTableProportion=0.9981170646401671, avgTableSize=530.1325259955125
66.89/63.58
67.99/64.62 num=521, depth=1..14, filters=3234113, revisions=(2744149,useless=1596468), ccks=8277673, wck=62.124, mem=92M650
67.99/64.62 decisions=191785, wrong=93566, backtracks=62894, failedAssignments=52564, nogoods=3116, foundSolutions=29, bestBound=35
67.99/64.62 nFilterCalls=11766939, avgTableProportion=0.9981170656114366, avgTableSize=530.1328111754467
67.99/64.62
68.99/65.67 num=522, depth=0..14, filters=3282705, revisions=(2784419,useless=1621686), ccks=8389469, wck=63.174, mem=97M872
68.99/65.67 decisions=194357, wrong=94850, backtracks=63803, failedAssignments=53292, nogoods=3121, foundSolutions=29, bestBound=35
68.99/65.67 nFilterCalls=11936414, avgTableProportion=0.998117066574945, avgTableSize=530.1330940766633
68.99/65.67
70.19/66.84 num=523, depth=0..13, filters=3336587, revisions=(2828761,useless=1650042), ccks=8510993, wck=64.353, mem=103M93
70.19/66.84 decisions=197262, wrong=96301, backtracks=64860, failedAssignments=54093, nogoods=3128, foundSolutions=29, bestBound=35
70.19/66.84 nFilterCalls=12125818, avgTableProportion=0.9981170671736167, avgTableSize=530.1332698544544
70.19/66.84
71.59/68.20 num=524, depth=0..12, filters=3403395, revisions=(2879873,useless=1683894), ccks=8640744, wck=65.711, mem=108M315
71.59/68.20 decisions=200417, wrong=97876, backtracks=65985, failedAssignments=54974, nogoods=3136, foundSolutions=29, bestBound=35
71.59/68.20 nFilterCalls=12349919, avgTableProportion=0.998117069384526, avgTableSize=530.1339190159871
71.59/68.20
72.79/69.49
72.79/69.49 New Bounds: 36..35
72.79/69.49 num=525, depth=0..14, filters=3466653, revisions=(2929026,useless=1717104), ccks=8757752, wck=66.999, mem=113M536
72.79/69.49 decisions=203385, wrong=99361, backtracks=67108, failedAssignments=55802, foundSolutions=29, bestBound=35
72.79/69.49 nFilterCalls=12553261, avgTableProportion=0.998117070756976, avgTableSize=530.1343219901188
72.79/69.49
72.79/69.49 Global
72.79/69.49 filters=3466653, revisions=(2929026,useless=1717104), ccks=8757752
72.79/69.49 Stop=FULL_EXPLORATION, wrong=99361, bestBound=35, bestBoundWck=52.118, bestBoundCpu=53.911, foundSolutions=29, firstSolCpu=2.479
72.79/69.49 wck=67.615, cpu=69.406, mem=113M536
72.79/69.49
72.79/69.49 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>
72.79/69.49 s OPTIMUM FOUND
72.79/69.49
72.79/69.49 d WRONG_DECISIONS 99361
72.79/69.49 d NUMBER_SOLUTIONS 29