2.40/1.89
2.40/1.89 AbsCon 2
2.65/1.91
3.25/2.15 Instance
3.25/2.15 name=instance-4391130-1568389961, framework=COP, bounds=-infty..+infty
3.25/2.15
3.25/2.15 Loading variables...
3.25/2.18 Loading constraints...
3.95/2.33
3.95/2.33 Domains
3.95/2.33 nTypes=21, nValues=939, sizes=[4#7,5#7,6#6,21#40]
3.95/2.33 Variables
3.95/2.33 count=60, degrees=[2#20,21#19,22#1,23#20]
3.95/2.33 Objectives
3.95/2.33 way=max, type=SumSimpleGE
3.95/2.33 Constraints
3.95/2.33 count=82, nSpecific=41, arities=[1#1,2#40,20#21,21#20]
3.95/2.33 distribution=[AtMost1#20,CtrExtensionCT-Table#20,CtrExtensionV-Bits#20,CtrIntension#21,SumSimpleGE#1]
3.95/2.33 tables=[362#19,382#1], nTotalTuples=7260
3.95/2.33 nExtStructures=(40,shared:0), nIntStructures=(2,shared:19), nCftStructures=(21,shared:19,unbuilt:42)
3.95/2.33 wck=0.469, cpu=2.305, mem=52M969
3.95/2.34 Solver SolverBacktrack being built...
3.95/2.34
3.95/2.36
3.95/2.36 Solver
3.95/2.36 guaranteedGAC=true
3.95/2.36 wck=0.496, cpu=2.33, mem=63M611
3.95/2.37
3.95/2.37 Preprocessing
3.95/2.37 filters=22, revisions=(41,useless=38), ccks=502, nACremovedValues=41, nTotalRemovedValues=41, inconcistency=false
3.95/2.37 wck=0.004, cpu=2.336, mem=63M611
3.95/2.37
3.95/2.39 o -1000
3.95/2.39 num=0, depth=61..59, filters=263, revisions=(459,useless=387), ccks=965, wck=0.027, mem=66M254
3.95/2.39 decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
3.95/2.39 nFilterCalls=440, avgTableProportion=0.9972448005553761, avgTableSize=362.0
3.95/2.39
4.31/2.41 num=1, depth=13..17, filters=806, revisions=(904,useless=643), ccks=2341, wck=0.047, mem=66M254
4.31/2.41 decisions=64, wrong=16, backtracks=10, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.31/2.41 nFilterCalls=2710, avgTableProportion=0.9972449873468068, avgTableSize=362.02583025830256
4.31/2.41
4.61/2.53 num=2, depth=11..14, filters=1195, revisions=(1283,useless=816), ccks=3765, wck=0.057, mem=68M896
4.61/2.53 decisions=110, wrong=33, backtracks=16, failedAssignments=22, nogoods=5, foundSolutions=1, bestBound=-1000
4.61/2.53 nFilterCalls=3844, avgTableProportion=0.9972449435298438, avgTableSize=362.0197710718002
4.61/2.53
4.61/2.53 num=3, depth=6..13, filters=1892, revisions=(1885,useless=1135), ccks=5596, wck=0.091, mem=68M896
4.61/2.53 decisions=166, wrong=58, backtracks=31, failedAssignments=34, nogoods=8, foundSolutions=1, bestBound=-1000
4.61/2.53 nFilterCalls=6274, avgTableProportion=0.9972450840981215, avgTableSize=362.0392094357667
4.61/2.53
4.61/2.53 o -998
4.61/2.53 num=4, depth=61..59, filters=2035, revisions=(2061,useless=1229), ccks=6022, wck=0.096, mem=68M896
4.61/2.53 decisions=183, wrong=58, backtracks=31, failedAssignments=34, nogoods=8, foundSolutions=2, bestBound=-998
4.61/2.53 nFilterCalls=6666, avgTableProportion=0.997245076102781, avgTableSize=362.038103810381
4.61/2.53
4.61/2.53 num=5, depth=11..15, filters=2715, revisions=(2651,useless=1527), ccks=8379, wck=0.109, mem=68M896
4.61/2.53 decisions=246, wrong=84, backtracks=45, failedAssignments=48, nogoods=12, foundSolutions=2, bestBound=-998
4.61/2.53 nFilterCalls=8869, avgTableProportion=0.9972450541345844, avgTableSize=362.0350659600857
4.61/2.53
4.61/2.53 num=6, depth=10..14, filters=3388, revisions=(3247,useless=1903), ccks=9899, wck=0.125, mem=68M896
4.61/2.53 decisions=298, wrong=105, backtracks=56, failedAssignments=59, nogoods=16, foundSolutions=2, bestBound=-998
4.61/2.53 nFilterCalls=12087, avgTableProportion=0.9972451194424096, avgTableSize=362.04409696368
4.61/2.53
4.61/2.53 num=7, depth=11..14, filters=3822, revisions=(3688,useless=2130), ccks=11195, wck=0.133, mem=68M896
4.61/2.53 decisions=345, wrong=123, backtracks=65, failedAssignments=71, nogoods=20, foundSolutions=2, bestBound=-998
4.61/2.53 nFilterCalls=13183, avgTableProportion=0.9972451719217874, avgTableSize=362.05135401653644
4.61/2.53
4.61/2.53 num=8, depth=10..14, filters=4467, revisions=(4271,useless=2444), ccks=12984, wck=0.145, mem=68M896
4.61/2.53 decisions=400, wrong=145, backtracks=77, failedAssignments=84, nogoods=23, foundSolutions=2, bestBound=-998
4.61/2.53 nFilterCalls=15307, avgTableProportion=0.9972451468471556, avgTableSize=362.04788658783565
4.61/2.53
4.61/2.53 num=9, depth=9..14, filters=5190, revisions=(4877,useless=2770), ccks=14990, wck=0.162, mem=68M896
4.61/2.53 decisions=457, wrong=169, backtracks=90, failedAssignments=98, nogoods=26, foundSolutions=2, bestBound=-998
4.61/2.53 nFilterCalls=18528, avgTableProportion=0.9972451721218454, avgTableSize=362.0513816925734
4.61/2.53
4.61/2.54 num=10, depth=9..13, filters=6044, revisions=(5616,useless=3184), ccks=17193, wck=0.179, mem=68M896
4.61/2.54 decisions=522, wrong=196, backtracks=105, failedAssignments=114, nogoods=28, foundSolutions=2, bestBound=-998
4.61/2.54 nFilterCalls=21558, avgTableProportion=0.9972451836318987, avgTableSize=362.05297337415345
4.61/2.54
4.61/2.55 num=11, depth=10..14, filters=6879, revisions=(6341,useless=3575), ccks=19369, wck=0.192, mem=68M896
4.61/2.55 decisions=590, wrong=225, backtracks=120, failedAssignments=131, nogoods=29, foundSolutions=2, bestBound=-998
4.61/2.55 nFilterCalls=24337, avgTableProportion=0.9972452709276188, avgTableSize=362.0650449932202
4.61/2.55
4.61/2.57 num=12, depth=9..14, filters=7957, revisions=(7265,useless=4108), ccks=21958, wck=0.206, mem=68M896
4.61/2.57 decisions=662, wrong=256, backtracks=138, failedAssignments=150, nogoods=31, foundSolutions=2, bestBound=-998
4.61/2.57 nFilterCalls=28476, avgTableProportion=0.997245324708801, avgTableSize=362.0724820901812
4.61/2.57
4.61/2.58 o -989
4.61/2.58 num=13, depth=11..59, filters=8706, revisions=(7978,useless=4505), ccks=24001, wck=0.217, mem=68M896
4.61/2.58 decisions=737, wrong=287, backtracks=154, failedAssignments=170, nogoods=34, foundSolutions=3, bestBound=-989
4.61/2.58 nFilterCalls=30847, avgTableProportion=0.9972453287280477, avgTableSize=362.0730378967161
4.61/2.58
4.61/2.59 num=14, depth=6..13, filters=9647, revisions=(8882,useless=4983), ccks=26326, wck=0.231, mem=68M896
4.61/2.59 decisions=809, wrong=320, backtracks=175, failedAssignments=193, nogoods=38, foundSolutions=3, bestBound=-989
4.61/2.59 nFilterCalls=33669, avgTableProportion=0.9972453484637536, avgTableSize=362.0757670260477
4.61/2.59
4.92/2.60 num=15, depth=8..13, filters=10245, revisions=(9432,useless=5272), ccks=27794, wck=0.239, mem=68M896
4.92/2.60 decisions=857, wrong=340, backtracks=187, failedAssignments=204, nogoods=39, foundSolutions=3, bestBound=-989
4.92/2.60 nFilterCalls=35418, avgTableProportion=0.9972453440707414, avgTableSize=362.07515952340617
4.92/2.60
4.92/2.61 num=16, depth=9..13, filters=10815, revisions=(9970,useless=5557), ccks=29307, wck=0.246, mem=68M896
4.92/2.61 decisions=907, wrong=360, backtracks=197, failedAssignments=216, nogoods=43, foundSolutions=3, bestBound=-989
4.92/2.61 nFilterCalls=36930, avgTableProportion=0.9972453625478394, avgTableSize=362.07771459518005
4.92/2.61
4.92/2.62 num=17, depth=9..14, filters=11617, revisions=(10704,useless=5971), ccks=31040, wck=0.257, mem=68M896
4.92/2.62 decisions=959, wrong=381, backtracks=211, failedAssignments=229, nogoods=48, foundSolutions=3, bestBound=-989
4.92/2.62 nFilterCalls=39489, avgTableProportion=0.9972453702628372, avgTableSize=362.0787814328041
4.92/2.62
4.92/2.62 num=18, depth=11..15, filters=12235, revisions=(11296,useless=6289), ccks=32654, wck=0.263, mem=68M896
4.92/2.62 decisions=1017, wrong=404, backtracks=221, failedAssignments=243, nogoods=51, foundSolutions=3, bestBound=-989
4.92/2.62 nFilterCalls=41128, avgTableProportion=0.9972453688347153, avgTableSize=362.078583933087
4.92/2.62
4.92/2.64 num=19, depth=8..12, filters=13028, revisions=(11997,useless=6662), ccks=34561, wck=0.275, mem=68M896
4.92/2.64 decisions=1077, wrong=430, backtracks=237, failedAssignments=259, nogoods=55, foundSolutions=3, bestBound=-989
4.92/2.64 nFilterCalls=43505, avgTableProportion=0.9972453748530796, avgTableSize=362.0794161590622
4.92/2.64
4.92/2.64 num=20, depth=9..13, filters=13776, revisions=(12694,useless=7027), ccks=36229, wck=0.283, mem=68M896
4.92/2.64 decisions=1138, wrong=455, backtracks=248, failedAssignments=276, nogoods=59, foundSolutions=3, bestBound=-989
4.92/2.64 nFilterCalls=45394, avgTableProportion=0.9972453718236464, avgTableSize=362.0789972243028
4.92/2.64
4.92/2.66 o -985
4.92/2.66 num=21, depth=9..59, filters=14616, revisions=(13448,useless=7445), ccks=38149, wck=0.294, mem=68M896
4.92/2.66 decisions=1202, wrong=480, backtracks=263, failedAssignments=291, nogoods=65, foundSolutions=4, bestBound=-985
4.92/2.66 nFilterCalls=48161, avgTableProportion=0.9972453769912174, avgTableSize=362.07971180000413
4.92/2.66
4.92/2.67 num=22, depth=8..16, filters=15583, revisions=(14341,useless=7947), ccks=40183, wck=0.307, mem=68M896
4.92/2.67 decisions=1270, wrong=510, backtracks=283, failedAssignments=312, nogoods=67, foundSolutions=4, bestBound=-985
4.92/2.67 nFilterCalls=51086, avgTableProportion=0.9972453942388524, avgTableSize=362.08209685628157
4.92/2.67
4.92/2.67 num=23, depth=10..14, filters=16069, revisions=(14806,useless=8190), ccks=41303, wck=0.313, mem=68M896
4.92/2.67 decisions=1314, wrong=527, backtracks=293, failedAssignments=323, nogoods=70, foundSolutions=4, bestBound=-985
4.92/2.67 nFilterCalls=52582, avgTableProportion=0.9972453916510563, avgTableSize=362.08173899813625
4.92/2.67
4.92/2.68 num=24, depth=8..14, filters=16681, revisions=(15397,useless=8486), ccks=42803, wck=0.32, mem=71M539
4.92/2.68 decisions=1360, wrong=546, backtracks=303, failedAssignments=335, nogoods=77, foundSolutions=4, bestBound=-985
4.92/2.68 nFilterCalls=54010, avgTableProportion=0.9972453803073529, avgTableSize=362.0801703388261
4.92/2.68
4.92/2.69 num=25, depth=9..14, filters=17322, revisions=(15976,useless=8797), ccks=44286, wck=0.328, mem=71M539
4.92/2.69 decisions=1407, wrong=565, backtracks=312, failedAssignments=348, nogoods=80, foundSolutions=4, bestBound=-985
4.92/2.69 nFilterCalls=55962, avgTableProportion=0.9972453662878488, avgTableSize=362.07823165719594
4.92/2.69
5.23/2.70 num=26, depth=9..13, filters=18077, revisions=(16643,useless=9163), ccks=46141, wck=0.337, mem=71M539
5.23/2.70 decisions=1461, wrong=587, backtracks=326, failedAssignments=362, nogoods=84, foundSolutions=4, bestBound=-985
5.23/2.70 nFilterCalls=58090, avgTableProportion=0.9972453819139938, avgTableSize=362.08039249440526
5.23/2.70
5.23/2.71 num=27, depth=7..14, filters=18902, revisions=(17408,useless=9577), ccks=48181, wck=0.349, mem=71M539
5.23/2.71 decisions=1527, wrong=616, backtracks=345, failedAssignments=378, nogoods=91, foundSolutions=4, bestBound=-985
5.23/2.71 nFilterCalls=60674, avgTableProportion=0.9972453685969047, avgTableSize=362.07855094439134
5.23/2.71
5.23/2.72 num=28, depth=8..13, filters=19828, revisions=(18270,useless=10055), ccks=50339, wck=0.362, mem=71M539
5.23/2.72 decisions=1595, wrong=646, backtracks=361, failedAssignments=395, nogoods=98, foundSolutions=4, bestBound=-985
5.23/2.72 nFilterCalls=63867, avgTableProportion=0.99724535457794, avgTableSize=362.0766123350087
5.23/2.72
5.23/2.73 num=29, depth=10..16, filters=20688, revisions=(19042,useless=10482), ccks=52373, wck=0.371, mem=71M539
5.23/2.73 decisions=1663, wrong=675, backtracks=380, failedAssignments=414, nogoods=104, foundSolutions=4, bestBound=-985
5.23/2.73 nFilterCalls=66468, avgTableProportion=0.9972453632524196, avgTableSize=362.0778118794006
5.23/2.73
5.23/2.74 num=30, depth=10..14, filters=21661, revisions=(19892,useless=10954), ccks=54676, wck=0.382, mem=71M539
5.23/2.74 decisions=1735, wrong=706, backtracks=398, failedAssignments=435, nogoods=107, foundSolutions=4, bestBound=-985
5.23/2.74 nFilterCalls=69837, avgTableProportion=0.9972453455300718, avgTableSize=362.07536119821873
5.23/2.74
5.23/2.75 num=31, depth=10..16, filters=22678, revisions=(20837,useless=11482), ccks=56751, wck=0.394, mem=71M539
5.23/2.75 decisions=1817, wrong=742, backtracks=421, failedAssignments=458, nogoods=115, foundSolutions=4, bestBound=-985
5.23/2.75 nFilterCalls=72919, avgTableProportion=0.9972453798171311, avgTableSize=362.0801025795746
5.23/2.75
5.23/2.76 o -982
5.23/2.76 num=32, depth=9..59, filters=23468, revisions=(21534,useless=11858), ccks=58642, wck=0.403, mem=71M539
5.23/2.76 decisions=1877, wrong=766, backtracks=434, failedAssignments=471, nogoods=117, foundSolutions=5, bestBound=-982
5.23/2.76 nFilterCalls=75222, avgTableProportion=0.9972453790982501, avgTableSize=362.08000319055594
5.23/2.76
5.23/2.78 num=33, depth=7..12, filters=24763, revisions=(22744,useless=12509), ccks=61412, wck=0.419, mem=71M539
5.23/2.78 decisions=1960, wrong=804, backtracks=455, failedAssignments=499, nogoods=124, foundSolutions=5, bestBound=-982
5.23/2.78 nFilterCalls=78806, avgTableProportion=0.9972453726074876, avgTableSize=362.0791056518539
5.23/2.78
5.23/2.79 num=34, depth=7..13, filters=25287, revisions=(23249,useless=12757), ccks=62488, wck=0.426, mem=71M539
5.23/2.79 decisions=2003, wrong=822, backtracks=465, failedAssignments=510, nogoods=126, foundSolutions=5, bestBound=-982
5.23/2.79 nFilterCalls=80160, avgTableProportion=0.9972453725073599, avgTableSize=362.0790918163673
5.23/2.79
5.54/2.80 num=35, depth=6..9, filters=26062, revisions=(23943,useless=13128), ccks=64326, wck=0.437, mem=71M539
5.54/2.80 decisions=2054, wrong=844, backtracks=475, failedAssignments=522, nogoods=129, foundSolutions=5, bestBound=-982
5.54/2.80 nFilterCalls=82812, avgTableProportion=0.9972453671148147, avgTableSize=362.0783461334106
5.54/2.80
5.54/2.81 num=36, depth=9..13, filters=26755, revisions=(24620,useless=13501), ccks=65930, wck=0.445, mem=71M539
5.54/2.81 decisions=2112, wrong=867, backtracks=487, failedAssignments=535, nogoods=133, foundSolutions=5, bestBound=-982
5.54/2.81 nFilterCalls=84736, avgTableProportion=0.9972453641501281, avgTableSize=362.07793617824774
5.54/2.81
5.54/2.81 num=37, depth=8..14, filters=27376, revisions=(25204,useless=13807), ccks=67444, wck=0.454, mem=71M539
5.54/2.81 decisions=2165, wrong=888, backtracks=497, failedAssignments=549, nogoods=140, foundSolutions=5, bestBound=-982
5.54/2.81 nFilterCalls=86808, avgTableProportion=0.9972453746893964, avgTableSize=362.0793936042761
5.54/2.81
5.54/2.82 o -980
5.54/2.82 num=38, depth=10..59, filters=27794, revisions=(25611,useless=14048), ccks=68384, wck=0.461, mem=71M539
5.54/2.82 decisions=2196, wrong=897, backtracks=503, failedAssignments=554, nogoods=144, foundSolutions=6, bestBound=-980
5.54/2.82 nFilterCalls=88129, avgTableProportion=0.9972453742069328, avgTableSize=362.0793268958005
5.54/2.82
5.54/2.83 num=39, depth=7..11, filters=28684, revisions=(26470,useless=14510), ccks=70303, wck=0.472, mem=71M539
5.54/2.83 decisions=2262, wrong=926, backtracks=521, failedAssignments=571, nogoods=148, foundSolutions=6, bestBound=-980
5.54/2.83 nFilterCalls=90407, avgTableProportion=0.997245382309104, avgTableSize=362.08044731049586
5.54/2.83
5.54/2.84 num=40, depth=8..12, filters=29215, revisions=(26970,useless=14764), ccks=71504, wck=0.479, mem=71M539
5.54/2.84 decisions=2300, wrong=941, backtracks=531, failedAssignments=582, nogoods=150, foundSolutions=6, bestBound=-980
5.54/2.84 nFilterCalls=91796, avgTableProportion=0.9972453743728563, avgTableSize=362.0793498627391
5.54/2.84
5.54/2.84 o -977
5.54/2.84 num=41, depth=10..59, filters=29489, revisions=(27273,useless=14940), ccks=72246, wck=0.484, mem=71M539
5.54/2.84 decisions=2324, wrong=947, backtracks=533, failedAssignments=586, nogoods=154, foundSolutions=7, bestBound=-977
5.54/2.84 nFilterCalls=92673, avgTableProportion=0.9972453738585993, avgTableSize=362.0792787543297
5.54/2.84
5.54/2.85 num=42, depth=7..12, filters=30217, revisions=(27925,useless=15289), ccks=73911, wck=0.492, mem=71M539
5.54/2.85 decisions=2369, wrong=966, backtracks=544, failedAssignments=599, nogoods=157, foundSolutions=7, bestBound=-977
5.54/2.85 nFilterCalls=94697, avgTableProportion=0.9972453658814596, avgTableSize=362.0781756549838
5.54/2.85
5.54/2.86 num=43, depth=9..13, filters=30733, revisions=(28425,useless=15559), ccks=75084, wck=0.498, mem=71M539
5.54/2.86 decisions=2408, wrong=981, backtracks=555, failedAssignments=610, nogoods=160, foundSolutions=7, bestBound=-977
5.54/2.86 nFilterCalls=95999, avgTableProportion=0.9972453595700026, avgTableSize=362.07730288857175
5.54/2.86
5.54/2.87 num=44, depth=5..10, filters=31249, revisions=(28920,useless=15834), ccks=76135, wck=0.507, mem=71M539
5.54/2.87 decisions=2450, wrong=998, backtracks=565, failedAssignments=622, nogoods=165, foundSolutions=7, bestBound=-977
5.54/2.87 nFilterCalls=97609, avgTableProportion=0.997245364425735, avgTableSize=362.0779743671178
5.54/2.87
5.54/2.88 num=45, depth=8..14, filters=32066, revisions=(29717,useless=16262), ccks=77920, wck=0.516, mem=71M539
5.54/2.88 decisions=2503, wrong=1020, backtracks=577, failedAssignments=635, nogoods=167, foundSolutions=7, bestBound=-977
5.54/2.88 nFilterCalls=99636, avgTableProportion=0.997245355349346, avgTableSize=362.0767192580995
5.54/2.88
5.54/2.89 num=46, depth=7..13, filters=32758, revisions=(30359,useless=16606), ccks=79456, wck=0.525, mem=71M539
5.54/2.89 decisions=2559, wrong=1044, backtracks=593, failedAssignments=649, nogoods=172, foundSolutions=7, bestBound=-977
5.54/2.89 nFilterCalls=101588, avgTableProportion=0.9972453609190408, avgTableSize=362.0774894672599
5.54/2.89
5.54/2.89 num=47, depth=7..11, filters=33377, revisions=(31002,useless=16941), ccks=80765, wck=0.533, mem=71M539
5.54/2.89 decisions=2614, wrong=1068, backtracks=605, failedAssignments=665, nogoods=177, foundSolutions=7, bestBound=-977
5.54/2.89 nFilterCalls=103088, avgTableProportion=0.9972453681980314, avgTableSize=362.0784960422164
5.54/2.89
5.86/2.90 num=48, depth=7..12, filters=34333, revisions=(31907,useless=17420), ccks=83261, wck=0.544, mem=71M539
5.86/2.90 decisions=2682, wrong=1098, backtracks=625, failedAssignments=682, nogoods=185, foundSolutions=7, bestBound=-977
5.86/2.90 nFilterCalls=105325, avgTableProportion=0.997245367333155, avgTableSize=362.07837645383336
5.86/2.90
5.86/2.91 num=49, depth=6..12, filters=35256, revisions=(32819,useless=17888), ccks=85269, wck=0.554, mem=71M539
5.86/2.91 decisions=2748, wrong=1128, backtracks=645, failedAssignments=701, nogoods=186, foundSolutions=7, bestBound=-977
5.86/2.91 nFilterCalls=107228, avgTableProportion=0.997245358420825, avgTableSize=362.0771440295445
5.86/2.91
5.86/2.93 num=50, depth=6..15, filters=36484, revisions=(33876,useless=18475), ccks=87680, wck=0.57, mem=71M539
5.86/2.93 decisions=2824, wrong=1162, backtracks=667, failedAssignments=722, nogoods=189, foundSolutions=7, bestBound=-977
5.86/2.93 nFilterCalls=110761, avgTableProportion=0.9972453763393437, avgTableSize=362.0796218885709
5.86/2.93
5.86/2.94 num=51, depth=6..14, filters=37586, revisions=(34858,useless=19008), ccks=89926, wck=0.584, mem=71M539
5.86/2.94 decisions=2899, wrong=1196, backtracks=688, failedAssignments=745, nogoods=197, foundSolutions=7, bestBound=-977
5.86/2.94 nFilterCalls=113958, avgTableProportion=0.9972453781445457, avgTableSize=362.0798715316169
5.86/2.94
5.86/2.96 num=52, depth=5..13, filters=38839, revisions=(35985,useless=19617), ccks=92999, wck=0.598, mem=71M539
5.86/2.96 decisions=2988, wrong=1238, backtracks=714, failedAssignments=770, nogoods=198, foundSolutions=7, bestBound=-977
5.86/2.96 nFilterCalls=117350, avgTableProportion=0.9972453816616526, avgTableSize=362.08035790370684
5.86/2.96
5.86/2.97 num=53, depth=5..11, filters=40116, revisions=(37133,useless=20236), ccks=95786, wck=0.614, mem=71M539
5.86/2.97 decisions=3079, wrong=1281, backtracks=741, failedAssignments=798, nogoods=204, foundSolutions=7, bestBound=-977
5.86/2.97 nFilterCalls=120905, avgTableProportion=0.99724539119117, avgTableSize=362.0816756957942
5.86/2.97
5.86/2.99 num=54, depth=6..11, filters=41608, revisions=(38507,useless=20970), ccks=99730, wck=0.634, mem=71M539
5.86/2.99 decisions=3189, wrong=1333, backtracks=774, failedAssignments=829, nogoods=210, foundSolutions=7, bestBound=-977
5.86/2.99 nFilterCalls=125358, avgTableProportion=0.9972453902275883, avgTableSize=362.08154246238774
5.86/2.99
6.18/3.02 num=55, depth=7..14, filters=43512, revisions=(40195,useless=21917), ccks=104176, wck=0.658, mem=71M539
6.18/3.02 decisions=3320, wrong=1394, backtracks=815, failedAssignments=863, nogoods=216, foundSolutions=7, bestBound=-977
6.18/3.02 nFilterCalls=131678, avgTableProportion=0.9972453838927736, avgTableSize=362.0806664742782
6.18/3.02
6.18/3.04 num=56, depth=5..13, filters=45242, revisions=(41731,useless=22753), ccks=107840, wck=0.68, mem=71M539
6.18/3.04 decisions=3436, wrong=1449, backtracks=846, failedAssignments=900, nogoods=219, foundSolutions=7, bestBound=-977
6.18/3.04 nFilterCalls=137114, avgTableProportion=0.9972453873475737, avgTableSize=362.0811441574165
6.18/3.04
6.18/3.06 num=57, depth=7..13, filters=47015, revisions=(43325,useless=23576), ccks=111846, wck=0.697, mem=74M182
6.18/3.06 decisions=3569, wrong=1512, backtracks=875, failedAssignments=941, nogoods=224, foundSolutions=7, bestBound=-977
6.18/3.06 nFilterCalls=141280, avgTableProportion=0.9972453840696278, avgTableSize=362.08069082672705
6.18/3.06
6.18/3.08 num=58, depth=4..12, filters=49289, revisions=(45484,useless=24688), ccks=118047, wck=0.722, mem=74M182
6.18/3.08 decisions=3722, wrong=1586, backtracks=917, failedAssignments=986, nogoods=229, foundSolutions=7, bestBound=-977
6.18/3.08 nFilterCalls=146990, avgTableProportion=0.9972453766538161, avgTableSize=362.0796652833526
6.18/3.08
6.47/3.11 num=59, depth=5..11, filters=52057, revisions=(47883,useless=26034), ccks=124012, wck=0.753, mem=74M182
6.47/3.11 decisions=3895, wrong=1670, backtracks=966, failedAssignments=1036, nogoods=236, foundSolutions=7, bestBound=-977
6.47/3.11 nFilterCalls=154424, avgTableProportion=0.9972454053963383, avgTableSize=362.0836398487282
6.47/3.11
6.47/3.14 num=60, depth=5..12, filters=54934, revisions=(50538,useless=27427), ccks=130635, wck=0.784, mem=74M182
6.47/3.14 decisions=4084, wrong=1762, backtracks=1026, failedAssignments=1091, nogoods=238, foundSolutions=7, bestBound=-977
6.47/3.14 nFilterCalls=161832, avgTableProportion=0.9972453970136478, avgTableSize=362.0824805971625
6.47/3.14
6.47/3.17 num=61, depth=6..14, filters=57529, revisions=(52974,useless=28728), ccks=136992, wck=0.81, mem=74M182
6.47/3.17 decisions=4279, wrong=1856, backtracks=1081, failedAssignments=1152, nogoods=248, foundSolutions=7, bestBound=-977
6.47/3.17 nFilterCalls=168854, avgTableProportion=0.9972453969635386, avgTableSize=362.0824736162602
6.47/3.17
6.57/3.21 num=62, depth=7..13, filters=61302, revisions=(56168,useless=30563), ccks=144362, wck=0.849, mem=74M182
6.57/3.21 decisions=4513, wrong=1969, backtracks=1145, failedAssignments=1219, nogoods=255, foundSolutions=7, bestBound=-977
6.57/3.21 nFilterCalls=179667, avgTableProportion=0.9972454160910997, avgTableSize=362.085118580485
6.57/3.21
6.57/3.25 num=63, depth=7..14, filters=64767, revisions=(59135,useless=32185), ccks=152956, wck=0.888, mem=74M182
6.57/3.25 decisions=4746, wrong=2082, backtracks=1218, failedAssignments=1293, nogoods=260, foundSolutions=7, bestBound=-977
6.57/3.25 nFilterCalls=191577, avgTableProportion=0.997245404625428, avgTableSize=362.08353299195625
6.57/3.25
6.57/3.29 num=64, depth=4..12, filters=68955, revisions=(63037,useless=34288), ccks=162310, wck=0.933, mem=74M182
6.57/3.29 decisions=5018, wrong=2216, backtracks=1296, failedAssignments=1374, nogoods=266, foundSolutions=7, bestBound=-977
6.57/3.29 nFilterCalls=202109, avgTableProportion=0.997245405635916, avgTableSize=362.08367267167716
6.57/3.29
6.69/3.36 num=65, depth=3..11, filters=74122, revisions=(67564,useless=36788), ccks=175173, wck=0.995, mem=74M182
6.69/3.36 decisions=5342, wrong=2375, backtracks=1403, failedAssignments=1463, nogoods=271, foundSolutions=7, bestBound=-977
6.69/3.36 nFilterCalls=217633, avgTableProportion=0.9972454141781814, avgTableSize=362.08485385947904
6.69/3.36
6.79/3.40 num=66, depth=4..12, filters=78759, revisions=(71878,useless=39118), ccks=185019, wck=1.041, mem=76M824
6.79/3.40 decisions=5659, wrong=2531, backtracks=1499, failedAssignments=1561, nogoods=276, foundSolutions=7, bestBound=-977
6.79/3.40 nFilterCalls=229350, avgTableProportion=0.9972454283283297, avgTableSize=362.08681055155876
6.79/3.40
6.79/3.47 num=67, depth=5..14, filters=84560, revisions=(76567,useless=41750), ccks=196975, wck=1.11, mem=76M824
6.79/3.47 decisions=6035, wrong=2716, backtracks=1626, failedAssignments=1669, nogoods=283, foundSolutions=7, bestBound=-977
6.79/3.47 nFilterCalls=247622, avgTableProportion=0.9972454371424226, avgTableSize=362.08802933503483
6.79/3.47
6.90/3.56 num=68, depth=4..12, filters=91597, revisions=(82503,useless=45244), ccks=209626, wck=1.202, mem=76M824
6.90/3.56 decisions=6438, wrong=2915, backtracks=1739, failedAssignments=1788, nogoods=286, foundSolutions=7, bestBound=-977
6.90/3.56 nFilterCalls=271753, avgTableProportion=0.9972454425917746, avgTableSize=362.0887828285244
6.90/3.56
7.00/3.64 num=69, depth=3..13, filters=98313, revisions=(88492,useless=48501), ccks=224392, wck=1.281, mem=76M824
7.00/3.64 decisions=6871, wrong=3129, backtracks=1877, failedAssignments=1919, nogoods=290, foundSolutions=7, bestBound=-977
7.00/3.64 nFilterCalls=290979, avgTableProportion=0.9972454462468366, avgTableSize=362.08928823042214
7.00/3.64
7.00/3.68 o -976
7.00/3.68 num=70, depth=6..59, filters=101780, revisions=(91301,useless=50166), ccks=232545, wck=1.321, mem=76M824
7.00/3.68 decisions=7096, wrong=3235, backtracks=1938, failedAssignments=1983, nogoods=294, foundSolutions=8, bestBound=-976
7.00/3.68 nFilterCalls=303129, avgTableProportion=0.9972454420756828, avgTableSize=362.0887114066948
7.00/3.68
7.11/3.77 num=71, depth=4..15, filters=109747, revisions=(98159,useless=53993), ccks=247245, wck=1.409, mem=79M467
7.11/3.77 decisions=7605, wrong=3485, backtracks=2110, failedAssignments=2141, nogoods=302, foundSolutions=8, bestBound=-976
7.11/3.77 nFilterCalls=326762, avgTableProportion=0.9972454755040803, avgTableSize=362.093333986204
7.11/3.77
7.11/3.78 num=72, depth=6..10, filters=110445, revisions=(98811,useless=54351), ccks=248653, wck=1.417, mem=79M467
7.11/3.78 decisions=7654, wrong=3506, backtracks=2125, failedAssignments=2152, nogoods=307, foundSolutions=8, bestBound=-976
7.11/3.78 nFilterCalls=328760, avgTableProportion=0.9972454745256769, avgTableSize=362.0931986859715
7.11/3.78
7.11/3.78 num=73, depth=7..12, filters=111123, revisions=(99462,useless=54706), ccks=250087, wck=1.425, mem=79M467
7.11/3.78 decisions=7703, wrong=3526, backtracks=2139, failedAssignments=2164, nogoods=313, foundSolutions=8, bestBound=-976
7.11/3.78 nFilterCalls=330851, avgTableProportion=0.997245475708645, avgTableSize=362.0933622688159
7.11/3.78
7.11/3.79 num=74, depth=5..10, filters=111890, revisions=(100161,useless=55054), ccks=251864, wck=1.432, mem=79M467
7.11/3.79 decisions=7744, wrong=3544, backtracks=2151, failedAssignments=2177, nogoods=315, foundSolutions=8, bestBound=-976
7.11/3.79 nFilterCalls=332571, avgTableProportion=0.9972454730866772, avgTableSize=362.0929996902917
7.11/3.79
7.24/3.80 num=75, depth=7..11, filters=112542, revisions=(100816,useless=55398), ccks=253255, wck=1.439, mem=79M467
7.24/3.80 decisions=7797, wrong=3567, backtracks=2164, failedAssignments=2191, nogoods=319, foundSolutions=8, bestBound=-976
7.24/3.80 nFilterCalls=334244, avgTableProportion=0.997245472035463, avgTableSize=362.0928543219923
7.24/3.80
7.24/3.81 num=76, depth=5..9, filters=113541, revisions=(101815,useless=55924), ccks=255228, wck=1.45, mem=79M467
7.24/3.81 decisions=7867, wrong=3599, backtracks=2184, failedAssignments=2207, nogoods=325, foundSolutions=8, bestBound=-976
7.24/3.81 nFilterCalls=336629, avgTableProportion=0.9972454740449717, avgTableSize=362.0931322019196
7.24/3.81
7.24/3.81 o -975
7.24/3.81 num=77, depth=61..59, filters=113718, revisions=(102013,useless=56037), ccks=255669, wck=1.452, mem=79M467
7.24/3.81 decisions=7885, wrong=3599, backtracks=2184, failedAssignments=2207, nogoods=325, foundSolutions=9, bestBound=-975
7.24/3.81 nFilterCalls=337278, avgTableProportion=0.9972454747001468, avgTableSize=362.0932228013686
7.24/3.81
7.24/3.82 num=78, depth=5..10, filters=114676, revisions=(103005,useless=56577), ccks=257869, wck=1.462, mem=79M467
7.24/3.82 decisions=7951, wrong=3629, backtracks=2205, failedAssignments=2226, nogoods=331, foundSolutions=9, bestBound=-975
7.24/3.82 nFilterCalls=339809, avgTableProportion=0.997245472849848, avgTableSize=362.09296693142323
7.24/3.82
7.24/3.83 num=79, depth=7..14, filters=115337, revisions=(103637,useless=56937), ccks=259324, wck=1.469, mem=79M467
7.24/3.83 decisions=8003, wrong=3651, backtracks=2223, failedAssignments=2237, nogoods=335, foundSolutions=9, bestBound=-975
7.24/3.83 nFilterCalls=341803, avgTableProportion=0.9972454792101372, avgTableSize=362.0938464554144
7.24/3.83
7.24/3.84 num=80, depth=7..13, filters=115976, revisions=(104251,useless=57267), ccks=260661, wck=1.475, mem=79M467
7.24/3.84 decisions=8054, wrong=3673, backtracks=2236, failedAssignments=2249, nogoods=337, foundSolutions=9, bestBound=-975
7.24/3.84 nFilterCalls=343482, avgTableProportion=0.9972454780191944, avgTableSize=362.09368176498333
7.24/3.84
7.24/3.84 num=81, depth=8..13, filters=116557, revisions=(104836,useless=57598), ccks=262034, wck=1.482, mem=79M467
7.24/3.84 decisions=8104, wrong=3694, backtracks=2250, failedAssignments=2262, nogoods=340, foundSolutions=9, bestBound=-975
7.24/3.84 nFilterCalls=345337, avgTableProportion=0.9972454774165528, avgTableSize=362.09359842704373
7.24/3.84
7.24/3.84 o -974
7.24/3.84 num=82, depth=15..59, filters=116747, revisions=(105043,useless=57716), ccks=262501, wck=1.484, mem=79M467
7.24/3.84 decisions=8123, wrong=3696, backtracks=2250, failedAssignments=2264, nogoods=342, foundSolutions=10, bestBound=-974
7.24/3.84 nFilterCalls=345978, avgTableProportion=0.9972454778137599, avgTableSize=362.0936533536815
7.24/3.84
7.24/3.86 num=83, depth=4..9, filters=117733, revisions=(106025,useless=58259), ccks=264548, wck=1.497, mem=79M467
7.24/3.86 decisions=8183, wrong=3723, backtracks=2268, failedAssignments=2280, nogoods=346, foundSolutions=10, bestBound=-974
7.24/3.86 nFilterCalls=348739, avgTableProportion=0.9972454778225569, avgTableSize=362.0936545668824
7.24/3.86
7.24/3.86 num=84, depth=7..12, filters=118417, revisions=(106675,useless=58604), ccks=265990, wck=1.503, mem=79M467
7.24/3.86 decisions=8229, wrong=3742, backtracks=2281, failedAssignments=2291, nogoods=348, foundSolutions=10, bestBound=-974
7.24/3.86 nFilterCalls=350270, avgTableProportion=0.9972454758739432, avgTableSize=362.0933851029206
7.24/3.86
7.24/3.87 num=85, depth=8..12, filters=119176, revisions=(107372,useless=59016), ccks=267529, wck=1.512, mem=79M467
7.24/3.87 decisions=8279, wrong=3763, backtracks=2294, failedAssignments=2303, nogoods=354, foundSolutions=10, bestBound=-974
7.24/3.87 nFilterCalls=352568, avgTableProportion=0.9972454784870745, avgTableSize=362.0937464545847
7.24/3.87
7.24/3.88 num=86, depth=6..11, filters=120027, revisions=(108179,useless=59445), ccks=269383, wck=1.519, mem=79M467
7.24/3.88 decisions=8327, wrong=3783, backtracks=2306, failedAssignments=2316, nogoods=362, foundSolutions=10, bestBound=-974
7.24/3.88 nFilterCalls=354563, avgTableProportion=0.9972454804853578, avgTableSize=362.0940227829751
7.24/3.88
7.24/3.89 num=87, depth=6..11, filters=120704, revisions=(108833,useless=59813), ccks=270800, wck=1.527, mem=79M467
7.24/3.89 decisions=8378, wrong=3805, backtracks=2320, failedAssignments=2330, nogoods=365, foundSolutions=10, bestBound=-974
7.24/3.89 nFilterCalls=356454, avgTableProportion=0.9972454807126503, avgTableSize=362.09405421176365
7.24/3.89
7.24/3.90 num=88, depth=7..13, filters=121452, revisions=(109551,useless=60199), ccks=272381, wck=1.535, mem=79M467
7.24/3.90 decisions=8434, wrong=3829, backtracks=2338, failedAssignments=2346, nogoods=371, foundSolutions=10, bestBound=-974
7.24/3.90 nFilterCalls=358644, avgTableProportion=0.9972454803904822, avgTableSize=362.09400965860294
7.24/3.90
7.35/3.90 num=89, depth=7..11, filters=122170, revisions=(110288,useless=60602), ccks=273872, wck=1.544, mem=79M467
7.35/3.90 decisions=8489, wrong=3852, backtracks=2348, failedAssignments=2363, nogoods=377, foundSolutions=10, bestBound=-974
7.35/3.90 nFilterCalls=360803, avgTableProportion=0.9972454791485119, avgTableSize=362.0938379115473
7.35/3.90
7.35/3.91 num=90, depth=7..12, filters=123046, revisions=(111146,useless=61065), ccks=275593, wck=1.552, mem=79M467
7.35/3.91 decisions=8556, wrong=3881, backtracks=2362, failedAssignments=2382, nogoods=384, foundSolutions=10, bestBound=-974
7.35/3.91 nFilterCalls=362997, avgTableProportion=0.9972454787524797, avgTableSize=362.0937831442133
7.35/3.91
7.35/3.92 num=91, depth=6..12, filters=124160, revisions=(112193,useless=61659), ccks=277838, wck=1.564, mem=82M110
7.35/3.92 decisions=8629, wrong=3914, backtracks=2387, failedAssignments=2403, nogoods=389, foundSolutions=10, bestBound=-974
7.35/3.92 nFilterCalls=366179, avgTableProportion=0.9972454834838947, avgTableSize=362.09443741995034
7.35/3.92
7.35/3.94 num=92, depth=8..15, filters=125122, revisions=(113059,useless=62165), ccks=280295, wck=1.575, mem=82M110
7.35/3.94 decisions=8715, wrong=3953, backtracks=2411, failedAssignments=2426, nogoods=391, foundSolutions=10, bestBound=-974
7.35/3.94 nFilterCalls=369498, avgTableProportion=0.9972454832404984, avgTableSize=362.09440375861305
7.35/3.94
7.35/3.95 num=93, depth=7..13, filters=126544, revisions=(114338,useless=62883), ccks=283120, wck=1.591, mem=82M110
7.35/3.95 decisions=8811, wrong=3997, backtracks=2441, failedAssignments=2451, nogoods=400, foundSolutions=10, bestBound=-974
7.35/3.95 nFilterCalls=373272, avgTableProportion=0.9972454865285594, avgTableSize=362.0948584410296
7.35/3.95
7.35/3.97 num=94, depth=6..11, filters=127920, revisions=(115701,useless=63662), ccks=286173, wck=1.606, mem=82M110
7.35/3.97 decisions=8917, wrong=4046, backtracks=2467, failedAssignments=2479, nogoods=408, foundSolutions=10, bestBound=-974
7.35/3.97 nFilterCalls=377128, avgTableProportion=0.9972454845770513, avgTableSize=362.09458857470145
7.35/3.97
7.35/3.98 num=95, depth=4..10, filters=129384, revisions=(117091,useless=64396), ccks=289462, wck=1.624, mem=82M110
7.35/3.98 decisions=9024, wrong=4097, backtracks=2502, failedAssignments=2510, nogoods=412, foundSolutions=10, bestBound=-974
7.35/3.98 nFilterCalls=381250, avgTableProportion=0.9972454851101895, avgTableSize=362.09466229508195
7.35/3.98
7.35/4.00 num=96, depth=6..14, filters=131415, revisions=(118742,useless=65358), ccks=293557, wck=1.644, mem=82M110
7.35/4.00 decisions=9154, wrong=4158, backtracks=2537, failedAssignments=2544, nogoods=419, foundSolutions=10, bestBound=-974
7.35/4.00 nFilterCalls=386929, avgTableProportion=0.9972454799409654, avgTableSize=362.0939474683986
7.35/4.00
7.46/4.03 num=97, depth=7..15, filters=133344, revisions=(120304,useless=66241), ccks=297053, wck=1.666, mem=82M110
7.46/4.03 decisions=9279, wrong=4215, backtracks=2573, failedAssignments=2581, nogoods=425, foundSolutions=10, bestBound=-974
7.46/4.03 nFilterCalls=393251, avgTableProportion=0.9972454833257632, avgTableSize=362.0944155259618
7.46/4.03
7.46/4.06 num=98, depth=3..10, filters=135653, revisions=(122270,useless=67367), ccks=301422, wck=1.697, mem=82M110
7.46/4.06 decisions=9412, wrong=4280, backtracks=2616, failedAssignments=2622, nogoods=428, foundSolutions=10, bestBound=-974
7.46/4.06 nFilterCalls=400623, avgTableProportion=0.9972454918451393, avgTableSize=362.0955936129478
7.46/4.06
7.46/4.08 num=99, depth=3..11, filters=137807, revisions=(124335,useless=68459), ccks=305789, wck=1.721, mem=82M110
7.46/4.08 decisions=9561, wrong=4352, backtracks=2656, failedAssignments=2667, nogoods=431, foundSolutions=10, bestBound=-974
7.46/4.08 nFilterCalls=405852, avgTableProportion=0.9972454934691278, avgTableSize=362.09581818002624
7.46/4.08
7.57/4.11 num=100, depth=5..13, filters=140248, revisions=(126503,useless=69663), ccks=311253, wck=1.748, mem=82M110
7.57/4.11 decisions=9727, wrong=4431, backtracks=2704, failedAssignments=2717, nogoods=436, foundSolutions=10, bestBound=-974
7.57/4.11 nFilterCalls=412773, avgTableProportion=0.9972454909436304, avgTableSize=362.0954689381331
7.57/4.11
7.57/4.14 num=101, depth=2..10, filters=143321, revisions=(129160,useless=71098), ccks=318984, wck=1.785, mem=82M110
7.57/4.14 decisions=9926, wrong=4528, backtracks=2766, failedAssignments=2772, nogoods=439, foundSolutions=10, bestBound=-974
7.57/4.14 nFilterCalls=421166, avgTableProportion=0.9972454924156656, avgTableSize=362.09567249018204
7.57/4.14
7.57/4.18 num=102, depth=4..10, filters=146678, revisions=(132183,useless=72767), ccks=326059, wck=1.822, mem=82M110
7.57/4.18 decisions=10132, wrong=4629, backtracks=2824, failedAssignments=2833, nogoods=445, foundSolutions=10, bestBound=-974
7.57/4.18 nFilterCalls=430299, avgTableProportion=0.9972454906212538, avgTableSize=362.09542434446746
7.57/4.18
7.68/4.22 num=103, depth=3..11, filters=150664, revisions=(135670,useless=74703), ccks=333415, wck=1.863, mem=84M752
7.68/4.22 decisions=10378, wrong=4749, backtracks=2900, failedAssignments=2900, nogoods=453, foundSolutions=10, bestBound=-974
7.68/4.22 nFilterCalls=440232, avgTableProportion=0.9972455004632751, avgTableSize=362.0967853313707
7.68/4.22
7.68/4.26 num=104, depth=4..10, filters=154111, revisions=(138845,useless=76380), ccks=341690, wck=1.901, mem=84M752
7.68/4.26 decisions=10609, wrong=4862, backtracks=2967, failedAssignments=2974, nogoods=464, foundSolutions=10, bestBound=-974
7.68/4.26 nFilterCalls=448835, avgTableProportion=0.9972454973111604, avgTableSize=362.0963494379895
7.68/4.26
7.78/4.31 num=105, depth=6..16, filters=158797, revisions=(142792,useless=78687), ccks=350862, wck=1.951, mem=84M752
7.78/4.31 decisions=10904, wrong=5005, backtracks=3059, failedAssignments=3055, nogoods=473, foundSolutions=10, bestBound=-974
7.78/4.31 nFilterCalls=462577, avgTableProportion=0.9972455156639072, avgTableSize=362.09888732038127
7.78/4.31
7.78/4.36 num=106, depth=5..13, filters=163061, revisions=(146647,useless=80862), ccks=359846, wck=2.0, mem=84M752
7.78/4.36 decisions=11201, wrong=5151, backtracks=3157, failedAssignments=3144, nogoods=481, foundSolutions=10, bestBound=-974
7.78/4.36 nFilterCalls=474838, avgTableProportion=0.9972455163727798, avgTableSize=362.09898533815743
7.78/4.36
7.90/4.42 num=107, depth=3..14, filters=168507, revisions=(151410,useless=83479), ccks=371731, wck=2.061, mem=84M752
7.90/4.42 decisions=11527, wrong=5311, backtracks=3266, failedAssignments=3242, nogoods=487, foundSolutions=10, bestBound=-974
7.90/4.42 nFilterCalls=490161, avgTableProportion=0.9972455252284825, avgTableSize=362.1002099310227
7.90/4.42
7.90/4.48 num=108, depth=4..16, filters=174220, revisions=(156528,useless=86327), ccks=384297, wck=2.124, mem=84M752
7.90/4.48 decisions=11934, wrong=5512, backtracks=3402, failedAssignments=3350, nogoods=495, foundSolutions=10, bestBound=-974
7.90/4.48 nFilterCalls=506114, avgTableProportion=0.9972455336350659, avgTableSize=362.10137241807183
7.90/4.48
8.00/4.56 num=109, depth=3..15, filters=181717, revisions=(163068,useless=89919), ccks=400079, wck=2.204, mem=87M394
8.00/4.56 decisions=12364, wrong=5725, backtracks=3544, failedAssignments=3469, nogoods=498, foundSolutions=10, bestBound=-974
8.00/4.56 nFilterCalls=526887, avgTableProportion=0.9972455276125157, avgTableSize=362.1005395843891
8.00/4.56
8.00/4.59 o -973
8.00/4.59 num=110, depth=5..59, filters=183545, revisions=(164671,useless=90758), ccks=404331, wck=2.225, mem=87M394
8.00/4.59 decisions=12487, wrong=5782, backtracks=3577, failedAssignments=3500, nogoods=509, foundSolutions=11, bestBound=-973
8.00/4.59 nFilterCalls=532283, avgTableProportion=0.9972455235570155, avgTableSize=362.0999787706915
8.00/4.59
8.10/4.69 num=111, depth=4..14, filters=192057, revisions=(171574,useless=94710), ccks=421853, wck=2.333, mem=87M394
8.10/4.69 decisions=12978, wrong=6025, backtracks=3741, failedAssignments=3644, nogoods=521, foundSolutions=11, bestBound=-973
8.10/4.69 nFilterCalls=557610, avgTableProportion=0.997245546911679, avgTableSize=362.10320833557506
8.10/4.69
8.22/4.70 num=112, depth=7..11, filters=192655, revisions=(172131,useless=95012), ccks=423204, wck=2.339, mem=87M394
8.22/4.70 decisions=13023, wrong=6044, backtracks=3750, failedAssignments=3655, nogoods=527, foundSolutions=11, bestBound=-973
8.22/4.70 nFilterCalls=559205, avgTableProportion=0.99724554510619, avgTableSize=362.1029586645327
8.22/4.70
8.22/4.71 num=113, depth=6..11, filters=193346, revisions=(172816,useless=95397), ccks=424688, wck=2.349, mem=87M394
8.22/4.71 decisions=13071, wrong=6065, backtracks=3766, failedAssignments=3667, nogoods=531, foundSolutions=11, bestBound=-973
8.22/4.71 nFilterCalls=561470, avgTableProportion=0.9972455433262231, avgTableSize=362.1027125224856
8.22/4.71
8.22/4.72 num=114, depth=5..8, filters=193998, revisions=(173472,useless=95743), ccks=426102, wck=2.356, mem=87M394
8.22/4.72 decisions=13116, wrong=6085, backtracks=3775, failedAssignments=3680, nogoods=537, foundSolutions=11, bestBound=-973
8.22/4.72 nFilterCalls=562951, avgTableProportion=0.9972455413593315, avgTableSize=362.1024405321245
8.22/4.72
8.22/4.73 num=115, depth=4..8, filters=194899, revisions=(174286,useless=96191), ccks=427824, wck=2.365, mem=87M394
8.22/4.73 decisions=13161, wrong=6105, backtracks=3786, failedAssignments=3694, nogoods=544, foundSolutions=11, bestBound=-973
8.22/4.73 nFilterCalls=564934, avgTableProportion=0.9972455417927717, avgTableSize=362.10250046908135
8.22/4.73
8.22/4.74 num=116, depth=4..10, filters=195960, revisions=(175268,useless=96737), ccks=429969, wck=2.378, mem=87M394
8.22/4.74 decisions=13229, wrong=6136, backtracks=3806, failedAssignments=3710, nogoods=550, foundSolutions=11, bestBound=-973
8.22/4.74 nFilterCalls=567893, avgTableProportion=0.9972455417635074, avgTableSize=362.1024964209807
8.22/4.74
8.22/4.75 num=117, depth=5..10, filters=196996, revisions=(176252,useless=97283), ccks=431928, wck=2.388, mem=87M394
8.22/4.75 decisions=13295, wrong=6166, backtracks=3823, failedAssignments=3727, nogoods=552, foundSolutions=11, bestBound=-973
8.22/4.75 nFilterCalls=570376, avgTableProportion=0.9972455425559371, avgTableSize=362.1026060002525
8.22/4.75
8.22/4.76 num=118, depth=5..13, filters=198180, revisions=(177344,useless=97878), ccks=434619, wck=2.401, mem=87M394
8.22/4.76 decisions=13366, wrong=6198, backtracks=3843, failedAssignments=3746, nogoods=555, foundSolutions=11, bestBound=-973
8.22/4.76 nFilterCalls=573664, avgTableProportion=0.997245541227693, avgTableSize=362.102422323869
8.22/4.76
8.22/4.78 num=119, depth=6..11, filters=199352, revisions=(178354,useless=98466), ccks=436838, wck=2.415, mem=87M394
8.22/4.78 decisions=13439, wrong=6231, backtracks=3865, failedAssignments=3767, nogoods=565, foundSolutions=11, bestBound=-973
8.22/4.78 nFilterCalls=576989, avgTableProportion=0.9972455404061021, avgTableSize=362.1023087095248
8.22/4.78
8.22/4.79 num=120, depth=4..9, filters=200877, revisions=(179803,useless=99249), ccks=439982, wck=2.43, mem=87M394
8.22/4.79 decisions=13526, wrong=6271, backtracks=3890, failedAssignments=3790, nogoods=567, foundSolutions=11, bestBound=-973
8.22/4.79 nFilterCalls=580285, avgTableProportion=0.9972455370013844, avgTableSize=362.10183789000234
8.22/4.79
8.34/4.81 num=121, depth=4..10, filters=202130, revisions=(181037,useless=99925), ccks=442528, wck=2.449, mem=90M37
8.34/4.81 decisions=13621, wrong=6316, backtracks=3915, failedAssignments=3815, nogoods=573, foundSolutions=11, bestBound=-973
8.34/4.81 nFilterCalls=583826, avgTableProportion=0.9972455345042016, avgTableSize=362.10149256799116
8.34/4.81
8.34/4.83 num=122, depth=4..13, filters=203849, revisions=(182659,useless=100768), ccks=447116, wck=2.468, mem=90M37
8.34/4.83 decisions=13738, wrong=6372, backtracks=3953, failedAssignments=3843, nogoods=579, foundSolutions=11, bestBound=-973
8.34/4.83 nFilterCalls=588216, avgTableProportion=0.9972455343130149, avgTableSize=362.101466128089
8.34/4.83
8.34/4.85 num=123, depth=4..13, filters=205884, revisions=(184447,useless=101723), ccks=451780, wck=2.49, mem=90M37
8.34/4.85 decisions=13847, wrong=6423, backtracks=3988, failedAssignments=3874, nogoods=584, foundSolutions=11, bestBound=-973
8.34/4.85 nFilterCalls=593501, avgTableProportion=0.9972455313735465, avgTableSize=362.1010596443814
8.34/4.85
8.34/4.88 num=124, depth=3..10, filters=207785, revisions=(186200,useless=102768), ccks=454930, wck=2.516, mem=90M37
8.34/4.88 decisions=13967, wrong=6481, backtracks=4018, failedAssignments=3908, nogoods=592, foundSolutions=11, bestBound=-973
8.34/4.88 nFilterCalls=599226, avgTableProportion=0.9972455310891618, avgTableSize=362.1010203162079
8.34/4.88
8.45/4.90 num=125, depth=5..11, filters=210230, revisions=(188279,useless=103879), ccks=460227, wck=2.542, mem=90M37
8.45/4.90 decisions=14097, wrong=6543, backtracks=4057, failedAssignments=3945, nogoods=600, foundSolutions=11, bestBound=-973
8.45/4.90 nFilterCalls=605238, avgTableProportion=0.9972455287074987, avgTableSize=362.10069096785065
8.45/4.90
8.45/4.94 num=126, depth=2..11, filters=212947, revisions=(190690,useless=105271), ccks=465881, wck=2.578, mem=90M37
8.45/4.94 decisions=14262, wrong=6623, backtracks=4107, failedAssignments=3986, nogoods=607, foundSolutions=11, bestBound=-973
8.45/4.94 nFilterCalls=613340, avgTableProportion=0.9972455254321833, avgTableSize=362.1002380408909
8.45/4.94
8.45/4.96 num=127, depth=6..15, filters=215313, revisions=(192761,useless=106395), ccks=471234, wck=2.601, mem=90M37
8.45/4.96 decisions=14414, wrong=6695, backtracks=4151, failedAssignments=4031, nogoods=611, foundSolutions=11, bestBound=-973
8.45/4.96 nFilterCalls=619938, avgTableProportion=0.997245521240192, avgTableSize=362.09965835293207
8.45/4.96
8.45/5.00 num=128, depth=3..13, filters=218357, revisions=(195385,useless=107871), ccks=477209, wck=2.636, mem=90M37
8.45/5.00 decisions=14604, wrong=6788, backtracks=4213, failedAssignments=4081, nogoods=617, foundSolutions=11, bestBound=-973
8.45/5.00 nFilterCalls=627970, avgTableProportion=0.9972455217877154, avgTableSize=362.09973406372916
8.45/5.00
8.58/5.04 num=129, depth=4..13, filters=222199, revisions=(198510,useless=109674), ccks=485182, wck=2.681, mem=90M37
8.58/5.04 decisions=14812, wrong=6890, backtracks=4276, failedAssignments=4136, nogoods=622, foundSolutions=11, bestBound=-973
8.58/5.04 nFilterCalls=638510, avgTableProportion=0.9972455236995333, avgTableSize=362.09999843385384
8.58/5.04
8.58/5.09 num=130, depth=4..11, filters=225957, revisions=(201798,useless=111563), ccks=492798, wck=2.729, mem=90M37
8.58/5.09 decisions=15047, wrong=7005, backtracks=4349, failedAssignments=4197, nogoods=630, foundSolutions=11, bestBound=-973
8.58/5.09 nFilterCalls=649357, avgTableProportion=0.9972455215649036, avgTableSize=362.0997032449023
8.58/5.09
8.68/5.13 num=131, depth=4..13, filters=230055, revisions=(205415,useless=113657), ccks=501504, wck=2.773, mem=92M679
8.68/5.13 decisions=15311, wrong=7134, backtracks=4444, failedAssignments=4264, nogoods=636, foundSolutions=11, bestBound=-973
8.68/5.13 nFilterCalls=660120, avgTableProportion=0.9972455205121059, avgTableSize=362.0995576561837
8.68/5.13
8.68/5.17 num=132, depth=2..13, filters=233867, revisions=(208938,useless=115610), ccks=509585, wck=2.814, mem=92M679
8.68/5.17 decisions=15557, wrong=7252, backtracks=4518, failedAssignments=4338, nogoods=642, foundSolutions=11, bestBound=-973
8.68/5.17 nFilterCalls=670583, avgTableProportion=0.9972455226185285, avgTableSize=362.09984893741716
8.68/5.17
8.77/5.22 num=133, depth=3..14, filters=238053, revisions=(212770,useless=117685), ccks=519530, wck=2.86, mem=92M679
8.77/5.22 decisions=15836, wrong=7389, backtracks=4611, failedAssignments=4419, nogoods=650, foundSolutions=11, bestBound=-973
8.77/5.22 nFilterCalls=681873, avgTableProportion=0.997245524131994, avgTableSize=362.1000582219856
8.77/5.22
8.77/5.28 num=134, depth=3..10, filters=243216, revisions=(217267,useless=120312), ccks=529250, wck=2.922, mem=92M679
8.77/5.28 decisions=16149, wrong=7543, backtracks=4706, failedAssignments=4508, nogoods=654, foundSolutions=11, bestBound=-973
8.77/5.28 nFilterCalls=695999, avgTableProportion=0.9972455305798819, avgTableSize=362.1009498576866
8.77/5.28
8.87/5.35 num=135, depth=2..10, filters=248790, revisions=(222068,useless=123061), ccks=541003, wck=2.991, mem=92M679
8.87/5.35 decisions=16495, wrong=7714, backtracks=4818, failedAssignments=4606, nogoods=662, foundSolutions=11, bestBound=-973
8.87/5.35 nFilterCalls=713030, avgTableProportion=0.9972455373721939, avgTableSize=362.10188912107486
8.87/5.35
8.97/5.43 num=136, depth=3..12, filters=255181, revisions=(227803,useless=126325), ccks=555429, wck=3.069, mem=92M679
8.97/5.43 decisions=16924, wrong=7926, backtracks=4958, failedAssignments=4714, nogoods=668, foundSolutions=11, bestBound=-973
8.97/5.43 nFilterCalls=731030, avgTableProportion=0.9972455425754839, avgTableSize=362.1026086480719
8.97/5.43
9.07/5.52 num=137, depth=3..11, filters=262963, revisions=(233978,useless=129985), ccks=569464, wck=3.159, mem=95M322
9.07/5.52 decisions=17330, wrong=8127, backtracks=5095, failedAssignments=4833, nogoods=676, foundSolutions=11, bestBound=-973
9.07/5.52 nFilterCalls=754117, avgTableProportion=0.9972455663961868, avgTableSize=362.1059026649711
9.07/5.52
9.07/5.56 o -972
9.07/5.56 num=138, depth=5..59, filters=265832, revisions=(236512,useless=131408), ccks=575599, wck=3.195, mem=95M322
9.07/5.56 decisions=17510, wrong=8212, backtracks=5146, failedAssignments=4885, nogoods=681, foundSolutions=12, bestBound=-972
9.07/5.56 nFilterCalls=762623, avgTableProportion=0.9972455678488286, avgTableSize=362.1061035400191
9.07/5.56
9.18/5.64 num=139, depth=2..13, filters=273116, revisions=(243273,useless=134972), ccks=591485, wck=3.277, mem=95M322
9.18/5.64 decisions=17970, wrong=8440, backtracks=5284, failedAssignments=5029, nogoods=693, foundSolutions=12, bestBound=-972
9.18/5.64 nFilterCalls=782194, avgTableProportion=0.9972455729563179, avgTableSize=362.1068098195588
9.18/5.64
9.18/5.64 num=140, depth=8..13, filters=273745, revisions=(243865,useless=135312), ccks=592753, wck=3.283, mem=95M322
9.18/5.64 decisions=18013, wrong=8457, backtracks=5295, failedAssignments=5040, nogoods=695, foundSolutions=12, bestBound=-972
9.18/5.64 nFilterCalls=783965, avgTableProportion=0.9972455722169029, avgTableSize=362.10670756985326
9.18/5.64
9.18/5.66 num=141, depth=5..13, filters=274758, revisions=(244718,useless=135794), ccks=594714, wck=3.295, mem=95M322
9.18/5.66 decisions=18069, wrong=8481, backtracks=5312, failedAssignments=5052, nogoods=700, foundSolutions=12, bestBound=-972
9.18/5.66 nFilterCalls=787154, avgTableProportion=0.997245571580345, avgTableSize=362.1066195433168
9.18/5.66
9.18/5.67 num=142, depth=7..15, filters=275488, revisions=(245329,useless=136134), ccks=596215, wck=3.305, mem=95M322
9.18/5.67 decisions=18119, wrong=8502, backtracks=5322, failedAssignments=5065, nogoods=706, foundSolutions=12, bestBound=-972
9.18/5.67 nFilterCalls=789935, avgTableProportion=0.9972455719693357, avgTableSize=362.10667333388193
9.18/5.67
9.18/5.67 num=143, depth=6..11, filters=276409, revisions=(246198,useless=136603), ccks=598122, wck=3.314, mem=95M322
9.18/5.67 decisions=18176, wrong=8527, backtracks=5339, failedAssignments=5079, nogoods=713, foundSolutions=12, bestBound=-972
9.18/5.67 nFilterCalls=792471, avgTableProportion=0.9972455728223353, avgTableSize=362.1067912895235
9.18/5.67
9.18/5.69 num=144, depth=4..11, filters=277474, revisions=(247161,useless=137203), ccks=599963, wck=3.329, mem=95M322
9.18/5.69 decisions=18237, wrong=8555, backtracks=5359, failedAssignments=5095, nogoods=719, foundSolutions=12, bestBound=-972
9.18/5.69 nFilterCalls=795892, avgTableProportion=0.9972455776712513, avgTableSize=362.10746181642736
9.18/5.69
9.28/5.70 num=145, depth=4..12, filters=278647, revisions=(248259,useless=137780), ccks=602255, wck=3.341, mem=95M322
9.28/5.70 decisions=18303, wrong=8585, backtracks=5378, failedAssignments=5112, nogoods=724, foundSolutions=12, bestBound=-972
9.28/5.70 nFilterCalls=799041, avgTableProportion=0.9972455765182839, avgTableSize=362.1073023787265
9.28/5.70
9.28/5.72 num=146, depth=5..11, filters=279698, revisions=(249207,useless=138292), ccks=604472, wck=3.356, mem=95M322
9.28/5.72 decisions=18373, wrong=8617, backtracks=5398, failedAssignments=5131, nogoods=726, foundSolutions=12, bestBound=-972
9.28/5.72 nFilterCalls=802345, avgTableProportion=0.997245575810529, avgTableSize=362.10720450678946
9.28/5.72
9.28/5.73 num=147, depth=6..14, filters=280778, revisions=(250247,useless=138856), ccks=606947, wck=3.367, mem=97M964
9.28/5.73 decisions=18448, wrong=8651, backtracks=5415, failedAssignments=5152, nogoods=730, foundSolutions=12, bestBound=-972
9.28/5.73 nFilterCalls=805293, avgTableProportion=0.9972455750558685, avgTableSize=362.10710014864156
9.28/5.73
9.28/5.74 num=148, depth=4..9, filters=281929, revisions=(251308,useless=139439), ccks=609794, wck=3.382, mem=97M964
9.28/5.74 decisions=18529, wrong=8689, backtracks=5434, failedAssignments=5175, nogoods=735, foundSolutions=12, bestBound=-972
9.28/5.74 nFilterCalls=808829, avgTableProportion=0.9972455751032051, avgTableSize=362.10710669375106
9.28/5.74
9.28/5.76 num=149, depth=5..13, filters=283431, revisions=(252617,useless=140113), ccks=612526, wck=3.395, mem=97M964
9.28/5.76 decisions=18615, wrong=8729, backtracks=5452, failedAssignments=5200, nogoods=742, foundSolutions=12, bestBound=-972
9.28/5.76 nFilterCalls=812055, avgTableProportion=0.9972455739319462, avgTableSize=362.1069447266503
9.28/5.76
9.28/5.77 num=150, depth=5..12, filters=284877, revisions=(253914,useless=140859), ccks=615255, wck=3.411, mem=97M964
9.28/5.77 decisions=18708, wrong=8772, backtracks=5475, failedAssignments=5228, nogoods=746, foundSolutions=12, bestBound=-972
9.28/5.77 nFilterCalls=816204, avgTableProportion=0.9972455736421126, avgTableSize=362.1069046463874
9.28/5.77
9.28/5.79 num=151, depth=3..8, filters=286782, revisions=(255731,useless=141920), ccks=618900, wck=3.433, mem=97M964
9.28/5.79 decisions=18826, wrong=8829, backtracks=5509, failedAssignments=5259, nogoods=751, foundSolutions=12, bestBound=-972
9.28/5.79 nFilterCalls=820749, avgTableProportion=0.9972455737224603, avgTableSize=362.1069157562178
9.28/5.79
9.38/5.81 num=152, depth=5..13, filters=288535, revisions=(257278,useless=142791), ccks=622647, wck=3.453, mem=97M964
9.38/5.81 decisions=18949, wrong=8888, backtracks=5546, failedAssignments=5293, nogoods=758, foundSolutions=12, bestBound=-972
9.38/5.81 nFilterCalls=825636, avgTableProportion=0.997245574690327, avgTableSize=362.10704959570563
9.38/5.81
9.38/5.85 num=153, depth=2..11, filters=290977, revisions=(259302,useless=143958), ccks=626825, wck=3.485, mem=97M964
9.38/5.85 decisions=19081, wrong=8953, backtracks=5595, failedAssignments=5330, nogoods=760, foundSolutions=12, bestBound=-972
9.38/5.85 nFilterCalls=832748, avgTableProportion=0.9972455811742802, avgTableSize=362.10794622142595
9.38/5.85
9.38/5.88 num=154, depth=3..13, filters=293542, revisions=(261431,useless=145181), ccks=631456, wck=3.515, mem=97M964
9.38/5.88 decisions=19224, wrong=9022, backtracks=5642, failedAssignments=5371, nogoods=767, foundSolutions=12, bestBound=-972
9.38/5.88 nFilterCalls=840065, avgTableProportion=0.9972455855916811, avgTableSize=362.10855707594055
9.38/5.88
9.48/5.91 num=155, depth=2..9, filters=296770, revisions=(264325,useless=146874), ccks=636333, wck=3.554, mem=97M964
9.48/5.91 decisions=19391, wrong=9104, backtracks=5690, failedAssignments=5416, nogoods=772, foundSolutions=12, bestBound=-972
9.48/5.91 nFilterCalls=848457, avgTableProportion=0.9972455889752745, avgTableSize=362.1090249712124
9.48/5.91
9.48/5.93 o -970
9.48/5.93 num=156, depth=10..59, filters=298189, revisions=(265443,useless=147552), ccks=639241, wck=3.571, mem=97M964
9.48/5.93 decisions=19480, wrong=9142, backtracks=5711, failedAssignments=5438, nogoods=780, foundSolutions=13, bestBound=-970
9.48/5.93 nFilterCalls=853410, avgTableProportion=0.9972455885261727, avgTableSize=362.10896286661745
9.48/5.93
9.48/5.96 num=157, depth=2..12, filters=300862, revisions=(267951,useless=148939), ccks=644277, wck=3.6, mem=97M964
9.48/5.96 decisions=19679, wrong=9240, backtracks=5774, failedAssignments=5493, nogoods=784, foundSolutions=13, bestBound=-970
9.48/5.96 nFilterCalls=860670, avgTableProportion=0.9972455916259908, avgTableSize=362.10939152055954
9.48/5.96
9.48/5.97 num=158, depth=4..7, filters=301389, revisions=(268510,useless=149250), ccks=645230, wck=3.606, mem=97M964
9.48/5.97 decisions=19712, wrong=9254, backtracks=5780, failedAssignments=5504, nogoods=788, foundSolutions=13, bestBound=-970
9.48/5.97 nFilterCalls=862054, avgTableProportion=0.9972455918323722, avgTableSize=362.1094200595322
9.48/5.97
9.48/5.97 num=159, depth=4..13, filters=301923, revisions=(269013,useless=149528), ccks=646575, wck=3.614, mem=97M964
9.48/5.97 decisions=19753, wrong=9271, backtracks=5792, failedAssignments=5516, nogoods=792, foundSolutions=13, bestBound=-970
9.48/5.97 nFilterCalls=863822, avgTableProportion=0.9972455918201969, avgTableSize=362.109418375545
9.48/5.97
9.48/5.98 num=160, depth=5..11, filters=302635, revisions=(269720,useless=149917), ccks=648062, wck=3.621, mem=97M964
9.48/5.98 decisions=19805, wrong=9294, backtracks=5807, failedAssignments=5529, nogoods=795, foundSolutions=13, bestBound=-970
9.48/5.98 nFilterCalls=865723, avgTableProportion=0.9972455912437976, avgTableSize=362.10933866837314
9.48/5.98
9.48/5.99 num=161, depth=9..13, filters=303404, revisions=(270416,useless=150325), ccks=649790, wck=3.629, mem=100M607
9.48/5.99 decisions=19858, wrong=9316, backtracks=5818, failedAssignments=5543, nogoods=802, foundSolutions=13, bestBound=-970
9.48/5.99 nFilterCalls=868104, avgTableProportion=0.9972455907328641, avgTableSize=362.1092680139707
9.48/5.99
9.48/6.00 num=162, depth=2..7, filters=304549, revisions=(271490,useless=150929), ccks=651960, wck=3.641, mem=100M607
9.48/6.00 decisions=19919, wrong=9345, backtracks=5839, failedAssignments=5559, nogoods=807, foundSolutions=13, bestBound=-970
9.48/6.00 nFilterCalls=870623, avgTableProportion=0.9972455906145377, avgTableSize=362.1092516508293
9.48/6.00
9.59/6.01 num=163, depth=4..11, filters=305380, revisions=(272312,useless=151405), ccks=653318, wck=3.652, mem=100M607
9.59/6.01 decisions=19974, wrong=9370, backtracks=5854, failedAssignments=5576, nogoods=811, foundSolutions=13, bestBound=-970
9.59/6.01 nFilterCalls=872992, avgTableProportion=0.9972455910468012, avgTableSize=362.10931142553426
9.59/6.01
9.59/6.03 num=164, depth=6..10, filters=306627, revisions=(273410,useless=151985), ccks=656170, wck=3.665, mem=100M607
9.59/6.03 decisions=20050, wrong=9405, backtracks=5878, failedAssignments=5595, nogoods=816, foundSolutions=13, bestBound=-970
9.59/6.03 nFilterCalls=876407, avgTableProportion=0.9972455896581252, avgTableSize=362.10911939315866
9.59/6.03
9.59/6.04 num=165, depth=5..11, filters=308128, revisions=(274633,useless=152661), ccks=658792, wck=3.68, mem=100M607
9.59/6.04 decisions=20130, wrong=9442, backtracks=5898, failedAssignments=5616, nogoods=822, foundSolutions=13, bestBound=-970
9.59/6.04 nFilterCalls=879926, avgTableProportion=0.9972455902910115, avgTableSize=362.1092069105811
9.59/6.04
9.59/6.06 num=166, depth=4..10, filters=309698, revisions=(276042,useless=153463), ccks=662152, wck=3.699, mem=100M607
9.59/6.06 decisions=20229, wrong=9489, backtracks=5928, failedAssignments=5639, nogoods=824, foundSolutions=13, bestBound=-970
9.59/6.06 nFilterCalls=884148, avgTableProportion=0.9972455889572461, avgTableSize=362.10902247135095
9.59/6.06
9.59/6.08 num=167, depth=3..9, filters=311413, revisions=(277567,useless=154356), ccks=665168, wck=3.717, mem=100M607
9.59/6.08 decisions=20320, wrong=9533, backtracks=5955, failedAssignments=5664, nogoods=827, foundSolutions=13, bestBound=-970
9.59/6.08 nFilterCalls=888224, avgTableProportion=0.9972455915594798, avgTableSize=362.1093823179738
9.59/6.08
9.59/6.10 num=168, depth=3..10, filters=313081, revisions=(279023,useless=155152), ccks=668345, wck=3.737, mem=100M607
9.59/6.10 decisions=20421, wrong=9581, backtracks=5986, failedAssignments=5692, nogoods=832, foundSolutions=13, bestBound=-970
9.59/6.10 nFilterCalls=892645, avgTableProportion=0.9972455903882207, avgTableSize=362.1092203507553
9.59/6.10
9.70/6.12 num=169, depth=1..12, filters=315151, revisions=(280984,useless=156329), ccks=672135, wck=3.763, mem=100M607
9.70/6.12 decisions=20539, wrong=9634, backtracks=6020, failedAssignments=5723, nogoods=836, foundSolutions=13, bestBound=-970
9.70/6.12 nFilterCalls=898549, avgTableProportion=0.9972455909609462, avgTableSize=362.1092995484943
9.70/6.12
9.70/6.15 num=170, depth=4..12, filters=317303, revisions=(282775,useless=157333), ccks=676023, wck=3.79, mem=100M607
9.70/6.15 decisions=20668, wrong=9696, backtracks=6061, failedAssignments=5757, nogoods=840, foundSolutions=13, bestBound=-970
9.70/6.15 nFilterCalls=904777, avgTableProportion=0.9972455923299407, avgTableSize=362.10948885747536
9.70/6.15
9.70/6.17 o -10
9.70/6.17 num=171, depth=1..59, filters=319098, revisions=(284518,useless=158346), ccks=679388, wck=3.814, mem=100M607
9.70/6.17 decisions=20786, wrong=9746, backtracks=6096, failedAssignments=5785, nogoods=841, foundSolutions=14, bestBound=-10
9.70/6.17 nFilterCalls=909948, avgTableProportion=0.9972455944187213, avgTableSize=362.10977770158297
9.70/6.17
9.70/6.18 o 2
9.70/6.18 num=172, depth=61..59, filters=319215, revisions=(284680,useless=158422), ccks=679834, wck=3.816, mem=100M607
9.70/6.18 decisions=20804, wrong=9746, backtracks=6096, failedAssignments=5785, nogoods=841, foundSolutions=15, bestBound=2
9.70/6.18 nFilterCalls=910353, avgTableProportion=0.9972455940258309, avgTableSize=362.10972337104397
9.70/6.18
9.70/6.18 num=173, depth=13..17, filters=319763, revisions=(285155,useless=158698), ccks=681262, wck=3.82, mem=100M607
9.70/6.18 decisions=20853, wrong=9764, backtracks=6104, failedAssignments=5796, nogoods=845, foundSolutions=15, bestBound=2
9.70/6.18 nFilterCalls=913096, avgTableProportion=0.9972455938359883, avgTableSize=362.10969711837527
9.70/6.18
9.70/6.19 num=174, depth=10..13, filters=320235, revisions=(285557,useless=158888), ccks=682699, wck=3.825, mem=100M607
9.70/6.19 decisions=20897, wrong=9781, backtracks=6113, failedAssignments=5807, nogoods=849, foundSolutions=15, bestBound=2
9.70/6.19 nFilterCalls=914765, avgTableProportion=0.9972455931080347, avgTableSize=362.109596453734
9.70/6.19
9.70/6.19 num=175, depth=13..17, filters=320841, revisions=(285990,useless=159108), ccks=684360, wck=3.83, mem=100M607
9.70/6.19 decisions=20950, wrong=9801, backtracks=6122, failedAssignments=5819, nogoods=853, foundSolutions=15, bestBound=2
9.70/6.19 nFilterCalls=917903, avgTableProportion=0.9972455918324381, avgTableSize=362.1094200585465
9.70/6.19
9.70/6.19 num=176, depth=10..15, filters=321507, revisions=(286501,useless=159339), ccks=685981, wck=3.835, mem=100M607
9.70/6.19 decisions=21004, wrong=9822, backtracks=6134, failedAssignments=5832, nogoods=855, foundSolutions=15, bestBound=2
9.70/6.19 nFilterCalls=920557, avgTableProportion=0.9972455917978703, avgTableSize=362.10941527792414
9.70/6.19
9.79/6.20 num=177, depth=9..13, filters=322290, revisions=(287177,useless=159668), ccks=688314, wck=3.842, mem=100M607
9.79/6.20 decisions=21071, wrong=9851, backtracks=6153, failedAssignments=5846, nogoods=860, foundSolutions=15, bestBound=2
9.79/6.20 nFilterCalls=923003, avgTableProportion=0.997245591064308, avgTableSize=362.10931383754985
9.79/6.20
9.79/6.21 num=178, depth=11..15, filters=323268, revisions=(287934,useless=160048), ccks=690872, wck=3.85, mem=100M607
9.79/6.21 decisions=21150, wrong=9885, backtracks=6174, failedAssignments=5862, nogoods=866, foundSolutions=15, bestBound=2
9.79/6.21 nFilterCalls=926378, avgTableProportion=0.9972455908774769, avgTableSize=362.1092880012263
9.79/6.21
9.79/6.22 num=179, depth=8..14, filters=324033, revisions=(288570,useless=160362), ccks=693011, wck=3.858, mem=103M249
9.79/6.22 decisions=21219, wrong=9915, backtracks=6194, failedAssignments=5879, nogoods=872, foundSolutions=15, bestBound=2
9.79/6.22 nFilterCalls=929107, avgTableProportion=0.9972455925333951, avgTableSize=362.10951698781736
9.79/6.22
9.79/6.22 num=180, depth=10..14, filters=324832, revisions=(289286,useless=160707), ccks=695376, wck=3.864, mem=103M249
9.79/6.22 decisions=21292, wrong=9946, backtracks=6212, failedAssignments=5898, nogoods=875, foundSolutions=15, bestBound=2
9.79/6.22 nFilterCalls=931392, avgTableProportion=0.9972455922597391, avgTableSize=362.1094791451934
9.79/6.22
9.79/6.23 num=181, depth=9..15, filters=325977, revisions=(290199,useless=161165), ccks=698381, wck=3.873, mem=103M249
9.79/6.23 decisions=21373, wrong=9982, backtracks=6236, failedAssignments=5919, nogoods=877, foundSolutions=15, bestBound=2
9.79/6.23 nFilterCalls=934854, avgTableProportion=0.9972455933348373, avgTableSize=362.10962781354095
9.79/6.23
9.79/6.24 num=182, depth=9..15, filters=326892, revisions=(290989,useless=161571), ccks=700866, wck=3.882, mem=103M249
9.79/6.24 decisions=21459, wrong=10020, backtracks=6255, failedAssignments=5942, nogoods=880, foundSolutions=15, bestBound=2
9.79/6.24 nFilterCalls=938141, avgTableProportion=0.9972455938948768, avgTableSize=362.10970525752526
9.79/6.24
9.79/6.25 num=183, depth=10..17, filters=328543, revisions=(292126,useless=162195), ccks=704629, wck=3.893, mem=103M249
9.79/6.25 decisions=21571, wrong=10071, backtracks=6286, failedAssignments=5967, nogoods=882, foundSolutions=15, bestBound=2
9.79/6.25 nFilterCalls=944656, avgTableProportion=0.9972456008631487, avgTableSize=362.1106688572348
9.79/6.25
9.79/6.26 num=184, depth=9..13, filters=329833, revisions=(293162,useless=162717), ccks=708280, wck=3.904, mem=103M249
9.79/6.26 decisions=21682, wrong=10121, backtracks=6315, failedAssignments=5995, nogoods=889, foundSolutions=15, bestBound=2
9.79/6.26 nFilterCalls=949280, avgTableProportion=0.9972456005909462, avgTableSize=362.1106312152368
9.79/6.26
9.79/6.28 num=185, depth=8..13, filters=331494, revisions=(294379,useless=163361), ccks=712295, wck=3.921, mem=103M249
9.79/6.28 decisions=21792, wrong=10172, backtracks=6345, failedAssignments=6026, nogoods=897, foundSolutions=15, bestBound=2
9.79/6.28 nFilterCalls=955242, avgTableProportion=0.9972456040613167, avgTableSize=362.1111111111111
9.79/6.28
9.79/6.29 num=186, depth=7..15, filters=333016, revisions=(295647,useless=163945), ccks=716274, wck=3.934, mem=103M249
9.79/6.29 decisions=21914, wrong=10228, backtracks=6382, failedAssignments=6060, nogoods=903, foundSolutions=15, bestBound=2
9.79/6.29 nFilterCalls=960369, avgTableProportion=0.9972456061947972, avgTableSize=362.11140613659956
9.79/6.29
9.90/6.31 o 10
9.90/6.31 num=187, depth=8..59, filters=334460, revisions=(296782,useless=164563), ccks=719472, wck=3.947, mem=103M249
9.90/6.31 decisions=22016, wrong=10273, backtracks=6409, failedAssignments=6084, nogoods=907, foundSolutions=16, bestBound=10
9.90/6.31 nFilterCalls=965621, avgTableProportion=0.9972456080138327, avgTableSize=362.1116576793587
9.90/6.31
9.90/6.31 o 11
9.90/6.31 num=188, depth=9..59, filters=334836, revisions=(297173,useless=164782), ccks=720440, wck=3.951, mem=103M249
9.90/6.31 decisions=22050, wrong=10284, backtracks=6414, failedAssignments=6090, nogoods=911, foundSolutions=17, bestBound=11
9.90/6.31 nFilterCalls=966977, avgTableProportion=0.9972456081080042, avgTableSize=362.1116707015782
9.90/6.31
9.90/6.32 num=189, depth=8..13, filters=335430, revisions=(297752,useless=165120), ccks=721771, wck=3.958, mem=103M249
9.90/6.32 decisions=22100, wrong=10304, backtracks=6427, failedAssignments=6101, nogoods=914, foundSolutions=17, bestBound=11
9.90/6.32 nFilterCalls=969023, avgTableProportion=0.9972456078507069, avgTableSize=362.1116351211478
9.90/6.32
9.90/6.32 num=190, depth=7..12, filters=335913, revisions=(298175,useless=165324), ccks=722970, wck=3.963, mem=103M249
9.90/6.32 decisions=22140, wrong=10320, backtracks=6438, failedAssignments=6112, nogoods=919, foundSolutions=17, bestBound=11
9.90/6.32 nFilterCalls=970568, avgTableProportion=0.9972456077204968, avgTableSize=362.1116171149265
9.90/6.32
9.90/6.33 num=191, depth=7..14, filters=336546, revisions=(298732,useless=165617), ccks=724405, wck=3.969, mem=103M249
9.90/6.33 decisions=22187, wrong=10340, backtracks=6452, failedAssignments=6124, nogoods=920, foundSolutions=17, bestBound=11
9.90/6.33 nFilterCalls=972320, avgTableProportion=0.9972456081105644, avgTableSize=362.1116710547968
9.90/6.33
9.90/6.34 num=192, depth=10..15, filters=337204, revisions=(299257,useless=165895), ccks=726049, wck=3.975, mem=103M249
9.90/6.34 decisions=22236, wrong=10359, backtracks=6462, failedAssignments=6137, nogoods=922, foundSolutions=17, bestBound=11
9.90/6.34 nFilterCalls=975001, avgTableProportion=0.9972456067726306, avgTableSize=362.1114860395015
9.90/6.34
9.90/6.34 num=193, depth=6..11, filters=337880, revisions=(299864,useless=166207), ccks=727580, wck=3.982, mem=103M249
9.90/6.34 decisions=22282, wrong=10379, backtracks=6474, failedAssignments=6151, nogoods=923, foundSolutions=17, bestBound=11
9.90/6.34 nFilterCalls=976710, avgTableProportion=0.9972456078126651, avgTableSize=362.11162985942605
9.90/6.34
9.90/6.35 num=194, depth=7..12, filters=338762, revisions=(300644,useless=166608), ccks=729943, wck=3.99, mem=103M249
9.90/6.35 decisions=22354, wrong=10411, backtracks=6497, failedAssignments=6167, nogoods=928, foundSolutions=17, bestBound=11
9.90/6.35 nFilterCalls=979348, avgTableProportion=0.9972456072774799, avgTableSize=362.111555851444
9.90/6.35
9.90/6.36 num=195, depth=9..13, filters=339497, revisions=(301232,useless=166905), ccks=732216, wck=3.999, mem=103M249
9.90/6.36 decisions=22417, wrong=10437, backtracks=6513, failedAssignments=6184, nogoods=934, foundSolutions=17, bestBound=11
9.90/6.36 nFilterCalls=982761, avgTableProportion=0.9972456064405447, avgTableSize=362.1114401161625
9.90/6.36
9.90/6.37 num=196, depth=5..12, filters=340615, revisions=(302224,useless=167331), ccks=734347, wck=4.008, mem=103M249
9.90/6.37 decisions=22502, wrong=10477, backtracks=6543, failedAssignments=6203, nogoods=935, foundSolutions=17, bestBound=11
9.90/6.37 nFilterCalls=986680, avgTableProportion=0.9972456067649809, avgTableSize=362.1114849799327
9.90/6.37
9.90/6.38 num=197, depth=6..11, filters=341538, revisions=(303094,useless=167785), ccks=736789, wck=4.017, mem=103M249
9.90/6.38 decisions=22583, wrong=10513, backtracks=6565, failedAssignments=6224, nogoods=940, foundSolutions=17, bestBound=11
9.90/6.38 nFilterCalls=989101, avgTableProportion=0.9972456066852541, avgTableSize=362.11147395463155
9.90/6.38
9.90/6.39 num=198, depth=9..14, filters=342700, revisions=(303908,useless=168212), ccks=739393, wck=4.029, mem=105M892
9.90/6.39 decisions=22663, wrong=10548, backtracks=6585, failedAssignments=6247, nogoods=945, foundSolutions=17, bestBound=11
9.90/6.39 nFilterCalls=993767, avgTableProportion=0.9972456056218386, avgTableSize=362.11132690057127
9.90/6.39
10.00/6.40 o 18
10.00/6.40 num=199, depth=6..59, filters=343956, revisions=(304984,useless=168747), ccks=742276, wck=4.041, mem=105M892
10.00/6.40 decisions=22760, wrong=10591, backtracks=6612, failedAssignments=6269, nogoods=946, foundSolutions=18, bestBound=18
10.00/6.40 nFilterCalls=997247, avgTableProportion=0.9972456062931994, avgTableSize=362.1114197385402
10.00/6.40
10.00/6.41 num=200, depth=6..16, filters=345503, revisions=(306319,useless=169417), ccks=745504, wck=4.055, mem=105M892
10.00/6.41 decisions=22869, wrong=10641, backtracks=6646, failedAssignments=6297, nogoods=954, foundSolutions=18, bestBound=18
10.00/6.41 nFilterCalls=1002059, avgTableProportion=0.9972456076777027, avgTableSize=362.1116111925545
10.00/6.41
10.00/6.42 num=201, depth=6..11, filters=345998, revisions=(306785,useless=169641), ccks=746929, wck=4.061, mem=105M892
10.00/6.42 decisions=22912, wrong=10659, backtracks=6657, failedAssignments=6308, nogoods=959, foundSolutions=18, bestBound=18
10.00/6.42 nFilterCalls=1003647, avgTableProportion=0.9972456067753334, avgTableSize=362.1114864090661
10.00/6.42
10.00/6.43 num=202, depth=7..11, filters=346440, revisions=(307196,useless=169854), ccks=748051, wck=4.067, mem=105M892
10.00/6.43 decisions=22958, wrong=10678, backtracks=6667, failedAssignments=6320, nogoods=962, foundSolutions=18, bestBound=18
10.00/6.43 nFilterCalls=1005474, avgTableProportion=0.9972456058354279, avgTableSize=362.1113564348755
10.00/6.43
10.00/6.43 num=203, depth=6..11, filters=347034, revisions=(307719,useless=170110), ccks=749507, wck=4.074, mem=105M892
10.00/6.43 decisions=23007, wrong=10699, backtracks=6684, failedAssignments=6333, nogoods=967, foundSolutions=18, bestBound=18
10.00/6.43 nFilterCalls=1007465, avgTableProportion=0.9972456050264029, avgTableSize=362.11124455936437
10.00/6.43
10.00/6.44 num=204, depth=6..9, filters=347757, revisions=(308372,useless=170418), ccks=751101, wck=4.081, mem=105M892
10.00/6.44 decisions=23059, wrong=10722, backtracks=6698, failedAssignments=6347, nogoods=973, foundSolutions=18, bestBound=18
10.00/6.44 nFilterCalls=1009648, avgTableProportion=0.9972456055575188, avgTableSize=362.11131800389836
10.00/6.44
10.00/6.45 num=205, depth=6..12, filters=348679, revisions=(309152,useless=170818), ccks=753566, wck=4.09, mem=105M892
10.00/6.45 decisions=23127, wrong=10753, backtracks=6719, failedAssignments=6363, nogoods=975, foundSolutions=18, bestBound=18
10.00/6.45 nFilterCalls=1012443, avgTableProportion=0.9972456046565961, avgTableSize=362.11119342027155
10.00/6.45
10.00/6.46 num=206, depth=4..13, filters=349432, revisions=(309835,useless=171164), ccks=755460, wck=4.098, mem=105M892
10.00/6.46 decisions=23188, wrong=10779, backtracks=6737, failedAssignments=6380, nogoods=979, foundSolutions=18, bestBound=18
10.00/6.46 nFilterCalls=1015110, avgTableProportion=0.9972456054861509, avgTableSize=362.11130813409386
10.00/6.46
10.00/6.47 num=207, depth=5..10, filters=350446, revisions=(310753,useless=171600), ccks=757829, wck=4.108, mem=105M892
10.00/6.47 decisions=23263, wrong=10814, backtracks=6756, failedAssignments=6399, nogoods=981, foundSolutions=18, bestBound=18
10.00/6.47 nFilterCalls=1017787, avgTableProportion=0.9972456049534698, avgTableSize=362.11123447243875
10.00/6.47
10.00/6.48 num=208, depth=8..14, filters=351308, revisions=(311511,useless=171983), ccks=760088, wck=4.116, mem=105M892
10.00/6.48 decisions=23340, wrong=10848, backtracks=6775, failedAssignments=6420, nogoods=984, foundSolutions=18, bestBound=18
10.00/6.48 nFilterCalls=1020452, avgTableProportion=0.997245605935387, avgTableSize=362.1113702555338
10.00/6.48
10.00/6.49 num=209, depth=6..12, filters=352366, revisions=(312470,useless=172458), ccks=762796, wck=4.126, mem=105M892
10.00/6.49 decisions=23420, wrong=10885, backtracks=6797, failedAssignments=6443, nogoods=986, foundSolutions=18, bestBound=18
10.00/6.49 nFilterCalls=1023288, avgTableProportion=0.997245605568998, avgTableSize=362.111319589402
10.00/6.49
10.00/6.50 num=210, depth=6..14, filters=353448, revisions=(313428,useless=172946), ccks=765731, wck=4.135, mem=105M892
10.00/6.50 decisions=23511, wrong=10926, backtracks=6817, failedAssignments=6468, nogoods=995, foundSolutions=18, bestBound=18
10.00/6.50 nFilterCalls=1026505, avgTableProportion=0.9972456057443095, avgTableSize=362.11134383173976
10.00/6.50
10.11/6.51 num=211, depth=6..11, filters=354975, revisions=(314803,useless=173697), ccks=769650, wck=4.15, mem=105M892
10.11/6.51 decisions=23616, wrong=10975, backtracks=6852, failedAssignments=6496, nogoods=1004, foundSolutions=18, bestBound=18
10.11/6.51 nFilterCalls=1030789, avgTableProportion=0.9972456070001081, avgTableSize=362.11151748806014
10.11/6.51
10.11/6.53 num=212, depth=7..13, filters=356530, revisions=(316051,useless=174327), ccks=773739, wck=4.168, mem=105M892
10.11/6.53 decisions=23737, wrong=11032, backtracks=6885, failedAssignments=6527, nogoods=1007, foundSolutions=18, bestBound=18
10.11/6.53 nFilterCalls=1036464, avgTableProportion=0.9972456047125958, avgTableSize=362.11120116087005
10.11/6.53
10.11/6.55 num=213, depth=6..12, filters=358327, revisions=(317588,useless=175162), ccks=777299, wck=4.185, mem=105M892
10.11/6.55 decisions=23857, wrong=11089, backtracks=6921, failedAssignments=6561, nogoods=1013, foundSolutions=18, bestBound=18
10.11/6.55 nFilterCalls=1041516, avgTableProportion=0.9972456061443777, avgTableSize=362.11139915277346
10.11/6.55
10.11/6.56 num=214, depth=7..12, filters=359965, revisions=(318988,useless=175888), ccks=781557, wck=4.2, mem=105M892
10.11/6.56 decisions=23984, wrong=11148, backtracks=6955, failedAssignments=6598, nogoods=1018, foundSolutions=18, bestBound=18
10.11/6.56 nFilterCalls=1046428, avgTableProportion=0.9972456060117488, avgTableSize=362.11138081167553
10.11/6.56
10.11/6.58 num=215, depth=4..15, filters=361900, revisions=(320728,useless=176739), ccks=786363, wck=4.22, mem=105M892
10.11/6.58 decisions=24135, wrong=11221, backtracks=7000, failedAssignments=6639, nogoods=1023, foundSolutions=18, bestBound=18
10.11/6.58 nFilterCalls=1051850, avgTableProportion=0.997245605283603, avgTableSize=362.1112801254932
10.11/6.58
10.21/6.60 num=216, depth=6..13, filters=364041, revisions=(322492,useless=177661), ccks=791880, wck=4.242, mem=108M534
10.21/6.60 decisions=24293, wrong=11296, backtracks=7047, failedAssignments=6684, nogoods=1026, foundSolutions=18, bestBound=18
10.21/6.60 nFilterCalls=1058317, avgTableProportion=0.9972456078340541, avgTableSize=362.11163290394086
10.21/6.60
10.21/6.63 num=217, depth=5..9, filters=366804, revisions=(325077,useless=179032), ccks=798849, wck=4.269, mem=108M534
10.21/6.63 decisions=24475, wrong=11384, backtracks=7103, failedAssignments=6734, nogoods=1034, foundSolutions=18, bestBound=18
10.21/6.63 nFilterCalls=1065652, avgTableProportion=0.9972456093681132, avgTableSize=362.111845142692
10.21/6.63
10.21/6.66 num=218, depth=3..11, filters=369483, revisions=(327593,useless=180295), ccks=805744, wck=4.3, mem=108M534
10.21/6.66 decisions=24667, wrong=11478, backtracks=7161, failedAssignments=6789, nogoods=1039, foundSolutions=18, bestBound=18
10.21/6.66 nFilterCalls=1073137, avgTableProportion=0.9972456085441634, avgTableSize=362.1117313073727
10.21/6.66
10.21/6.69 num=219, depth=4..10, filters=372456, revisions=(330299,useless=181696), ccks=813572, wck=4.331, mem=108M534
10.21/6.69 decisions=24882, wrong=11583, backtracks=7225, failedAssignments=6850, nogoods=1046, foundSolutions=18, bestBound=18
10.21/6.69 nFilterCalls=1081456, avgTableProportion=0.9972456076841347, avgTableSize=362.1116124927875
10.21/6.69
10.31/6.74 num=220, depth=5..12, filters=376258, revisions=(333257,useless=183321), ccks=822807, wck=4.38, mem=108M534
10.31/6.74 decisions=25126, wrong=11701, backtracks=7301, failedAssignments=6917, nogoods=1051, foundSolutions=18, bestBound=18
10.31/6.74 nFilterCalls=1095475, avgTableProportion=0.9972456139955788, avgTableSize=362.1124854515165
10.31/6.74
10.31/6.79 num=221, depth=4..13, filters=380787, revisions=(337031,useless=185381), ccks=833403, wck=4.433, mem=108M534
10.31/6.79 decisions=25421, wrong=11845, backtracks=7402, failedAssignments=6991, nogoods=1057, foundSolutions=18, bestBound=18
10.31/6.79 nFilterCalls=1111270, avgTableProportion=0.997245611314938, avgTableSize=362.11211496755965
10.31/6.79
10.41/6.85 num=222, depth=3..13, filters=384712, revisions=(340239,useless=187077), ccks=842161, wck=4.487, mem=108M534
10.41/6.85 decisions=25686, wrong=11976, backtracks=7490, failedAssignments=7072, nogoods=1060, foundSolutions=18, bestBound=18
10.41/6.85 nFilterCalls=1124679, avgTableProportion=0.997245612777463, avgTableSize=362.1123173812261
10.41/6.85
10.52/6.90 num=223, depth=3..10, filters=389777, revisions=(344871,useless=189435), ccks=854600, wck=4.54, mem=111M176
10.52/6.90 decisions=26052, wrong=12157, backtracks=7606, failedAssignments=7161, nogoods=1066, foundSolutions=18, bestBound=18
10.52/6.90 nFilterCalls=1138263, avgTableProportion=0.9972456156369256, avgTableSize=362.11271296703836
10.52/6.90
10.52/6.96 num=224, depth=5..13, filters=394610, revisions=(348897,useless=191658), ccks=866225, wck=4.599, mem=111M176
10.52/6.96 decisions=26376, wrong=12316, backtracks=7712, failedAssignments=7259, nogoods=1072, foundSolutions=18, bestBound=18
10.52/6.96 nFilterCalls=1154110, avgTableProportion=0.997245621944253, avgTableSize=362.1135853601476
10.52/6.96
10.63/7.01 num=225, depth=4..12, filters=400057, revisions=(353796,useless=194150), ccks=878564, wck=4.651, mem=111M176
10.63/7.01 decisions=26756, wrong=12503, backtracks=7830, failedAssignments=7367, nogoods=1077, foundSolutions=18, bestBound=18
10.63/7.01 nFilterCalls=1168250, avgTableProportion=0.997245620295904, avgTableSize=362.1133575861331
10.63/7.01
10.63/7.07 num=226, depth=5..14, filters=405697, revisions=(358238,useless=196648), ccks=891376, wck=4.714, mem=111M176
10.63/7.07 decisions=27157, wrong=12700, backtracks=7952, failedAssignments=7486, nogoods=1085, foundSolutions=18, bestBound=18
10.63/7.07 nFilterCalls=1187241, avgTableProportion=0.9972456279460229, avgTableSize=362.1144156915066
10.63/7.07
10.73/7.16 o 20
10.73/7.16 num=227, depth=2..59, filters=411763, revisions=(363651,useless=199537), ccks=907330, wck=4.796, mem=111M176
10.73/7.16 decisions=27582, wrong=12908, backtracks=8089, failedAssignments=7601, nogoods=1096, foundSolutions=19, bestBound=20
10.73/7.16 nFilterCalls=1208138, avgTableProportion=0.9972456259813894, avgTableSize=362.11414424511105
10.73/7.16
10.83/7.23 num=228, depth=4..12, filters=418773, revisions=(369999,useless=202974), ccks=924332, wck=4.871, mem=113M819
10.83/7.23 decisions=28071, wrong=13150, backtracks=8239, failedAssignments=7745, nogoods=1109, foundSolutions=19, bestBound=20
10.83/7.23 nFilterCalls=1227527, avgTableProportion=0.9972456300910464, avgTableSize=362.1147127517358
10.83/7.23
10.83/7.24 num=229, depth=6..12, filters=419267, revisions=(370439,useless=203180), ccks=925595, wck=4.877, mem=113M819
10.83/7.24 decisions=28109, wrong=13166, backtracks=8249, failedAssignments=7756, nogoods=1111, foundSolutions=19, bestBound=20
10.83/7.24 nFilterCalls=1228996, avgTableProportion=0.9972456295171613, avgTableSize=362.1146334080827
10.83/7.24
10.83/7.25 num=230, depth=6..13, filters=419885, revisions=(370938,useless=203446), ccks=927123, wck=4.886, mem=113M819
10.83/7.25 decisions=28153, wrong=13184, backtracks=8260, failedAssignments=7768, nogoods=1114, foundSolutions=19, bestBound=20
10.83/7.25 nFilterCalls=1231298, avgTableProportion=0.9972456315967225, avgTableSize=362.1149210020645
10.83/7.25
10.83/7.25 num=231, depth=7..14, filters=420616, revisions=(371527,useless=203751), ccks=928824, wck=4.892, mem=113M819
10.83/7.25 decisions=28206, wrong=13207, backtracks=8274, failedAssignments=7781, nogoods=1115, foundSolutions=19, bestBound=20
10.83/7.25 nFilterCalls=1233428, avgTableProportion=0.9972456310408635, avgTableSize=362.1148441579079
10.83/7.25
10.83/7.26 num=232, depth=5..11, filters=421456, revisions=(372252,useless=204169), ccks=930741, wck=4.901, mem=113M819
10.83/7.26 decisions=28264, wrong=13233, backtracks=8291, failedAssignments=7795, nogoods=1118, foundSolutions=19, bestBound=20
10.83/7.26 nFilterCalls=1235781, avgTableProportion=0.997245633011395, avgTableSize=362.11511667520375
10.83/7.26
10.83/7.27 num=233, depth=5..10, filters=422136, revisions=(372899,useless=204497), ccks=932420, wck=4.909, mem=113M819
10.83/7.27 decisions=28318, wrong=13256, backtracks=8303, failedAssignments=7811, nogoods=1122, foundSolutions=19, bestBound=20
10.83/7.27 nFilterCalls=1237646, avgTableProportion=0.9972456328961925, avgTableSize=362.11510076386946
10.83/7.27
10.83/7.28 num=234, depth=4..11, filters=422918, revisions=(373647,useless=204869), ccks=934311, wck=4.917, mem=113M819
10.83/7.28 decisions=28380, wrong=13284, backtracks=8321, failedAssignments=7828, nogoods=1124, foundSolutions=19, bestBound=20
10.83/7.28 nFilterCalls=1239618, avgTableProportion=0.9972456332520222, avgTableSize=362.1151499897549
10.83/7.28
10.83/7.28 num=235, depth=3..7, filters=423757, revisions=(374407,useless=205243), ccks=936009, wck=4.924, mem=113M819
10.83/7.28 decisions=28437, wrong=13311, backtracks=8335, failedAssignments=7847, nogoods=1125, foundSolutions=19, bestBound=20
10.83/7.28 nFilterCalls=1242215, avgTableProportion=0.9972456328091392, avgTableSize=362.11508877287747
10.83/7.28
10.83/7.30 num=236, depth=4..11, filters=424738, revisions=(375250,useless=205708), ccks=937885, wck=4.935, mem=113M819
10.83/7.30 decisions=28516, wrong=13348, backtracks=8360, failedAssignments=7868, nogoods=1128, foundSolutions=19, bestBound=20
10.83/7.30 nFilterCalls=1245551, avgTableProportion=0.9972456344349045, avgTableSize=362.1153136242514
10.83/7.30
10.93/7.32 num=237, depth=5..12, filters=426670, revisions=(376420,useless=206396), ccks=941132, wck=4.959, mem=113M819
10.93/7.32 decisions=28610, wrong=13392, backtracks=8392, failedAssignments=7891, nogoods=1130, foundSolutions=19, bestBound=20
10.93/7.32 nFilterCalls=1252730, avgTableProportion=0.9972456397056974, avgTableSize=362.1160425630423
10.93/7.32
10.93/7.33 num=238, depth=5..11, filters=427757, revisions=(377506,useless=206966), ccks=943848, wck=4.971, mem=113M819
10.93/7.33 decisions=28703, wrong=13435, backtracks=8419, failedAssignments=7916, nogoods=1139, foundSolutions=19, bestBound=20
10.93/7.33 nFilterCalls=1255752, avgTableProportion=0.9972456399779753, avgTableSize=362.11608024514396
10.93/7.33
10.93/7.35 num=239, depth=2..9, filters=429559, revisions=(379013,useless=207793), ccks=947265, wck=4.994, mem=113M819
10.93/7.35 decisions=28812, wrong=13488, backtracks=8452, failedAssignments=7944, nogoods=1142, foundSolutions=19, bestBound=20
10.93/7.35 nFilterCalls=1261701, avgTableProportion=0.9972456419287851, avgTableSize=362.1163500702623
10.93/7.35
10.93/7.37 num=240, depth=6..11, filters=431485, revisions=(380624,useless=208656), ccks=951663, wck=5.013, mem=113M819
10.93/7.37 decisions=28934, wrong=13546, backtracks=8487, failedAssignments=7975, nogoods=1147, foundSolutions=19, bestBound=20
10.93/7.37 nFilterCalls=1267502, avgTableProportion=0.9972456442336206, avgTableSize=362.1166688494377
10.93/7.37
10.93/7.39 num=241, depth=4..12, filters=433144, revisions=(382082,useless=209403), ccks=955637, wck=5.033, mem=113M819
10.93/7.39 decisions=29048, wrong=13600, backtracks=8520, failedAssignments=8009, nogoods=1150, foundSolutions=19, bestBound=20
10.93/7.39 nFilterCalls=1273398, avgTableProportion=0.9972456439840146, avgTableSize=362.1166343908189
10.93/7.39
11.03/7.42 num=242, depth=6..13, filters=435082, revisions=(383719,useless=210256), ccks=960345, wck=5.055, mem=113M819
11.03/7.42 decisions=29192, wrong=13669, backtracks=8566, failedAssignments=8046, nogoods=1155, foundSolutions=19, bestBound=20
11.03/7.42 nFilterCalls=1279817, avgTableProportion=0.997245643601165, avgTableSize=362.11658151126295
11.03/7.42
11.03/7.45 num=243, depth=2..7, filters=437236, revisions=(385682,useless=211315), ccks=965531, wck=5.086, mem=116M461
11.03/7.45 decisions=29359, wrong=13751, backtracks=8618, failedAssignments=8087, nogoods=1160, foundSolutions=19, bestBound=20
11.03/7.45 nFilterCalls=1287112, avgTableProportion=0.9972456437947049, avgTableSize=362.11660834488373
11.03/7.45
11.03/7.47 num=244, depth=4..13, filters=439426, revisions=(387465,useless=212251), ccks=970367, wck=5.11, mem=116M461
11.03/7.47 decisions=29512, wrong=13824, backtracks=8665, failedAssignments=8132, nogoods=1169, foundSolutions=19, bestBound=20
11.03/7.47 nFilterCalls=1294469, avgTableProportion=0.9972456485153852, avgTableSize=362.1172612090363
11.03/7.47
11.13/7.50 num=245, depth=5..11, filters=442155, revisions=(389650,useless=213467), ccks=976136, wck=5.142, mem=116M461
11.13/7.50 decisions=29669, wrong=13900, backtracks=8714, failedAssignments=8182, nogoods=1179, foundSolutions=19, bestBound=20
11.13/7.50 nFilterCalls=1303666, avgTableProportion=0.9972456494275203, avgTableSize=362.1173874289887
11.13/7.50
11.13/7.53 num=246, depth=6..13, filters=444765, revisions=(391792,useless=214613), ccks=982567, wck=5.169, mem=116M461
11.13/7.53 decisions=29857, wrong=13990, backtracks=8768, failedAssignments=8237, nogoods=1185, foundSolutions=19, bestBound=20
11.13/7.53 nFilterCalls=1312032, avgTableProportion=0.997245651146255, avgTableSize=362.11762517987364
11.13/7.53
11.13/7.57 num=247, depth=3..11, filters=448139, revisions=(394758,useless=216208), ccks=989531, wck=5.207, mem=116M461
11.13/7.57 decisions=30069, wrong=14094, backtracks=8837, failedAssignments=8298, nogoods=1188, foundSolutions=19, bestBound=20
11.13/7.57 nFilterCalls=1322306, avgTableProportion=0.9972456506944994, avgTableSize=362.11756280316354
11.13/7.57
11.24/7.60 num=248, depth=2..11, filters=451586, revisions=(397672,useless=217607), ccks=996333, wck=5.243, mem=116M461
11.24/7.60 decisions=30315, wrong=14216, backtracks=8920, failedAssignments=8365, nogoods=1192, foundSolutions=19, bestBound=20
11.24/7.60 nFilterCalls=1333880, avgTableProportion=0.9972456509394896, avgTableSize=362.117596785318
11.24/7.60
11.24/7.65 num=249, depth=4..12, filters=455984, revisions=(401069,useless=219541), ccks=1004969, wck=5.288, mem=116M461
11.24/7.65 decisions=30571, wrong=14342, backtracks=9005, failedAssignments=8439, nogoods=1196, foundSolutions=19, bestBound=20
11.24/7.65 nFilterCalls=1348106, avgTableProportion=0.9972456542701115, avgTableSize=362.1180574821268
11.24/7.65
11.34/7.70 num=250, depth=2..13, filters=460445, revisions=(404723,useless=221655), ccks=1014724, wck=5.344, mem=116M461
11.34/7.70 decisions=30857, wrong=14483, backtracks=9087, failedAssignments=8520, nogoods=1205, foundSolutions=19, bestBound=20
11.34/7.70 nFilterCalls=1364396, avgTableProportion=0.9972456564254275, avgTableSize=362.11835566800255
11.34/7.70
11.34/7.76 num=251, depth=4..12, filters=465447, revisions=(408709,useless=223824), ccks=1026045, wck=5.404, mem=119M104
11.34/7.76 decisions=31178, wrong=14641, backtracks=9191, failedAssignments=8609, nogoods=1215, foundSolutions=19, bestBound=20
11.34/7.76 nFilterCalls=1381816, avgTableProportion=0.9972456666725067, avgTableSize=362.1197728206939
11.34/7.76
11.44/7.82 num=252, depth=4..11, filters=470700, revisions=(413034,useless=226238), ccks=1037578, wck=5.461, mem=119M104
11.44/7.82 decisions=31533, wrong=14816, backtracks=9319, failedAssignments=8707, nogoods=1229, foundSolutions=19, bestBound=20
11.44/7.82 nFilterCalls=1397123, avgTableProportion=0.9972456645993245, avgTableSize=362.11948625854706
11.44/7.82
11.44/7.89 num=253, depth=3..10, filters=476447, revisions=(418137,useless=228967), ccks=1050579, wck=5.528, mem=119M104
11.44/7.89 decisions=31912, wrong=15004, backtracks=9435, failedAssignments=8815, nogoods=1242, foundSolutions=19, bestBound=20
11.44/7.89 nFilterCalls=1412838, avgTableProportion=0.9972456626906413, avgTableSize=362.1192224444699
11.44/7.89
11.54/7.95 num=254, depth=3..11, filters=481957, revisions=(423320,useless=231692), ccks=1064367, wck=5.586, mem=119M104
11.54/7.95 decisions=32333, wrong=15212, backtracks=9573, failedAssignments=8934, nogoods=1251, foundSolutions=19, bestBound=20
11.54/7.95 nFilterCalls=1427335, avgTableProportion=0.9972456602307338, avgTableSize=362.1188823927109
11.54/7.95
11.65/8.03 num=255, depth=3..13, filters=488980, revisions=(429545,useless=235048), ccks=1080889, wck=5.672, mem=121M746
11.65/8.03 decisions=32817, wrong=15451, backtracks=9720, failedAssignments=9065, nogoods=1261, foundSolutions=19, bestBound=20
11.65/8.03 nFilterCalls=1448344, avgTableProportion=0.9972456597971797, avgTableSize=362.11882260015574
11.65/8.03
11.75/8.13 num=256, depth=2..10, filters=497124, revisions=(436821,useless=239155), ccks=1100707, wck=5.77, mem=121M746
11.75/8.13 decisions=33312, wrong=15697, backtracks=9885, failedAssignments=9209, nogoods=1269, foundSolutions=19, bestBound=20
11.75/8.13 nFilterCalls=1472395, avgTableProportion=0.9972456581810126, avgTableSize=362.11859928891363
11.75/8.13
11.85/8.22 num=257, depth=2..10, filters=506469, revisions=(445127,useless=243762), ccks=1121432, wck=5.863, mem=121M746
11.85/8.22 decisions=33908, wrong=15993, backtracks=10067, failedAssignments=9367, nogoods=1279, foundSolutions=19, bestBound=20
11.85/8.22 nFilterCalls=1494724, avgTableProportion=0.9972456568387351, avgTableSize=362.1184138342597
11.85/8.22
11.95/8.35 num=258, depth=1..12, filters=516218, revisions=(453450,useless=248399), ccks=1145092, wck=5.991, mem=124M389
11.95/8.35 decisions=34525, wrong=16299, backtracks=10275, failedAssignments=9541, nogoods=1296, foundSolutions=19, bestBound=20
11.95/8.35 nFilterCalls=1525679, avgTableProportion=0.9972456586359542, avgTableSize=362.1186625758105
11.95/8.35
12.05/8.48 num=259, depth=3..11, filters=527543, revisions=(462320,useless=253217), ccks=1170352, wck=6.119, mem=124M389
12.05/8.48 decisions=35209, wrong=16639, backtracks=10512, failedAssignments=9732, nogoods=1308, foundSolutions=19, bestBound=20
12.05/8.48 nFilterCalls=1559792, avgTableProportion=0.9972456681805303, avgTableSize=362.11998266435523
12.05/8.48
12.26/8.62 num=260, depth=3..11, filters=539043, revisions=(472029,useless=258930), ccks=1194158, wck=6.261, mem=124M389
12.26/8.62 decisions=35964, wrong=17014, backtracks=10764, failedAssignments=9943, nogoods=1311, foundSolutions=19, bestBound=20
12.26/8.62 nFilterCalls=1598504, avgTableProportion=0.9972456786888549, avgTableSize=362.12143604269994
12.26/8.62
12.36/8.77 num=261, depth=2..11, filters=551661, revisions=(483064,useless=265031), ccks=1222810, wck=6.408, mem=127M31
12.36/8.77 decisions=36814, wrong=17437, backtracks=11049, failedAssignments=10175, nogoods=1324, foundSolutions=19, bestBound=20
12.36/8.77 nFilterCalls=1635082, avgTableProportion=0.9972456864717238, avgTableSize=362.1225125100759
12.36/8.77
12.56/8.94 num=262, depth=3..13, filters=565570, revisions=(493709,useless=270868), ccks=1255491, wck=6.58, mem=127M31
12.56/8.94 decisions=37717, wrong=17887, backtracks=11356, failedAssignments=10430, nogoods=1327, foundSolutions=19, bestBound=20
12.56/8.94 nFilterCalls=1681022, avgTableProportion=0.9972456909083479, avgTableSize=362.1231262886506
12.56/8.94
12.77/9.11 num=263, depth=2..11, filters=580389, revisions=(506973,useless=278306), ccks=1289630, wck=6.746, mem=129M673
12.77/9.11 decisions=38675, wrong=18364, backtracks=11656, failedAssignments=10711, nogoods=1330, foundSolutions=19, bestBound=20
12.77/9.11 nFilterCalls=1720662, avgTableProportion=0.9972456930050972, avgTableSize=362.1234164525049
12.77/9.11
12.96/9.32 num=264, depth=1..11, filters=597813, revisions=(522376,useless=286716), ccks=1330500, wck=6.958, mem=129M673
12.96/9.32 decisions=39789, wrong=18919, backtracks=12001, failedAssignments=11020, nogoods=1339, foundSolutions=19, bestBound=20
12.96/9.32 nFilterCalls=1769597, avgTableProportion=0.9972456953963887, avgTableSize=362.12374738429145
12.96/9.32
13.16/9.53 num=265, depth=1..14, filters=615611, revisions=(538340,useless=295276), ccks=1373273, wck=7.17, mem=132M316
13.16/9.53 decisions=41003, wrong=19523, backtracks=12425, failedAssignments=11360, nogoods=1353, foundSolutions=19, bestBound=20
13.16/9.53 nFilterCalls=1820672, avgTableProportion=0.9972456986697976, avgTableSize=362.1242002952756
13.16/9.53
13.36/9.79 num=266, depth=2..12, filters=635305, revisions=(554124,useless=303982), ccks=1418174, wck=7.427, mem=134M958
13.36/9.79 decisions=42317, wrong=20177, backtracks=12860, failedAssignments=11734, nogoods=1365, foundSolutions=19, bestBound=20
13.36/9.79 nFilterCalls=1888801, avgTableProportion=0.9972457068966001, avgTableSize=362.12533824367944
13.36/9.79
13.67/10.07 num=267, depth=1..12, filters=657649, revisions=(573591,useless=314841), ccks=1468345, wck=7.713, mem=134M958
13.67/10.07 decisions=43779, wrong=20906, backtracks=13328, failedAssignments=12145, nogoods=1375, foundSolutions=19, bestBound=20
13.67/10.07 nFilterCalls=1957479, avgTableProportion=0.9972457042124904, avgTableSize=362.12496736874317
13.67/10.07
14.06/10.40 num=268, depth=1..12, filters=683060, revisions=(595117,useless=326670), ccks=1522715, wck=8.038, mem=137M601
14.06/10.40 decisions=45418, wrong=21724, backtracks=13860, failedAssignments=12597, nogoods=1388, foundSolutions=19, bestBound=20
14.06/10.40 nFilterCalls=2034587, avgTableProportion=0.9972457092431947, avgTableSize=362.1256633410122
14.06/10.40
14.36/10.76 num=269, depth=0..11, filters=711105, revisions=(618184,useless=339668), ccks=1585126, wck=8.396, mem=140M243
14.36/10.76 decisions=47212, wrong=22619, backtracks=14476, failedAssignments=13094, nogoods=1393, foundSolutions=19, bestBound=20
14.36/10.76 nFilterCalls=2119505, avgTableProportion=0.9972457204708786, avgTableSize=362.1272160244963
14.36/10.76
14.77/11.14 num=270, depth=2..12, filters=742257, revisions=(643857,useless=354510), ccks=1655401, wck=8.778, mem=142M778
14.77/11.14 decisions=49133, wrong=23577, backtracks=15114, failedAssignments=13641, nogoods=1400, foundSolutions=19, bestBound=20
14.77/11.14 nFilterCalls=2213418, avgTableProportion=0.9972457311931862, avgTableSize=362.12869778776536
14.77/11.14
15.29/11.64 num=271, depth=0..11, filters=777847, revisions=(673141,useless=371601), ccks=1730331, wck=9.281, mem=28M566
15.29/11.64 decisions=51319, wrong=24668, backtracks=15855, failedAssignments=14243, nogoods=1407, foundSolutions=19, bestBound=20
15.29/11.64 nFilterCalls=2328558, avgTableProportion=0.9972457299641163, avgTableSize=362.12852675346716
15.29/11.64
15.80/12.14 num=272, depth=0..11, filters=817521, revisions=(703859,useless=389999), ccks=1806218, wck=9.783, mem=31M129
15.80/12.14 decisions=53649, wrong=25832, backtracks=16666, failedAssignments=14905, nogoods=1420, foundSolutions=19, bestBound=20
15.80/12.14 nFilterCalls=2454960, avgTableProportion=0.9972457419075156, avgTableSize=362.13017727376416
15.80/12.14
16.29/12.69 num=273, depth=0..11, filters=862186, revisions=(738567,useless=411557), ccks=1885042, wck=10.331, mem=33M692
16.29/12.69 decisions=56219, wrong=27116, backtracks=17561, failedAssignments=15633, nogoods=1427, foundSolutions=19, bestBound=20
16.29/12.69 nFilterCalls=2587867, avgTableProportion=0.9972457623459844, avgTableSize=362.13300258475414
16.29/12.69
16.59/12.98
16.59/12.98 New Bounds: 21..20
16.59/12.98 num=274, depth=0..11, filters=887161, revisions=(756803,useless=423589), ccks=1920223, wck=10.623, mem=36M255
16.59/12.98 decisions=57489, wrong=27752, backtracks=18014, failedAssignments=15961, foundSolutions=19, bestBound=20
16.59/12.98 nFilterCalls=2658846, avgTableProportion=0.9972457712177226, avgTableSize=362.1342289098353
16.59/12.98
16.59/12.98 Global
16.59/12.98 filters=887161, revisions=(756803,useless=423589), ccks=1920223
16.59/12.98 Stop=FULL_EXPLORATION, wrong=27752, bestBound=20, bestBoundWck=5.292, bestBoundCpu=7.123, foundSolutions=19, firstSolCpu=2.351
16.59/12.98 wck=11.12, cpu=12.936, mem=36M255
16.59/12.98
16.59/12.98 v <instantiation id='sol19' type='solution' cost='20'> <list> s[] p[] g[] </list> <values> 5 0 1 2 -1 10 -1 8 3 -1 15 -1 7 12 13 16 17 18 19 14 0 15 14 13 -1 1 -1 11 12 -1 2 -1 10 9 8 3 4 5 6 7 1 -5 0 -2 0 -2 0 2 5 0 3 0 3 -4 2 6 3 2 2 4 </values> </instantiation>
16.59/12.98 s OPTIMUM FOUND
16.59/12.98
16.59/12.98 d WRONG_DECISIONS 27752
16.59/12.98 d NUMBER_SOLUTIONS 19