2.40/1.89
2.40/1.89 AbsCon 2
2.65/1.91
3.23/2.15 Instance
3.23/2.15 name=instance-4391258-1568390201, framework=COP, bounds=-infty..+infty
3.23/2.15
3.23/2.15 Loading variables...
3.23/2.19 Loading constraints...
3.93/2.34
3.93/2.34 Domains
3.93/2.34 nTypes=21, nValues=935, sizes=[3#1,4#6,5#10,6#3,21#40]
3.93/2.34 Variables
3.93/2.34 count=60, degrees=[2#20,21#19,22#1,23#20]
3.93/2.34 Objectives
3.93/2.34 way=max, type=SumSimpleGE
3.93/2.34 Constraints
3.93/2.34 count=82, nSpecific=41, arities=[1#1,2#40,20#21,21#20]
3.93/2.34 distribution=[AtMost1#20,CtrExtensionCT-Table#20,CtrExtensionV-Bits#20,CtrIntension#21,SumSimpleGE#1]
3.93/2.34 tables=[362#19,382#1], nTotalTuples=7260
3.93/2.34 nExtStructures=(40,shared:0), nIntStructures=(2,shared:19), nCftStructures=(21,shared:19,unbuilt:42)
3.93/2.34 wck=0.48, cpu=2.309, mem=52M969
3.93/2.35 Solver SolverBacktrack being built...
3.93/2.35
3.93/2.37
3.93/2.37 Solver
3.93/2.37 guaranteedGAC=true
3.93/2.37 wck=0.508, cpu=2.335, mem=63M611
3.93/2.37
3.93/2.37 Preprocessing
3.93/2.37 filters=22, revisions=(41,useless=38), ccks=502, nACremovedValues=41, nTotalRemovedValues=41, inconcistency=false
3.93/2.37 wck=0.005, cpu=2.341, mem=63M611
3.93/2.37
3.93/2.39 o -1000
3.93/2.39 num=0, depth=61..59, filters=260, revisions=(459,useless=390), ccks=965, wck=0.028, mem=66M254
3.93/2.39 decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
3.93/2.39 nFilterCalls=440, avgTableProportion=0.9972448005553761, avgTableSize=362.0
3.93/2.39
4.28/2.42 num=1, depth=13..17, filters=1012, revisions=(1028,useless=730), ccks=2770, wck=0.05, mem=66M254
4.28/2.42 decisions=74, wrong=20, backtracks=11, failedAssignments=11, nogoods=3, foundSolutions=1, bestBound=-1000
4.28/2.42 nFilterCalls=4226, avgTableProportion=0.9972452009742081, avgTableSize=362.05537150970184
4.28/2.42
4.28/2.42 num=2, depth=15..15, filters=1346, revisions=(1491,useless=1081), ccks=3034, wck=0.057, mem=68M897
4.28/2.42 decisions=111, wrong=31, backtracks=11, failedAssignments=22, nogoods=14, foundSolutions=1, bestBound=-1000
4.28/2.42 nFilterCalls=5271, avgTableProportion=0.997245581189089, avgTableSize=362.1079491557579
4.28/2.42
4.28/2.44 o -988
4.28/2.44 num=3, depth=10..59, filters=1694, revisions=(1866,useless=1317), ccks=3915, wck=0.078, mem=68M897
4.28/2.44 decisions=154, wrong=46, backtracks=18, failedAssignments=30, nogoods=17, foundSolutions=2, bestBound=-988
4.28/2.44 nFilterCalls=6675, avgTableProportion=0.9972456510007142, avgTableSize=362.1176029962547
4.28/2.44
4.28/2.45 num=4, depth=11..16, filters=2047, revisions=(2240,useless=1519), ccks=5107, wck=0.087, mem=68M897
4.28/2.45 decisions=201, wrong=64, backtracks=23, failedAssignments=43, nogoods=19, foundSolutions=2, bestBound=-988
4.28/2.45 nFilterCalls=7793, avgTableProportion=0.997245567967798, avgTableSize=362.1061208777108
4.28/2.45
4.28/2.47 num=5, depth=9..13, filters=2678, revisions=(2835,useless=1880), ccks=6829, wck=0.101, mem=68M897
4.28/2.47 decisions=250, wrong=84, backtracks=34, failedAssignments=54, nogoods=22, foundSolutions=2, bestBound=-988
4.28/2.47 nFilterCalls=10087, avgTableProportion=0.9972454407580655, avgTableSize=362.08852979081985
4.28/2.47
4.28/2.47 o -981
4.28/2.48 num=6, depth=12..59, filters=2940, revisions=(3151,useless=2082), ccks=7633, wck=0.108, mem=68M897
4.28/2.48 decisions=279, wrong=91, backtracks=38, failedAssignments=58, nogoods=24, foundSolutions=3, bestBound=-981
4.28/2.48 nFilterCalls=10888, avgTableProportion=0.9972454062794178, avgTableSize=362.08376193975016
4.28/2.48
4.28/2.48 num=7, depth=11..15, filters=3422, revisions=(3662,useless=2356), ccks=9300, wck=0.118, mem=68M897
4.28/2.48 decisions=331, wrong=111, backtracks=49, failedAssignments=71, nogoods=28, foundSolutions=3, bestBound=-981
4.28/2.48 nFilterCalls=12300, avgTableProportion=0.9972454002403811, avgTableSize=362.0829268292683
4.28/2.48
4.59/2.50 num=8, depth=8..15, filters=4069, revisions=(4287,useless=2727), ccks=10798, wck=0.132, mem=68M897
4.59/2.50 decisions=381, wrong=131, backtracks=62, failedAssignments=82, nogoods=30, foundSolutions=3, bestBound=-981
4.59/2.50 nFilterCalls=14413, avgTableProportion=0.9972453459405745, avgTableSize=362.07541802539373
4.59/2.50
4.59/2.51 num=9, depth=8..13, filters=4594, revisions=(4810,useless=3009), ccks=12421, wck=0.143, mem=68M897
4.59/2.51 decisions=431, wrong=151, backtracks=75, failedAssignments=94, nogoods=34, foundSolutions=3, bestBound=-981
4.59/2.51 nFilterCalls=15841, avgTableProportion=0.9972453661651755, avgTableSize=362.07821475916927
4.59/2.51
4.59/2.52 o -978
4.59/2.52 num=10, depth=14..59, filters=4803, revisions=(5046,useless=3141), ccks=13077, wck=0.149, mem=68M897
4.59/2.52 decisions=453, wrong=154, backtracks=75, failedAssignments=97, nogoods=37, foundSolutions=4, bestBound=-978
4.59/2.52 nFilterCalls=16442, avgTableProportion=0.9972453714398987, avgTableSize=362.0789441673762
4.59/2.52
4.59/2.53 num=11, depth=10..15, filters=5429, revisions=(5574,useless=3443), ccks=14619, wck=0.161, mem=68M897
4.59/2.53 decisions=509, wrong=175, backtracks=89, failedAssignments=111, nogoods=39, foundSolutions=4, bestBound=-978
4.59/2.53 nFilterCalls=18955, avgTableProportion=0.99724534420507, avgTableSize=362.0751780532841
4.59/2.53
4.59/2.54 o -972
4.59/2.54 num=12, depth=9..59, filters=5783, revisions=(5916,useless=3638), ccks=15603, wck=0.169, mem=68M897
4.59/2.54 decisions=540, wrong=184, backtracks=91, failedAssignments=118, nogoods=45, foundSolutions=5, bestBound=-972
4.59/2.54 nFilterCalls=20115, avgTableProportion=0.9972453631846439, avgTableSize=362.0778026348496
4.59/2.54
4.59/2.55 o -970
4.59/2.55 num=13, depth=11..59, filters=6296, revisions=(6355,useless=3916), ccks=16486, wck=0.181, mem=68M897
4.59/2.55 decisions=574, wrong=195, backtracks=95, failedAssignments=126, nogoods=52, foundSolutions=6, bestBound=-970
4.59/2.55 nFilterCalls=22315, avgTableProportion=0.9972453854912325, avgTableSize=362.0808872955411
4.59/2.55
4.59/2.56 num=14, depth=11..14, filters=6785, revisions=(6860,useless=4210), ccks=17551, wck=0.191, mem=68M897
4.59/2.56 decisions=618, wrong=211, backtracks=101, failedAssignments=137, nogoods=57, foundSolutions=6, bestBound=-970
4.59/2.56 nFilterCalls=23908, avgTableProportion=0.9972453667822355, avgTableSize=362.0783001505772
4.59/2.56
4.59/2.57 num=15, depth=6..9, filters=7463, revisions=(7500,useless=4566), ccks=18916, wck=0.202, mem=68M897
4.59/2.57 decisions=658, wrong=228, backtracks=113, failedAssignments=148, nogoods=63, foundSolutions=6, bestBound=-970
4.59/2.57 nFilterCalls=25752, avgTableProportion=0.9972453475786367, avgTableSize=362.07564461012737
4.59/2.57
4.59/2.58 num=16, depth=8..12, filters=8133, revisions=(8152,useless=4927), ccks=20581, wck=0.212, mem=68M897
4.59/2.58 decisions=715, wrong=252, backtracks=125, failedAssignments=160, nogoods=69, foundSolutions=6, bestBound=-970
4.59/2.58 nFilterCalls=27705, avgTableProportion=0.9972453473870035, avgTableSize=362.075618119473
4.59/2.58
4.59/2.59 num=17, depth=7..11, filters=8799, revisions=(8726,useless=5238), ccks=22076, wck=0.222, mem=68M897
4.59/2.59 decisions=764, wrong=273, backtracks=137, failedAssignments=173, nogoods=72, foundSolutions=6, bestBound=-970
4.59/2.59 nFilterCalls=29699, avgTableProportion=0.9972453218731464, avgTableSize=362.07208996935924
4.59/2.59
4.90/2.60 num=18, depth=6..11, filters=9477, revisions=(9367,useless=5593), ccks=23501, wck=0.23, mem=68M897
4.90/2.60 decisions=816, wrong=296, backtracks=151, failedAssignments=187, nogoods=74, foundSolutions=6, bestBound=-970
4.90/2.60 nFilterCalls=31618, avgTableProportion=0.9972453499270668, avgTableSize=362.0759693845278
4.90/2.60
4.90/2.61 num=19, depth=8..13, filters=10364, revisions=(10125,useless=6021), ccks=25426, wck=0.243, mem=68M897
4.90/2.61 decisions=876, wrong=321, backtracks=166, failedAssignments=203, nogoods=77, foundSolutions=6, bestBound=-970
4.90/2.61 nFilterCalls=34777, avgTableProportion=0.9972453626141208, avgTableSize=362.07772378296
4.90/2.61
4.90/2.62 num=20, depth=5..9, filters=11059, revisions=(10795,useless=6374), ccks=26795, wck=0.252, mem=68M897
4.90/2.62 decisions=934, wrong=347, backtracks=178, failedAssignments=220, nogoods=82, foundSolutions=6, bestBound=-970
4.90/2.62 nFilterCalls=36425, avgTableProportion=0.9972453475082543, avgTableSize=362.07563486616334
4.90/2.62
4.90/2.63 num=21, depth=8..14, filters=12051, revisions=(11670,useless=6863), ccks=28640, wck=0.265, mem=68M897
4.90/2.63 decisions=1008, wrong=380, backtracks=201, failedAssignments=239, nogoods=87, foundSolutions=6, bestBound=-970
4.90/2.63 nFilterCalls=39940, avgTableProportion=0.9972453944287258, avgTableSize=362.0821231847772
4.90/2.63
4.90/2.64 num=22, depth=7..12, filters=13001, revisions=(12580,useless=7362), ccks=30984, wck=0.279, mem=68M897
4.90/2.64 decisions=1084, wrong=414, backtracks=224, failedAssignments=260, nogoods=95, foundSolutions=6, bestBound=-970
4.90/2.64 nFilterCalls=42951, avgTableProportion=0.9972453947196768, avgTableSize=362.0821633954972
4.90/2.64
4.90/2.66 num=23, depth=9..15, filters=14125, revisions=(13521,useless=7891), ccks=33323, wck=0.292, mem=68M897
4.90/2.66 decisions=1167, wrong=451, backtracks=248, failedAssignments=283, nogoods=98, foundSolutions=6, bestBound=-970
4.90/2.66 nFilterCalls=46714, avgTableProportion=0.9972453680656419, avgTableSize=362.07847754420516
4.90/2.66
4.90/2.68 num=24, depth=4..15, filters=15441, revisions=(14819,useless=8637), ccks=36132, wck=0.309, mem=68M897
4.90/2.68 decisions=1263, wrong=493, backtracks=271, failedAssignments=308, nogoods=102, foundSolutions=6, bestBound=-970
4.90/2.68 nFilterCalls=50654, avgTableProportion=0.9972453696074187, avgTableSize=362.0786907253129
4.90/2.68
4.90/2.69 num=25, depth=8..14, filters=16648, revisions=(15910,useless=9216), ccks=39229, wck=0.323, mem=71M540
4.90/2.69 decisions=1359, wrong=536, backtracks=296, failedAssignments=336, nogoods=106, foundSolutions=6, bestBound=-970
4.90/2.69 nFilterCalls=54026, avgTableProportion=0.9972453431924729, avgTableSize=362.0750379446933
4.90/2.69
5.21/2.70 num=26, depth=8..16, filters=17858, revisions=(17086,useless=9887), ccks=41932, wck=0.337, mem=71M540
5.21/2.70 decisions=1465, wrong=584, backtracks=330, failedAssignments=367, nogoods=110, foundSolutions=6, bestBound=-970
5.21/2.70 nFilterCalls=58054, avgTableProportion=0.9972453718110427, avgTableSize=362.07899541805904
5.21/2.70
5.21/2.72 o -966
5.21/2.72 num=27, depth=6..59, filters=18891, revisions=(18025,useless=10397), ccks=44544, wck=0.352, mem=71M540
5.21/2.72 decisions=1540, wrong=615, backtracks=349, failedAssignments=384, nogoods=114, foundSolutions=7, bestBound=-966
5.21/2.72 nFilterCalls=61397, avgTableProportion=0.9972453591987795, avgTableSize=362.0772513314983
5.21/2.72
5.21/2.74 num=28, depth=9..17, filters=20596, revisions=(19451,useless=11184), ccks=47916, wck=0.37, mem=71M540
5.21/2.74 decisions=1666, wrong=672, backtracks=381, failedAssignments=421, nogoods=118, foundSolutions=7, bestBound=-966
5.21/2.74 nFilterCalls=66568, avgTableProportion=0.9972453602344525, avgTableSize=362.077394543925
5.21/2.74
5.21/2.74 num=29, depth=7..13, filters=21066, revisions=(19925,useless=11456), ccks=49140, wck=0.376, mem=71M540
5.21/2.74 decisions=1708, wrong=689, backtracks=392, failedAssignments=432, nogoods=120, foundSolutions=7, bestBound=-966
5.21/2.74 nFilterCalls=67916, avgTableProportion=0.997245371698959, avgTableSize=362.0789799163673
5.21/2.74
5.21/2.75 num=30, depth=7..11, filters=21637, revisions=(20477,useless=11745), ccks=50435, wck=0.384, mem=71M540
5.21/2.75 decisions=1757, wrong=710, backtracks=404, failedAssignments=444, nogoods=122, foundSolutions=7, bestBound=-966
5.21/2.75 nFilterCalls=69357, avgTableProportion=0.9972453618134961, avgTableSize=362.0776129302017
5.21/2.75
5.21/2.76 num=31, depth=8..15, filters=22290, revisions=(21097,useless=12092), ccks=51886, wck=0.39, mem=71M540
5.21/2.76 decisions=1811, wrong=733, backtracks=418, failedAssignments=457, nogoods=123, foundSolutions=7, bestBound=-966
5.21/2.76 nFilterCalls=71153, avgTableProportion=0.9972453785428923, avgTableSize=362.079926355881
5.21/2.76
5.21/2.77 num=32, depth=6..13, filters=22972, revisions=(21764,useless=12461), ccks=53353, wck=0.4, mem=71M540
5.21/2.77 decisions=1858, wrong=753, backtracks=429, failedAssignments=471, nogoods=126, foundSolutions=7, bestBound=-966
5.21/2.77 nFilterCalls=73133, avgTableProportion=0.9972453648719862, avgTableSize=362.0780359071828
5.21/2.77
5.21/2.78 num=33, depth=6..10, filters=23777, revisions=(22551,useless=12877), ccks=55310, wck=0.41, mem=71M540
5.21/2.78 decisions=1914, wrong=778, backtracks=440, failedAssignments=487, nogoods=133, foundSolutions=7, bestBound=-966
5.21/2.78 nFilterCalls=75092, avgTableProportion=0.9972453637285309, avgTableSize=362.07787780322803
5.21/2.78
5.21/2.78 num=34, depth=6..11, filters=24522, revisions=(23277,useless=13247), ccks=56959, wck=0.419, mem=71M540
5.21/2.78 decisions=1970, wrong=803, backtracks=451, failedAssignments=504, nogoods=142, foundSolutions=7, bestBound=-966
5.21/2.78 nFilterCalls=76737, avgTableProportion=0.9972453568388286, avgTableSize=362.0769250817728
5.21/2.78
5.21/2.79 o -963
5.21/2.79 num=35, depth=5..59, filters=24933, revisions=(23694,useless=13471), ccks=58067, wck=0.426, mem=71M540
5.21/2.79 decisions=2001, wrong=813, backtracks=457, failedAssignments=508, nogoods=146, foundSolutions=8, bestBound=-963
5.21/2.79 nFilterCalls=78005, avgTableProportion=0.9972453581791819, avgTableSize=362.07711044163835
5.21/2.79
5.52/2.80 num=36, depth=5..16, filters=25839, revisions=(24544,useless=13933), ccks=60268, wck=0.438, mem=71M540
5.52/2.80 decisions=2079, wrong=848, backtracks=483, failedAssignments=529, nogoods=150, foundSolutions=8, bestBound=-963
5.52/2.80 nFilterCalls=81102, avgTableProportion=0.9972453567692091, avgTableSize=362.07691548913715
5.52/2.80
5.52/2.81 num=37, depth=6..11, filters=26606, revisions=(25286,useless=14361), ccks=62038, wck=0.448, mem=71M540
5.52/2.81 decisions=2132, wrong=871, backtracks=498, failedAssignments=540, nogoods=153, foundSolutions=8, bestBound=-963
5.52/2.81 nFilterCalls=83425, avgTableProportion=0.9972453496893137, avgTableSize=362.0759364698831
5.52/2.81
5.52/2.82 num=38, depth=5..11, filters=27266, revisions=(25947,useless=14729), ccks=63564, wck=0.457, mem=71M540
5.52/2.82 decisions=2177, wrong=891, backtracks=509, failedAssignments=552, nogoods=160, foundSolutions=8, bestBound=-963
5.52/2.82 nFilterCalls=85333, avgTableProportion=0.997245341817582, avgTableSize=362.0748479486248
5.52/2.82
5.52/2.83 num=39, depth=4..9, filters=27926, revisions=(26621,useless=15118), ccks=64829, wck=0.467, mem=71M540
5.52/2.83 decisions=2220, wrong=910, backtracks=516, failedAssignments=565, nogoods=165, foundSolutions=8, bestBound=-963
5.52/2.83 nFilterCalls=87222, avgTableProportion=0.9972453409562506, avgTableSize=362.07472885281237
5.52/2.83
5.52/2.84 num=40, depth=7..13, filters=28610, revisions=(27315,useless=15547), ccks=66175, wck=0.478, mem=71M540
5.52/2.84 decisions=2274, wrong=932, backtracks=529, failedAssignments=579, nogoods=171, foundSolutions=8, bestBound=-963
5.52/2.84 nFilterCalls=89595, avgTableProportion=0.9972453417365118, avgTableSize=362.0748367654445
5.52/2.84
5.52/2.85 num=41, depth=6..13, filters=29432, revisions=(28072,useless=15965), ccks=67868, wck=0.488, mem=71M540
5.52/2.85 decisions=2336, wrong=960, backtracks=547, failedAssignments=595, nogoods=176, foundSolutions=8, bestBound=-963
5.52/2.85 nFilterCalls=91762, avgTableProportion=0.9972453504705059, avgTableSize=362.0760445500316
5.52/2.85
5.52/2.86 num=42, depth=7..16, filters=30284, revisions=(28848,useless=16395), ccks=69944, wck=0.499, mem=71M540
5.52/2.86 decisions=2398, wrong=987, backtracks=567, failedAssignments=612, nogoods=179, foundSolutions=8, bestBound=-963
5.52/2.86 nFilterCalls=94303, avgTableProportion=0.9972453509129267, avgTableSize=362.0761057442499
5.52/2.86
5.52/2.87 o -957
5.52/2.87 num=43, depth=7..59, filters=30805, revisions=(29327,useless=16655), ccks=71182, wck=0.507, mem=71M540
5.52/2.87 decisions=2438, wrong=1000, backtracks=575, failedAssignments=620, nogoods=185, foundSolutions=9, bestBound=-957
5.52/2.87 nFilterCalls=96190, avgTableProportion=0.9972453561294269, avgTableSize=362.0768271130055
5.52/2.87
5.52/2.89 num=44, depth=5..12, filters=31803, revisions=(30262,useless=17144), ccks=73398, wck=0.521, mem=71M540
5.52/2.89 decisions=2505, wrong=1030, backtracks=592, failedAssignments=641, nogoods=189, foundSolutions=9, bestBound=-957
5.52/2.89 nFilterCalls=98836, avgTableProportion=0.9972453510600127, avgTableSize=362.0761261078959
5.52/2.89
5.82/2.90 num=45, depth=6..11, filters=32471, revisions=(30912,useless=17496), ccks=74534, wck=0.529, mem=71M540
5.82/2.90 decisions=2551, wrong=1050, backtracks=605, failedAssignments=652, nogoods=193, foundSolutions=9, bestBound=-957
5.82/2.90 nFilterCalls=100732, avgTableProportion=0.997245351035888, avgTableSize=362.07612278124134
5.82/2.90
5.82/2.90 num=46, depth=5..9, filters=33072, revisions=(31496,useless=17837), ccks=75655, wck=0.539, mem=71M540
5.82/2.90 decisions=2590, wrong=1067, backtracks=614, failedAssignments=664, nogoods=194, foundSolutions=9, bestBound=-957
5.82/2.90 nFilterCalls=102320, avgTableProportion=0.9972453489945204, avgTableSize=362.07584050039094
5.82/2.90
5.82/2.91 num=47, depth=4..8, filters=33616, revisions=(32053,useless=18122), ccks=76788, wck=0.546, mem=71M540
5.82/2.91 decisions=2632, wrong=1086, backtracks=623, failedAssignments=677, nogoods=196, foundSolutions=9, bestBound=-957
5.82/2.91 nFilterCalls=103616, avgTableProportion=0.9972453396222533, avgTableSize=362.0745444718962
5.82/2.91
5.82/2.92 num=48, depth=6..10, filters=34335, revisions=(32755,useless=18521), ccks=78151, wck=0.556, mem=71M540
5.82/2.92 decisions=2680, wrong=1106, backtracks=633, failedAssignments=691, nogoods=202, foundSolutions=9, bestBound=-957
5.82/2.92 nFilterCalls=105557, avgTableProportion=0.9972453337516864, avgTableSize=362.07373267523707
5.82/2.92
5.82/2.94 num=49, depth=5..10, filters=35739, revisions=(34019,useless=19236), ccks=80458, wck=0.572, mem=71M540
5.82/2.94 decisions=2750, wrong=1138, backtracks=653, failedAssignments=707, nogoods=207, foundSolutions=9, bestBound=-957
5.82/2.94 nFilterCalls=109003, avgTableProportion=0.997245336399773, avgTableSize=362.07409887801253
5.82/2.94
5.82/2.95 num=50, depth=6..13, filters=36698, revisions=(34911,useless=19753), ccks=82377, wck=0.584, mem=71M540
5.82/2.95 decisions=2817, wrong=1168, backtracks=671, failedAssignments=724, nogoods=212, foundSolutions=9, bestBound=-957
5.82/2.95 nFilterCalls=111705, avgTableProportion=0.9972453349615408, avgTableSize=362.07390000447606
5.82/2.95
5.82/2.96 num=51, depth=3..8, filters=37613, revisions=(35804,useless=20203), ccks=84484, wck=0.596, mem=71M540
5.82/2.96 decisions=2886, wrong=1200, backtracks=689, failedAssignments=743, nogoods=215, foundSolutions=9, bestBound=-957
5.82/2.96 nFilterCalls=113795, avgTableProportion=0.9972453232399078, avgTableSize=362.07227909837866
5.82/2.96
5.82/2.97 num=52, depth=3..7, filters=38649, revisions=(36794,useless=20705), ccks=86787, wck=0.606, mem=71M540
5.82/2.97 decisions=2949, wrong=1229, backtracks=701, failedAssignments=764, nogoods=218, foundSolutions=9, bestBound=-957
5.82/2.97 nFilterCalls=115673, avgTableProportion=0.9972453136285292, avgTableSize=362.0709500056193
5.82/2.97
5.82/2.98 num=53, depth=9..14, filters=39823, revisions=(37863,useless=21286), ccks=88878, wck=0.618, mem=71M540
5.82/2.98 decisions=3038, wrong=1269, backtracks=725, failedAssignments=787, nogoods=226, foundSolutions=9, bestBound=-957
5.82/2.98 nFilterCalls=119037, avgTableProportion=0.9972453207558832, avgTableSize=362.071935616657
5.82/2.98
5.82/2.99 num=54, depth=4..8, filters=40875, revisions=(38890,useless=21831), ccks=91107, wck=0.629, mem=71M540
5.82/2.99 decisions=3112, wrong=1304, backtracks=740, failedAssignments=812, nogoods=233, foundSolutions=9, bestBound=-957
5.82/2.99 nFilterCalls=120983, avgTableProportion=0.9972453156161669, avgTableSize=362.07122488283477
5.82/2.99
6.14/3.01 num=55, depth=6..12, filters=42191, revisions=(40089,useless=22528), ccks=94134, wck=0.646, mem=71M540
6.14/3.01 decisions=3217, wrong=1353, backtracks=769, failedAssignments=840, nogoods=242, foundSolutions=9, bestBound=-957
6.14/3.01 nFilterCalls=125271, avgTableProportion=0.9972453344689315, avgTableSize=362.07383193237064
6.14/3.01
6.14/3.03 num=56, depth=6..12, filters=44087, revisions=(41868,useless=23565), ccks=97734, wck=0.665, mem=74M183
6.14/3.03 decisions=3341, wrong=1411, backtracks=807, failedAssignments=871, nogoods=251, foundSolutions=9, bestBound=-957
6.14/3.03 nFilterCalls=129707, avgTableProportion=0.9972453353877222, avgTableSize=362.0739589998998
6.14/3.03
6.14/3.05 num=57, depth=5..11, filters=45677, revisions=(43374,useless=24377), ccks=101353, wck=0.682, mem=74M183
6.14/3.05 decisions=3455, wrong=1465, backtracks=837, failedAssignments=905, nogoods=258, foundSolutions=9, bestBound=-957
6.14/3.05 nFilterCalls=134011, avgTableProportion=0.9972453277080596, avgTableSize=362.07289700099244
6.14/3.05
6.14/3.07 num=58, depth=5..13, filters=47605, revisions=(45151,useless=25397), ccks=105277, wck=0.703, mem=74M183
6.14/3.07 decisions=3593, wrong=1530, backtracks=881, failedAssignments=942, nogoods=265, foundSolutions=9, bestBound=-957
6.14/3.07 nFilterCalls=138671, avgTableProportion=0.9972453287670385, avgTableSize=362.07304339047096
6.14/3.07
6.14/3.07 o -956
6.14/3.07 num=59, depth=7..59, filters=47944, revisions=(45440,useless=25564), ccks=106000, wck=0.707, mem=74M183
6.14/3.07 decisions=3613, wrong=1535, backtracks=881, failedAssignments=947, nogoods=270, foundSolutions=10, bestBound=-956
6.14/3.07 nFilterCalls=139733, avgTableProportion=0.9972453298243086, avgTableSize=362.07318958299044
6.14/3.07
6.14/3.10 num=60, depth=3..13, filters=50099, revisions=(47444,useless=26634), ccks=110744, wck=0.733, mem=74M183
6.14/3.10 decisions=3760, wrong=1605, backtracks=927, failedAssignments=992, nogoods=277, foundSolutions=10, bestBound=-956
6.14/3.10 nFilterCalls=145783, avgTableProportion=0.9972453212532307, avgTableSize=362.07200428033445
6.14/3.10
6.14/3.11 num=61, depth=5..11, filters=50755, revisions=(48086,useless=26979), ccks=112097, wck=0.74, mem=74M183
6.14/3.11 decisions=3801, wrong=1622, backtracks=937, failedAssignments=1003, nogoods=285, foundSolutions=10, bestBound=-956
6.14/3.11 nFilterCalls=147299, avgTableProportion=0.9972453210000826, avgTableSize=362.07196925980486
6.14/3.11
6.31/3.11 num=62, depth=5..10, filters=51327, revisions=(48652,useless=27306), ccks=113301, wck=0.748, mem=74M183
6.31/3.11 decisions=3840, wrong=1638, backtracks=945, failedAssignments=1015, nogoods=290, foundSolutions=10, bestBound=-956
6.31/3.11 nFilterCalls=149099, avgTableProportion=0.9972453176271954, avgTableSize=362.07150282698075
6.31/3.11
6.31/3.12 num=63, depth=3..8, filters=52009, revisions=(49303,useless=27655), ccks=114756, wck=0.755, mem=74M183
6.31/3.12 decisions=3878, wrong=1655, backtracks=954, failedAssignments=1028, nogoods=296, foundSolutions=10, bestBound=-956
6.31/3.12 nFilterCalls=150445, avgTableProportion=0.9972453136740879, avgTableSize=362.070956163382
6.31/3.12
6.31/3.13 num=64, depth=6..9, filters=52734, revisions=(50020,useless=28077), ccks=116164, wck=0.763, mem=74M183
6.31/3.13 decisions=3932, wrong=1679, backtracks=967, failedAssignments=1042, nogoods=302, foundSolutions=10, bestBound=-956
6.31/3.13 nFilterCalls=152547, avgTableProportion=0.9972453159899632, avgTableSize=362.07127639350495
6.31/3.13
6.31/3.14 num=65, depth=4..9, filters=53404, revisions=(50670,useless=28430), ccks=117418, wck=0.772, mem=74M183
6.31/3.14 decisions=3980, wrong=1701, backtracks=981, failedAssignments=1058, nogoods=304, foundSolutions=10, bestBound=-956
6.31/3.14 nFilterCalls=154457, avgTableProportion=0.9972453119572058, avgTableSize=362.07071871135656
6.31/3.14
6.31/3.15 num=66, depth=4..10, filters=54511, revisions=(51684,useless=29020), ccks=119587, wck=0.783, mem=74M183
6.31/3.15 decisions=4048, wrong=1733, backtracks=1001, failedAssignments=1075, nogoods=305, foundSolutions=10, bestBound=-956
6.31/3.15 nFilterCalls=157154, avgTableProportion=0.9972453116017439, avgTableSize=362.07066953434213
6.31/3.15
6.31/3.16 num=67, depth=5..11, filters=55490, revisions=(52645,useless=29531), ccks=121501, wck=0.793, mem=74M183
6.31/3.16 decisions=4115, wrong=1763, backtracks=1016, failedAssignments=1094, nogoods=309, foundSolutions=10, bestBound=-956
6.31/3.16 nFilterCalls=159415, avgTableProportion=0.9972453115663189, avgTableSize=362.07066461750776
6.31/3.16
6.31/3.17 num=68, depth=4..10, filters=56677, revisions=(53828,useless=30202), ccks=124302, wck=0.805, mem=74M183
6.31/3.17 decisions=4192, wrong=1799, backtracks=1038, failedAssignments=1115, nogoods=313, foundSolutions=10, bestBound=-956
6.31/3.17 nFilterCalls=162047, avgTableProportion=0.9972453071936068, avgTableSize=362.07005992088716
6.31/3.17
6.31/3.19 num=69, depth=5..11, filters=58177, revisions=(55119,useless=30903), ccks=127736, wck=0.822, mem=74M183
6.31/3.19 decisions=4273, wrong=1835, backtracks=1058, failedAssignments=1138, nogoods=319, foundSolutions=10, bestBound=-956
6.31/3.19 nFilterCalls=166115, avgTableProportion=0.9972453014037658, avgTableSize=362.0692592481112
6.31/3.19
6.42/3.20 num=70, depth=3..10, filters=59533, revisions=(56366,useless=31621), ccks=130342, wck=0.839, mem=74M183
6.42/3.20 decisions=4354, wrong=1874, backtracks=1083, failedAssignments=1163, nogoods=320, foundSolutions=10, bestBound=-956
6.42/3.20 nFilterCalls=169868, avgTableProportion=0.9972452991506642, avgTableSize=362.0689476534721
6.42/3.20
6.42/3.22 num=71, depth=5..12, filters=60747, revisions=(57513,useless=32271), ccks=133091, wck=0.853, mem=74M183
6.42/3.22 decisions=4448, wrong=1918, backtracks=1112, failedAssignments=1191, nogoods=327, foundSolutions=10, bestBound=-956
6.42/3.22 nFilterCalls=173163, avgTableProportion=0.9972452998949063, avgTableSize=362.0690505477498
6.42/3.22
6.42/3.24 num=72, depth=2..10, filters=62649, revisions=(59138,useless=33200), ccks=136563, wck=0.874, mem=74M183
6.42/3.24 decisions=4559, wrong=1970, backtracks=1145, failedAssignments=1222, nogoods=333, foundSolutions=10, bestBound=-956
6.42/3.24 nFilterCalls=178573, avgTableProportion=0.9972452965111736, avgTableSize=362.06858259647316
6.42/3.24
6.42/3.25 num=73, depth=3..9, filters=64028, revisions=(60441,useless=33935), ccks=139867, wck=0.888, mem=74M183
6.42/3.25 decisions=4663, wrong=2019, backtracks=1167, failedAssignments=1256, nogoods=336, foundSolutions=10, bestBound=-956
6.42/3.25 nFilterCalls=181761, avgTableProportion=0.9972452946556574, avgTableSize=362.0683259885234
6.42/3.25
6.42/3.27 num=74, depth=5..13, filters=65760, revisions=(62069,useless=34878), ccks=143379, wck=0.909, mem=76M825
6.42/3.27 decisions=4783, wrong=2075, backtracks=1201, failedAssignments=1293, nogoods=341, foundSolutions=10, bestBound=-956
6.42/3.27 nFilterCalls=186962, avgTableProportion=0.9972453056266436, avgTableSize=362.0698430697147
6.42/3.27
6.53/3.30 num=75, depth=3..9, filters=67743, revisions=(63951,useless=35870), ccks=147671, wck=0.934, mem=76M825
6.53/3.30 decisions=4920, wrong=2141, backtracks=1243, failedAssignments=1334, nogoods=345, foundSolutions=10, bestBound=-956
6.53/3.30 nFilterCalls=192380, avgTableProportion=0.9972452952367205, avgTableSize=362.068406279239
6.53/3.30
6.53/3.33 num=76, depth=4..12, filters=70413, revisions=(66482,useless=37312), ccks=153416, wck=0.963, mem=76M825
6.53/3.33 decisions=5098, wrong=2227, backtracks=1302, failedAssignments=1379, nogoods=354, foundSolutions=10, bestBound=-956
6.53/3.33 nFilterCalls=199075, avgTableProportion=0.9972452911329206, avgTableSize=362.0678387542384
6.53/3.33
6.53/3.36 num=77, depth=3..10, filters=73517, revisions=(69218,useless=38750), ccks=160471, wck=0.997, mem=76M825
6.53/3.36 decisions=5284, wrong=2316, backtracks=1355, failedAssignments=1429, nogoods=362, foundSolutions=10, bestBound=-956
6.53/3.36 nFilterCalls=206569, avgTableProportion=0.9972452763465294, avgTableSize=362.065793996195
6.53/3.36
6.53/3.38 num=78, depth=5..13, filters=75557, revisions=(71157,useless=39854), ccks=164922, wck=1.018, mem=76M825
6.53/3.38 decisions=5439, wrong=2391, backtracks=1397, failedAssignments=1484, nogoods=365, foundSolutions=10, bestBound=-956
6.53/3.38 nFilterCalls=211670, avgTableProportion=0.9972452798787382, avgTableSize=362.0662824207493
6.53/3.38
6.63/3.41 o -954
6.63/3.41 num=79, depth=3..59, filters=77637, revisions=(73029,useless=40909), ccks=169621, wck=1.045, mem=76M825
6.63/3.41 decisions=5569, wrong=2452, backtracks=1437, failedAssignments=1519, nogoods=366, foundSolutions=11, bestBound=-954
6.63/3.41 nFilterCalls=218063, avgTableProportion=0.997245278660436, avgTableSize=362.06611392120624
6.63/3.41
6.63/3.45 num=80, depth=3..10, filters=81006, revisions=(76188,useless=42604), ccks=176738, wck=1.082, mem=76M825
6.63/3.45 decisions=5784, wrong=2557, backtracks=1496, failedAssignments=1586, nogoods=375, foundSolutions=11, bestBound=-954
6.63/3.45 nFilterCalls=225636, avgTableProportion=0.9972452769402256, avgTableSize=362.065876012693
6.63/3.45
6.63/3.45 num=81, depth=4..8, filters=81654, revisions=(76848,useless=42961), ccks=177916, wck=1.089, mem=76M825
6.63/3.45 decisions=5825, wrong=2575, backtracks=1505, failedAssignments=1597, nogoods=377, foundSolutions=11, bestBound=-954
6.63/3.45 nFilterCalls=227016, avgTableProportion=0.9972452772298578, avgTableSize=362.06591605878
6.63/3.45
6.63/3.46 num=82, depth=5..10, filters=82439, revisions=(77592,useless=43374), ccks=179430, wck=1.096, mem=76M825
6.63/3.46 decisions=5873, wrong=2596, backtracks=1519, failedAssignments=1609, nogoods=381, foundSolutions=11, bestBound=-954
6.63/3.46 nFilterCalls=228830, avgTableProportion=0.9972452774330549, avgTableSize=362.06594415067957
6.63/3.46
6.63/3.47 num=83, depth=5..9, filters=82940, revisions=(78124,useless=43674), ccks=180470, wck=1.102, mem=76M825
6.63/3.47 decisions=5917, wrong=2615, backtracks=1527, failedAssignments=1622, nogoods=387, foundSolutions=11, bestBound=-954
6.63/3.47 nFilterCalls=230098, avgTableProportion=0.9972452795822174, avgTableSize=362.0662413406462
6.63/3.47
6.63/3.47 num=84, depth=5..9, filters=83574, revisions=(78752,useless=44004), ccks=181884, wck=1.109, mem=76M825
6.63/3.47 decisions=5960, wrong=2634, backtracks=1537, failedAssignments=1636, nogoods=395, foundSolutions=11, bestBound=-954
6.63/3.47 nFilterCalls=231413, avgTableProportion=0.9972452776414417, avgTableSize=362.0659729574397
6.63/3.47
6.63/3.48 num=85, depth=4..8, filters=84388, revisions=(79522,useless=44464), ccks=183615, wck=1.119, mem=76M825
6.63/3.48 decisions=6019, wrong=2661, backtracks=1548, failedAssignments=1652, nogoods=398, foundSolutions=11, bestBound=-954
6.63/3.48 nFilterCalls=233555, avgTableProportion=0.9972452824929191, avgTableSize=362.0666438312175
6.63/3.48
6.75/3.50 num=86, depth=5..11, filters=85324, revisions=(80389,useless=44961), ccks=185387, wck=1.131, mem=76M825
6.75/3.50 decisions=6083, wrong=2690, backtracks=1564, failedAssignments=1669, nogoods=401, foundSolutions=11, bestBound=-954
6.75/3.50 nFilterCalls=236230, avgTableProportion=0.9972452833111819, avgTableSize=362.0667569741354
6.75/3.50
6.75/3.51 num=87, depth=5..9, filters=86463, revisions=(81442,useless=45565), ccks=187437, wck=1.143, mem=76M825
6.75/3.51 decisions=6150, wrong=2720, backtracks=1580, failedAssignments=1688, nogoods=410, foundSolutions=11, bestBound=-954
6.75/3.51 nFilterCalls=239159, avgTableProportion=0.9972452874074527, avgTableSize=362.0673234124578
6.75/3.51
6.75/3.52 num=88, depth=4..8, filters=87427, revisions=(82344,useless=46042), ccks=189336, wck=1.152, mem=76M825
6.75/3.52 decisions=6211, wrong=2748, backtracks=1593, failedAssignments=1709, nogoods=413, foundSolutions=11, bestBound=-954
6.75/3.52 nFilterCalls=241029, avgTableProportion=0.9972452821302008, avgTableSize=362.0665936464077
6.75/3.52
6.75/3.53 num=89, depth=4..9, filters=88818, revisions=(83683,useless=46796), ccks=192533, wck=1.167, mem=76M825
6.75/3.53 decisions=6291, wrong=2786, backtracks=1616, failedAssignments=1732, nogoods=418, foundSolutions=11, bestBound=-954
6.75/3.53 nFilterCalls=244304, avgTableProportion=0.9972452817426884, avgTableSize=362.0665400484642
6.75/3.53
6.75/3.55 num=90, depth=4..11, filters=90352, revisions=(85063,useless=47558), ccks=195689, wck=1.183, mem=79M468
6.75/3.55 decisions=6392, wrong=2833, backtracks=1645, failedAssignments=1757, nogoods=425, foundSolutions=11, bestBound=-954
6.75/3.55 nFilterCalls=248135, avgTableProportion=0.9972452833190025, avgTableSize=362.0667580147903
6.75/3.55
6.75/3.57 num=91, depth=3..11, filters=91836, revisions=(86431,useless=48321), ccks=199106, wck=1.2, mem=79M468
6.75/3.57 decisions=6488, wrong=2877, backtracks=1667, failedAssignments=1785, nogoods=429, foundSolutions=11, bestBound=-954
6.75/3.57 nFilterCalls=252034, avgTableProportion=0.9972452844871805, avgTableSize=362.0669195426014
6.75/3.57
6.75/3.59 num=92, depth=4..12, filters=93711, revisions=(88172,useless=49344), ccks=202900, wck=1.219, mem=79M468
6.75/3.59 decisions=6596, wrong=2929, backtracks=1699, failedAssignments=1816, nogoods=434, foundSolutions=11, bestBound=-954
6.75/3.59 nFilterCalls=256544, avgTableProportion=0.9972452835906983, avgTableSize=362.0667955594362
6.75/3.59
6.85/3.61 num=93, depth=3..11, filters=95563, revisions=(89839,useless=50270), ccks=206897, wck=1.242, mem=79M468
6.85/3.61 decisions=6712, wrong=2985, backtracks=1738, failedAssignments=1850, nogoods=440, foundSolutions=11, bestBound=-954
6.85/3.61 nFilterCalls=261726, avgTableProportion=0.9972452789452486, avgTableSize=362.06615315253356
6.85/3.61
6.85/3.63 num=94, depth=3..13, filters=97521, revisions=(91574,useless=51297), ccks=210668, wck=1.264, mem=79M468
6.85/3.63 decisions=6840, wrong=3045, backtracks=1774, failedAssignments=1887, nogoods=454, foundSolutions=11, bestBound=-954
6.85/3.63 nFilterCalls=267559, avgTableProportion=0.9972452881652506, avgTableSize=362.0674281186579
6.85/3.63
6.85/3.65 num=95, depth=4..8, filters=99707, revisions=(93583,useless=52369), ccks=215913, wck=1.287, mem=79M468
6.85/3.65 decisions=6982, wrong=3114, backtracks=1817, failedAssignments=1928, nogoods=463, foundSolutions=11, bestBound=-954
6.85/3.65 nFilterCalls=272297, avgTableProportion=0.9972452786717372, avgTableSize=362.06611530791747
6.85/3.65
6.85/3.68 num=96, depth=4..11, filters=101711, revisions=(95451,useless=53435), ccks=220340, wck=1.312, mem=79M468
6.85/3.68 decisions=7137, wrong=3189, backtracks=1862, failedAssignments=1973, nogoods=472, foundSolutions=11, bestBound=-954
6.85/3.68 nFilterCalls=278164, avgTableProportion=0.9972452850437773, avgTableSize=362.0669964481385
6.85/3.68
6.97/3.70 num=97, depth=2..10, filters=104061, revisions=(97656,useless=54602), ccks=225454, wck=1.339, mem=79M468
6.97/3.70 decisions=7295, wrong=3266, backtracks=1908, failedAssignments=2023, nogoods=477, foundSolutions=11, bestBound=-954
6.97/3.70 nFilterCalls=283946, avgTableProportion=0.9972452797115628, avgTableSize=362.06625907743023
6.97/3.70
6.97/3.73 o -953
6.97/3.73 num=98, depth=3..59, filters=106211, revisions=(99652,useless=55774), ccks=229963, wck=1.368, mem=79M468
6.97/3.73 decisions=7431, wrong=3331, backtracks=1948, failedAssignments=2063, nogoods=489, foundSolutions=12, bestBound=-953
6.97/3.73 nFilterCalls=290313, avgTableProportion=0.9972452819815893, avgTableSize=362.0665729746859
6.97/3.73
6.97/3.77 num=99, depth=2..10, filters=109493, revisions=(102799,useless=57488), ccks=237107, wck=1.406, mem=79M468
6.97/3.77 decisions=7652, wrong=3440, backtracks=2015, failedAssignments=2124, nogoods=493, foundSolutions=12, bestBound=-953
6.97/3.77 nFilterCalls=298150, avgTableProportion=0.997245276191338, avgTableSize=362.0657722622841
6.97/3.77
6.97/3.78 num=100, depth=4..7, filters=109911, revisions=(103265,useless=57735), ccks=238031, wck=1.41, mem=79M468
6.97/3.78 decisions=7688, wrong=3456, backtracks=2021, failedAssignments=2135, nogoods=496, foundSolutions=12, bestBound=-953
6.97/3.78 nFilterCalls=299098, avgTableProportion=0.9972452740068457, avgTableSize=362.06547018034223
6.97/3.78
6.97/3.78 num=101, depth=6..12, filters=110593, revisions=(103892,useless=58099), ccks=239166, wck=1.417, mem=79M468
6.97/3.78 decisions=7726, wrong=3472, backtracks=2031, failedAssignments=2147, nogoods=497, foundSolutions=12, bestBound=-953
6.97/3.78 nFilterCalls=300801, avgTableProportion=0.9972452751008243, avgTableSize=362.06562145737547
6.97/3.78
6.97/3.79 num=102, depth=7..15, filters=111437, revisions=(104596,useless=58507), ccks=240720, wck=1.426, mem=79M468
6.97/3.79 decisions=7773, wrong=3492, backtracks=2044, failedAssignments=2160, nogoods=501, foundSolutions=12, bestBound=-953
6.97/3.79 nFilterCalls=303241, avgTableProportion=0.9972452750980775, avgTableSize=362.0656210736675
6.97/3.79
7.10/3.80 num=103, depth=4..10, filters=112257, revisions=(105385,useless=58968), ccks=242479, wck=1.437, mem=79M468
7.10/3.80 decisions=7827, wrong=3517, backtracks=2062, failedAssignments=2174, nogoods=503, foundSolutions=12, bestBound=-953
7.10/3.80 nFilterCalls=305382, avgTableProportion=0.9972452760099126, avgTableSize=362.0657471625702
7.10/3.80
7.10/3.81 num=104, depth=3..7, filters=113195, revisions=(106286,useless=59438), ccks=244611, wck=1.448, mem=82M110
7.10/3.81 decisions=7885, wrong=3544, backtracks=2077, failedAssignments=2190, nogoods=508, foundSolutions=12, bestBound=-953
7.10/3.81 nFilterCalls=307739, avgTableProportion=0.9972452724389209, avgTableSize=362.06525334780446
7.10/3.81
7.10/3.82 num=105, depth=5..9, filters=114170, revisions=(107156,useless=59922), ccks=246306, wck=1.457, mem=82M110
7.10/3.82 decisions=7936, wrong=3567, backtracks=2089, failedAssignments=2207, nogoods=512, foundSolutions=12, bestBound=-953
7.10/3.82 nFilterCalls=309954, avgTableProportion=0.9972452733830012, avgTableSize=362.06538389567487
7.10/3.82
7.10/3.84 num=106, depth=5..11, filters=115380, revisions=(108233,useless=60573), ccks=248679, wck=1.472, mem=82M110
7.10/3.84 decisions=8009, wrong=3600, backtracks=2109, failedAssignments=2226, nogoods=515, foundSolutions=12, bestBound=-953
7.10/3.84 nFilterCalls=313415, avgTableProportion=0.997245275522072, avgTableSize=362.0656796898681
7.10/3.84
7.10/3.85 num=107, depth=3..7, filters=116459, revisions=(109313,useless=61131), ccks=251160, wck=1.484, mem=82M110
7.10/3.85 decisions=8086, wrong=3637, backtracks=2129, failedAssignments=2247, nogoods=524, foundSolutions=12, bestBound=-953
7.10/3.85 nFilterCalls=315736, avgTableProportion=0.9972452724657807, avgTableSize=362.06525705019385
7.10/3.85
7.10/3.87 num=108, depth=3..9, filters=118032, revisions=(110798,useless=61989), ccks=254358, wck=1.502, mem=82M110
7.10/3.87 decisions=8178, wrong=3680, backtracks=2154, failedAssignments=2270, nogoods=527, foundSolutions=12, bestBound=-953
7.10/3.87 nFilterCalls=319705, avgTableProportion=0.997245270475208, avgTableSize=362.0649817800785
7.10/3.87
7.10/3.88 num=109, depth=4..9, filters=119554, revisions=(112237,useless=62836), ccks=257470, wck=1.519, mem=82M110
7.10/3.88 decisions=8268, wrong=3722, backtracks=2180, failedAssignments=2295, nogoods=533, foundSolutions=12, bestBound=-953
7.10/3.88 nFilterCalls=323766, avgTableProportion=0.9972452699192945, avgTableSize=362.0649049004528
7.10/3.88
7.20/3.90 num=110, depth=3..8, filters=120997, revisions=(113649,useless=63587), ccks=260389, wck=1.532, mem=82M110
7.20/3.90 decisions=8358, wrong=3765, backtracks=2199, failedAssignments=2323, nogoods=543, foundSolutions=12, bestBound=-953
7.20/3.90 nFilterCalls=326467, avgTableProportion=0.9972452646849159, avgTableSize=362.0641810657739
7.20/3.90
7.20/3.91 num=111, depth=5..11, filters=122524, revisions=(115103,useless=64379), ccks=263445, wck=1.548, mem=82M110
7.20/3.91 decisions=8460, wrong=3813, backtracks=2223, failedAssignments=2354, nogoods=553, foundSolutions=12, bestBound=-953
7.20/3.91 nFilterCalls=329923, avgTableProportion=0.9972452669248295, avgTableSize=362.06449080543035
7.20/3.91
7.20/3.94 o -951
7.20/3.94 num=112, depth=4..59, filters=124531, revisions=(116938,useless=65389), ccks=267910, wck=1.571, mem=82M110
7.20/3.94 decisions=8582, wrong=3868, backtracks=2254, failedAssignments=2384, nogoods=558, foundSolutions=13, bestBound=-951
7.20/3.94 nFilterCalls=334928, avgTableProportion=0.997245268916092, avgTableSize=362.0647661586968
7.20/3.94
7.20/3.96 num=113, depth=2..10, filters=126030, revisions=(118395,useless=66175), ccks=270867, wck=1.592, mem=82M110
7.20/3.96 decisions=8689, wrong=3919, backtracks=2286, failedAssignments=2421, nogoods=561, foundSolutions=13, bestBound=-951
7.20/3.96 nFilterCalls=339391, avgTableProportion=0.9972452690854967, avgTableSize=362.06478957898116
7.20/3.96
7.20/3.97 num=114, depth=4..8, filters=126748, revisions=(119052,useless=66552), ccks=272119, wck=1.6, mem=82M110
7.20/3.97 decisions=8730, wrong=3937, backtracks=2294, failedAssignments=2432, nogoods=563, foundSolutions=13, bestBound=-951
7.20/3.97 nFilterCalls=341404, avgTableProportion=0.9972452690130436, avgTableSize=362.06477955735727
7.20/3.97
7.20/3.98 num=115, depth=3..9, filters=127336, revisions=(119640,useless=66893), ccks=273335, wck=1.61, mem=82M110
7.20/3.98 decisions=8775, wrong=3958, backtracks=2313, failedAssignments=2444, nogoods=565, foundSolutions=13, bestBound=-951
7.20/3.98 nFilterCalls=343638, avgTableProportion=0.9972452711444443, avgTableSize=362.065074293297
7.20/3.98
7.20/3.98 o -950
7.20/3.98 num=116, depth=4..59, filters=127652, revisions=(119964,useless=67080), ccks=273926, wck=1.616, mem=82M110
7.20/3.98 decisions=8793, wrong=3963, backtracks=2315, failedAssignments=2448, nogoods=568, foundSolutions=14, bestBound=-950
7.20/3.98 nFilterCalls=344851, avgTableProportion=0.9972452708941767, avgTableSize=362.0650396838055
7.20/3.98
7.20/3.99 num=117, depth=2..8, filters=128435, revisions=(120797,useless=67553), ccks=275521, wck=1.625, mem=82M110
7.20/3.99 decisions=8848, wrong=3989, backtracks=2332, failedAssignments=2462, nogoods=575, foundSolutions=14, bestBound=-950
7.20/3.99 nFilterCalls=346747, avgTableProportion=0.9972452717426837, avgTableSize=362.0651570164991
7.20/3.99
7.20/4.00 num=118, depth=3..11, filters=129075, revisions=(121401,useless=67888), ccks=276718, wck=1.633, mem=82M110
7.20/4.00 decisions=8896, wrong=4009, backtracks=2343, failedAssignments=2473, nogoods=578, foundSolutions=14, bestBound=-950
7.20/4.00 nFilterCalls=348717, avgTableProportion=0.9972452738504668, avgTableSize=362.0654484868819
7.20/4.00
7.20/4.01 num=119, depth=2..9, filters=129686, revisions=(121989,useless=68193), ccks=277952, wck=1.64, mem=82M110
7.20/4.01 decisions=8938, wrong=4027, backtracks=2353, failedAssignments=2485, nogoods=581, foundSolutions=14, bestBound=-950
7.20/4.01 nFilterCalls=350069, avgTableProportion=0.9972452713615513, avgTableSize=362.06510430800785
7.20/4.01
7.33/4.02 num=120, depth=4..9, filters=130621, revisions=(122836,useless=68659), ccks=279624, wck=1.651, mem=82M110
7.33/4.02 decisions=8987, wrong=4049, backtracks=2365, failedAssignments=2498, nogoods=587, foundSolutions=14, bestBound=-950
7.33/4.02 nFilterCalls=352602, avgTableProportion=0.9972452701739163, avgTableSize=362.06494007407787
7.33/4.02
7.33/4.02 num=121, depth=4..8, filters=131238, revisions=(123459,useless=69008), ccks=280961, wck=1.658, mem=82M110
7.33/4.02 decisions=9031, wrong=4068, backtracks=2374, failedAssignments=2512, nogoods=594, foundSolutions=14, bestBound=-950
7.33/4.02 nFilterCalls=354030, avgTableProportion=0.9972452689333539, avgTableSize=362.0647685224416
7.33/4.02
7.33/4.03 num=122, depth=2..10, filters=131963, revisions=(124189,useless=69405), ccks=282273, wck=1.666, mem=82M110
7.33/4.03 decisions=9081, wrong=4092, backtracks=2391, failedAssignments=2528, nogoods=595, foundSolutions=14, bestBound=-950
7.33/4.03 nFilterCalls=355720, avgTableProportion=0.9972452726036207, avgTableSize=362.06527605982234
7.33/4.03
7.33/4.04 num=123, depth=4..10, filters=133111, revisions=(125257,useless=70015), ccks=284630, wck=1.679, mem=84M753
7.33/4.04 decisions=9142, wrong=4120, backtracks=2410, failedAssignments=2545, nogoods=601, foundSolutions=14, bestBound=-950
7.33/4.04 nFilterCalls=358729, avgTableProportion=0.9972452708817808, avgTableSize=362.06503795344116
7.33/4.04
7.33/4.06 num=124, depth=4..9, filters=134316, revisions=(126312,useless=70583), ccks=287273, wck=1.695, mem=84M753
7.33/4.06 decisions=9224, wrong=4158, backtracks=2437, failedAssignments=2564, nogoods=607, foundSolutions=14, bestBound=-950
7.33/4.06 nFilterCalls=362233, avgTableProportion=0.9972452718422005, avgTableSize=362.06517076025654
7.33/4.06
7.33/4.08 num=125, depth=3..9, filters=135772, revisions=(127676,useless=71326), ccks=289974, wck=1.71, mem=84M753
7.33/4.08 decisions=9305, wrong=4196, backtracks=2461, failedAssignments=2585, nogoods=614, foundSolutions=14, bestBound=-950
7.33/4.08 nFilterCalls=365430, avgTableProportion=0.9972452697574368, avgTableSize=362.0648824672304
7.33/4.08
7.33/4.09 num=126, depth=4..10, filters=137049, revisions=(128863,useless=72035), ccks=292412, wck=1.726, mem=84M753
7.33/4.09 decisions=9389, wrong=4235, backtracks=2483, failedAssignments=2608, nogoods=619, foundSolutions=14, bestBound=-950
7.33/4.09 nFilterCalls=368644, avgTableProportion=0.9972452716694347, avgTableSize=362.06514686255576
7.33/4.09
7.33/4.11 num=127, depth=4..10, filters=138266, revisions=(130038,useless=72702), ccks=294722, wck=1.74, mem=84M753
7.33/4.11 decisions=9467, wrong=4272, backtracks=2503, failedAssignments=2633, nogoods=625, foundSolutions=14, bestBound=-950
7.33/4.11 nFilterCalls=371848, avgTableProportion=0.9972452706439847, avgTableSize=362.06500505582926
7.33/4.11
7.46/4.12 num=128, depth=4..9, filters=139346, revisions=(131046,useless=73240), ccks=297162, wck=1.751, mem=84M753
7.46/4.12 decisions=9551, wrong=4311, backtracks=2522, failedAssignments=2661, nogoods=629, foundSolutions=14, bestBound=-950
7.46/4.12 nFilterCalls=374127, avgTableProportion=0.9972452681863895, avgTableSize=362.0646652072692
7.46/4.12
7.46/4.14 num=129, depth=3..10, filters=141123, revisions=(132646,useless=74134), ccks=300544, wck=1.772, mem=84M753
7.46/4.14 decisions=9653, wrong=4360, backtracks=2551, failedAssignments=2692, nogoods=632, foundSolutions=14, bestBound=-950
7.46/4.14 nFilterCalls=378865, avgTableProportion=0.9972452723019466, avgTableSize=362.0652343182928
7.46/4.14
7.46/4.16 num=130, depth=4..10, filters=143092, revisions=(134414,useless=75109), ccks=304278, wck=1.796, mem=84M753
7.46/4.16 decisions=9770, wrong=4415, backtracks=2588, failedAssignments=2726, nogoods=638, foundSolutions=14, bestBound=-950
7.46/4.16 nFilterCalls=384158, avgTableProportion=0.9972452696988663, avgTableSize=362.0648743485753
7.46/4.16
7.46/4.18 num=131, depth=4..11, filters=145121, revisions=(136309,useless=76122), ccks=308015, wck=1.814, mem=84M753
7.46/4.18 decisions=9895, wrong=4475, backtracks=2620, failedAssignments=2763, nogoods=645, foundSolutions=14, bestBound=-950
7.46/4.18 nFilterCalls=388287, avgTableProportion=0.9972452690122959, avgTableSize=362.06477940286436
7.46/4.18
7.55/4.20 num=132, depth=3..11, filters=147216, revisions=(138227,useless=77149), ccks=312081, wck=1.839, mem=84M753
7.55/4.20 decisions=10031, wrong=4540, backtracks=2661, failedAssignments=2804, nogoods=651, foundSolutions=14, bestBound=-950
7.55/4.20 nFilterCalls=393736, avgTableProportion=0.997245274485818, avgTableSize=362.06553629843347
7.55/4.20
7.55/4.21 o -946
7.55/4.21 num=133, depth=4..59, filters=147833, revisions=(138789,useless=77508), ccks=313240, wck=1.848, mem=84M753
7.55/4.21 decisions=10065, wrong=4552, backtracks=2668, failedAssignments=2811, nogoods=653, foundSolutions=15, bestBound=-946
7.55/4.21 nFilterCalls=395963, avgTableProportion=0.9972452775366879, avgTableSize=362.06595818296154
7.55/4.21
7.55/4.24 num=134, depth=1..11, filters=150402, revisions=(141196,useless=78852), ccks=318074, wck=1.878, mem=84M753
7.55/4.24 decisions=10223, wrong=4629, backtracks=2709, failedAssignments=2861, nogoods=661, foundSolutions=15, bestBound=-946
7.55/4.24 nFilterCalls=402551, avgTableProportion=0.9972452774912367, avgTableSize=362.06595189180996
7.55/4.24
7.55/4.25 num=135, depth=4..8, filters=150872, revisions=(141685,useless=79131), ccks=318846, wck=1.884, mem=84M753
7.55/4.25 decisions=10257, wrong=4643, backtracks=2713, failedAssignments=2872, nogoods=669, foundSolutions=15, bestBound=-946
7.55/4.25 nFilterCalls=403896, avgTableProportion=0.9972452790362953, avgTableSize=362.0661655475667
7.55/4.25
7.55/4.26 num=136, depth=3..9, filters=151484, revisions=(142280,useless=79460), ccks=319831, wck=1.891, mem=84M753
7.55/4.26 decisions=10298, wrong=4660, backtracks=2723, failedAssignments=2884, nogoods=671, foundSolutions=15, bestBound=-946
7.55/4.26 nFilterCalls=405446, avgTableProportion=0.9972452802392188, avgTableSize=362.06633189129997
7.55/4.26
7.55/4.27 num=137, depth=3..10, filters=152702, revisions=(143365,useless=80087), ccks=322108, wck=1.906, mem=84M753
7.55/4.27 decisions=10371, wrong=4695, backtracks=2748, failedAssignments=2897, nogoods=674, foundSolutions=15, bestBound=-946
7.55/4.27 nFilterCalls=408720, avgTableProportion=0.997245279687737, avgTableSize=362.0662556273243
7.55/4.27
7.55/4.28 num=138, depth=5..10, filters=153725, revisions=(144312,useless=80599), ccks=324072, wck=1.916, mem=84M753
7.55/4.28 decisions=10420, wrong=4716, backtracks=2759, failedAssignments=2911, nogoods=681, foundSolutions=15, bestBound=-946
7.55/4.28 nFilterCalls=411068, avgTableProportion=0.9972452782176228, avgTableSize=362.0660523319743
7.55/4.28
7.55/4.29 num=139, depth=4..10, filters=154396, revisions=(144994,useless=80990), ccks=325543, wck=1.925, mem=84M753
7.55/4.29 decisions=10472, wrong=4740, backtracks=2773, failedAssignments=2927, nogoods=684, foundSolutions=15, bestBound=-946
7.55/4.29 nFilterCalls=412811, avgTableProportion=0.9972452810532348, avgTableSize=362.0664444503659
7.55/4.29
7.67/4.30 num=140, depth=3..6, filters=155539, revisions=(146067,useless=81570), ccks=327530, wck=1.937, mem=87M395
7.67/4.30 decisions=10527, wrong=4766, backtracks=2787, failedAssignments=2944, nogoods=688, foundSolutions=15, bestBound=-946
7.67/4.30 nFilterCalls=415379, avgTableProportion=0.9972452828180511, avgTableSize=362.0666884941222
7.67/4.30
7.67/4.32 num=141, depth=2..7, filters=156460, revisions=(147004,useless=82096), ccks=329354, wck=1.95, mem=87M395
7.67/4.32 decisions=10600, wrong=4801, backtracks=2808, failedAssignments=2963, nogoods=692, foundSolutions=15, bestBound=-946
7.67/4.32 nFilterCalls=417987, avgTableProportion=0.9972452838228328, avgTableSize=362.06682743721694
7.67/4.32
7.67/4.33 num=142, depth=3..9, filters=157536, revisions=(148047,useless=82664), ccks=331661, wck=1.962, mem=87M395
7.67/4.33 decisions=10667, wrong=4831, backtracks=2827, failedAssignments=2984, nogoods=701, foundSolutions=15, bestBound=-946
7.67/4.33 nFilterCalls=420416, avgTableProportion=0.9972452815639716, avgTableSize=362.06651507078703
7.67/4.33
7.67/4.34 num=143, depth=3..10, filters=158953, revisions=(149314,useless=83413), ccks=334436, wck=1.978, mem=87M395
7.67/4.34 decisions=10747, wrong=4869, backtracks=2850, failedAssignments=3007, nogoods=704, foundSolutions=15, bestBound=-946
7.67/4.34 nFilterCalls=424462, avgTableProportion=0.9972452853952413, avgTableSize=362.06704487091895
7.67/4.34
7.67/4.36 num=144, depth=3..11, filters=160548, revisions=(150724,useless=84265), ccks=337128, wck=1.999, mem=87M395
7.67/4.36 decisions=10844, wrong=4916, backtracks=2878, failedAssignments=3032, nogoods=707, foundSolutions=15, bestBound=-946
7.67/4.36 nFilterCalls=429115, avgTableProportion=0.9972452836264741, avgTableSize=362.0668002749846
7.67/4.36
7.67/4.38 num=145, depth=2..7, filters=161863, revisions=(152052,useless=85045), ccks=340076, wck=2.013, mem=87M395
7.67/4.38 decisions=10932, wrong=4959, backtracks=2903, failedAssignments=3060, nogoods=708, foundSolutions=15, bestBound=-946
7.67/4.38 nFilterCalls=431839, avgTableProportion=0.9972452845313668, avgTableSize=362.0669254050699
7.67/4.38
7.78/4.40 num=146, depth=3..11, filters=163571, revisions=(153612,useless=85934), ccks=342771, wck=2.033, mem=87M395
7.78/4.40 decisions=11029, wrong=5005, backtracks=2932, failedAssignments=3091, nogoods=713, foundSolutions=15, bestBound=-946
7.78/4.40 nFilterCalls=436456, avgTableProportion=0.9972452857575631, avgTableSize=362.06709496489907
7.78/4.40
7.78/4.42 num=147, depth=3..10, filters=165535, revisions=(155324,useless=86926), ccks=346490, wck=2.058, mem=87M395
7.78/4.42 decisions=11149, wrong=5063, backtracks=2973, failedAssignments=3125, nogoods=723, foundSolutions=15, bestBound=-946
7.78/4.42 nFilterCalls=442205, avgTableProportion=0.9972452874791189, avgTableSize=362.0673330242761
7.78/4.42
7.78/4.45 num=148, depth=2..8, filters=167397, revisions=(157072,useless=87835), ccks=350363, wck=2.079, mem=87M395
7.78/4.45 decisions=11278, wrong=5126, backtracks=3006, failedAssignments=3162, nogoods=730, foundSolutions=15, bestBound=-946
7.78/4.45 nFilterCalls=446479, avgTableProportion=0.9972452871263553, avgTableSize=362.0672842395723
7.78/4.45
7.78/4.47 num=149, depth=4..12, filters=169610, revisions=(159080,useless=88915), ccks=354981, wck=2.103, mem=87M395
7.78/4.47 decisions=11427, wrong=5198, backtracks=3047, failedAssignments=3203, nogoods=736, foundSolutions=15, bestBound=-946
7.78/4.47 nFilterCalls=451324, avgTableProportion=0.9972452898343666, avgTableSize=362.0676587108153
7.78/4.47
7.78/4.49 o 13
7.78/4.49 num=150, depth=1..59, filters=171119, revisions=(160632,useless=89804), ccks=357936, wck=2.121, mem=87M395
7.78/4.49 decisions=11538, wrong=5247, backtracks=3074, failedAssignments=3235, nogoods=747, foundSolutions=16, bestBound=13
7.78/4.49 nFilterCalls=455577, avgTableProportion=0.9972452968066785, avgTableSize=362.06862286726505
7.78/4.49
7.78/4.49 o 14
7.78/4.49 num=151, depth=10..59, filters=171354, revisions=(160911,useless=89943), ccks=358752, wck=2.124, mem=87M395
7.78/4.49 decisions=11565, wrong=5253, backtracks=3077, failedAssignments=3239, nogoods=748, foundSolutions=17, bestBound=14
7.78/4.49 nFilterCalls=456381, avgTableProportion=0.9972452965028841, avgTableSize=362.06858085678414
7.78/4.49
7.78/4.49 o 25
7.78/4.49 num=152, depth=11..59, filters=171868, revisions=(161395,useless=90212), ccks=360371, wck=2.129, mem=87M395
7.78/4.49 decisions=11613, wrong=5270, backtracks=3085, failedAssignments=3249, nogoods=754, foundSolutions=18, bestBound=25
7.78/4.49 nFilterCalls=458308, avgTableProportion=0.9972452996719567, avgTableSize=362.06901908760045
7.78/4.49
7.89/4.50 o 29
7.89/4.50 num=153, depth=11..59, filters=172159, revisions=(161695,useless=90386), ccks=361207, wck=2.132, mem=87M395
7.89/4.50 decisions=11643, wrong=5278, backtracks=3088, failedAssignments=3255, nogoods=759, foundSolutions=19, bestBound=29
7.89/4.50 nFilterCalls=459470, avgTableProportion=0.9972453021555376, avgTableSize=362.0693625263891
7.89/4.50
7.89/4.50 num=154, depth=8..12, filters=172846, revisions=(162346,useless=90736), ccks=362785, wck=2.138, mem=87M395
7.89/4.50 decisions=11691, wrong=5298, backtracks=3101, failedAssignments=3266, nogoods=762, foundSolutions=19, bestBound=29
7.89/4.50 nFilterCalls=461552, avgTableProportion=0.9972453026817849, avgTableSize=362.0694352965646
7.89/4.50
7.89/4.51 num=155, depth=8..12, filters=173238, revisions=(162680,useless=90886), ccks=363960, wck=2.142, mem=87M395
7.89/4.51 decisions=11725, wrong=5311, backtracks=3107, failedAssignments=3277, nogoods=766, foundSolutions=19, bestBound=29
7.89/4.51 nFilterCalls=462592, avgTableProportion=0.9972453031161762, avgTableSize=362.06949536524627
7.89/4.51
7.89/4.51 num=156, depth=7..12, filters=173718, revisions=(163128,useless=91108), ccks=365033, wck=2.146, mem=87M395
7.89/4.51 decisions=11765, wrong=5326, backtracks=3114, failedAssignments=3289, nogoods=772, foundSolutions=19, bestBound=29
7.89/4.51 nFilterCalls=463823, avgTableProportion=0.9972453034818114, avgTableSize=362.06954592592433
7.89/4.51
7.89/4.52 num=157, depth=8..11, filters=174372, revisions=(163677,useless=91394), ccks=366887, wck=2.153, mem=87M395
7.89/4.52 decisions=11813, wrong=5346, backtracks=3125, failedAssignments=3302, nogoods=780, foundSolutions=19, bestBound=29
7.89/4.52 nFilterCalls=466084, avgTableProportion=0.9972453022678434, avgTableSize=362.06937805202494
7.89/4.52
7.89/4.53 num=158, depth=7..13, filters=175162, revisions=(164349,useless=91768), ccks=368592, wck=2.161, mem=90M37
7.89/4.53 decisions=11872, wrong=5372, backtracks=3143, failedAssignments=3316, nogoods=782, foundSolutions=19, bestBound=29
7.89/4.53 nFilterCalls=468627, avgTableProportion=0.9972453016594269, avgTableSize=362.0692939160569
7.89/4.53
7.89/4.53 num=159, depth=6..13, filters=175879, revisions=(165035,useless=92126), ccks=370592, wck=2.169, mem=90M37
7.89/4.53 decisions=11936, wrong=5401, backtracks=3162, failedAssignments=3332, nogoods=783, foundSolutions=19, bestBound=29
7.89/4.53 nFilterCalls=470833, avgTableProportion=0.9972453032128034, avgTableSize=362.06950872177606
7.89/4.53
7.89/4.54 num=160, depth=5..10, filters=176696, revisions=(165748,useless=92450), ccks=372720, wck=2.179, mem=90M37
7.89/4.54 decisions=11999, wrong=5429, backtracks=3179, failedAssignments=3349, nogoods=787, foundSolutions=19, bestBound=29
7.89/4.54 nFilterCalls=473323, avgTableProportion=0.9972453040824967, avgTableSize=362.0696289848581
7.89/4.54
7.89/4.55 num=161, depth=7..12, filters=177652, revisions=(166557,useless=92898), ccks=375082, wck=2.188, mem=90M37
7.89/4.55 decisions=12070, wrong=5460, backtracks=3198, failedAssignments=3368, nogoods=789, foundSolutions=19, bestBound=29
7.89/4.55 nFilterCalls=476667, avgTableProportion=0.9972453068612342, avgTableSize=362.07001323775296
7.89/4.55
7.89/4.56 num=162, depth=7..13, filters=178593, revisions=(167404,useless=93366), ccks=377246, wck=2.198, mem=90M37
7.89/4.56 decisions=12145, wrong=5493, backtracks=3219, failedAssignments=3389, nogoods=796, foundSolutions=19, bestBound=29
7.89/4.56 nFilterCalls=479789, avgTableProportion=0.9972453101683784, avgTableSize=362.07047056101743
7.89/4.56
7.89/4.57 num=163, depth=6..11, filters=179815, revisions=(168421,useless=93906), ccks=379917, wck=2.208, mem=90M37
7.89/4.57 decisions=12220, wrong=5527, backtracks=3237, failedAssignments=3412, nogoods=798, foundSolutions=19, bestBound=29
7.89/4.57 nFilterCalls=482601, avgTableProportion=0.9972453085176599, avgTableSize=362.07024229125096
7.89/4.57
7.89/4.59 num=164, depth=6..11, filters=180949, revisions=(169437,useless=94402), ccks=382830, wck=2.22, mem=90M37
7.89/4.59 decisions=12317, wrong=5572, backtracks=3266, failedAssignments=3437, nogoods=803, foundSolutions=19, bestBound=29
7.89/4.59 nFilterCalls=486138, avgTableProportion=0.9972453084366496, avgTableSize=362.0702310866462
7.89/4.59
7.89/4.60 num=165, depth=5..10, filters=182096, revisions=(170492,useless=94930), ccks=385649, wck=2.231, mem=90M37
7.89/4.60 decisions=12409, wrong=5615, backtracks=3292, failedAssignments=3465, nogoods=806, foundSolutions=19, bestBound=29
7.89/4.60 nFilterCalls=489267, avgTableProportion=0.9972453083072907, avgTableSize=362.07021319647555
7.89/4.60
8.00/4.60 o 34
8.00/4.60 num=166, depth=7..59, filters=182288, revisions=(170659,useless=95006), ccks=386234, wck=2.234, mem=90M37
8.00/4.60 decisions=12427, wrong=5618, backtracks=3293, failedAssignments=3467, nogoods=808, foundSolutions=20, bestBound=34
8.00/4.60 nFilterCalls=490160, avgTableProportion=0.9972453086657949, avgTableSize=362.07026277133997
8.00/4.60
8.00/4.62 num=167, depth=6..13, filters=184005, revisions=(172257,useless=95915), ccks=390142, wck=2.252, mem=90M37
8.00/4.62 decisions=12555, wrong=5679, backtracks=3334, failedAssignments=3501, nogoods=814, foundSolutions=20, bestBound=34
8.00/4.62 nFilterCalls=495419, avgTableProportion=0.9972453132125221, avgTableSize=362.07089150799624
8.00/4.62
8.00/4.62 num=168, depth=7..11, filters=184467, revisions=(172653,useless=96097), ccks=391238, wck=2.257, mem=90M37
8.00/4.62 decisions=12593, wrong=5694, backtracks=3343, failedAssignments=3512, nogoods=818, foundSolutions=20, bestBound=34
8.00/4.62 nFilterCalls=496763, avgTableProportion=0.9972453120584571, avgTableSize=362.07073191844
8.00/4.62
8.00/4.63 num=169, depth=6..10, filters=184947, revisions=(173127,useless=96348), ccks=392459, wck=2.262, mem=90M37
8.00/4.63 decisions=12636, wrong=5711, backtracks=3352, failedAssignments=3524, nogoods=823, foundSolutions=20, bestBound=34
8.00/4.63 nFilterCalls=498131, avgTableProportion=0.9972453128603774, avgTableSize=362.07084281042535
8.00/4.63
8.00/4.63 num=170, depth=7..10, filters=185540, revisions=(173648,useless=96607), ccks=393997, wck=2.269, mem=90M37
8.00/4.63 decisions=12684, wrong=5731, backtracks=3363, failedAssignments=3537, nogoods=829, foundSolutions=20, bestBound=34
8.00/4.63 nFilterCalls=500003, avgTableProportion=0.9972453122150834, avgTableSize=362.07075357547853
8.00/4.63
8.00/4.64 num=171, depth=5..9, filters=186144, revisions=(174204,useless=96877), ccks=395697, wck=2.275, mem=90M37
8.00/4.64 decisions=12732, wrong=5752, backtracks=3371, failedAssignments=3551, nogoods=834, foundSolutions=20, bestBound=34
8.00/4.64 nFilterCalls=501647, avgTableProportion=0.9972453122104935, avgTableSize=362.07075293981626
8.00/4.64
8.00/4.65 num=172, depth=5..10, filters=187082, revisions=(175001,useless=97281), ccks=397688, wck=2.285, mem=90M37
8.00/4.65 decisions=12799, wrong=5782, backtracks=3389, failedAssignments=3567, nogoods=839, foundSolutions=20, bestBound=34
8.00/4.65 nFilterCalls=504388, avgTableProportion=0.9972453111361667, avgTableSize=362.07060437599625
8.00/4.65
8.00/4.66 num=173, depth=7..11, filters=187921, revisions=(175764,useless=97694), ccks=399911, wck=2.295, mem=90M37
8.00/4.66 decisions=12864, wrong=5810, backtracks=3404, failedAssignments=3584, nogoods=843, foundSolutions=20, bestBound=34
8.00/4.66 nFilterCalls=506994, avgTableProportion=0.9972453115641526, avgTableSize=362.0706635581486
8.00/4.66
8.00/4.67 num=174, depth=5..11, filters=188970, revisions=(176680,useless=98146), ccks=402443, wck=2.306, mem=90M37
8.00/4.67 decisions=12942, wrong=5846, backtracks=3429, failedAssignments=3603, nogoods=847, foundSolutions=20, bestBound=34
8.00/4.67 nFilterCalls=509888, avgTableProportion=0.997245312436384, avgTableSize=362.0707841722104
8.00/4.67
8.00/4.68 num=175, depth=5..10, filters=189829, revisions=(177468,useless=98536), ccks=404826, wck=2.316, mem=90M37
8.00/4.68 decisions=13016, wrong=5880, backtracks=3449, failedAssignments=3624, nogoods=849, foundSolutions=20, bestBound=34
8.00/4.68 nFilterCalls=512489, avgTableProportion=0.9972453106710308, avgTableSize=362.0705400506157
8.00/4.68
8.00/4.70 num=176, depth=5..11, filters=191122, revisions=(178679,useless=99170), ccks=407800, wck=2.33, mem=90M37
8.00/4.70 decisions=13108, wrong=5923, backtracks=3476, failedAssignments=3647, nogoods=857, foundSolutions=20, bestBound=34
8.00/4.70 nFilterCalls=516096, avgTableProportion=0.9972453117718496, avgTableSize=362.07069227430554
8.00/4.70
8.13/4.70 o 36
8.13/4.70 num=177, depth=9..59, filters=191436, revisions=(178958,useless=99316), ccks=408722, wck=2.334, mem=90M37
8.13/4.70 decisions=13133, wrong=5930, backtracks=3479, failedAssignments=3652, nogoods=862, foundSolutions=21, bestBound=36
8.13/4.70 nFilterCalls=517100, avgTableProportion=0.997245313240597, avgTableSize=362.07089537807
8.13/4.70
8.13/4.71 num=178, depth=5..10, filters=192720, revisions=(180290,useless=100096), ccks=411963, wck=2.349, mem=90M37
8.13/4.71 decisions=13234, wrong=5977, backtracks=3511, failedAssignments=3680, nogoods=870, foundSolutions=21, bestBound=36
8.13/4.71 nFilterCalls=520899, avgTableProportion=0.9972453147908732, avgTableSize=362.07110975448217
8.13/4.71
8.13/4.72 num=179, depth=4..11, filters=193407, revisions=(180881,useless=100384), ccks=413728, wck=2.357, mem=92M680
8.13/4.72 decisions=13288, wrong=6001, backtracks=3529, failedAssignments=3691, nogoods=874, foundSolutions=21, bestBound=36
8.13/4.72 nFilterCalls=522980, avgTableProportion=0.9972453146667187, avgTableSize=362.0710925848025
8.13/4.72
8.13/4.73 num=180, depth=4..11, filters=194108, revisions=(181557,useless=100753), ccks=415377, wck=2.366, mem=92M680
8.13/4.73 decisions=13341, wrong=6025, backtracks=3545, failedAssignments=3703, nogoods=879, foundSolutions=21, bestBound=36
8.13/4.73 nFilterCalls=525161, avgTableProportion=0.9972453136194745, avgTableSize=362.07094776649444
8.13/4.73
8.13/4.74 num=181, depth=4..11, filters=194712, revisions=(182061,useless=100997), ccks=416878, wck=2.374, mem=92M680
8.13/4.74 decisions=13395, wrong=6049, backtracks=3560, failedAssignments=3716, nogoods=883, foundSolutions=21, bestBound=36
8.13/4.74 nFilterCalls=527378, avgTableProportion=0.9972453128750332, avgTableSize=362.0708448209823
8.13/4.74
8.13/4.75 num=182, depth=4..11, filters=195463, revisions=(182745,useless=101344), ccks=418664, wck=2.382, mem=92M680
8.13/4.75 decisions=13446, wrong=6071, backtracks=3576, failedAssignments=3730, nogoods=891, foundSolutions=21, bestBound=36
8.13/4.75 nFilterCalls=529433, avgTableProportion=0.9972453150524654, avgTableSize=362.0711459240357
8.13/4.75
8.13/4.76 num=183, depth=4..10, filters=196355, revisions=(183502,useless=101695), ccks=420856, wck=2.393, mem=92M680
8.13/4.76 decisions=13510, wrong=6101, backtracks=3595, failedAssignments=3746, nogoods=894, foundSolutions=21, bestBound=36
8.13/4.76 nFilterCalls=532040, avgTableProportion=0.9972453143392014, avgTableSize=362.0710472896775
8.13/4.76
8.13/4.77 num=184, depth=4..13, filters=197212, revisions=(184271,useless=102123), ccks=422863, wck=2.405, mem=92M680
8.13/4.77 decisions=13582, wrong=6132, backtracks=3615, failedAssignments=3763, nogoods=901, foundSolutions=21, bestBound=36
8.13/4.77 nFilterCalls=535289, avgTableProportion=0.9972453186645178, avgTableSize=362.07164541023633
8.13/4.77
8.13/4.78 num=185, depth=7..14, filters=198083, revisions=(185005,useless=102540), ccks=424914, wck=2.416, mem=92M680
8.13/4.78 decisions=13652, wrong=6163, backtracks=3636, failedAssignments=3782, nogoods=907, foundSolutions=21, bestBound=36
8.13/4.78 nFilterCalls=538569, avgTableProportion=0.9972453208800646, avgTableSize=362.07195178333694
8.13/4.78
8.13/4.79 num=186, depth=3..8, filters=198924, revisions=(185797,useless=102951), ccks=427000, wck=2.427, mem=92M680
8.13/4.79 decisions=13716, wrong=6193, backtracks=3654, failedAssignments=3803, nogoods=909, foundSolutions=21, bestBound=36
8.13/4.79 nFilterCalls=541106, avgTableProportion=0.9972453214207702, avgTableSize=362.0720265530229
8.13/4.79
8.25/4.81 num=187, depth=6..12, filters=200139, revisions=(186867,useless=103539), ccks=430123, wck=2.441, mem=92M680
8.25/4.81 decisions=13797, wrong=6229, backtracks=3677, failedAssignments=3826, nogoods=918, foundSolutions=21, bestBound=36
8.25/4.81 nFilterCalls=544923, avgTableProportion=0.9972453233858333, avgTableSize=362.072298288015
8.25/4.81
8.25/4.82 o 44
8.25/4.82 num=188, depth=5..59, filters=201294, revisions=(187873,useless=104051), ccks=433223, wck=2.454, mem=92M680
8.25/4.82 decisions=13885, wrong=6268, backtracks=3702, failedAssignments=3847, nogoods=925, foundSolutions=22, bestBound=44
8.25/4.82 nFilterCalls=548328, avgTableProportion=0.9972453253485793, avgTableSize=362.0725697028056
8.25/4.82
8.25/4.84 num=189, depth=3..12, filters=202752, revisions=(189175,useless=104767), ccks=436194, wck=2.472, mem=92M680
8.25/4.84 decisions=13982, wrong=6314, backtracks=3735, failedAssignments=3875, nogoods=927, foundSolutions=22, bestBound=44
8.25/4.84 nFilterCalls=553403, avgTableProportion=0.9972453268736672, avgTableSize=362.0727805956961
8.25/4.84
8.25/4.85 num=190, depth=4..8, filters=203464, revisions=(189838,useless=105135), ccks=437537, wck=2.481, mem=92M680
8.25/4.85 decisions=14028, wrong=6334, backtracks=3745, failedAssignments=3886, nogoods=934, foundSolutions=22, bestBound=44
8.25/4.85 nFilterCalls=555490, avgTableProportion=0.9972453266277197, avgTableSize=362.07274658409693
8.25/4.85
8.25/4.85 num=191, depth=4..8, filters=204068, revisions=(190413,useless=105411), ccks=438982, wck=2.487, mem=92M680
8.25/4.85 decisions=14073, wrong=6354, backtracks=3755, failedAssignments=3898, nogoods=939, foundSolutions=22, bestBound=44
8.25/4.85 nFilterCalls=556831, avgTableProportion=0.9972453250880894, avgTableSize=362.0725336771839
8.25/4.85
8.25/4.86 num=192, depth=3..10, filters=204722, revisions=(191005,useless=105736), ccks=440613, wck=2.496, mem=92M680
8.25/4.86 decisions=14124, wrong=6378, backtracks=3775, failedAssignments=3911, nogoods=940, foundSolutions=22, bestBound=44
8.25/4.86 nFilterCalls=558789, avgTableProportion=0.9972453256054796, avgTableSize=362.07260522308064
8.25/4.86
8.25/4.87 num=193, depth=5..11, filters=205569, revisions=(191693,useless=106122), ccks=442497, wck=2.507, mem=92M680
8.25/4.87 decisions=14185, wrong=6405, backtracks=3794, failedAssignments=3925, nogoods=947, foundSolutions=22, bestBound=44
8.25/4.87 nFilterCalls=561567, avgTableProportion=0.9972453258669336, avgTableSize=362.07264137671905
8.25/4.87
8.25/4.88 num=194, depth=3..9, filters=206346, revisions=(192346,useless=106471), ccks=444121, wck=2.518, mem=92M680
8.25/4.88 decisions=14236, wrong=6429, backtracks=3813, failedAssignments=3941, nogoods=951, foundSolutions=22, bestBound=44
8.25/4.88 nFilterCalls=564241, avgTableProportion=0.997245325761297, avgTableSize=362.0726267676401
8.25/4.88
8.36/4.90 num=195, depth=4..10, filters=207471, revisions=(193325,useless=106959), ccks=446357, wck=2.531, mem=92M680
8.36/4.90 decisions=14303, wrong=6460, backtracks=3834, failedAssignments=3958, nogoods=957, foundSolutions=22, bestBound=44
8.36/4.90 nFilterCalls=567247, avgTableProportion=0.9972453244314436, avgTableSize=362.0724428688032
8.36/4.90
8.36/4.91 num=196, depth=5..9, filters=208319, revisions=(194104,useless=107360), ccks=448408, wck=2.543, mem=92M680
8.36/4.91 decisions=14368, wrong=6489, backtracks=3853, failedAssignments=3977, nogoods=963, foundSolutions=22, bestBound=44
8.36/4.91 nFilterCalls=570472, avgTableProportion=0.9972453239417896, avgTableSize=362.07237515601116
8.36/4.91
8.36/4.92 num=197, depth=2..10, filters=209373, revisions=(194990,useless=107805), ccks=450558, wck=2.555, mem=92M680
8.36/4.92 decisions=14450, wrong=6528, backtracks=3879, failedAssignments=3998, nogoods=969, foundSolutions=22, bestBound=44
8.36/4.92 nFilterCalls=573397, avgTableProportion=0.9972453249923845, avgTableSize=362.07252043523073
8.36/4.92
8.36/4.93 num=198, depth=4..9, filters=210278, revisions=(195806,useless=108197), ccks=452926, wck=2.565, mem=92M680
8.36/4.93 decisions=14521, wrong=6561, backtracks=3896, failedAssignments=4021, nogoods=976, foundSolutions=22, bestBound=44
8.36/4.93 nFilterCalls=575756, avgTableProportion=0.9972453236098416, avgTableSize=362.0723292505853
8.36/4.93
8.36/4.95 num=199, depth=4..12, filters=211659, revisions=(196999,useless=108809), ccks=456246, wck=2.58, mem=92M680
8.36/4.95 decisions=14609, wrong=6603, backtracks=3929, failedAssignments=4046, nogoods=978, foundSolutions=22, bestBound=44
8.36/4.95 nFilterCalls=579340, avgTableProportion=0.9972453235695595, avgTableSize=362.07232367866885
8.36/4.95
8.36/4.97 num=200, depth=3..10, filters=213340, revisions=(198441,useless=109594), ccks=460254, wck=2.6, mem=95M322
8.36/4.97 decisions=14719, wrong=6656, backtracks=3964, failedAssignments=4074, nogoods=980, foundSolutions=22, bestBound=44
8.36/4.97 nFilterCalls=584713, avgTableProportion=0.9972453228077927, avgTableSize=362.0722183361752
8.36/4.97
8.36/4.99 num=201, depth=5..11, filters=214937, revisions=(199790,useless=110333), ccks=463953, wck=2.622, mem=95M322
8.36/4.99 decisions=14833, wrong=6710, backtracks=4002, failedAssignments=4105, nogoods=982, foundSolutions=22, bestBound=44
8.36/4.99 nFilterCalls=590233, avgTableProportion=0.9972453252747939, avgTableSize=362.07255948074743
8.36/4.99
8.47/5.01 num=202, depth=4..10, filters=216854, revisions=(201435,useless=111194), ccks=468576, wck=2.644, mem=95M322
8.47/5.01 decisions=14969, wrong=6775, backtracks=4042, failedAssignments=4139, nogoods=986, foundSolutions=22, bestBound=44
8.47/5.01 nFilterCalls=595820, avgTableProportion=0.9972453251244348, avgTableSize=362.0725386861804
8.47/5.01
8.47/5.03 num=203, depth=3..9, filters=218397, revisions=(202811,useless=111863), ccks=472017, wck=2.661, mem=95M322
8.47/5.03 decisions=15082, wrong=6829, backtracks=4068, failedAssignments=4176, nogoods=993, foundSolutions=22, bestBound=44
8.47/5.03 nFilterCalls=599658, avgTableProportion=0.9972453242030688, avgTableSize=362.07241127442643
8.47/5.03
8.47/5.05 num=204, depth=4..10, filters=220166, revisions=(204483,useless=112731), ccks=476148, wck=2.68, mem=95M322
8.47/5.05 decisions=15229, wrong=6899, backtracks=4110, failedAssignments=4217, nogoods=1001, foundSolutions=22, bestBound=44
8.47/5.05 nFilterCalls=604631, avgTableProportion=0.9972453228503722, avgTableSize=362.07222421609214
8.47/5.05
8.47/5.07 num=205, depth=4..9, filters=222424, revisions=(206629,useless=113902), ccks=481516, wck=2.706, mem=95M322
8.47/5.07 decisions=15392, wrong=6977, backtracks=4154, failedAssignments=4262, nogoods=1005, foundSolutions=22, bestBound=44
8.47/5.07 nFilterCalls=610949, avgTableProportion=0.9972453243380879, avgTableSize=362.0724299409607
8.47/5.07
8.47/5.09 num=206, depth=4..10, filters=224619, revisions=(208580,useless=114887), ccks=487185, wck=2.727, mem=95M322
8.47/5.09 decisions=15547, wrong=7052, backtracks=4193, failedAssignments=4312, nogoods=1009, foundSolutions=22, bestBound=44
8.47/5.09 nFilterCalls=615923, avgTableProportion=0.9972453206483286, avgTableSize=362.0719197042487
8.47/5.09
8.57/5.13 num=207, depth=3..11, filters=227243, revisions=(211022,useless=116224), ccks=492880, wck=2.762, mem=95M322
8.57/5.13 decisions=15737, wrong=7145, backtracks=4256, failedAssignments=4367, nogoods=1013, foundSolutions=22, bestBound=44
8.57/5.13 nFilterCalls=624339, avgTableProportion=0.9972453210968749, avgTableSize=362.0719817278754
8.57/5.13
8.57/5.17 num=208, depth=3..9, filters=230365, revisions=(213871,useless=117839), ccks=499564, wck=2.806, mem=95M322
8.57/5.17 decisions=15965, wrong=7257, backtracks=4340, failedAssignments=4428, nogoods=1025, foundSolutions=22, bestBound=44
8.57/5.17 nFilterCalls=635322, avgTableProportion=0.997245324812402, avgTableSize=362.0724955219558
8.57/5.17
8.66/5.22 num=209, depth=2..10, filters=234021, revisions=(217092,useless=119566), ccks=507691, wck=2.852, mem=95M322
8.66/5.22 decisions=16234, wrong=7390, backtracks=4430, failedAssignments=4495, nogoods=1032, foundSolutions=22, bestBound=44
8.66/5.22 nFilterCalls=646233, avgTableProportion=0.9972453261328915, avgTableSize=362.07267812073974
8.66/5.22
8.66/5.26 num=210, depth=2..12, filters=237734, revisions=(220402,useless=121438), ccks=515836, wck=2.895, mem=97M965
8.66/5.26 decisions=16505, wrong=7523, backtracks=4529, failedAssignments=4569, nogoods=1037, foundSolutions=22, bestBound=44
8.66/5.26 nFilterCalls=656699, avgTableProportion=0.9972453331073023, avgTableSize=362.0736425668381
8.66/5.26
8.76/5.31 num=211, depth=2..12, filters=241779, revisions=(223920,useless=123213), ccks=524916, wck=2.94, mem=97M965
8.76/5.31 decisions=16765, wrong=7652, backtracks=4613, failedAssignments=4650, nogoods=1040, foundSolutions=22, bestBound=44
8.76/5.31 nFilterCalls=667235, avgTableProportion=0.997245332978376, avgTableSize=362.0736247349135
8.76/5.31
8.76/5.37 num=212, depth=2..11, filters=246747, revisions=(228279,useless=125629), ccks=536015, wck=3.002, mem=97M965
8.76/5.37 decisions=17085, wrong=7811, backtracks=4714, failedAssignments=4739, nogoods=1044, foundSolutions=22, bestBound=44
8.76/5.37 nFilterCalls=682998, avgTableProportion=0.9972453380230369, avgTableSize=362.07432232598046
8.76/5.37
8.86/5.42 num=213, depth=2..12, filters=251231, revisions=(232361,useless=127740), ccks=546918, wck=3.052, mem=97M965
8.86/5.42 decisions=17405, wrong=7969, backtracks=4814, failedAssignments=4837, nogoods=1049, foundSolutions=22, bestBound=44
8.86/5.42 nFilterCalls=694744, avgTableProportion=0.997245344070714, avgTableSize=362.07515861957785
8.86/5.42
8.86/5.46 num=214, depth=1..8, filters=255553, revisions=(236511,useless=129910), ccks=556834, wck=3.098, mem=97M965
8.86/5.46 decisions=17722, wrong=8125, backtracks=4899, failedAssignments=4945, nogoods=1058, foundSolutions=22, bestBound=44
8.86/5.46 nFilterCalls=705311, avgTableProportion=0.9972453418027803, avgTableSize=362.07484499745505
8.86/5.46
8.96/5.54 num=215, depth=2..9, filters=261135, revisions=(241535,useless=132575), ccks=571285, wck=3.17, mem=97M965
8.96/5.54 decisions=18121, wrong=8323, backtracks=5028, failedAssignments=5064, nogoods=1064, foundSolutions=22, bestBound=44
8.96/5.54 nFilterCalls=721968, avgTableProportion=0.9972453391615688, avgTableSize=362.0744797553354
8.96/5.54
9.06/5.63 num=216, depth=2..13, filters=267895, revisions=(247383,useless=136044), ccks=585933, wck=3.266, mem=100M607
9.06/5.63 decisions=18604, wrong=8562, backtracks=5193, failedAssignments=5195, nogoods=1075, foundSolutions=22, bestBound=44
9.06/5.63 nFilterCalls=745488, avgTableProportion=0.9972453520459669, avgTableSize=362.07626145558345
9.06/5.63
9.16/5.73 num=217, depth=3..13, filters=275899, revisions=(254133,useless=139794), ccks=603322, wck=3.361, mem=100M607
9.16/5.73 decisions=19115, wrong=8816, backtracks=5366, failedAssignments=5339, nogoods=1081, foundSolutions=22, bestBound=44
9.16/5.73 nFilterCalls=770036, avgTableProportion=0.9972453631268996, avgTableSize=362.07779376548626
9.16/5.73
9.26/5.82 num=218, depth=3..13, filters=284420, revisions=(261765,useless=143882), ccks=623951, wck=3.453, mem=100M607
9.26/5.82 decisions=19674, wrong=9092, backtracks=5530, failedAssignments=5497, nogoods=1088, foundSolutions=22, bestBound=44
9.26/5.82 nFilterCalls=792396, avgTableProportion=0.9972453631317876, avgTableSize=362.07779443611525
9.26/5.82
9.36/5.94 num=219, depth=1..11, filters=293599, revisions=(269559,useless=148116), ccks=644748, wck=3.579, mem=103M250
9.36/5.94 decisions=20322, wrong=9415, backtracks=5742, failedAssignments=5671, nogoods=1096, foundSolutions=22, bestBound=44
9.36/5.94 nFilterCalls=821995, avgTableProportion=0.9972453694516218, avgTableSize=362.0786683617297
9.36/5.94
9.47/6.10 num=220, depth=1..11, filters=304892, revisions=(279535,useless=153704), ccks=671596, wck=3.733, mem=103M250
9.47/6.10 decisions=21075, wrong=9790, backtracks=5994, failedAssignments=5862, nogoods=1102, foundSolutions=22, bestBound=44
9.47/6.10 nFilterCalls=857395, avgTableProportion=0.9972453780136294, avgTableSize=362.0798523434356
9.47/6.10
9.66/6.26 num=221, depth=1..11, filters=316029, revisions=(289305,useless=159286), ccks=696236, wck=3.89, mem=103M250
9.66/6.26 decisions=21824, wrong=10162, backtracks=6243, failedAssignments=6073, nogoods=1115, foundSolutions=22, bestBound=44
9.66/6.26 nFilterCalls=894065, avgTableProportion=0.9972453862784529, avgTableSize=362.0809952296533
9.66/6.26
9.88/6.42 num=222, depth=1..11, filters=328297, revisions=(299732,useless=165243), ccks=723519, wck=4.054, mem=105M892
9.88/6.42 decisions=22636, wrong=10567, backtracks=6529, failedAssignments=6305, nogoods=1125, foundSolutions=22, bestBound=44
9.88/6.42 nFilterCalls=933586, avgTableProportion=0.9972453966424615, avgTableSize=362.08242839974037
9.88/6.42
9.98/6.58 o 46
9.98/6.58 num=223, depth=0..59, filters=339821, revisions=(309731,useless=170997), ccks=748201, wck=4.212, mem=105M892
9.98/6.58 decisions=23398, wrong=10943, backtracks=6778, failedAssignments=6528, nogoods=1139, foundSolutions=23, bestBound=46
9.98/6.58 nFilterCalls=970386, avgTableProportion=0.9972454053364791, avgTableSize=362.08363063770497
9.98/6.58
10.08/6.61 o 50
10.08/6.61 num=224, depth=3..59, filters=342289, revisions=(311849,useless=172295), ccks=753006, wck=4.242, mem=105M892
10.08/6.61 decisions=23544, wrong=11012, backtracks=6823, failedAssignments=6570, nogoods=1148, foundSolutions=24, bestBound=50
10.08/6.61 nFilterCalls=977488, avgTableProportion=0.9972454069940558, avgTableSize=362.083859853011
10.08/6.61
10.08/6.62 num=225, depth=3..9, filters=343167, revisions=(312745,useless=172800), ccks=754648, wck=4.251, mem=105M892
10.08/6.62 decisions=23597, wrong=11037, backtracks=6840, failedAssignments=6581, nogoods=1150, foundSolutions=24, bestBound=50
10.08/6.62 nFilterCalls=979414, avgTableProportion=0.9972454066432382, avgTableSize=362.0838113402504
10.08/6.62
10.08/6.63 num=226, depth=4..10, filters=343728, revisions=(313240,useless=173072), ccks=755952, wck=4.26, mem=105M892
10.08/6.63 decisions=23634, wrong=11053, backtracks=6852, failedAssignments=6592, nogoods=1155, foundSolutions=24, bestBound=50
10.08/6.63 nFilterCalls=981167, avgTableProportion=0.9972454073808501, avgTableSize=362.0839133399309
10.08/6.63
10.08/6.63 num=227, depth=4..10, filters=344579, revisions=(313932,useless=173470), ccks=757672, wck=4.269, mem=105M892
10.08/6.63 decisions=23680, wrong=11074, backtracks=6866, failedAssignments=6604, nogoods=1157, foundSolutions=24, bestBound=50
10.08/6.63 nFilterCalls=983428, avgTableProportion=0.9972454077431665, avgTableSize=362.0839634421635
10.08/6.63
10.08/6.64 num=228, depth=3..7, filters=345287, revisions=(314660,useless=173859), ccks=759331, wck=4.277, mem=108M534
10.08/6.64 decisions=23730, wrong=11097, backtracks=6879, failedAssignments=6617, nogoods=1164, foundSolutions=24, bestBound=50
10.08/6.64 nFilterCalls=985064, avgTableProportion=0.9972454072045914, avgTableSize=362.08388896559006
10.08/6.64
10.08/6.65 num=229, depth=3..9, filters=346089, revisions=(315372,useless=174265), ccks=761033, wck=4.287, mem=108M534
10.08/6.65 decisions=23787, wrong=11124, backtracks=6896, failedAssignments=6631, nogoods=1165, foundSolutions=24, bestBound=50
10.08/6.65 nFilterCalls=987616, avgTableProportion=0.9972454089173624, avgTableSize=362.0841258140816
10.08/6.65
10.08/6.66 num=230, depth=5..10, filters=346945, revisions=(316132,useless=174685), ccks=763130, wck=4.298, mem=108M534
10.08/6.66 decisions=23862, wrong=11159, backtracks=6919, failedAssignments=6647, nogoods=1167, foundSolutions=24, bestBound=50
10.08/6.66 nFilterCalls=990317, avgTableProportion=0.9972454085652251, avgTableSize=362.08407711874077
10.08/6.66
10.08/6.68 num=231, depth=2..8, filters=347985, revisions=(317039,useless=175160), ccks=765313, wck=4.313, mem=108M534
10.08/6.68 decisions=23926, wrong=11189, backtracks=6939, failedAssignments=6664, nogoods=1174, foundSolutions=24, bestBound=50
10.08/6.68 nFilterCalls=993888, avgTableProportion=0.9972454084834516, avgTableSize=362.0840658102321
10.08/6.68
10.08/6.69 num=232, depth=2..9, filters=348909, revisions=(317898,useless=175654), ccks=767140, wck=4.325, mem=108M534
10.08/6.69 decisions=23988, wrong=11218, backtracks=6956, failedAssignments=6683, nogoods=1177, foundSolutions=24, bestBound=50
10.08/6.69 nFilterCalls=996560, avgTableProportion=0.9972454082176951, avgTableSize=362.08402905996627
10.08/6.69
10.19/6.71 num=233, depth=2..9, filters=349940, revisions=(318827,useless=176168), ccks=769456, wck=4.343, mem=108M534
10.19/6.71 decisions=24063, wrong=11254, backtracks=6986, failedAssignments=6704, nogoods=1180, foundSolutions=24, bestBound=50
10.19/6.71 nFilterCalls=1000588, avgTableProportion=0.997245410194574, avgTableSize=362.0843024301711
10.19/6.71
10.19/6.73 num=234, depth=2..7, filters=351089, revisions=(319940,useless=176786), ccks=771954, wck=4.359, mem=108M534
10.19/6.73 decisions=24146, wrong=11294, backtracks=7011, failedAssignments=6727, nogoods=1185, foundSolutions=24, bestBound=50
10.19/6.73 nFilterCalls=1004062, avgTableProportion=0.9972454110093909, avgTableSize=362.0844151058401
10.19/6.73
10.19/6.74 num=235, depth=4..10, filters=352334, revisions=(320999,useless=177315), ccks=774707, wck=4.372, mem=108M534
10.19/6.74 decisions=24229, wrong=11333, backtracks=7032, failedAssignments=6752, nogoods=1190, foundSolutions=24, bestBound=50
10.19/6.74 nFilterCalls=1007003, avgTableProportion=0.9972454110864855, avgTableSize=362.0844257663582
10.19/6.74
10.19/6.76 num=236, depth=1..9, filters=353953, revisions=(322439,useless=178143), ccks=778274, wck=4.394, mem=108M534
10.19/6.76 decisions=24328, wrong=11381, backtracks=7063, failedAssignments=6780, nogoods=1195, foundSolutions=24, bestBound=50
10.19/6.76 nFilterCalls=1011597, avgTableProportion=0.9972454115021666, avgTableSize=362.08448324777555
10.19/6.76
10.19/6.78 num=237, depth=1..9, filters=355623, revisions=(323910,useless=178927), ccks=782026, wck=4.417, mem=108M534
10.19/6.78 decisions=24432, wrong=11431, backtracks=7098, failedAssignments=6811, nogoods=1204, foundSolutions=24, bestBound=50
10.19/6.78 nFilterCalls=1016731, avgTableProportion=0.9972454141498901, avgTableSize=362.0848493849406
10.19/6.78
10.29/6.81 num=238, depth=1..9, filters=357611, revisions=(325557,useless=179882), ccks=786435, wck=4.443, mem=108M534
10.29/6.81 decisions=24556, wrong=11491, backtracks=7142, failedAssignments=6845, nogoods=1208, foundSolutions=24, bestBound=50
10.29/6.81 nFilterCalls=1022638, avgTableProportion=0.9972454150818703, avgTableSize=362.08497826210254
10.29/6.81
10.29/6.83 num=239, depth=2..10, filters=359308, revisions=(327053,useless=180661), ccks=790587, wck=4.464, mem=108M534
10.29/6.83 decisions=24667, wrong=11544, backtracks=7176, failedAssignments=6882, nogoods=1214, foundSolutions=24, bestBound=50
10.29/6.83 nFilterCalls=1027298, avgTableProportion=0.9972454149692547, avgTableSize=362.08496268852855
10.29/6.83
10.29/6.86 num=240, depth=1..7, filters=361486, revisions=(329181,useless=181890), ccks=795384, wck=4.492, mem=108M534
10.29/6.86 decisions=24810, wrong=11614, backtracks=7226, failedAssignments=6923, nogoods=1221, foundSolutions=24, bestBound=50
10.29/6.86 nFilterCalls=1033076, avgTableProportion=0.9972454164468515, avgTableSize=362.0851670157859
10.29/6.86
10.29/6.89 num=241, depth=1..9, filters=363988, revisions=(331423,useless=183227), ccks=800856, wck=4.527, mem=108M534
10.29/6.89 decisions=24969, wrong=11692, backtracks=7281, failedAssignments=6968, nogoods=1231, foundSolutions=24, bestBound=50
10.29/6.89 nFilterCalls=1040686, avgTableProportion=0.9972454157650382, avgTableSize=362.08507273087173
10.29/6.89
10.39/6.92 num=242, depth=2..12, filters=366852, revisions=(334075,useless=184741), ccks=806916, wck=4.558, mem=108M534
10.39/6.92 decisions=25149, wrong=11781, backtracks=7341, failedAssignments=7018, nogoods=1235, foundSolutions=24, bestBound=50
10.39/6.92 nFilterCalls=1048446, avgTableProportion=0.9972454175572212, avgTableSize=362.0853205601433
10.39/6.92
10.39/6.96 num=243, depth=1..9, filters=370281, revisions=(337212,useless=186541), ccks=814012, wck=4.599, mem=111M177
10.39/6.96 decisions=25367, wrong=11887, backtracks=7410, failedAssignments=7073, nogoods=1246, foundSolutions=24, bestBound=50
10.39/6.96 nFilterCalls=1056878, avgTableProportion=0.9972454172048139, avgTableSize=362.0852719046096
10.39/6.96
10.39/7.00 num=244, depth=3..10, filters=372959, revisions=(339674,useless=187943), ccks=819763, wck=4.633, mem=111M177
10.39/7.00 decisions=25556, wrong=11979, backtracks=7465, failedAssignments=7134, nogoods=1256, foundSolutions=24, bestBound=50
10.39/7.00 nFilterCalls=1064415, avgTableProportion=0.9972454187007735, avgTableSize=362.0854788780692
10.39/7.00
10.49/7.04 num=245, depth=1..9, filters=376492, revisions=(343099,useless=189885), ccks=828089, wck=4.677, mem=111M177
10.49/7.04 decisions=25790, wrong=12094, backtracks=7536, failedAssignments=7201, nogoods=1262, foundSolutions=24, bestBound=50
10.49/7.04 nFilterCalls=1073545, avgTableProportion=0.997245418090765, avgTableSize=362.08539465043384
10.49/7.04
10.49/7.10 num=246, depth=0..10, filters=381186, revisions=(347265,useless=192353), ccks=838281, wck=4.736, mem=111M177
10.49/7.10 decisions=26070, wrong=12232, backtracks=7630, failedAssignments=7275, nogoods=1265, foundSolutions=24, bestBound=50
10.49/7.10 nFilterCalls=1086532, avgTableProportion=0.9972454245053296, avgTableSize=362.08628185824256
10.49/7.10
10.61/7.16 num=247, depth=0..8, filters=386047, revisions=(351839,useless=195086), ccks=849326, wck=4.797, mem=111M177
10.61/7.16 decisions=26375, wrong=12384, backtracks=7740, failedAssignments=7356, nogoods=1267, foundSolutions=24, bestBound=50
10.61/7.16 nFilterCalls=1099614, avgTableProportion=0.9972454256171993, avgTableSize=362.0864357856484
10.61/7.16
10.70/7.22 num=248, depth=2..10, filters=390729, revisions=(356164,useless=197654), ccks=860455, wck=4.855, mem=111M177
10.70/7.22 decisions=26701, wrong=12546, backtracks=7839, failedAssignments=7445, nogoods=1273, foundSolutions=24, bestBound=50
10.70/7.22 nFilterCalls=1112421, avgTableProportion=0.997245429685537, avgTableSize=362.0869985374242
10.70/7.22
10.70/7.28 num=249, depth=1..10, filters=395923, revisions=(361030,useless=200563), ccks=872171, wck=4.918, mem=111M177
10.70/7.28 decisions=27053, wrong=12720, backtracks=7947, failedAssignments=7543, nogoods=1279, foundSolutions=24, bestBound=50
10.70/7.28 nFilterCalls=1125949, avgTableProportion=0.9972454297811747, avgTableSize=362.08701193393307
10.70/7.28
10.80/7.36 num=250, depth=0..10, filters=401296, revisions=(365892,useless=203365), ccks=884747, wck=4.993, mem=113M819
10.80/7.36 decisions=27427, wrong=12905, backtracks=8077, failedAssignments=7651, nogoods=1283, foundSolutions=24, bestBound=50
10.80/7.36 nFilterCalls=1142321, avgTableProportion=0.9972454325869291, avgTableSize=362.0874001265844
10.80/7.36
10.90/7.45 num=251, depth=0..9, filters=407937, revisions=(372107,useless=207121), ccks=900018, wck=5.08, mem=113M819
10.90/7.45 decisions=27868, wrong=13124, backtracks=8230, failedAssignments=7770, nogoods=1287, foundSolutions=24, bestBound=50
10.90/7.45 nFilterCalls=1161054, avgTableProportion=0.9972454363829671, avgTableSize=362.08792528168374
10.90/7.45
11.00/7.52 o 53
11.00/7.52 num=252, depth=0..59, filters=412647, revisions=(376327,useless=209723), ccks=910496, wck=5.155, mem=113M819
11.00/7.52 decisions=28185, wrong=13279, backtracks=8345, failedAssignments=7857, nogoods=1291, foundSolutions=25, bestBound=53
11.00/7.52 nFilterCalls=1177302, avgTableProportion=0.9972454400878862, avgTableSize=362.088437801006
11.00/7.52
11.10/7.62 num=253, depth=0..11, filters=420979, revisions=(384204,useless=214688), ccks=927728, wck=5.256, mem=113M819
11.10/7.62 decisions=28697, wrong=13534, backtracks=8514, failedAssignments=8001, nogoods=1297, foundSolutions=25, bestBound=53
11.10/7.62 nFilterCalls=1198412, avgTableProportion=0.9972454421563829, avgTableSize=362.08872407819683
11.10/7.62
11.10/7.63 num=254, depth=2..12, filters=421615, revisions=(384735,useless=215050), ccks=928905, wck=5.267, mem=113M819
11.10/7.63 decisions=28741, wrong=13553, backtracks=8526, failedAssignments=8012, nogoods=1303, foundSolutions=25, bestBound=53
11.10/7.63 nFilterCalls=1200981, avgTableProportion=0.9972454430176363, avgTableSize=362.08884320401404
11.10/7.63
11.10/7.64 num=255, depth=2..8, filters=422376, revisions=(385362,useless=215438), ccks=930356, wck=5.279, mem=113M819
11.10/7.64 decisions=28787, wrong=13574, backtracks=8541, failedAssignments=8024, nogoods=1307, foundSolutions=25, bestBound=53
11.10/7.64 nFilterCalls=1203503, avgTableProportion=0.9972454431011821, avgTableSize=362.0888547847409
11.10/7.64
11.10/7.66 num=256, depth=3..10, filters=423131, revisions=(386027,useless=215852), ccks=931751, wck=5.291, mem=113M819
11.10/7.66 decisions=28836, wrong=13596, backtracks=8556, failedAssignments=8037, nogoods=1309, foundSolutions=25, bestBound=53
11.10/7.66 nFilterCalls=1206112, avgTableProportion=0.9972454440553604, avgTableSize=362.0889867607652
11.10/7.66
11.10/7.67 num=257, depth=1..6, filters=423880, revisions=(386750,useless=216280), ccks=933333, wck=5.3, mem=113M819
11.10/7.67 decisions=28891, wrong=13623, backtracks=8577, failedAssignments=8051, nogoods=1316, foundSolutions=25, bestBound=53
11.10/7.67 nFilterCalls=1207891, avgTableProportion=0.9972454443108155, avgTableSize=362.08902210547143
11.10/7.67
11.10/7.68 num=258, depth=0..9, filters=425046, revisions=(387666,useless=216869), ccks=935464, wck=5.314, mem=113M819
11.10/7.68 decisions=28951, wrong=13651, backtracks=8596, failedAssignments=8067, nogoods=1319, foundSolutions=25, bestBound=53
11.10/7.68 nFilterCalls=1211312, avgTableProportion=0.9972454452326415, avgTableSize=362.0891496162838
11.10/7.68
11.10/7.69 num=259, depth=1..10, filters=425947, revisions=(388534,useless=217429), ccks=937341, wck=5.326, mem=113M819
11.10/7.69 decisions=29016, wrong=13683, backtracks=8624, failedAssignments=8084, nogoods=1321, foundSolutions=25, bestBound=53
11.10/7.69 nFilterCalls=1213645, avgTableProportion=0.9972454459416036, avgTableSize=362.0892476795109
11.10/7.69
11.21/7.71 num=260, depth=2..9, filters=426886, revisions=(389389,useless=217976), ccks=939296, wck=5.339, mem=116M462
11.21/7.71 decisions=29077, wrong=13712, backtracks=8641, failedAssignments=8103, nogoods=1325, foundSolutions=25, bestBound=53
11.21/7.71 nFilterCalls=1216388, avgTableProportion=0.9972454461327833, avgTableSize=362.08927414607837
11.21/7.71
11.21/7.72 num=261, depth=0..8, filters=428025, revisions=(390433,useless=218641), ccks=941555, wck=5.354, mem=116M462
11.21/7.72 decisions=29148, wrong=13745, backtracks=8665, failedAssignments=8124, nogoods=1330, foundSolutions=25, bestBound=53
11.21/7.72 nFilterCalls=1219443, avgTableProportion=0.9972454462052952, avgTableSize=362.08928420598585
11.21/7.72
11.21/7.74 num=262, depth=0..11, filters=429327, revisions=(391636,useless=219430), ccks=943968, wck=5.371, mem=116M462
11.21/7.74 decisions=29230, wrong=13785, backtracks=8695, failedAssignments=8147, nogoods=1335, foundSolutions=25, bestBound=53
11.21/7.74 nFilterCalls=1223041, avgTableProportion=0.9972454466825027, avgTableSize=362.0893502343748
11.21/7.74
11.21/7.76 o 54
11.21/7.76 num=263, depth=1..59, filters=430749, revisions=(392796,useless=220218), ccks=946531, wck=5.392, mem=116M462
11.21/7.76 decisions=29304, wrong=13820, backtracks=8721, failedAssignments=8169, nogoods=1338, foundSolutions=26, bestBound=54
11.21/7.76 nFilterCalls=1227824, avgTableProportion=0.9972454479168384, avgTableSize=362.08952097369
11.21/7.76
11.21/7.78 num=264, depth=1..10, filters=432647, revisions=(394290,useless=221227), ccks=949077, wck=5.417, mem=116M462
11.21/7.78 decisions=29402, wrong=13867, backtracks=8750, failedAssignments=8197, nogoods=1345, foundSolutions=26, bestBound=54
11.21/7.78 nFilterCalls=1234239, avgTableProportion=0.9972454495025388, avgTableSize=362.08974031771805
11.21/7.78
11.21/7.79 num=265, depth=2..12, filters=433391, revisions=(394906,useless=221630), ccks=950157, wck=5.429, mem=116M462
11.21/7.79 decisions=29447, wrong=13888, backtracks=8766, failedAssignments=8208, nogoods=1348, foundSolutions=26, bestBound=54
11.21/7.79 nFilterCalls=1237152, avgTableProportion=0.9972454503533135, avgTableSize=362.0898579964305
11.21/7.79
11.31/7.80 num=266, depth=2..7, filters=434118, revisions=(395500,useless=222009), ccks=951530, wck=5.439, mem=116M462
11.31/7.80 decisions=29498, wrong=13912, backtracks=8785, failedAssignments=8220, nogoods=1352, foundSolutions=26, bestBound=54
11.31/7.80 nFilterCalls=1239185, avgTableProportion=0.9972454509619327, avgTableSize=362.0899421797391
11.31/7.80
11.31/7.81 num=267, depth=1..7, filters=434767, revisions=(396065,useless=222386), ccks=952716, wck=5.448, mem=116M462
11.31/7.81 decisions=29541, wrong=13932, backtracks=8799, failedAssignments=8233, nogoods=1356, foundSolutions=26, bestBound=54
11.31/7.81 nFilterCalls=1241314, avgTableProportion=0.9972454514249919, avgTableSize=362.0900062353281
11.31/7.81
11.31/7.82 num=268, depth=3..9, filters=435336, revisions=(396550,useless=222700), ccks=953686, wck=5.458, mem=116M462
11.31/7.82 decisions=29588, wrong=13954, backtracks=8816, failedAssignments=8247, nogoods=1360, foundSolutions=26, bestBound=54
11.31/7.82 nFilterCalls=1243406, avgTableProportion=0.9972454516557673, avgTableSize=362.090038169351
11.31/7.82
11.31/7.83 num=269, depth=0..9, filters=436212, revisions=(397377,useless=223242), ccks=955460, wck=5.469, mem=116M462
11.31/7.83 decisions=29648, wrong=13982, backtracks=8836, failedAssignments=8263, nogoods=1362, foundSolutions=26, bestBound=54
11.31/7.83 nFilterCalls=1245873, avgTableProportion=0.9972454517187118, avgTableSize=362.0900468988412
11.31/7.83
11.31/7.85 num=270, depth=0..5, filters=437516, revisions=(398587,useless=224056), ccks=957903, wck=5.483, mem=116M462
11.31/7.85 decisions=29715, wrong=14015, backtracks=8857, failedAssignments=8280, nogoods=1366, foundSolutions=26, bestBound=54
11.31/7.85 nFilterCalls=1248827, avgTableProportion=0.9972454517185025, avgTableSize=362.090046900011
11.31/7.85
11.31/7.86
11.31/7.86 New Bounds: 55..54
11.31/7.86 num=271, depth=0..6, filters=438003, revisions=(398880,useless=224266), ccks=958297, wck=5.49, mem=116M462
11.31/7.86 decisions=29731, wrong=14024, backtracks=8864, failedAssignments=8286, foundSolutions=26, bestBound=54
11.31/7.86 nFilterCalls=1250321, avgTableProportion=0.9972454521317543, avgTableSize=362.0901040612771
11.31/7.86
11.31/7.86 Global
11.31/7.86 filters=438003, revisions=(398880,useless=224266), ccks=958297
11.31/7.86 Stop=FULL_EXPLORATION, wrong=14024, bestBound=54, bestBoundWck=5.899, bestBoundCpu=7.725, foundSolutions=26, firstSolCpu=2.356
11.31/7.86 wck=5.998, cpu=7.824, mem=116M462
11.31/7.86
11.31/7.86 v <instantiation id='sol26' type='solution' cost='54'> <list> s[] p[] g[] </list> <values> 5 0 1 -1 -1 10 7 2 -1 -1 15 6 11 12 13 16 17 18 19 14 0 15 14 -1 -1 1 12 13 -1 -1 2 11 10 9 8 3 4 5 6 7 7 4 8 0 0 1 7 0 0 0 6 2 5 -1 -5 3 -1 6 7 5 </values> </instantiation>
11.31/7.86 s OPTIMUM FOUND
11.31/7.86
11.31/7.86 d WRONG_DECISIONS 14024
11.31/7.86 d NUMBER_SOLUTIONS 26