2.38/1.88
2.38/1.88 AbsCon 2
2.38/1.90
3.52/2.21 Instance
3.52/2.21 name=instance-4390950-1568383073, framework=COP, bounds=-infty..+infty
3.52/2.21
3.52/2.21 Loading variables...
3.52/2.24 Loading constraints...
4.15/2.46
4.15/2.46 Domains
4.15/2.46 nTypes=25, nValues=1414, sizes=[4#15,5#6,6#4,26#50]
4.15/2.46 Variables
4.15/2.46 count=75, degrees=[2#25,26#24,27#1,28#25]
4.15/2.46 Objectives
4.15/2.46 way=max, type=SumSimpleGE
4.15/2.46 Constraints
4.15/2.46 count=102, nSpecific=51, arities=[1#1,2#50,25#26,26#25]
4.15/2.46 distribution=[AtMost1#25,CtrExtensionCT-Table#25,CtrExtensionV-Bits#25,CtrIntension#26,SumSimpleGE#1]
4.15/2.46 tables=[577#24,602#1], nTotalTuples=14450
4.15/2.46 nExtStructures=(50,shared:0), nIntStructures=(2,shared:24), nCftStructures=(26,shared:24,unbuilt:52)
4.15/2.46 wck=0.606, cpu=2.414, mem=92M764
4.15/2.46 Solver SolverBacktrack being built...
4.15/2.46
4.15/2.48
4.15/2.48 Solver
4.15/2.48 guaranteedGAC=true
4.15/2.48 wck=0.635, cpu=2.442, mem=103M406
4.15/2.49
4.15/2.49 Preprocessing
4.15/2.49 filters=27, revisions=(51,useless=48), ccks=752, nACremovedValues=51, nTotalRemovedValues=51, inconcistency=false
4.15/2.49 wck=0.007, cpu=2.451, mem=103M406
4.15/2.49
4.45/2.52 o -1000
4.45/2.52 num=0, depth=76..74, filters=383, revisions=(699,useless=617), ccks=1455, wck=0.038, mem=103M406
4.45/2.52 decisions=24, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.45/2.52 nFilterCalls=675, avgTableProportion=0.9982697766543618, avgTableSize=577.0
4.45/2.52
4.45/2.55 num=1, depth=18..22, filters=1101, revisions=(1273,useless=979), ccks=3557, wck=0.065, mem=103M406
4.45/2.55 decisions=79, wrong=17, backtracks=8, failedAssignments=11, nogoods=3, foundSolutions=1, bestBound=-1000
4.45/2.55 nFilterCalls=5152, avgTableProportion=0.9982698733257639, avgTableSize=577.0335791925465
4.45/2.55
4.45/2.58 num=2, depth=18..21, filters=1541, revisions=(1682,useless=1230), ccks=4583, wck=0.092, mem=103M406
4.45/2.58 decisions=126, wrong=31, backtracks=13, failedAssignments=22, nogoods=11, foundSolutions=1, bestBound=-1000
4.45/2.58 nFilterCalls=7788, avgTableProportion=0.9982699289541491, avgTableSize=577.0529019003595
4.45/2.58
4.45/2.59 num=3, depth=14..18, filters=2062, revisions=(2145,useless=1461), ccks=5898, wck=0.108, mem=106M49
4.45/2.59 decisions=181, wrong=51, backtracks=21, failedAssignments=34, nogoods=18, foundSolutions=1, bestBound=-1000
4.45/2.59 nFilterCalls=9881, avgTableProportion=0.9982700225604303, avgTableSize=577.0854164558243
4.45/2.59
4.77/2.61 num=4, depth=14..20, filters=2735, revisions=(2773,useless=1816), ccks=7989, wck=0.127, mem=106M49
4.77/2.61 decisions=245, wrong=76, backtracks=40, failedAssignments=47, nogoods=22, foundSolutions=1, bestBound=-1000
4.77/2.61 nFilterCalls=12791, avgTableProportion=0.9982700318868891, avgTableSize=577.0886560863107
4.77/2.61
4.77/2.63 num=5, depth=16..19, filters=3297, revisions=(3326,useless=2104), ccks=10614, wck=0.144, mem=106M49
4.77/2.63 decisions=300, wrong=95, backtracks=48, failedAssignments=61, nogoods=27, foundSolutions=1, bestBound=-1000
4.77/2.63 nFilterCalls=15035, avgTableProportion=0.9982700475988837, avgTableSize=577.0941137346192
4.77/2.63
4.77/2.65 num=6, depth=14..20, filters=4106, revisions=(3984,useless=2495), ccks=13524, wck=0.166, mem=106M49
4.77/2.65 decisions=366, wrong=121, backtracks=66, failedAssignments=77, nogoods=28, foundSolutions=1, bestBound=-1000
4.77/2.65 nFilterCalls=19046, avgTableProportion=0.9982700531174584, avgTableSize=577.0960306626063
4.77/2.65
4.77/2.68 num=7, depth=14..20, filters=4977, revisions=(4772,useless=2945), ccks=16894, wck=0.192, mem=106M49
4.77/2.68 decisions=451, wrong=156, backtracks=89, failedAssignments=94, nogoods=31, foundSolutions=1, bestBound=-1000
4.77/2.68 nFilterCalls=23350, avgTableProportion=0.9982700232413732, avgTableSize=577.0856531049251
4.77/2.68
5.08/2.70 num=8, depth=15..20, filters=6123, revisions=(5682,useless=3543), ccks=20235, wck=0.216, mem=106M49
5.08/2.70 decisions=534, wrong=190, backtracks=108, failedAssignments=113, nogoods=36, foundSolutions=1, bestBound=-1000
5.08/2.70 nFilterCalls=29630, avgTableProportion=0.9982700069276887, avgTableSize=577.0799865001687
5.08/2.70
5.08/2.73 num=9, depth=16..22, filters=7773, revisions=(6749,useless=4308), ccks=23686, wck=0.24, mem=106M49
5.08/2.73 decisions=624, wrong=226, backtracks=132, failedAssignments=134, nogoods=38, foundSolutions=1, bestBound=-1000
5.08/2.73 nFilterCalls=39060, avgTableProportion=0.9982700817915914, avgTableSize=577.1059907834101
5.08/2.73
5.08/2.75 num=10, depth=15..20, filters=9144, revisions=(7835,useless=5039), ccks=27594, wck=0.265, mem=106M49
5.08/2.75 decisions=721, wrong=267, backtracks=159, failedAssignments=157, nogoods=39, foundSolutions=1, bestBound=-1000
5.08/2.75 nFilterCalls=46307, avgTableProportion=0.9982700653093681, avgTableSize=577.100265618589
5.08/2.75
5.08/2.78 num=11, depth=13..21, filters=11046, revisions=(9505,useless=6242), ccks=32138, wck=0.3, mem=106M49
5.08/2.78 decisions=835, wrong=317, backtracks=190, failedAssignments=182, nogoods=42, foundSolutions=1, bestBound=-1000
5.08/2.78 nFilterCalls=56216, avgTableProportion=0.9982700562176786, avgTableSize=577.0971075850292
5.08/2.78
5.39/2.80 num=12, depth=16..21, filters=12256, revisions=(10630,useless=6985), ccks=36693, wck=0.315, mem=106M49
5.39/2.80 decisions=935, wrong=359, backtracks=209, failedAssignments=210, nogoods=44, foundSolutions=1, bestBound=-1000
5.39/2.80 nFilterCalls=60610, avgTableProportion=0.9982700766093902, avgTableSize=577.1041907276027
5.39/2.80
5.39/2.82 num=13, depth=16..23, filters=13931, revisions=(12157,useless=7984), ccks=42354, wck=0.338, mem=106M49
5.39/2.82 decisions=1070, wrong=418, backtracks=245, failedAssignments=241, nogoods=46, foundSolutions=1, bestBound=-1000
5.39/2.82 nFilterCalls=67986, avgTableProportion=0.9982700842523001, avgTableSize=577.1068455270203
5.39/2.82
5.39/2.84 num=14, depth=14..20, filters=15342, revisions=(13563,useless=8955), ccks=48320, wck=0.357, mem=106M49
5.39/2.84 decisions=1185, wrong=467, backtracks=263, failedAssignments=275, nogoods=49, foundSolutions=1, bestBound=-1000
5.39/2.84 nFilterCalls=73728, avgTableProportion=0.9982700811086629, avgTableSize=577.1057535807291
5.39/2.84
5.39/2.85 o 10
5.39/2.85 num=15, depth=19..74, filters=15850, revisions=(14321,useless=9595), ccks=49348, wck=0.364, mem=106M49
5.39/2.85 decisions=1218, wrong=472, backtracks=266, failedAssignments=277, nogoods=50, foundSolutions=2, bestBound=10
5.39/2.85 nFilterCalls=75226, avgTableProportion=0.9982700760792427, avgTableSize=577.104006593465
5.39/2.85
5.67/2.90 num=16, depth=9..16, filters=17746, revisions=(15858,useless=10385), ccks=56316, wck=0.414, mem=108M691
5.67/2.90 decisions=1371, wrong=544, backtracks=309, failedAssignments=318, nogoods=54, foundSolutions=2, bestBound=10
5.67/2.90 nFilterCalls=83415, avgTableProportion=0.9982700677715746, avgTableSize=577.1011209015165
5.67/2.90
5.67/2.91 num=17, depth=18..21, filters=18267, revisions=(16255,useless=10601), ccks=58147, wck=0.422, mem=108M691
5.67/2.91 decisions=1423, wrong=561, backtracks=317, failedAssignments=329, nogoods=59, foundSolutions=2, bestBound=10
5.67/2.91 nFilterCalls=86554, avgTableProportion=0.9982700634004014, avgTableSize=577.0996025602514
5.67/2.91
5.67/2.92 num=18, depth=13..20, filters=19049, revisions=(16837,useless=10907), ccks=61190, wck=0.437, mem=108M691
5.67/2.92 decisions=1492, wrong=589, backtracks=336, failedAssignments=341, nogoods=60, foundSolutions=2, bestBound=10
5.67/2.92 nFilterCalls=91000, avgTableProportion=0.9982700661263982, avgTableSize=577.1005494505495
5.67/2.92
5.67/2.93 num=19, depth=15..18, filters=19789, revisions=(17379,useless=11205), ccks=63564, wck=0.448, mem=108M691
5.67/2.93 decisions=1555, wrong=612, backtracks=349, failedAssignments=354, nogoods=65, foundSolutions=2, bestBound=10
5.67/2.93 nFilterCalls=94929, avgTableProportion=0.9982700608477156, avgTableSize=577.0987158823963
5.67/2.93
5.67/2.94 num=20, depth=15..20, filters=20412, revisions=(17895,useless=11481), ccks=65879, wck=0.459, mem=108M691
5.67/2.94 decisions=1614, wrong=634, backtracks=363, failedAssignments=368, nogoods=69, foundSolutions=2, bestBound=10
5.67/2.94 nFilterCalls=98064, avgTableProportion=0.9982700573402499, avgTableSize=577.0974975526187
5.67/2.94
5.67/2.96 num=21, depth=15..19, filters=21227, revisions=(18476,useless=11802), ccks=68653, wck=0.471, mem=108M691
5.67/2.96 decisions=1681, wrong=660, backtracks=374, failedAssignments=384, nogoods=75, foundSolutions=2, bestBound=10
5.67/2.96 nFilterCalls=102237, avgTableProportion=0.9982700543875483, avgTableSize=577.0964719230807
5.67/2.96
5.67/2.97 num=22, depth=14..20, filters=22244, revisions=(19212,useless=12185), ccks=72237, wck=0.484, mem=108M691
5.67/2.97 decisions=1763, wrong=692, backtracks=391, failedAssignments=401, nogoods=78, foundSolutions=2, bestBound=10
5.67/2.97 nFilterCalls=107759, avgTableProportion=0.9982700702911907, avgTableSize=577.1019961209737
5.67/2.97
5.67/2.98 num=23, depth=16..20, filters=23369, revisions=(19955,useless=12646), ccks=75091, wck=0.5, mem=108M691
5.67/2.98 decisions=1841, wrong=723, backtracks=408, failedAssignments=420, nogoods=81, foundSolutions=2, bestBound=10
5.67/2.98 nFilterCalls=113948, avgTableProportion=0.9982700754641074, avgTableSize=577.1037929581914
5.67/2.98
5.87/3.01 num=24, depth=14..19, filters=24660, revisions=(20877,useless=13192), ccks=79055, wck=0.523, mem=108M691
5.87/3.01 decisions=1928, wrong=759, backtracks=430, failedAssignments=441, nogoods=84, foundSolutions=2, bestBound=10
5.87/3.01 nFilterCalls=120494, avgTableProportion=0.9982700712726603, avgTableSize=577.102337045828
5.87/3.01
5.87/3.03 num=25, depth=15..20, filters=25917, revisions=(21750,useless=13676), ccks=82857, wck=0.54, mem=108M691
5.87/3.03 decisions=2015, wrong=795, backtracks=451, failedAssignments=464, nogoods=90, foundSolutions=2, bestBound=10
5.87/3.03 nFilterCalls=126520, avgTableProportion=0.9982700805409709, avgTableSize=577.1055564337654
5.87/3.03
5.87/3.03 o 12
5.87/3.04 num=26, depth=14..74, filters=26636, revisions=(22317,useless=13949), ccks=85498, wck=0.55, mem=108M691
5.87/3.04 decisions=2088, wrong=821, backtracks=466, failedAssignments=481, nogoods=93, foundSolutions=3, bestBound=12
5.87/3.04 nFilterCalls=129980, avgTableProportion=0.998270088841795, avgTableSize=577.1084397599631
5.87/3.04
5.87/3.07 num=27, depth=12..17, filters=28135, revisions=(23628,useless=14692), ccks=91005, wck=0.582, mem=108M691
5.87/3.07 decisions=2197, wrong=869, backtracks=498, failedAssignments=509, nogoods=98, foundSolutions=3, bestBound=12
5.87/3.07 nFilterCalls=136491, avgTableProportion=0.9982700879548541, avgTableSize=577.1081316716853
5.87/3.07
5.87/3.08 num=28, depth=15..19, filters=28733, revisions=(24130,useless=14937), ccks=93019, wck=0.592, mem=108M691
5.87/3.08 decisions=2249, wrong=886, backtracks=507, failedAssignments=520, nogoods=101, foundSolutions=3, bestBound=12
5.87/3.08 nFilterCalls=139351, avgTableProportion=0.9982700922053988, avgTableSize=577.1096081118901
5.87/3.08
5.87/3.09 num=29, depth=16..20, filters=29504, revisions=(24691,useless=15238), ccks=95362, wck=0.603, mem=108M691
5.87/3.09 decisions=2309, wrong=908, backtracks=520, failedAssignments=532, nogoods=104, foundSolutions=3, bestBound=12
5.87/3.09 nFilterCalls=143182, avgTableProportion=0.9982700952031353, avgTableSize=577.1106493833024
5.87/3.09
5.87/3.10 num=30, depth=15..20, filters=30077, revisions=(25214,useless=15509), ccks=97545, wck=0.612, mem=108M691
5.87/3.10 decisions=2367, wrong=929, backtracks=534, failedAssignments=545, nogoods=106, foundSolutions=3, bestBound=12
5.87/3.10 nFilterCalls=145720, avgTableProportion=0.9982700918677007, avgTableSize=577.1094908042821
5.87/3.10
5.87/3.10 o 26
5.87/3.10 num=31, depth=17..74, filters=30378, revisions=(25467,useless=15628), ccks=98832, wck=0.618, mem=108M691
5.87/3.10 decisions=2404, wrong=937, backtracks=540, failedAssignments=549, nogoods=108, foundSolutions=4, bestBound=26
5.87/3.10 nFilterCalls=147160, avgTableProportion=0.9982700938696617, avgTableSize=577.1101861919
5.87/3.10
6.00/3.12 o 39
6.00/3.13 num=32, depth=9..74, filters=31313, revisions=(26259,useless=16069), ccks=101719, wck=0.64, mem=108M691
6.00/3.13 decisions=2463, wrong=960, backtracks=552, failedAssignments=564, nogoods=117, foundSolutions=5, bestBound=39
6.00/3.13 nFilterCalls=151282, avgTableProportion=0.9982700938470754, avgTableSize=577.1101783424333
6.00/3.13
6.00/3.15 num=33, depth=9..14, filters=32004, revisions=(26925,useless=16487), ccks=103674, wck=0.661, mem=111M334
6.00/3.15 decisions=2508, wrong=977, backtracks=563, failedAssignments=575, nogoods=120, foundSolutions=5, bestBound=39
6.00/3.15 nFilterCalls=154759, avgTableProportion=0.998270097379888, avgTableSize=577.1114054756105
6.00/3.15
6.00/3.15 o 44
6.00/3.15 num=34, depth=18..74, filters=32259, revisions=(27165,useless=16603), ccks=104746, wck=0.667, mem=111M334
6.00/3.15 decisions=2544, wrong=985, backtracks=566, failedAssignments=582, nogoods=125, foundSolutions=6, bestBound=44
6.00/3.15 nFilterCalls=156059, avgTableProportion=0.9982701007036415, avgTableSize=577.1125599933358
6.00/3.15
6.00/3.16 num=35, depth=9..13, filters=32929, revisions=(27880,useless=17015), ccks=106628, wck=0.68, mem=111M334
6.00/3.16 decisions=2594, wrong=1005, backtracks=576, failedAssignments=594, nogoods=129, foundSolutions=6, bestBound=44
6.00/3.16 nFilterCalls=158120, avgTableProportion=0.9982700994658157, avgTableSize=577.112130027827
6.00/3.16
6.00/3.17 num=36, depth=13..16, filters=33620, revisions=(28427,useless=17289), ccks=108489, wck=0.689, mem=111M334
6.00/3.17 decisions=2641, wrong=1022, backtracks=586, failedAssignments=605, nogoods=133, foundSolutions=6, bestBound=44
6.00/3.17 nFilterCalls=160243, avgTableProportion=0.9982700979198195, avgTableSize=577.1115930181038
6.00/3.17
6.00/3.19 num=37, depth=11..17, filters=34317, revisions=(29023,useless=17587), ccks=110551, wck=0.7, mem=111M334
6.00/3.19 decisions=2693, wrong=1042, backtracks=599, failedAssignments=617, nogoods=137, foundSolutions=6, bestBound=44
6.00/3.19 nFilterCalls=162881, avgTableProportion=0.9982700951381056, avgTableSize=577.1106267766038
6.00/3.19
6.11/3.20 num=38, depth=7..11, filters=35120, revisions=(29759,useless=17980), ccks=113021, wck=0.719, mem=111M334
6.11/3.20 decisions=2749, wrong=1066, backtracks=616, failedAssignments=630, nogoods=142, foundSolutions=6, bestBound=44
6.11/3.20 nFilterCalls=166148, avgTableProportion=0.9982700937793411, avgTableSize=577.1101548017431
6.11/3.20
6.11/3.22 num=39, depth=8..13, filters=35861, revisions=(30485,useless=18331), ccks=114879, wck=0.732, mem=111M334
6.11/3.22 decisions=2802, wrong=1088, backtracks=630, failedAssignments=644, nogoods=145, foundSolutions=6, bestBound=44
6.11/3.22 nFilterCalls=168560, avgTableProportion=0.9982700933063594, avgTableSize=577.1099905078311
6.11/3.22
6.11/3.23 num=40, depth=9..13, filters=36795, revisions=(31378,useless=18790), ccks=117931, wck=0.748, mem=111M334
6.11/3.23 decisions=2873, wrong=1119, backtracks=648, failedAssignments=660, nogoods=146, foundSolutions=6, bestBound=44
6.11/3.23 nFilterCalls=171885, avgTableProportion=0.9982700909494686, avgTableSize=577.1091718300027
6.11/3.23
6.11/3.25 num=41, depth=13..18, filters=37816, revisions=(32189,useless=19214), ccks=120503, wck=0.765, mem=111M334
6.11/3.25 decisions=2937, wrong=1144, backtracks=663, failedAssignments=677, nogoods=149, foundSolutions=6, bestBound=44
6.11/3.25 nFilterCalls=176043, avgTableProportion=0.9982700874835879, avgTableSize=577.1079679396511
6.11/3.25
6.11/3.26 num=42, depth=12..19, filters=38663, revisions=(32990,useless=19616), ccks=123364, wck=0.777, mem=111M334
6.11/3.26 decisions=3011, wrong=1174, backtracks=682, failedAssignments=696, nogoods=152, foundSolutions=6, bestBound=44
6.11/3.26 nFilterCalls=179451, avgTableProportion=0.9982700894736358, avgTableSize=577.1086591883021
6.11/3.26
6.11/3.29 num=43, depth=7..14, filters=39687, revisions=(33980,useless=20169), ccks=125909, wck=0.801, mem=111M334
6.11/3.29 decisions=3093, wrong=1211, backtracks=705, failedAssignments=717, nogoods=156, foundSolutions=6, bestBound=44
6.11/3.29 nFilterCalls=183985, avgTableProportion=0.9982700863181548, avgTableSize=577.1075631165584
6.11/3.29
6.21/3.31 num=44, depth=9..15, filters=40819, revisions=(34886,useless=20677), ccks=129107, wck=0.82, mem=111M334
6.21/3.31 decisions=3172, wrong=1246, backtracks=725, failedAssignments=740, nogoods=157, foundSolutions=6, bestBound=44
6.21/3.31 nFilterCalls=188074, avgTableProportion=0.9982700828154571, avgTableSize=577.1063464381042
6.21/3.31
6.21/3.33 num=45, depth=13..19, filters=42129, revisions=(36008,useless=21267), ccks=133170, wck=0.841, mem=111M334
6.21/3.33 decisions=3279, wrong=1293, backtracks=753, failedAssignments=765, nogoods=162, foundSolutions=6, bestBound=44
6.21/3.33 nFilterCalls=193299, avgTableProportion=0.9982700871992308, avgTableSize=577.1078691560742
6.21/3.33
6.21/3.35 num=46, depth=10..16, filters=43446, revisions=(37115,useless=21853), ccks=137324, wck=0.866, mem=111M334
6.21/3.35 decisions=3381, wrong=1339, backtracks=780, failedAssignments=793, nogoods=165, foundSolutions=6, bestBound=44
6.21/3.35 nFilterCalls=198447, avgTableProportion=0.9982700838870973, avgTableSize=577.1067186704762
6.21/3.35
6.21/3.37 num=47, depth=11..16, filters=45038, revisions=(38555,useless=22604), ccks=142547, wck=0.887, mem=111M334
6.21/3.37 decisions=3493, wrong=1389, backtracks=808, failedAssignments=824, nogoods=168, foundSolutions=6, bestBound=44
6.21/3.37 nFilterCalls=203370, avgTableProportion=0.9982700817866925, avgTableSize=577.1059890839357
6.21/3.37
6.32/3.40 num=48, depth=6..15, filters=46557, revisions=(39962,useless=23393), ccks=146903, wck=0.92, mem=111M334
6.32/3.40 decisions=3612, wrong=1441, backtracks=832, failedAssignments=858, nogoods=173, foundSolutions=6, bestBound=44
6.32/3.40 nFilterCalls=209592, avgTableProportion=0.9982700782639696, avgTableSize=577.1047654490629
6.32/3.40
6.32/3.44 num=49, depth=11..18, filters=48326, revisions=(41514,useless=24246), ccks=152555, wck=0.951, mem=113M976
6.32/3.44 decisions=3752, wrong=1505, backtracks=871, failedAssignments=895, nogoods=175, foundSolutions=6, bestBound=44
6.32/3.44 nFilterCalls=217299, avgTableProportion=0.9982700724421829, avgTableSize=577.1027432247732
6.32/3.44
6.32/3.49 num=50, depth=7..16, filters=50936, revisions=(43580,useless=25477), ccks=160068, wck=1.004, mem=113M976
6.32/3.49 decisions=3925, wrong=1586, backtracks=919, failedAssignments=936, nogoods=179, foundSolutions=6, bestBound=44
6.32/3.49 nFilterCalls=228912, avgTableProportion=0.9982700707927029, avgTableSize=577.1021702663032
6.32/3.49
6.42/3.54 num=51, depth=10..17, filters=53503, revisions=(45685,useless=26582), ccks=167939, wck=1.05, mem=113M976
6.42/3.54 decisions=4081, wrong=1659, backtracks=963, failedAssignments=981, nogoods=184, foundSolutions=6, bestBound=44
6.42/3.54 nFilterCalls=238429, avgTableProportion=0.998270069713805, avgTableSize=577.1017955030638
6.42/3.54
6.42/3.58 num=52, depth=7..13, filters=56167, revisions=(48040,useless=27885), ccks=174467, wck=1.093, mem=113M976
6.42/3.58 decisions=4249, wrong=1739, backtracks=1010, failedAssignments=1031, nogoods=187, foundSolutions=6, bestBound=44
6.42/3.58 nFilterCalls=246962, avgTableProportion=0.9982700699863497, avgTableSize=577.1018901693378
6.42/3.58
6.53/3.63 num=53, depth=8..16, filters=58957, revisions=(50538,useless=29252), ccks=182816, wck=1.142, mem=113M976
6.53/3.63 decisions=4439, wrong=1829, backtracks=1063, failedAssignments=1086, nogoods=194, foundSolutions=6, bestBound=44
6.53/3.63 nFilterCalls=257211, avgTableProportion=0.9982700661441857, avgTableSize=577.1005555749948
6.53/3.63
6.53/3.68 num=54, depth=10..18, filters=62398, revisions=(53463,useless=30835), ccks=193177, wck=1.193, mem=113M976
6.53/3.68 decisions=4676, wrong=1942, backtracks=1130, failedAssignments=1147, nogoods=204, foundSolutions=6, bestBound=44
6.53/3.68 nFilterCalls=269508, avgTableProportion=0.9982700729963788, avgTableSize=577.1029357199044
6.53/3.68
6.64/3.75 num=55, depth=5..12, filters=65746, revisions=(56559,useless=32459), ccks=203922, wck=1.264, mem=113M976
6.64/3.75 decisions=4918, wrong=2059, backtracks=1197, failedAssignments=1214, nogoods=208, foundSolutions=6, bestBound=44
6.64/3.75 nFilterCalls=281898, avgTableProportion=0.9982700687542971, avgTableSize=577.1014622310197
6.64/3.75
6.73/3.81 num=56, depth=10..18, filters=69917, revisions=(59943,useless=34314), ccks=215053, wck=1.327, mem=116M619
6.73/3.81 decisions=5188, wrong=2188, backtracks=1280, failedAssignments=1288, nogoods=213, foundSolutions=6, bestBound=44
6.73/3.81 nFilterCalls=297836, avgTableProportion=0.9982700795792397, avgTableSize=577.1052223371252
6.73/3.81
6.84/3.90 num=57, depth=7..16, filters=74269, revisions=(63868,useless=36507), ccks=229853, wck=1.412, mem=116M619
6.84/3.90 decisions=5484, wrong=2332, backtracks=1371, failedAssignments=1369, nogoods=221, foundSolutions=6, bestBound=44
6.84/3.90 nFilterCalls=314810, avgTableProportion=0.9982700724000401, avgTableSize=577.1027286299673
6.84/3.90
6.84/3.95 o 45
6.84/3.95 num=58, depth=10..74, filters=78007, revisions=(66858,useless=38175), ccks=240881, wck=1.469, mem=116M619
6.84/3.95 decisions=5741, wrong=2454, backtracks=1445, failedAssignments=1438, nogoods=228, foundSolutions=7, bestBound=45
6.84/3.95 nFilterCalls=329138, avgTableProportion=0.9982700861771351, avgTableSize=577.1075141733862
6.84/3.95
6.95/4.05 num=59, depth=6..16, filters=82842, revisions=(71134,useless=40580), ccks=254857, wck=1.561, mem=116M619
6.95/4.05 decisions=6063, wrong=2611, backtracks=1537, failedAssignments=1536, nogoods=240, foundSolutions=7, bestBound=45
6.95/4.05 nFilterCalls=344284, avgTableProportion=0.9982700955892975, avgTableSize=577.1107835391712
6.95/4.05
6.95/4.06 num=60, depth=7..13, filters=83461, revisions=(71700,useless=40877), ccks=256885, wck=1.573, mem=116M619
6.95/4.06 decisions=6104, wrong=2628, backtracks=1548, failedAssignments=1547, nogoods=243, foundSolutions=7, bestBound=45
6.95/4.06 nFilterCalls=346312, avgTableProportion=0.9982700945279748, avgTableSize=577.1104148859988
6.95/4.06
6.95/4.07 num=61, depth=9..13, filters=84003, revisions=(72223,useless=41154), ccks=258706, wck=1.583, mem=116M619
6.95/4.07 decisions=6149, wrong=2645, backtracks=1555, failedAssignments=1559, nogoods=250, foundSolutions=7, bestBound=45
6.95/4.07 nFilterCalls=348295, avgTableProportion=0.9982700938919011, avgTableSize=577.1101939447882
6.95/4.07
6.95/4.08 num=62, depth=11..16, filters=84790, revisions=(72918,useless=41521), ccks=261330, wck=1.596, mem=116M619
6.95/4.08 decisions=6211, wrong=2670, backtracks=1572, failedAssignments=1572, nogoods=253, foundSolutions=7, bestBound=45
6.95/4.08 nFilterCalls=351453, avgTableProportion=0.998270094047593, avgTableSize=577.1102480274745
6.95/4.08
6.95/4.09 num=63, depth=9..14, filters=85424, revisions=(73527,useless=41842), ccks=263739, wck=1.609, mem=116M619
6.95/4.09 decisions=6266, wrong=2693, backtracks=1583, failedAssignments=1586, nogoods=257, foundSolutions=7, bestBound=45
6.95/4.09 nFilterCalls=353862, avgTableProportion=0.9982700950679033, avgTableSize=577.1106024382386
6.95/4.09
7.06/4.11 num=64, depth=11..18, filters=86602, revisions=(74419,useless=42360), ccks=266513, wck=1.629, mem=116M619
7.06/4.11 decisions=6337, wrong=2723, backtracks=1602, failedAssignments=1602, nogoods=262, foundSolutions=7, bestBound=45
7.06/4.11 nFilterCalls=358743, avgTableProportion=0.9982700985118105, avgTableSize=577.1117986971175
7.06/4.11
7.06/4.13 num=65, depth=6..14, filters=87521, revisions=(75293,useless=42830), ccks=269002, wck=1.65, mem=119M261
7.06/4.13 decisions=6393, wrong=2748, backtracks=1617, failedAssignments=1619, nogoods=265, foundSolutions=7, bestBound=45
7.06/4.13 nFilterCalls=362457, avgTableProportion=0.9982700970882994, avgTableSize=577.1113042374682
7.06/4.13
7.06/4.15 num=66, depth=7..14, filters=88458, revisions=(76155,useless=43260), ccks=272269, wck=1.669, mem=119M261
7.06/4.15 decisions=6463, wrong=2778, backtracks=1635, failedAssignments=1638, nogoods=271, foundSolutions=7, bestBound=45
7.06/4.15 nFilterCalls=366237, avgTableProportion=0.9982700953138788, avgTableSize=577.1106878878977
7.06/4.15
7.06/4.17 num=67, depth=10..17, filters=89478, revisions=(76959,useless=43701), ccks=275208, wck=1.686, mem=119M261
7.06/4.17 decisions=6530, wrong=2806, backtracks=1648, failedAssignments=1659, nogoods=276, foundSolutions=7, bestBound=45
7.06/4.17 nFilterCalls=370262, avgTableProportion=0.9982700998195246, avgTableSize=577.1122529452118
7.06/4.17
7.06/4.19 num=68, depth=8..15, filters=90691, revisions=(78022,useless=44268), ccks=279398, wck=1.71, mem=119M261
7.06/4.19 decisions=6618, wrong=2845, backtracks=1674, failedAssignments=1682, nogoods=282, foundSolutions=7, bestBound=45
7.06/4.19 nFilterCalls=375270, avgTableProportion=0.9982700990894678, avgTableSize=577.1119993604605
7.06/4.19
7.15/4.22 num=69, depth=7..14, filters=91747, revisions=(79031,useless=44805), ccks=282927, wck=1.732, mem=119M261
7.15/4.22 decisions=6704, wrong=2884, backtracks=1695, failedAssignments=1707, nogoods=284, foundSolutions=7, bestBound=45
7.15/4.22 nFilterCalls=379536, avgTableProportion=0.998270097809137, avgTableSize=577.1115546351334
7.15/4.22
7.15/4.24 num=70, depth=10..18, filters=93053, revisions=(80128,useless=45352), ccks=288048, wck=1.756, mem=119M261
7.15/4.24 decisions=6798, wrong=2926, backtracks=1718, failedAssignments=1735, nogoods=287, foundSolutions=7, bestBound=45
7.15/4.24 nFilterCalls=384893, avgTableProportion=0.9982700966527699, avgTableSize=577.1111529697864
7.15/4.24
7.15/4.27 num=71, depth=7..15, filters=94616, revisions=(81549,useless=46088), ccks=293017, wck=1.785, mem=119M261
7.15/4.27 decisions=6915, wrong=2980, backtracks=1745, failedAssignments=1766, nogoods=293, foundSolutions=7, bestBound=45
7.15/4.27 nFilterCalls=390775, avgTableProportion=0.9982700960206428, avgTableSize=577.1109334015738
7.15/4.27
7.25/4.30 num=72, depth=10..16, filters=96558, revisions=(83229,useless=46951), ccks=299651, wck=1.815, mem=119M261
7.25/4.30 decisions=7055, wrong=3045, backtracks=1786, failedAssignments=1800, nogoods=298, foundSolutions=7, bestBound=45
7.25/4.30 nFilterCalls=397639, avgTableProportion=0.9982700934833951, avgTableSize=577.1100520824165
7.25/4.30
7.25/4.35 num=73, depth=6..15, filters=98539, revisions=(85027,useless=47946), ccks=306413, wck=1.863, mem=119M261
7.25/4.35 decisions=7189, wrong=3108, backtracks=1831, failedAssignments=1837, nogoods=303, foundSolutions=7, bestBound=45
7.25/4.35 nFilterCalls=406093, avgTableProportion=0.9982700943030411, avgTableSize=577.1103367947736
7.25/4.35
7.25/4.40 num=74, depth=9..17, filters=100819, revisions=(86803,useless=49063), ccks=312114, wck=1.911, mem=119M261
7.25/4.40 decisions=7355, wrong=3185, backtracks=1877, failedAssignments=1878, nogoods=310, foundSolutions=7, bestBound=45
7.25/4.40 nFilterCalls=416670, avgTableProportion=0.9982700971079852, avgTableSize=577.1113111095111
7.25/4.40
7.36/4.40 o 49
7.36/4.40 num=75, depth=10..74, filters=101005, revisions=(86978,useless=49153), ccks=312902, wck=1.916, mem=119M261
7.36/4.40 decisions=7369, wrong=3186, backtracks=1877, failedAssignments=1879, nogoods=311, foundSolutions=8, bestBound=49
7.36/4.40 nFilterCalls=417487, avgTableProportion=0.9982700977428031, avgTableSize=577.1115316165533
7.36/4.40
7.36/4.45 num=76, depth=7..13, filters=103527, revisions=(89250,useless=50460), ccks=319328, wck=1.967, mem=119M261
7.36/4.45 decisions=7530, wrong=3263, backtracks=1921, failedAssignments=1929, nogoods=318, foundSolutions=8, bestBound=49
7.36/4.45 nFilterCalls=425425, avgTableProportion=0.9982700979232163, avgTableSize=577.1115942880649
7.36/4.45
7.36/4.47 num=77, depth=10..16, filters=104339, revisions=(89878,useless=50807), ccks=321643, wck=1.982, mem=119M261
7.36/4.47 decisions=7580, wrong=3282, backtracks=1933, failedAssignments=1940, nogoods=323, foundSolutions=8, bestBound=49
7.36/4.47 nFilterCalls=428601, avgTableProportion=0.9982700982226315, avgTableSize=577.1116982928178
7.36/4.47
7.36/4.48 num=78, depth=11..14, filters=105062, revisions=(90451,useless=51078), ccks=323803, wck=1.993, mem=121M903
7.36/4.48 decisions=7623, wrong=3298, backtracks=1939, failedAssignments=1952, nogoods=330, foundSolutions=8, bestBound=49
7.36/4.48 nFilterCalls=430855, avgTableProportion=0.9982700970147645, avgTableSize=577.1112787364659
7.36/4.48
7.47/4.50 num=79, depth=7..12, filters=105966, revisions=(91144,useless=51486), ccks=326128, wck=2.015, mem=121M903
7.47/4.50 decisions=7679, wrong=3322, backtracks=1953, failedAssignments=1965, nogoods=333, foundSolutions=8, bestBound=49
7.47/4.50 nFilterCalls=434930, avgTableProportion=0.9982701021217625, avgTableSize=577.1130526751431
7.47/4.50
7.47/4.51 num=80, depth=10..14, filters=106758, revisions=(91798,useless=51831), ccks=328442, wck=2.029, mem=121M903
7.47/4.51 decisions=7740, wrong=3347, backtracks=1969, failedAssignments=1979, nogoods=338, foundSolutions=8, bestBound=49
7.47/4.51 nFilterCalls=437737, avgTableProportion=0.9982701024549464, avgTableSize=577.1131684093417
7.47/4.51
7.47/4.53 num=81, depth=5..9, filters=107433, revisions=(92451,useless=52185), ccks=330503, wck=2.047, mem=121M903
7.47/4.53 decisions=7794, wrong=3370, backtracks=1982, failedAssignments=1995, nogoods=345, foundSolutions=8, bestBound=49
7.47/4.53 nFilterCalls=440589, avgTableProportion=0.9982701016397569, avgTableSize=577.112885251334
7.47/4.53
7.47/4.55 num=82, depth=10..17, filters=108502, revisions=(93255,useless=52641), ccks=333181, wck=2.065, mem=121M903
7.47/4.55 decisions=7872, wrong=3403, backtracks=2002, failedAssignments=2012, nogoods=351, foundSolutions=8, bestBound=49
7.47/4.55 nFilterCalls=445505, avgTableProportion=0.998270105866339, avgTableSize=577.1143533742606
7.47/4.55
7.47/4.57 num=83, depth=7..14, filters=109412, revisions=(94119,useless=53091), ccks=336354, wck=2.084, mem=121M903
7.47/4.57 decisions=7940, wrong=3433, backtracks=2019, failedAssignments=2031, nogoods=357, foundSolutions=8, bestBound=49
7.47/4.57 nFilterCalls=449085, avgTableProportion=0.9982701062549124, avgTableSize=577.1144883485309
7.47/4.57
7.47/4.59 num=84, depth=11..17, filters=110590, revisions=(95173,useless=53682), ccks=339788, wck=2.106, mem=121M903
7.47/4.59 decisions=8027, wrong=3471, backtracks=2042, failedAssignments=2052, nogoods=365, foundSolutions=8, bestBound=49
7.47/4.59 nFilterCalls=453592, avgTableProportion=0.998270106584952, avgTableSize=577.1146029912344
7.47/4.59
7.58/4.62 num=85, depth=8..15, filters=112164, revisions=(96578,useless=54435), ccks=344790, wck=2.134, mem=121M903
7.58/4.62 decisions=8125, wrong=3514, backtracks=2066, failedAssignments=2075, nogoods=367, foundSolutions=8, bestBound=49
7.58/4.62 nFilterCalls=459238, avgTableProportion=0.998270106158357, avgTableSize=577.1144548142793
7.58/4.62
7.58/4.65 num=86, depth=5..11, filters=113519, revisions=(97833,useless=55159), ccks=348614, wck=2.167, mem=121M903
7.58/4.65 decisions=8213, wrong=3555, backtracks=2088, failedAssignments=2100, nogoods=371, foundSolutions=8, bestBound=49
7.58/4.65 nFilterCalls=465107, avgTableProportion=0.9982701060609515, avgTableSize=577.1144209826986
7.58/4.65
7.58/4.68 num=87, depth=10..17, filters=115166, revisions=(99201,useless=55916), ccks=353151, wck=2.19, mem=121M903
7.58/4.68 decisions=8311, wrong=3599, backtracks=2113, failedAssignments=2128, nogoods=379, foundSolutions=8, bestBound=49
7.58/4.68 nFilterCalls=470677, avgTableProportion=0.9982701080040117, avgTableSize=577.1150959150331
7.58/4.68
7.68/4.71 num=88, depth=9..16, filters=116815, revisions=(100631,useless=56663), ccks=358822, wck=2.222, mem=121M903
7.68/4.71 decisions=8428, wrong=3653, backtracks=2144, failedAssignments=2159, nogoods=388, foundSolutions=8, bestBound=49
7.68/4.71 nFilterCalls=476988, avgTableProportion=0.9982701068731126, avgTableSize=577.1147030952561
7.68/4.71
7.68/4.74 num=89, depth=9..14, filters=118688, revisions=(102254,useless=57590), ccks=364124, wck=2.252, mem=121M903
7.68/4.74 decisions=8558, wrong=3713, backtracks=2185, failedAssignments=2193, nogoods=395, foundSolutions=8, bestBound=49
7.68/4.74 nFilterCalls=483155, avgTableProportion=0.9982701094092221, avgTableSize=577.1155840258302
7.68/4.74
7.68/4.78 num=90, depth=6..12, filters=120801, revisions=(104144,useless=58534), ccks=370611, wck=2.299, mem=121M903
7.68/4.78 decisions=8690, wrong=3775, backtracks=2223, failedAssignments=2230, nogoods=402, foundSolutions=8, bestBound=49
7.68/4.78 nFilterCalls=490798, avgTableProportion=0.9982701072012875, avgTableSize=577.1148170937942
7.68/4.78
7.78/4.82 num=91, depth=8..15, filters=123330, revisions=(106349,useless=59704), ccks=377637, wck=2.34, mem=124M546
7.78/4.82 decisions=8853, wrong=3852, backtracks=2267, failedAssignments=2271, nogoods=410, foundSolutions=8, bestBound=49
7.78/4.82 nFilterCalls=498467, avgTableProportion=0.9982701076371443, avgTableSize=577.1149684934007
7.78/4.82
7.78/4.88 num=92, depth=8..14, filters=125909, revisions=(108574,useless=60898), ccks=385841, wck=2.396, mem=124M546
7.78/4.88 decisions=9019, wrong=3930, backtracks=2308, failedAssignments=2316, nogoods=416, foundSolutions=8, bestBound=49
7.78/4.88 nFilterCalls=508116, avgTableProportion=0.9982701058901782, avgTableSize=577.1143616811909
7.78/4.88
7.88/4.93 num=93, depth=8..18, filters=128849, revisions=(110732,useless=62192), ccks=393082, wck=2.445, mem=124M546
7.88/4.93 decisions=9202, wrong=4016, backtracks=2358, failedAssignments=2366, nogoods=421, foundSolutions=8, bestBound=49
7.88/4.93 nFilterCalls=520953, avgTableProportion=0.998270113460765, avgTableSize=577.1169913600651
7.88/4.93
7.88/4.99 num=94, depth=9..17, filters=132190, revisions=(113462,useless=63724), ccks=403067, wck=2.508, mem=124M546
7.88/4.99 decisions=9412, wrong=4115, backtracks=2419, failedAssignments=2421, nogoods=429, foundSolutions=8, bestBound=49
7.88/4.99 nFilterCalls=533952, avgTableProportion=0.9982701120062738, avgTableSize=577.1164861260937
7.88/4.99
8.01/5.08 num=95, depth=4..13, filters=135996, revisions=(116832,useless=65453), ccks=414888, wck=2.592, mem=124M546
8.01/5.08 decisions=9643, wrong=4227, backtracks=2495, failedAssignments=2482, nogoods=440, foundSolutions=8, bestBound=49
8.01/5.08 nFilterCalls=548090, avgTableProportion=0.9982701130049503, avgTableSize=577.1168330018793
8.01/5.08
8.11/5.15 num=96, depth=7..15, filters=139780, revisions=(120108,useless=67307), ccks=424521, wck=2.662, mem=124M546
8.11/5.15 decisions=9879, wrong=4341, backtracks=2572, failedAssignments=2549, nogoods=444, foundSolutions=8, bestBound=49
8.11/5.15 nFilterCalls=562160, avgTableProportion=0.9982701117818615, avgTableSize=577.1164081400314
8.11/5.15
8.20/5.21 num=97, depth=9..16, filters=143902, revisions=(123503,useless=69054), ccks=436896, wck=2.729, mem=127M188
8.20/5.21 decisions=10131, wrong=4462, backtracks=2641, failedAssignments=2623, nogoods=451, foundSolutions=8, bestBound=49
8.20/5.21 nFilterCalls=574859, avgTableProportion=0.9982701095169395, avgTableSize=577.1156213958553
8.20/5.21
8.30/5.30 num=98, depth=7..15, filters=148582, revisions=(127476,useless=71043), ccks=451638, wck=2.812, mem=127M188
8.30/5.30 decisions=10417, wrong=4600, backtracks=2730, failedAssignments=2704, nogoods=456, foundSolutions=8, bestBound=49
8.30/5.30 nFilterCalls=591525, avgTableProportion=0.998270112714826, avgTableSize=577.1167321753096
8.30/5.30
8.30/5.39 num=99, depth=7..16, filters=153518, revisions=(131802,useless=73381), ccks=466348, wck=2.909, mem=127M188
8.30/5.39 decisions=10718, wrong=4746, backtracks=2827, failedAssignments=2793, nogoods=463, foundSolutions=8, bestBound=49
8.30/5.39 nFilterCalls=609907, avgTableProportion=0.9982701096336448, avgTableSize=577.115661895994
8.30/5.39
8.56/5.50 num=100, depth=7..16, filters=160024, revisions=(137350,useless=76505), ccks=483832, wck=3.02, mem=127M188
8.56/5.50 decisions=11114, wrong=4939, backtracks=2955, failedAssignments=2891, nogoods=472, foundSolutions=8, bestBound=49
8.56/5.50 nFilterCalls=631374, avgTableProportion=0.9982701159037575, avgTableSize=577.1178398223557
8.56/5.50
8.66/5.60 num=101, depth=9..17, filters=165563, revisions=(141838,useless=78889), ccks=501893, wck=3.12, mem=129M831
8.66/5.60 decisions=11514, wrong=5134, backtracks=3086, failedAssignments=2999, nogoods=478, foundSolutions=8, bestBound=49
8.66/5.60 nFilterCalls=654695, avgTableProportion=0.9982701170289086, avgTableSize=577.1182306264749
8.66/5.60
8.76/5.73 num=102, depth=6..14, filters=172352, revisions=(147850,useless=82271), ccks=522444, wck=3.243, mem=129M831
8.76/5.73 decisions=11965, wrong=5355, backtracks=3229, failedAssignments=3118, nogoods=487, foundSolutions=8, bestBound=49
8.76/5.73 nFilterCalls=678082, avgTableProportion=0.9982701215843113, avgTableSize=577.1198129429774
8.76/5.73
8.86/5.88 num=103, depth=7..16, filters=180183, revisions=(154505,useless=85943), ccks=544514, wck=3.395, mem=129M831
8.86/5.88 decisions=12447, wrong=5592, backtracks=3392, failedAssignments=3249, nogoods=493, foundSolutions=8, bestBound=49
8.86/5.88 nFilterCalls=706772, avgTableProportion=0.998270121981797, avgTableSize=577.1199509884376
8.86/5.88
9.07/6.07 num=104, depth=6..15, filters=188938, revisions=(161632,useless=89866), ccks=569971, wck=3.58, mem=132M473
9.07/6.07 decisions=12938, wrong=5832, backtracks=3546, failedAssignments=3393, nogoods=501, foundSolutions=8, bestBound=49
9.07/6.07 nFilterCalls=741070, avgTableProportion=0.9982701191184636, avgTableSize=577.1189563738918
9.07/6.07
9.26/6.27 num=105, depth=8..16, filters=199567, revisions=(170489,useless=94701), ccks=604997, wck=3.781, mem=132M473
9.26/6.27 decisions=13606, wrong=6162, backtracks=3768, failedAssignments=3551, nogoods=514, foundSolutions=8, bestBound=49
9.26/6.27 nFilterCalls=778630, avgTableProportion=0.998270118737697, avgTableSize=577.118824088463
9.26/6.27
9.59/6.50 num=106, depth=7..16, filters=211090, revisions=(179370,useless=100107), ccks=630295, wck=4.012, mem=135M116
9.59/6.50 decisions=14221, wrong=6465, backtracks=3973, failedAssignments=3725, nogoods=523, foundSolutions=8, bestBound=49
9.59/6.50 nFilterCalls=825934, avgTableProportion=0.998270120219681, avgTableSize=577.1193388333693
9.59/6.50
9.79/6.73 num=107, depth=5..17, filters=221855, revisions=(188386,useless=105186), ccks=663466, wck=4.246, mem=135M116
9.79/6.73 decisions=14864, wrong=6783, backtracks=4187, failedAssignments=3916, nogoods=532, foundSolutions=8, bestBound=49
9.79/6.73 nFilterCalls=870369, avgTableProportion=0.9982701249734879, avgTableSize=577.1209900628354
9.79/6.73
9.99/6.97 num=108, depth=7..18, filters=234531, revisions=(199125,useless=111512), ccks=696918, wck=4.482, mem=137M758
9.99/6.97 decisions=15650, wrong=7170, backtracks=4431, failedAssignments=4127, nogoods=543, foundSolutions=8, bestBound=49
9.99/6.97 nFilterCalls=919751, avgTableProportion=0.9982701342645214, avgTableSize=577.1242173153386
9.99/6.97
10.29/7.22 num=109, depth=9..17, filters=248842, revisions=(210102,useless=117916), ccks=737156, wck=4.731, mem=137M758
10.29/7.22 decisions=16474, wrong=7576, backtracks=4708, failedAssignments=4359, nogoods=552, foundSolutions=8, bestBound=49
10.29/7.22 nFilterCalls=976824, avgTableProportion=0.9982701314280308, avgTableSize=577.1232320254212
10.29/7.22
10.59/7.51 num=110, depth=5..15, filters=263891, revisions=(223121,useless=125552), ccks=778411, wck=5.024, mem=140M400
10.59/7.51 decisions=17381, wrong=8026, backtracks=5003, failedAssignments=4614, nogoods=571, foundSolutions=8, bestBound=49
10.59/7.51 nFilterCalls=1033981, avgTableProportion=0.9982701284333795, avgTableSize=577.1221918004296
10.59/7.51
10.90/7.86 num=111, depth=5..15, filters=280635, revisions=(237267,useless=133601), ccks=831559, wck=5.38, mem=142M778
10.90/7.86 decisions=18411, wrong=8538, backtracks=5347, failedAssignments=4895, nogoods=580, foundSolutions=8, bestBound=49
10.90/7.86 nFilterCalls=1096076, avgTableProportion=0.9982701286153672, avgTableSize=577.1222533838894
10.90/7.86
10.90/7.89 o 50
10.90/7.89 num=112, depth=13..74, filters=282158, revisions=(238279,useless=134155), ccks=835333, wck=5.407, mem=142M778
10.90/7.89 decisions=18512, wrong=8580, backtracks=5373, failedAssignments=4919, nogoods=587, foundSolutions=9, bestBound=50
10.90/7.89 nFilterCalls=1103165, avgTableProportion=0.9982701298408992, avgTableSize=577.1226788377079
10.90/7.89
11.43/8.34 num=113, depth=6..16, filters=303325, revisions=(256417,useless=144742), ccks=890720, wck=5.856, mem=30M943
11.43/8.34 decisions=19739, wrong=9190, backtracks=5776, failedAssignments=5259, nogoods=604, foundSolutions=9, bestBound=50
11.43/8.34 nFilterCalls=1172873, avgTableProportion=0.9982701284734335, avgTableSize=577.1222016364943
11.43/8.34
11.43/8.35 num=114, depth=7..12, filters=303695, revisions=(256768,useless=144906), ccks=891867, wck=5.865, mem=30M943
11.43/8.35 decisions=19774, wrong=9204, backtracks=5784, failedAssignments=5270, nogoods=607, foundSolutions=9, bestBound=50
11.43/8.35 nFilterCalls=1174220, avgTableProportion=0.9982701282612129, avgTableSize=577.1221278806356
11.43/8.35
11.43/8.36 num=115, depth=8..11, filters=304347, revisions=(257405,useless=145242), ccks=893527, wck=5.878, mem=30M943
11.43/8.36 decisions=19819, wrong=9222, backtracks=5794, failedAssignments=5282, nogoods=612, foundSolutions=9, bestBound=50
11.43/8.36 nFilterCalls=1176442, avgTableProportion=0.998270128461166, avgTableSize=577.1221972693936
11.43/8.36
11.43/8.38 num=116, depth=6..14, filters=305185, revisions=(258215,useless=145703), ccks=896433, wck=5.895, mem=30M943
11.43/8.38 decisions=19873, wrong=9246, backtracks=5811, failedAssignments=5295, nogoods=614, foundSolutions=9, bestBound=50
11.43/8.38 nFilterCalls=1179081, avgTableProportion=0.9982701284944049, avgTableSize=577.1222087371436
11.43/8.38
11.43/8.39 num=117, depth=13..16, filters=305925, revisions=(258843,useless=146076), ccks=898315, wck=5.908, mem=30M943
11.43/8.39 decisions=19927, wrong=9266, backtracks=5822, failedAssignments=5309, nogoods=621, foundSolutions=9, bestBound=50
11.43/8.39 nFilterCalls=1181825, avgTableProportion=0.9982701289103598, avgTableSize=577.1223531402703
11.43/8.39
11.53/8.41 num=118, depth=9..15, filters=306647, revisions=(259414,useless=146414), ccks=900534, wck=5.929, mem=30M943
11.53/8.41 decisions=19985, wrong=9290, backtracks=5834, failedAssignments=5325, nogoods=626, foundSolutions=9, bestBound=50
11.53/8.41 nFilterCalls=1185681, avgTableProportion=0.9982701286003934, avgTableSize=577.1222453594179
11.53/8.41
11.53/8.43 num=119, depth=12..19, filters=307447, revisions=(260099,useless=146786), ccks=903442, wck=5.945, mem=30M943
11.53/8.43 decisions=20059, wrong=9321, backtracks=5852, failedAssignments=5342, nogoods=629, foundSolutions=9, bestBound=50
11.53/8.43 nFilterCalls=1189102, avgTableProportion=0.9982701285662968, avgTableSize=577.1222334164773
11.53/8.43
11.53/8.45 num=120, depth=7..11, filters=308550, revisions=(261090,useless=147319), ccks=906665, wck=5.969, mem=30M943
11.53/8.45 decisions=20139, wrong=9357, backtracks=5878, failedAssignments=5361, nogoods=633, foundSolutions=9, bestBound=50
11.53/8.45 nFilterCalls=1193588, avgTableProportion=0.998270128423545, avgTableSize=577.1221837015788
11.53/8.45
11.53/8.50 num=121, depth=5..11, filters=310313, revisions=(262647,useless=148267), ccks=911762, wck=6.011, mem=30M943
11.53/8.50 decisions=20244, wrong=9406, backtracks=5911, failedAssignments=5382, nogoods=640, foundSolutions=9, bestBound=50
11.53/8.50 nFilterCalls=1200633, avgTableProportion=0.9982701283503096, avgTableSize=577.1221580616225
11.53/8.50
11.64/8.52 num=122, depth=7..12, filters=311727, revisions=(263976,useless=149060), ccks=915703, wck=6.04, mem=32M265
11.64/8.52 decisions=20345, wrong=9451, backtracks=5935, failedAssignments=5405, nogoods=648, foundSolutions=9, bestBound=50
11.64/8.52 nFilterCalls=1206166, avgTableProportion=0.9982701280908336, avgTableSize=577.1220677750823
11.64/8.52
11.64/8.55 num=123, depth=2..12, filters=313003, revisions=(265085,useless=149636), ccks=918969, wck=6.063, mem=32M265
11.64/8.55 decisions=20434, wrong=9492, backtracks=5958, failedAssignments=5430, nogoods=655, foundSolutions=9, bestBound=50
11.64/8.55 nFilterCalls=1209686, avgTableProportion=0.9982701279728892, avgTableSize=577.1220267077572
11.64/8.55
11.64/8.58 num=124, depth=4..13, filters=314824, revisions=(266611,useless=150498), ccks=923073, wck=6.099, mem=32M265
11.64/8.58 decisions=20542, wrong=9542, backtracks=5991, failedAssignments=5458, nogoods=659, foundSolutions=9, bestBound=50
11.64/8.58 nFilterCalls=1216452, avgTableProportion=0.9982701274607395, avgTableSize=577.1218486220582
11.64/8.58
11.74/8.62 num=125, depth=7..15, filters=316867, revisions=(268438,useless=151586), ccks=928606, wck=6.132, mem=32M265
11.74/8.62 decisions=20662, wrong=9597, backtracks=6023, failedAssignments=5489, nogoods=661, foundSolutions=9, bestBound=50
11.74/8.62 nFilterCalls=1222504, avgTableProportion=0.9982701271328771, avgTableSize=577.1217345710116
11.74/8.62
11.74/8.66 num=126, depth=5..14, filters=318670, revisions=(270038,useless=152479), ccks=933893, wck=6.177, mem=34M854
11.74/8.66 decisions=20785, wrong=9656, backtracks=6061, failedAssignments=5523, nogoods=662, foundSolutions=9, bestBound=50
11.74/8.66 nFilterCalls=1230282, avgTableProportion=0.9982701268413298, avgTableSize=577.1216330889991
11.74/8.66
11.85/8.71 num=127, depth=6..13, filters=321317, revisions=(272411,useless=153917), ccks=940862, wck=6.227, mem=34M854
11.85/8.71 decisions=20936, wrong=9728, backtracks=6111, failedAssignments=5560, nogoods=666, foundSolutions=9, bestBound=50
11.85/8.71 nFilterCalls=1239012, avgTableProportion=0.9982701270932807, avgTableSize=577.121720370747
11.85/8.71
11.85/8.75 num=128, depth=8..16, filters=323285, revisions=(274195,useless=154884), ccks=946691, wck=6.261, mem=34M854
11.85/8.75 decisions=21077, wrong=9794, backtracks=6148, failedAssignments=5601, nogoods=669, foundSolutions=9, bestBound=50
11.85/8.75 nFilterCalls=1246173, avgTableProportion=0.9982701272494432, avgTableSize=577.1217744245782
11.85/8.75
11.96/8.80 num=129, depth=8..15, filters=325901, revisions=(276544,useless=156267), ccks=953787, wck=6.316, mem=34M854
11.96/8.80 decisions=21246, wrong=9874, backtracks=6200, failedAssignments=5646, nogoods=678, foundSolutions=9, bestBound=50
11.96/8.80 nFilterCalls=1256356, avgTableProportion=0.9982701287441832, avgTableSize=577.1222933627093
11.96/8.80
11.96/8.85 num=130, depth=7..15, filters=329150, revisions=(279311,useless=157624), ccks=962921, wck=6.367, mem=34M854
11.96/8.85 decisions=21458, wrong=9975, backtracks=6269, failedAssignments=5696, nogoods=682, foundSolutions=9, bestBound=50
11.96/8.85 nFilterCalls=1269057, avgTableProportion=0.9982701283384913, avgTableSize=577.1221521176748
11.96/8.85
12.06/8.91 num=131, depth=6..14, filters=332078, revisions=(282035,useless=159112), ccks=970906, wck=6.429, mem=34M854
12.06/8.91 decisions=21650, wrong=10067, backtracks=6322, failedAssignments=5751, nogoods=689, foundSolutions=9, bestBound=50
12.06/8.91 nFilterCalls=1280734, avgTableProportion=0.998270126477282, avgTableSize=577.1215053242906
12.06/8.91
12.06/8.98 num=132, depth=9..16, filters=335907, revisions=(285171,useless=160864), ccks=982572, wck=6.497, mem=34M854
12.06/8.98 decisions=21900, wrong=10186, backtracks=6403, failedAssignments=5812, nogoods=695, foundSolutions=9, bestBound=50
12.06/8.98 nFilterCalls=1295657, avgTableProportion=0.9982701268977958, avgTableSize=577.1216510233804
12.06/8.98
12.17/9.09 num=133, depth=5..15, filters=340338, revisions=(288664,useless=162854), ccks=997125, wck=6.605, mem=37M444
12.17/9.09 decisions=22177, wrong=10320, backtracks=6489, failedAssignments=5879, nogoods=700, foundSolutions=9, bestBound=50
12.17/9.09 nFilterCalls=1315982, avgTableProportion=0.9982701292562661, avgTableSize=577.1224697602247
12.17/9.09
12.27/9.16 num=134, depth=10..17, filters=344904, revisions=(292138,useless=164751), ccks=1008644, wck=6.676, mem=37M444
12.27/9.16 decisions=22438, wrong=10445, backtracks=6573, failedAssignments=5953, nogoods=705, foundSolutions=9, bestBound=50
12.27/9.16 nFilterCalls=1332522, avgTableProportion=0.9982701323562814, avgTableSize=577.1235461778492
12.27/9.16
12.36/9.27 num=135, depth=7..16, filters=349826, revisions=(295901,useless=167064), ccks=1020532, wck=6.784, mem=37M444
12.36/9.27 decisions=22737, wrong=10590, backtracks=6666, failedAssignments=6034, nogoods=711, foundSolutions=9, bestBound=50
12.36/9.27 nFilterCalls=1354446, avgTableProportion=0.9982701361143043, avgTableSize=577.1248510461104
12.36/9.27
12.56/9.40 num=136, depth=5..15, filters=355446, revisions=(300342,useless=169693), ccks=1038115, wck=6.912, mem=37M444
12.56/9.40 decisions=23088, wrong=10762, backtracks=6779, failedAssignments=6123, nogoods=718, foundSolutions=9, bestBound=50
12.56/9.40 nFilterCalls=1379308, avgTableProportion=0.9982701386913917, avgTableSize=577.1257456637676
12.56/9.40
12.56/9.43 o 54
12.56/9.43 num=137, depth=10..74, filters=357011, revisions=(301568,useless=170375), ccks=1042390, wck=6.942, mem=37M444
12.56/9.43 decisions=23180, wrong=10801, backtracks=6803, failedAssignments=6146, nogoods=723, foundSolutions=10, bestBound=54
12.56/9.43 nFilterCalls=1385544, avgTableProportion=0.9982701396368707, avgTableSize=577.1260739464066
12.56/9.43
12.66/9.55 num=138, depth=5..15, filters=363418, revisions=(307409,useless=173619), ccks=1061674, wck=7.066, mem=40M33
12.66/9.55 decisions=23593, wrong=11004, backtracks=6939, failedAssignments=6254, nogoods=726, foundSolutions=10, bestBound=54
12.66/9.55 nFilterCalls=1405355, avgTableProportion=0.9982701379815286, avgTableSize=577.125498539515
12.66/9.55
12.66/9.56 num=139, depth=10..14, filters=364255, revisions=(308127,useless=173960), ccks=1064042, wck=7.077, mem=40M33
12.66/9.56 decisions=23648, wrong=11026, backtracks=6950, failedAssignments=6265, nogoods=735, foundSolutions=10, bestBound=54
12.66/9.56 nFilterCalls=1407653, avgTableProportion=0.9982701376004529, avgTableSize=577.1253661236115
12.66/9.56
12.66/9.57 num=140, depth=11..15, filters=364983, revisions=(308719,useless=174265), ccks=1066103, wck=7.089, mem=40M33
12.66/9.57 decisions=23696, wrong=11044, backtracks=6960, failedAssignments=6277, nogoods=742, foundSolutions=10, bestBound=54
12.66/9.57 nFilterCalls=1409976, avgTableProportion=0.9982701373163186, avgTableSize=577.1252673804377
12.66/9.57
12.66/9.59 num=141, depth=9..16, filters=365836, revisions=(309461,useless=174661), ccks=1068838, wck=7.103, mem=40M33
12.66/9.59 decisions=23754, wrong=11068, backtracks=6977, failedAssignments=6290, nogoods=746, foundSolutions=10, bestBound=54
12.66/9.59 nFilterCalls=1413553, avgTableProportion=0.9982701374691128, avgTableSize=577.1253203806295
12.66/9.59
12.76/9.61 num=142, depth=10..17, filters=366842, revisions=(310289,useless=175103), ccks=1072116, wck=7.121, mem=40M33
12.76/9.61 decisions=23825, wrong=11098, backtracks=6999, failedAssignments=6304, nogoods=751, foundSolutions=10, bestBound=54
12.76/9.61 nFilterCalls=1417656, avgTableProportion=0.9982701385513587, avgTableSize=577.1256962196753
12.76/9.61
12.76/9.62 num=143, depth=8..13, filters=367814, revisions=(311152,useless=175573), ccks=1074793, wck=7.138, mem=40M33
12.76/9.62 decisions=23890, wrong=11126, backtracks=7015, failedAssignments=6320, nogoods=755, foundSolutions=10, bestBound=54
12.76/9.62 nFilterCalls=1421271, avgTableProportion=0.9982701390693262, avgTableSize=577.1258760644522
12.76/9.62
12.76/9.64 num=144, depth=6..14, filters=368728, revisions=(312058,useless=176033), ccks=1077612, wck=7.154, mem=40M33
12.76/9.64 decisions=23959, wrong=11155, backtracks=7033, failedAssignments=6337, nogoods=757, foundSolutions=10, bestBound=54
12.76/9.64 nFilterCalls=1424235, avgTableProportion=0.998270139045047, avgTableSize=577.1258675710118
12.76/9.64
12.76/9.66 num=145, depth=10..16, filters=369774, revisions=(312985,useless=176525), ccks=1081137, wck=7.17, mem=40M33
12.76/9.66 decisions=24035, wrong=11188, backtracks=7053, failedAssignments=6356, nogoods=760, foundSolutions=10, bestBound=54
12.76/9.66 nFilterCalls=1427280, avgTableProportion=0.9982701387360758, avgTableSize=577.1257601872093
12.76/9.66
12.76/9.67 num=146, depth=7..14, filters=370915, revisions=(314062,useless=177086), ccks=1085006, wck=7.187, mem=40M33
12.76/9.67 decisions=24111, wrong=11221, backtracks=7075, failedAssignments=6377, nogoods=767, foundSolutions=10, bestBound=54
12.76/9.67 nFilterCalls=1430093, avgTableProportion=0.9982701383502015, avgTableSize=577.1256260956455
12.76/9.67
12.86/9.70 num=147, depth=9..14, filters=372283, revisions=(315198,useless=177663), ccks=1089319, wck=7.213, mem=40M33
12.86/9.70 decisions=24208, wrong=11264, backtracks=7105, failedAssignments=6400, nogoods=772, foundSolutions=10, bestBound=54
12.86/9.70 nFilterCalls=1435254, avgTableProportion=0.9982701382314382, avgTableSize=577.1255847397047
12.86/9.70
12.86/9.73 num=148, depth=5..14, filters=374097, revisions=(316649,useless=178424), ccks=1094391, wck=7.25, mem=40M33
12.86/9.73 decisions=24309, wrong=11310, backtracks=7139, failedAssignments=6425, nogoods=777, foundSolutions=10, bestBound=54
12.86/9.73 nFilterCalls=1442385, avgTableProportion=0.998270138079066, avgTableSize=577.1255316715024
12.86/9.73
12.86/9.77 num=149, depth=8..16, filters=375702, revisions=(318042,useless=179305), ccks=1098843, wck=7.285, mem=42M623
12.86/9.77 decisions=24424, wrong=11363, backtracks=7178, failedAssignments=6453, nogoods=783, foundSolutions=10, bestBound=54
12.86/9.77 nFilterCalls=1448902, avgTableProportion=0.99827013875482, avgTableSize=577.1257662699064
12.86/9.77
12.86/9.79 num=150, depth=9..17, filters=377417, revisions=(319568,useless=180077), ccks=1104443, wck=7.309, mem=42M623
12.86/9.79 decisions=24555, wrong=11423, backtracks=7219, failedAssignments=6484, nogoods=785, foundSolutions=10, bestBound=54
12.86/9.79 nFilterCalls=1455580, avgTableProportion=0.9982701383242868, avgTableSize=577.1256165926984
12.86/9.79
12.96/9.83 num=151, depth=8..14, filters=379535, revisions=(321376,useless=181027), ccks=1110085, wck=7.345, mem=42M623
12.96/9.83 decisions=24683, wrong=11483, backtracks=7255, failedAssignments=6518, nogoods=791, foundSolutions=10, bestBound=54
12.96/9.83 nFilterCalls=1461908, avgTableProportion=0.9982701381318414, avgTableSize=577.1255496241897
12.96/9.83
12.96/9.88 num=152, depth=4..12, filters=381696, revisions=(323288,useless=182124), ccks=1116994, wck=7.392, mem=42M623
12.96/9.88 decisions=24811, wrong=11543, backtracks=7292, failedAssignments=6555, nogoods=796, foundSolutions=10, bestBound=54
12.96/9.88 nFilterCalls=1470229, avgTableProportion=0.9982701387869048, avgTableSize=577.1257770048068
12.96/9.88
13.06/9.94 num=153, depth=7..13, filters=384675, revisions=(325642,useless=183493), ccks=1123713, wck=7.451, mem=42M623
13.06/9.94 decisions=24972, wrong=11619, backtracks=7338, failedAssignments=6596, nogoods=799, foundSolutions=10, bestBound=54
13.06/9.94 nFilterCalls=1481995, avgTableProportion=0.9982701382613097, avgTableSize=577.1255942159049
13.06/9.94
13.06/9.99 num=154, depth=8..15, filters=387567, revisions=(328292,useless=184907), ccks=1132096, wck=7.501, mem=42M623
13.06/9.99 decisions=25137, wrong=11697, backtracks=7389, failedAssignments=6641, nogoods=808, foundSolutions=10, bestBound=54
13.06/9.99 nFilterCalls=1490889, avgTableProportion=0.9982701371301516, avgTableSize=577.1252011383812
13.06/9.99
13.17/10.03 num=155, depth=4..12, filters=390072, revisions=(330722,useless=186123), ccks=1138583, wck=7.541, mem=42M623
13.17/10.03 decisions=25317, wrong=11785, backtracks=7441, failedAssignments=6691, nogoods=810, foundSolutions=10, bestBound=54
13.17/10.03 nFilterCalls=1499426, avgTableProportion=0.9982701361113826, avgTableSize=577.1248471081601
13.17/10.03
13.17/10.10 num=156, depth=4..13, filters=393345, revisions=(333761,useless=187778), ccks=1147542, wck=7.613, mem=42M623
13.17/10.10 decisions=25525, wrong=11884, backtracks=7502, failedAssignments=6746, nogoods=819, foundSolutions=10, bestBound=54
13.17/10.10 nFilterCalls=1511711, avgTableProportion=0.9982701361715404, avgTableSize=577.1248677822679
13.17/10.10
13.27/10.16 num=157, depth=9..17, filters=396910, revisions=(336755,useless=189425), ccks=1157213, wck=7.674, mem=45M213
13.27/10.16 decisions=25766, wrong=11999, backtracks=7578, failedAssignments=6807, nogoods=827, foundSolutions=10, bestBound=54
13.27/10.16 nFilterCalls=1524752, avgTableProportion=0.9982701360883737, avgTableSize=577.1248386622874
13.27/10.16
13.36/10.25 num=158, depth=5..12, filters=401087, revisions=(340284,useless=191413), ccks=1168650, wck=7.769, mem=45M213
13.36/10.25 decisions=25990, wrong=12107, backtracks=7646, failedAssignments=6874, nogoods=835, foundSolutions=10, bestBound=54
13.36/10.25 nFilterCalls=1541416, avgTableProportion=0.9982701371737621, avgTableSize=577.125215386372
13.36/10.25
13.46/10.33 num=159, depth=8..16, filters=405378, revisions=(343963,useless=193567), ccks=1179955, wck=7.846, mem=45M213
13.46/10.33 decisions=26257, wrong=12236, backtracks=7723, failedAssignments=6948, nogoods=840, foundSolutions=10, bestBound=54
13.46/10.33 nFilterCalls=1557210, avgTableProportion=0.9982701370420709, avgTableSize=577.1251693734307
13.46/10.33
13.56/10.44 num=160, depth=6..15, filters=409903, revisions=(348058,useless=195927), ccks=1192456, wck=7.954, mem=45M213
13.56/10.44 decisions=26545, wrong=12377, backtracks=7816, failedAssignments=7029, nogoods=847, foundSolutions=10, bestBound=54
13.56/10.44 nFilterCalls=1575317, avgTableProportion=0.998270136680287, avgTableSize=577.1250434039625
13.56/10.44
13.67/10.55 num=161, depth=6..16, filters=415020, revisions=(352771,useless=198592), ccks=1206433, wck=8.062, mem=45M213
13.67/10.55 decisions=26856, wrong=12528, backtracks=7901, failedAssignments=7118, nogoods=859, foundSolutions=10, bestBound=54
13.67/10.55 nFilterCalls=1593459, avgTableProportion=0.9982701352167399, avgTableSize=577.1245347385782
13.67/10.55
13.77/10.66 num=162, depth=6..17, filters=420783, revisions=(357557,useless=201254), ccks=1222289, wck=8.171, mem=47M802
13.77/10.66 decisions=27217, wrong=12704, backtracks=8018, failedAssignments=7216, nogoods=866, foundSolutions=10, bestBound=54
13.77/10.66 nFilterCalls=1615213, avgTableProportion=0.9982701358627243, avgTableSize=577.1247587779444
13.77/10.66
13.87/10.79 num=163, depth=6..16, filters=427198, revisions=(363145,useless=204388), ccks=1239573, wck=8.301, mem=47M802
13.87/10.79 decisions=27588, wrong=12886, backtracks=8139, failedAssignments=7324, nogoods=873, foundSolutions=10, bestBound=54
13.87/10.79 nFilterCalls=1639552, avgTableProportion=0.9982701342826046, avgTableSize=577.124209540167
13.87/10.79
14.07/10.93 num=164, depth=6..16, filters=434933, revisions=(369252,useless=207939), ccks=1255879, wck=8.444, mem=47M802
14.07/10.93 decisions=28019, wrong=13097, backtracks=8271, failedAssignments=7443, nogoods=882, foundSolutions=10, bestBound=54
14.07/10.93 nFilterCalls=1667485, avgTableProportion=0.9982701382071909, avgTableSize=577.1255723439791
14.07/10.93
14.18/11.09 num=165, depth=4..11, filters=442162, revisions=(375697,useless=211476), ccks=1277020, wck=8.603, mem=50M392
14.18/11.09 decisions=28446, wrong=13308, backtracks=8402, failedAssignments=7574, nogoods=894, foundSolutions=10, bestBound=54
14.18/11.09 nFilterCalls=1693312, avgTableProportion=0.9982701368563738, avgTableSize=577.1251027572001
14.18/11.09
14.37/11.26 num=166, depth=6..17, filters=450514, revisions=(382530,useless=215173), ccks=1302725, wck=8.771, mem=50M392
14.37/11.26 decisions=28980, wrong=13570, backtracks=8576, failedAssignments=7718, nogoods=898, foundSolutions=10, bestBound=54
14.37/11.26 nFilterCalls=1724635, avgTableProportion=0.9982701361204932, avgTableSize=577.1248467066945
14.37/11.26
14.57/11.42 num=167, depth=4..18, filters=458817, revisions=(390005,useless=219488), ccks=1325905, wck=8.936, mem=50M392
14.57/11.42 decisions=29519, wrong=13834, backtracks=8732, failedAssignments=7876, nogoods=904, foundSolutions=10, bestBound=54
14.57/11.42 nFilterCalls=1754782, avgTableProportion=0.9982701358989493, avgTableSize=577.1247693445681
14.57/11.42
14.78/11.62 num=168, depth=5..15, filters=469206, revisions=(398810,useless=224404), ccks=1353697, wck=9.134, mem=52M981
14.78/11.62 decisions=30166, wrong=14153, backtracks=8930, failedAssignments=8050, nogoods=909, foundSolutions=10, bestBound=54
14.78/11.62 nFilterCalls=1791511, avgTableProportion=0.9982701371270019, avgTableSize=577.1251954355848
14.78/11.62
14.97/11.84 num=169, depth=3..13, filters=479032, revisions=(407692,useless=229339), ccks=1383185, wck=9.352, mem=52M981
14.97/11.84 decisions=30810, wrong=14473, backtracks=9135, failedAssignments=8241, nogoods=921, foundSolutions=10, bestBound=54
14.97/11.84 nFilterCalls=1827849, avgTableProportion=0.9982701354550816, avgTableSize=577.1246142323573
14.97/11.84
15.18/12.08 num=170, depth=6..15, filters=491321, revisions=(418740,useless=235867), ccks=1414285, wck=9.596, mem=55M571
15.18/12.08 decisions=31588, wrong=14858, backtracks=9402, failedAssignments=8452, nogoods=931, foundSolutions=10, bestBound=54
15.18/12.08 nFilterCalls=1875001, avgTableProportion=0.9982701352988469, avgTableSize=577.124559400235
15.18/12.08
15.47/12.36 num=171, depth=6..15, filters=506620, revisions=(431666,useless=243072), ccks=1458128, wck=9.875, mem=58M160
15.47/12.36 decisions=32471, wrong=15296, backtracks=9677, failedAssignments=8684, nogoods=943, foundSolutions=10, bestBound=54
15.47/12.36 nFilterCalls=1928921, avgTableProportion=0.9982701346495143, avgTableSize=577.1243332412266
15.47/12.36
15.78/12.66 num=172, depth=4..16, filters=522269, revisions=(445602,useless=250966), ccks=1496802, wck=10.172, mem=58M160
15.78/12.66 decisions=33401, wrong=15756, backtracks=9971, failedAssignments=8939, nogoods=956, foundSolutions=10, bestBound=54
15.78/12.66 nFilterCalls=1984237, avgTableProportion=0.9982701347692947, avgTableSize=577.1243742556962
15.78/12.66
16.08/12.97 num=173, depth=6..15, filters=539966, revisions=(459841,useless=259228), ccks=1541990, wck=10.487, mem=60M750
16.08/12.97 decisions=34451, wrong=16277, backtracks=10307, failedAssignments=9220, nogoods=967, foundSolutions=10, bestBound=54
16.08/12.97 nFilterCalls=2047911, avgTableProportion=0.998270137135086, avgTableSize=577.1251953820258
16.08/12.97
16.58/13.41 num=174, depth=4..15, filters=559380, revisions=(475579,useless=268305), ccks=1596403, wck=10.92, mem=63M340
16.58/13.41 decisions=35573, wrong=16834, backtracks=10691, failedAssignments=9529, nogoods=983, foundSolutions=10, bestBound=54
16.58/13.41 nFilterCalls=2123046, avgTableProportion=0.9982701439940621, avgTableSize=577.1275780176219
16.58/13.41
16.88/13.77 num=175, depth=5..15, filters=578050, revisions=(492242,useless=277515), ccks=1650443, wck=11.283, mem=65M929
16.88/13.77 decisions=36749, wrong=17416, backtracks=11052, failedAssignments=9869, nogoods=988, foundSolutions=10, bestBound=54
16.88/13.77 nFilterCalls=2189899, avgTableProportion=0.998270141350299, avgTableSize=577.1266615492312
16.88/13.77
17.29/14.17 num=176, depth=5..16, filters=599910, revisions=(511318,useless=288099), ccks=1714315, wck=11.689, mem=68M519
17.29/14.17 decisions=38105, wrong=18091, backtracks=11501, failedAssignments=10243, nogoods=1001, foundSolutions=10, bestBound=54
17.29/14.17 nFilterCalls=2260907, avgTableProportion=0.9982701398462743, avgTableSize=577.126140969089
17.29/14.17
17.88/14.74 num=177, depth=3..15, filters=625360, revisions=(532982,useless=300827), ccks=1787585, wck=12.253, mem=71M108
17.88/14.74 decisions=39547, wrong=18809, backtracks=11997, failedAssignments=10654, nogoods=1009, foundSolutions=10, bestBound=54
17.88/14.74 nFilterCalls=2353816, avgTableProportion=0.9982701487026787, avgTableSize=577.1292195311784
17.88/14.74
18.38/15.24 num=178, depth=5..18, filters=651618, revisions=(555426,useless=314278), ccks=1858640, wck=12.759, mem=73M698
18.38/15.24 decisions=41226, wrong=19644, backtracks=12550, failedAssignments=11106, nogoods=1017, foundSolutions=10, bestBound=54
18.38/15.24 nFilterCalls=2452895, avgTableProportion=0.9982701510941966, avgTableSize=577.1300524482295
18.38/15.24
18.98/15.87 num=179, depth=2..16, filters=679040, revisions=(578494,useless=327487), ccks=1937220, wck=13.389, mem=76M287
18.98/15.87 decisions=42954, wrong=20504, backtracks=13114, failedAssignments=11603, nogoods=1023, foundSolutions=10, bestBound=54
18.98/15.87 nFilterCalls=2573697, avgTableProportion=0.9982701502620274, avgTableSize=577.1297658582188
18.98/15.87
19.68/16.54 num=180, depth=4..15, filters=711387, revisions=(605944,useless=343060), ccks=2025226, wck=14.056, mem=81M467
19.68/16.54 decisions=45006, wrong=21527, backtracks=13793, failedAssignments=12150, nogoods=1035, foundSolutions=10, bestBound=54
19.68/16.54 nFilterCalls=2690918, avgTableProportion=0.9982701532168116, avgTableSize=577.1307943980456
19.68/16.54
20.39/17.20 num=181, depth=6..19, filters=745662, revisions=(634681,useless=359315), ccks=2126548, wck=14.714, mem=84M56
20.39/17.20 decisions=47179, wrong=22610, backtracks=14515, failedAssignments=12752, nogoods=1045, foundSolutions=10, bestBound=54
20.39/17.20 nFilterCalls=2819006, avgTableProportion=0.9982701541386605, avgTableSize=577.1311167837174
20.39/17.20
21.30/18.19 num=182, depth=4..19, filters=787927, revisions=(669954,useless=379042), ccks=2250861, wck=15.701, mem=89M235
21.30/18.19 decisions=49624, wrong=23828, backtracks=15347, failedAssignments=13414, nogoods=1057, foundSolutions=10, bestBound=54
21.30/18.19 nFilterCalls=2974941, avgTableProportion=0.9982701568116636, avgTableSize=577.1320476607772
21.30/18.19
21.39/18.27 o 57
21.39/18.27 num=183, depth=7..74, filters=791985, revisions=(672968,useless=380782), ccks=2260449, wck=15.781, mem=89M235
21.39/18.27 decisions=49849, wrong=23934, backtracks=15418, failedAssignments=13473, nogoods=1059, foundSolutions=11, bestBound=57
21.39/18.27 nFilterCalls=2993265, avgTableProportion=0.9982701588367828, avgTableSize=577.1327513601368
21.39/18.27
22.49/19.39 num=184, depth=2..14, filters=841001, revisions=(715521,useless=405044), ccks=2390926, wck=16.906, mem=97M4
22.49/19.39 decisions=52757, wrong=25383, backtracks=16386, failedAssignments=14274, nogoods=1064, foundSolutions=11, bestBound=57
22.49/19.39 nFilterCalls=3155476, avgTableProportion=0.998270158424656, avgTableSize=577.1326104207416
22.49/19.39
22.60/19.41 num=185, depth=7..12, filters=841662, revisions=(716133,useless=405386), ccks=2393008, wck=16.924, mem=97M4
22.60/19.41 decisions=52809, wrong=25404, backtracks=16399, failedAssignments=14285, nogoods=1069, foundSolutions=11, bestBound=57
22.60/19.41 nFilterCalls=3158763, avgTableProportion=0.9982701584264563, avgTableSize=577.1326110885811
22.60/19.41
22.60/19.42 num=186, depth=8..13, filters=842296, revisions=(716724,useless=405725), ccks=2394781, wck=16.938, mem=97M4
22.60/19.42 decisions=52850, wrong=25420, backtracks=16407, failedAssignments=14297, nogoods=1075, foundSolutions=11, bestBound=57
22.60/19.42 nFilterCalls=3160951, avgTableProportion=0.9982701583551954, avgTableSize=577.1325863640404
22.60/19.42
22.60/19.44 num=187, depth=8..19, filters=843167, revisions=(717399,useless=406120), ccks=2397354, wck=16.955, mem=97M4
22.60/19.44 decisions=52910, wrong=25443, backtracks=16422, failedAssignments=14310, nogoods=1078, foundSolutions=11, bestBound=57
22.60/19.44 nFilterCalls=3165144, avgTableProportion=0.998270158196835, avgTableSize=577.1325314108932
22.60/19.44
22.60/19.46 num=188, depth=6..11, filters=844015, revisions=(718125,useless=406528), ccks=2399570, wck=16.976, mem=97M4
22.60/19.46 decisions=52959, wrong=25464, backtracks=16434, failedAssignments=14324, nogoods=1086, foundSolutions=11, bestBound=57
22.60/19.46 nFilterCalls=3168763, avgTableProportion=0.9982701582206577, avgTableSize=577.1325397323814
22.60/19.46
22.60/19.48 num=189, depth=7..14, filters=845109, revisions=(719126,useless=407099), ccks=2402912, wck=16.995, mem=97M4
22.60/19.48 decisions=53029, wrong=25495, backtracks=16459, failedAssignments=14340, nogoods=1090, foundSolutions=11, bestBound=57
22.60/19.48 nFilterCalls=3172055, avgTableProportion=0.9982701582175222, avgTableSize=577.1325386854894
22.60/19.48
22.70/19.50 num=190, depth=4..10, filters=846077, revisions=(719961,useless=407535), ccks=2405198, wck=17.015, mem=97M4
22.70/19.50 decisions=53087, wrong=25522, backtracks=16478, failedAssignments=14357, nogoods=1094, foundSolutions=11, bestBound=57
22.70/19.50 nFilterCalls=3175547, avgTableProportion=0.9982701585756533, avgTableSize=577.1326631285885
22.70/19.50
22.70/19.52 num=191, depth=14..18, filters=847016, revisions=(720731,useless=407956), ccks=2408183, wck=17.031, mem=97M4
22.70/19.52 decisions=53167, wrong=25555, backtracks=16498, failedAssignments=14376, nogoods=1098, foundSolutions=11, bestBound=57
22.70/19.52 nFilterCalls=3180193, avgTableProportion=0.9982701582700901, avgTableSize=577.1325570492105
22.70/19.52
22.70/19.54 num=192, depth=6..14, filters=848256, revisions=(721810,useless=408561), ccks=2411780, wck=17.055, mem=97M4
22.70/19.54 decisions=53251, wrong=25593, backtracks=16523, failedAssignments=14397, nogoods=1103, foundSolutions=11, bestBound=57
22.70/19.54 nFilterCalls=3184389, avgTableProportion=0.998270158335744, avgTableSize=577.1325799077939
22.70/19.54
22.70/19.58 num=193, depth=5..18, filters=849669, revisions=(722989,useless=409218), ccks=2415351, wck=17.091, mem=97M4
22.70/19.58 decisions=53352, wrong=25639, backtracks=16554, failedAssignments=14420, nogoods=1109, foundSolutions=11, bestBound=57
22.70/19.58 nFilterCalls=3190961, avgTableProportion=0.9982701583189798, avgTableSize=577.1325741680954
22.70/19.58
22.81/19.60 num=194, depth=5..11, filters=850940, revisions=(724173,useless=409859), ccks=2418816, wck=17.119, mem=97M4
22.81/19.60 decisions=53436, wrong=25678, backtracks=16574, failedAssignments=14445, nogoods=1114, foundSolutions=11, bestBound=57
22.81/19.60 nFilterCalls=3195496, avgTableProportion=0.9982701581285177, avgTableSize=577.1325080676052
22.81/19.60
22.81/19.64 num=195, depth=5..13, filters=852954, revisions=(725952,useless=410888), ccks=2424083, wck=17.159, mem=97M4
22.81/19.64 decisions=53540, wrong=25727, backtracks=16610, failedAssignments=14473, nogoods=1123, foundSolutions=11, bestBound=57
22.81/19.64 nFilterCalls=3202774, avgTableProportion=0.998270158090147, avgTableSize=577.1324948310433
22.81/19.64
22.81/19.68 num=196, depth=7..14, filters=854880, revisions=(727655,useless=411817), ccks=2428969, wck=17.197, mem=97M4
22.81/19.68 decisions=53654, wrong=25780, backtracks=16642, failedAssignments=14504, nogoods=1132, foundSolutions=11, bestBound=57
22.81/19.68 nFilterCalls=3209375, avgTableProportion=0.9982701579548173, avgTableSize=577.1324479065239
22.81/19.68
22.91/19.71 num=197, depth=12..18, filters=856497, revisions=(728981,useless=412552), ccks=2434428, wck=17.228, mem=97M4
22.91/19.71 decisions=53784, wrong=25838, backtracks=16679, failedAssignments=14538, nogoods=1138, foundSolutions=11, bestBound=57
22.91/19.71 nFilterCalls=3217587, avgTableProportion=0.9982701576416653, avgTableSize=577.1323392343393
22.91/19.71
22.91/19.75 num=198, depth=4..10, filters=858580, revisions=(730955,useless=413598), ccks=2440333, wck=17.267, mem=99M594
22.91/19.75 decisions=53903, wrong=25894, backtracks=16709, failedAssignments=14575, nogoods=1144, foundSolutions=11, bestBound=57
22.91/19.75 nFilterCalls=3223913, avgTableProportion=0.9982701574287496, avgTableSize=577.1322653557959
22.91/19.75
23.01/19.80 num=199, depth=4..11, filters=860961, revisions=(733151,useless=414779), ccks=2445975, wck=17.319, mem=99M594
23.01/19.80 decisions=54047, wrong=25963, backtracks=16753, failedAssignments=14616, nogoods=1151, foundSolutions=11, bestBound=57
23.01/19.80 nFilterCalls=3232425, avgTableProportion=0.9982701573056791, avgTableSize=577.1322227120505
23.01/19.80
23.01/19.86 num=200, depth=5..11, filters=863638, revisions=(735630,useless=416146), ccks=2453035, wck=17.374, mem=99M594
23.01/19.86 decisions=54206, wrong=26040, backtracks=16801, failedAssignments=14661, nogoods=1162, foundSolutions=11, bestBound=57
23.01/19.86 nFilterCalls=3240806, avgTableProportion=0.9982701571595551, avgTableSize=577.1321720584324
23.01/19.86
23.11/19.92 num=201, depth=5..16, filters=866847, revisions=(738454,useless=417766), ccks=2461474, wck=17.436, mem=99M594
23.11/19.92 decisions=54400, wrong=26131, backtracks=16862, failedAssignments=14711, nogoods=1166, foundSolutions=11, bestBound=57
23.11/19.92 nFilterCalls=3252911, avgTableProportion=0.9982701572211312, avgTableSize=577.1321935952136
23.11/19.92
23.11/19.99 num=202, depth=4..14, filters=870161, revisions=(741366,useless=419331), ccks=2470870, wck=17.506, mem=99M594
23.11/19.99 decisions=54588, wrong=26222, backtracks=16922, failedAssignments=14766, nogoods=1171, foundSolutions=11, bestBound=57
23.11/19.99 nFilterCalls=3263558, avgTableProportion=0.9982701575917281, avgTableSize=577.1323224529792
23.11/19.99
23.22/20.06 num=203, depth=3..13, filters=873547, revisions=(744331,useless=420943), ccks=2480031, wck=17.579, mem=99M594
23.22/20.06 decisions=54794, wrong=26323, backtracks=16981, failedAssignments=14827, nogoods=1179, foundSolutions=11, bestBound=57
23.22/20.06 nFilterCalls=3275804, avgTableProportion=0.9982701580602331, avgTableSize=577.1324853379506
23.22/20.06
23.32/20.15 num=204, depth=5..15, filters=877665, revisions=(747864,useless=422906), ccks=2490988, wck=17.67, mem=99M594
23.32/20.15 decisions=55046, wrong=26445, backtracks=17058, failedAssignments=14894, nogoods=1187, foundSolutions=11, bestBound=57
23.32/20.15 nFilterCalls=3290925, avgTableProportion=0.9982701581696654, avgTableSize=577.1325235306183
23.32/20.15
23.41/20.25 num=205, depth=4..12, filters=882498, revisions=(752131,useless=425292), ccks=2502564, wck=17.764, mem=102M183
23.41/20.25 decisions=55311, wrong=26573, backtracks=17133, failedAssignments=14968, nogoods=1191, foundSolutions=11, bestBound=57
23.41/20.25 nFilterCalls=3307205, avgTableProportion=0.99827015876759, avgTableSize=577.132731415198
23.41/20.25
23.51/20.36 num=206, depth=4..12, filters=887289, revisions=(756158,useless=427589), ccks=2514855, wck=17.87, mem=102M183
23.51/20.36 decisions=55594, wrong=26710, backtracks=17213, failedAssignments=15049, nogoods=1198, foundSolutions=11, bestBound=57
23.51/20.36 nFilterCalls=3324768, avgTableProportion=0.9982701596163011, avgTableSize=577.1330264247009
23.51/20.36
23.61/20.43 num=207, depth=6..15, filters=891795, revisions=(760161,useless=429678), ccks=2527773, wck=17.95, mem=102M183
23.61/20.43 decisions=55900, wrong=26858, backtracks=17309, failedAssignments=15138, nogoods=1203, foundSolutions=11, bestBound=57
23.61/20.43 nFilterCalls=3340851, avgTableProportion=0.9982701601996152, avgTableSize=577.1332292281218
23.61/20.43
23.71/20.56 num=208, depth=4..15, filters=897640, revisions=(765440,useless=432703), ccks=2542637, wck=18.072, mem=102M183
23.71/20.56 decisions=56276, wrong=27043, backtracks=17431, failedAssignments=15236, nogoods=1210, foundSolutions=11, bestBound=57
23.71/20.56 nFilterCalls=3363895, avgTableProportion=0.9982701597802407, avgTableSize=577.1330838209873
23.71/20.56
23.91/20.71 num=209, depth=5..15, filters=904620, revisions=(771145,useless=436337), ccks=2559861, wck=18.223, mem=104M773
23.91/20.71 decisions=56662, wrong=27233, backtracks=17555, failedAssignments=15344, nogoods=1219, foundSolutions=11, bestBound=57
23.91/20.71 nFilterCalls=3390271, avgTableProportion=0.9982701594301888, avgTableSize=577.1329625271844
23.91/20.71
24.01/20.85 num=210, depth=7..17, filters=911656, revisions=(777021,useless=439467), ccks=2580932, wck=18.367, mem=104M773
24.01/20.85 decisions=57106, wrong=27450, backtracks=17702, failedAssignments=15463, nogoods=1226, foundSolutions=11, bestBound=57
24.01/20.85 nFilterCalls=3417325, avgTableProportion=0.9982701589228715, avgTableSize=577.1327866094094
24.01/20.85
24.22/21.01 num=211, depth=5..15, filters=919875, revisions=(783921,useless=443258), ccks=2602807, wck=18.525, mem=104M773
24.22/21.01 decisions=57576, wrong=27681, backtracks=17849, failedAssignments=15594, nogoods=1237, foundSolutions=11, bestBound=57
24.22/21.01 nFilterCalls=3443834, avgTableProportion=0.9982701590858496, avgTableSize=577.1328435110403
24.22/21.01
24.41/21.20 num=212, depth=4..13, filters=929140, revisions=(792118,useless=448332), ccks=2626033, wck=18.714, mem=107M362
24.41/21.20 decisions=58081, wrong=27930, backtracks=18002, failedAssignments=15738, nogoods=1248, foundSolutions=11, bestBound=57
24.41/21.20 nFilterCalls=3476768, avgTableProportion=0.9982701588289076, avgTableSize=577.1327546157811
24.41/21.20
24.61/21.42 num=213, depth=3..13, filters=938595, revisions=(800743,useless=453160), ccks=2650863, wck=18.93, mem=107M362
24.61/21.42 decisions=58667, wrong=28220, backtracks=18201, failedAssignments=15896, nogoods=1257, foundSolutions=11, bestBound=57
24.61/21.42 nFilterCalls=3511861, avgTableProportion=0.9982701582320692, avgTableSize=577.1325476720177
24.61/21.42
24.81/21.66 num=214, depth=2..14, filters=949512, revisions=(809695,useless=458373), ccks=2680045, wck=19.178, mem=109M952
24.81/21.66 decisions=59287, wrong=28526, backtracks=18410, failedAssignments=16070, nogoods=1262, foundSolutions=11, bestBound=57
24.81/21.66 nFilterCalls=3552345, avgTableProportion=0.998270159811142, avgTableSize=577.13309658831
24.81/21.66
25.01/21.88 num=215, depth=5..14, filters=959744, revisions=(818605,useless=463512), ccks=2707965, wck=19.392, mem=109M952
25.01/21.88 decisions=59964, wrong=28860, backtracks=18631, failedAssignments=16261, nogoods=1273, foundSolutions=11, bestBound=57
25.01/21.88 nFilterCalls=3589946, avgTableProportion=0.9982701592843268, avgTableSize=577.132913976979
25.01/21.88
25.22/22.10 num=216, depth=7..14, filters=971657, revisions=(829113,useless=469357), ccks=2740252, wck=19.614, mem=112M542
25.22/22.10 decisions=60680, wrong=29214, backtracks=18860, failedAssignments=16472, nogoods=1282, foundSolutions=11, bestBound=57
25.22/22.10 nFilterCalls=3629502, avgTableProportion=0.9982701593716052, avgTableSize=577.1329446849733
25.22/22.10
25.51/22.39 num=217, depth=2..13, filters=984666, revisions=(841193,useless=476051), ccks=2774594, wck=19.902, mem=112M542
25.51/22.39 decisions=61486, wrong=29615, backtracks=19121, failedAssignments=16704, nogoods=1285, foundSolutions=11, bestBound=57
25.51/22.39 nFilterCalls=3676349, avgTableProportion=0.9982701590765971, avgTableSize=577.1328426653727
25.51/22.39
25.91/22.78 num=218, depth=4..14, filters=1001793, revisions=(855170,useless=484215), ccks=2825715, wck=20.294, mem=115M131
25.91/22.78 decisions=62444, wrong=30091, backtracks=19455, failedAssignments=16959, nogoods=1297, foundSolutions=11, bestBound=57
25.91/22.78 nFilterCalls=3740967, avgTableProportion=0.9982701611511089, avgTableSize=577.133563861964
25.91/22.78
26.32/23.15 num=219, depth=5..16, filters=1019721, revisions=(869932,useless=492700), ccks=2871699, wck=20.67, mem=117M721
26.32/23.15 decisions=63499, wrong=30614, backtracks=19811, failedAssignments=17240, nogoods=1310, foundSolutions=11, bestBound=57
26.32/23.15 nFilterCalls=3806485, avgTableProportion=0.9982701618725618, avgTableSize=577.1338150550968
26.32/23.15
26.71/23.52 num=220, depth=2..13, filters=1037159, revisions=(885716,useless=501330), ccks=2922414, wck=21.031, mem=120M310
26.71/23.52 decisions=64606, wrong=31165, backtracks=20176, failedAssignments=17549, nogoods=1318, foundSolutions=11, bestBound=57
26.71/23.52 nFilterCalls=3865964, avgTableProportion=0.9982701615633703, avgTableSize=577.1337081773136
26.71/23.52
27.11/23.95 num=221, depth=5..16, filters=1057479, revisions=(902076,useless=511019), ccks=2974776, wck=21.468, mem=122M900
27.11/23.95 decisions=65858, wrong=31788, backtracks=20606, failedAssignments=17889, nogoods=1326, foundSolutions=11, bestBound=57
27.11/23.95 nFilterCalls=3944344, avgTableProportion=0.9982701649480787, avgTableSize=577.1348845333977
27.11/23.95
27.61/24.48 num=222, depth=4..17, filters=1081606, revisions=(922319,useless=522695), ccks=3038142, wck=21.991, mem=125M489
27.61/24.48 decisions=67289, wrong=32501, backtracks=21097, failedAssignments=18263, nogoods=1336, foundSolutions=11, bestBound=57
27.61/24.48 nFilterCalls=4036220, avgTableProportion=0.9982701643085239, avgTableSize=577.1346631253995
27.61/24.48
28.11/24.90 num=223, depth=6..17, filters=1105213, revisions=(942708,useless=534681), ccks=3103588, wck=22.418, mem=128M79
28.11/24.90 decisions=68787, wrong=33246, backtracks=21601, failedAssignments=18674, nogoods=1347, foundSolutions=11, bestBound=57
28.11/24.90 nFilterCalls=4119455, avgTableProportion=0.9982701639267079, avgTableSize=577.1345311455035
28.11/24.90
28.51/25.33 o 59
28.51/25.33 num=224, depth=5..74, filters=1126308, revisions=(960432,useless=544716), ccks=3160902, wck=22.848, mem=130M669
28.51/25.33 decisions=70092, wrong=33892, backtracks=22014, failedAssignments=19025, nogoods=1361, foundSolutions=12, bestBound=59
28.51/25.33 nFilterCalls=4193419, avgTableProportion=0.9982701646017191, avgTableSize=577.1347661657469
28.51/25.33
29.11/25.98 num=225, depth=4..14, filters=1155409, revisions=(986103,useless=559546), ccks=3239476, wck=23.491, mem=133M258
29.11/25.98 decisions=71872, wrong=34780, backtracks=22580, failedAssignments=19522, nogoods=1363, foundSolutions=12, bestBound=59
29.11/25.98 nFilterCalls=4294156, avgTableProportion=0.9982701652714311, avgTableSize=577.1349960271588
29.11/25.98
29.11/25.99 num=226, depth=8..14, filters=1155911, revisions=(986562,useless=559788), ccks=3240764, wck=23.504, mem=133M258
29.11/25.99 decisions=71915, wrong=34796, backtracks=22590, failedAssignments=19533, nogoods=1366, foundSolutions=12, bestBound=59
29.11/25.99 nFilterCalls=4296411, avgTableProportion=0.9982701653323226, avgTableSize=577.1350171107931
29.11/25.99
29.22/26.01 num=227, depth=6..13, filters=1156777, revisions=(987380,useless=560246), ccks=3243063, wck=23.525, mem=133M258
29.22/26.01 decisions=71968, wrong=34818, backtracks=22604, failedAssignments=19545, nogoods=1370, foundSolutions=12, bestBound=59
29.22/26.01 nFilterCalls=4299646, avgTableProportion=0.9982701653514952, avgTableSize=577.135023674042
29.22/26.01
29.22/26.03 num=228, depth=8..13, filters=1157461, revisions=(988007,useless=560576), ccks=3245149, wck=23.54, mem=133M258
29.22/26.03 decisions=72020, wrong=34840, backtracks=22620, failedAssignments=19558, nogoods=1372, foundSolutions=12, bestBound=59
29.22/26.03 nFilterCalls=4302180, avgTableProportion=0.9982701654513189, avgTableSize=577.1350582727827
29.22/26.03
29.22/26.05 num=229, depth=2..9, filters=1158573, revisions=(989030,useless=561156), ccks=3248232, wck=23.563, mem=133M258
29.22/26.05 decisions=72083, wrong=34868, backtracks=22640, failedAssignments=19572, nogoods=1376, foundSolutions=12, bestBound=59
29.22/26.05 nFilterCalls=4305422, avgTableProportion=0.9982701654149138, avgTableSize=577.1350455309607
29.22/26.05
29.22/26.08 num=230, depth=5..13, filters=1159692, revisions=(990031,useless=561716), ccks=3250940, wck=23.59, mem=133M258
29.22/26.08 decisions=72150, wrong=34898, backtracks=22658, failedAssignments=19588, nogoods=1383, foundSolutions=12, bestBound=59
29.22/26.08 nFilterCalls=4309919, avgTableProportion=0.9982701653289294, avgTableSize=577.1350155304543
29.22/26.08
29.22/26.10 num=231, depth=10..17, filters=1160758, revisions=(990949,useless=562239), ccks=3254015, wck=23.613, mem=133M258
29.22/26.10 decisions=72229, wrong=34932, backtracks=22678, failedAssignments=19605, nogoods=1388, foundSolutions=12, bestBound=59
29.22/26.10 nFilterCalls=4314768, avgTableProportion=0.9982701653936026, avgTableSize=577.1350378513978
29.22/26.10
29.32/26.12 num=232, depth=5..11, filters=1161964, revisions=(992070,useless=562893), ccks=3256897, wck=23.639, mem=133M258
29.32/26.12 decisions=72313, wrong=34971, backtracks=22704, failedAssignments=19624, nogoods=1395, foundSolutions=12, bestBound=59
29.32/26.12 nFilterCalls=4318758, avgTableProportion=0.9982701655413944, avgTableSize=577.135089069589
29.32/26.12
29.32/26.15 num=233, depth=3..8, filters=1163243, revisions=(993344,useless=563620), ccks=3260432, wck=23.663, mem=133M258
29.32/26.15 decisions=72386, wrong=35006, backtracks=22724, failedAssignments=19645, nogoods=1397, foundSolutions=12, bestBound=59
29.32/26.15 nFilterCalls=4322244, avgTableProportion=0.9982701654038675, avgTableSize=577.1350411961935
29.32/26.15
29.32/26.18 num=234, depth=7..15, filters=1164773, revisions=(994716,useless=564437), ccks=3264311, wck=23.697, mem=135M848
29.32/26.18 decisions=72480, wrong=35048, backtracks=22750, failedAssignments=19668, nogoods=1407, foundSolutions=12, bestBound=59
29.32/26.18 nFilterCalls=4328083, avgTableProportion=0.9982701655191001, avgTableSize=577.1350810508948
29.32/26.18
29.42/26.22 num=235, depth=5..14, filters=1166180, revisions=(995976,useless=565213), ccks=3267891, wck=23.73, mem=135M848
29.42/26.22 decisions=72575, wrong=35093, backtracks=22780, failedAssignments=19693, nogoods=1410, foundSolutions=12, bestBound=59
29.42/26.22 nFilterCalls=4334249, avgTableProportion=0.9982701656864009, avgTableSize=577.135138982555
29.42/26.22
29.42/26.25 num=236, depth=8..14, filters=1167703, revisions=(997388,useless=565938), ccks=3272806, wck=23.762, mem=135M848
29.42/26.25 decisions=72679, wrong=35140, backtracks=22813, failedAssignments=19721, nogoods=1414, foundSolutions=12, bestBound=59
29.42/26.25 nFilterCalls=4339415, avgTableProportion=0.9982701655613628, avgTableSize=577.1350953988037
29.42/26.25
29.42/26.29 num=237, depth=2..12, filters=1169925, revisions=(999418,useless=566988), ccks=3279237, wck=23.808, mem=135M848
29.42/26.29 decisions=72809, wrong=35202, backtracks=22854, failedAssignments=19752, nogoods=1421, foundSolutions=12, bestBound=59
29.42/26.29 nFilterCalls=4346882, avgTableProportion=0.998270165180671, avgTableSize=577.1349629458541
29.42/26.29
29.52/26.34 num=238, depth=4..12, filters=1172013, revisions=(1001345,useless=568091), ccks=3284534, wck=23.857, mem=135M848
29.52/26.34 decisions=72950, wrong=35269, backtracks=22898, failedAssignments=19786, nogoods=1424, foundSolutions=12, bestBound=59
29.52/26.34 nFilterCalls=4355249, avgTableProportion=0.9982701652334369, avgTableSize=577.1349810309354
29.52/26.34
29.52/26.38 num=239, depth=6..12, filters=1173960, revisions=(1003176,useless=569071), ccks=3290131, wck=23.897, mem=135M848
29.52/26.38 decisions=73084, wrong=35333, backtracks=22943, failedAssignments=19823, nogoods=1435, foundSolutions=12, bestBound=59
29.52/26.38 nFilterCalls=4362026, avgTableProportion=0.9982701649754395, avgTableSize=577.1348912179799
29.52/26.38
29.62/26.43 num=240, depth=3..11, filters=1176375, revisions=(1005414,useless=570339), ccks=3297641, wck=23.947, mem=135M848
29.62/26.43 decisions=73243, wrong=35410, backtracks=22988, failedAssignments=19864, nogoods=1438, foundSolutions=12, bestBound=59
29.62/26.43 nFilterCalls=4370541, avgTableProportion=0.9982701648025133, avgTableSize=577.1348309053731
29.62/26.43
29.62/26.48 num=241, depth=7..18, filters=1178802, revisions=(1007491,useless=571490), ccks=3304132, wck=23.996, mem=135M848
29.62/26.48 decisions=73412, wrong=35490, backtracks=23044, failedAssignments=19909, nogoods=1444, foundSolutions=12, bestBound=59
29.62/26.48 nFilterCalls=4380314, avgTableProportion=0.99827016528593, avgTableSize=577.1349985412005
29.62/26.48
29.72/26.55 num=242, depth=8..16, filters=1182078, revisions=(1010194,useless=572965), ccks=3312805, wck=24.066, mem=135M848
29.72/26.55 decisions=73606, wrong=35582, backtracks=23103, failedAssignments=19959, nogoods=1453, foundSolutions=12, bestBound=59
29.72/26.55 nFilterCalls=4393599, avgTableProportion=0.9982701656287661, avgTableSize=577.1351172467037
29.72/26.55
29.82/26.61 num=243, depth=5..13, filters=1185322, revisions=(1013149,useless=574578), ccks=3322278, wck=24.129, mem=138M437
29.82/26.61 decisions=73816, wrong=35683, backtracks=23157, failedAssignments=20014, nogoods=1459, foundSolutions=12, bestBound=59
29.82/26.61 nFilterCalls=4403732, avgTableProportion=0.9982701652849809, avgTableSize=577.1349975429931
29.82/26.61
29.82/26.69 num=244, depth=8..14, filters=1190005, revisions=(1016698,useless=576706), ccks=3333616, wck=24.209, mem=138M437
29.82/26.69 decisions=74075, wrong=35807, backtracks=23237, failedAssignments=20075, nogoods=1468, foundSolutions=12, bestBound=59
29.82/26.69 nFilterCalls=4419590, avgTableProportion=0.9982701659058865, avgTableSize=577.1352127686052
29.82/26.69
29.92/26.79 num=245, depth=3..14, filters=1194323, revisions=(1020617,useless=578974), ccks=3343554, wck=24.301, mem=138M437
29.92/26.79 decisions=74316, wrong=35925, backtracks=23312, failedAssignments=20142, nogoods=1481, foundSolutions=12, bestBound=59
29.92/26.79 nFilterCalls=4434383, avgTableProportion=0.9982701657654209, avgTableSize=577.13516356165
29.92/26.79
30.02/26.89 num=246, depth=1..12, filters=1198992, revisions=(1024891,useless=581349), ccks=3356327, wck=24.409, mem=138M437
30.02/26.89 decisions=74594, wrong=36062, backtracks=23408, failedAssignments=20216, nogoods=1486, foundSolutions=12, bestBound=59
30.02/26.89 nFilterCalls=4451176, avgTableProportion=0.9982701658878447, avgTableSize=577.1352056175716
30.02/26.89
30.12/27.00 num=247, depth=5..14, filters=1203163, revisions=(1028639,useless=583576), ccks=3365864, wck=24.517, mem=138M437
30.12/27.00 decisions=74862, wrong=36193, backtracks=23495, failedAssignments=20297, nogoods=1497, foundSolutions=12, bestBound=59
30.12/27.00 nFilterCalls=4469082, avgTableProportion=0.9982701656464201, avgTableSize=577.1351212620399
30.12/27.00
30.33/27.12 num=248, depth=3..11, filters=1208656, revisions=(1033586,useless=586508), ccks=3379847, wck=24.64, mem=141M27
30.33/27.12 decisions=75159, wrong=36339, backtracks=23590, failedAssignments=20386, nogoods=1504, foundSolutions=12, bestBound=59
30.33/27.12 nFilterCalls=4487807, avgTableProportion=0.998270165981384, avgTableSize=577.1352370990999
30.33/27.12
30.42/27.24 num=249, depth=8..17, filters=1214350, revisions=(1038156,useless=589186), ccks=3397831, wck=24.755, mem=141M27
30.42/27.24 decisions=75519, wrong=36515, backtracks=23699, failedAssignments=20484, nogoods=1507, foundSolutions=12, bestBound=59
30.42/27.24 nFilterCalls=4512201, avgTableProportion=0.9982701652859473, avgTableSize=577.1349948727905
30.42/27.24
30.52/27.38 num=250, depth=8..17, filters=1221589, revisions=(1043909,useless=592737), ccks=3415034, wck=24.896, mem=141M27
30.52/27.38 decisions=75928, wrong=36715, backtracks=23834, failedAssignments=20592, nogoods=1520, foundSolutions=12, bestBound=59
30.52/27.38 nFilterCalls=4539659, avgTableProportion=0.9982701649458189, avgTableSize=577.1348759895842
30.52/27.38
30.72/27.54 num=251, depth=6..14, filters=1230054, revisions=(1050939,useless=596572), ccks=3438810, wck=25.057, mem=143M616
30.72/27.54 decisions=76378, wrong=36936, backtracks=23973, failedAssignments=20711, nogoods=1529, foundSolutions=12, bestBound=59
30.72/27.54 nFilterCalls=4568395, avgTableProportion=0.9982701644364388, avgTableSize=577.1346982911941
30.72/27.54
30.92/27.70 num=252, depth=5..15, filters=1237730, revisions=(1057910,useless=600698), ccks=3460305, wck=25.215, mem=143M616
30.92/27.70 decisions=76856, wrong=37171, backtracks=24134, failedAssignments=20842, nogoods=1540, foundSolutions=12, bestBound=59
30.92/27.70 nFilterCalls=4596277, avgTableProportion=0.9982701641487555, avgTableSize=577.1345976319529
30.92/27.70
31.02/27.88 num=253, depth=4..12, filters=1246965, revisions=(1065817,useless=605167), ccks=3484737, wck=25.395, mem=143M616
31.02/27.88 decisions=77388, wrong=37434, backtracks=24303, failedAssignments=20986, nogoods=1547, foundSolutions=12, bestBound=59
31.02/27.88 nFilterCalls=4626864, avgTableProportion=0.9982701639619208, avgTableSize=577.1345319421534
31.02/27.88
31.36/28.12 num=254, depth=5..14, filters=1258345, revisions=(1074752,useless=610118), ccks=3515623, wck=25.635, mem=146M206
31.36/28.12 decisions=77969, wrong=37721, backtracks=24501, failedAssignments=21144, nogoods=1557, foundSolutions=12, bestBound=59
31.36/28.12 nFilterCalls=4668966, avgTableProportion=0.9982701634001615, avgTableSize=577.1343357394335
31.36/28.12
31.55/28.39 num=255, depth=6..18, filters=1270431, revisions=(1084319,useless=616051), ccks=3543774, wck=25.902, mem=148M796
31.55/28.39 decisions=78704, wrong=38083, backtracks=24771, failedAssignments=21318, nogoods=1568, foundSolutions=12, bestBound=59
31.55/28.39 nFilterCalls=4720395, avgTableProportion=0.9982701649055516, avgTableSize=577.1348573583355
31.55/28.39
31.86/28.64 num=256, depth=4..14, filters=1280633, revisions=(1092599,useless=620849), ccks=3576751, wck=26.155, mem=148M796
31.86/28.64 decisions=79355, wrong=38405, backtracks=24970, failedAssignments=21509, nogoods=1578, foundSolutions=12, bestBound=59
31.86/28.64 nFilterCalls=4766679, avgTableProportion=0.9982701659049081, avgTableSize=577.1352033564668
31.86/28.64
32.16/28.90 num=257, depth=6..17, filters=1293056, revisions=(1102664,useless=626696), ccks=3612833, wck=26.416, mem=151M385
32.16/28.90 decisions=80109, wrong=38779, backtracks=25220, failedAssignments=21720, nogoods=1584, foundSolutions=12, bestBound=59
32.16/28.90 nFilterCalls=4816572, avgTableProportion=0.998270164988659, avgTableSize=577.1348838966801
32.16/28.90
32.37/29.12 o 60
32.37/29.12 num=258, depth=5..74, filters=1305114, revisions=(1112872,useless=632476), ccks=3646522, wck=26.637, mem=151M385
32.37/29.12 decisions=80877, wrong=39157, backtracks=25468, failedAssignments=21923, nogoods=1595, foundSolutions=13, bestBound=60
32.37/29.12 nFilterCalls=4859198, avgTableProportion=0.9982701643987488, avgTableSize=577.1346779859557
32.37/29.12
32.66/29.44 num=259, depth=1..15, filters=1320731, revisions=(1126806,useless=640380), ccks=3688262, wck=26.955, mem=153M975
32.66/29.44 decisions=81785, wrong=39609, backtracks=25755, failedAssignments=22178, nogoods=1597, foundSolutions=13, bestBound=60
32.66/29.44 nFilterCalls=4905634, avgTableProportion=0.9982701639382748, avgTableSize=577.134516965595
32.66/29.44
32.66/29.45 num=260, depth=11..18, filters=1321348, revisions=(1127236,useless=640608), ccks=3689850, wck=26.964, mem=153M975
32.66/29.45 decisions=81832, wrong=39626, backtracks=25764, failedAssignments=22189, nogoods=1603, foundSolutions=13, bestBound=60
32.66/29.45 nFilterCalls=4907710, avgTableProportion=0.9982701640086536, avgTableSize=577.134541364506
32.66/29.45
32.66/29.47 num=261, depth=5..13, filters=1322197, revisions=(1127935,useless=640966), ccks=3692237, wck=26.982, mem=153M975
32.66/29.47 decisions=81881, wrong=39648, backtracks=25778, failedAssignments=22201, nogoods=1604, foundSolutions=13, bestBound=60
32.66/29.47 nFilterCalls=4910554, avgTableProportion=0.9982701639639117, avgTableSize=577.1345257581935
32.66/29.47
32.66/29.48 num=262, depth=9..15, filters=1322788, revisions=(1128479,useless=641246), ccks=3694017, wck=26.997, mem=153M975
32.66/29.48 decisions=81930, wrong=39667, backtracks=25792, failedAssignments=22214, nogoods=1608, foundSolutions=13, bestBound=60
32.66/29.48 nFilterCalls=4913324, avgTableProportion=0.9982701639684083, avgTableSize=577.1345272569039
32.66/29.48
32.76/29.51 num=263, depth=4..11, filters=1323601, revisions=(1129211,useless=641654), ccks=3696478, wck=27.02, mem=153M975
32.76/29.51 decisions=81985, wrong=39690, backtracks=25804, failedAssignments=22228, nogoods=1613, foundSolutions=13, bestBound=60
32.76/29.51 nFilterCalls=4917022, avgTableProportion=0.9982701637370973, avgTableSize=577.1344468257413
32.76/29.51
32.76/29.54 num=264, depth=4..12, filters=1324723, revisions=(1130121,useless=642194), ccks=3699838, wck=27.05, mem=153M975
32.76/29.54 decisions=82050, wrong=39719, backtracks=25824, failedAssignments=22244, nogoods=1616, foundSolutions=13, bestBound=60
32.76/29.54 nFilterCalls=4922625, avgTableProportion=0.9982701641139168, avgTableSize=577.1345775881771
32.76/29.54
32.76/29.55 num=265, depth=10..16, filters=1325513, revisions=(1130778,useless=642549), ccks=3702165, wck=27.066, mem=153M975
32.76/29.55 decisions=82114, wrong=39745, backtracks=25841, failedAssignments=22261, nogoods=1620, foundSolutions=13, bestBound=60
32.76/29.55 nFilterCalls=4925804, avgTableProportion=0.9982701641831941, avgTableSize=577.1346015797624
32.76/29.55
32.76/29.58 num=266, depth=8..13, filters=1326647, revisions=(1131792,useless=643082), ccks=3705613, wck=27.093, mem=153M975
32.76/29.58 decisions=82185, wrong=39776, backtracks=25861, failedAssignments=22280, nogoods=1625, foundSolutions=13, bestBound=60
32.76/29.58 nFilterCalls=4930098, avgTableProportion=0.9982701642290343, avgTableSize=577.1346174051713
32.76/29.58
32.86/29.61 num=267, depth=4..12, filters=1327955, revisions=(1133006,useless=643760), ccks=3708707, wck=27.122, mem=153M975
32.86/29.61 decisions=82265, wrong=39814, backtracks=25888, failedAssignments=22301, nogoods=1628, foundSolutions=13, bestBound=60
32.86/29.61 nFilterCalls=4934552, avgTableProportion=0.9982701641543053, avgTableSize=577.1345913468944
32.86/29.61
32.86/29.63 num=268, depth=7..12, filters=1328990, revisions=(1134013,useless=644322), ccks=3712002, wck=27.146, mem=153M975
32.86/29.63 decisions=82343, wrong=39849, backtracks=25907, failedAssignments=22324, nogoods=1634, foundSolutions=13, bestBound=60
32.86/29.63 nFilterCalls=4938554, avgTableProportion=0.9982701642183195, avgTableSize=577.1346134921274
32.86/29.63
32.86/29.65 num=269, depth=11..16, filters=1330338, revisions=(1135090,useless=644920), ccks=3715454, wck=27.17, mem=153M975
32.86/29.65 decisions=82439, wrong=39891, backtracks=25936, failedAssignments=22349, nogoods=1639, foundSolutions=13, bestBound=60
32.86/29.65 nFilterCalls=4944106, avgTableProportion=0.9982701644374032, avgTableSize=577.1346894666093
32.86/29.65
32.86/29.69 num=270, depth=8..15, filters=1332174, revisions=(1136634,useless=645805), ccks=3720624, wck=27.207, mem=156M564
32.86/29.69 decisions=82550, wrong=39942, backtracks=25968, failedAssignments=22377, nogoods=1643, foundSolutions=13, bestBound=60
32.86/29.69 nFilterCalls=4951458, avgTableProportion=0.9982701647621771, avgTableSize=577.1348021128322
32.86/29.69
32.96/29.73 num=271, depth=7..12, filters=1334120, revisions=(1138403,useless=646730), ccks=3726515, wck=27.248, mem=156M564
32.96/29.73 decisions=82673, wrong=39998, backtracks=26004, failedAssignments=22408, nogoods=1650, foundSolutions=13, bestBound=60
32.96/29.73 nFilterCalls=4958419, avgTableProportion=0.9982701648210605, avgTableSize=577.1348224101271
32.96/29.73
32.96/29.79 num=272, depth=5..14, filters=1336164, revisions=(1140003,useless=647686), ccks=3732514, wck=27.302, mem=156M564
32.96/29.79 decisions=82796, wrong=40057, backtracks=26043, failedAssignments=22442, nogoods=1653, foundSolutions=13, bestBound=60
32.96/29.79 nFilterCalls=4968159, avgTableProportion=0.9982701653848345, avgTableSize=577.1350180217662
32.96/29.79
33.06/29.84 num=273, depth=5..13, filters=1338554, revisions=(1141946,useless=648834), ccks=3737378, wck=27.351, mem=156M564
33.06/29.84 decisions=82934, wrong=40123, backtracks=26088, failedAssignments=22479, nogoods=1659, foundSolutions=13, bestBound=60
33.06/29.84 nFilterCalls=4976804, avgTableProportion=0.9982701655229298, avgTableSize=577.1350657972466
33.06/29.84
33.16/29.90 num=274, depth=6..14, filters=1341045, revisions=(1144029,useless=649963), ccks=3744285, wck=27.412, mem=156M564
33.16/29.90 decisions=83088, wrong=40196, backtracks=26135, failedAssignments=22520, nogoods=1665, foundSolutions=13, bestBound=60
33.16/29.90 nFilterCalls=4987044, avgTableProportion=0.9982701657844704, avgTableSize=577.1351564173085
33.16/29.90
33.16/29.95 num=275, depth=5..15, filters=1343540, revisions=(1145956,useless=651138), ccks=3749968, wck=27.463, mem=156M564
33.16/29.95 decisions=83245, wrong=40271, backtracks=26180, failedAssignments=22565, nogoods=1670, foundSolutions=13, bestBound=60
33.16/29.95 nFilterCalls=4997183, avgTableProportion=0.9982701660677809, avgTableSize=577.1352546024431
33.16/29.95
33.16/30.00 num=276, depth=3..12, filters=1345973, revisions=(1148414,useless=652611), ccks=3756682, wck=27.516, mem=156M564
33.16/30.00 decisions=83405, wrong=40347, backtracks=26217, failedAssignments=22615, nogoods=1675, foundSolutions=13, bestBound=60
33.16/30.00 nFilterCalls=5005020, avgTableProportion=0.9982701658830677, avgTableSize=577.13519026897
33.16/30.00
33.27/30.02 o 64
33.27/30.02 num=277, depth=6..74, filters=1347101, revisions=(1149206,useless=653102), ccks=3758636, wck=27.539, mem=156M564
33.27/30.02 decisions=83457, wrong=40368, backtracks=26232, failedAssignments=22627, nogoods=1681, foundSolutions=14, bestBound=64
33.27/30.02 nFilterCalls=5009370, avgTableProportion=0.9982701660338705, avgTableSize=577.1352425554511
33.27/30.02
33.27/30.10 num=278, depth=5..13, filters=1350899, revisions=(1152463,useless=654925), ccks=3768574, wck=27.616, mem=159M154
33.27/30.10 decisions=83660, wrong=40464, backtracks=26291, failedAssignments=22688, nogoods=1685, foundSolutions=14, bestBound=64
33.27/30.10 nFilterCalls=5020815, avgTableProportion=0.9982701657233245, avgTableSize=577.1351344353457
33.27/30.10
33.37/30.11 num=279, depth=6..11, filters=1351421, revisions=(1152930,useless=655163), ccks=3770055, wck=27.626, mem=159M154
33.37/30.11 decisions=83694, wrong=40478, backtracks=26297, failedAssignments=22699, nogoods=1690, foundSolutions=14, bestBound=64
33.37/30.11 nFilterCalls=5022475, avgTableProportion=0.9982701657610751, avgTableSize=577.1351475119338
33.37/30.11
33.37/30.13 num=280, depth=5..13, filters=1352292, revisions=(1153625,useless=655588), ccks=3772021, wck=27.644, mem=159M154
33.37/30.13 decisions=83740, wrong=40498, backtracks=26313, failedAssignments=22711, nogoods=1693, foundSolutions=14, bestBound=64
33.37/30.13 nFilterCalls=5025998, avgTableProportion=0.9982701658620381, avgTableSize=577.1351825050467
33.37/30.13
33.37/30.15 num=281, depth=10..17, filters=1353350, revisions=(1154435,useless=656046), ccks=3774428, wck=27.662, mem=159M154
33.37/30.15 decisions=83802, wrong=40524, backtracks=26335, failedAssignments=22724, nogoods=1696, foundSolutions=14, bestBound=64
33.37/30.15 nFilterCalls=5029837, avgTableProportion=0.9982701659578835, avgTableSize=577.1352157137497
33.37/30.15
33.37/30.16 num=282, depth=4..9, filters=1353990, revisions=(1155055,useless=656399), ccks=3776419, wck=27.675, mem=159M154
33.37/30.16 decisions=83846, wrong=40544, backtracks=26347, failedAssignments=22738, nogoods=1700, foundSolutions=14, bestBound=64
33.37/30.16 nFilterCalls=5031621, avgTableProportion=0.9982701659864748, avgTableSize=577.1352256062212
33.37/30.16
33.37/30.18 num=283, depth=3..14, filters=1354846, revisions=(1155850,useless=656845), ccks=3778607, wck=27.696, mem=159M154
33.37/30.18 decisions=83902, wrong=40568, backtracks=26362, failedAssignments=22754, nogoods=1706, foundSolutions=14, bestBound=64
33.37/30.18 nFilterCalls=5035075, avgTableProportion=0.9982701659317614, avgTableSize=577.1352065262186
33.37/30.18
33.46/30.20 num=284, depth=4..12, filters=1355859, revisions=(1156839,useless=657402), ccks=3781091, wck=27.72, mem=159M154
33.46/30.20 decisions=83962, wrong=40596, backtracks=26384, failedAssignments=22771, nogoods=1709, foundSolutions=14, bestBound=64
33.46/30.20 nFilterCalls=5038652, avgTableProportion=0.998270165897341, avgTableSize=577.1351944924952
33.46/30.20
33.46/30.24 num=285, depth=4..12, filters=1357400, revisions=(1157914,useless=658098), ccks=3784471, wck=27.757, mem=159M154
33.46/30.24 decisions=84037, wrong=40631, backtracks=26409, failedAssignments=22790, nogoods=1713, foundSolutions=14, bestBound=64
33.46/30.24 nFilterCalls=5044976, avgTableProportion=0.9982701663377219, avgTableSize=577.1353473237534
33.46/30.24
33.46/30.26 num=286, depth=10..15, filters=1358532, revisions=(1158903,useless=658652), ccks=3787542, wck=27.777, mem=159M154
33.46/30.26 decisions=84119, wrong=40667, backtracks=26432, failedAssignments=22811, nogoods=1721, foundSolutions=14, bestBound=64
33.46/30.26 nFilterCalls=5048984, avgTableProportion=0.9982701663947217, avgTableSize=577.1353670362196
33.46/30.26
33.46/30.29 num=287, depth=5..11, filters=1360220, revisions=(1160334,useless=659417), ccks=3790968, wck=27.809, mem=159M154
33.46/30.29 decisions=84210, wrong=40709, backtracks=26461, failedAssignments=22834, nogoods=1726, foundSolutions=14, bestBound=64
33.46/30.29 nFilterCalls=5053922, avgTableProportion=0.9982701666049727, avgTableSize=577.1354399612816
33.46/30.29
33.57/30.33 num=288, depth=3..9, filters=1361653, revisions=(1161771,useless=660277), ccks=3794968, wck=27.84, mem=159M154
33.57/30.33 decisions=84289, wrong=40746, backtracks=26488, failedAssignments=22859, nogoods=1731, foundSolutions=14, bestBound=64
33.57/30.33 nFilterCalls=5058228, avgTableProportion=0.9982701665544688, avgTableSize=577.1354223257631
33.57/30.33
33.57/30.37 num=289, depth=3..14, filters=1363240, revisions=(1163170,useless=661073), ccks=3799829, wck=27.881, mem=159M154
33.57/30.37 decisions=84398, wrong=40796, backtracks=26518, failedAssignments=22887, nogoods=1734, foundSolutions=14, bestBound=64
33.57/30.37 nFilterCalls=5064843, avgTableProportion=0.9982701667334617, avgTableSize=577.1354843575606
33.57/30.37
33.70/30.41 num=290, depth=3..11, filters=1365264, revisions=(1165106,useless=662188), ccks=3804430, wck=27.93, mem=159M154
33.70/30.41 decisions=84512, wrong=40851, backtracks=26553, failedAssignments=22918, nogoods=1738, foundSolutions=14, bestBound=64
33.70/30.41 nFilterCalls=5072337, avgTableProportion=0.998270166700256, avgTableSize=577.1354726627982
33.70/30.41
33.70/30.45 num=291, depth=4..13, filters=1367075, revisions=(1166722,useless=662988), ccks=3809633, wck=27.967, mem=159M154
33.70/30.45 decisions=84625, wrong=40905, backtracks=26586, failedAssignments=22952, nogoods=1741, foundSolutions=14, bestBound=64
33.70/30.45 nFilterCalls=5078272, avgTableProportion=0.9982701665792862, avgTableSize=577.1354305165222
33.70/30.45
33.70/30.49 num=292, depth=8..14, filters=1369223, revisions=(1168698,useless=664145), ccks=3815604, wck=28.006, mem=160M474
33.70/30.49 decisions=84770, wrong=40973, backtracks=26632, failedAssignments=22989, nogoods=1749, foundSolutions=14, bestBound=64
33.70/30.49 nFilterCalls=5085668, avgTableProportion=0.9982701666942901, avgTableSize=577.1354703059657
33.70/30.49
33.80/30.54 num=293, depth=2..11, filters=1371568, revisions=(1170931,useless=665442), ccks=3820682, wck=28.059, mem=160M474
33.80/30.54 decisions=84900, wrong=41034, backtracks=26672, failedAssignments=23030, nogoods=1754, foundSolutions=14, bestBound=64
33.80/30.54 nFilterCalls=5093811, avgTableProportion=0.9982701665980671, avgTableSize=577.1354367093714
33.80/30.54
33.90/30.61 num=294, depth=4..12, filters=1374297, revisions=(1173459,useless=666867), ccks=3828165, wck=28.12, mem=160M474
33.90/30.61 decisions=85062, wrong=41112, backtracks=26724, failedAssignments=23075, nogoods=1759, foundSolutions=14, bestBound=64
33.90/30.61 nFilterCalls=5103523, avgTableProportion=0.9982701668229679, avgTableSize=577.1355146239176
33.90/30.61
33.90/30.66 num=295, depth=7..18, filters=1376822, revisions=(1175609,useless=668125), ccks=3834722, wck=28.171, mem=160M474
33.90/30.66 decisions=85224, wrong=41189, backtracks=26780, failedAssignments=23125, nogoods=1764, foundSolutions=14, bestBound=64
33.90/30.66 nFilterCalls=5112938, avgTableProportion=0.9982701670679821, avgTableSize=577.1355995320107
33.90/30.66
34.04/30.75 num=296, depth=4..14, filters=1380301, revisions=(1178895,useless=670028), ccks=3844181, wck=28.261, mem=31M59
34.04/30.75 decisions=85432, wrong=41291, backtracks=26847, failedAssignments=23180, nogoods=1770, foundSolutions=14, bestBound=64
34.04/30.75 nFilterCalls=5125022, avgTableProportion=0.9982701670700699, avgTableSize=577.135600003278
34.04/30.75
34.14/30.85 num=297, depth=2..10, filters=1385122, revisions=(1183343,useless=672518), ccks=3855703, wck=28.369, mem=31M59
34.14/30.85 decisions=85679, wrong=41412, backtracks=26926, failedAssignments=23241, nogoods=1778, foundSolutions=14, bestBound=64
34.14/30.85 nFilterCalls=5141947, avgTableProportion=0.9982701670738706, avgTableSize=577.1356009698272
34.14/30.85
34.24/30.92 num=298, depth=4..13, filters=1389106, revisions=(1186698,useless=674498), ccks=3866506, wck=28.439, mem=31M59
34.24/30.92 decisions=85909, wrong=41524, backtracks=26997, failedAssignments=23308, nogoods=1787, foundSolutions=14, bestBound=64
34.24/30.92 nFilterCalls=5157205, avgTableProportion=0.9982701666829058, avgTableSize=577.1354648496617
34.24/30.92
34.35/31.01 num=299, depth=6..13, filters=1394071, revisions=(1191092,useless=676950), ccks=3879963, wck=28.524, mem=31M59
34.35/31.01 decisions=86194, wrong=41663, backtracks=27089, failedAssignments=23382, nogoods=1796, foundSolutions=14, bestBound=64
34.35/31.01 nFilterCalls=5171678, avgTableProportion=0.9982701664841548, avgTableSize=577.1353955137965
34.35/31.01
34.35/31.10 num=300, depth=2..18, filters=1398803, revisions=(1195234,useless=679240), ccks=3893538, wck=28.613, mem=33M658
34.35/31.10 decisions=86477, wrong=41800, backtracks=27180, failedAssignments=23463, nogoods=1802, foundSolutions=14, bestBound=64
34.35/31.10 nFilterCalls=5187061, avgTableProportion=0.9982701666150546, avgTableSize=577.1354406666896
34.35/31.10
34.54/31.23 num=301, depth=4..13, filters=1404682, revisions=(1200038,useless=682182), ccks=3906510, wck=28.741, mem=33M658
34.54/31.23 decisions=86811, wrong=41963, backtracks=27287, failedAssignments=23552, nogoods=1808, foundSolutions=14, bestBound=64
34.54/31.23 nFilterCalls=5210038, avgTableProportion=0.998270166705355, avgTableSize=577.1354715646987
34.54/31.23
34.64/31.35 num=302, depth=4..14, filters=1411123, revisions=(1205538,useless=685184), ccks=3922421, wck=28.868, mem=33M658
34.64/31.35 decisions=87160, wrong=42135, backtracks=27393, failedAssignments=23650, nogoods=1816, foundSolutions=14, bestBound=64
34.64/31.35 nFilterCalls=5231992, avgTableProportion=0.9982701666773899, avgTableSize=577.1354614074334
34.64/31.35
34.74/31.49 num=303, depth=4..13, filters=1417863, revisions=(1211452,useless=688565), ccks=3939419, wck=29.008, mem=33M658
34.74/31.49 decisions=87562, wrong=42333, backtracks=27520, failedAssignments=23758, nogoods=1822, foundSolutions=14, bestBound=64
34.74/31.49 nFilterCalls=5254345, avgTableProportion=0.9982701667986881, avgTableSize=577.1355030931543
34.74/31.49
34.94/31.60 num=304, depth=6..18, filters=1423612, revisions=(1216456,useless=691348), ccks=3958070, wck=29.119, mem=36M257
34.94/31.60 decisions=87985, wrong=42539, backtracks=27658, failedAssignments=23877, nogoods=1832, foundSolutions=14, bestBound=64
34.94/31.60 nFilterCalls=5279931, avgTableProportion=0.9982701659533801, avgTableSize=577.135208963905
34.94/31.60
35.04/31.77 num=305, depth=4..12, filters=1431750, revisions=(1223532,useless=695492), ccks=3979745, wck=29.286, mem=36M257
35.04/31.77 decisions=88457, wrong=42772, backtracks=27806, failedAssignments=24008, nogoods=1840, foundSolutions=14, bestBound=64
35.04/31.77 nFilterCalls=5308198, avgTableProportion=0.998270166015206, avgTableSize=577.1352298840397
35.04/31.77
35.24/31.92 num=306, depth=5..17, filters=1439854, revisions=(1230609,useless=699610), ccks=3999218, wck=29.439, mem=36M257
35.24/31.92 decisions=88938, wrong=43008, backtracks=27954, failedAssignments=24152, nogoods=1844, foundSolutions=14, bestBound=64
35.24/31.92 nFilterCalls=5336950, avgTableProportion=0.9982701660895679, avgTableSize=577.135255155098
35.24/31.92
35.45/32.11 num=307, depth=3..14, filters=1449062, revisions=(1238744,useless=704300), ccks=4026058, wck=29.628, mem=38M856
35.45/32.11 decisions=89487, wrong=43280, backtracks=28138, failedAssignments=24310, nogoods=1854, foundSolutions=14, bestBound=64
35.45/32.11 nFilterCalls=5368943, avgTableProportion=0.9982701662279556, avgTableSize=577.1353026098433
35.45/32.11
35.64/32.33 num=308, depth=3..14, filters=1458760, revisions=(1246858,useless=709042), ccks=4048447, wck=29.849, mem=38M856
35.64/32.33 decisions=90042, wrong=43554, backtracks=28333, failedAssignments=24484, nogoods=1864, foundSolutions=14, bestBound=64
35.64/32.33 nFilterCalls=5406249, avgTableProportion=0.998270166268015, avgTableSize=577.135315816937
35.64/32.33
35.96/32.65 num=309, depth=2..12, filters=1472294, revisions=(1258817,useless=716014), ccks=4079354, wck=30.166, mem=41M455
35.96/32.65 decisions=90722, wrong=43891, backtracks=28565, failedAssignments=24675, nogoods=1872, foundSolutions=14, bestBound=64
35.96/32.65 nFilterCalls=5454966, avgTableProportion=0.998270166476892, avgTableSize=577.1353874616267
35.96/32.65
36.16/32.90 num=310, depth=3..17, filters=1484078, revisions=(1269146,useless=721673), ccks=4111263, wck=30.411, mem=44M54
36.16/32.90 decisions=91446, wrong=44250, backtracks=28797, failedAssignments=24886, nogoods=1886, foundSolutions=14, bestBound=64
36.16/32.90 nFilterCalls=5500035, avgTableProportion=0.998270166193595, avgTableSize=577.135288229984
36.16/32.90
36.47/33.16 num=311, depth=6..16, filters=1497542, revisions=(1280552,useless=728282), ccks=4148129, wck=30.674, mem=44M54
36.47/33.16 decisions=92278, wrong=44661, backtracks=29062, failedAssignments=25118, nogoods=1900, foundSolutions=14, bestBound=64
36.47/33.16 nFilterCalls=5550766, avgTableProportion=0.9982701663936755, avgTableSize=577.1353568138163
36.47/33.16
36.76/33.50 num=312, depth=3..15, filters=1514517, revisions=(1295238,useless=736654), ccks=4193459, wck=31.011, mem=46M653
36.76/33.50 decisions=93286, wrong=45162, backtracks=29399, failedAssignments=25373, nogoods=1910, foundSolutions=14, bestBound=64
36.76/33.50 nFilterCalls=5606268, avgTableProportion=0.9982701665687493, avgTableSize=577.1354166443701
36.76/33.50
37.16/33.90 num=313, depth=1..13, filters=1530714, revisions=(1309568,useless=744775), ccks=4239632, wck=31.411, mem=49M251
37.16/33.90 decisions=94279, wrong=45656, backtracks=29728, failedAssignments=25654, nogoods=1915, foundSolutions=14, bestBound=64
37.16/33.90 nFilterCalls=5669304, avgTableProportion=0.9982701669542082, avgTableSize=577.1355494431062
37.16/33.90
37.66/34.32 num=314, depth=2..17, filters=1551023, revisions=(1327200,useless=754935), ccks=4294591, wck=31.835, mem=51M850
37.66/34.32 decisions=95473, wrong=46250, backtracks=30138, failedAssignments=25963, nogoods=1923, foundSolutions=14, bestBound=64
37.66/34.32 nFilterCalls=5746310, avgTableProportion=0.9982701670986762, avgTableSize=577.1355983230977
37.66/34.32
38.06/34.76 num=315, depth=3..13, filters=1571937, revisions=(1345357,useless=765564), ccks=4348931, wck=32.278, mem=54M449
38.06/34.76 decisions=96713, wrong=46867, backtracks=30551, failedAssignments=26303, nogoods=1928, foundSolutions=14, bestBound=64
38.06/34.76 nFilterCalls=5818289, avgTableProportion=0.9982701673795588, avgTableSize=577.1356947033742
38.06/34.76
38.56/35.25 num=316, depth=3..16, filters=1596779, revisions=(1366207,useless=778057), ccks=4409239, wck=32.769, mem=57M48
38.56/35.25 decisions=98107, wrong=47559, backtracks=30992, failedAssignments=26677, nogoods=1933, foundSolutions=14, bestBound=64
38.56/35.25 nFilterCalls=5903772, avgTableProportion=0.9982701694035007, avgTableSize=577.1363963581249
38.56/35.25
39.26/35.93 num=317, depth=1..14, filters=1626234, revisions=(1391200,useless=793164), ccks=4479710, wck=33.445, mem=59M647
39.26/35.93 decisions=99647, wrong=48327, backtracks=31507, failedAssignments=27088, nogoods=1939, foundSolutions=14, bestBound=64
39.26/35.93 nFilterCalls=6009486, avgTableProportion=0.9982701709852876, avgTableSize=577.1369441579529
39.26/35.93
39.87/36.58 num=318, depth=3..16, filters=1654039, revisions=(1414543,useless=807589), ccks=4551137, wck=34.093, mem=62M245
39.87/36.58 decisions=101370, wrong=49185, backtracks=32091, failedAssignments=27540, nogoods=1948, foundSolutions=14, bestBound=64
39.87/36.58 nFilterCalls=6119318, avgTableProportion=0.9982701742607417, avgTableSize=577.138080256656
39.87/36.58
40.48/37.18 num=319, depth=2..16, filters=1683072, revisions=(1439997,useless=822704), ccks=4630399, wck=34.698, mem=67M443
40.48/37.18 decisions=103111, wrong=50054, backtracks=32675, failedAssignments=28037, nogoods=1954, foundSolutions=14, bestBound=64
40.48/37.18 nFilterCalls=6222689, avgTableProportion=0.998270174961562, avgTableSize=577.1383221947939
40.48/37.18
41.29/37.91 num=320, depth=3..15, filters=1717937, revisions=(1470078,useless=839779), ccks=4730112, wck=35.424, mem=70M42
41.29/37.91 decisions=105157, wrong=51072, backtracks=33376, failedAssignments=28584, nogoods=1964, foundSolutions=14, bestBound=64
41.29/37.91 nFilterCalls=6341313, avgTableProportion=0.9982701742025626, avgTableSize=577.1380568976804
41.29/37.91
42.09/38.77 num=321, depth=0..18, filters=1754594, revisions=(1502520,useless=858648), ccks=4835006, wck=36.285, mem=75M240
42.09/38.77 decisions=107328, wrong=52154, backtracks=34089, failedAssignments=29186, nogoods=1971, foundSolutions=14, bestBound=64
42.09/38.77 nFilterCalls=6476456, avgTableProportion=0.9982701749632723, avgTableSize=577.1383193215548
42.09/38.77
43.09/39.73 num=322, depth=3..14, filters=1797705, revisions=(1537233,useless=879654), ccks=4940709, wck=37.244, mem=80M437
43.09/39.73 decisions=109709, wrong=53341, backtracks=34909, failedAssignments=29848, nogoods=1984, foundSolutions=14, bestBound=64
43.09/39.73 nFilterCalls=6636857, avgTableProportion=0.9982701769374183, avgTableSize=577.1390029949417
43.09/39.73
44.09/40.72 num=323, depth=0..14, filters=1843126, revisions=(1577964,useless=903311), ccks=5063522, wck=38.24, mem=83M36
44.09/40.72 decisions=112286, wrong=54626, backtracks=35760, failedAssignments=30576, nogoods=1993, foundSolutions=14, bestBound=64
44.09/40.72 nFilterCalls=6791885, avgTableProportion=0.9982701759987517, avgTableSize=577.1386750511824
44.09/40.72
45.19/41.88 num=324, depth=2..16, filters=1894150, revisions=(1623047,useless=929649), ccks=5206665, wck=39.4, mem=90M832
45.19/41.88 decisions=115157, wrong=56058, backtracks=36764, failedAssignments=31377, nogoods=2007, foundSolutions=14, bestBound=64
45.19/41.88 nFilterCalls=6970812, avgTableProportion=0.998270177000178, avgTableSize=577.1390208199562
45.19/41.88
46.50/43.16 num=325, depth=2..19, filters=1949366, revisions=(1671013,useless=956819), ccks=5354254, wck=40.675, mem=96M30
46.50/43.16 decisions=118430, wrong=57692, backtracks=37887, failedAssignments=32258, nogoods=2017, foundSolutions=14, bestBound=64
46.50/43.16 nFilterCalls=7166834, avgTableProportion=0.9982701755811169, avgTableSize=577.1385257423292
46.50/43.16
47.79/44.45 num=326, depth=3..18, filters=2011205, revisions=(1722549,useless=988656), ccks=5504921, wck=41.969, mem=103M826
47.79/44.45 decisions=121962, wrong=59455, backtracks=39105, failedAssignments=33228, nogoods=2028, foundSolutions=14, bestBound=64
47.79/44.45 nFilterCalls=7389496, avgTableProportion=0.9982701800266545, avgTableSize=577.1400676040694
47.79/44.45
49.19/45.87 num=327, depth=1..15, filters=2077957, revisions=(1781183,useless=1022212), ccks=5685566, wck=43.39, mem=111M623
49.19/45.87 decisions=125738, wrong=61341, backtracks=40403, failedAssignments=34295, nogoods=2038, foundSolutions=14, bestBound=64
49.19/45.87 nFilterCalls=7613442, avgTableProportion=0.99827017893124, avgTableSize=577.1396849151803
49.19/45.87
50.99/47.69 num=328, depth=1..16, filters=2153063, revisions=(1842659,useless=1058111), ccks=5874087, wck=45.208, mem=119M419
50.99/47.69 decisions=129818, wrong=63378, backtracks=41793, failedAssignments=35468, nogoods=2049, foundSolutions=14, bestBound=64
50.99/47.69 nFilterCalls=7902891, avgTableProportion=0.9982701798566243, avgTableSize=577.1400037024425
50.99/47.69
53.00/49.66 num=329, depth=2..19, filters=2240850, revisions=(1916559,useless=1102754), ccks=6095822, wck=47.178, mem=129M815
53.00/49.66 decisions=134529, wrong=65730, backtracks=43379, failedAssignments=36759, nogoods=2060, foundSolutions=14, bestBound=64
53.00/49.66 nFilterCalls=8213720, avgTableProportion=0.9982701786913701, avgTableSize=577.1395963095894
53.00/49.66
54.41/51.01 o 65
54.41/51.01 num=330, depth=2..74, filters=2299938, revisions=(1969146,useless=1133261), ccks=6254160, wck=48.528, mem=137M611
54.41/51.01 decisions=137932, wrong=67428, backtracks=44508, failedAssignments=37718, nogoods=2073, foundSolutions=15, bestBound=65
54.41/51.01 nFilterCalls=8423982, avgTableProportion=0.9982701786060338, avgTableSize=577.1395649943222
54.41/51.01
56.71/53.35 num=331, depth=2..15, filters=2403208, revisions=(2055890,useless=1186878), ccks=6508514, wck=50.865, mem=148M6
56.71/53.35 decisions=143605, wrong=70262, backtracks=46461, failedAssignments=39280, nogoods=2085, foundSolutions=15, bestBound=65
56.71/53.35 nFilterCalls=8776178, avgTableProportion=0.9982701772193555, avgTableSize=577.1390807023286
56.71/53.35
56.71/53.37 num=332, depth=10..16, filters=2403783, revisions=(2056379,useless=1187145), ccks=6510369, wck=50.88, mem=148M6
56.71/53.37 decisions=143653, wrong=70280, backtracks=46472, failedAssignments=39291, nogoods=2090, foundSolutions=15, bestBound=65
56.71/53.37 nFilterCalls=8778935, avgTableProportion=0.9982701773701155, avgTableSize=577.1391330497378
56.71/53.37
56.71/53.39 num=333, depth=7..15, filters=2404571, revisions=(2057021,useless=1187516), ccks=6512566, wck=50.905, mem=148M6
56.71/53.39 decisions=143703, wrong=70299, backtracks=46481, failedAssignments=39303, nogoods=2097, foundSolutions=15, bestBound=65
56.71/53.39 nFilterCalls=8782969, avgTableProportion=0.9982701773635566, avgTableSize=577.1391307426908
56.71/53.39
56.81/53.40 num=334, depth=6..14, filters=2405117, revisions=(2057517,useless=1187808), ccks=6514227, wck=50.919, mem=148M6
56.81/53.40 decisions=143749, wrong=70317, backtracks=46491, failedAssignments=39316, nogoods=2100, foundSolutions=15, bestBound=65
56.81/53.40 nFilterCalls=8785282, avgTableProportion=0.9982701774341213, avgTableSize=577.1391552371341
56.81/53.40
56.81/53.43 num=335, depth=5..14, filters=2405963, revisions=(2058246,useless=1188224), ccks=6516450, wck=50.941, mem=148M6
56.81/53.43 decisions=143798, wrong=70338, backtracks=46503, failedAssignments=39330, nogoods=2104, foundSolutions=15, bestBound=65
56.81/53.43 nFilterCalls=8788842, avgTableProportion=0.9982701774406171, avgTableSize=577.1391574680714
56.81/53.43
56.81/53.45 num=336, depth=7..13, filters=2407075, revisions=(2059141,useless=1188758), ccks=6519388, wck=50.966, mem=148M6
56.81/53.45 decisions=143867, wrong=70369, backtracks=46523, failedAssignments=39346, nogoods=2107, foundSolutions=15, bestBound=65
56.81/53.45 nFilterCalls=8793369, avgTableProportion=0.9982701775120931, avgTableSize=577.1391822633623
56.81/53.45
56.81/53.47 num=337, depth=3..16, filters=2408004, revisions=(2059938,useless=1189206), ccks=6521748, wck=50.99, mem=148M6
56.81/53.47 decisions=143927, wrong=70396, backtracks=46543, failedAssignments=39363, nogoods=2111, foundSolutions=15, bestBound=65
56.81/53.47 nFilterCalls=8797178, avgTableProportion=0.9982701775402675, avgTableSize=577.1391920227146
56.81/53.47
56.91/53.51 num=338, depth=4..17, filters=2409147, revisions=(2060927,useless=1189803), ccks=6524461, wck=51.02, mem=148M6
56.91/53.51 decisions=143997, wrong=70428, backtracks=46568, failedAssignments=39382, nogoods=2116, foundSolutions=15, bestBound=65
56.91/53.51 nFilterCalls=8802131, avgTableProportion=0.9982701776000857, avgTableSize=577.139212765636
56.91/53.51
56.91/53.54 num=339, depth=2..12, filters=2410454, revisions=(2062059,useless=1190466), ccks=6527625, wck=51.051, mem=148M6
56.91/53.54 decisions=144074, wrong=70463, backtracks=46593, failedAssignments=39403, nogoods=2119, foundSolutions=15, bestBound=65
56.91/53.54 nFilterCalls=8807009, avgTableProportion=0.9982701776877654, avgTableSize=577.1392431868753
56.91/53.54
56.91/53.57 num=340, depth=5..19, filters=2411895, revisions=(2063274,useless=1191223), ccks=6530484, wck=51.083, mem=148M6
56.91/53.57 decisions=144159, wrong=70501, backtracks=46615, failedAssignments=39426, nogoods=2127, foundSolutions=15, bestBound=65
56.91/53.57 nFilterCalls=8813067, avgTableProportion=0.9982701777690534, avgTableSize=577.1392713796457
56.91/53.57
56.91/53.59 num=341, depth=5..17, filters=2413099, revisions=(2064267,useless=1191795), ccks=6533975, wck=51.11, mem=148M6
56.91/53.59 decisions=144247, wrong=70540, backtracks=46641, failedAssignments=39451, nogoods=2135, foundSolutions=15, bestBound=65
56.91/53.59 nFilterCalls=8817683, avgTableProportion=0.9982701778886839, avgTableSize=577.1393129011328
56.91/53.59
57.01/53.64 num=342, depth=4..13, filters=2414986, revisions=(2065951,useless=1192855), ccks=6539080, wck=51.15, mem=148M6
57.01/53.64 decisions=144363, wrong=70596, backtracks=46685, failedAssignments=39479, nogoods=2140, foundSolutions=15, bestBound=65
57.01/53.64 nFilterCalls=8823979, avgTableProportion=0.9982701780036182, avgTableSize=577.1393527795113
57.01/53.64
57.01/53.67 num=343, depth=3..17, filters=2416623, revisions=(2067389,useless=1193711), ccks=6542798, wck=51.19, mem=150M605
57.01/53.67 decisions=144466, wrong=70644, backtracks=46715, failedAssignments=39510, nogoods=2144, foundSolutions=15, bestBound=65
57.01/53.67 nFilterCalls=8830330, avgTableProportion=0.9982701782039168, avgTableSize=577.1394223092456
57.01/53.67
57.11/53.73 num=344, depth=2..14, filters=2418730, revisions=(2069230,useless=1194775), ccks=6547672, wck=51.243, mem=150M605
57.11/53.73 decisions=144582, wrong=70697, backtracks=46752, failedAssignments=39544, nogoods=2149, foundSolutions=15, bestBound=65
57.11/53.73 nFilterCalls=8838309, avgTableProportion=0.9982701784430181, avgTableSize=577.1395053058227
57.11/53.73
57.11/53.78 num=345, depth=4..11, filters=2421185, revisions=(2071230,useless=1195990), ccks=6554724, wck=51.296, mem=150M605
57.11/53.78 decisions=144726, wrong=70767, backtracks=46798, failedAssignments=39581, nogoods=2150, foundSolutions=15, bestBound=65
57.11/53.78 nFilterCalls=8848730, avgTableProportion=0.9982701784758341, avgTableSize=577.1395166312002
57.11/53.78
57.21/53.83 num=346, depth=3..13, filters=2423424, revisions=(2073212,useless=1197214), ccks=6559936, wck=51.344, mem=150M605
57.21/53.83 decisions=144865, wrong=70834, backtracks=46839, failedAssignments=39622, nogoods=2157, foundSolutions=15, bestBound=65
57.21/53.83 nFilterCalls=8856111, avgTableProportion=0.9982701786106387, avgTableSize=577.1395634042979
57.21/53.83
57.31/53.91 num=347, depth=2..13, filters=2426481, revisions=(2075807,useless=1198721), ccks=6567330, wck=51.423, mem=150M605
57.31/53.91 decisions=145036, wrong=70916, backtracks=46892, failedAssignments=39667, nogoods=2167, foundSolutions=15, bestBound=65
57.31/53.91 nFilterCalls=8868389, avgTableProportion=0.9982701787597079, avgTableSize=577.1396150980747
57.31/53.91
57.31/53.98 num=348, depth=3..10, filters=2430028, revisions=(2079084,useless=1200649), ccks=6576162, wck=51.493, mem=150M605
57.31/53.98 decisions=145223, wrong=71008, backtracks=46959, failedAssignments=39717, nogoods=2169, foundSolutions=15, bestBound=65
57.31/53.98 nFilterCalls=8879245, avgTableProportion=0.9982701786637403, avgTableSize=577.139581687407
57.31/53.98
57.42/54.06 num=349, depth=7..16, filters=2433505, revisions=(2081815,useless=1202265), ccks=6585346, wck=51.571, mem=150M605
57.42/54.06 decisions=145434, wrong=71110, backtracks=47028, failedAssignments=39772, nogoods=2174, foundSolutions=15, bestBound=65
57.42/54.06 nFilterCalls=8892637, avgTableProportion=0.9982701793644931, avgTableSize=577.1398250035395
57.42/54.06
57.52/54.13 num=350, depth=4..15, filters=2436896, revisions=(2084705,useless=1203981), ccks=6594255, wck=51.64, mem=150M605
57.52/54.13 decisions=145643, wrong=71211, backtracks=47100, failedAssignments=39833, nogoods=2180, foundSolutions=15, bestBound=65
57.52/54.13 nFilterCalls=8904636, avgTableProportion=0.9982701795743119, avgTableSize=577.1398978015496
57.52/54.13
57.61/54.20 num=351, depth=5..15, filters=2440638, revisions=(2087938,useless=1205809), ccks=6604447, wck=51.716, mem=153M204
57.61/54.20 decisions=145904, wrong=71338, backtracks=47187, failedAssignments=39900, nogoods=2190, foundSolutions=15, bestBound=65
57.61/54.20 nFilterCalls=8920517, avgTableProportion=0.9982701795495473, avgTableSize=577.139889089388
57.61/54.20
57.71/54.32 num=352, depth=4..13, filters=2446161, revisions=(2092326,useless=1208647), ccks=6617767, wck=51.834, mem=153M204
57.71/54.32 decisions=146190, wrong=71478, backtracks=47286, failedAssignments=39974, nogoods=2195, foundSolutions=15, bestBound=65
57.71/54.32 nFilterCalls=8939821, avgTableProportion=0.9982701797578285, avgTableSize=577.1399613034757
57.71/54.32
57.81/54.44 num=353, depth=1..12, filters=2451755, revisions=(2096948,useless=1211492), ccks=6630935, wck=51.952, mem=153M204
57.81/54.44 decisions=146473, wrong=71617, backtracks=47383, failedAssignments=40055, nogoods=2200, foundSolutions=15, bestBound=65
57.81/54.44 nFilterCalls=8957888, avgTableProportion=0.9982701799041961, avgTableSize=577.1400120206906
57.81/54.44
57.91/54.57 num=354, depth=3..15, filters=2458250, revisions=(2102086,useless=1214439), ccks=6647484, wck=52.083, mem=155M803
57.91/54.57 decisions=146823, wrong=71790, backtracks=47509, failedAssignments=40144, nogoods=2205, foundSolutions=15, bestBound=65
57.91/54.57 nFilterCalls=8982320, avgTableProportion=0.9982701800640424, avgTableSize=577.1400673768024
57.91/54.57
58.01/54.68 num=355, depth=3..18, filters=2464436, revisions=(2107596,useless=1217646), ccks=6662790, wck=52.196, mem=155M803
58.01/54.68 decisions=147186, wrong=71969, backtracks=47627, failedAssignments=40242, nogoods=2215, foundSolutions=15, bestBound=65
58.01/54.68 nFilterCalls=9002952, avgTableProportion=0.9982701799615213, avgTableSize=577.1400316251825
58.01/54.68
58.21/54.84 num=356, depth=2..13, filters=2471129, revisions=(2113377,useless=1221120), ccks=6680910, wck=52.356, mem=155M803
58.21/54.84 decisions=147576, wrong=72162, backtracks=47763, failedAssignments=40350, nogoods=2227, foundSolutions=15, bestBound=65
58.21/54.84 nFilterCalls=9027187, avgTableProportion=0.9982701799767706, avgTableSize=577.1400367578516
58.21/54.84
58.31/54.97 num=357, depth=3..11, filters=2477659, revisions=(2119132,useless=1224477), ccks=6697486, wck=52.487, mem=155M803
58.31/54.97 decisions=147972, wrong=72358, backtracks=47896, failedAssignments=40469, nogoods=2233, foundSolutions=15, bestBound=65
58.31/54.97 nFilterCalls=9049876, avgTableProportion=0.9982701798447814, avgTableSize=577.1399907578844
58.31/54.97
58.52/55.18 num=358, depth=2..10, filters=2486243, revisions=(2126653,useless=1229156), ccks=6720867, wck=52.694, mem=158M402
58.52/55.18 decisions=148451, wrong=72595, backtracks=48063, failedAssignments=40600, nogoods=2238, foundSolutions=15, bestBound=65
58.52/55.18 nFilterCalls=9082290, avgTableProportion=0.9982701801777092, avgTableSize=577.1401061846736
58.52/55.18
58.71/55.39 num=359, depth=5..18, filters=2495775, revisions=(2133716,useless=1233328), ccks=6745347, wck=52.901, mem=158M402
58.71/55.39 decisions=148953, wrong=72842, backtracks=48236, failedAssignments=40744, nogoods=2243, foundSolutions=15, bestBound=65
58.71/55.39 nFilterCalls=9117326, avgTableProportion=0.9982701815141285, avgTableSize=577.1405701627867
58.71/55.39
59.01/55.62 num=360, depth=4..16, filters=2506476, revisions=(2142275,useless=1238598), ccks=6773021, wck=53.134, mem=160M581
59.01/55.62 decisions=149536, wrong=73130, backtracks=48427, failedAssignments=40902, nogoods=2251, foundSolutions=15, bestBound=65
59.01/55.62 nFilterCalls=9157072, avgTableProportion=0.9982701812293839, avgTableSize=577.1404709933481
59.01/55.62
59.31/55.94 num=361, depth=2..12, filters=2519367, revisions=(2152874,useless=1245116), ccks=6804227, wck=53.452, mem=160M581
59.31/55.94 decisions=150203, wrong=73462, backtracks=48673, failedAssignments=41076, nogoods=2262, foundSolutions=15, bestBound=65
59.31/55.94 nFilterCalls=9204586, avgTableProportion=0.9982701810228061, avgTableSize=577.1403989272304
59.31/55.94
59.56/56.15 num=362, depth=2..14, filters=2529842, revisions=(2162505,useless=1250573), ccks=6831841, wck=53.67, mem=31M107
59.56/56.15 decisions=150862, wrong=73789, backtracks=48885, failedAssignments=41267, nogoods=2275, foundSolutions=15, bestBound=65
59.56/56.15 nFilterCalls=9239822, avgTableProportion=0.9982701807794689, avgTableSize=577.1403141748834
59.56/56.15
59.85/56.44 num=363, depth=3..17, filters=2543363, revisions=(2172683,useless=1256746), ccks=6866896, wck=53.959, mem=33M721
59.85/56.44 decisions=151631, wrong=74171, backtracks=49155, failedAssignments=41478, nogoods=2281, foundSolutions=15, bestBound=65
59.85/56.44 nFilterCalls=9296520, avgTableProportion=0.9982701808490982, avgTableSize=577.1403379974442
59.85/56.44
60.15/56.76 num=364, depth=2..14, filters=2556522, revisions=(2184715,useless=1264197), ccks=6904413, wck=54.274, mem=33M721
60.15/56.76 decisions=152485, wrong=74595, backtracks=49448, failedAssignments=41710, nogoods=2288, foundSolutions=15, bestBound=65
60.15/56.76 nFilterCalls=9345567, avgTableProportion=0.9982701803324201, avgTableSize=577.1401582161895
60.15/56.76
60.65/57.23 num=365, depth=2..13, filters=2574864, revisions=(2198535,useless=1272824), ccks=6944820, wck=54.74, mem=36M335
60.65/57.23 decisions=153415, wrong=75058, backtracks=49765, failedAssignments=41965, nogoods=2299, foundSolutions=15, bestBound=65
60.65/57.23 nFilterCalls=9422460, avgTableProportion=0.9982701815879744, avgTableSize=577.1405938576551
60.65/57.23
60.95/57.55 num=366, depth=5..14, filters=2590669, revisions=(2211624,useless=1280733), ccks=6987951, wck=55.07, mem=38M949
60.95/57.55 decisions=154413, wrong=75553, backtracks=50097, failedAssignments=42246, nogoods=2307, foundSolutions=15, bestBound=65
60.95/57.55 nFilterCalls=9481129, avgTableProportion=0.9982701815305635, avgTableSize=577.1405735540567
60.95/57.55
61.56/58.11 num=367, depth=1..14, filters=2614222, revisions=(2232154,useless=1293332), ccks=7048813, wck=55.625, mem=38M949
61.56/58.11 decisions=155634, wrong=76162, backtracks=50536, failedAssignments=42555, nogoods=2313, foundSolutions=15, bestBound=65
61.56/58.11 nFilterCalls=9563875, avgTableProportion=0.9982701826524316, avgTableSize=577.1409627373841
61.56/58.11
61.95/58.51 num=368, depth=3..15, filters=2633539, revisions=(2249413,useless=1304003), ccks=7101148, wck=56.029, mem=41M563
61.95/58.51 decisions=156774, wrong=76729, backtracks=50910, failedAssignments=42895, nogoods=2328, foundSolutions=15, bestBound=65
61.95/58.51 nFilterCalls=9630259, avgTableProportion=0.9982701825888021, avgTableSize=577.1409402384712
61.95/58.51
62.46/59.07 num=369, depth=1..14, filters=2657373, revisions=(2270400,useless=1316829), ccks=7167161, wck=56.585, mem=44M178
62.46/59.07 decisions=158162, wrong=77420, backtracks=51378, failedAssignments=43269, nogoods=2341, foundSolutions=15, bestBound=65
62.46/59.07 nFilterCalls=9711516, avgTableProportion=0.9982701830691172, avgTableSize=577.1411065996288
62.46/59.07
63.15/59.73 num=370, depth=0..14, filters=2685530, revisions=(2294071,useless=1331450), ccks=7240210, wck=57.248, mem=46M792
63.15/59.73 decisions=159734, wrong=78203, backtracks=51940, failedAssignments=43680, nogoods=2351, foundSolutions=15, bestBound=65
63.15/59.73 nFilterCalls=9811201, avgTableProportion=0.99827018326115, avgTableSize=577.1411727269679
63.15/59.73
63.65/60.25 num=371, depth=1..17, filters=2710730, revisions=(2316910,useless=1344445), ccks=7306892, wck=57.769, mem=52M20
63.65/60.25 decisions=161296, wrong=78982, backtracks=52435, failedAssignments=44132, nogoods=2359, foundSolutions=15, bestBound=65
63.65/60.25 nFilterCalls=9899732, avgTableProportion=0.9982701827379331, avgTableSize=577.1409904833787
63.65/60.25
64.46/61.02 num=372, depth=1..16, filters=2742740, revisions=(2343670,useless=1360228), ccks=7389302, wck=58.537, mem=54M634
64.46/61.02 decisions=163136, wrong=79900, backtracks=53095, failedAssignments=44629, nogoods=2367, foundSolutions=15, bestBound=65
64.46/61.02 nFilterCalls=10014078, avgTableProportion=0.9982701823250065, avgTableSize=577.140846416415
64.46/61.02
65.25/61.87 num=373, depth=2..14, filters=2778980, revisions=(2373569,useless=1378771), ccks=7478272, wck=59.384, mem=57M248
65.25/61.87 decisions=165172, wrong=80916, backtracks=53809, failedAssignments=45176, nogoods=2381, foundSolutions=15, bestBound=65
65.25/61.87 nFilterCalls=10147182, avgTableProportion=0.9982701833481094, avgTableSize=577.1412010743476
65.25/61.87
66.25/62.84 num=374, depth=0..12, filters=2820858, revisions=(2409288,useless=1400122), ccks=7587445, wck=60.353, mem=62M476
66.25/62.84 decisions=167348, wrong=82002, backtracks=54560, failedAssignments=45778, nogoods=2383, foundSolutions=15, bestBound=65
66.25/62.84 nFilterCalls=10292427, avgTableProportion=0.9982701833282868, avgTableSize=577.1411934230867
66.25/62.84
67.25/63.80 num=375, depth=1..14, filters=2860791, revisions=(2443553,useless=1420493), ccks=7702238, wck=61.312, mem=67M704
67.25/63.80 decisions=169669, wrong=83161, backtracks=55337, failedAssignments=46440, nogoods=2390, foundSolutions=15, bestBound=65
67.25/63.80 nFilterCalls=10435022, avgTableProportion=0.9982701830397493, avgTableSize=577.1410924672704
67.25/63.80
68.35/65.00 num=376, depth=0..15, filters=2911891, revisions=(2488659,useless=1448769), ccks=7833990, wck=62.511, mem=72M932
68.35/65.00 decisions=172509, wrong=84578, backtracks=56363, failedAssignments=47168, nogoods=2398, foundSolutions=15, bestBound=65
68.35/65.00 nFilterCalls=10614359, avgTableProportion=0.9982701830856854, avgTableSize=577.1411075317878
68.35/65.00
69.56/66.17 num=377, depth=3..13, filters=2965630, revisions=(2533868,useless=1476302), ccks=7977489, wck=63.682, mem=78M160
69.56/66.17 decisions=175473, wrong=86058, backtracks=57381, failedAssignments=47969, nogoods=2411, foundSolutions=15, bestBound=65
69.56/66.17 nFilterCalls=10794282, avgTableProportion=0.9982701835385112, avgTableSize=577.1412639580844
69.56/66.17
70.85/67.49 num=378, depth=1..17, filters=3022904, revisions=(2580828,useless=1505396), ccks=8119824, wck=65.01, mem=83M389
70.85/67.49 decisions=178643, wrong=87640, backtracks=58488, failedAssignments=48850, nogoods=2425, foundSolutions=15, bestBound=65
70.85/67.49 nFilterCalls=10996798, avgTableProportion=0.9982701850205626, avgTableSize=577.1417778156878
70.85/67.49
72.56/69.13 num=379, depth=0..13, filters=3090211, revisions=(2635987,useless=1539137), ccks=8295488, wck=66.641, mem=91M231
72.56/69.13 decisions=182126, wrong=89379, backtracks=59688, failedAssignments=49820, nogoods=2438, foundSolutions=15, bestBound=65
72.56/69.13 nFilterCalls=11248126, avgTableProportion=0.9982701853601637, avgTableSize=577.1418946587191
72.56/69.13
74.35/70.97 num=380, depth=0..14, filters=3168557, revisions=(2700534,useless=1580487), ccks=8485039, wck=68.483, mem=99M73
74.35/70.97 decisions=186306, wrong=91468, backtracks=61205, failedAssignments=50887, nogoods=2444, foundSolutions=15, bestBound=65
74.35/70.97 nFilterCalls=11522113, avgTableProportion=0.9982701866841971, avgTableSize=577.1423534034078
74.35/70.97
76.35/73.00 num=381, depth=0..14, filters=3258007, revisions=(2774296,useless=1627322), ccks=8710435, wck=70.515, mem=109M529
76.35/73.00 decisions=190818, wrong=93722, backtracks=62805, failedAssignments=52060, nogoods=2450, foundSolutions=15, bestBound=65
76.35/73.00 nFilterCalls=11830047, avgTableProportion=0.9982701866891283, avgTableSize=577.142353872305
76.35/73.00
78.65/75.22 num=382, depth=0..13, filters=3351173, revisions=(2849003,useless=1676709), ccks=8930513, wck=72.731, mem=117M372
78.65/75.22 decisions=195597, wrong=96109, backtracks=64471, failedAssignments=53351, nogoods=2459, foundSolutions=15, bestBound=65
78.65/75.22 nFilterCalls=12161232, avgTableProportion=0.9982701865967921, avgTableSize=577.1423205313409
78.65/75.22
81.16/77.73 num=383, depth=0..15, filters=3459779, revisions=(2935823,useless=1735236), ccks=9177446, wck=75.245, mem=127M828
81.16/77.73 decisions=200851, wrong=98734, backtracks=66352, failedAssignments=54771, nogoods=2464, foundSolutions=15, bestBound=65
81.16/77.73 nFilterCalls=12538236, avgTableProportion=0.9982701874825496, avgTableSize=577.1426268416068
81.16/77.73
82.17/78.75
82.17/78.75 New Bounds: 66..65
82.17/78.75 num=384, depth=0..12, filters=3503046, revisions=(2966266,useless=1756035), ccks=9256840, wck=76.264, mem=133M915
82.17/78.75 decisions=202611, wrong=99615, backtracks=67025, failedAssignments=55223, foundSolutions=15, bestBound=65
82.17/78.75 nFilterCalls=12688911, avgTableProportion=0.9982701875543168, avgTableSize=577.1426512487951
82.17/78.75
82.17/78.75 Global
82.17/78.75 filters=3503046, revisions=(2966266,useless=1756035), ccks=9256840
82.17/78.75 Stop=FULL_EXPLORATION, wrong=99615, bestBound=65, bestBoundWck=49.164, bestBoundCpu=50.935, foundSolutions=15, firstSolCpu=2.471
82.17/78.75 wck=76.9, cpu=78.658, mem=133M915
82.17/78.75
82.17/78.75 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>
82.17/78.75 s OPTIMUM FOUND
82.17/78.75
82.17/78.75 d WRONG_DECISIONS 99615
82.17/78.75 d NUMBER_SOLUTIONS 15