2.39/1.89
2.39/1.89 AbsCon 2
2.64/1.90
3.53/2.22 Instance
3.53/2.22 name=instance-4391250-1568390072, framework=COP, bounds=-infty..+infty
3.53/2.22
3.53/2.22 Loading variables...
3.53/2.25 Loading constraints...
4.20/2.47
4.20/2.47 Domains
4.20/2.47 nTypes=25, nValues=1414, sizes=[4#15,5#6,6#4,26#50]
4.20/2.47 Variables
4.20/2.47 count=75, degrees=[2#25,26#24,27#1,28#25]
4.20/2.47 Objectives
4.20/2.47 way=max, type=SumSimpleGE
4.20/2.47 Constraints
4.20/2.47 count=102, nSpecific=51, arities=[1#1,2#50,25#26,26#25]
4.20/2.47 distribution=[AtMost1#25,CtrExtensionCT-Table#25,CtrExtensionV-Bits#25,CtrIntension#26,SumSimpleGE#1]
4.20/2.47 tables=[577#24,602#1], nTotalTuples=14450
4.20/2.47 nExtStructures=(50,shared:0), nIntStructures=(2,shared:24), nCftStructures=(26,shared:24,unbuilt:52)
4.20/2.47 wck=0.607, cpu=2.425, mem=95M406
4.20/2.47 Solver SolverBacktrack being built...
4.20/2.47
4.20/2.49
4.20/2.49 Solver
4.20/2.49 guaranteedGAC=true
4.20/2.49 wck=0.636, cpu=2.453, mem=106M48
4.55/2.50
4.55/2.50 Preprocessing
4.55/2.50 filters=27, revisions=(51,useless=48), ccks=752, nACremovedValues=51, nTotalRemovedValues=51, inconcistency=false
4.55/2.50 wck=0.007, cpu=2.462, mem=106M48
4.55/2.50
4.55/2.52 o -1000
4.55/2.53 num=0, depth=76..74, filters=383, revisions=(699,useless=617), ccks=1455, wck=0.037, mem=106M48
4.55/2.53 decisions=24, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.55/2.53 nFilterCalls=675, avgTableProportion=0.9982697766543618, avgTableSize=577.0
4.55/2.53
4.55/2.56 num=1, depth=18..22, filters=1101, revisions=(1273,useless=979), ccks=3557, wck=0.064, mem=106M48
4.55/2.56 decisions=79, wrong=17, backtracks=8, failedAssignments=11, nogoods=3, foundSolutions=1, bestBound=-1000
4.55/2.56 nFilterCalls=5152, avgTableProportion=0.9982698733257639, avgTableSize=577.0335791925465
4.55/2.56
4.55/2.58 num=2, depth=18..21, filters=1541, revisions=(1682,useless=1230), ccks=4583, wck=0.092, mem=106M48
4.55/2.58 decisions=126, wrong=31, backtracks=13, failedAssignments=22, nogoods=11, foundSolutions=1, bestBound=-1000
4.55/2.58 nFilterCalls=7788, avgTableProportion=0.9982699289541491, avgTableSize=577.0529019003595
4.55/2.58
4.85/2.60 num=3, depth=14..18, filters=2062, revisions=(2145,useless=1461), ccks=5898, wck=0.106, mem=108M691
4.85/2.60 decisions=181, wrong=51, backtracks=21, failedAssignments=34, nogoods=18, foundSolutions=1, bestBound=-1000
4.85/2.60 nFilterCalls=9881, avgTableProportion=0.9982700225604303, avgTableSize=577.0854164558243
4.85/2.60
4.85/2.61 num=4, depth=14..20, filters=2735, revisions=(2773,useless=1816), ccks=7989, wck=0.119, mem=108M691
4.85/2.61 decisions=245, wrong=76, backtracks=40, failedAssignments=47, nogoods=22, foundSolutions=1, bestBound=-1000
4.85/2.61 nFilterCalls=12791, avgTableProportion=0.9982700318868891, avgTableSize=577.0886560863107
4.85/2.61
4.85/2.62 num=5, depth=16..19, filters=3297, revisions=(3326,useless=2104), ccks=10614, wck=0.13, mem=108M691
4.85/2.62 decisions=300, wrong=95, backtracks=48, failedAssignments=61, nogoods=27, foundSolutions=1, bestBound=-1000
4.85/2.62 nFilterCalls=15035, avgTableProportion=0.9982700475988837, avgTableSize=577.0941137346192
4.85/2.62
4.85/2.64 num=6, depth=14..20, filters=4106, revisions=(3984,useless=2495), ccks=13524, wck=0.144, mem=108M691
4.85/2.64 decisions=366, wrong=121, backtracks=66, failedAssignments=77, nogoods=28, foundSolutions=1, bestBound=-1000
4.85/2.64 nFilterCalls=19046, avgTableProportion=0.9982700531174584, avgTableSize=577.0960306626063
4.85/2.64
4.85/2.65 num=7, depth=14..20, filters=4977, revisions=(4772,useless=2945), ccks=16894, wck=0.161, mem=108M691
4.85/2.65 decisions=451, wrong=156, backtracks=89, failedAssignments=94, nogoods=31, foundSolutions=1, bestBound=-1000
4.85/2.65 nFilterCalls=23350, avgTableProportion=0.9982700232413732, avgTableSize=577.0856531049251
4.85/2.65
4.85/2.67 num=8, depth=15..20, filters=6123, revisions=(5682,useless=3543), ccks=20235, wck=0.182, mem=108M691
4.85/2.67 decisions=534, wrong=190, backtracks=108, failedAssignments=113, nogoods=36, foundSolutions=1, bestBound=-1000
4.85/2.67 nFilterCalls=29630, avgTableProportion=0.9982700069276887, avgTableSize=577.0799865001687
4.85/2.67
5.16/2.70 num=9, depth=16..22, filters=7773, revisions=(6749,useless=4308), ccks=23686, wck=0.204, mem=108M691
5.16/2.70 decisions=624, wrong=226, backtracks=132, failedAssignments=134, nogoods=38, foundSolutions=1, bestBound=-1000
5.16/2.70 nFilterCalls=39060, avgTableProportion=0.9982700817915914, avgTableSize=577.1059907834101
5.16/2.70
5.16/2.72 num=10, depth=15..20, filters=9144, revisions=(7835,useless=5039), ccks=27594, wck=0.226, mem=108M691
5.16/2.72 decisions=721, wrong=267, backtracks=159, failedAssignments=157, nogoods=39, foundSolutions=1, bestBound=-1000
5.16/2.72 nFilterCalls=46307, avgTableProportion=0.9982700653093681, avgTableSize=577.100265618589
5.16/2.72
5.16/2.75 num=11, depth=13..21, filters=11046, revisions=(9505,useless=6242), ccks=32138, wck=0.256, mem=108M691
5.16/2.75 decisions=835, wrong=317, backtracks=190, failedAssignments=182, nogoods=42, foundSolutions=1, bestBound=-1000
5.16/2.75 nFilterCalls=56216, avgTableProportion=0.9982700562176786, avgTableSize=577.0971075850292
5.16/2.75
5.16/2.76 num=12, depth=16..21, filters=12256, revisions=(10630,useless=6985), ccks=36693, wck=0.272, mem=108M691
5.16/2.76 decisions=935, wrong=359, backtracks=209, failedAssignments=210, nogoods=44, foundSolutions=1, bestBound=-1000
5.16/2.76 nFilterCalls=60610, avgTableProportion=0.9982700766093902, avgTableSize=577.1041907276027
5.16/2.76
5.16/2.79 num=13, depth=16..23, filters=13931, revisions=(12157,useless=7984), ccks=42354, wck=0.294, mem=108M691
5.16/2.79 decisions=1070, wrong=418, backtracks=245, failedAssignments=241, nogoods=46, foundSolutions=1, bestBound=-1000
5.16/2.79 nFilterCalls=67986, avgTableProportion=0.9982700842523001, avgTableSize=577.1068455270203
5.16/2.79
5.48/2.80 num=14, depth=14..20, filters=15342, revisions=(13563,useless=8955), ccks=48320, wck=0.312, mem=108M691
5.48/2.80 decisions=1185, wrong=467, backtracks=263, failedAssignments=275, nogoods=49, foundSolutions=1, bestBound=-1000
5.48/2.80 nFilterCalls=73728, avgTableProportion=0.9982700811086629, avgTableSize=577.1057535807291
5.48/2.80
5.48/2.81 o 10
5.48/2.81 num=15, depth=19..74, filters=15850, revisions=(14321,useless=9595), ccks=49348, wck=0.318, mem=108M691
5.48/2.81 decisions=1218, wrong=472, backtracks=266, failedAssignments=277, nogoods=50, foundSolutions=2, bestBound=10
5.48/2.81 nFilterCalls=75226, avgTableProportion=0.9982700760792427, avgTableSize=577.104006593465
5.48/2.81
5.48/2.86 num=16, depth=9..16, filters=17746, revisions=(15858,useless=10385), ccks=56316, wck=0.365, mem=111M333
5.48/2.86 decisions=1371, wrong=544, backtracks=309, failedAssignments=318, nogoods=54, foundSolutions=2, bestBound=10
5.48/2.86 nFilterCalls=83415, avgTableProportion=0.9982700677715746, avgTableSize=577.1011209015165
5.48/2.86
5.48/2.87 num=17, depth=18..21, filters=18267, revisions=(16255,useless=10601), ccks=58147, wck=0.373, mem=111M333
5.48/2.87 decisions=1423, wrong=561, backtracks=317, failedAssignments=329, nogoods=59, foundSolutions=2, bestBound=10
5.48/2.87 nFilterCalls=86554, avgTableProportion=0.9982700634004014, avgTableSize=577.0996025602514
5.48/2.87
5.48/2.88 num=18, depth=13..20, filters=19049, revisions=(16837,useless=10907), ccks=61190, wck=0.387, mem=111M333
5.48/2.88 decisions=1492, wrong=589, backtracks=336, failedAssignments=341, nogoods=60, foundSolutions=2, bestBound=10
5.48/2.88 nFilterCalls=91000, avgTableProportion=0.9982700661263982, avgTableSize=577.1005494505495
5.48/2.88
5.48/2.89 num=19, depth=15..18, filters=19789, revisions=(17379,useless=11205), ccks=63564, wck=0.397, mem=111M333
5.48/2.89 decisions=1555, wrong=612, backtracks=349, failedAssignments=354, nogoods=65, foundSolutions=2, bestBound=10
5.48/2.89 nFilterCalls=94929, avgTableProportion=0.9982700608477156, avgTableSize=577.0987158823963
5.48/2.89
5.79/2.90 num=20, depth=15..20, filters=20412, revisions=(17895,useless=11481), ccks=65879, wck=0.408, mem=111M333
5.79/2.90 decisions=1614, wrong=634, backtracks=363, failedAssignments=368, nogoods=69, foundSolutions=2, bestBound=10
5.79/2.90 nFilterCalls=98064, avgTableProportion=0.9982700573402499, avgTableSize=577.0974975526187
5.79/2.90
5.79/2.91 num=21, depth=15..19, filters=21227, revisions=(18476,useless=11802), ccks=68653, wck=0.421, mem=111M333
5.79/2.91 decisions=1681, wrong=660, backtracks=374, failedAssignments=384, nogoods=75, foundSolutions=2, bestBound=10
5.79/2.91 nFilterCalls=102237, avgTableProportion=0.9982700543875483, avgTableSize=577.0964719230807
5.79/2.91
5.79/2.93 num=22, depth=14..20, filters=22244, revisions=(19212,useless=12185), ccks=72237, wck=0.434, mem=111M333
5.79/2.93 decisions=1763, wrong=692, backtracks=391, failedAssignments=401, nogoods=78, foundSolutions=2, bestBound=10
5.79/2.93 nFilterCalls=107759, avgTableProportion=0.9982700702911907, avgTableSize=577.1019961209737
5.79/2.93
5.79/2.94 num=23, depth=16..20, filters=23369, revisions=(19955,useless=12646), ccks=75091, wck=0.449, mem=111M333
5.79/2.94 decisions=1841, wrong=723, backtracks=408, failedAssignments=420, nogoods=81, foundSolutions=2, bestBound=10
5.79/2.94 nFilterCalls=113948, avgTableProportion=0.9982700754641074, avgTableSize=577.1037929581914
5.79/2.94
5.79/2.96 num=24, depth=14..19, filters=24660, revisions=(20877,useless=13192), ccks=79055, wck=0.467, mem=111M333
5.79/2.96 decisions=1928, wrong=759, backtracks=430, failedAssignments=441, nogoods=84, foundSolutions=2, bestBound=10
5.79/2.96 nFilterCalls=120494, avgTableProportion=0.9982700712726603, avgTableSize=577.102337045828
5.79/2.96
5.79/2.97 num=25, depth=15..20, filters=25917, revisions=(21750,useless=13676), ccks=82857, wck=0.482, mem=111M333
5.79/2.97 decisions=2015, wrong=795, backtracks=451, failedAssignments=464, nogoods=90, foundSolutions=2, bestBound=10
5.79/2.97 nFilterCalls=126520, avgTableProportion=0.9982700805409709, avgTableSize=577.1055564337654
5.79/2.97
5.79/2.98 o 12
5.79/2.98 num=26, depth=14..74, filters=26636, revisions=(22317,useless=13949), ccks=85498, wck=0.491, mem=111M333
5.79/2.98 decisions=2088, wrong=821, backtracks=466, failedAssignments=481, nogoods=93, foundSolutions=3, bestBound=12
5.79/2.98 nFilterCalls=129980, avgTableProportion=0.998270088841795, avgTableSize=577.1084397599631
5.79/2.98
5.99/3.02 num=27, depth=12..17, filters=28135, revisions=(23628,useless=14692), ccks=91005, wck=0.526, mem=111M333
5.99/3.02 decisions=2197, wrong=869, backtracks=498, failedAssignments=509, nogoods=98, foundSolutions=3, bestBound=12
5.99/3.02 nFilterCalls=136491, avgTableProportion=0.9982700879548541, avgTableSize=577.1081316716853
5.99/3.02
5.99/3.03 num=28, depth=15..19, filters=28733, revisions=(24130,useless=14937), ccks=93019, wck=0.535, mem=111M333
5.99/3.03 decisions=2249, wrong=886, backtracks=507, failedAssignments=520, nogoods=101, foundSolutions=3, bestBound=12
5.99/3.03 nFilterCalls=139351, avgTableProportion=0.9982700922053988, avgTableSize=577.1096081118901
5.99/3.03
5.99/3.04 num=29, depth=16..20, filters=29504, revisions=(24691,useless=15238), ccks=95362, wck=0.546, mem=111M333
5.99/3.04 decisions=2309, wrong=908, backtracks=520, failedAssignments=532, nogoods=104, foundSolutions=3, bestBound=12
5.99/3.04 nFilterCalls=143182, avgTableProportion=0.9982700952031353, avgTableSize=577.1106493833024
5.99/3.04
5.99/3.05 num=30, depth=15..20, filters=30077, revisions=(25214,useless=15509), ccks=97545, wck=0.554, mem=111M333
5.99/3.05 decisions=2367, wrong=929, backtracks=534, failedAssignments=545, nogoods=106, foundSolutions=3, bestBound=12
5.99/3.05 nFilterCalls=145720, avgTableProportion=0.9982700918677007, avgTableSize=577.1094908042821
5.99/3.05
5.99/3.05 o 26
5.99/3.05 num=31, depth=17..74, filters=30378, revisions=(25467,useless=15628), ccks=98832, wck=0.559, mem=111M333
5.99/3.05 decisions=2404, wrong=937, backtracks=540, failedAssignments=549, nogoods=108, foundSolutions=4, bestBound=26
5.99/3.05 nFilterCalls=147160, avgTableProportion=0.9982700938696617, avgTableSize=577.1101861919
5.99/3.05
5.99/3.07 o 39
5.99/3.07 num=32, depth=9..74, filters=31313, revisions=(26259,useless=16069), ccks=101719, wck=0.58, mem=111M333
5.99/3.07 decisions=2463, wrong=960, backtracks=552, failedAssignments=564, nogoods=117, foundSolutions=5, bestBound=39
5.99/3.07 nFilterCalls=151282, avgTableProportion=0.9982700938470754, avgTableSize=577.1101783424333
5.99/3.07
5.99/3.09 num=33, depth=9..14, filters=32004, revisions=(26925,useless=16487), ccks=103674, wck=0.599, mem=111M333
5.99/3.09 decisions=2508, wrong=977, backtracks=563, failedAssignments=575, nogoods=120, foundSolutions=5, bestBound=39
5.99/3.09 nFilterCalls=154759, avgTableProportion=0.998270097379888, avgTableSize=577.1114054756105
5.99/3.09
5.99/3.10 o 44
5.99/3.10 num=34, depth=18..74, filters=32259, revisions=(27165,useless=16603), ccks=104746, wck=0.604, mem=113M976
5.99/3.10 decisions=2544, wrong=985, backtracks=566, failedAssignments=582, nogoods=125, foundSolutions=6, bestBound=44
5.99/3.10 nFilterCalls=156059, avgTableProportion=0.9982701007036415, avgTableSize=577.1125599933358
5.99/3.10
6.11/3.11 num=35, depth=9..13, filters=32929, revisions=(27880,useless=17015), ccks=106628, wck=0.616, mem=113M976
6.11/3.11 decisions=2594, wrong=1005, backtracks=576, failedAssignments=594, nogoods=129, foundSolutions=6, bestBound=44
6.11/3.11 nFilterCalls=158120, avgTableProportion=0.9982700994658157, avgTableSize=577.112130027827
6.11/3.11
6.11/3.12 num=36, depth=13..16, filters=33620, revisions=(28427,useless=17289), ccks=108489, wck=0.625, mem=113M976
6.11/3.12 decisions=2641, wrong=1022, backtracks=586, failedAssignments=605, nogoods=133, foundSolutions=6, bestBound=44
6.11/3.12 nFilterCalls=160243, avgTableProportion=0.9982700979198195, avgTableSize=577.1115930181038
6.11/3.12
6.11/3.13 num=37, depth=11..17, filters=34317, revisions=(29023,useless=17587), ccks=110551, wck=0.635, mem=113M976
6.11/3.13 decisions=2693, wrong=1042, backtracks=599, failedAssignments=617, nogoods=137, foundSolutions=6, bestBound=44
6.11/3.13 nFilterCalls=162881, avgTableProportion=0.9982700951381056, avgTableSize=577.1106267766038
6.11/3.13
6.11/3.14 num=38, depth=7..11, filters=35120, revisions=(29759,useless=17980), ccks=113021, wck=0.652, mem=113M976
6.11/3.14 decisions=2749, wrong=1066, backtracks=616, failedAssignments=630, nogoods=142, foundSolutions=6, bestBound=44
6.11/3.14 nFilterCalls=166148, avgTableProportion=0.9982700937793411, avgTableSize=577.1101548017431
6.11/3.14
6.11/3.16 num=39, depth=8..13, filters=35861, revisions=(30485,useless=18331), ccks=114879, wck=0.663, mem=113M976
6.11/3.16 decisions=2802, wrong=1088, backtracks=630, failedAssignments=644, nogoods=145, foundSolutions=6, bestBound=44
6.11/3.16 nFilterCalls=168560, avgTableProportion=0.9982700933063594, avgTableSize=577.1099905078311
6.11/3.16
6.11/3.17 num=40, depth=9..13, filters=36795, revisions=(31378,useless=18790), ccks=117931, wck=0.678, mem=113M976
6.11/3.17 decisions=2873, wrong=1119, backtracks=648, failedAssignments=660, nogoods=146, foundSolutions=6, bestBound=44
6.11/3.17 nFilterCalls=171885, avgTableProportion=0.9982700909494686, avgTableSize=577.1091718300027
6.11/3.17
6.11/3.19 num=41, depth=13..18, filters=37816, revisions=(32189,useless=19214), ccks=120503, wck=0.693, mem=113M976
6.11/3.19 decisions=2937, wrong=1144, backtracks=663, failedAssignments=677, nogoods=149, foundSolutions=6, bestBound=44
6.11/3.19 nFilterCalls=176043, avgTableProportion=0.9982700874835879, avgTableSize=577.1079679396511
6.11/3.19
6.22/3.20 num=42, depth=12..19, filters=38663, revisions=(32990,useless=19616), ccks=123364, wck=0.705, mem=113M976
6.22/3.20 decisions=3011, wrong=1174, backtracks=682, failedAssignments=696, nogoods=152, foundSolutions=6, bestBound=44
6.22/3.20 nFilterCalls=179451, avgTableProportion=0.9982700894736358, avgTableSize=577.1086591883021
6.22/3.20
6.22/3.22 num=43, depth=7..14, filters=39687, revisions=(33980,useless=20169), ccks=125909, wck=0.727, mem=113M976
6.22/3.22 decisions=3093, wrong=1211, backtracks=705, failedAssignments=717, nogoods=156, foundSolutions=6, bestBound=44
6.22/3.22 nFilterCalls=183985, avgTableProportion=0.9982700863181548, avgTableSize=577.1075631165584
6.22/3.22
6.22/3.24 num=44, depth=9..15, filters=40819, revisions=(34886,useless=20677), ccks=129107, wck=0.745, mem=113M976
6.22/3.24 decisions=3172, wrong=1246, backtracks=725, failedAssignments=740, nogoods=157, foundSolutions=6, bestBound=44
6.22/3.24 nFilterCalls=188074, avgTableProportion=0.9982700828154571, avgTableSize=577.1063464381042
6.22/3.24
6.22/3.26 num=45, depth=13..19, filters=42129, revisions=(36008,useless=21267), ccks=133170, wck=0.764, mem=113M976
6.22/3.26 decisions=3279, wrong=1293, backtracks=753, failedAssignments=765, nogoods=162, foundSolutions=6, bestBound=44
6.22/3.26 nFilterCalls=193299, avgTableProportion=0.9982700871992308, avgTableSize=577.1078691560742
6.22/3.26
6.22/3.28 num=46, depth=10..16, filters=43446, revisions=(37115,useless=21853), ccks=137324, wck=0.787, mem=113M976
6.22/3.28 decisions=3381, wrong=1339, backtracks=780, failedAssignments=793, nogoods=165, foundSolutions=6, bestBound=44
6.22/3.28 nFilterCalls=198447, avgTableProportion=0.9982700838870973, avgTableSize=577.1067186704762
6.22/3.28
6.35/3.30 num=47, depth=11..16, filters=45038, revisions=(38555,useless=22604), ccks=142547, wck=0.806, mem=113M976
6.35/3.30 decisions=3493, wrong=1389, backtracks=808, failedAssignments=824, nogoods=168, foundSolutions=6, bestBound=44
6.35/3.30 nFilterCalls=203370, avgTableProportion=0.9982700817866925, avgTableSize=577.1059890839357
6.35/3.30
6.35/3.33 num=48, depth=6..15, filters=46557, revisions=(39962,useless=23393), ccks=146903, wck=0.836, mem=113M976
6.35/3.33 decisions=3612, wrong=1441, backtracks=832, failedAssignments=858, nogoods=173, foundSolutions=6, bestBound=44
6.35/3.33 nFilterCalls=209592, avgTableProportion=0.9982700782639696, avgTableSize=577.1047654490629
6.35/3.33
6.35/3.36 num=49, depth=11..18, filters=48326, revisions=(41514,useless=24246), ccks=152555, wck=0.865, mem=113M976
6.35/3.36 decisions=3752, wrong=1505, backtracks=871, failedAssignments=895, nogoods=175, foundSolutions=6, bestBound=44
6.35/3.36 nFilterCalls=217299, avgTableProportion=0.9982700724421829, avgTableSize=577.1027432247732
6.35/3.36
6.45/3.41 num=50, depth=7..16, filters=50936, revisions=(43580,useless=25477), ccks=160068, wck=0.913, mem=116M618
6.45/3.41 decisions=3925, wrong=1586, backtracks=919, failedAssignments=936, nogoods=179, foundSolutions=6, bestBound=44
6.45/3.41 nFilterCalls=228912, avgTableProportion=0.9982700707927029, avgTableSize=577.1021702663032
6.45/3.41
6.45/3.45 num=51, depth=10..17, filters=53503, revisions=(45685,useless=26582), ccks=167939, wck=0.955, mem=116M618
6.45/3.45 decisions=4081, wrong=1659, backtracks=963, failedAssignments=981, nogoods=184, foundSolutions=6, bestBound=44
6.45/3.45 nFilterCalls=238429, avgTableProportion=0.998270069713805, avgTableSize=577.1017955030638
6.45/3.45
6.45/3.49 num=52, depth=7..13, filters=56167, revisions=(48040,useless=27885), ccks=174467, wck=0.994, mem=116M618
6.45/3.49 decisions=4249, wrong=1739, backtracks=1010, failedAssignments=1031, nogoods=187, foundSolutions=6, bestBound=44
6.45/3.49 nFilterCalls=246962, avgTableProportion=0.9982700699863497, avgTableSize=577.1018901693378
6.45/3.49
6.56/3.53 num=53, depth=8..16, filters=58957, revisions=(50538,useless=29252), ccks=182816, wck=1.039, mem=116M618
6.56/3.53 decisions=4439, wrong=1829, backtracks=1063, failedAssignments=1086, nogoods=194, foundSolutions=6, bestBound=44
6.56/3.53 nFilterCalls=257211, avgTableProportion=0.9982700661441857, avgTableSize=577.1005555749948
6.56/3.53
6.56/3.58 num=54, depth=10..18, filters=62398, revisions=(53463,useless=30835), ccks=193177, wck=1.086, mem=116M618
6.56/3.58 decisions=4676, wrong=1942, backtracks=1130, failedAssignments=1147, nogoods=204, foundSolutions=6, bestBound=44
6.56/3.58 nFilterCalls=269508, avgTableProportion=0.9982700729963788, avgTableSize=577.1029357199044
6.56/3.58
6.66/3.64 num=55, depth=5..12, filters=65746, revisions=(56559,useless=32459), ccks=203922, wck=1.15, mem=116M618
6.66/3.64 decisions=4918, wrong=2059, backtracks=1197, failedAssignments=1214, nogoods=208, foundSolutions=6, bestBound=44
6.66/3.64 nFilterCalls=281898, avgTableProportion=0.9982700687542971, avgTableSize=577.1014622310197
6.66/3.64
6.77/3.70 num=56, depth=10..18, filters=69917, revisions=(59943,useless=34314), ccks=215053, wck=1.208, mem=119M260
6.77/3.70 decisions=5188, wrong=2188, backtracks=1280, failedAssignments=1288, nogoods=213, foundSolutions=6, bestBound=44
6.77/3.70 nFilterCalls=297836, avgTableProportion=0.9982700795792397, avgTableSize=577.1052223371252
6.77/3.70
6.77/3.78 num=57, depth=7..16, filters=74269, revisions=(63868,useless=36507), ccks=229853, wck=1.285, mem=119M260
6.77/3.78 decisions=5484, wrong=2332, backtracks=1371, failedAssignments=1369, nogoods=221, foundSolutions=6, bestBound=44
6.77/3.78 nFilterCalls=314810, avgTableProportion=0.9982700724000401, avgTableSize=577.1027286299673
6.77/3.78
6.87/3.83 o 45
6.87/3.83 num=58, depth=10..74, filters=78007, revisions=(66858,useless=38175), ccks=240881, wck=1.338, mem=119M260
6.87/3.83 decisions=5741, wrong=2454, backtracks=1445, failedAssignments=1438, nogoods=228, foundSolutions=7, bestBound=45
6.87/3.83 nFilterCalls=329138, avgTableProportion=0.9982700861771351, avgTableSize=577.1075141733862
6.87/3.83
6.98/3.91 num=59, depth=6..16, filters=82842, revisions=(71134,useless=40580), ccks=254857, wck=1.421, mem=119M260
6.98/3.91 decisions=6063, wrong=2611, backtracks=1537, failedAssignments=1536, nogoods=240, foundSolutions=7, bestBound=45
6.98/3.91 nFilterCalls=344284, avgTableProportion=0.9982700955892975, avgTableSize=577.1107835391712
6.98/3.91
6.98/3.92 num=60, depth=7..13, filters=83461, revisions=(71700,useless=40877), ccks=256885, wck=1.431, mem=119M260
6.98/3.92 decisions=6104, wrong=2628, backtracks=1548, failedAssignments=1547, nogoods=243, foundSolutions=7, bestBound=45
6.98/3.92 nFilterCalls=346312, avgTableProportion=0.9982700945279748, avgTableSize=577.1104148859988
6.98/3.92
6.98/3.93 num=61, depth=9..13, filters=84003, revisions=(72223,useless=41154), ccks=258706, wck=1.44, mem=119M260
6.98/3.93 decisions=6149, wrong=2645, backtracks=1555, failedAssignments=1559, nogoods=250, foundSolutions=7, bestBound=45
6.98/3.93 nFilterCalls=348295, avgTableProportion=0.9982700938919011, avgTableSize=577.1101939447882
6.98/3.93
6.98/3.94 num=62, depth=11..16, filters=84790, revisions=(72918,useless=41521), ccks=261330, wck=1.452, mem=119M260
6.98/3.94 decisions=6211, wrong=2670, backtracks=1572, failedAssignments=1572, nogoods=253, foundSolutions=7, bestBound=45
6.98/3.94 nFilterCalls=351453, avgTableProportion=0.998270094047593, avgTableSize=577.1102480274745
6.98/3.94
6.98/3.96 num=63, depth=9..14, filters=85424, revisions=(73527,useless=41842), ccks=263739, wck=1.464, mem=119M260
6.98/3.96 decisions=6266, wrong=2693, backtracks=1583, failedAssignments=1586, nogoods=257, foundSolutions=7, bestBound=45
6.98/3.96 nFilterCalls=353862, avgTableProportion=0.9982700950679033, avgTableSize=577.1106024382386
6.98/3.96
6.98/3.97 num=64, depth=11..18, filters=86602, revisions=(74419,useless=42360), ccks=266513, wck=1.482, mem=119M260
6.98/3.97 decisions=6337, wrong=2723, backtracks=1602, failedAssignments=1602, nogoods=262, foundSolutions=7, bestBound=45
6.98/3.97 nFilterCalls=358743, avgTableProportion=0.9982700985118105, avgTableSize=577.1117986971175
6.98/3.97
6.98/3.99 num=65, depth=6..14, filters=87521, revisions=(75293,useless=42830), ccks=269002, wck=1.501, mem=119M260
6.98/3.99 decisions=6393, wrong=2748, backtracks=1617, failedAssignments=1619, nogoods=265, foundSolutions=7, bestBound=45
6.98/3.99 nFilterCalls=362457, avgTableProportion=0.9982700970882994, avgTableSize=577.1113042374682
6.98/3.99
7.10/4.01 num=66, depth=7..14, filters=88458, revisions=(76155,useless=43260), ccks=272269, wck=1.519, mem=121M903
7.10/4.01 decisions=6463, wrong=2778, backtracks=1635, failedAssignments=1638, nogoods=271, foundSolutions=7, bestBound=45
7.10/4.01 nFilterCalls=366237, avgTableProportion=0.9982700953138788, avgTableSize=577.1106878878977
7.10/4.01
7.10/4.03 num=67, depth=10..17, filters=89478, revisions=(76959,useless=43701), ccks=275208, wck=1.534, mem=121M903
7.10/4.03 decisions=6530, wrong=2806, backtracks=1648, failedAssignments=1659, nogoods=276, foundSolutions=7, bestBound=45
7.10/4.03 nFilterCalls=370262, avgTableProportion=0.9982700998195246, avgTableSize=577.1122529452118
7.10/4.03
7.10/4.05 num=68, depth=8..15, filters=90691, revisions=(78022,useless=44268), ccks=279398, wck=1.556, mem=121M903
7.10/4.05 decisions=6618, wrong=2845, backtracks=1674, failedAssignments=1682, nogoods=282, foundSolutions=7, bestBound=45
7.10/4.05 nFilterCalls=375270, avgTableProportion=0.9982700990894678, avgTableSize=577.1119993604605
7.10/4.05
7.10/4.07 num=69, depth=7..14, filters=91747, revisions=(79031,useless=44805), ccks=282927, wck=1.577, mem=121M903
7.10/4.07 decisions=6704, wrong=2884, backtracks=1695, failedAssignments=1707, nogoods=284, foundSolutions=7, bestBound=45
7.10/4.07 nFilterCalls=379536, avgTableProportion=0.998270097809137, avgTableSize=577.1115546351334
7.10/4.07
7.10/4.09 num=70, depth=10..18, filters=93053, revisions=(80128,useless=45352), ccks=288048, wck=1.598, mem=121M903
7.10/4.09 decisions=6798, wrong=2926, backtracks=1718, failedAssignments=1735, nogoods=287, foundSolutions=7, bestBound=45
7.10/4.09 nFilterCalls=384893, avgTableProportion=0.9982700966527699, avgTableSize=577.1111529697864
7.10/4.09
7.20/4.12 num=71, depth=7..15, filters=94616, revisions=(81549,useless=46088), ccks=293017, wck=1.625, mem=121M903
7.20/4.12 decisions=6915, wrong=2980, backtracks=1745, failedAssignments=1766, nogoods=293, foundSolutions=7, bestBound=45
7.20/4.12 nFilterCalls=390775, avgTableProportion=0.9982700960206428, avgTableSize=577.1109334015738
7.20/4.12
7.20/4.14 num=72, depth=10..16, filters=96558, revisions=(83229,useless=46951), ccks=299651, wck=1.651, mem=121M903
7.20/4.14 decisions=7055, wrong=3045, backtracks=1786, failedAssignments=1800, nogoods=298, foundSolutions=7, bestBound=45
7.20/4.14 nFilterCalls=397639, avgTableProportion=0.9982700934833951, avgTableSize=577.1100520824165
7.20/4.14
7.20/4.19 num=73, depth=6..15, filters=98539, revisions=(85027,useless=47946), ccks=306413, wck=1.695, mem=121M903
7.20/4.19 decisions=7189, wrong=3108, backtracks=1831, failedAssignments=1837, nogoods=303, foundSolutions=7, bestBound=45
7.20/4.19 nFilterCalls=406093, avgTableProportion=0.9982700943030411, avgTableSize=577.1103367947736
7.20/4.19
7.30/4.23 num=74, depth=9..17, filters=100819, revisions=(86803,useless=49063), ccks=312114, wck=1.738, mem=121M903
7.30/4.23 decisions=7355, wrong=3185, backtracks=1877, failedAssignments=1878, nogoods=310, foundSolutions=7, bestBound=45
7.30/4.23 nFilterCalls=416670, avgTableProportion=0.9982700971079852, avgTableSize=577.1113111095111
7.30/4.23
7.30/4.23 o 49
7.30/4.23 num=75, depth=10..74, filters=101005, revisions=(86978,useless=49153), ccks=312902, wck=1.743, mem=121M903
7.30/4.23 decisions=7369, wrong=3186, backtracks=1877, failedAssignments=1879, nogoods=311, foundSolutions=8, bestBound=49
7.30/4.23 nFilterCalls=417487, avgTableProportion=0.9982700977428031, avgTableSize=577.1115316165533
7.30/4.23
7.30/4.28 num=76, depth=7..13, filters=103527, revisions=(89250,useless=50460), ccks=319328, wck=1.789, mem=121M903
7.30/4.28 decisions=7530, wrong=3263, backtracks=1921, failedAssignments=1929, nogoods=318, foundSolutions=8, bestBound=49
7.30/4.28 nFilterCalls=425425, avgTableProportion=0.9982700979232163, avgTableSize=577.1115942880649
7.30/4.28
7.30/4.29 num=77, depth=10..16, filters=104339, revisions=(89878,useless=50807), ccks=321643, wck=1.802, mem=121M903
7.30/4.29 decisions=7580, wrong=3282, backtracks=1933, failedAssignments=1940, nogoods=323, foundSolutions=8, bestBound=49
7.30/4.29 nFilterCalls=428601, avgTableProportion=0.9982700982226315, avgTableSize=577.1116982928178
7.30/4.29
7.42/4.31 num=78, depth=11..14, filters=105062, revisions=(90451,useless=51078), ccks=323803, wck=1.813, mem=121M903
7.42/4.31 decisions=7623, wrong=3298, backtracks=1939, failedAssignments=1952, nogoods=330, foundSolutions=8, bestBound=49
7.42/4.31 nFilterCalls=430855, avgTableProportion=0.9982700970147645, avgTableSize=577.1112787364659
7.42/4.31
7.42/4.33 num=79, depth=7..12, filters=105966, revisions=(91144,useless=51486), ccks=326128, wck=1.835, mem=124M545
7.42/4.33 decisions=7679, wrong=3322, backtracks=1953, failedAssignments=1965, nogoods=333, foundSolutions=8, bestBound=49
7.42/4.33 nFilterCalls=434930, avgTableProportion=0.9982701021217625, avgTableSize=577.1130526751431
7.42/4.33
7.42/4.34 num=80, depth=10..14, filters=106758, revisions=(91798,useless=51831), ccks=328442, wck=1.847, mem=124M545
7.42/4.34 decisions=7740, wrong=3347, backtracks=1969, failedAssignments=1979, nogoods=338, foundSolutions=8, bestBound=49
7.42/4.34 nFilterCalls=437737, avgTableProportion=0.9982701024549464, avgTableSize=577.1131684093417
7.42/4.34
7.42/4.35 num=81, depth=5..9, filters=107433, revisions=(92451,useless=52185), ccks=330503, wck=1.863, mem=124M545
7.42/4.35 decisions=7794, wrong=3370, backtracks=1982, failedAssignments=1995, nogoods=345, foundSolutions=8, bestBound=49
7.42/4.35 nFilterCalls=440589, avgTableProportion=0.9982701016397569, avgTableSize=577.112885251334
7.42/4.35
7.42/4.37 num=82, depth=10..17, filters=108502, revisions=(93255,useless=52641), ccks=333181, wck=1.88, mem=124M545
7.42/4.37 decisions=7872, wrong=3403, backtracks=2002, failedAssignments=2012, nogoods=351, foundSolutions=8, bestBound=49
7.42/4.37 nFilterCalls=445505, avgTableProportion=0.998270105866339, avgTableSize=577.1143533742606
7.42/4.37
7.42/4.39 num=83, depth=7..14, filters=109412, revisions=(94119,useless=53091), ccks=336354, wck=1.897, mem=124M545
7.42/4.39 decisions=7940, wrong=3433, backtracks=2019, failedAssignments=2031, nogoods=357, foundSolutions=8, bestBound=49
7.42/4.39 nFilterCalls=449085, avgTableProportion=0.9982701062549124, avgTableSize=577.1144883485309
7.42/4.39
7.57/4.41 num=84, depth=11..17, filters=110590, revisions=(95173,useless=53682), ccks=339788, wck=1.917, mem=124M545
7.57/4.41 decisions=8027, wrong=3471, backtracks=2042, failedAssignments=2052, nogoods=365, foundSolutions=8, bestBound=49
7.57/4.41 nFilterCalls=453592, avgTableProportion=0.998270106584952, avgTableSize=577.1146029912344
7.57/4.41
7.57/4.43 num=85, depth=8..15, filters=112164, revisions=(96578,useless=54435), ccks=344790, wck=1.942, mem=124M545
7.57/4.43 decisions=8125, wrong=3514, backtracks=2066, failedAssignments=2075, nogoods=367, foundSolutions=8, bestBound=49
7.57/4.43 nFilterCalls=459238, avgTableProportion=0.998270106158357, avgTableSize=577.1144548142793
7.57/4.43
7.57/4.46 num=86, depth=5..11, filters=113519, revisions=(97833,useless=55159), ccks=348614, wck=1.972, mem=124M545
7.57/4.46 decisions=8213, wrong=3555, backtracks=2088, failedAssignments=2100, nogoods=371, foundSolutions=8, bestBound=49
7.57/4.46 nFilterCalls=465107, avgTableProportion=0.9982701060609515, avgTableSize=577.1144209826986
7.57/4.46
7.57/4.49 num=87, depth=10..17, filters=115166, revisions=(99201,useless=55916), ccks=353151, wck=1.993, mem=124M545
7.57/4.49 decisions=8311, wrong=3599, backtracks=2113, failedAssignments=2128, nogoods=379, foundSolutions=8, bestBound=49
7.57/4.49 nFilterCalls=470677, avgTableProportion=0.9982701080040117, avgTableSize=577.1150959150331
7.57/4.49
7.68/4.51 num=88, depth=9..16, filters=116815, revisions=(100631,useless=56663), ccks=358822, wck=2.022, mem=124M545
7.68/4.51 decisions=8428, wrong=3653, backtracks=2144, failedAssignments=2159, nogoods=388, foundSolutions=8, bestBound=49
7.68/4.51 nFilterCalls=476988, avgTableProportion=0.9982701068731126, avgTableSize=577.1147030952561
7.68/4.51
7.68/4.54 num=89, depth=9..14, filters=118688, revisions=(102254,useless=57590), ccks=364124, wck=2.049, mem=124M545
7.68/4.54 decisions=8558, wrong=3713, backtracks=2185, failedAssignments=2193, nogoods=395, foundSolutions=8, bestBound=49
7.68/4.54 nFilterCalls=483155, avgTableProportion=0.9982701094092221, avgTableSize=577.1155840258302
7.68/4.54
7.68/4.58 num=90, depth=6..12, filters=120801, revisions=(104144,useless=58534), ccks=370611, wck=2.092, mem=124M545
7.68/4.58 decisions=8690, wrong=3775, backtracks=2223, failedAssignments=2230, nogoods=402, foundSolutions=8, bestBound=49
7.68/4.58 nFilterCalls=490798, avgTableProportion=0.9982701072012875, avgTableSize=577.1148170937942
7.68/4.58
7.78/4.62 num=91, depth=8..15, filters=123330, revisions=(106349,useless=59704), ccks=377637, wck=2.129, mem=124M545
7.78/4.62 decisions=8853, wrong=3852, backtracks=2267, failedAssignments=2271, nogoods=410, foundSolutions=8, bestBound=49
7.78/4.62 nFilterCalls=498467, avgTableProportion=0.9982701076371443, avgTableSize=577.1149684934007
7.78/4.62
7.78/4.67 num=92, depth=8..14, filters=125909, revisions=(108574,useless=60898), ccks=385841, wck=2.179, mem=127M188
7.78/4.67 decisions=9019, wrong=3930, backtracks=2308, failedAssignments=2316, nogoods=416, foundSolutions=8, bestBound=49
7.78/4.67 nFilterCalls=508116, avgTableProportion=0.9982701058901782, avgTableSize=577.1143616811909
7.78/4.67
7.89/4.72 num=93, depth=8..18, filters=128849, revisions=(110732,useless=62192), ccks=393082, wck=2.224, mem=127M188
7.89/4.72 decisions=9202, wrong=4016, backtracks=2358, failedAssignments=2366, nogoods=421, foundSolutions=8, bestBound=49
7.89/4.72 nFilterCalls=520953, avgTableProportion=0.998270113460765, avgTableSize=577.1169913600651
7.89/4.72
7.89/4.77 num=94, depth=9..17, filters=132190, revisions=(113462,useless=63724), ccks=403067, wck=2.281, mem=127M188
7.89/4.77 decisions=9412, wrong=4115, backtracks=2419, failedAssignments=2421, nogoods=429, foundSolutions=8, bestBound=49
7.89/4.77 nFilterCalls=533952, avgTableProportion=0.9982701120062738, avgTableSize=577.1164861260937
7.89/4.77
8.00/4.85 num=95, depth=4..13, filters=135996, revisions=(116832,useless=65453), ccks=414888, wck=2.357, mem=127M188
8.00/4.85 decisions=9643, wrong=4227, backtracks=2495, failedAssignments=2482, nogoods=440, foundSolutions=8, bestBound=49
8.00/4.85 nFilterCalls=548090, avgTableProportion=0.9982701130049503, avgTableSize=577.1168330018793
8.00/4.85
8.10/4.91 num=96, depth=7..15, filters=139780, revisions=(120108,useless=67307), ccks=424521, wck=2.421, mem=127M188
8.10/4.91 decisions=9879, wrong=4341, backtracks=2572, failedAssignments=2549, nogoods=444, foundSolutions=8, bestBound=49
8.10/4.91 nFilterCalls=562160, avgTableProportion=0.9982701117818615, avgTableSize=577.1164081400314
8.10/4.91
8.10/4.97 num=97, depth=9..16, filters=143902, revisions=(123503,useless=69054), ccks=436896, wck=2.481, mem=129M830
8.10/4.97 decisions=10131, wrong=4462, backtracks=2641, failedAssignments=2623, nogoods=451, foundSolutions=8, bestBound=49
8.10/4.97 nFilterCalls=574859, avgTableProportion=0.9982701095169395, avgTableSize=577.1156213958553
8.10/4.97
8.21/5.05 num=98, depth=7..15, filters=148582, revisions=(127476,useless=71043), ccks=451638, wck=2.557, mem=129M830
8.21/5.05 decisions=10417, wrong=4600, backtracks=2730, failedAssignments=2704, nogoods=456, foundSolutions=8, bestBound=49
8.21/5.05 nFilterCalls=591525, avgTableProportion=0.998270112714826, avgTableSize=577.1167321753096
8.21/5.05
8.36/5.14 num=99, depth=7..16, filters=153518, revisions=(131802,useless=73381), ccks=466348, wck=2.647, mem=129M830
8.36/5.14 decisions=10718, wrong=4746, backtracks=2827, failedAssignments=2793, nogoods=463, foundSolutions=8, bestBound=49
8.36/5.14 nFilterCalls=609907, avgTableProportion=0.9982701096336448, avgTableSize=577.115661895994
8.36/5.14
8.45/5.24 num=100, depth=7..16, filters=160024, revisions=(137350,useless=76505), ccks=483832, wck=2.748, mem=129M830
8.45/5.24 decisions=11114, wrong=4939, backtracks=2955, failedAssignments=2891, nogoods=472, foundSolutions=8, bestBound=49
8.45/5.24 nFilterCalls=631374, avgTableProportion=0.9982701159037575, avgTableSize=577.1178398223557
8.45/5.24
8.56/5.33 num=101, depth=9..17, filters=165563, revisions=(141838,useless=78889), ccks=501893, wck=2.839, mem=132M473
8.56/5.33 decisions=11514, wrong=5134, backtracks=3086, failedAssignments=2999, nogoods=478, foundSolutions=8, bestBound=49
8.56/5.33 nFilterCalls=654695, avgTableProportion=0.9982701170289086, avgTableSize=577.1182306264749
8.56/5.33
8.65/5.44 num=102, depth=6..14, filters=172352, revisions=(147850,useless=82271), ccks=522444, wck=2.952, mem=132M473
8.65/5.44 decisions=11965, wrong=5355, backtracks=3229, failedAssignments=3118, nogoods=487, foundSolutions=8, bestBound=49
8.65/5.44 nFilterCalls=678082, avgTableProportion=0.9982701215843113, avgTableSize=577.1198129429774
8.65/5.44
8.77/5.58 num=103, depth=7..16, filters=180183, revisions=(154505,useless=85943), ccks=544514, wck=3.091, mem=132M473
8.77/5.58 decisions=12447, wrong=5592, backtracks=3392, failedAssignments=3249, nogoods=493, foundSolutions=8, bestBound=49
8.77/5.58 nFilterCalls=706772, avgTableProportion=0.998270121981797, avgTableSize=577.1199509884376
8.77/5.58
8.97/5.75 num=104, depth=6..15, filters=188938, revisions=(161632,useless=89866), ccks=569971, wck=3.259, mem=135M115
8.97/5.75 decisions=12938, wrong=5832, backtracks=3546, failedAssignments=3393, nogoods=501, foundSolutions=8, bestBound=49
8.97/5.75 nFilterCalls=741070, avgTableProportion=0.9982701191184636, avgTableSize=577.1189563738918
8.97/5.75
9.18/5.93 num=105, depth=8..16, filters=199567, revisions=(170489,useless=94701), ccks=604997, wck=3.442, mem=135M115
9.18/5.93 decisions=13606, wrong=6162, backtracks=3768, failedAssignments=3551, nogoods=514, foundSolutions=8, bestBound=49
9.18/5.93 nFilterCalls=778630, avgTableProportion=0.998270118737697, avgTableSize=577.118824088463
9.18/5.93
9.40/6.15 num=106, depth=7..16, filters=211090, revisions=(179370,useless=100107), ccks=630295, wck=3.654, mem=137M758
9.40/6.15 decisions=14221, wrong=6465, backtracks=3973, failedAssignments=3725, nogoods=523, foundSolutions=8, bestBound=49
9.40/6.15 nFilterCalls=825934, avgTableProportion=0.998270120219681, avgTableSize=577.1193388333693
9.40/6.15
9.60/6.36 num=107, depth=5..17, filters=221855, revisions=(188386,useless=105186), ccks=663466, wck=3.865, mem=137M758
9.60/6.36 decisions=14864, wrong=6783, backtracks=4187, failedAssignments=3916, nogoods=532, foundSolutions=8, bestBound=49
9.60/6.36 nFilterCalls=870369, avgTableProportion=0.9982701249734879, avgTableSize=577.1209900628354
9.60/6.36
9.80/6.57 num=108, depth=7..18, filters=234531, revisions=(199125,useless=111512), ccks=696918, wck=4.08, mem=140M400
9.80/6.57 decisions=15650, wrong=7170, backtracks=4431, failedAssignments=4127, nogoods=543, foundSolutions=8, bestBound=49
9.80/6.57 nFilterCalls=919751, avgTableProportion=0.9982701342645214, avgTableSize=577.1242173153386
9.80/6.57
10.10/6.80 num=109, depth=9..17, filters=248842, revisions=(210102,useless=117916), ccks=737156, wck=4.307, mem=140M400
10.10/6.80 decisions=16474, wrong=7576, backtracks=4708, failedAssignments=4359, nogoods=552, foundSolutions=8, bestBound=49
10.10/6.80 nFilterCalls=976824, avgTableProportion=0.9982701314280308, avgTableSize=577.1232320254212
10.10/6.80
10.31/7.07 num=110, depth=5..15, filters=263891, revisions=(223121,useless=125552), ccks=778411, wck=4.576, mem=142M778
10.31/7.07 decisions=17381, wrong=8026, backtracks=5003, failedAssignments=4614, nogoods=571, foundSolutions=8, bestBound=49
10.31/7.07 nFilterCalls=1033981, avgTableProportion=0.9982701284333795, avgTableSize=577.1221918004296
10.31/7.07
10.75/7.41 num=111, depth=5..15, filters=280635, revisions=(237267,useless=133601), ccks=831559, wck=4.915, mem=30M884
10.75/7.41 decisions=18411, wrong=8538, backtracks=5347, failedAssignments=4895, nogoods=580, foundSolutions=8, bestBound=49
10.75/7.41 nFilterCalls=1096076, avgTableProportion=0.9982701286153672, avgTableSize=577.1222533838894
10.75/7.41
10.75/7.43 o 50
10.75/7.43 num=112, depth=13..74, filters=282158, revisions=(238279,useless=134155), ccks=835333, wck=4.939, mem=30M884
10.75/7.43 decisions=18512, wrong=8580, backtracks=5373, failedAssignments=4919, nogoods=587, foundSolutions=9, bestBound=50
10.75/7.43 nFilterCalls=1103165, avgTableProportion=0.9982701298408992, avgTableSize=577.1226788377079
10.75/7.43
11.15/7.83 num=113, depth=6..16, filters=303325, revisions=(256417,useless=144742), ccks=890720, wck=5.336, mem=33M447
11.15/7.83 decisions=19739, wrong=9190, backtracks=5776, failedAssignments=5259, nogoods=604, foundSolutions=9, bestBound=50
11.15/7.83 nFilterCalls=1172873, avgTableProportion=0.9982701284734335, avgTableSize=577.1222016364943
11.15/7.83
11.15/7.84 num=114, depth=7..12, filters=303695, revisions=(256768,useless=144906), ccks=891867, wck=5.344, mem=33M447
11.15/7.84 decisions=19774, wrong=9204, backtracks=5784, failedAssignments=5270, nogoods=607, foundSolutions=9, bestBound=50
11.15/7.84 nFilterCalls=1174220, avgTableProportion=0.9982701282612129, avgTableSize=577.1221278806356
11.15/7.84
11.15/7.85 num=115, depth=8..11, filters=304347, revisions=(257405,useless=145242), ccks=893527, wck=5.356, mem=33M447
11.15/7.85 decisions=19819, wrong=9222, backtracks=5794, failedAssignments=5282, nogoods=612, foundSolutions=9, bestBound=50
11.15/7.85 nFilterCalls=1176442, avgTableProportion=0.998270128461166, avgTableSize=577.1221972693936
11.15/7.85
11.15/7.86 num=116, depth=6..14, filters=305185, revisions=(258215,useless=145703), ccks=896433, wck=5.371, mem=33M447
11.15/7.86 decisions=19873, wrong=9246, backtracks=5811, failedAssignments=5295, nogoods=614, foundSolutions=9, bestBound=50
11.15/7.86 nFilterCalls=1179081, avgTableProportion=0.9982701284944049, avgTableSize=577.1222087371436
11.15/7.86
11.15/7.88 num=117, depth=13..16, filters=305925, revisions=(258843,useless=146076), ccks=898315, wck=5.383, mem=33M447
11.15/7.88 decisions=19927, wrong=9266, backtracks=5822, failedAssignments=5309, nogoods=621, foundSolutions=9, bestBound=50
11.15/7.88 nFilterCalls=1181825, avgTableProportion=0.9982701289103598, avgTableSize=577.1223531402703
11.15/7.88
11.15/7.89 num=118, depth=9..15, filters=306647, revisions=(259414,useless=146414), ccks=900534, wck=5.402, mem=33M447
11.15/7.89 decisions=19985, wrong=9290, backtracks=5834, failedAssignments=5325, nogoods=626, foundSolutions=9, bestBound=50
11.15/7.89 nFilterCalls=1185681, avgTableProportion=0.9982701286003934, avgTableSize=577.1222453594179
11.15/7.89
11.25/7.91 num=119, depth=12..19, filters=307447, revisions=(260099,useless=146786), ccks=903442, wck=5.417, mem=33M447
11.25/7.91 decisions=20059, wrong=9321, backtracks=5852, failedAssignments=5342, nogoods=629, foundSolutions=9, bestBound=50
11.25/7.91 nFilterCalls=1189102, avgTableProportion=0.9982701285662968, avgTableSize=577.1222334164773
11.25/7.91
11.25/7.93 num=120, depth=7..11, filters=308550, revisions=(261090,useless=147319), ccks=906665, wck=5.439, mem=33M447
11.25/7.93 decisions=20139, wrong=9357, backtracks=5878, failedAssignments=5361, nogoods=633, foundSolutions=9, bestBound=50
11.25/7.93 nFilterCalls=1193588, avgTableProportion=0.998270128423545, avgTableSize=577.1221837015788
11.25/7.93
11.25/7.97 num=121, depth=5..11, filters=310313, revisions=(262647,useless=148267), ccks=911762, wck=5.477, mem=33M447
11.25/7.97 decisions=20244, wrong=9406, backtracks=5911, failedAssignments=5382, nogoods=640, foundSolutions=9, bestBound=50
11.25/7.97 nFilterCalls=1200633, avgTableProportion=0.9982701283503096, avgTableSize=577.1221580616225
11.25/7.97
11.25/8.00 num=122, depth=7..12, filters=311727, revisions=(263976,useless=149060), ccks=915703, wck=5.503, mem=33M447
11.25/8.00 decisions=20345, wrong=9451, backtracks=5935, failedAssignments=5405, nogoods=648, foundSolutions=9, bestBound=50
11.25/8.00 nFilterCalls=1206166, avgTableProportion=0.9982701280908336, avgTableSize=577.1220677750823
11.25/8.00
11.36/8.02 num=123, depth=2..12, filters=313003, revisions=(265085,useless=149636), ccks=918969, wck=5.526, mem=33M447
11.36/8.02 decisions=20434, wrong=9492, backtracks=5958, failedAssignments=5430, nogoods=655, foundSolutions=9, bestBound=50
11.36/8.02 nFilterCalls=1209686, avgTableProportion=0.9982701279728892, avgTableSize=577.1220267077572
11.36/8.02
11.36/8.05 num=124, depth=4..13, filters=314824, revisions=(266611,useless=150498), ccks=923073, wck=5.558, mem=33M447
11.36/8.05 decisions=20542, wrong=9542, backtracks=5991, failedAssignments=5458, nogoods=659, foundSolutions=9, bestBound=50
11.36/8.05 nFilterCalls=1216452, avgTableProportion=0.9982701274607395, avgTableSize=577.1218486220582
11.36/8.05
11.36/8.08 num=125, depth=7..15, filters=316867, revisions=(268438,useless=151586), ccks=928606, wck=5.588, mem=33M447
11.36/8.08 decisions=20662, wrong=9597, backtracks=6023, failedAssignments=5489, nogoods=661, foundSolutions=9, bestBound=50
11.36/8.08 nFilterCalls=1222504, avgTableProportion=0.9982701271328771, avgTableSize=577.1217345710116
11.36/8.08
11.46/8.12 num=126, depth=5..14, filters=318670, revisions=(270038,useless=152479), ccks=933893, wck=5.629, mem=36M10
11.46/8.12 decisions=20785, wrong=9656, backtracks=6061, failedAssignments=5523, nogoods=662, foundSolutions=9, bestBound=50
11.46/8.12 nFilterCalls=1230282, avgTableProportion=0.9982701268413298, avgTableSize=577.1216330889991
11.46/8.12
11.46/8.17 num=127, depth=6..13, filters=321317, revisions=(272411,useless=153917), ccks=940862, wck=5.675, mem=36M10
11.46/8.17 decisions=20936, wrong=9728, backtracks=6111, failedAssignments=5560, nogoods=666, foundSolutions=9, bestBound=50
11.46/8.17 nFilterCalls=1239012, avgTableProportion=0.9982701270932807, avgTableSize=577.121720370747
11.46/8.17
11.57/8.20 num=128, depth=8..16, filters=323285, revisions=(274195,useless=154884), ccks=946691, wck=5.706, mem=36M10
11.57/8.20 decisions=21077, wrong=9794, backtracks=6148, failedAssignments=5601, nogoods=669, foundSolutions=9, bestBound=50
11.57/8.20 nFilterCalls=1246173, avgTableProportion=0.9982701272494432, avgTableSize=577.1217744245782
11.57/8.20
11.57/8.25 num=129, depth=8..15, filters=325901, revisions=(276544,useless=156267), ccks=953787, wck=5.755, mem=36M10
11.57/8.25 decisions=21246, wrong=9874, backtracks=6200, failedAssignments=5646, nogoods=678, foundSolutions=9, bestBound=50
11.57/8.25 nFilterCalls=1256356, avgTableProportion=0.9982701287441832, avgTableSize=577.1222933627093
11.57/8.25
11.57/8.29 num=130, depth=7..15, filters=329150, revisions=(279311,useless=157624), ccks=962921, wck=5.802, mem=36M10
11.57/8.29 decisions=21458, wrong=9975, backtracks=6269, failedAssignments=5696, nogoods=682, foundSolutions=9, bestBound=50
11.57/8.29 nFilterCalls=1269057, avgTableProportion=0.9982701283384913, avgTableSize=577.1221521176748
11.57/8.29
11.67/8.35 num=131, depth=6..14, filters=332078, revisions=(282035,useless=159112), ccks=970906, wck=5.859, mem=36M10
11.67/8.35 decisions=21650, wrong=10067, backtracks=6322, failedAssignments=5751, nogoods=689, foundSolutions=9, bestBound=50
11.67/8.35 nFilterCalls=1280734, avgTableProportion=0.998270126477282, avgTableSize=577.1215053242906
11.67/8.35
11.77/8.41 num=132, depth=9..16, filters=335907, revisions=(285171,useless=160864), ccks=982572, wck=5.921, mem=36M10
11.77/8.41 decisions=21900, wrong=10186, backtracks=6403, failedAssignments=5812, nogoods=695, foundSolutions=9, bestBound=50
11.77/8.41 nFilterCalls=1295657, avgTableProportion=0.9982701268977958, avgTableSize=577.1216510233804
11.77/8.41
11.87/8.51 num=133, depth=5..15, filters=340338, revisions=(288664,useless=162854), ccks=997125, wck=6.02, mem=39M895
11.87/8.51 decisions=22177, wrong=10320, backtracks=6489, failedAssignments=5879, nogoods=700, foundSolutions=9, bestBound=50
11.87/8.51 nFilterCalls=1315982, avgTableProportion=0.9982701292562661, avgTableSize=577.1224697602247
11.87/8.51
11.87/8.58 num=134, depth=10..17, filters=344904, revisions=(292138,useless=164751), ccks=1008644, wck=6.085, mem=39M895
11.87/8.58 decisions=22438, wrong=10445, backtracks=6573, failedAssignments=5953, nogoods=705, foundSolutions=9, bestBound=50
11.87/8.58 nFilterCalls=1332522, avgTableProportion=0.9982701323562814, avgTableSize=577.1235461778492
11.87/8.58
11.97/8.68 num=135, depth=7..16, filters=349826, revisions=(295901,useless=167064), ccks=1020532, wck=6.183, mem=39M895
11.97/8.68 decisions=22737, wrong=10590, backtracks=6666, failedAssignments=6034, nogoods=711, foundSolutions=9, bestBound=50
11.97/8.68 nFilterCalls=1354446, avgTableProportion=0.9982701361143043, avgTableSize=577.1248510461104
11.97/8.68
12.07/8.79 num=136, depth=5..15, filters=355446, revisions=(300342,useless=169693), ccks=1038115, wck=6.3, mem=39M895
12.07/8.79 decisions=23088, wrong=10762, backtracks=6779, failedAssignments=6123, nogoods=718, foundSolutions=9, bestBound=50
12.07/8.79 nFilterCalls=1379308, avgTableProportion=0.9982701386913917, avgTableSize=577.1257456637676
12.07/8.79
12.17/8.82 o 54
12.17/8.82 num=137, depth=10..74, filters=357011, revisions=(301568,useless=170375), ccks=1042390, wck=6.327, mem=39M895
12.17/8.82 decisions=23180, wrong=10801, backtracks=6803, failedAssignments=6146, nogoods=723, foundSolutions=10, bestBound=54
12.17/8.82 nFilterCalls=1385544, avgTableProportion=0.9982701396368707, avgTableSize=577.1260739464066
12.17/8.82
12.28/8.93 num=138, depth=5..15, filters=363418, revisions=(307409,useless=173619), ccks=1061674, wck=6.44, mem=42M458
12.28/8.93 decisions=23593, wrong=11004, backtracks=6939, failedAssignments=6254, nogoods=726, foundSolutions=10, bestBound=54
12.28/8.93 nFilterCalls=1405355, avgTableProportion=0.9982701379815286, avgTableSize=577.125498539515
12.28/8.93
12.28/8.94 num=139, depth=10..14, filters=364255, revisions=(308127,useless=173960), ccks=1064042, wck=6.451, mem=42M458
12.28/8.94 decisions=23648, wrong=11026, backtracks=6950, failedAssignments=6265, nogoods=735, foundSolutions=10, bestBound=54
12.28/8.94 nFilterCalls=1407653, avgTableProportion=0.9982701376004529, avgTableSize=577.1253661236115
12.28/8.94
12.28/8.95 num=140, depth=11..15, filters=364983, revisions=(308719,useless=174265), ccks=1066103, wck=6.461, mem=42M458
12.28/8.95 decisions=23696, wrong=11044, backtracks=6960, failedAssignments=6277, nogoods=742, foundSolutions=10, bestBound=54
12.28/8.95 nFilterCalls=1409976, avgTableProportion=0.9982701373163186, avgTableSize=577.1252673804377
12.28/8.95
12.28/8.97 num=141, depth=9..16, filters=365836, revisions=(309461,useless=174661), ccks=1068838, wck=6.475, mem=42M458
12.28/8.97 decisions=23754, wrong=11068, backtracks=6977, failedAssignments=6290, nogoods=746, foundSolutions=10, bestBound=54
12.28/8.97 nFilterCalls=1413553, avgTableProportion=0.9982701374691128, avgTableSize=577.1253203806295
12.28/8.97
12.28/8.98 num=142, depth=10..17, filters=366842, revisions=(310289,useless=175103), ccks=1072116, wck=6.491, mem=42M458
12.28/8.98 decisions=23825, wrong=11098, backtracks=6999, failedAssignments=6304, nogoods=751, foundSolutions=10, bestBound=54
12.28/8.98 nFilterCalls=1417656, avgTableProportion=0.9982701385513587, avgTableSize=577.1256962196753
12.28/8.98
12.28/9.00 num=143, depth=8..13, filters=367814, revisions=(311152,useless=175573), ccks=1074793, wck=6.507, mem=42M458
12.28/9.00 decisions=23890, wrong=11126, backtracks=7015, failedAssignments=6320, nogoods=755, foundSolutions=10, bestBound=54
12.28/9.00 nFilterCalls=1421271, avgTableProportion=0.9982701390693262, avgTableSize=577.1258760644522
12.28/9.00
12.38/9.01 num=144, depth=6..14, filters=368728, revisions=(312058,useless=176033), ccks=1077612, wck=6.522, mem=42M458
12.38/9.01 decisions=23959, wrong=11155, backtracks=7033, failedAssignments=6337, nogoods=757, foundSolutions=10, bestBound=54
12.38/9.01 nFilterCalls=1424235, avgTableProportion=0.998270139045047, avgTableSize=577.1258675710118
12.38/9.01
12.38/9.03 num=145, depth=10..16, filters=369774, revisions=(312985,useless=176525), ccks=1081137, wck=6.537, mem=42M458
12.38/9.03 decisions=24035, wrong=11188, backtracks=7053, failedAssignments=6356, nogoods=760, foundSolutions=10, bestBound=54
12.38/9.03 nFilterCalls=1427280, avgTableProportion=0.9982701387360758, avgTableSize=577.1257601872093
12.38/9.03
12.38/9.04 num=146, depth=7..14, filters=370915, revisions=(314062,useless=177086), ccks=1085006, wck=6.552, mem=42M458
12.38/9.04 decisions=24111, wrong=11221, backtracks=7075, failedAssignments=6377, nogoods=767, foundSolutions=10, bestBound=54
12.38/9.04 nFilterCalls=1430093, avgTableProportion=0.9982701383502015, avgTableSize=577.1256260956455
12.38/9.04
12.38/9.07 num=147, depth=9..14, filters=372283, revisions=(315198,useless=177663), ccks=1089319, wck=6.576, mem=42M458
12.38/9.07 decisions=24208, wrong=11264, backtracks=7105, failedAssignments=6400, nogoods=772, foundSolutions=10, bestBound=54
12.38/9.07 nFilterCalls=1435254, avgTableProportion=0.9982701382314382, avgTableSize=577.1255847397047
12.38/9.07
12.38/9.10 num=148, depth=5..14, filters=374097, revisions=(316649,useless=178424), ccks=1094391, wck=6.609, mem=42M458
12.38/9.10 decisions=24309, wrong=11310, backtracks=7139, failedAssignments=6425, nogoods=777, foundSolutions=10, bestBound=54
12.38/9.10 nFilterCalls=1442385, avgTableProportion=0.998270138079066, avgTableSize=577.1255316715024
12.38/9.10
12.49/9.13 num=149, depth=8..16, filters=375702, revisions=(318042,useless=179305), ccks=1098843, wck=6.641, mem=45M21
12.49/9.13 decisions=24424, wrong=11363, backtracks=7178, failedAssignments=6453, nogoods=783, foundSolutions=10, bestBound=54
12.49/9.13 nFilterCalls=1448902, avgTableProportion=0.99827013875482, avgTableSize=577.1257662699064
12.49/9.13
12.49/9.16 num=150, depth=9..17, filters=377417, revisions=(319568,useless=180077), ccks=1104443, wck=6.664, mem=45M21
12.49/9.16 decisions=24555, wrong=11423, backtracks=7219, failedAssignments=6484, nogoods=785, foundSolutions=10, bestBound=54
12.49/9.16 nFilterCalls=1455580, avgTableProportion=0.9982701383242868, avgTableSize=577.1256165926984
12.49/9.16
12.49/9.19 num=151, depth=8..14, filters=379535, revisions=(321376,useless=181027), ccks=1110085, wck=6.696, mem=45M21
12.49/9.19 decisions=24683, wrong=11483, backtracks=7255, failedAssignments=6518, nogoods=791, foundSolutions=10, bestBound=54
12.49/9.19 nFilterCalls=1461908, avgTableProportion=0.9982701381318414, avgTableSize=577.1255496241897
12.49/9.19
12.58/9.23 num=152, depth=4..12, filters=381696, revisions=(323288,useless=182124), ccks=1116994, wck=6.74, mem=45M21
12.58/9.23 decisions=24811, wrong=11543, backtracks=7292, failedAssignments=6555, nogoods=796, foundSolutions=10, bestBound=54
12.58/9.23 nFilterCalls=1470229, avgTableProportion=0.9982701387869048, avgTableSize=577.1257770048068
12.58/9.23
12.58/9.28 num=153, depth=7..13, filters=384675, revisions=(325642,useless=183493), ccks=1123713, wck=6.793, mem=45M21
12.58/9.28 decisions=24972, wrong=11619, backtracks=7338, failedAssignments=6596, nogoods=799, foundSolutions=10, bestBound=54
12.58/9.28 nFilterCalls=1481995, avgTableProportion=0.9982701382613097, avgTableSize=577.1255942159049
12.58/9.28
12.68/9.33 num=154, depth=8..15, filters=387567, revisions=(328292,useless=184907), ccks=1132096, wck=6.838, mem=45M21
12.68/9.33 decisions=25137, wrong=11697, backtracks=7389, failedAssignments=6641, nogoods=808, foundSolutions=10, bestBound=54
12.68/9.33 nFilterCalls=1490889, avgTableProportion=0.9982701371301516, avgTableSize=577.1252011383812
12.68/9.33
12.68/9.37 num=155, depth=4..12, filters=390072, revisions=(330722,useless=186123), ccks=1138583, wck=6.876, mem=45M21
12.68/9.37 decisions=25317, wrong=11785, backtracks=7441, failedAssignments=6691, nogoods=810, foundSolutions=10, bestBound=54
12.68/9.37 nFilterCalls=1499426, avgTableProportion=0.9982701361113826, avgTableSize=577.1248471081601
12.68/9.37
12.78/9.43 num=156, depth=4..13, filters=393345, revisions=(333761,useless=187778), ccks=1147542, wck=6.941, mem=45M21
12.78/9.43 decisions=25525, wrong=11884, backtracks=7502, failedAssignments=6746, nogoods=819, foundSolutions=10, bestBound=54
12.78/9.43 nFilterCalls=1511711, avgTableProportion=0.9982701361715404, avgTableSize=577.1248677822679
12.78/9.43
12.78/9.49 num=157, depth=9..17, filters=396910, revisions=(336755,useless=189425), ccks=1157213, wck=6.997, mem=47M584
12.78/9.49 decisions=25766, wrong=11999, backtracks=7578, failedAssignments=6807, nogoods=827, foundSolutions=10, bestBound=54
12.78/9.49 nFilterCalls=1524752, avgTableProportion=0.9982701360883737, avgTableSize=577.1248386622874
12.78/9.49
12.88/9.58 num=158, depth=5..12, filters=401087, revisions=(340284,useless=191413), ccks=1168650, wck=7.083, mem=47M584
12.88/9.58 decisions=25990, wrong=12107, backtracks=7646, failedAssignments=6874, nogoods=835, foundSolutions=10, bestBound=54
12.88/9.58 nFilterCalls=1541416, avgTableProportion=0.9982701371737621, avgTableSize=577.125215386372
12.88/9.58
12.98/9.65 num=159, depth=8..16, filters=405378, revisions=(343963,useless=193567), ccks=1179955, wck=7.154, mem=47M584
12.98/9.65 decisions=26257, wrong=12236, backtracks=7723, failedAssignments=6948, nogoods=840, foundSolutions=10, bestBound=54
12.98/9.65 nFilterCalls=1557210, avgTableProportion=0.9982701370420709, avgTableSize=577.1251693734307
12.98/9.65
13.08/9.74 num=160, depth=6..15, filters=409903, revisions=(348058,useless=195927), ccks=1192456, wck=7.252, mem=47M584
13.08/9.74 decisions=26545, wrong=12377, backtracks=7816, failedAssignments=7029, nogoods=847, foundSolutions=10, bestBound=54
13.08/9.74 nFilterCalls=1575317, avgTableProportion=0.998270136680287, avgTableSize=577.1250434039625
13.08/9.74
13.19/9.84 num=161, depth=6..16, filters=415020, revisions=(352771,useless=198592), ccks=1206433, wck=7.349, mem=47M584
13.19/9.84 decisions=26856, wrong=12528, backtracks=7901, failedAssignments=7118, nogoods=859, foundSolutions=10, bestBound=54
13.19/9.84 nFilterCalls=1593459, avgTableProportion=0.9982701352167399, avgTableSize=577.1245347385782
13.19/9.84
13.29/9.94 num=162, depth=6..17, filters=420783, revisions=(357557,useless=201254), ccks=1222289, wck=7.449, mem=50M147
13.29/9.94 decisions=27217, wrong=12704, backtracks=8018, failedAssignments=7216, nogoods=866, foundSolutions=10, bestBound=54
13.29/9.94 nFilterCalls=1615213, avgTableProportion=0.9982701358627243, avgTableSize=577.1247587779444
13.29/9.94
13.40/10.06 num=163, depth=6..16, filters=427198, revisions=(363145,useless=204388), ccks=1239573, wck=7.568, mem=50M147
13.40/10.06 decisions=27588, wrong=12886, backtracks=8139, failedAssignments=7324, nogoods=873, foundSolutions=10, bestBound=54
13.40/10.06 nFilterCalls=1639552, avgTableProportion=0.9982701342826046, avgTableSize=577.124209540167
13.40/10.06
13.50/10.19 num=164, depth=6..16, filters=434933, revisions=(369252,useless=207939), ccks=1255879, wck=7.698, mem=50M147
13.50/10.19 decisions=28019, wrong=13097, backtracks=8271, failedAssignments=7443, nogoods=882, foundSolutions=10, bestBound=54
13.50/10.19 nFilterCalls=1667485, avgTableProportion=0.9982701382071909, avgTableSize=577.1255723439791
13.50/10.19
13.69/10.34 num=165, depth=4..11, filters=442162, revisions=(375697,useless=211476), ccks=1277020, wck=7.843, mem=52M711
13.69/10.34 decisions=28446, wrong=13308, backtracks=8402, failedAssignments=7574, nogoods=894, foundSolutions=10, bestBound=54
13.69/10.34 nFilterCalls=1693312, avgTableProportion=0.9982701368563738, avgTableSize=577.1251027572001
13.69/10.34
13.79/10.49 num=166, depth=6..17, filters=450514, revisions=(382530,useless=215173), ccks=1302725, wck=7.997, mem=52M711
13.79/10.49 decisions=28980, wrong=13570, backtracks=8576, failedAssignments=7718, nogoods=898, foundSolutions=10, bestBound=54
13.79/10.49 nFilterCalls=1724635, avgTableProportion=0.9982701361204932, avgTableSize=577.1248467066945
13.79/10.49
14.00/10.64 num=167, depth=4..18, filters=458817, revisions=(390005,useless=219488), ccks=1325905, wck=8.147, mem=55M274
14.00/10.64 decisions=29519, wrong=13834, backtracks=8732, failedAssignments=7876, nogoods=904, foundSolutions=10, bestBound=54
14.00/10.64 nFilterCalls=1754782, avgTableProportion=0.9982701358989493, avgTableSize=577.1247693445681
14.00/10.64
14.20/10.82 num=168, depth=5..15, filters=469206, revisions=(398810,useless=224404), ccks=1353697, wck=8.328, mem=55M274
14.20/10.82 decisions=30166, wrong=14153, backtracks=8930, failedAssignments=8050, nogoods=909, foundSolutions=10, bestBound=54
14.20/10.82 nFilterCalls=1791511, avgTableProportion=0.9982701371270019, avgTableSize=577.1251954355848
14.20/10.82
14.41/11.02 num=169, depth=3..13, filters=479032, revisions=(407692,useless=229339), ccks=1383185, wck=8.525, mem=55M274
14.41/11.02 decisions=30810, wrong=14473, backtracks=9135, failedAssignments=8241, nogoods=921, foundSolutions=10, bestBound=54
14.41/11.02 nFilterCalls=1827849, avgTableProportion=0.9982701354550816, avgTableSize=577.1246142323573
14.41/11.02
14.60/11.24 num=170, depth=6..15, filters=491321, revisions=(418740,useless=235867), ccks=1414285, wck=8.747, mem=57M837
14.60/11.24 decisions=31588, wrong=14858, backtracks=9402, failedAssignments=8452, nogoods=931, foundSolutions=10, bestBound=54
14.60/11.24 nFilterCalls=1875001, avgTableProportion=0.9982701352988469, avgTableSize=577.124559400235
14.60/11.24
14.80/11.49 num=171, depth=6..15, filters=506620, revisions=(431666,useless=243072), ccks=1458128, wck=9.002, mem=60M400
14.80/11.49 decisions=32471, wrong=15296, backtracks=9677, failedAssignments=8684, nogoods=943, foundSolutions=10, bestBound=54
14.80/11.49 nFilterCalls=1928921, avgTableProportion=0.9982701346495143, avgTableSize=577.1243332412266
14.80/11.49
15.10/11.76 num=172, depth=4..16, filters=522269, revisions=(445602,useless=250966), ccks=1496802, wck=9.273, mem=60M400
15.10/11.76 decisions=33401, wrong=15756, backtracks=9971, failedAssignments=8939, nogoods=956, foundSolutions=10, bestBound=54
15.10/11.76 nFilterCalls=1984237, avgTableProportion=0.9982701347692947, avgTableSize=577.1243742556962
15.10/11.76
15.41/12.05 num=173, depth=6..15, filters=539966, revisions=(459841,useless=259228), ccks=1541990, wck=9.562, mem=62M963
15.41/12.05 decisions=34451, wrong=16277, backtracks=10307, failedAssignments=9220, nogoods=967, foundSolutions=10, bestBound=54
15.41/12.05 nFilterCalls=2047911, avgTableProportion=0.998270137135086, avgTableSize=577.1251953820258
15.41/12.05
15.81/12.45 num=174, depth=4..15, filters=559380, revisions=(475579,useless=268305), ccks=1596403, wck=9.955, mem=65M526
15.81/12.45 decisions=35573, wrong=16834, backtracks=10691, failedAssignments=9529, nogoods=983, foundSolutions=10, bestBound=54
15.81/12.45 nFilterCalls=2123046, avgTableProportion=0.9982701439940621, avgTableSize=577.1275780176219
15.81/12.45
16.11/12.78 num=175, depth=5..15, filters=578050, revisions=(492242,useless=277515), ccks=1650443, wck=10.286, mem=68M89
16.11/12.78 decisions=36749, wrong=17416, backtracks=11052, failedAssignments=9869, nogoods=988, foundSolutions=10, bestBound=54
16.11/12.78 nFilterCalls=2189899, avgTableProportion=0.998270141350299, avgTableSize=577.1266615492312
16.11/12.78
16.52/13.15 num=176, depth=5..16, filters=599910, revisions=(511318,useless=288099), ccks=1714315, wck=10.657, mem=70M653
16.52/13.15 decisions=38105, wrong=18091, backtracks=11501, failedAssignments=10243, nogoods=1001, foundSolutions=10, bestBound=54
16.52/13.15 nFilterCalls=2260907, avgTableProportion=0.9982701398462743, avgTableSize=577.126140969089
16.52/13.15
17.01/13.66 num=177, depth=3..15, filters=625360, revisions=(532982,useless=300827), ccks=1787585, wck=11.17, mem=73M216
17.01/13.66 decisions=39547, wrong=18809, backtracks=11997, failedAssignments=10654, nogoods=1009, foundSolutions=10, bestBound=54
17.01/13.66 nFilterCalls=2353816, avgTableProportion=0.9982701487026787, avgTableSize=577.1292195311784
17.01/13.66
17.52/14.12 num=178, depth=5..18, filters=651618, revisions=(555426,useless=314278), ccks=1858640, wck=11.632, mem=75M779
17.52/14.12 decisions=41226, wrong=19644, backtracks=12550, failedAssignments=11106, nogoods=1017, foundSolutions=10, bestBound=54
17.52/14.12 nFilterCalls=2452895, avgTableProportion=0.9982701510941966, avgTableSize=577.1300524482295
17.52/14.12
18.11/14.70 num=179, depth=2..16, filters=679040, revisions=(578494,useless=327487), ccks=1937220, wck=12.207, mem=78M342
18.11/14.70 decisions=42954, wrong=20504, backtracks=13114, failedAssignments=11603, nogoods=1023, foundSolutions=10, bestBound=54
18.11/14.70 nFilterCalls=2573697, avgTableProportion=0.9982701502620274, avgTableSize=577.1297658582188
18.11/14.70
18.71/15.31 num=180, depth=4..15, filters=711387, revisions=(605944,useless=343060), ccks=2025226, wck=12.815, mem=83M468
18.71/15.31 decisions=45006, wrong=21527, backtracks=13793, failedAssignments=12150, nogoods=1035, foundSolutions=10, bestBound=54
18.71/15.31 nFilterCalls=2690918, avgTableProportion=0.9982701532168116, avgTableSize=577.1307943980456
18.71/15.31
19.32/15.91 num=181, depth=6..19, filters=745662, revisions=(634681,useless=359315), ccks=2126548, wck=13.417, mem=88M595
19.32/15.91 decisions=47179, wrong=22610, backtracks=14515, failedAssignments=12752, nogoods=1045, foundSolutions=10, bestBound=54
19.32/15.91 nFilterCalls=2819006, avgTableProportion=0.9982701541386605, avgTableSize=577.1311167837174
19.32/15.91
20.22/16.80 num=182, depth=4..19, filters=787927, revisions=(669954,useless=379042), ccks=2250861, wck=14.312, mem=91M158
20.22/16.80 decisions=49624, wrong=23828, backtracks=15347, failedAssignments=13414, nogoods=1057, foundSolutions=10, bestBound=54
20.22/16.80 nFilterCalls=2974941, avgTableProportion=0.9982701568116636, avgTableSize=577.1320476607772
20.22/16.80
20.22/16.88 o 57
20.22/16.88 num=183, depth=7..74, filters=791985, revisions=(672968,useless=380782), ccks=2260449, wck=14.386, mem=93M721
20.22/16.88 decisions=49849, wrong=23934, backtracks=15418, failedAssignments=13473, nogoods=1059, foundSolutions=11, bestBound=57
20.22/16.88 nFilterCalls=2993265, avgTableProportion=0.9982701588367828, avgTableSize=577.1327513601368
20.22/16.88
21.32/17.90 num=184, depth=2..14, filters=841001, revisions=(715521,useless=405044), ccks=2390926, wck=15.408, mem=98M847
21.32/17.90 decisions=52757, wrong=25383, backtracks=16386, failedAssignments=14274, nogoods=1064, foundSolutions=11, bestBound=57
21.32/17.90 nFilterCalls=3155476, avgTableProportion=0.998270158424656, avgTableSize=577.1326104207416
21.32/17.90
21.32/17.92 num=185, depth=7..12, filters=841662, revisions=(716133,useless=405386), ccks=2393008, wck=15.426, mem=98M847
21.32/17.92 decisions=52809, wrong=25404, backtracks=16399, failedAssignments=14285, nogoods=1069, foundSolutions=11, bestBound=57
21.32/17.92 nFilterCalls=3158763, avgTableProportion=0.9982701584264563, avgTableSize=577.1326110885811
21.32/17.92
21.32/17.93 num=186, depth=8..13, filters=842296, revisions=(716724,useless=405725), ccks=2394781, wck=15.438, mem=98M847
21.32/17.93 decisions=52850, wrong=25420, backtracks=16407, failedAssignments=14297, nogoods=1075, foundSolutions=11, bestBound=57
21.32/17.93 nFilterCalls=3160951, avgTableProportion=0.9982701583551954, avgTableSize=577.1325863640404
21.32/17.93
21.32/17.95 num=187, depth=8..19, filters=843167, revisions=(717399,useless=406120), ccks=2397354, wck=15.454, mem=98M847
21.32/17.95 decisions=52910, wrong=25443, backtracks=16422, failedAssignments=14310, nogoods=1078, foundSolutions=11, bestBound=57
21.32/17.95 nFilterCalls=3165144, avgTableProportion=0.998270158196835, avgTableSize=577.1325314108932
21.32/17.95
21.32/17.97 num=188, depth=6..11, filters=844015, revisions=(718125,useless=406528), ccks=2399570, wck=15.473, mem=98M847
21.32/17.97 decisions=52959, wrong=25464, backtracks=16434, failedAssignments=14324, nogoods=1086, foundSolutions=11, bestBound=57
21.32/17.97 nFilterCalls=3168763, avgTableProportion=0.9982701582206577, avgTableSize=577.1325397323814
21.32/17.97
21.32/17.98 num=189, depth=7..14, filters=845109, revisions=(719126,useless=407099), ccks=2402912, wck=15.491, mem=98M847
21.32/17.98 decisions=53029, wrong=25495, backtracks=16459, failedAssignments=14340, nogoods=1090, foundSolutions=11, bestBound=57
21.32/17.98 nFilterCalls=3172055, avgTableProportion=0.9982701582175222, avgTableSize=577.1325386854894
21.32/17.98
21.32/18.00 num=190, depth=4..10, filters=846077, revisions=(719961,useless=407535), ccks=2405198, wck=15.509, mem=98M847
21.32/18.00 decisions=53087, wrong=25522, backtracks=16478, failedAssignments=14357, nogoods=1094, foundSolutions=11, bestBound=57
21.32/18.00 nFilterCalls=3175547, avgTableProportion=0.9982701585756533, avgTableSize=577.1326631285885
21.32/18.00
21.44/18.02 num=191, depth=14..18, filters=847016, revisions=(720731,useless=407956), ccks=2408183, wck=15.524, mem=98M847
21.44/18.02 decisions=53167, wrong=25555, backtracks=16498, failedAssignments=14376, nogoods=1098, foundSolutions=11, bestBound=57
21.44/18.02 nFilterCalls=3180193, avgTableProportion=0.9982701582700901, avgTableSize=577.1325570492105
21.44/18.02
21.44/18.04 num=192, depth=6..14, filters=848256, revisions=(721810,useless=408561), ccks=2411780, wck=15.546, mem=98M847
21.44/18.04 decisions=53251, wrong=25593, backtracks=16523, failedAssignments=14397, nogoods=1103, foundSolutions=11, bestBound=57
21.44/18.04 nFilterCalls=3184389, avgTableProportion=0.998270158335744, avgTableSize=577.1325799077939
21.44/18.04
21.44/18.07 num=193, depth=5..18, filters=849669, revisions=(722989,useless=409218), ccks=2415351, wck=15.579, mem=98M847
21.44/18.07 decisions=53352, wrong=25639, backtracks=16554, failedAssignments=14420, nogoods=1109, foundSolutions=11, bestBound=57
21.44/18.07 nFilterCalls=3190961, avgTableProportion=0.9982701583189798, avgTableSize=577.1325741680954
21.44/18.07
21.44/18.10 num=194, depth=5..11, filters=850940, revisions=(724173,useless=409859), ccks=2418816, wck=15.603, mem=98M847
21.44/18.10 decisions=53436, wrong=25678, backtracks=16574, failedAssignments=14445, nogoods=1114, foundSolutions=11, bestBound=57
21.44/18.10 nFilterCalls=3195496, avgTableProportion=0.9982701581285177, avgTableSize=577.1325080676052
21.44/18.10
21.55/18.13 num=195, depth=5..13, filters=852954, revisions=(725952,useless=410888), ccks=2424083, wck=15.641, mem=101M410
21.55/18.13 decisions=53540, wrong=25727, backtracks=16610, failedAssignments=14473, nogoods=1123, foundSolutions=11, bestBound=57
21.55/18.13 nFilterCalls=3202774, avgTableProportion=0.998270158090147, avgTableSize=577.1324948310433
21.55/18.13
21.55/18.17 num=196, depth=7..14, filters=854880, revisions=(727655,useless=411817), ccks=2428969, wck=15.676, mem=101M410
21.55/18.17 decisions=53654, wrong=25780, backtracks=16642, failedAssignments=14504, nogoods=1132, foundSolutions=11, bestBound=57
21.55/18.17 nFilterCalls=3209375, avgTableProportion=0.9982701579548173, avgTableSize=577.1324479065239
21.55/18.17
21.55/18.20 num=197, depth=12..18, filters=856497, revisions=(728981,useless=412552), ccks=2434428, wck=15.703, mem=101M410
21.55/18.20 decisions=53784, wrong=25838, backtracks=16679, failedAssignments=14538, nogoods=1138, foundSolutions=11, bestBound=57
21.55/18.20 nFilterCalls=3217587, avgTableProportion=0.9982701576416653, avgTableSize=577.1323392343393
21.55/18.20
21.64/18.23 num=198, depth=4..10, filters=858580, revisions=(730955,useless=413598), ccks=2440333, wck=15.739, mem=101M410
21.64/18.23 decisions=53903, wrong=25894, backtracks=16709, failedAssignments=14575, nogoods=1144, foundSolutions=11, bestBound=57
21.64/18.23 nFilterCalls=3223913, avgTableProportion=0.9982701574287496, avgTableSize=577.1322653557959
21.64/18.23
21.64/18.28 num=199, depth=4..11, filters=860961, revisions=(733151,useless=414779), ccks=2445975, wck=15.787, mem=101M410
21.64/18.28 decisions=54047, wrong=25963, backtracks=16753, failedAssignments=14616, nogoods=1151, foundSolutions=11, bestBound=57
21.64/18.28 nFilterCalls=3232425, avgTableProportion=0.9982701573056791, avgTableSize=577.1322227120505
21.64/18.28
21.74/18.33 num=200, depth=5..11, filters=863638, revisions=(735630,useless=416146), ccks=2453035, wck=15.836, mem=101M410
21.74/18.33 decisions=54206, wrong=26040, backtracks=16801, failedAssignments=14661, nogoods=1162, foundSolutions=11, bestBound=57
21.74/18.33 nFilterCalls=3240806, avgTableProportion=0.9982701571595551, avgTableSize=577.1321720584324
21.74/18.33
21.74/18.38 num=201, depth=5..16, filters=866847, revisions=(738454,useless=417766), ccks=2461474, wck=15.893, mem=101M410
21.74/18.38 decisions=54400, wrong=26131, backtracks=16862, failedAssignments=14711, nogoods=1166, foundSolutions=11, bestBound=57
21.74/18.38 nFilterCalls=3252911, avgTableProportion=0.9982701572211312, avgTableSize=577.1321935952136
21.74/18.38
21.84/18.45 num=202, depth=4..14, filters=870161, revisions=(741366,useless=419331), ccks=2470870, wck=15.956, mem=101M410
21.84/18.45 decisions=54588, wrong=26222, backtracks=16922, failedAssignments=14766, nogoods=1171, foundSolutions=11, bestBound=57
21.84/18.45 nFilterCalls=3263558, avgTableProportion=0.9982701575917281, avgTableSize=577.1323224529792
21.84/18.45
21.94/18.52 num=203, depth=3..13, filters=873547, revisions=(744331,useless=420943), ccks=2480031, wck=16.023, mem=103M973
21.94/18.52 decisions=54794, wrong=26323, backtracks=16981, failedAssignments=14827, nogoods=1179, foundSolutions=11, bestBound=57
21.94/18.52 nFilterCalls=3275804, avgTableProportion=0.9982701580602331, avgTableSize=577.1324853379506
21.94/18.52
22.04/18.60 num=204, depth=5..15, filters=877665, revisions=(747864,useless=422906), ccks=2490988, wck=16.106, mem=103M973
22.04/18.60 decisions=55046, wrong=26445, backtracks=17058, failedAssignments=14894, nogoods=1187, foundSolutions=11, bestBound=57
22.04/18.60 nFilterCalls=3290925, avgTableProportion=0.9982701581696654, avgTableSize=577.1325235306183
22.04/18.60
22.04/18.68 num=205, depth=4..12, filters=882498, revisions=(752131,useless=425292), ccks=2502564, wck=16.192, mem=103M973
22.04/18.68 decisions=55311, wrong=26573, backtracks=17133, failedAssignments=14968, nogoods=1191, foundSolutions=11, bestBound=57
22.04/18.68 nFilterCalls=3307205, avgTableProportion=0.99827015876759, avgTableSize=577.132731415198
22.04/18.68
22.14/18.78 num=206, depth=4..12, filters=887289, revisions=(756158,useless=427589), ccks=2514855, wck=16.288, mem=103M973
22.14/18.78 decisions=55594, wrong=26710, backtracks=17213, failedAssignments=15049, nogoods=1198, foundSolutions=11, bestBound=57
22.14/18.78 nFilterCalls=3324768, avgTableProportion=0.9982701596163011, avgTableSize=577.1330264247009
22.14/18.78
22.24/18.85 num=207, depth=6..15, filters=891795, revisions=(760161,useless=429678), ccks=2527773, wck=16.361, mem=103M973
22.24/18.85 decisions=55900, wrong=26858, backtracks=17309, failedAssignments=15138, nogoods=1203, foundSolutions=11, bestBound=57
22.24/18.85 nFilterCalls=3340851, avgTableProportion=0.9982701601996152, avgTableSize=577.1332292281218
22.24/18.85
22.34/18.97 num=208, depth=4..15, filters=897640, revisions=(765440,useless=432703), ccks=2542637, wck=16.473, mem=106M537
22.34/18.97 decisions=56276, wrong=27043, backtracks=17431, failedAssignments=15236, nogoods=1210, foundSolutions=11, bestBound=57
22.34/18.97 nFilterCalls=3363895, avgTableProportion=0.9982701597802407, avgTableSize=577.1330838209873
22.34/18.97
22.45/19.10 num=209, depth=5..15, filters=904620, revisions=(771145,useless=436337), ccks=2559861, wck=16.61, mem=106M537
22.45/19.10 decisions=56662, wrong=27233, backtracks=17555, failedAssignments=15344, nogoods=1219, foundSolutions=11, bestBound=57
22.45/19.10 nFilterCalls=3390271, avgTableProportion=0.9982701594301888, avgTableSize=577.1329625271844
22.45/19.10
22.64/19.23 num=210, depth=7..17, filters=911656, revisions=(777021,useless=439467), ccks=2580932, wck=16.74, mem=106M537
22.64/19.23 decisions=57106, wrong=27450, backtracks=17702, failedAssignments=15463, nogoods=1226, foundSolutions=11, bestBound=57
22.64/19.23 nFilterCalls=3417325, avgTableProportion=0.9982701589228715, avgTableSize=577.1327866094094
22.64/19.23
22.74/19.38 num=211, depth=5..15, filters=919875, revisions=(783921,useless=443258), ccks=2602807, wck=16.884, mem=109M100
22.74/19.38 decisions=57576, wrong=27681, backtracks=17849, failedAssignments=15594, nogoods=1237, foundSolutions=11, bestBound=57
22.74/19.38 nFilterCalls=3443834, avgTableProportion=0.9982701590858496, avgTableSize=577.1328435110403
22.74/19.38
22.94/19.55 num=212, depth=4..13, filters=929140, revisions=(792118,useless=448332), ccks=2626033, wck=17.056, mem=109M100
22.94/19.55 decisions=58081, wrong=27930, backtracks=18002, failedAssignments=15738, nogoods=1248, foundSolutions=11, bestBound=57
22.94/19.55 nFilterCalls=3476768, avgTableProportion=0.9982701588289076, avgTableSize=577.1327546157811
22.94/19.55
23.14/19.75 num=213, depth=3..13, filters=938595, revisions=(800743,useless=453160), ccks=2650863, wck=17.254, mem=109M100
23.14/19.75 decisions=58667, wrong=28220, backtracks=18201, failedAssignments=15896, nogoods=1257, foundSolutions=11, bestBound=57
23.14/19.75 nFilterCalls=3511861, avgTableProportion=0.9982701582320692, avgTableSize=577.1325476720177
23.14/19.75
23.34/19.97 num=214, depth=2..14, filters=949512, revisions=(809695,useless=458373), ccks=2680045, wck=17.48, mem=111M663
23.34/19.97 decisions=59287, wrong=28526, backtracks=18410, failedAssignments=16070, nogoods=1262, foundSolutions=11, bestBound=57
23.34/19.97 nFilterCalls=3552345, avgTableProportion=0.998270159811142, avgTableSize=577.13309658831
23.34/19.97
23.55/20.17 num=215, depth=5..14, filters=959744, revisions=(818605,useless=463512), ccks=2707965, wck=17.674, mem=111M663
23.55/20.17 decisions=59964, wrong=28860, backtracks=18631, failedAssignments=16261, nogoods=1273, foundSolutions=11, bestBound=57
23.55/20.17 nFilterCalls=3589946, avgTableProportion=0.9982701592843268, avgTableSize=577.132913976979
23.55/20.17
23.74/20.37 num=216, depth=7..14, filters=971657, revisions=(829113,useless=469357), ccks=2740252, wck=17.876, mem=114M226
23.74/20.37 decisions=60680, wrong=29214, backtracks=18860, failedAssignments=16472, nogoods=1282, foundSolutions=11, bestBound=57
23.74/20.37 nFilterCalls=3629502, avgTableProportion=0.9982701593716052, avgTableSize=577.1329446849733
23.74/20.37
24.04/20.63 num=217, depth=2..13, filters=984666, revisions=(841193,useless=476051), ccks=2774594, wck=18.137, mem=116M789
24.04/20.63 decisions=61486, wrong=29615, backtracks=19121, failedAssignments=16704, nogoods=1285, foundSolutions=11, bestBound=57
24.04/20.63 nFilterCalls=3676349, avgTableProportion=0.9982701590765971, avgTableSize=577.1328426653727
24.04/20.63
24.34/20.99 num=218, depth=4..14, filters=1001793, revisions=(855170,useless=484215), ccks=2825715, wck=18.493, mem=116M789
24.34/20.99 decisions=62444, wrong=30091, backtracks=19455, failedAssignments=16959, nogoods=1297, foundSolutions=11, bestBound=57
24.34/20.99 nFilterCalls=3740967, avgTableProportion=0.9982701611511089, avgTableSize=577.133563861964
24.34/20.99
24.74/21.33 num=219, depth=5..16, filters=1019721, revisions=(869932,useless=492700), ccks=2871699, wck=18.835, mem=119M353
24.74/21.33 decisions=63499, wrong=30614, backtracks=19811, failedAssignments=17240, nogoods=1310, foundSolutions=11, bestBound=57
24.74/21.33 nFilterCalls=3806485, avgTableProportion=0.9982701618725618, avgTableSize=577.1338150550968
24.74/21.33
25.04/21.66 num=220, depth=2..13, filters=1037159, revisions=(885716,useless=501330), ccks=2922414, wck=19.165, mem=121M916
25.04/21.66 decisions=64606, wrong=31165, backtracks=20176, failedAssignments=17549, nogoods=1318, foundSolutions=11, bestBound=57
25.04/21.66 nFilterCalls=3865964, avgTableProportion=0.9982701615633703, avgTableSize=577.1337081773136
25.04/21.66
25.45/22.06 num=221, depth=5..16, filters=1057479, revisions=(902076,useless=511019), ccks=2974776, wck=19.563, mem=124M479
25.45/22.06 decisions=65858, wrong=31788, backtracks=20606, failedAssignments=17889, nogoods=1326, foundSolutions=11, bestBound=57
25.45/22.06 nFilterCalls=3944344, avgTableProportion=0.9982701649480787, avgTableSize=577.1348845333977
25.45/22.06
25.94/22.53 num=222, depth=4..17, filters=1081606, revisions=(922319,useless=522695), ccks=3038142, wck=20.04, mem=127M42
25.94/22.53 decisions=67289, wrong=32501, backtracks=21097, failedAssignments=18263, nogoods=1336, foundSolutions=11, bestBound=57
25.94/22.53 nFilterCalls=4036220, avgTableProportion=0.9982701643085239, avgTableSize=577.1346631253995
25.94/22.53
26.34/22.92 num=223, depth=6..17, filters=1105213, revisions=(942708,useless=534681), ccks=3103588, wck=20.431, mem=129M605
26.34/22.92 decisions=68787, wrong=33246, backtracks=21601, failedAssignments=18674, nogoods=1347, foundSolutions=11, bestBound=57
26.34/22.92 nFilterCalls=4119455, avgTableProportion=0.9982701639267079, avgTableSize=577.1345311455035
26.34/22.92
26.74/23.32 o 59
26.74/23.32 num=224, depth=5..74, filters=1126308, revisions=(960432,useless=544716), ccks=3160902, wck=20.823, mem=132M168
26.74/23.32 decisions=70092, wrong=33892, backtracks=22014, failedAssignments=19025, nogoods=1361, foundSolutions=12, bestBound=59
26.74/23.32 nFilterCalls=4193419, avgTableProportion=0.9982701646017191, avgTableSize=577.1347661657469
26.74/23.32
27.34/23.90 num=225, depth=4..14, filters=1155409, revisions=(986103,useless=559546), ccks=3239476, wck=21.409, mem=134M731
27.34/23.90 decisions=71872, wrong=34780, backtracks=22580, failedAssignments=19522, nogoods=1363, foundSolutions=12, bestBound=59
27.34/23.90 nFilterCalls=4294156, avgTableProportion=0.9982701652714311, avgTableSize=577.1349960271588
27.34/23.90
27.34/23.91 num=226, depth=8..14, filters=1155911, revisions=(986562,useless=559788), ccks=3240764, wck=21.421, mem=134M731
27.34/23.91 decisions=71915, wrong=34796, backtracks=22590, failedAssignments=19533, nogoods=1366, foundSolutions=12, bestBound=59
27.34/23.91 nFilterCalls=4296411, avgTableProportion=0.9982701653323226, avgTableSize=577.1350171107931
27.34/23.91
27.34/23.93 num=227, depth=6..13, filters=1156777, revisions=(987380,useless=560246), ccks=3243063, wck=21.44, mem=134M731
27.34/23.93 decisions=71968, wrong=34818, backtracks=22604, failedAssignments=19545, nogoods=1370, foundSolutions=12, bestBound=59
27.34/23.93 nFilterCalls=4299646, avgTableProportion=0.9982701653514952, avgTableSize=577.135023674042
27.34/23.93
27.34/23.95 num=228, depth=8..13, filters=1157461, revisions=(988007,useless=560576), ccks=3245149, wck=21.454, mem=137M295
27.34/23.95 decisions=72020, wrong=34840, backtracks=22620, failedAssignments=19558, nogoods=1372, foundSolutions=12, bestBound=59
27.34/23.95 nFilterCalls=4302180, avgTableProportion=0.9982701654513189, avgTableSize=577.1350582727827
27.34/23.95
27.34/23.97 num=229, depth=2..9, filters=1158573, revisions=(989030,useless=561156), ccks=3248232, wck=21.475, mem=137M295
27.34/23.97 decisions=72083, wrong=34868, backtracks=22640, failedAssignments=19572, nogoods=1376, foundSolutions=12, bestBound=59
27.34/23.97 nFilterCalls=4305422, avgTableProportion=0.9982701654149138, avgTableSize=577.1350455309607
27.34/23.97
27.34/23.99 num=230, depth=5..13, filters=1159692, revisions=(990031,useless=561716), ccks=3250940, wck=21.5, mem=137M295
27.34/23.99 decisions=72150, wrong=34898, backtracks=22658, failedAssignments=19588, nogoods=1383, foundSolutions=12, bestBound=59
27.34/23.99 nFilterCalls=4309919, avgTableProportion=0.9982701653289294, avgTableSize=577.1350155304543
27.34/23.99
27.45/24.01 num=231, depth=10..17, filters=1160758, revisions=(990949,useless=562239), ccks=3254015, wck=21.521, mem=137M295
27.45/24.01 decisions=72229, wrong=34932, backtracks=22678, failedAssignments=19605, nogoods=1388, foundSolutions=12, bestBound=59
27.45/24.01 nFilterCalls=4314768, avgTableProportion=0.9982701653936026, avgTableSize=577.1350378513978
27.45/24.01
27.45/24.04 num=232, depth=5..11, filters=1161964, revisions=(992070,useless=562893), ccks=3256897, wck=21.544, mem=137M295
27.45/24.04 decisions=72313, wrong=34971, backtracks=22704, failedAssignments=19624, nogoods=1395, foundSolutions=12, bestBound=59
27.45/24.04 nFilterCalls=4318758, avgTableProportion=0.9982701655413944, avgTableSize=577.135089069589
27.45/24.04
27.45/24.06 num=233, depth=3..8, filters=1163243, revisions=(993344,useless=563620), ccks=3260432, wck=21.566, mem=137M295
27.45/24.06 decisions=72386, wrong=35006, backtracks=22724, failedAssignments=19645, nogoods=1397, foundSolutions=12, bestBound=59
27.45/24.06 nFilterCalls=4322244, avgTableProportion=0.9982701654038675, avgTableSize=577.1350411961935
27.45/24.06
27.45/24.09 num=234, depth=7..15, filters=1164773, revisions=(994716,useless=564437), ccks=3264311, wck=21.598, mem=137M295
27.45/24.09 decisions=72480, wrong=35048, backtracks=22750, failedAssignments=19668, nogoods=1407, foundSolutions=12, bestBound=59
27.45/24.09 nFilterCalls=4328083, avgTableProportion=0.9982701655191001, avgTableSize=577.1350810508948
27.45/24.09
27.56/24.12 num=235, depth=5..14, filters=1166180, revisions=(995976,useless=565213), ccks=3267891, wck=21.628, mem=137M295
27.56/24.12 decisions=72575, wrong=35093, backtracks=22780, failedAssignments=19693, nogoods=1410, foundSolutions=12, bestBound=59
27.56/24.12 nFilterCalls=4334249, avgTableProportion=0.9982701656864009, avgTableSize=577.135138982555
27.56/24.12
27.56/24.15 num=236, depth=8..14, filters=1167703, revisions=(997388,useless=565938), ccks=3272806, wck=21.657, mem=137M295
27.56/24.15 decisions=72679, wrong=35140, backtracks=22813, failedAssignments=19721, nogoods=1414, foundSolutions=12, bestBound=59
27.56/24.15 nFilterCalls=4339415, avgTableProportion=0.9982701655613628, avgTableSize=577.1350953988037
27.56/24.15
27.56/24.19 num=237, depth=2..12, filters=1169925, revisions=(999418,useless=566988), ccks=3279237, wck=21.699, mem=137M295
27.56/24.19 decisions=72809, wrong=35202, backtracks=22854, failedAssignments=19752, nogoods=1421, foundSolutions=12, bestBound=59
27.56/24.19 nFilterCalls=4346882, avgTableProportion=0.998270165180671, avgTableSize=577.1349629458541
27.56/24.19
27.65/24.24 num=238, depth=4..12, filters=1172013, revisions=(1001345,useless=568091), ccks=3284534, wck=21.743, mem=137M295
27.65/24.24 decisions=72950, wrong=35269, backtracks=22898, failedAssignments=19786, nogoods=1424, foundSolutions=12, bestBound=59
27.65/24.24 nFilterCalls=4355249, avgTableProportion=0.9982701652334369, avgTableSize=577.1349810309354
27.65/24.24
27.65/24.27 num=239, depth=6..12, filters=1173960, revisions=(1003176,useless=569071), ccks=3290131, wck=21.78, mem=137M295
27.65/24.27 decisions=73084, wrong=35333, backtracks=22943, failedAssignments=19823, nogoods=1435, foundSolutions=12, bestBound=59
27.65/24.27 nFilterCalls=4362026, avgTableProportion=0.9982701649754395, avgTableSize=577.1348912179799
27.65/24.27
27.75/24.32 num=240, depth=3..11, filters=1176375, revisions=(1005414,useless=570339), ccks=3297641, wck=21.825, mem=139M858
27.75/24.32 decisions=73243, wrong=35410, backtracks=22988, failedAssignments=19864, nogoods=1438, foundSolutions=12, bestBound=59
27.75/24.32 nFilterCalls=4370541, avgTableProportion=0.9982701648025133, avgTableSize=577.1348309053731
27.75/24.32
27.75/24.36 num=241, depth=7..18, filters=1178802, revisions=(1007491,useless=571490), ccks=3304132, wck=21.87, mem=139M858
27.75/24.36 decisions=73412, wrong=35490, backtracks=23044, failedAssignments=19909, nogoods=1444, foundSolutions=12, bestBound=59
27.75/24.36 nFilterCalls=4380314, avgTableProportion=0.99827016528593, avgTableSize=577.1349985412005
27.75/24.36
27.85/24.43 num=242, depth=8..16, filters=1182078, revisions=(1010194,useless=572965), ccks=3312805, wck=21.934, mem=139M858
27.85/24.43 decisions=73606, wrong=35582, backtracks=23103, failedAssignments=19959, nogoods=1453, foundSolutions=12, bestBound=59
27.85/24.43 nFilterCalls=4393599, avgTableProportion=0.9982701656287661, avgTableSize=577.1351172467037
27.85/24.43
27.85/24.48 num=243, depth=5..13, filters=1185322, revisions=(1013149,useless=574578), ccks=3322278, wck=21.991, mem=139M858
27.85/24.48 decisions=73816, wrong=35683, backtracks=23157, failedAssignments=20014, nogoods=1459, foundSolutions=12, bestBound=59
27.85/24.48 nFilterCalls=4403732, avgTableProportion=0.9982701652849809, avgTableSize=577.1349975429931
27.85/24.48
27.95/24.56 num=244, depth=8..14, filters=1190005, revisions=(1016698,useless=576706), ccks=3333616, wck=22.064, mem=139M858
27.95/24.56 decisions=74075, wrong=35807, backtracks=23237, failedAssignments=20075, nogoods=1468, foundSolutions=12, bestBound=59
27.95/24.56 nFilterCalls=4419590, avgTableProportion=0.9982701659058865, avgTableSize=577.1352127686052
27.95/24.56
28.05/24.64 num=245, depth=3..14, filters=1194323, revisions=(1020617,useless=578974), ccks=3343554, wck=22.148, mem=139M858
28.05/24.64 decisions=74316, wrong=35925, backtracks=23312, failedAssignments=20142, nogoods=1481, foundSolutions=12, bestBound=59
28.05/24.64 nFilterCalls=4434383, avgTableProportion=0.9982701657654209, avgTableSize=577.13516356165
28.05/24.64
28.15/24.74 num=246, depth=1..12, filters=1198992, revisions=(1024891,useless=581349), ccks=3356327, wck=22.246, mem=142M421
28.15/24.74 decisions=74594, wrong=36062, backtracks=23408, failedAssignments=20216, nogoods=1486, foundSolutions=12, bestBound=59
28.15/24.74 nFilterCalls=4451176, avgTableProportion=0.9982701658878447, avgTableSize=577.1352056175716
28.15/24.74
28.25/24.84 num=247, depth=5..14, filters=1203163, revisions=(1028639,useless=583576), ccks=3365864, wck=22.344, mem=142M421
28.25/24.84 decisions=74862, wrong=36193, backtracks=23495, failedAssignments=20297, nogoods=1497, foundSolutions=12, bestBound=59
28.25/24.84 nFilterCalls=4469082, avgTableProportion=0.9982701656464201, avgTableSize=577.1351212620399
28.25/24.84
28.35/24.95 num=248, depth=3..11, filters=1208656, revisions=(1033586,useless=586508), ccks=3379847, wck=22.455, mem=142M421
28.35/24.95 decisions=75159, wrong=36339, backtracks=23590, failedAssignments=20386, nogoods=1504, foundSolutions=12, bestBound=59
28.35/24.95 nFilterCalls=4487807, avgTableProportion=0.998270165981384, avgTableSize=577.1352370990999
28.35/24.95
28.46/25.05 num=249, depth=8..17, filters=1214350, revisions=(1038156,useless=589186), ccks=3397831, wck=22.56, mem=142M421
28.46/25.05 decisions=75519, wrong=36515, backtracks=23699, failedAssignments=20484, nogoods=1507, foundSolutions=12, bestBound=59
28.46/25.05 nFilterCalls=4512201, avgTableProportion=0.9982701652859473, avgTableSize=577.1349948727905
28.46/25.05
28.56/25.18 num=250, depth=8..17, filters=1221589, revisions=(1043909,useless=592737), ccks=3415034, wck=22.69, mem=144M985
28.56/25.18 decisions=75928, wrong=36715, backtracks=23834, failedAssignments=20592, nogoods=1520, foundSolutions=12, bestBound=59
28.56/25.18 nFilterCalls=4539659, avgTableProportion=0.9982701649458189, avgTableSize=577.1348759895842
28.56/25.18
28.75/25.33 num=251, depth=6..14, filters=1230054, revisions=(1050939,useless=596572), ccks=3438810, wck=22.837, mem=144M985
28.75/25.33 decisions=76378, wrong=36936, backtracks=23973, failedAssignments=20711, nogoods=1529, foundSolutions=12, bestBound=59
28.75/25.33 nFilterCalls=4568395, avgTableProportion=0.9982701644364388, avgTableSize=577.1346982911941
28.75/25.33
28.85/25.47 num=252, depth=5..15, filters=1237730, revisions=(1057910,useless=600698), ccks=3460305, wck=22.981, mem=144M985
28.85/25.47 decisions=76856, wrong=37171, backtracks=24134, failedAssignments=20842, nogoods=1540, foundSolutions=12, bestBound=59
28.85/25.47 nFilterCalls=4596277, avgTableProportion=0.9982701641487555, avgTableSize=577.1345976319529
28.85/25.47
29.05/25.64 num=253, depth=4..12, filters=1246965, revisions=(1065817,useless=605167), ccks=3484737, wck=23.144, mem=147M548
29.05/25.64 decisions=77388, wrong=37434, backtracks=24303, failedAssignments=20986, nogoods=1547, foundSolutions=12, bestBound=59
29.05/25.64 nFilterCalls=4626864, avgTableProportion=0.9982701639619208, avgTableSize=577.1345319421534
29.05/25.64
29.27/25.86 num=254, depth=5..14, filters=1258345, revisions=(1074752,useless=610118), ccks=3515623, wck=23.363, mem=147M548
29.27/25.86 decisions=77969, wrong=37721, backtracks=24501, failedAssignments=21144, nogoods=1557, foundSolutions=12, bestBound=59
29.27/25.86 nFilterCalls=4668966, avgTableProportion=0.9982701634001615, avgTableSize=577.1343357394335
29.27/25.86
29.48/26.10 num=255, depth=6..18, filters=1270431, revisions=(1084319,useless=616051), ccks=3543774, wck=23.608, mem=150M111
29.48/26.10 decisions=78704, wrong=38083, backtracks=24771, failedAssignments=21318, nogoods=1568, foundSolutions=12, bestBound=59
29.48/26.10 nFilterCalls=4720395, avgTableProportion=0.9982701649055516, avgTableSize=577.1348573583355
29.48/26.10
29.77/26.33 num=256, depth=4..14, filters=1280633, revisions=(1092599,useless=620849), ccks=3576751, wck=23.838, mem=150M111
29.77/26.33 decisions=79355, wrong=38405, backtracks=24970, failedAssignments=21509, nogoods=1578, foundSolutions=12, bestBound=59
29.77/26.33 nFilterCalls=4766679, avgTableProportion=0.9982701659049081, avgTableSize=577.1352033564668
29.77/26.33
29.97/26.57 num=257, depth=6..17, filters=1293056, revisions=(1102664,useless=626696), ccks=3612833, wck=24.076, mem=152M674
29.97/26.57 decisions=80109, wrong=38779, backtracks=25220, failedAssignments=21720, nogoods=1584, foundSolutions=12, bestBound=59
29.97/26.57 nFilterCalls=4816572, avgTableProportion=0.998270164988659, avgTableSize=577.1348838966801
29.97/26.57
30.17/26.77 o 60
30.17/26.77 num=258, depth=5..74, filters=1305114, revisions=(1112872,useless=632476), ccks=3646522, wck=24.278, mem=155M237
30.17/26.77 decisions=80877, wrong=39157, backtracks=25468, failedAssignments=21923, nogoods=1595, foundSolutions=13, bestBound=60
30.17/26.77 nFilterCalls=4859198, avgTableProportion=0.9982701643987488, avgTableSize=577.1346779859557
30.17/26.77
30.48/27.06 num=259, depth=1..15, filters=1320731, revisions=(1126806,useless=640380), ccks=3688262, wck=24.567, mem=155M237
30.48/27.06 decisions=81785, wrong=39609, backtracks=25755, failedAssignments=22178, nogoods=1597, foundSolutions=13, bestBound=60
30.48/27.06 nFilterCalls=4905634, avgTableProportion=0.9982701639382748, avgTableSize=577.134516965595
30.48/27.06
30.48/27.07 num=260, depth=11..18, filters=1321348, revisions=(1127236,useless=640608), ccks=3689850, wck=24.576, mem=155M237
30.48/27.07 decisions=81832, wrong=39626, backtracks=25764, failedAssignments=22189, nogoods=1603, foundSolutions=13, bestBound=60
30.48/27.07 nFilterCalls=4907710, avgTableProportion=0.9982701640086536, avgTableSize=577.134541364506
30.48/27.07
30.48/27.08 num=261, depth=5..13, filters=1322197, revisions=(1127935,useless=640966), ccks=3692237, wck=24.593, mem=155M237
30.48/27.08 decisions=81881, wrong=39648, backtracks=25778, failedAssignments=22201, nogoods=1604, foundSolutions=13, bestBound=60
30.48/27.08 nFilterCalls=4910554, avgTableProportion=0.9982701639639117, avgTableSize=577.1345257581935
30.48/27.08
30.48/27.10 num=262, depth=9..15, filters=1322788, revisions=(1128479,useless=641246), ccks=3694017, wck=24.606, mem=155M237
30.48/27.10 decisions=81930, wrong=39667, backtracks=25792, failedAssignments=22214, nogoods=1608, foundSolutions=13, bestBound=60
30.48/27.10 nFilterCalls=4913324, avgTableProportion=0.9982701639684083, avgTableSize=577.1345272569039
30.48/27.10
30.58/27.12 num=263, depth=4..11, filters=1323601, revisions=(1129211,useless=641654), ccks=3696478, wck=24.627, mem=157M800
30.58/27.12 decisions=81985, wrong=39690, backtracks=25804, failedAssignments=22228, nogoods=1613, foundSolutions=13, bestBound=60
30.58/27.12 nFilterCalls=4917022, avgTableProportion=0.9982701637370973, avgTableSize=577.1344468257413
30.58/27.12
30.58/27.15 num=264, depth=4..12, filters=1324723, revisions=(1130121,useless=642194), ccks=3699838, wck=24.655, mem=157M800
30.58/27.15 decisions=82050, wrong=39719, backtracks=25824, failedAssignments=22244, nogoods=1616, foundSolutions=13, bestBound=60
30.58/27.15 nFilterCalls=4922625, avgTableProportion=0.9982701641139168, avgTableSize=577.1345775881771
30.58/27.15
30.58/27.16 num=265, depth=10..16, filters=1325513, revisions=(1130778,useless=642549), ccks=3702165, wck=24.669, mem=157M800
30.58/27.16 decisions=82114, wrong=39745, backtracks=25841, failedAssignments=22261, nogoods=1620, foundSolutions=13, bestBound=60
30.58/27.16 nFilterCalls=4925804, avgTableProportion=0.9982701641831941, avgTableSize=577.1346015797624
30.58/27.16
30.58/27.19 num=266, depth=8..13, filters=1326647, revisions=(1131792,useless=643082), ccks=3705613, wck=24.693, mem=157M800
30.58/27.19 decisions=82185, wrong=39776, backtracks=25861, failedAssignments=22280, nogoods=1625, foundSolutions=13, bestBound=60
30.58/27.19 nFilterCalls=4930098, avgTableProportion=0.9982701642290343, avgTableSize=577.1346174051713
30.58/27.19
30.67/27.21 num=267, depth=4..12, filters=1327955, revisions=(1133006,useless=643760), ccks=3708707, wck=24.72, mem=157M800
30.67/27.21 decisions=82265, wrong=39814, backtracks=25888, failedAssignments=22301, nogoods=1628, foundSolutions=13, bestBound=60
30.67/27.21 nFilterCalls=4934552, avgTableProportion=0.9982701641543053, avgTableSize=577.1345913468944
30.67/27.21
30.67/27.23 num=268, depth=7..12, filters=1328990, revisions=(1134013,useless=644322), ccks=3712002, wck=24.742, mem=157M800
30.67/27.23 decisions=82343, wrong=39849, backtracks=25907, failedAssignments=22324, nogoods=1634, foundSolutions=13, bestBound=60
30.67/27.23 nFilterCalls=4938554, avgTableProportion=0.9982701642183195, avgTableSize=577.1346134921274
30.67/27.23
30.67/27.26 num=269, depth=11..16, filters=1330338, revisions=(1135090,useless=644920), ccks=3715454, wck=24.764, mem=157M800
30.67/27.26 decisions=82439, wrong=39891, backtracks=25936, failedAssignments=22349, nogoods=1639, foundSolutions=13, bestBound=60
30.67/27.26 nFilterCalls=4944106, avgTableProportion=0.9982701644374032, avgTableSize=577.1346894666093
30.67/27.26
30.67/27.29 num=270, depth=8..15, filters=1332174, revisions=(1136634,useless=645805), ccks=3720624, wck=24.797, mem=157M800
30.67/27.29 decisions=82550, wrong=39942, backtracks=25968, failedAssignments=22377, nogoods=1643, foundSolutions=13, bestBound=60
30.67/27.29 nFilterCalls=4951458, avgTableProportion=0.9982701647621771, avgTableSize=577.1348021128322
30.67/27.29
30.77/27.33 num=271, depth=7..12, filters=1334120, revisions=(1138403,useless=646730), ccks=3726515, wck=24.835, mem=157M800
30.77/27.33 decisions=82673, wrong=39998, backtracks=26004, failedAssignments=22408, nogoods=1650, foundSolutions=13, bestBound=60
30.77/27.33 nFilterCalls=4958419, avgTableProportion=0.9982701648210605, avgTableSize=577.1348224101271
30.77/27.33
30.77/27.38 num=272, depth=5..14, filters=1336164, revisions=(1140003,useless=647686), ccks=3732514, wck=24.884, mem=157M800
30.77/27.38 decisions=82796, wrong=40057, backtracks=26043, failedAssignments=22442, nogoods=1653, foundSolutions=13, bestBound=60
30.77/27.38 nFilterCalls=4968159, avgTableProportion=0.9982701653848345, avgTableSize=577.1350180217662
30.77/27.38
30.87/27.42 num=273, depth=5..13, filters=1338554, revisions=(1141946,useless=648834), ccks=3737378, wck=24.929, mem=157M800
30.87/27.42 decisions=82934, wrong=40123, backtracks=26088, failedAssignments=22479, nogoods=1659, foundSolutions=13, bestBound=60
30.87/27.42 nFilterCalls=4976804, avgTableProportion=0.9982701655229298, avgTableSize=577.1350657972466
30.87/27.42
30.87/27.48 num=274, depth=6..14, filters=1341045, revisions=(1144029,useless=649963), ccks=3744285, wck=24.984, mem=160M363
30.87/27.48 decisions=83088, wrong=40196, backtracks=26135, failedAssignments=22520, nogoods=1665, foundSolutions=13, bestBound=60
30.87/27.48 nFilterCalls=4987044, avgTableProportion=0.9982701657844704, avgTableSize=577.1351564173085
30.87/27.48
30.97/27.52 num=275, depth=5..15, filters=1343540, revisions=(1145956,useless=651138), ccks=3749968, wck=25.032, mem=160M363
30.97/27.52 decisions=83245, wrong=40271, backtracks=26180, failedAssignments=22565, nogoods=1670, foundSolutions=13, bestBound=60
30.97/27.52 nFilterCalls=4997183, avgTableProportion=0.9982701660677809, avgTableSize=577.1352546024431
30.97/27.52
30.97/27.57 num=276, depth=3..12, filters=1345973, revisions=(1148414,useless=652611), ccks=3756682, wck=25.08, mem=160M363
30.97/27.57 decisions=83405, wrong=40347, backtracks=26217, failedAssignments=22615, nogoods=1675, foundSolutions=13, bestBound=60
30.97/27.57 nFilterCalls=5005020, avgTableProportion=0.9982701658830677, avgTableSize=577.13519026897
30.97/27.57
30.97/27.59 o 64
30.97/27.59 num=277, depth=6..74, filters=1347101, revisions=(1149206,useless=653102), ccks=3758636, wck=25.1, mem=160M363
30.97/27.59 decisions=83457, wrong=40368, backtracks=26232, failedAssignments=22627, nogoods=1681, foundSolutions=14, bestBound=64
30.97/27.59 nFilterCalls=5009370, avgTableProportion=0.9982701660338705, avgTableSize=577.1352425554511
30.97/27.59
31.08/27.66 num=278, depth=5..13, filters=1350899, revisions=(1152463,useless=654925), ccks=3768574, wck=25.171, mem=160M363
31.08/27.66 decisions=83660, wrong=40464, backtracks=26291, failedAssignments=22688, nogoods=1685, foundSolutions=14, bestBound=64
31.08/27.66 nFilterCalls=5020815, avgTableProportion=0.9982701657233245, avgTableSize=577.1351344353457
31.08/27.66
31.08/27.67 num=279, depth=6..11, filters=1351421, revisions=(1152930,useless=655163), ccks=3770055, wck=25.18, mem=160M363
31.08/27.67 decisions=83694, wrong=40478, backtracks=26297, failedAssignments=22699, nogoods=1690, foundSolutions=14, bestBound=64
31.08/27.67 nFilterCalls=5022475, avgTableProportion=0.9982701657610751, avgTableSize=577.1351475119338
31.08/27.67
31.08/27.69 num=280, depth=5..13, filters=1352292, revisions=(1153625,useless=655588), ccks=3772021, wck=25.196, mem=160M363
31.08/27.69 decisions=83740, wrong=40498, backtracks=26313, failedAssignments=22711, nogoods=1693, foundSolutions=14, bestBound=64
31.08/27.69 nFilterCalls=5025998, avgTableProportion=0.9982701658620381, avgTableSize=577.1351825050467
31.08/27.69
31.18/27.71 num=281, depth=10..17, filters=1353350, revisions=(1154435,useless=656046), ccks=3774428, wck=25.213, mem=160M363
31.18/27.71 decisions=83802, wrong=40524, backtracks=26335, failedAssignments=22724, nogoods=1696, foundSolutions=14, bestBound=64
31.18/27.71 nFilterCalls=5029837, avgTableProportion=0.9982701659578835, avgTableSize=577.1352157137497
31.18/27.71
31.18/27.72 num=282, depth=4..9, filters=1353990, revisions=(1155055,useless=656399), ccks=3776419, wck=25.225, mem=160M363
31.18/27.72 decisions=83846, wrong=40544, backtracks=26347, failedAssignments=22738, nogoods=1700, foundSolutions=14, bestBound=64
31.18/27.72 nFilterCalls=5031621, avgTableProportion=0.9982701659864748, avgTableSize=577.1352256062212
31.18/27.72
31.18/27.74 num=283, depth=3..14, filters=1354846, revisions=(1155850,useless=656845), ccks=3778607, wck=25.244, mem=160M363
31.18/27.74 decisions=83902, wrong=40568, backtracks=26362, failedAssignments=22754, nogoods=1706, foundSolutions=14, bestBound=64
31.18/27.74 nFilterCalls=5035075, avgTableProportion=0.9982701659317614, avgTableSize=577.1352065262186
31.18/27.74
31.18/27.76 num=284, depth=4..12, filters=1355859, revisions=(1156839,useless=657402), ccks=3781091, wck=25.265, mem=160M363
31.18/27.76 decisions=83962, wrong=40596, backtracks=26384, failedAssignments=22771, nogoods=1709, foundSolutions=14, bestBound=64
31.18/27.76 nFilterCalls=5038652, avgTableProportion=0.998270165897341, avgTableSize=577.1351944924952
31.18/27.76
31.18/27.79 num=285, depth=4..12, filters=1357400, revisions=(1157914,useless=658098), ccks=3784471, wck=25.299, mem=160M363
31.18/27.79 decisions=84037, wrong=40631, backtracks=26409, failedAssignments=22790, nogoods=1713, foundSolutions=14, bestBound=64
31.18/27.79 nFilterCalls=5044976, avgTableProportion=0.9982701663377219, avgTableSize=577.1353473237534
31.18/27.79
31.28/27.81 num=286, depth=10..15, filters=1358532, revisions=(1158903,useless=658652), ccks=3787542, wck=25.317, mem=160M363
31.28/27.81 decisions=84119, wrong=40667, backtracks=26432, failedAssignments=22811, nogoods=1721, foundSolutions=14, bestBound=64
31.28/27.81 nFilterCalls=5048984, avgTableProportion=0.9982701663947217, avgTableSize=577.1353670362196
31.28/27.81
31.28/27.85 num=287, depth=5..11, filters=1360220, revisions=(1160334,useless=659417), ccks=3790968, wck=25.358, mem=31M18
31.28/27.85 decisions=84210, wrong=40709, backtracks=26461, failedAssignments=22834, nogoods=1726, foundSolutions=14, bestBound=64
31.28/27.85 nFilterCalls=5053922, avgTableProportion=0.9982701666049727, avgTableSize=577.1354399612816
31.28/27.85
31.28/27.88 num=288, depth=3..9, filters=1361653, revisions=(1161771,useless=660277), ccks=3794968, wck=25.386, mem=31M18
31.28/27.88 decisions=84289, wrong=40746, backtracks=26488, failedAssignments=22859, nogoods=1731, foundSolutions=14, bestBound=64
31.28/27.88 nFilterCalls=5058228, avgTableProportion=0.9982701665544688, avgTableSize=577.1354223257631
31.28/27.88
31.44/27.92 num=289, depth=3..14, filters=1363240, revisions=(1163170,useless=661073), ccks=3799829, wck=25.423, mem=31M18
31.44/27.92 decisions=84398, wrong=40796, backtracks=26518, failedAssignments=22887, nogoods=1734, foundSolutions=14, bestBound=64
31.44/27.92 nFilterCalls=5064843, avgTableProportion=0.9982701667334617, avgTableSize=577.1354843575606
31.44/27.92
31.44/27.96 num=290, depth=3..11, filters=1365264, revisions=(1165106,useless=662188), ccks=3804430, wck=25.467, mem=31M18
31.44/27.96 decisions=84512, wrong=40851, backtracks=26553, failedAssignments=22918, nogoods=1738, foundSolutions=14, bestBound=64
31.44/27.96 nFilterCalls=5072337, avgTableProportion=0.998270166700256, avgTableSize=577.1354726627982
31.44/27.96
31.44/27.99 num=291, depth=4..13, filters=1367075, revisions=(1166722,useless=662988), ccks=3809633, wck=25.501, mem=31M18
31.44/27.99 decisions=84625, wrong=40905, backtracks=26586, failedAssignments=22952, nogoods=1741, foundSolutions=14, bestBound=64
31.44/27.99 nFilterCalls=5078272, avgTableProportion=0.9982701665792862, avgTableSize=577.1354305165222
31.44/27.99
31.56/28.03 num=292, depth=8..14, filters=1369223, revisions=(1168698,useless=664145), ccks=3815604, wck=25.537, mem=31M18
31.56/28.03 decisions=84770, wrong=40973, backtracks=26632, failedAssignments=22989, nogoods=1749, foundSolutions=14, bestBound=64
31.56/28.03 nFilterCalls=5085668, avgTableProportion=0.9982701666942901, avgTableSize=577.1354703059657
31.56/28.03
31.56/28.08 num=293, depth=2..11, filters=1371568, revisions=(1170931,useless=665442), ccks=3820682, wck=25.585, mem=31M18
31.56/28.08 decisions=84900, wrong=41034, backtracks=26672, failedAssignments=23030, nogoods=1754, foundSolutions=14, bestBound=64
31.56/28.08 nFilterCalls=5093811, avgTableProportion=0.9982701665980671, avgTableSize=577.1354367093714
31.56/28.08
31.66/28.13 num=294, depth=4..12, filters=1374297, revisions=(1173459,useless=666867), ccks=3828165, wck=25.641, mem=31M18
31.66/28.13 decisions=85062, wrong=41112, backtracks=26724, failedAssignments=23075, nogoods=1759, foundSolutions=14, bestBound=64
31.66/28.13 nFilterCalls=5103523, avgTableProportion=0.9982701668229679, avgTableSize=577.1355146239176
31.66/28.13
31.66/28.18 num=295, depth=7..18, filters=1376822, revisions=(1175609,useless=668125), ccks=3834722, wck=25.687, mem=31M18
31.66/28.18 decisions=85224, wrong=41189, backtracks=26780, failedAssignments=23125, nogoods=1764, foundSolutions=14, bestBound=64
31.66/28.18 nFilterCalls=5112938, avgTableProportion=0.9982701670679821, avgTableSize=577.1355995320107
31.66/28.18
31.75/28.25 num=296, depth=4..14, filters=1380301, revisions=(1178895,useless=670028), ccks=3844181, wck=25.755, mem=33M609
31.75/28.25 decisions=85432, wrong=41291, backtracks=26847, failedAssignments=23180, nogoods=1770, foundSolutions=14, bestBound=64
31.75/28.25 nFilterCalls=5125022, avgTableProportion=0.9982701670700699, avgTableSize=577.135600003278
31.75/28.25
31.85/28.35 num=297, depth=2..10, filters=1385122, revisions=(1183343,useless=672518), ccks=3855703, wck=25.854, mem=33M609
31.85/28.35 decisions=85679, wrong=41412, backtracks=26926, failedAssignments=23241, nogoods=1778, foundSolutions=14, bestBound=64
31.85/28.35 nFilterCalls=5141947, avgTableProportion=0.9982701670738706, avgTableSize=577.1356009698272
31.85/28.35
31.95/28.41 num=298, depth=4..13, filters=1389106, revisions=(1186698,useless=674498), ccks=3866506, wck=25.918, mem=33M609
31.95/28.41 decisions=85909, wrong=41524, backtracks=26997, failedAssignments=23308, nogoods=1787, foundSolutions=14, bestBound=64
31.95/28.41 nFilterCalls=5157205, avgTableProportion=0.9982701666829058, avgTableSize=577.1354648496617
31.95/28.41
31.95/28.49 num=299, depth=6..13, filters=1394071, revisions=(1191092,useless=676950), ccks=3879963, wck=25.996, mem=33M609
31.95/28.49 decisions=86194, wrong=41663, backtracks=27089, failedAssignments=23382, nogoods=1796, foundSolutions=14, bestBound=64
31.95/28.49 nFilterCalls=5171678, avgTableProportion=0.9982701664841548, avgTableSize=577.1353955137965
31.95/28.49
32.05/28.57 num=300, depth=2..18, filters=1398803, revisions=(1195234,useless=679240), ccks=3893538, wck=26.078, mem=36M200
32.05/28.57 decisions=86477, wrong=41800, backtracks=27180, failedAssignments=23463, nogoods=1802, foundSolutions=14, bestBound=64
32.05/28.57 nFilterCalls=5187061, avgTableProportion=0.9982701666150546, avgTableSize=577.1354406666896
32.05/28.57
32.15/28.69 num=301, depth=4..13, filters=1404682, revisions=(1200038,useless=682182), ccks=3906510, wck=26.195, mem=36M200
32.15/28.69 decisions=86811, wrong=41963, backtracks=27287, failedAssignments=23552, nogoods=1808, foundSolutions=14, bestBound=64
32.15/28.69 nFilterCalls=5210038, avgTableProportion=0.998270166705355, avgTableSize=577.1354715646987
32.15/28.69
32.35/28.80 num=302, depth=4..14, filters=1411123, revisions=(1205538,useless=685184), ccks=3922421, wck=26.311, mem=36M200
32.35/28.80 decisions=87160, wrong=42135, backtracks=27393, failedAssignments=23650, nogoods=1816, foundSolutions=14, bestBound=64
32.35/28.80 nFilterCalls=5231992, avgTableProportion=0.9982701666773899, avgTableSize=577.1354614074334
32.35/28.80
32.45/28.93 num=303, depth=4..13, filters=1417863, revisions=(1211452,useless=688565), ccks=3939419, wck=26.439, mem=36M200
32.45/28.93 decisions=87562, wrong=42333, backtracks=27520, failedAssignments=23758, nogoods=1822, foundSolutions=14, bestBound=64
32.45/28.93 nFilterCalls=5254345, avgTableProportion=0.9982701667986881, avgTableSize=577.1355030931543
32.45/28.93
32.56/29.03 num=304, depth=6..18, filters=1423612, revisions=(1216456,useless=691348), ccks=3958070, wck=26.541, mem=38M791
32.56/29.03 decisions=87985, wrong=42539, backtracks=27658, failedAssignments=23877, nogoods=1832, foundSolutions=14, bestBound=64
32.56/29.03 nFilterCalls=5279931, avgTableProportion=0.9982701659533801, avgTableSize=577.135208963905
32.56/29.03
32.66/29.19 num=305, depth=4..12, filters=1431750, revisions=(1223532,useless=695492), ccks=3979745, wck=26.694, mem=38M791
32.66/29.19 decisions=88457, wrong=42772, backtracks=27806, failedAssignments=24008, nogoods=1840, foundSolutions=14, bestBound=64
32.66/29.19 nFilterCalls=5308198, avgTableProportion=0.998270166015206, avgTableSize=577.1352298840397
32.66/29.19
32.85/29.33 num=306, depth=5..17, filters=1439854, revisions=(1230609,useless=699610), ccks=3999218, wck=26.833, mem=38M791
32.85/29.33 decisions=88938, wrong=43008, backtracks=27954, failedAssignments=24152, nogoods=1844, foundSolutions=14, bestBound=64
32.85/29.33 nFilterCalls=5336950, avgTableProportion=0.9982701660895679, avgTableSize=577.135255155098
32.85/29.33
33.05/29.50 num=307, depth=3..14, filters=1449062, revisions=(1238744,useless=704300), ccks=4026058, wck=27.006, mem=41M382
33.05/29.50 decisions=89487, wrong=43280, backtracks=28138, failedAssignments=24310, nogoods=1854, foundSolutions=14, bestBound=64
33.05/29.50 nFilterCalls=5368943, avgTableProportion=0.9982701662279556, avgTableSize=577.1353026098433
33.05/29.50
33.27/29.70 num=308, depth=3..14, filters=1458760, revisions=(1246858,useless=709042), ccks=4048447, wck=27.207, mem=41M382
33.27/29.70 decisions=90042, wrong=43554, backtracks=28333, failedAssignments=24484, nogoods=1864, foundSolutions=14, bestBound=64
33.27/29.70 nFilterCalls=5406249, avgTableProportion=0.998270166268015, avgTableSize=577.135315816937
33.27/29.70
33.47/29.99 num=309, depth=2..12, filters=1472294, revisions=(1258817,useless=716014), ccks=4079354, wck=27.496, mem=43M973
33.47/29.99 decisions=90722, wrong=43891, backtracks=28565, failedAssignments=24675, nogoods=1872, foundSolutions=14, bestBound=64
33.47/29.99 nFilterCalls=5454966, avgTableProportion=0.998270166476892, avgTableSize=577.1353874616267
33.47/29.99
33.77/30.21 num=310, depth=3..17, filters=1484078, revisions=(1269146,useless=721673), ccks=4111263, wck=27.719, mem=46M564
33.77/30.21 decisions=91446, wrong=44250, backtracks=28797, failedAssignments=24886, nogoods=1886, foundSolutions=14, bestBound=64
33.77/30.21 nFilterCalls=5500035, avgTableProportion=0.998270166193595, avgTableSize=577.135288229984
33.77/30.21
33.97/30.45 num=311, depth=6..16, filters=1497542, revisions=(1280552,useless=728282), ccks=4148129, wck=27.959, mem=46M564
33.97/30.45 decisions=92278, wrong=44661, backtracks=29062, failedAssignments=25118, nogoods=1900, foundSolutions=14, bestBound=64
33.97/30.45 nFilterCalls=5550766, avgTableProportion=0.9982701663936755, avgTableSize=577.1353568138163
33.97/30.45
34.27/30.76 num=312, depth=3..15, filters=1514517, revisions=(1295238,useless=736654), ccks=4193459, wck=28.267, mem=49M155
34.27/30.76 decisions=93286, wrong=45162, backtracks=29399, failedAssignments=25373, nogoods=1910, foundSolutions=14, bestBound=64
34.27/30.76 nFilterCalls=5606268, avgTableProportion=0.9982701665687493, avgTableSize=577.1354166443701
34.27/30.76
34.68/31.12 num=313, depth=1..13, filters=1530714, revisions=(1309568,useless=744775), ccks=4239632, wck=28.63, mem=51M746
34.68/31.12 decisions=94279, wrong=45656, backtracks=29728, failedAssignments=25654, nogoods=1915, foundSolutions=14, bestBound=64
34.68/31.12 nFilterCalls=5669304, avgTableProportion=0.9982701669542082, avgTableSize=577.1355494431062
34.68/31.12
35.07/31.51 num=314, depth=2..17, filters=1551023, revisions=(1327200,useless=754935), ccks=4294591, wck=29.017, mem=54M336
35.07/31.51 decisions=95473, wrong=46250, backtracks=30138, failedAssignments=25963, nogoods=1923, foundSolutions=14, bestBound=64
35.07/31.51 nFilterCalls=5746310, avgTableProportion=0.9982701670986762, avgTableSize=577.1355983230977
35.07/31.51
35.47/31.91 num=315, depth=3..13, filters=1571937, revisions=(1345357,useless=765564), ccks=4348931, wck=29.421, mem=56M927
35.47/31.91 decisions=96713, wrong=46867, backtracks=30551, failedAssignments=26303, nogoods=1928, foundSolutions=14, bestBound=64
35.47/31.91 nFilterCalls=5818289, avgTableProportion=0.9982701673795588, avgTableSize=577.1356947033742
35.47/31.91
35.87/32.36 num=316, depth=3..16, filters=1596779, revisions=(1366207,useless=778057), ccks=4409239, wck=29.869, mem=59M518
35.87/32.36 decisions=98107, wrong=47559, backtracks=30992, failedAssignments=26677, nogoods=1933, foundSolutions=14, bestBound=64
35.87/32.36 nFilterCalls=5903772, avgTableProportion=0.9982701694035007, avgTableSize=577.1363963581249
35.87/32.36
36.47/32.98 num=317, depth=1..14, filters=1626234, revisions=(1391200,useless=793164), ccks=4479710, wck=30.483, mem=62M109
36.47/32.98 decisions=99647, wrong=48327, backtracks=31507, failedAssignments=27088, nogoods=1939, foundSolutions=14, bestBound=64
36.47/32.98 nFilterCalls=6009486, avgTableProportion=0.9982701709852876, avgTableSize=577.1369441579529
36.47/32.98
37.08/33.57 num=318, depth=3..16, filters=1654039, revisions=(1414543,useless=807589), ccks=4551137, wck=31.073, mem=64M700
37.08/33.57 decisions=101370, wrong=49185, backtracks=32091, failedAssignments=27540, nogoods=1948, foundSolutions=14, bestBound=64
37.08/33.57 nFilterCalls=6119318, avgTableProportion=0.9982701742607417, avgTableSize=577.138080256656
37.08/33.57
37.69/34.12 num=319, depth=2..16, filters=1683072, revisions=(1439997,useless=822704), ccks=4630399, wck=31.625, mem=69M882
37.69/34.12 decisions=103111, wrong=50054, backtracks=32675, failedAssignments=28037, nogoods=1954, foundSolutions=14, bestBound=64
37.69/34.12 nFilterCalls=6222689, avgTableProportion=0.998270174961562, avgTableSize=577.1383221947939
37.69/34.12
38.28/34.78 num=320, depth=3..15, filters=1717937, revisions=(1470078,useless=839779), ccks=4730112, wck=32.284, mem=72M473
38.28/34.78 decisions=105157, wrong=51072, backtracks=33376, failedAssignments=28584, nogoods=1964, foundSolutions=14, bestBound=64
38.28/34.78 nFilterCalls=6341313, avgTableProportion=0.9982701742025626, avgTableSize=577.1380568976804
38.28/34.78
39.08/35.56 num=321, depth=0..18, filters=1754594, revisions=(1502520,useless=858648), ccks=4835006, wck=33.067, mem=77M654
39.08/35.56 decisions=107328, wrong=52154, backtracks=34089, failedAssignments=29186, nogoods=1971, foundSolutions=14, bestBound=64
39.08/35.56 nFilterCalls=6476456, avgTableProportion=0.9982701749632723, avgTableSize=577.1383193215548
39.08/35.56
39.98/36.43 num=322, depth=3..14, filters=1797705, revisions=(1537233,useless=879654), ccks=4940709, wck=33.94, mem=82M836
39.98/36.43 decisions=109709, wrong=53341, backtracks=34909, failedAssignments=29848, nogoods=1984, foundSolutions=14, bestBound=64
39.98/36.43 nFilterCalls=6636857, avgTableProportion=0.9982701769374183, avgTableSize=577.1390029949417
39.98/36.43
40.88/37.34 num=323, depth=0..14, filters=1843126, revisions=(1577964,useless=903311), ccks=5063522, wck=34.844, mem=85M427
40.88/37.34 decisions=112286, wrong=54626, backtracks=35760, failedAssignments=30576, nogoods=1993, foundSolutions=14, bestBound=64
40.88/37.34 nFilterCalls=6791885, avgTableProportion=0.9982701759987517, avgTableSize=577.1386750511824
40.88/37.34
41.88/38.39 num=324, depth=2..16, filters=1894150, revisions=(1623047,useless=929649), ccks=5206665, wck=35.898, mem=93M200
41.88/38.39 decisions=115157, wrong=56058, backtracks=36764, failedAssignments=31377, nogoods=2007, foundSolutions=14, bestBound=64
41.88/38.39 nFilterCalls=6970812, avgTableProportion=0.998270177000178, avgTableSize=577.1390208199562
41.88/38.39
43.09/39.55 num=325, depth=2..19, filters=1949366, revisions=(1671013,useless=956819), ccks=5354254, wck=37.056, mem=98M382
43.09/39.55 decisions=118430, wrong=57692, backtracks=37887, failedAssignments=32258, nogoods=2017, foundSolutions=14, bestBound=64
43.09/39.55 nFilterCalls=7166834, avgTableProportion=0.9982701755811169, avgTableSize=577.1385257423292
43.09/39.55
44.29/40.73 num=326, depth=3..18, filters=2011205, revisions=(1722549,useless=988656), ccks=5504921, wck=38.236, mem=106M155
44.29/40.73 decisions=121962, wrong=59455, backtracks=39105, failedAssignments=33228, nogoods=2028, foundSolutions=14, bestBound=64
44.29/40.73 nFilterCalls=7389496, avgTableProportion=0.9982701800266545, avgTableSize=577.1400676040694
44.29/40.73
45.59/42.02 num=327, depth=1..15, filters=2077957, revisions=(1781183,useless=1022212), ccks=5685566, wck=39.529, mem=113M928
45.59/42.02 decisions=125738, wrong=61341, backtracks=40403, failedAssignments=34295, nogoods=2038, foundSolutions=14, bestBound=64
45.59/42.02 nFilterCalls=7613442, avgTableProportion=0.99827017893124, avgTableSize=577.1396849151803
45.59/42.02
47.19/43.67 num=328, depth=1..16, filters=2153063, revisions=(1842659,useless=1058111), ccks=5874087, wck=41.18, mem=121M700
47.19/43.67 decisions=129818, wrong=63378, backtracks=41793, failedAssignments=35468, nogoods=2049, foundSolutions=14, bestBound=64
47.19/43.67 nFilterCalls=7902891, avgTableProportion=0.9982701798566243, avgTableSize=577.1400037024425
47.19/43.67
48.99/45.47 num=329, depth=2..19, filters=2240850, revisions=(1916559,useless=1102754), ccks=6095822, wck=42.975, mem=132M64
48.99/45.47 decisions=134529, wrong=65730, backtracks=43379, failedAssignments=36759, nogoods=2060, foundSolutions=14, bestBound=64
48.99/45.47 nFilterCalls=8213720, avgTableProportion=0.9982701786913701, avgTableSize=577.1395963095894
48.99/45.47
50.19/46.69 o 65
50.19/46.69 num=330, depth=2..74, filters=2299938, revisions=(1969146,useless=1133261), ccks=6254160, wck=44.202, mem=139M837
50.19/46.69 decisions=137932, wrong=67428, backtracks=44508, failedAssignments=37718, nogoods=2073, foundSolutions=15, bestBound=65
50.19/46.69 nFilterCalls=8423982, avgTableProportion=0.9982701786060338, avgTableSize=577.1395649943222
50.19/46.69
52.39/48.82 num=331, depth=2..15, filters=2403208, revisions=(2055890,useless=1186878), ccks=6508514, wck=46.325, mem=150M200
52.39/48.82 decisions=143605, wrong=70262, backtracks=46461, failedAssignments=39280, nogoods=2085, foundSolutions=15, bestBound=65
52.39/48.82 nFilterCalls=8776178, avgTableProportion=0.9982701772193555, avgTableSize=577.1390807023286
52.39/48.82
52.39/48.83 num=332, depth=10..16, filters=2403783, revisions=(2056379,useless=1187145), ccks=6510369, wck=46.338, mem=150M200
52.39/48.83 decisions=143653, wrong=70280, backtracks=46472, failedAssignments=39291, nogoods=2090, foundSolutions=15, bestBound=65
52.39/48.83 nFilterCalls=8778935, avgTableProportion=0.9982701773701155, avgTableSize=577.1391330497378
52.39/48.83
52.39/48.85 num=333, depth=7..15, filters=2404571, revisions=(2057021,useless=1187516), ccks=6512566, wck=46.361, mem=150M200
52.39/48.85 decisions=143703, wrong=70299, backtracks=46481, failedAssignments=39303, nogoods=2097, foundSolutions=15, bestBound=65
52.39/48.85 nFilterCalls=8782969, avgTableProportion=0.9982701773635566, avgTableSize=577.1391307426908
52.39/48.85
52.39/48.87 num=334, depth=6..14, filters=2405117, revisions=(2057517,useless=1187808), ccks=6514227, wck=46.374, mem=150M200
52.39/48.87 decisions=143749, wrong=70317, backtracks=46491, failedAssignments=39316, nogoods=2100, foundSolutions=15, bestBound=65
52.39/48.87 nFilterCalls=8785282, avgTableProportion=0.9982701774341213, avgTableSize=577.1391552371341
52.39/48.87
52.39/48.89 num=335, depth=5..14, filters=2405963, revisions=(2058246,useless=1188224), ccks=6516450, wck=46.394, mem=150M200
52.39/48.89 decisions=143798, wrong=70338, backtracks=46503, failedAssignments=39330, nogoods=2104, foundSolutions=15, bestBound=65
52.39/48.89 nFilterCalls=8788842, avgTableProportion=0.9982701774406171, avgTableSize=577.1391574680714
52.39/48.89
52.49/48.91 num=336, depth=7..13, filters=2407075, revisions=(2059141,useless=1188758), ccks=6519388, wck=46.417, mem=150M200
52.49/48.91 decisions=143867, wrong=70369, backtracks=46523, failedAssignments=39346, nogoods=2107, foundSolutions=15, bestBound=65
52.49/48.91 nFilterCalls=8793369, avgTableProportion=0.9982701775120931, avgTableSize=577.1391822633623
52.49/48.91
52.49/48.93 num=337, depth=3..16, filters=2408004, revisions=(2059938,useless=1189206), ccks=6521748, wck=46.438, mem=150M200
52.49/48.93 decisions=143927, wrong=70396, backtracks=46543, failedAssignments=39363, nogoods=2111, foundSolutions=15, bestBound=65
52.49/48.93 nFilterCalls=8797178, avgTableProportion=0.9982701775402675, avgTableSize=577.1391920227146
52.49/48.93
52.49/48.96 num=338, depth=4..17, filters=2409147, revisions=(2060927,useless=1189803), ccks=6524461, wck=46.465, mem=150M200
52.49/48.96 decisions=143997, wrong=70428, backtracks=46568, failedAssignments=39382, nogoods=2116, foundSolutions=15, bestBound=65
52.49/48.96 nFilterCalls=8802131, avgTableProportion=0.9982701776000857, avgTableSize=577.139212765636
52.49/48.96
52.49/48.99 num=339, depth=2..12, filters=2410454, revisions=(2062059,useless=1190466), ccks=6527625, wck=46.494, mem=150M200
52.49/48.99 decisions=144074, wrong=70463, backtracks=46593, failedAssignments=39403, nogoods=2119, foundSolutions=15, bestBound=65
52.49/48.99 nFilterCalls=8807009, avgTableProportion=0.9982701776877654, avgTableSize=577.1392431868753
52.49/48.99
52.61/49.02 num=340, depth=5..19, filters=2411895, revisions=(2063274,useless=1191223), ccks=6530484, wck=46.524, mem=150M200
52.61/49.02 decisions=144159, wrong=70501, backtracks=46615, failedAssignments=39426, nogoods=2127, foundSolutions=15, bestBound=65
52.61/49.02 nFilterCalls=8813067, avgTableProportion=0.9982701777690534, avgTableSize=577.1392713796457
52.61/49.02
52.61/49.04 num=341, depth=5..17, filters=2413099, revisions=(2064267,useless=1191795), ccks=6533975, wck=46.548, mem=150M200
52.61/49.04 decisions=144247, wrong=70540, backtracks=46641, failedAssignments=39451, nogoods=2135, foundSolutions=15, bestBound=65
52.61/49.04 nFilterCalls=8817683, avgTableProportion=0.9982701778886839, avgTableSize=577.1393129011328
52.61/49.04
52.61/49.08 num=342, depth=4..13, filters=2414986, revisions=(2065951,useless=1192855), ccks=6539080, wck=46.585, mem=152M791
52.61/49.08 decisions=144363, wrong=70596, backtracks=46685, failedAssignments=39479, nogoods=2140, foundSolutions=15, bestBound=65
52.61/49.08 nFilterCalls=8823979, avgTableProportion=0.9982701780036182, avgTableSize=577.1393527795113
52.61/49.08
52.71/49.11 num=343, depth=3..17, filters=2416623, revisions=(2067389,useless=1193711), ccks=6542798, wck=46.621, mem=152M791
52.71/49.11 decisions=144466, wrong=70644, backtracks=46715, failedAssignments=39510, nogoods=2144, foundSolutions=15, bestBound=65
52.71/49.11 nFilterCalls=8830330, avgTableProportion=0.9982701782039168, avgTableSize=577.1394223092456
52.71/49.11
52.71/49.16 num=344, depth=2..14, filters=2418730, revisions=(2069230,useless=1194775), ccks=6547672, wck=46.669, mem=152M791
52.71/49.16 decisions=144582, wrong=70697, backtracks=46752, failedAssignments=39544, nogoods=2149, foundSolutions=15, bestBound=65
52.71/49.16 nFilterCalls=8838309, avgTableProportion=0.9982701784430181, avgTableSize=577.1395053058227
52.71/49.16
52.80/49.21 num=345, depth=4..11, filters=2421185, revisions=(2071230,useless=1195990), ccks=6554724, wck=46.717, mem=152M791
52.80/49.21 decisions=144726, wrong=70767, backtracks=46798, failedAssignments=39581, nogoods=2150, foundSolutions=15, bestBound=65
52.80/49.21 nFilterCalls=8848730, avgTableProportion=0.9982701784758341, avgTableSize=577.1395166312002
52.80/49.21
52.80/49.25 num=346, depth=3..13, filters=2423424, revisions=(2073212,useless=1197214), ccks=6559936, wck=46.76, mem=152M791
52.80/49.25 decisions=144865, wrong=70834, backtracks=46839, failedAssignments=39622, nogoods=2157, foundSolutions=15, bestBound=65
52.80/49.25 nFilterCalls=8856111, avgTableProportion=0.9982701786106387, avgTableSize=577.1395634042979
52.80/49.25
52.90/49.32 num=347, depth=2..13, filters=2426481, revisions=(2075807,useless=1198721), ccks=6567330, wck=46.832, mem=152M791
52.90/49.32 decisions=145036, wrong=70916, backtracks=46892, failedAssignments=39667, nogoods=2167, foundSolutions=15, bestBound=65
52.90/49.32 nFilterCalls=8868389, avgTableProportion=0.9982701787597079, avgTableSize=577.1396150980747
52.90/49.32
52.90/49.39 num=348, depth=3..10, filters=2430028, revisions=(2079084,useless=1200649), ccks=6576162, wck=46.896, mem=152M791
52.90/49.39 decisions=145223, wrong=71008, backtracks=46959, failedAssignments=39717, nogoods=2169, foundSolutions=15, bestBound=65
52.90/49.39 nFilterCalls=8879245, avgTableProportion=0.9982701786637403, avgTableSize=577.139581687407
52.90/49.39
53.00/49.46 num=349, depth=7..16, filters=2433505, revisions=(2081815,useless=1202265), ccks=6585346, wck=46.967, mem=152M791
53.00/49.46 decisions=145434, wrong=71110, backtracks=47028, failedAssignments=39772, nogoods=2174, foundSolutions=15, bestBound=65
53.00/49.46 nFilterCalls=8892637, avgTableProportion=0.9982701793644931, avgTableSize=577.1398250035395
53.00/49.46
53.10/49.52 num=350, depth=4..15, filters=2436896, revisions=(2084705,useless=1203981), ccks=6594255, wck=47.03, mem=155M382
53.10/49.52 decisions=145643, wrong=71211, backtracks=47100, failedAssignments=39833, nogoods=2180, foundSolutions=15, bestBound=65
53.10/49.52 nFilterCalls=8904636, avgTableProportion=0.9982701795743119, avgTableSize=577.1398978015496
53.10/49.52
53.10/49.59 num=351, depth=5..15, filters=2440638, revisions=(2087938,useless=1205809), ccks=6604447, wck=47.099, mem=155M382
53.10/49.59 decisions=145904, wrong=71338, backtracks=47187, failedAssignments=39900, nogoods=2190, foundSolutions=15, bestBound=65
53.10/49.59 nFilterCalls=8920517, avgTableProportion=0.9982701795495473, avgTableSize=577.139889089388
53.10/49.59
53.30/49.70 num=352, depth=4..13, filters=2446161, revisions=(2092326,useless=1208647), ccks=6617767, wck=47.207, mem=155M382
53.30/49.70 decisions=146190, wrong=71478, backtracks=47286, failedAssignments=39974, nogoods=2195, foundSolutions=15, bestBound=65
53.30/49.70 nFilterCalls=8939821, avgTableProportion=0.9982701797578285, avgTableSize=577.1399613034757
53.30/49.70
53.40/49.81 num=353, depth=1..12, filters=2451755, revisions=(2096948,useless=1211492), ccks=6630935, wck=47.315, mem=155M382
53.40/49.81 decisions=146473, wrong=71617, backtracks=47383, failedAssignments=40055, nogoods=2200, foundSolutions=15, bestBound=65
53.40/49.81 nFilterCalls=8957888, avgTableProportion=0.9982701799041961, avgTableSize=577.1400120206906
53.40/49.81
53.50/49.93 num=354, depth=3..15, filters=2458250, revisions=(2102086,useless=1214439), ccks=6647484, wck=47.435, mem=157M973
53.50/49.93 decisions=146823, wrong=71790, backtracks=47509, failedAssignments=40144, nogoods=2205, foundSolutions=15, bestBound=65
53.50/49.93 nFilterCalls=8982320, avgTableProportion=0.9982701800640424, avgTableSize=577.1400673768024
53.50/49.93
53.61/50.03 num=355, depth=3..18, filters=2464436, revisions=(2107596,useless=1217646), ccks=6662790, wck=47.539, mem=157M973
53.61/50.03 decisions=147186, wrong=71969, backtracks=47627, failedAssignments=40242, nogoods=2215, foundSolutions=15, bestBound=65
53.61/50.03 nFilterCalls=9002952, avgTableProportion=0.9982701799615213, avgTableSize=577.1400316251825
53.61/50.03
53.71/50.18 num=356, depth=2..13, filters=2471129, revisions=(2113377,useless=1221120), ccks=6680910, wck=47.683, mem=157M973
53.71/50.18 decisions=147576, wrong=72162, backtracks=47763, failedAssignments=40350, nogoods=2227, foundSolutions=15, bestBound=65
53.71/50.18 nFilterCalls=9027187, avgTableProportion=0.9982701799767706, avgTableSize=577.1400367578516
53.71/50.18
53.80/50.29 num=357, depth=3..11, filters=2477659, revisions=(2119132,useless=1224477), ccks=6697486, wck=47.802, mem=160M548
53.80/50.29 decisions=147972, wrong=72358, backtracks=47896, failedAssignments=40469, nogoods=2233, foundSolutions=15, bestBound=65
53.80/50.29 nFilterCalls=9049876, avgTableProportion=0.9982701798447814, avgTableSize=577.1399907578844
53.80/50.29
54.00/50.48 num=358, depth=2..10, filters=2486243, revisions=(2126653,useless=1229156), ccks=6720867, wck=47.991, mem=160M548
54.00/50.48 decisions=148451, wrong=72595, backtracks=48063, failedAssignments=40600, nogoods=2238, foundSolutions=15, bestBound=65
54.00/50.48 nFilterCalls=9082290, avgTableProportion=0.9982701801777092, avgTableSize=577.1401061846736
54.00/50.48
54.21/50.67 num=359, depth=5..18, filters=2495775, revisions=(2133716,useless=1233328), ccks=6745347, wck=48.179, mem=160M548
54.21/50.67 decisions=148953, wrong=72842, backtracks=48236, failedAssignments=40744, nogoods=2243, foundSolutions=15, bestBound=65
54.21/50.67 nFilterCalls=9117326, avgTableProportion=0.9982701815141285, avgTableSize=577.1405701627867
54.21/50.67
54.44/50.90 num=360, depth=4..16, filters=2506476, revisions=(2142275,useless=1238598), ccks=6773021, wck=48.403, mem=31M110
54.44/50.90 decisions=149536, wrong=73130, backtracks=48427, failedAssignments=40902, nogoods=2251, foundSolutions=15, bestBound=65
54.44/50.90 nFilterCalls=9157072, avgTableProportion=0.9982701812293839, avgTableSize=577.1404709933481
54.44/50.90
54.75/51.18 num=361, depth=2..12, filters=2519367, revisions=(2152874,useless=1245116), ccks=6804227, wck=48.692, mem=31M110
54.75/51.18 decisions=150203, wrong=73462, backtracks=48673, failedAssignments=41076, nogoods=2262, foundSolutions=15, bestBound=65
54.75/51.18 nFilterCalls=9204586, avgTableProportion=0.9982701810228061, avgTableSize=577.1403989272304
54.75/51.18
54.94/51.37 num=362, depth=2..14, filters=2529842, revisions=(2162505,useless=1250573), ccks=6831841, wck=48.878, mem=33M719
54.94/51.37 decisions=150862, wrong=73789, backtracks=48885, failedAssignments=41267, nogoods=2275, foundSolutions=15, bestBound=65
54.94/51.37 nFilterCalls=9239822, avgTableProportion=0.9982701807794689, avgTableSize=577.1403141748834
54.94/51.37
55.24/51.63 num=363, depth=3..17, filters=2543363, revisions=(2172683,useless=1256746), ccks=6866896, wck=49.142, mem=33M719
55.24/51.63 decisions=151631, wrong=74171, backtracks=49155, failedAssignments=41478, nogoods=2281, foundSolutions=15, bestBound=65
55.24/51.63 nFilterCalls=9296520, avgTableProportion=0.9982701808490982, avgTableSize=577.1403379974442
55.24/51.63
55.54/51.92 num=364, depth=2..14, filters=2556522, revisions=(2184715,useless=1264197), ccks=6904413, wck=49.428, mem=36M328
55.54/51.92 decisions=152485, wrong=74595, backtracks=49448, failedAssignments=41710, nogoods=2288, foundSolutions=15, bestBound=65
55.54/51.92 nFilterCalls=9345567, avgTableProportion=0.9982701803324201, avgTableSize=577.1401582161895
55.54/51.92
55.94/52.34 num=365, depth=2..13, filters=2574864, revisions=(2198535,useless=1272824), ccks=6944820, wck=49.853, mem=38M937
55.94/52.34 decisions=153415, wrong=75058, backtracks=49765, failedAssignments=41965, nogoods=2299, foundSolutions=15, bestBound=65
55.94/52.34 nFilterCalls=9422460, avgTableProportion=0.9982701815879744, avgTableSize=577.1405938576551
55.94/52.34
56.24/52.65 num=366, depth=5..14, filters=2590669, revisions=(2211624,useless=1280733), ccks=6987951, wck=50.153, mem=38M937
56.24/52.65 decisions=154413, wrong=75553, backtracks=50097, failedAssignments=42246, nogoods=2307, foundSolutions=15, bestBound=65
56.24/52.65 nFilterCalls=9481129, avgTableProportion=0.9982701815305635, avgTableSize=577.1405735540567
56.24/52.65
56.75/53.15 num=367, depth=1..14, filters=2614222, revisions=(2232154,useless=1293332), ccks=7048813, wck=50.657, mem=41M546
56.75/53.15 decisions=155634, wrong=76162, backtracks=50536, failedAssignments=42555, nogoods=2313, foundSolutions=15, bestBound=65
56.75/53.15 nFilterCalls=9563875, avgTableProportion=0.9982701826524316, avgTableSize=577.1409627373841
56.75/53.15
57.14/53.52 num=368, depth=3..15, filters=2633539, revisions=(2249413,useless=1304003), ccks=7101148, wck=51.026, mem=44M155
57.14/53.52 decisions=156774, wrong=76729, backtracks=50910, failedAssignments=42895, nogoods=2328, foundSolutions=15, bestBound=65
57.14/53.52 nFilterCalls=9630259, avgTableProportion=0.9982701825888021, avgTableSize=577.1409402384712
57.14/53.52
57.65/54.02 num=369, depth=1..14, filters=2657373, revisions=(2270400,useless=1316829), ccks=7167161, wck=51.531, mem=46M764
57.65/54.02 decisions=158162, wrong=77420, backtracks=51378, failedAssignments=43269, nogoods=2341, foundSolutions=15, bestBound=65
57.65/54.02 nFilterCalls=9711516, avgTableProportion=0.9982701830691172, avgTableSize=577.1411065996288
57.65/54.02
58.24/54.63 num=370, depth=0..14, filters=2685530, revisions=(2294071,useless=1331450), ccks=7240210, wck=52.133, mem=49M373
58.24/54.63 decisions=159734, wrong=78203, backtracks=51940, failedAssignments=43680, nogoods=2351, foundSolutions=15, bestBound=65
58.24/54.63 nFilterCalls=9811201, avgTableProportion=0.99827018326115, avgTableSize=577.1411727269679
58.24/54.63
58.65/55.10 num=371, depth=1..17, filters=2710730, revisions=(2316910,useless=1344445), ccks=7306892, wck=52.607, mem=54M591
58.65/55.10 decisions=161296, wrong=78982, backtracks=52435, failedAssignments=44132, nogoods=2359, foundSolutions=15, bestBound=65
58.65/55.10 nFilterCalls=9899732, avgTableProportion=0.9982701827379331, avgTableSize=577.1409904833787
58.65/55.10
59.34/55.80 num=372, depth=1..16, filters=2742740, revisions=(2343670,useless=1360228), ccks=7389302, wck=53.304, mem=57M200
59.34/55.80 decisions=163136, wrong=79900, backtracks=53095, failedAssignments=44629, nogoods=2367, foundSolutions=15, bestBound=65
59.34/55.80 nFilterCalls=10014078, avgTableProportion=0.9982701823250065, avgTableSize=577.140846416415
59.34/55.80
60.14/56.56 num=373, depth=2..14, filters=2778980, revisions=(2373569,useless=1378771), ccks=7478272, wck=54.072, mem=59M809
60.14/56.56 decisions=165172, wrong=80916, backtracks=53809, failedAssignments=45176, nogoods=2381, foundSolutions=15, bestBound=65
60.14/56.56 nFilterCalls=10147182, avgTableProportion=0.9982701833481094, avgTableSize=577.1412010743476
60.14/56.56
61.04/57.44 num=374, depth=0..12, filters=2820858, revisions=(2409288,useless=1400122), ccks=7587445, wck=54.952, mem=65M27
61.04/57.44 decisions=167348, wrong=82002, backtracks=54560, failedAssignments=45778, nogoods=2383, foundSolutions=15, bestBound=65
61.04/57.44 nFilterCalls=10292427, avgTableProportion=0.9982701833282868, avgTableSize=577.1411934230867
61.04/57.44
61.94/58.32 num=375, depth=1..14, filters=2860791, revisions=(2443553,useless=1420493), ccks=7702238, wck=55.823, mem=70M244
61.94/58.32 decisions=169669, wrong=83161, backtracks=55337, failedAssignments=46440, nogoods=2390, foundSolutions=15, bestBound=65
61.94/58.32 nFilterCalls=10435022, avgTableProportion=0.9982701830397493, avgTableSize=577.1410924672704
61.94/58.32
63.04/59.40 num=376, depth=0..15, filters=2911891, revisions=(2488659,useless=1448769), ccks=7833990, wck=56.911, mem=75M462
63.04/59.40 decisions=172509, wrong=84578, backtracks=56363, failedAssignments=47168, nogoods=2398, foundSolutions=15, bestBound=65
63.04/59.40 nFilterCalls=10614359, avgTableProportion=0.9982701830856854, avgTableSize=577.1411075317878
63.04/59.40
64.04/60.47 num=377, depth=3..13, filters=2965630, revisions=(2533868,useless=1476302), ccks=7977489, wck=57.981, mem=80M680
64.04/60.47 decisions=175473, wrong=86058, backtracks=57381, failedAssignments=47969, nogoods=2411, foundSolutions=15, bestBound=65
64.04/60.47 nFilterCalls=10794282, avgTableProportion=0.9982701835385112, avgTableSize=577.1412639580844
64.04/60.47
65.24/61.68 num=378, depth=1..17, filters=3022904, revisions=(2580828,useless=1505396), ccks=8119824, wck=59.188, mem=85M898
65.24/61.68 decisions=178643, wrong=87640, backtracks=58488, failedAssignments=48850, nogoods=2425, foundSolutions=15, bestBound=65
65.24/61.68 nFilterCalls=10996798, avgTableProportion=0.9982701850205626, avgTableSize=577.1417778156878
65.24/61.68
66.75/63.16 num=379, depth=0..13, filters=3090211, revisions=(2635987,useless=1539137), ccks=8295488, wck=60.67, mem=93M725
66.75/63.16 decisions=182126, wrong=89379, backtracks=59688, failedAssignments=49820, nogoods=2438, foundSolutions=15, bestBound=65
66.75/63.16 nFilterCalls=11248126, avgTableProportion=0.9982701853601637, avgTableSize=577.1418946587191
66.75/63.16
68.44/64.84 num=380, depth=0..14, filters=3168557, revisions=(2700534,useless=1580487), ccks=8485039, wck=62.344, mem=101M552
68.44/64.84 decisions=186306, wrong=91468, backtracks=61205, failedAssignments=50887, nogoods=2444, foundSolutions=15, bestBound=65
68.44/64.84 nFilterCalls=11522113, avgTableProportion=0.9982701866841971, avgTableSize=577.1423534034078
68.44/64.84
70.24/66.68 num=381, depth=0..14, filters=3258007, revisions=(2774296,useless=1627322), ccks=8710435, wck=64.191, mem=111M987
70.24/66.68 decisions=190818, wrong=93722, backtracks=62805, failedAssignments=52060, nogoods=2450, foundSolutions=15, bestBound=65
70.24/66.68 nFilterCalls=11830047, avgTableProportion=0.9982701866891283, avgTableSize=577.142353872305
70.24/66.68
72.34/68.70 num=382, depth=0..13, filters=3351173, revisions=(2849003,useless=1676709), ccks=8930513, wck=66.206, mem=122M423
72.34/68.70 decisions=195597, wrong=96109, backtracks=64471, failedAssignments=53351, nogoods=2459, foundSolutions=15, bestBound=65
72.34/68.70 nFilterCalls=12161232, avgTableProportion=0.9982701865967921, avgTableSize=577.1423205313409
72.34/68.70
74.54/70.99 num=383, depth=0..15, filters=3459779, revisions=(2935823,useless=1735236), ccks=9177446, wck=68.495, mem=130M250
74.54/70.99 decisions=200851, wrong=98734, backtracks=66352, failedAssignments=54771, nogoods=2464, foundSolutions=15, bestBound=65
74.54/70.99 nFilterCalls=12538236, avgTableProportion=0.9982701874825496, avgTableSize=577.1426268416068
74.54/70.99
75.54/71.91
75.54/71.91 New Bounds: 66..65
75.54/71.91 num=384, depth=0..12, filters=3503046, revisions=(2966266,useless=1756035), ccks=9256840, wck=69.42, mem=136M327
75.54/71.91 decisions=202611, wrong=99615, backtracks=67025, failedAssignments=55223, foundSolutions=15, bestBound=65
75.54/71.91 nFilterCalls=12688911, avgTableProportion=0.9982701875543168, avgTableSize=577.1426512487951
75.54/71.91
75.54/71.91 Global
75.54/71.91 filters=3503046, revisions=(2966266,useless=1756035), ccks=9256840
75.54/71.91 Stop=FULL_EXPLORATION, wrong=99615, bestBound=65, bestBoundWck=44.838, bestBoundCpu=46.614, foundSolutions=15, firstSolCpu=2.483
75.54/71.91 wck=70.057, cpu=71.817, mem=136M327
75.54/71.91
75.54/71.91 v <instantiation id='sol15' type='solution' cost='65'> <list> s[] p[] g[] </list> <values> 5 0 -1 8 3 10 1 6 7 4 15 12 17 14 9 16 11 22 13 -1 -1 -1 23 18 -1 0 19 -1 15 14 1 18 17 16 13 2 5 6 11 12 3 4 7 10 -1 -1 -1 8 9 -1 5 1 0 6 8 -2 1 8 6 -4 0 4 4 4 7 2 4 0 6 0 0 0 7 -2 0 </values> </instantiation>
75.54/71.91 s OPTIMUM FOUND
75.54/71.91
75.54/71.91 d WRONG_DECISIONS 99615
75.54/71.91 d NUMBER_SOLUTIONS 15