2.61/1.90
2.61/1.90 AbsCon 2
2.61/1.92
3.50/2.22 Instance
3.50/2.22 name=instance-4391254-1568389960, framework=COP, bounds=-infty..+infty
3.50/2.22
3.50/2.22 Loading variables...
3.50/2.26 Loading constraints...
4.16/2.45
4.16/2.45 Domains
4.16/2.45 nTypes=25, nValues=1317, sizes=[3#1,4#6,5#12,6#5,25#48]
4.16/2.45 Variables
4.16/2.45 count=72, degrees=[2#24,25#23,26#1,27#24]
4.16/2.45 Objectives
4.16/2.45 way=max, type=SumSimpleGE
4.16/2.45 Constraints
4.16/2.45 count=98, nSpecific=49, arities=[1#1,2#48,24#25,25#24]
4.16/2.45 distribution=[AtMost1#24,CtrExtensionCT-Table#24,CtrExtensionV-Bits#24,CtrIntension#25,SumSimpleGE#1]
4.16/2.45 tables=[530#23,554#1], nTotalTuples=12744
4.16/2.45 nExtStructures=(48,shared:0), nIntStructures=(2,shared:23), nCftStructures=(25,shared:23,unbuilt:50)
4.16/2.45 wck=0.574, cpu=2.41, mem=82M3
4.16/2.45 Solver SolverBacktrack being built...
4.16/2.45
4.16/2.48
4.16/2.48 Solver
4.16/2.48 guaranteedGAC=true
4.16/2.48 wck=0.604, cpu=2.438, mem=95M288
4.16/2.48
4.16/2.48 Preprocessing
4.16/2.48 filters=26, revisions=(49,useless=46), ccks=698, nACremovedValues=49, nTotalRemovedValues=49, inconcistency=false
4.16/2.48 wck=0.006, cpu=2.446, mem=95M288
4.16/2.48
4.53/2.51 o -1000
4.53/2.51 num=0, depth=73..71, filters=361, revisions=(647,useless=563), ccks=1349, wck=0.035, mem=95M288
4.53/2.51 decisions=23, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.53/2.51 nFilterCalls=624, avgTableProportion=0.9981166133097205, avgTableSize=530.0
4.53/2.51
4.53/2.54 num=1, depth=16..21, filters=1053, revisions=(1246,useless=911), ccks=3519, wck=0.059, mem=95M288
4.53/2.54 decisions=77, wrong=19, backtracks=11, failedAssignments=11, nogoods=1, foundSolutions=1, bestBound=-1000
4.53/2.54 nFilterCalls=4033, avgTableProportion=0.9981166935347766, avgTableSize=530.0235556657575
4.53/2.54
4.53/2.55 num=2, depth=13..14, filters=1382, revisions=(1570,useless=1085), ccks=4051, wck=0.073, mem=95M288
4.53/2.55 decisions=115, wrong=31, backtracks=12, failedAssignments=22, nogoods=11, foundSolutions=1, bestBound=-1000
4.53/2.55 nFilterCalls=5723, avgTableProportion=0.9981168210000051, avgTableSize=530.0609820024463
4.53/2.55
4.53/2.58 num=3, depth=5..18, filters=1774, revisions=(1960,useless=1314), ccks=4788, wck=0.099, mem=95M288
4.53/2.58 decisions=166, wrong=49, backtracks=18, failedAssignments=34, nogoods=23, foundSolutions=1, bestBound=-1000
4.53/2.58 nFilterCalls=7619, avgTableProportion=0.9981169946085797, avgTableSize=530.1119569497309
4.53/2.58
4.53/2.59 num=4, depth=7..15, filters=2095, revisions=(2297,useless=1511), ccks=5544, wck=0.112, mem=95M288
4.53/2.59 decisions=207, wrong=63, backtracks=20, failedAssignments=47, nogoods=35, foundSolutions=1, bestBound=-1000
4.53/2.59 nFilterCalls=9232, avgTableProportion=0.9981170146820642, avgTableSize=530.1178509532062
4.53/2.59
4.83/2.61 num=5, depth=9..16, filters=2524, revisions=(2693,useless=1735), ccks=6304, wck=0.13, mem=95M288
4.83/2.61 decisions=252, wrong=78, backtracks=21, failedAssignments=61, nogoods=49, foundSolutions=1, bestBound=-1000
4.83/2.61 nFilterCalls=11395, avgTableProportion=0.9981170738870133, avgTableSize=530.1352347520842
4.83/2.61
4.83/2.63 num=6, depth=8..16, filters=3151, revisions=(3305,useless=2097), ccks=8399, wck=0.155, mem=95M288
4.83/2.63 decisions=314, wrong=103, backtracks=31, failedAssignments=77, nogoods=57, foundSolutions=1, bestBound=-1000
4.83/2.63 nFilterCalls=14077, avgTableProportion=0.9981171211375032, avgTableSize=530.1491084748171
4.83/2.63
4.83/2.67 o -995
4.83/2.67 num=7, depth=9..71, filters=4269, revisions=(4172,useless=2602), ccks=11487, wck=0.195, mem=95M288
4.83/2.67 decisions=382, wrong=128, backtracks=46, failedAssignments=91, nogoods=60, foundSolutions=2, bestBound=-995
4.83/2.67 nFilterCalls=18866, avgTableProportion=0.9981172021782733, avgTableSize=530.1729036361709
4.83/2.67
5.14/2.70 num=8, depth=14..20, filters=5665, revisions=(5213,useless=3280), ccks=14632, wck=0.227, mem=95M288
5.14/2.70 decisions=470, wrong=165, backtracks=72, failedAssignments=110, nogoods=64, foundSolutions=2, bestBound=-995
5.14/2.70 nFilterCalls=26603, avgTableProportion=0.9981172171884581, avgTableSize=530.1773108296056
5.14/2.70
5.14/2.71 o -993
5.14/2.71 num=9, depth=16..71, filters=5872, revisions=(5452,useless=3420), ccks=15332, wck=0.233, mem=95M288
5.14/2.71 decisions=490, wrong=166, backtracks=72, failedAssignments=111, nogoods=65, foundSolutions=3, bestBound=-993
5.14/2.71 nFilterCalls=27349, avgTableProportion=0.9981172124222458, avgTableSize=530.1759113678745
5.14/2.71
5.14/2.72 num=10, depth=14..18, filters=6447, revisions=(5983,useless=3730), ccks=17036, wck=0.247, mem=95M288
5.14/2.72 decisions=543, wrong=185, backtracks=83, failedAssignments=123, nogoods=70, foundSolutions=3, bestBound=-993
5.14/2.72 nFilterCalls=30436, avgTableProportion=0.9981171929475772, avgTableSize=530.1701931922723
5.14/2.72
5.14/2.74 num=11, depth=10..14, filters=7235, revisions=(6618,useless=4090), ccks=19257, wck=0.263, mem=95M288
5.14/2.74 decisions=591, wrong=204, backtracks=92, failedAssignments=134, nogoods=76, foundSolutions=3, bestBound=-993
5.14/2.74 nFilterCalls=33348, avgTableProportion=0.9981171562221661, avgTableSize=530.1594098596618
5.14/2.74
5.14/2.76 num=12, depth=10..15, filters=8003, revisions=(7306,useless=4489), ccks=21598, wck=0.28, mem=97M931
5.14/2.76 decisions=645, wrong=225, backtracks=102, failedAssignments=146, nogoods=80, foundSolutions=3, bestBound=-993
5.14/2.76 nFilterCalls=36575, avgTableProportion=0.998117163167298, avgTableSize=530.1614490772386
5.14/2.76
5.14/2.77 num=13, depth=9..14, filters=8692, revisions=(7941,useless=4837), ccks=24006, wck=0.295, mem=97M931
5.14/2.77 decisions=698, wrong=247, backtracks=119, failedAssignments=159, nogoods=83, foundSolutions=3, bestBound=-993
5.14/2.77 nFilterCalls=39528, avgTableProportion=0.9981171302746752, avgTableSize=530.1517911353977
5.14/2.77
5.14/2.79 num=14, depth=9..15, filters=9761, revisions=(8865,useless=5344), ccks=27229, wck=0.315, mem=97M931
5.14/2.79 decisions=767, wrong=276, backtracks=139, failedAssignments=173, nogoods=86, foundSolutions=3, bestBound=-993
5.14/2.79 nFilterCalls=43829, avgTableProportion=0.9981171332389004, avgTableSize=530.1526614798421
5.14/2.79
5.14/2.80 o -991
5.14/2.80 num=15, depth=13..71, filters=10026, revisions=(9158,useless=5502), ccks=28184, wck=0.321, mem=97M931
5.14/2.80 decisions=793, wrong=280, backtracks=140, failedAssignments=176, nogoods=89, foundSolutions=4, bestBound=-991
5.14/2.80 nFilterCalls=44767, avgTableProportion=0.9981171276703021, avgTableSize=530.1510264257154
5.14/2.80
5.47/2.82 num=16, depth=10..15, filters=10912, revisions=(10044,useless=5983), ccks=30822, wck=0.34, mem=97M931
5.47/2.82 decisions=857, wrong=306, backtracks=151, failedAssignments=193, nogoods=92, foundSolutions=4, bestBound=-991
5.47/2.82 nFilterCalls=48078, avgTableProportion=0.9981171212206082, avgTableSize=530.1491326594285
5.47/2.82
5.47/2.83 num=17, depth=10..14, filters=11492, revisions=(10654,useless=6318), ccks=32386, wck=0.352, mem=97M931
5.47/2.83 decisions=910, wrong=326, backtracks=160, failedAssignments=204, nogoods=94, foundSolutions=4, bestBound=-991
5.47/2.83 nFilterCalls=50261, avgTableProportion=0.9981171041070005, avgTableSize=530.1441077575058
5.47/2.83
5.47/2.84 num=18, depth=9..15, filters=12103, revisions=(11226,useless=6603), ccks=34588, wck=0.364, mem=97M931
5.47/2.84 decisions=956, wrong=343, backtracks=169, failedAssignments=216, nogoods=96, foundSolutions=4, bestBound=-991
5.47/2.84 nFilterCalls=52328, avgTableProportion=0.9981170923350601, avgTableSize=530.1406512765632
5.47/2.84
5.47/2.86 num=19, depth=7..14, filters=12911, revisions=(11985,useless=7004), ccks=36788, wck=0.38, mem=97M931
5.47/2.86 decisions=1013, wrong=368, backtracks=184, failedAssignments=229, nogoods=97, foundSolutions=4, bestBound=-991
5.47/2.86 nFilterCalls=55137, avgTableProportion=0.9981170693514491, avgTableSize=530.133902823875
5.47/2.86
5.47/2.87 num=20, depth=11..14, filters=13657, revisions=(12704,useless=7392), ccks=38839, wck=0.391, mem=97M931
5.47/2.87 decisions=1070, wrong=391, backtracks=195, failedAssignments=243, nogoods=100, foundSolutions=4, bestBound=-991
5.47/2.87 nFilterCalls=57439, avgTableProportion=0.9981170583083742, avgTableSize=530.130660352722
5.47/2.87
5.47/2.88 num=21, depth=14..18, filters=14366, revisions=(13371,useless=7740), ccks=41133, wck=0.402, mem=97M931
5.47/2.88 decisions=1136, wrong=417, backtracks=207, failedAssignments=259, nogoods=102, foundSolutions=4, bestBound=-991
5.47/2.88 nFilterCalls=59671, avgTableProportion=0.9981170485122639, avgTableSize=530.127784015686
5.47/2.88
5.47/2.89 num=22, depth=12..16, filters=15198, revisions=(14175,useless=8183), ccks=43488, wck=0.414, mem=97M931
5.47/2.89 decisions=1198, wrong=442, backtracks=218, failedAssignments=276, nogoods=108, foundSolutions=4, bestBound=-991
5.47/2.89 nFilterCalls=62316, avgTableProportion=0.9981170415719482, avgTableSize=530.1257461968033
5.47/2.89
5.77/2.91 num=23, depth=9..14, filters=16460, revisions=(15250,useless=8817), ccks=46406, wck=0.436, mem=97M931
5.77/2.91 decisions=1271, wrong=474, backtracks=243, failedAssignments=295, nogoods=113, foundSolutions=4, bestBound=-991
5.77/2.91 nFilterCalls=67154, avgTableProportion=0.998117052609727, avgTableSize=530.1289871042678
5.77/2.91
5.77/2.93 num=24, depth=8..13, filters=17732, revisions=(16417,useless=9397), ccks=50328, wck=0.458, mem=97M931
5.77/2.93 decisions=1339, wrong=503, backtracks=255, failedAssignments=316, nogoods=119, foundSolutions=4, bestBound=-991
5.77/2.93 nFilterCalls=70867, avgTableProportion=0.9981170518442096, avgTableSize=530.128762329434
5.77/2.93
5.77/2.96 num=25, depth=10..15, filters=18974, revisions=(17521,useless=10007), ccks=53480, wck=0.481, mem=97M931
5.77/2.96 decisions=1428, wrong=542, backtracks=274, failedAssignments=339, nogoods=124, foundSolutions=4, bestBound=-991
5.77/2.96 nFilterCalls=75819, avgTableProportion=0.9981170422479934, avgTableSize=530.1259446840502
5.77/2.96
5.77/2.97 num=26, depth=11..17, filters=20240, revisions=(18656,useless=10645), ccks=58014, wck=0.498, mem=97M931
5.77/2.97 decisions=1520, wrong=582, backtracks=295, failedAssignments=364, nogoods=127, foundSolutions=4, bestBound=-991
5.77/2.97 nFilterCalls=80299, avgTableProportion=0.998117036978882, avgTableSize=530.1243975641041
5.77/2.97
5.77/2.99 num=27, depth=13..18, filters=21475, revisions=(19809,useless=11281), ccks=62273, wck=0.515, mem=97M931
5.77/2.99 decisions=1622, wrong=626, backtracks=321, failedAssignments=392, nogoods=133, foundSolutions=4, bestBound=-991
5.77/2.99 nFilterCalls=84561, avgTableProportion=0.998117033427274, avgTableSize=530.1233547379998
5.77/2.99
6.05/3.02 o -990
6.05/3.02 num=28, depth=13..71, filters=22898, revisions=(20998,useless=11992), ccks=65885, wck=0.541, mem=100M573
6.05/3.02 decisions=1724, wrong=668, backtracks=342, failedAssignments=420, nogoods=140, foundSolutions=5, bestBound=-990
6.05/3.02 nFilterCalls=90372, avgTableProportion=0.9981170560459022, avgTableSize=530.1299960164653
6.05/3.02
6.05/3.04 num=29, depth=12..18, filters=24881, revisions=(22876,useless=13010), ccks=71957, wck=0.564, mem=100M573
6.05/3.04 decisions=1866, wrong=732, backtracks=381, failedAssignments=454, nogoods=142, foundSolutions=5, bestBound=-990
6.05/3.04 nFilterCalls=95834, avgTableProportion=0.9981170490790771, avgTableSize=530.127950414258
6.05/3.04
6.05/3.05 num=30, depth=15..19, filters=25461, revisions=(23415,useless=13314), ccks=73631, wck=0.571, mem=100M573
6.05/3.05 decisions=1918, wrong=749, backtracks=390, failedAssignments=465, nogoods=148, foundSolutions=5, bestBound=-990
6.05/3.05 nFilterCalls=98304, avgTableProportion=0.9981170498399757, avgTableSize=530.128173828125
6.05/3.05
6.05/3.06 num=31, depth=14..18, filters=26153, revisions=(24036,useless=13660), ccks=75800, wck=0.58, mem=100M573
6.05/3.06 decisions=1972, wrong=769, backtracks=399, failedAssignments=477, nogoods=151, foundSolutions=5, bestBound=-990
6.05/3.06 nFilterCalls=100817, avgTableProportion=0.9981170537890239, avgTableSize=530.1293333465586
6.05/3.06
6.05/3.07 num=32, depth=15..19, filters=27191, revisions=(24791,useless=14098), ccks=78464, wck=0.593, mem=100M573
6.05/3.07 decisions=2037, wrong=794, backtracks=413, failedAssignments=490, nogoods=153, foundSolutions=5, bestBound=-990
6.05/3.07 nFilterCalls=105400, avgTableProportion=0.9981170455255419, avgTableSize=530.1269070208729
6.05/3.07
6.05/3.08 o -989
6.05/3.08 num=33, depth=17..71, filters=27561, revisions=(25161,useless=14312), ccks=79529, wck=0.6, mem=100M573
6.05/3.08 decisions=2076, wrong=802, backtracks=418, failedAssignments=496, nogoods=155, foundSolutions=6, bestBound=-989
6.05/3.08 nFilterCalls=107048, avgTableProportion=0.9981170437075308, avgTableSize=530.1263732157537
6.05/3.08
6.05/3.09 num=34, depth=12..18, filters=28519, revisions=(26037,useless=14821), ccks=81769, wck=0.615, mem=100M573
6.05/3.09 decisions=2142, wrong=829, backtracks=433, failedAssignments=512, nogoods=158, foundSolutions=6, bestBound=-989
6.05/3.09 nFilterCalls=110682, avgTableProportion=0.9981170410846332, avgTableSize=530.1256030790914
6.05/3.09
6.05/3.09 o -983
6.05/3.09 num=35, depth=17..71, filters=28739, revisions=(26295,useless=14964), ccks=82567, wck=0.619, mem=100M573
6.05/3.09 decisions=2168, wrong=831, backtracks=433, failedAssignments=514, nogoods=160, foundSolutions=7, bestBound=-983
6.05/3.09 nFilterCalls=111473, avgTableProportion=0.9981170417460304, avgTableSize=530.1257972782647
6.05/3.09
6.18/3.11 num=36, depth=11..14, filters=29612, revisions=(27170,useless=15419), ccks=85120, wck=0.633, mem=100M573
6.18/3.11 decisions=2223, wrong=853, backtracks=443, failedAssignments=526, nogoods=167, foundSolutions=7, bestBound=-983
6.18/3.11 nFilterCalls=114170, avgTableProportion=0.9981170320727003, avgTableSize=530.1229569939563
6.18/3.11
6.18/3.12 o -981
6.18/3.12 num=37, depth=15..71, filters=30113, revisions=(27649,useless=15695), ccks=86594, wck=0.641, mem=100M573
6.18/3.12 decisions=2265, wrong=866, backtracks=451, failedAssignments=534, nogoods=172, foundSolutions=8, bestBound=-981
6.18/3.12 nFilterCalls=116051, avgTableProportion=0.9981170348817469, avgTableSize=530.1237817855942
6.18/3.12
6.18/3.13 num=38, depth=12..17, filters=30885, revisions=(28369,useless=16092), ccks=88593, wck=0.653, mem=100M573
6.18/3.13 decisions=2320, wrong=887, backtracks=464, failedAssignments=546, nogoods=176, foundSolutions=8, bestBound=-981
6.18/3.13 nFilterCalls=118795, avgTableProportion=0.9981170338594846, avgTableSize=530.1234816280147
6.18/3.13
6.18/3.14 num=39, depth=12..16, filters=31580, revisions=(28983,useless=16443), ccks=90320, wck=0.662, mem=100M573
6.18/3.14 decisions=2368, wrong=905, backtracks=473, failedAssignments=557, nogoods=178, foundSolutions=8, bestBound=-981
6.18/3.14 nFilterCalls=121350, avgTableProportion=0.9981170327790858, avgTableSize=530.1231644004945
6.18/3.14
6.18/3.15 num=40, depth=8..11, filters=32224, revisions=(29604,useless=16762), ccks=92315, wck=0.672, mem=100M573
6.18/3.15 decisions=2411, wrong=922, backtracks=481, failedAssignments=569, nogoods=183, foundSolutions=8, bestBound=-981
6.18/3.15 nFilterCalls=123182, avgTableProportion=0.9981170303007797, avgTableSize=530.1224367196506
6.18/3.15
6.18/3.16 num=41, depth=10..15, filters=33148, revisions=(30418,useless=17229), ccks=94472, wck=0.685, mem=100M573
6.18/3.16 decisions=2469, wrong=945, backtracks=494, failedAssignments=582, nogoods=187, foundSolutions=8, bestBound=-981
6.18/3.16 nFilterCalls=126447, avgTableProportion=0.9981170298494747, avgTableSize=530.1223042065055
6.18/3.16
6.18/3.17 num=42, depth=13..17, filters=33959, revisions=(31153,useless=17639), ccks=96966, wck=0.695, mem=100M573
6.18/3.17 decisions=2530, wrong=969, backtracks=508, failedAssignments=596, nogoods=194, foundSolutions=8, bestBound=-981
6.18/3.17 nFilterCalls=129520, avgTableProportion=0.9981170287755574, avgTableSize=530.1219888820259
6.18/3.17
6.18/3.19 num=43, depth=9..15, filters=34776, revisions=(31801,useless=18039), ccks=98673, wck=0.712, mem=100M573
6.18/3.19 decisions=2585, wrong=990, backtracks=517, failedAssignments=612, nogoods=201, foundSolutions=8, bestBound=-981
6.18/3.19 nFilterCalls=133490, avgTableProportion=0.9981170222876603, avgTableSize=530.1200839014158
6.18/3.19
6.29/3.20 num=44, depth=13..16, filters=35629, revisions=(32532,useless=18448), ccks=100888, wck=0.722, mem=100M573
6.29/3.20 decisions=2648, wrong=1015, backtracks=527, failedAssignments=629, nogoods=204, foundSolutions=8, bestBound=-981
6.29/3.20 nFilterCalls=136272, avgTableProportion=0.9981170223858111, avgTableSize=530.120112715745
6.29/3.20
6.29/3.22 num=45, depth=7..13, filters=36602, revisions=(33478,useless=18959), ccks=103331, wck=0.741, mem=100M573
6.29/3.22 decisions=2717, wrong=1045, backtracks=546, failedAssignments=648, nogoods=206, foundSolutions=8, bestBound=-981
6.29/3.22 nFilterCalls=139734, avgTableProportion=0.9981170226337001, avgTableSize=530.1201854952982
6.29/3.22
6.29/3.24 num=46, depth=8..12, filters=37779, revisions=(34571,useless=19563), ccks=106426, wck=0.762, mem=103M216
6.29/3.24 decisions=2799, wrong=1082, backtracks=564, failedAssignments=669, nogoods=210, foundSolutions=8, bestBound=-981
6.29/3.24 nFilterCalls=144393, avgTableProportion=0.9981170218095033, avgTableSize=530.1199434875651
6.29/3.24
6.29/3.26 num=47, depth=8..14, filters=39222, revisions=(35758,useless=20185), ccks=110591, wck=0.786, mem=103M216
6.29/3.26 decisions=2880, wrong=1118, backtracks=584, failedAssignments=692, nogoods=213, foundSolutions=8, bestBound=-981
6.29/3.26 nFilterCalls=149254, avgTableProportion=0.9981170290191619, avgTableSize=530.1220603802913
6.29/3.26
6.29/3.28 num=48, depth=9..14, filters=40631, revisions=(37013,useless=20871), ccks=114528, wck=0.808, mem=103M216
6.29/3.28 decisions=2971, wrong=1159, backtracks=608, failedAssignments=717, nogoods=217, foundSolutions=8, bestBound=-981
6.29/3.28 nFilterCalls=154253, avgTableProportion=0.9981170275800744, avgTableSize=530.1216378287619
6.29/3.28
6.40/3.31 num=49, depth=11..16, filters=42435, revisions=(38458,useless=21668), ccks=119962, wck=0.833, mem=103M216
6.40/3.31 decisions=3087, wrong=1211, backtracks=639, failedAssignments=745, nogoods=222, foundSolutions=8, bestBound=-981
6.40/3.31 nFilterCalls=160580, avgTableProportion=0.9981170323181681, avgTableSize=530.1230290198032
6.40/3.31
6.40/3.34 num=50, depth=10..16, filters=44025, revisions=(39858,useless=22490), ccks=123924, wck=0.86, mem=103M216
6.40/3.34 decisions=3198, wrong=1261, backtracks=664, failedAssignments=776, nogoods=229, foundSolutions=8, bestBound=-981
6.40/3.34 nFilterCalls=166895, avgTableProportion=0.998117033544054, avgTableSize=530.1233889571288
6.40/3.34
6.40/3.36 num=51, depth=8..15, filters=45885, revisions=(41512,useless=23346), ccks=129129, wck=0.887, mem=103M216
6.40/3.36 decisions=3317, wrong=1315, backtracks=691, failedAssignments=810, nogoods=236, foundSolutions=8, bestBound=-981
6.40/3.36 nFilterCalls=173057, avgTableProportion=0.9981170191713195, avgTableSize=530.1191688287674
6.40/3.36
6.50/3.40 num=52, depth=9..16, filters=48363, revisions=(43511,useless=24486), ccks=136215, wck=0.923, mem=103M216
6.50/3.40 decisions=3465, wrong=1384, backtracks=735, failedAssignments=847, nogoods=244, foundSolutions=8, bestBound=-981
6.50/3.40 nFilterCalls=182074, avgTableProportion=0.9981170279339712, avgTableSize=530.1217417094149
6.50/3.40
6.50/3.43 num=53, depth=10..17, filters=50747, revisions=(45480,useless=25582), ccks=142842, wck=0.958, mem=103M216
6.50/3.43 decisions=3614, wrong=1453, backtracks=780, failedAssignments=888, nogoods=250, foundSolutions=8, bestBound=-981
6.50/3.43 nFilterCalls=190328, avgTableProportion=0.9981170241609002, avgTableSize=530.1206338531377
6.50/3.43
6.50/3.47 num=54, depth=12..18, filters=53062, revisions=(47502,useless=26770), ccks=148763, wck=0.989, mem=103M216
6.50/3.47 decisions=3772, wrong=1525, backtracks=828, failedAssignments=933, nogoods=262, foundSolutions=8, bestBound=-981
6.50/3.47 nFilterCalls=198987, avgTableProportion=0.9981170252637013, avgTableSize=530.1209576504998
6.50/3.47
6.61/3.50 o -979
6.61/3.50 num=55, depth=10..71, filters=54910, revisions=(49054,useless=27622), ccks=153772, wck=1.022, mem=103M216
6.61/3.50 decisions=3895, wrong=1580, backtracks=854, failedAssignments=967, nogoods=269, foundSolutions=9, bestBound=-979
6.61/3.50 nFilterCalls=206689, avgTableProportion=0.9981170142958913, avgTableSize=530.1177372767781
6.61/3.50
6.61/3.55 num=56, depth=9..15, filters=58213, revisions=(51739,useless=29133), ccks=161841, wck=1.071, mem=105M858
6.61/3.55 decisions=4094, wrong=1673, backtracks=908, failedAssignments=1022, nogoods=276, foundSolutions=9, bestBound=-979
6.61/3.55 nFilterCalls=219574, avgTableProportion=0.9981170060745151, avgTableSize=530.1153233078597
6.61/3.55
6.61/3.56 num=57, depth=11..16, filters=58993, revisions=(52500,useless=29550), ccks=164134, wck=1.082, mem=105M858
6.61/3.56 decisions=4145, wrong=1693, backtracks=921, failedAssignments=1033, nogoods=281, foundSolutions=9, bestBound=-979
6.61/3.56 nFilterCalls=221740, avgTableProportion=0.9981170054633703, avgTableSize=530.115143862181
6.61/3.56
6.61/3.57 num=58, depth=7..13, filters=59880, revisions=(53342,useless=30021), ccks=166019, wck=1.098, mem=105M858
6.61/3.57 decisions=4202, wrong=1718, backtracks=940, failedAssignments=1045, nogoods=282, foundSolutions=9, bestBound=-979
6.61/3.57 nFilterCalls=225128, avgTableProportion=0.9981170005904986, avgTableSize=530.1137130876657
6.61/3.57
6.61/3.59 num=59, depth=11..15, filters=60707, revisions=(54130,useless=30478), ccks=168234, wck=1.11, mem=105M858
6.61/3.59 decisions=4253, wrong=1737, backtracks=948, failedAssignments=1058, nogoods=288, foundSolutions=9, bestBound=-979
6.61/3.59 nFilterCalls=227841, avgTableProportion=0.9981170013453232, avgTableSize=530.113934717632
6.61/3.59
6.72/3.60 num=60, depth=9..14, filters=61485, revisions=(54861,useless=30872), ccks=170556, wck=1.125, mem=105M858
6.72/3.60 decisions=4311, wrong=1761, backtracks=964, failedAssignments=1072, nogoods=294, foundSolutions=9, bestBound=-979
6.72/3.60 nFilterCalls=230827, avgTableProportion=0.9981169993651264, avgTableSize=530.1133532905596
6.72/3.60
6.72/3.61 num=61, depth=10..15, filters=62273, revisions=(55651,useless=31332), ccks=172623, wck=1.139, mem=105M858
6.72/3.61 decisions=4374, wrong=1787, backtracks=977, failedAssignments=1088, nogoods=299, foundSolutions=9, bestBound=-979
6.72/3.61 nFilterCalls=233649, avgTableProportion=0.9981169993959904, avgTableSize=530.1133623512192
6.72/3.61
6.72/3.63 num=62, depth=12..17, filters=63189, revisions=(56478,useless=31799), ccks=175112, wck=1.151, mem=105M858
6.72/3.63 decisions=4440, wrong=1814, backtracks=996, failedAssignments=1105, nogoods=306, foundSolutions=9, bestBound=-979
6.72/3.63 nFilterCalls=236961, avgTableProportion=0.9981170019334042, avgTableSize=530.1141073847596
6.72/3.63
6.72/3.65 num=63, depth=7..12, filters=64558, revisions=(57658,useless=32450), ccks=178126, wck=1.173, mem=105M858
6.72/3.65 decisions=4503, wrong=1842, backtracks=1012, failedAssignments=1124, nogoods=310, foundSolutions=9, bestBound=-979
6.72/3.65 nFilterCalls=240944, avgTableProportion=0.9981169962017816, avgTableSize=530.1124244637758
6.72/3.65
6.72/3.67 num=64, depth=9..13, filters=65854, revisions=(58929,useless=33156), ccks=181554, wck=1.191, mem=105M858
6.72/3.67 decisions=4580, wrong=1875, backtracks=1029, failedAssignments=1145, nogoods=316, foundSolutions=9, bestBound=-979
6.72/3.67 nFilterCalls=244525, avgTableProportion=0.9981169935332799, avgTableSize=530.1116409365096
6.72/3.67
6.72/3.69 num=65, depth=10..16, filters=67351, revisions=(60244,useless=33911), ccks=185448, wck=1.213, mem=105M858
6.72/3.69 decisions=4683, wrong=1921, backtracks=1057, failedAssignments=1168, nogoods=319, foundSolutions=9, bestBound=-979
6.72/3.69 nFilterCalls=249540, avgTableProportion=0.9981169911465071, avgTableSize=530.1109401298389
6.72/3.69
6.83/3.71 num=66, depth=10..15, filters=68953, revisions=(61671,useless=34715), ccks=189820, wck=1.236, mem=105M858
6.83/3.71 decisions=4780, wrong=1964, backtracks=1080, failedAssignments=1193, nogoods=327, foundSolutions=9, bestBound=-979
6.83/3.71 nFilterCalls=254135, avgTableProportion=0.9981169880270738, avgTableSize=530.1100241997364
6.83/3.71
6.83/3.73 num=67, depth=11..15, filters=70339, revisions=(62930,useless=35422), ccks=193746, wck=1.256, mem=105M858
6.83/3.73 decisions=4883, wrong=2010, backtracks=1104, failedAssignments=1221, nogoods=329, foundSolutions=9, bestBound=-979
6.83/3.73 nFilterCalls=258780, avgTableProportion=0.9981169864996021, avgTableSize=530.1095757013679
6.83/3.73
6.83/3.76 num=68, depth=8..17, filters=72092, revisions=(64524,useless=36314), ccks=198575, wck=1.281, mem=105M858
6.83/3.76 decisions=5003, wrong=2064, backtracks=1134, failedAssignments=1252, nogoods=333, foundSolutions=9, bestBound=-979
6.83/3.76 nFilterCalls=264265, avgTableProportion=0.9981169875559374, avgTableSize=530.1098859099767
6.83/3.76
6.83/3.78 num=69, depth=11..15, filters=73878, revisions=(66134,useless=37189), ccks=203390, wck=1.307, mem=105M858
6.83/3.78 decisions=5132, wrong=2123, backtracks=1164, failedAssignments=1286, nogoods=340, foundSolutions=9, bestBound=-979
6.83/3.78 nFilterCalls=271141, avgTableProportion=0.9981169815313667, avgTableSize=530.1081171788848
6.83/3.78
6.94/3.82 num=70, depth=8..14, filters=75797, revisions=(67952,useless=38210), ccks=208542, wck=1.34, mem=108M501
6.94/3.82 decisions=5265, wrong=2184, backtracks=1201, failedAssignments=1323, nogoods=345, foundSolutions=9, bestBound=-979
6.94/3.82 nFilterCalls=278923, avgTableProportion=0.9981169755796657, avgTableSize=530.106369858348
6.94/3.82
6.94/3.84 num=71, depth=11..18, filters=77703, revisions=(69656,useless=39183), ccks=213414, wck=1.369, mem=108M501
6.94/3.84 decisions=5407, wrong=2249, backtracks=1243, failedAssignments=1364, nogoods=355, foundSolutions=9, bestBound=-979
6.94/3.84 nFilterCalls=286265, avgTableProportion=0.9981169763051234, avgTableSize=530.1065830611496
6.94/3.84
6.94/3.88 num=72, depth=9..15, filters=80297, revisions=(71856,useless=40357), ccks=221198, wck=1.409, mem=108M501
6.94/3.88 decisions=5576, wrong=2328, backtracks=1294, failedAssignments=1409, nogoods=359, foundSolutions=9, bestBound=-979
6.94/3.88 nFilterCalls=294966, avgTableProportion=0.9981169723742644, avgTableSize=530.1054291003031
6.94/3.88
7.04/3.94 num=73, depth=9..14, filters=83500, revisions=(74590,useless=41972), ccks=230239, wck=1.464, mem=108M501
7.04/3.94 decisions=5775, wrong=2422, backtracks=1350, failedAssignments=1459, nogoods=369, foundSolutions=9, bestBound=-979
7.04/3.94 nFilterCalls=307006, avgTableProportion=0.9981169855372027, avgTableSize=530.1092942808936
7.04/3.94
7.04/3.99 num=74, depth=8..17, filters=86560, revisions=(77182,useless=43481), ccks=237555, wck=1.519, mem=108M501
7.04/3.99 decisions=5972, wrong=2514, backtracks=1407, failedAssignments=1514, nogoods=380, foundSolutions=9, bestBound=-979
7.04/3.99 nFilterCalls=318816, avgTableProportion=0.998116981981556, avgTableSize=530.1082505269497
7.04/3.99
7.15/4.04 num=75, depth=10..17, filters=89892, revisions=(80201,useless=45041), ccks=247540, wck=1.559, mem=108M501
7.15/4.04 decisions=6191, wrong=2618, backtracks=1468, failedAssignments=1575, nogoods=387, foundSolutions=9, bestBound=-979
7.15/4.04 nFilterCalls=328506, avgTableProportion=0.998116980374482, avgTableSize=530.1077788533543
7.15/4.04
7.15/4.09 num=76, depth=9..15, filters=93883, revisions=(83660,useless=46900), ccks=258381, wck=1.611, mem=108M501
7.15/4.09 decisions=6411, wrong=2723, backtracks=1525, failedAssignments=1642, nogoods=391, foundSolutions=9, bestBound=-979
7.15/4.09 nFilterCalls=340433, avgTableProportion=0.9981169780879694, avgTableSize=530.1071077128246
7.15/4.09
7.25/4.14 num=77, depth=9..15, filters=97588, revisions=(87005,useless=48797), ccks=269677, wck=1.666, mem=111M143
7.25/4.14 decisions=6668, wrong=2846, backtracks=1596, failedAssignments=1716, nogoods=395, foundSolutions=9, bestBound=-979
7.25/4.14 nFilterCalls=352795, avgTableProportion=0.9981169828941214, avgTableSize=530.1085191116654
7.25/4.14
7.34/4.20 num=78, depth=7..14, filters=101748, revisions=(90863,useless=50960), ccks=279466, wck=1.725, mem=111M143
7.34/4.20 decisions=6936, wrong=2975, backtracks=1668, failedAssignments=1797, nogoods=401, foundSolutions=9, bestBound=-979
7.34/4.20 nFilterCalls=366166, avgTableProportion=0.9981169805308019, avgTableSize=530.1078254125179
7.34/4.20
7.34/4.27 num=79, depth=8..17, filters=106527, revisions=(95095,useless=53408), ccks=292193, wck=1.797, mem=111M143
7.34/4.27 decisions=7244, wrong=3123, backtracks=1745, failedAssignments=1886, nogoods=409, foundSolutions=9, bestBound=-979
7.34/4.27 nFilterCalls=382617, avgTableProportion=0.9981169795967895, avgTableSize=530.1075514156454
7.34/4.27
7.45/4.37 num=80, depth=7..17, filters=113044, revisions=(100323,useless=56407), ccks=309601, wck=1.899, mem=111M143
7.45/4.37 decisions=7623, wrong=3308, backtracks=1867, failedAssignments=1984, nogoods=415, foundSolutions=9, bestBound=-979
7.45/4.37 nFilterCalls=405675, avgTableProportion=0.9981169858257033, avgTableSize=530.1093806618599
7.45/4.37
7.56/4.48 num=81, depth=7..15, filters=119360, revisions=(105698,useless=59376), ccks=326701, wck=2.001, mem=113M786
7.56/4.48 decisions=8017, wrong=3500, backtracks=1978, failedAssignments=2092, nogoods=419, foundSolutions=9, bestBound=-979
7.56/4.48 nFilterCalls=428186, avgTableProportion=0.9981169773198818, avgTableSize=530.1068834571892
7.56/4.48
7.66/4.59 num=82, depth=8..16, filters=126034, revisions=(111336,useless=62671), ccks=344247, wck=2.113, mem=113M786
7.66/4.59 decisions=8444, wrong=3709, backtracks=2109, failedAssignments=2211, nogoods=426, foundSolutions=9, bestBound=-979
7.66/4.59 nFilterCalls=453410, avgTableProportion=0.9981169736531504, avgTableSize=530.1058071061511
7.66/4.59
7.86/4.73 num=83, depth=7..16, filters=134748, revisions=(118484,useless=66664), ccks=365985, wck=2.252, mem=113M786
7.86/4.73 decisions=8938, wrong=3952, backtracks=2263, failedAssignments=2342, nogoods=433, foundSolutions=9, bestBound=-979
7.86/4.73 nFilterCalls=481370, avgTableProportion=0.9981169680036671, avgTableSize=530.1041485759395
7.86/4.73
7.97/4.87 num=84, depth=8..18, filters=143902, revisions=(126123,useless=71045), ccks=389987, wck=2.395, mem=116M428
7.97/4.87 decisions=9464, wrong=4210, backtracks=2433, failedAssignments=2486, nogoods=445, foundSolutions=9, bestBound=-979
7.97/4.87 nFilterCalls=511757, avgTableProportion=0.9981169702404535, avgTableSize=530.1048056010958
7.97/4.87
8.19/5.06 num=85, depth=7..17, filters=155557, revisions=(135157,useless=76404), ccks=415339, wck=2.588, mem=116M428
8.19/5.06 decisions=10112, wrong=4529, backtracks=2636, failedAssignments=2644, nogoods=458, foundSolutions=9, bestBound=-979
8.19/5.06 nFilterCalls=556312, avgTableProportion=0.998116963036054, avgTableSize=530.102690576511
8.19/5.06
8.30/5.19 num=86, depth=8..18, filters=165153, revisions=(143010,useless=80842), ccks=440407, wck=2.714, mem=119M71
8.30/5.19 decisions=10710, wrong=4822, backtracks=2827, failedAssignments=2818, nogoods=465, foundSolutions=9, bestBound=-979
8.30/5.19 nFilterCalls=587749, avgTableProportion=0.9981169689615846, avgTableSize=530.1044306328041
8.30/5.19
8.50/5.34 num=87, depth=7..17, filters=175181, revisions=(152022,useless=85977), ccks=465936, wck=2.862, mem=119M71
8.50/5.34 decisions=11366, wrong=5145, backtracks=3023, failedAssignments=3009, nogoods=470, foundSolutions=9, bestBound=-979
8.50/5.34 nFilterCalls=619967, avgTableProportion=0.9981169653212784, avgTableSize=530.1033619531362
8.50/5.34
8.72/5.55 num=88, depth=7..18, filters=188436, revisions=(163240,useless=92300), ccks=501015, wck=3.079, mem=121M713
8.72/5.55 decisions=12187, wrong=5550, backtracks=3285, failedAssignments=3220, nogoods=476, foundSolutions=9, bestBound=-979
8.72/5.55 nFilterCalls=666869, avgTableProportion=0.9981169641872888, avgTableSize=530.1030292306285
8.72/5.55
9.07/5.83 num=89, depth=5..16, filters=203329, revisions=(176549,useless=99930), ccks=540037, wck=3.357, mem=121M713
9.07/5.83 decisions=13090, wrong=5997, backtracks=3583, failedAssignments=3452, nogoods=482, foundSolutions=9, bestBound=-979
9.07/5.83 nFilterCalls=719732, avgTableProportion=0.998116955491778, avgTableSize=530.1004762883962
9.07/5.83
9.07/5.84 o -976
9.07/5.84 num=90, depth=14..71, filters=204113, revisions=(177158,useless=100265), ccks=542291, wck=3.369, mem=121M713
9.07/5.84 decisions=13140, wrong=6013, backtracks=3592, failedAssignments=3463, nogoods=488, foundSolutions=10, bestBound=-976
9.07/5.84 nFilterCalls=722729, avgTableProportion=0.9981169573666582, avgTableSize=530.1010268025775
9.07/5.84
9.29/6.10 num=91, depth=5..14, filters=219169, revisions=(191013,useless=107267), ccks=586275, wck=3.627, mem=124M356
9.29/6.10 decisions=14120, wrong=6499, backtracks=3858, failedAssignments=3744, nogoods=498, foundSolutions=10, bestBound=-976
9.29/6.10 nFilterCalls=768792, avgTableProportion=0.9981169450125184, avgTableSize=530.0973995567072
9.29/6.10
9.39/6.11 num=92, depth=8..13, filters=219781, revisions=(191602,useless=107604), ccks=587672, wck=3.639, mem=124M356
9.39/6.11 decisions=14157, wrong=6512, backtracks=3864, failedAssignments=3755, nogoods=502, foundSolutions=10, bestBound=-976
9.39/6.11 nFilterCalls=770988, avgTableProportion=0.9981169452868591, avgTableSize=530.097480116422
9.39/6.11
9.39/6.13 num=93, depth=9..17, filters=220471, revisions=(192254,useless=107976), ccks=589242, wck=3.651, mem=124M356
9.39/6.13 decisions=14208, wrong=6532, backtracks=3876, failedAssignments=3767, nogoods=504, foundSolutions=10, bestBound=-976
9.39/6.13 nFilterCalls=773539, avgTableProportion=0.9981169457461683, avgTableSize=530.0976149877382
9.39/6.13
9.39/6.14 num=94, depth=6..11, filters=221346, revisions=(193069,useless=108414), ccks=591296, wck=3.667, mem=124M356
9.39/6.14 decisions=14263, wrong=6556, backtracks=3890, failedAssignments=3780, nogoods=506, foundSolutions=10, bestBound=-976
9.39/6.14 nFilterCalls=776325, avgTableProportion=0.9981169449654388, avgTableSize=530.09738575983
9.39/6.14
9.39/6.15 num=95, depth=11..15, filters=222070, revisions=(193771,useless=108788), ccks=593255, wck=3.679, mem=124M356
9.39/6.15 decisions=14321, wrong=6579, backtracks=3901, failedAssignments=3794, nogoods=511, foundSolutions=10, bestBound=-976
9.39/6.15 nFilterCalls=778717, avgTableProportion=0.9981169445064196, avgTableSize=530.0972509910532
9.39/6.15
9.39/6.17 num=96, depth=9..15, filters=223012, revisions=(194669,useless=109276), ccks=595752, wck=3.695, mem=124M356
9.39/6.17 decisions=14386, wrong=6607, backtracks=3917, failedAssignments=3810, nogoods=513, foundSolutions=10, bestBound=-976
9.39/6.17 nFilterCalls=781675, avgTableProportion=0.9981169442725509, avgTableSize=530.0971823328109
9.39/6.17
9.39/6.19 num=97, depth=5..14, filters=223838, revisions=(195429,useless=109677), ccks=598329, wck=3.712, mem=124M356
9.39/6.19 decisions=14452, wrong=6636, backtracks=3934, failedAssignments=3827, nogoods=517, foundSolutions=10, bestBound=-976
9.39/6.19 nFilterCalls=784643, avgTableProportion=0.9981169438886522, avgTableSize=530.0970696227456
9.39/6.19
9.49/6.21 num=98, depth=6..15, filters=225326, revisions=(196726,useless=110436), ccks=601837, wck=3.739, mem=124M356
9.49/6.21 decisions=14537, wrong=6675, backtracks=3962, failedAssignments=3846, nogoods=525, foundSolutions=10, bestBound=-976
9.49/6.21 nFilterCalls=789925, avgTableProportion=0.9981169428076034, avgTableSize=530.0967522233124
9.49/6.21
9.49/6.24 num=99, depth=6..11, filters=226737, revisions=(197982,useless=111153), ccks=605205, wck=3.765, mem=124M356
9.49/6.24 decisions=14624, wrong=6715, backtracks=3987, failedAssignments=3867, nogoods=531, foundSolutions=10, bestBound=-976
9.49/6.24 nFilterCalls=794809, avgTableProportion=0.9981169418625406, avgTableSize=530.0964747505376
9.49/6.24
9.49/6.28 num=100, depth=7..13, filters=228518, revisions=(199563,useless=112086), ccks=609112, wck=3.801, mem=124M356
9.49/6.28 decisions=14733, wrong=6765, backtracks=4019, failedAssignments=3890, nogoods=544, foundSolutions=10, bestBound=-976
9.49/6.28 nFilterCalls=801660, avgTableProportion=0.9981169410469913, avgTableSize=530.0962353117282
9.49/6.28
9.59/6.31 num=101, depth=6..16, filters=230482, revisions=(201229,useless=112992), ccks=614459, wck=3.836, mem=126M998
9.59/6.31 decisions=14837, wrong=6812, backtracks=4054, failedAssignments=3915, nogoods=548, foundSolutions=10, bestBound=-976
9.59/6.31 nFilterCalls=808176, avgTableProportion=0.9981169405788578, avgTableSize=530.0960978796697
9.59/6.31
9.59/6.35 num=102, depth=6..15, filters=232439, revisions=(202831,useless=113881), ccks=619334, wck=3.877, mem=126M998
9.59/6.35 decisions=14953, wrong=6864, backtracks=4095, failedAssignments=3943, nogoods=555, foundSolutions=10, bestBound=-976
9.59/6.35 nFilterCalls=816535, avgTableProportion=0.9981169421041743, avgTableSize=530.0965457696241
9.59/6.35
9.59/6.38 num=103, depth=6..18, filters=234386, revisions=(204293,useless=114706), ccks=624414, wck=3.906, mem=126M998
9.59/6.38 decisions=15075, wrong=6918, backtracks=4125, failedAssignments=3974, nogoods=561, foundSolutions=10, bestBound=-976
9.59/6.38 nFilterCalls=823755, avgTableProportion=0.9981169450930462, avgTableSize=530.09742338438
9.59/6.38
9.69/6.43 num=104, depth=7..15, filters=236789, revisions=(206156,useless=115766), ccks=629878, wck=3.952, mem=126M998
9.69/6.43 decisions=15209, wrong=6980, backtracks=4170, failedAssignments=4008, nogoods=566, foundSolutions=10, bestBound=-976
9.69/6.43 nFilterCalls=832791, avgTableProportion=0.9981169461549426, avgTableSize=530.0977352060721
9.69/6.43
9.69/6.46 num=105, depth=8..14, filters=239068, revisions=(208262,useless=116913), ccks=635910, wck=3.984, mem=126M998
9.69/6.46 decisions=15345, wrong=7044, backtracks=4206, failedAssignments=4045, nogoods=575, foundSolutions=10, bestBound=-976
9.69/6.46 nFilterCalls=839606, avgTableProportion=0.9981169459882955, avgTableSize=530.0976862957149
9.69/6.46
9.69/6.50 num=106, depth=10..16, filters=241292, revisions=(210221,useless=118004), ccks=642024, wck=4.02, mem=126M998
9.69/6.50 decisions=15501, wrong=7117, backtracks=4248, failedAssignments=4086, nogoods=581, foundSolutions=10, bestBound=-976
9.69/6.50 nFilterCalls=847712, avgTableProportion=0.99811694553083, avgTableSize=530.097551998792
9.69/6.50
9.79/6.56 num=107, depth=5..14, filters=244803, revisions=(213380,useless=119769), ccks=650612, wck=4.083, mem=126M998
9.79/6.56 decisions=15684, wrong=7206, backtracks=4308, failedAssignments=4131, nogoods=583, foundSolutions=10, bestBound=-976
9.79/6.56 nFilterCalls=858271, avgTableProportion=0.9981169432567605, avgTableSize=530.0968843174243
9.79/6.56
9.90/6.61 num=108, depth=8..15, filters=247552, revisions=(215699,useless=121093), ccks=658605, wck=4.13, mem=126M998
9.90/6.61 decisions=15866, wrong=7290, backtracks=4365, failedAssignments=4181, nogoods=585, foundSolutions=10, bestBound=-976
9.90/6.61 nFilterCalls=868094, avgTableProportion=0.9981169458040636, avgTableSize=530.0976322840614
9.90/6.61
9.90/6.68 num=109, depth=5..13, filters=251521, revisions=(219199,useless=123051), ccks=668977, wck=4.202, mem=129M641
9.90/6.68 decisions=16081, wrong=7394, backtracks=4432, failedAssignments=4236, nogoods=596, foundSolutions=10, bestBound=-976
9.90/6.68 nFilterCalls=880832, avgTableProportion=0.9981169427817086, avgTableSize=530.0967448957349
9.90/6.68
9.90/6.69 o -975
9.90/6.69 num=110, depth=12..71, filters=252074, revisions=(219648,useless=123316), ccks=670306, wck=4.213, mem=129M641
9.90/6.69 decisions=16114, wrong=7404, backtracks=4438, failedAssignments=4242, nogoods=600, foundSolutions=11, bestBound=-975
9.90/6.69 nFilterCalls=882850, avgTableProportion=0.9981169441502791, avgTableSize=530.0971467406695
9.90/6.69
10.00/6.75 num=111, depth=7..17, filters=256176, revisions=(223249,useless=125367), ccks=679381, wck=4.278, mem=129M641
10.00/6.75 decisions=16348, wrong=7517, backtracks=4512, failedAssignments=4309, nogoods=606, foundSolutions=11, bestBound=-975
10.00/6.75 nFilterCalls=896576, avgTableProportion=0.9981169432862077, avgTableSize=530.0968930687416
10.00/6.75
10.00/6.76 num=112, depth=12..15, filters=256738, revisions=(223815,useless=125669), ccks=680829, wck=4.286, mem=129M641
10.00/6.76 decisions=16391, wrong=7532, backtracks=4520, failedAssignments=4320, nogoods=612, foundSolutions=11, bestBound=-975
10.00/6.76 nFilterCalls=898754, avgTableProportion=0.9981169427820688, avgTableSize=530.096745049257
10.00/6.76
10.00/6.78 num=113, depth=6..14, filters=257567, revisions=(224598,useless=126149), ccks=682740, wck=4.302, mem=129M641
10.00/6.78 decisions=16443, wrong=7555, backtracks=4538, failedAssignments=4332, nogoods=613, foundSolutions=11, bestBound=-975
10.00/6.78 nFilterCalls=901540, avgTableProportion=0.9981169422096, avgTableSize=530.0965769682987
10.00/6.78
10.00/6.79 num=114, depth=8..14, filters=258457, revisions=(225437,useless=126613), ccks=685476, wck=4.318, mem=129M641
10.00/6.79 decisions=16496, wrong=7577, backtracks=4551, failedAssignments=4345, nogoods=615, foundSolutions=11, bestBound=-975
10.00/6.79 nFilterCalls=904753, avgTableProportion=0.9981169418658841, avgTableSize=530.0964760547906
10.00/6.79
10.10/6.81 num=115, depth=5..11, filters=259908, revisions=(226711,useless=127326), ccks=688446, wck=4.339, mem=129M641
10.10/6.81 decisions=16561, wrong=7606, backtracks=4572, failedAssignments=4359, nogoods=622, foundSolutions=11, bestBound=-975
10.10/6.81 nFilterCalls=908446, avgTableProportion=0.9981169411712143, avgTableSize=530.0962720954245
10.10/6.81
10.10/6.83 num=116, depth=9..14, filters=260847, revisions=(227608,useless=127814), ccks=690871, wck=4.353, mem=129M641
10.10/6.83 decisions=16623, wrong=7632, backtracks=4587, failedAssignments=4375, nogoods=626, foundSolutions=11, bestBound=-975
10.10/6.83 nFilterCalls=911398, avgTableProportion=0.9981169413647757, avgTableSize=530.0963289364252
10.10/6.83
10.10/6.85 num=117, depth=11..16, filters=261928, revisions=(228554,useless=128370), ccks=693356, wck=4.375, mem=129M641
10.10/6.85 decisions=16693, wrong=7661, backtracks=4603, failedAssignments=4392, nogoods=632, foundSolutions=11, bestBound=-975
10.10/6.85 nFilterCalls=915922, avgTableProportion=0.998116940502841, avgTableSize=530.0960758667222
10.10/6.85
10.10/6.87 num=118, depth=8..12, filters=263315, revisions=(229828,useless=129046), ccks=696757, wck=4.395, mem=129M641
10.10/6.87 decisions=16778, wrong=7699, backtracks=4624, failedAssignments=4411, nogoods=637, foundSolutions=11, bestBound=-975
10.10/6.87 nFilterCalls=919854, avgTableProportion=0.9981169409849836, avgTableSize=530.0962174432029
10.10/6.87
10.20/6.90 num=119, depth=9..15, filters=264839, revisions=(231116,useless=129756), ccks=701024, wck=4.425, mem=129M641
10.20/6.90 decisions=16874, wrong=7741, backtracks=4651, failedAssignments=4432, nogoods=640, foundSolutions=11, bestBound=-975
10.20/6.90 nFilterCalls=925756, avgTableProportion=0.9981169417285303, avgTableSize=530.0964357778939
10.20/6.90
10.20/6.93 num=120, depth=5..14, filters=266448, revisions=(232444,useless=130507), ccks=705057, wck=4.454, mem=129M641
10.20/6.93 decisions=16971, wrong=7785, backtracks=4678, failedAssignments=4455, nogoods=645, foundSolutions=11, bestBound=-975
10.20/6.93 nFilterCalls=931460, avgTableProportion=0.998116941326027, avgTableSize=530.096317608915
10.20/6.93
10.20/6.96 num=121, depth=7..14, filters=268150, revisions=(234084,useless=131385), ccks=709897, wck=4.48, mem=132M283
10.20/6.96 decisions=17076, wrong=7833, backtracks=4711, failedAssignments=4480, nogoods=647, foundSolutions=11, bestBound=-975
10.20/6.96 nFilterCalls=936344, avgTableProportion=0.9981169416663828, avgTableSize=530.096417555941
10.20/6.96
10.20/6.98 num=122, depth=8..15, filters=269895, revisions=(235609,useless=132217), ccks=714321, wck=4.506, mem=132M283
10.20/6.98 decisions=17179, wrong=7879, backtracks=4738, failedAssignments=4508, nogoods=653, foundSolutions=11, bestBound=-975
10.20/6.98 nFilterCalls=942520, avgTableProportion=0.9981169415670531, avgTableSize=530.0963884055511
10.20/6.98
10.32/7.01 num=123, depth=10..16, filters=271783, revisions=(237218,useless=133075), ccks=719131, wck=4.532, mem=132M283
10.32/7.01 decisions=17289, wrong=7928, backtracks=4762, failedAssignments=4539, nogoods=659, foundSolutions=11, bestBound=-975
10.32/7.01 nFilterCalls=947543, avgTableProportion=0.9981169419582213, avgTableSize=530.0965032721471
10.32/7.01
10.32/7.04 num=124, depth=7..16, filters=273723, revisions=(239014,useless=134125), ccks=723516, wck=4.563, mem=132M283
10.32/7.04 decisions=17408, wrong=7984, backtracks=4797, failedAssignments=4573, nogoods=660, foundSolutions=11, bestBound=-975
10.32/7.04 nFilterCalls=953657, avgTableProportion=0.9981169426152109, avgTableSize=530.0966961916076
10.32/7.04
10.32/7.08 num=125, depth=9..15, filters=276219, revisions=(241296,useless=135361), ccks=730630, wck=4.605, mem=132M283
10.32/7.08 decisions=17566, wrong=8058, backtracks=4845, failedAssignments=4610, nogoods=666, foundSolutions=11, bestBound=-975
10.32/7.08 nFilterCalls=961769, avgTableProportion=0.9981169425570743, avgTableSize=530.0966791402093
10.32/7.08
10.42/7.13 num=126, depth=5..12, filters=279018, revisions=(243775,useless=136847), ccks=737510, wck=4.655, mem=132M283
10.42/7.13 decisions=17731, wrong=8137, backtracks=4896, failedAssignments=4651, nogoods=670, foundSolutions=11, bestBound=-975
10.42/7.13 nFilterCalls=971397, avgTableProportion=0.9981169433184199, avgTableSize=530.0969027081616
10.42/7.13
10.42/7.19 num=127, depth=7..12, filters=282486, revisions=(246688,useless=138495), ccks=745736, wck=4.712, mem=132M283
10.42/7.19 decisions=17900, wrong=8218, backtracks=4945, failedAssignments=4696, nogoods=678, foundSolutions=11, bestBound=-975
10.42/7.19 nFilterCalls=982436, avgTableProportion=0.9981169477670607, avgTableSize=530.0982089418548
10.42/7.19
10.52/7.25 num=128, depth=5..14, filters=286403, revisions=(250088,useless=140335), ccks=756677, wck=4.775, mem=132M283
10.52/7.25 decisions=18100, wrong=8315, backtracks=5009, failedAssignments=4746, nogoods=683, foundSolutions=11, bestBound=-975
10.52/7.25 nFilterCalls=994442, avgTableProportion=0.9981169484755752, avgTableSize=530.0984170016955
10.52/7.25
10.62/7.30 num=129, depth=6..14, filters=289512, revisions=(252911,useless=141845), ccks=765189, wck=4.827, mem=134M925
10.62/7.30 decisions=18275, wrong=8398, backtracks=5052, failedAssignments=4801, nogoods=687, foundSolutions=11, bestBound=-975
10.62/7.30 nFilterCalls=1004033, avgTableProportion=0.9981169470137979, avgTableSize=530.0979878151416
10.62/7.30
10.62/7.31 o -974
10.62/7.31 num=130, depth=13..71, filters=290003, revisions=(253323,useless=142087), ccks=766365, wck=4.836, mem=134M925
10.62/7.31 decisions=18304, wrong=8405, backtracks=5056, failedAssignments=4806, nogoods=688, foundSolutions=12, bestBound=-974
10.62/7.31 nFilterCalls=1005935, avgTableProportion=0.998116947743827, avgTableSize=530.0982021701203
10.62/7.31
10.62/7.39 num=131, depth=6..13, filters=294569, revisions=(257231,useless=144303), ccks=775904, wck=4.909, mem=134M925
10.62/7.39 decisions=18538, wrong=8519, backtracks=5118, failedAssignments=4873, nogoods=690, foundSolutions=12, bestBound=-974
10.62/7.39 nFilterCalls=1020352, avgTableProportion=0.9981169444833956, avgTableSize=530.0972448723578
10.62/7.39
10.73/7.40 num=132, depth=10..14, filters=295400, revisions=(257990,useless=144720), ccks=778248, wck=4.926, mem=134M925
10.73/7.40 decisions=18596, wrong=8542, backtracks=5133, failedAssignments=4884, nogoods=694, foundSolutions=12, bestBound=-974
10.73/7.40 nFilterCalls=1023529, avgTableProportion=0.9981169450226007, avgTableSize=530.0974032001047
10.73/7.40
10.73/7.41 num=133, depth=9..15, filters=296418, revisions=(258880,useless=145194), ccks=780601, wck=4.939, mem=134M925
10.73/7.41 decisions=18649, wrong=8564, backtracks=5147, failedAssignments=4896, nogoods=695, foundSolutions=12, bestBound=-974
10.73/7.41 nFilterCalls=1026436, avgTableProportion=0.998116944789816, avgTableSize=530.0973348557533
10.73/7.41
10.73/7.42 o -973
10.73/7.42 num=134, depth=13..71, filters=296734, revisions=(259173,useless=145368), ccks=781411, wck=4.945, mem=134M925
10.73/7.42 decisions=18672, wrong=8567, backtracks=5147, failedAssignments=4899, nogoods=698, foundSolutions=13, bestBound=-973
10.73/7.42 nFilterCalls=1027626, avgTableProportion=0.9981169453935619, avgTableSize=530.0975121298994
10.73/7.42
10.73/7.43 num=135, depth=11..15, filters=297645, revisions=(260087,useless=145860), ccks=783876, wck=4.956, mem=134M925
10.73/7.43 decisions=18729, wrong=8590, backtracks=5160, failedAssignments=4913, nogoods=704, foundSolutions=13, bestBound=-973
10.73/7.43 nFilterCalls=1030186, avgTableProportion=0.9981169450707792, avgTableSize=530.0974173595836
10.73/7.43
10.73/7.44 num=136, depth=11..15, filters=298264, revisions=(260697,useless=146194), ccks=785589, wck=4.964, mem=134M925
10.73/7.44 decisions=18775, wrong=8607, backtracks=5168, failedAssignments=4924, nogoods=708, foundSolutions=13, bestBound=-973
10.73/7.44 nFilterCalls=1031911, avgTableProportion=0.9981169449220992, avgTableSize=530.0973737076163
10.73/7.44
10.73/7.45 num=137, depth=8..14, filters=299142, revisions=(261477,useless=146629), ccks=787869, wck=4.979, mem=134M925
10.73/7.45 decisions=18829, wrong=8629, backtracks=5184, failedAssignments=4936, nogoods=712, foundSolutions=13, bestBound=-973
10.73/7.45 nFilterCalls=1035121, avgTableProportion=0.9981169443871897, avgTableSize=530.0972166538984
10.73/7.45
10.73/7.47 num=138, depth=6..12, filters=300261, revisions=(262493,useless=147198), ccks=790292, wck=4.998, mem=134M925
10.73/7.47 decisions=18889, wrong=8656, backtracks=5201, failedAssignments=4949, nogoods=713, foundSolutions=13, bestBound=-973
10.73/7.47 nFilterCalls=1038637, avgTableProportion=0.9981169439352652, avgTableSize=530.0970839667757
10.73/7.47
10.73/7.49 num=139, depth=4..13, filters=301045, revisions=(263302,useless=147666), ccks=792526, wck=5.012, mem=134M925
10.73/7.49 decisions=18942, wrong=8677, backtracks=5214, failedAssignments=4963, nogoods=715, foundSolutions=13, bestBound=-973
10.73/7.49 nFilterCalls=1041051, avgTableProportion=0.9981169439078974, avgTableSize=530.097075935761
10.73/7.49
10.83/7.51 num=140, depth=8..12, filters=302070, revisions=(264338,useless=148236), ccks=795428, wck=5.034, mem=134M925
10.83/7.51 decisions=19017, wrong=8710, backtracks=5234, failedAssignments=4979, nogoods=720, foundSolutions=13, bestBound=-973
10.83/7.51 nFilterCalls=1044893, avgTableProportion=0.9981169428421474, avgTableSize=530.0967630178401
10.83/7.51
10.83/7.53 num=141, depth=9..14, filters=303207, revisions=(265342,useless=148796), ccks=798187, wck=5.053, mem=134M925
10.83/7.53 decisions=19083, wrong=8738, backtracks=5253, failedAssignments=4996, nogoods=722, foundSolutions=13, bestBound=-973
10.83/7.53 nFilterCalls=1048697, avgTableProportion=0.9981169427768891, avgTableSize=530.0967438640522
10.83/7.53
10.83/7.56 num=142, depth=8..14, filters=304896, revisions=(266908,useless=149693), ccks=802141, wck=5.081, mem=134M925
10.83/7.56 decisions=19174, wrong=8778, backtracks=5280, failedAssignments=5015, nogoods=726, foundSolutions=13, bestBound=-973
10.83/7.56 nFilterCalls=1054041, avgTableProportion=0.9981169422178509, avgTableSize=530.0965797345644
10.83/7.56
10.83/7.57 num=143, depth=10..15, filters=306097, revisions=(268032,useless=150317), ccks=805581, wck=5.097, mem=137M568
10.83/7.57 decisions=19258, wrong=8815, backtracks=5299, failedAssignments=5036, nogoods=730, foundSolutions=13, bestBound=-973
10.83/7.57 nFilterCalls=1057913, avgTableProportion=0.9981169413744841, avgTableSize=530.0963321180475
10.83/7.57
10.93/7.61 num=144, depth=4..11, filters=307925, revisions=(269699,useless=151225), ccks=809889, wck=5.13, mem=137M568
10.93/7.61 decisions=19351, wrong=8859, backtracks=5327, failedAssignments=5059, nogoods=733, foundSolutions=13, bestBound=-973
10.93/7.61 nFilterCalls=1063587, avgTableProportion=0.9981169410523211, avgTableSize=530.0962375433321
10.93/7.61
10.93/7.64 num=145, depth=7..15, filters=309789, revisions=(271351,useless=152176), ccks=814442, wck=5.168, mem=137M568
10.93/7.64 decisions=19459, wrong=8909, backtracks=5364, failedAssignments=5084, nogoods=736, foundSolutions=13, bestBound=-973
10.93/7.64 nFilterCalls=1070802, avgTableProportion=0.9981169411624345, avgTableSize=530.0962698986367
10.93/7.64
10.93/7.68 num=146, depth=5..12, filters=312023, revisions=(273319,useless=153258), ccks=820595, wck=5.199, mem=137M568
10.93/7.68 decisions=19576, wrong=8964, backtracks=5396, failedAssignments=5112, nogoods=740, foundSolutions=13, bestBound=-973
10.93/7.68 nFilterCalls=1076462, avgTableProportion=0.9981169411215973, avgTableSize=530.0962579264293
10.93/7.68
11.03/7.70 num=147, depth=7..18, filters=313620, revisions=(274812,useless=154083), ccks=824553, wck=5.226, mem=137M568
11.03/7.70 decisions=19688, wrong=9014, backtracks=5429, failedAssignments=5143, nogoods=744, foundSolutions=13, bestBound=-973
11.03/7.70 nFilterCalls=1082218, avgTableProportion=0.9981169415052796, avgTableSize=530.0963706018565
11.03/7.70
11.03/7.74 num=148, depth=7..14, filters=315792, revisions=(276873,useless=155212), ccks=830503, wck=5.263, mem=137M568
11.03/7.74 decisions=19818, wrong=9075, backtracks=5468, failedAssignments=5177, nogoods=752, foundSolutions=13, bestBound=-973
11.03/7.74 nFilterCalls=1089036, avgTableProportion=0.9981169398944668, avgTableSize=530.0958976562758
11.03/7.74
11.03/7.79 num=149, depth=8..13, filters=318104, revisions=(278898,useless=156407), ccks=835582, wck=5.312, mem=137M568
11.03/7.79 decisions=19968, wrong=9146, backtracks=5511, failedAssignments=5214, nogoods=755, foundSolutions=13, bestBound=-973
11.03/7.79 nFilterCalls=1098469, avgTableProportion=0.998116938128336, avgTableSize=530.0953791140214
11.03/7.79
11.13/7.82 num=150, depth=8..18, filters=320168, revisions=(280583,useless=157374), ccks=840848, wck=5.343, mem=137M568
11.13/7.82 decisions=20106, wrong=9208, backtracks=5542, failedAssignments=5255, nogoods=762, foundSolutions=13, bestBound=-973
11.13/7.82 nFilterCalls=1105208, avgTableProportion=0.9981169402306257, avgTableSize=530.0959964097256
11.13/7.82
11.13/7.86 num=151, depth=8..15, filters=322519, revisions=(282841,useless=158610), ccks=847512, wck=5.385, mem=137M568
11.13/7.86 decisions=20272, wrong=9287, backtracks=5588, failedAssignments=5300, nogoods=770, foundSolutions=13, bestBound=-973
11.13/7.86 nFilterCalls=1113595, avgTableProportion=0.9981169390557608, avgTableSize=530.0956514711363
11.13/7.86
11.23/7.92 num=152, depth=7..15, filters=325407, revisions=(285458,useless=160149), ccks=854716, wck=5.445, mem=137M568
11.23/7.92 decisions=20465, wrong=9380, backtracks=5655, failedAssignments=5350, nogoods=772, foundSolutions=13, bestBound=-973
11.23/7.92 nFilterCalls=1126016, avgTableProportion=0.9981169380360778, avgTableSize=530.0953521086734
11.23/7.92
11.23/7.93 o -971
11.23/7.93 num=153, depth=10..71, filters=325936, revisions=(285967,useless=160438), ccks=856281, wck=5.455, mem=140M210
11.23/7.93 decisions=20506, wrong=9392, backtracks=5658, failedAssignments=5359, nogoods=776, foundSolutions=14, bestBound=-971
11.23/7.93 nFilterCalls=1127863, avgTableProportion=0.998116938449404, avgTableSize=530.0954734750586
11.23/7.93
11.23/7.99 num=154, depth=7..13, filters=329565, revisions=(289175,useless=162212), ccks=865085, wck=5.512, mem=140M210
11.23/7.99 decisions=20712, wrong=9491, backtracks=5720, failedAssignments=5420, nogoods=785, foundSolutions=14, bestBound=-971
11.23/7.99 nFilterCalls=1138890, avgTableProportion=0.9981169381389305, avgTableSize=530.0953823459685
11.23/7.99
11.23/8.00 num=155, depth=8..13, filters=330390, revisions=(289919,useless=162606), ccks=867426, wck=5.525, mem=140M210
11.23/8.00 decisions=20768, wrong=9515, backtracks=5736, failedAssignments=5431, nogoods=789, foundSolutions=14, bestBound=-971
11.23/8.00 nFilterCalls=1141405, avgTableProportion=0.9981169376528798, avgTableSize=530.0952396388661
11.23/8.00
11.35/8.02 num=156, depth=10..17, filters=331373, revisions=(290706,useless=163052), ccks=869756, wck=5.541, mem=140M210
11.35/8.02 decisions=20827, wrong=9539, backtracks=5749, failedAssignments=5443, nogoods=791, foundSolutions=14, bestBound=-971
11.35/8.02 nFilterCalls=1144793, avgTableProportion=0.9981169389657978, avgTableSize=530.0956251479525
11.35/8.02
11.35/8.03 num=157, depth=7..13, filters=332150, revisions=(291447,useless=163449), ccks=871911, wck=5.553, mem=140M210
11.35/8.03 decisions=20877, wrong=9559, backtracks=5761, failedAssignments=5456, nogoods=794, foundSolutions=14, bestBound=-971
11.35/8.03 nFilterCalls=1147021, avgTableProportion=0.9981169389151425, avgTableSize=530.0956102808929
11.35/8.03
11.35/8.04 num=158, depth=7..13, filters=333082, revisions=(292389,useless=163960), ccks=874427, wck=5.568, mem=140M210
11.35/8.04 decisions=20938, wrong=9586, backtracks=5777, failedAssignments=5470, nogoods=795, foundSolutions=14, bestBound=-971
11.35/8.04 nFilterCalls=1149720, avgTableProportion=0.9981169383313984, avgTableSize=530.0954388894687
11.35/8.04
11.35/8.06 num=159, depth=9..15, filters=334454, revisions=(293503,useless=164559), ccks=877349, wck=5.589, mem=140M210
11.35/8.06 decisions=21009, wrong=9615, backtracks=5795, failedAssignments=5486, nogoods=799, foundSolutions=14, bestBound=-971
11.35/8.06 nFilterCalls=1153793, avgTableProportion=0.9981169383380816, avgTableSize=530.0954408633091
11.35/8.06
11.35/8.08 num=160, depth=9..13, filters=335242, revisions=(294281,useless=164973), ccks=879402, wck=5.601, mem=140M210
11.35/8.08 decisions=21074, wrong=9642, backtracks=5807, failedAssignments=5503, nogoods=804, foundSolutions=14, bestBound=-971
11.35/8.08 nFilterCalls=1156372, avgTableProportion=0.9981169376514046, avgTableSize=530.0952392482695
11.35/8.08
11.35/8.10 num=161, depth=10..16, filters=336773, revisions=(295463,useless=165715), ccks=882699, wck=5.625, mem=140M210
11.35/8.10 decisions=21158, wrong=9678, backtracks=5830, failedAssignments=5522, nogoods=809, foundSolutions=14, bestBound=-971
11.35/8.10 nFilterCalls=1162134, avgTableProportion=0.9981169391319853, avgTableSize=530.0956739928442
11.35/8.10
11.46/8.12 num=162, depth=6..12, filters=338222, revisions=(296829,useless=166444), ccks=886053, wck=5.646, mem=140M210
11.46/8.12 decisions=21237, wrong=9713, backtracks=5850, failedAssignments=5543, nogoods=813, foundSolutions=14, bestBound=-971
11.46/8.12 nFilterCalls=1166253, avgTableProportion=0.9981169388484443, avgTableSize=530.0955907508919
11.46/8.12
11.46/8.15 num=163, depth=7..15, filters=339422, revisions=(297901,useless=167051), ccks=889201, wck=5.67, mem=140M210
11.46/8.15 decisions=21318, wrong=9750, backtracks=5878, failedAssignments=5566, nogoods=816, foundSolutions=14, bestBound=-971
11.46/8.15 nFilterCalls=1170971, avgTableProportion=0.9981169385430169, avgTableSize=530.0955010841429
11.46/8.15
11.46/8.17 num=164, depth=8..12, filters=341055, revisions=(299451,useless=167817), ccks=893404, wck=5.69, mem=140M210
11.46/8.17 decisions=21412, wrong=9793, backtracks=5899, failedAssignments=5591, nogoods=819, foundSolutions=14, bestBound=-971
11.46/8.17 nFilterCalls=1174663, avgTableProportion=0.9981169375322981, avgTableSize=530.0952043266877
11.46/8.17
11.55/8.20 num=165, depth=7..14, filters=343190, revisions=(301286,useless=168836), ccks=898871, wck=5.724, mem=140M210
11.55/8.20 decisions=21531, wrong=9848, backtracks=5936, failedAssignments=5619, nogoods=826, foundSolutions=14, bestBound=-971
11.55/8.20 nFilterCalls=1180839, avgTableProportion=0.9981169374053892, avgTableSize=530.0951670803556
11.55/8.20
11.55/8.24 num=166, depth=8..14, filters=345600, revisions=(303373,useless=170039), ccks=904794, wck=5.761, mem=142M778
11.55/8.24 decisions=21655, wrong=9906, backtracks=5976, failedAssignments=5650, nogoods=830, foundSolutions=14, bestBound=-971
11.55/8.24 nFilterCalls=1187803, avgTableProportion=0.9981169365258072, avgTableSize=530.0949088358929
11.55/8.24
11.55/8.28 num=167, depth=6..14, filters=348164, revisions=(305501,useless=171236), ccks=910619, wck=5.8, mem=142M778
11.55/8.28 decisions=21792, wrong=9971, backtracks=6022, failedAssignments=5684, nogoods=832, foundSolutions=14, bestBound=-971
11.55/8.28 nFilterCalls=1194815, avgTableProportion=0.9981169360539927, avgTableSize=530.0947703200914
11.55/8.28
11.65/8.31 num=168, depth=6..17, filters=350886, revisions=(307729,useless=172438), ccks=917500, wck=5.839, mem=142M778
11.65/8.31 decisions=21934, wrong=10036, backtracks=6058, failedAssignments=5721, nogoods=837, foundSolutions=14, bestBound=-971
11.65/8.31 nFilterCalls=1202752, avgTableProportion=0.9981169379534081, avgTableSize=530.0953280476773
11.65/8.31
11.65/8.35 num=169, depth=6..14, filters=352673, revisions=(309428,useless=173386), ccks=922525, wck=5.872, mem=142M778
11.65/8.35 decisions=22064, wrong=10096, backtracks=6091, failedAssignments=5762, nogoods=843, foundSolutions=14, bestBound=-971
11.65/8.35 nFilterCalls=1209076, avgTableProportion=0.9981169373030748, avgTableSize=530.0951371129689
11.65/8.35
11.65/8.39 num=170, depth=8..14, filters=355207, revisions=(311603,useless=174595), ccks=928196, wck=5.911, mem=142M778
11.65/8.39 decisions=22224, wrong=10172, backtracks=6142, failedAssignments=5807, nogoods=849, foundSolutions=14, bestBound=-971
11.65/8.39 nFilterCalls=1217321, avgTableProportion=0.9981169363478362, avgTableSize=530.0948566565434
11.65/8.39
11.75/8.44 num=171, depth=6..14, filters=358375, revisions=(314377,useless=176232), ccks=936587, wck=5.969, mem=142M778
11.75/8.44 decisions=22419, wrong=10265, backtracks=6204, failedAssignments=5857, nogoods=851, foundSolutions=14, bestBound=-971
11.75/8.44 nFilterCalls=1228815, avgTableProportion=0.9981169373225516, avgTableSize=530.0951428815566
11.75/8.44
11.85/8.50 num=172, depth=5..12, filters=361260, revisions=(317025,useless=177655), ccks=944045, wck=6.025, mem=142M778
11.85/8.50 decisions=22609, wrong=10355, backtracks=6253, failedAssignments=5912, nogoods=858, foundSolutions=14, bestBound=-971
11.85/8.50 nFilterCalls=1239211, avgTableProportion=0.9981169364399611, avgTableSize=530.0948837607154
11.85/8.50
11.85/8.59 num=173, depth=4..15, filters=365093, revisions=(320157,useless=179477), ccks=953204, wck=6.113, mem=29M764
11.85/8.59 decisions=22822, wrong=10459, backtracks=6317, failedAssignments=5973, nogoods=865, foundSolutions=14, bestBound=-971
11.85/8.59 nFilterCalls=1252524, avgTableProportion=0.9981169360260359, avgTableSize=530.0947622560526
11.85/8.59
12.00/8.66 num=174, depth=7..17, filters=369641, revisions=(323834,useless=181571), ccks=963827, wck=6.184, mem=29M764
12.00/8.66 decisions=23061, wrong=10574, backtracks=6393, failedAssignments=6040, nogoods=869, foundSolutions=14, bestBound=-971
12.00/8.66 nFilterCalls=1266533, avgTableProportion=0.9981169401548801, avgTableSize=530.0959746015303
12.00/8.66
12.10/8.74 num=175, depth=7..14, filters=374373, revisions=(328081,useless=183995), ccks=977280, wck=6.263, mem=29M764
12.10/8.74 decisions=23361, wrong=10718, backtracks=6482, failedAssignments=6114, nogoods=873, foundSolutions=14, bestBound=-971
12.10/8.74 nFilterCalls=1282627, avgTableProportion=0.9981169393299769, avgTableSize=530.0957324303948
12.10/8.74
12.20/8.83 num=176, depth=6..13, filters=379532, revisions=(332653,useless=186614), ccks=988210, wck=6.351, mem=29M764
12.20/8.83 decisions=23638, wrong=10853, backtracks=6569, failedAssignments=6195, nogoods=880, foundSolutions=14, bestBound=-971
12.20/8.83 nFilterCalls=1300094, avgTableProportion=0.9981169391119993, avgTableSize=530.0956684670493
12.20/8.83
12.30/8.92 num=177, depth=6..16, filters=384711, revisions=(337038,useless=189150), ccks=1001169, wck=6.449, mem=29M764
12.30/8.92 decisions=23948, wrong=11003, backtracks=6653, failedAssignments=6284, nogoods=888, foundSolutions=14, bestBound=-971
12.30/8.92 nFilterCalls=1319285, avgTableProportion=0.9981169386704849, avgTableSize=530.0955388714342
12.30/8.92
12.41/9.02 num=178, depth=5..14, filters=390128, revisions=(342155,useless=191925), ccks=1016054, wck=6.548, mem=32M353
12.41/9.02 decisions=24293, wrong=11173, backtracks=6744, failedAssignments=6382, nogoods=893, foundSolutions=14, bestBound=-971
12.41/9.02 nFilterCalls=1336850, avgTableProportion=0.9981169369096086, avgTableSize=530.0950218797921
12.41/9.02
12.51/9.15 num=179, depth=6..17, filters=397209, revisions=(347633,useless=195113), ccks=1032654, wck=6.678, mem=32M353
12.51/9.15 decisions=24687, wrong=11366, backtracks=6868, failedAssignments=6490, nogoods=898, foundSolutions=14, bestBound=-971
12.51/9.15 nFilterCalls=1362787, avgTableProportion=0.9981169381450321, avgTableSize=530.0953846786035
12.51/9.15
12.61/9.25 num=180, depth=7..15, filters=403638, revisions=(353203,useless=198323), ccks=1047375, wck=6.772, mem=32M353
12.61/9.25 decisions=25081, wrong=11559, backtracks=6983, failedAssignments=6609, nogoods=906, foundSolutions=14, bestBound=-971
12.61/9.25 nFilterCalls=1383878, avgTableProportion=0.998116939467055, avgTableSize=530.0957728932752
12.61/9.25
12.81/9.42 num=181, depth=4..14, filters=411912, revisions=(360340,useless=202178), ccks=1070692, wck=6.945, mem=34M943
12.81/9.42 decisions=25589, wrong=11808, backtracks=7150, failedAssignments=6740, nogoods=913, foundSolutions=14, bestBound=-971
12.81/9.42 nFilterCalls=1414572, avgTableProportion=0.9981169380568213, avgTableSize=530.0953588788693
12.81/9.42
13.01/9.60 num=182, depth=3..13, filters=420816, revisions=(367852,useless=206549), ccks=1092296, wck=7.126, mem=34M943
13.01/9.60 decisions=26082, wrong=12051, backtracks=7295, failedAssignments=6884, nogoods=922, foundSolutions=14, bestBound=-971
13.01/9.60 nFilterCalls=1447246, avgTableProportion=0.998116935332106, avgTableSize=530.0945589070552
13.01/9.60
13.11/9.79 num=183, depth=6..14, filters=430467, revisions=(376073,useless=211386), ccks=1116767, wck=7.311, mem=34M943
13.11/9.79 decisions=26653, wrong=12333, backtracks=7483, failedAssignments=7042, nogoods=925, foundSolutions=14, bestBound=-971
13.11/9.79 nFilterCalls=1484397, avgTableProportion=0.9981169356990811, avgTableSize=530.0946667232553
13.11/9.79
13.42/10.01 num=184, depth=3..18, filters=440814, revisions=(385134,useless=216585), ccks=1144336, wck=7.536, mem=37M533
13.42/10.01 decisions=27281, wrong=12645, backtracks=7679, failedAssignments=7216, nogoods=929, foundSolutions=14, bestBound=-971
13.42/10.01 nFilterCalls=1521857, avgTableProportion=0.9981169348614136, avgTableSize=530.0944208292894
13.42/10.01
13.61/10.26 num=185, depth=5..16, filters=453987, revisions=(395877,useless=222966), ccks=1175678, wck=7.784, mem=37M533
13.61/10.26 decisions=28026, wrong=13013, backtracks=7924, failedAssignments=7407, nogoods=934, foundSolutions=14, bestBound=-971
13.61/10.26 nFilterCalls=1568016, avgTableProportion=0.9981169355445463, avgTableSize=530.0946214834543
13.61/10.26
13.81/10.49 num=186, depth=3..12, filters=466993, revisions=(407614,useless=229561), ccks=1210872, wck=8.017, mem=40M122
13.81/10.49 decisions=28831, wrong=13412, backtracks=8175, failedAssignments=7618, nogoods=938, foundSolutions=14, bestBound=-971
13.81/10.49 nFilterCalls=1607491, avgTableProportion=0.9981169305904841, avgTableSize=530.0931669290838
13.81/10.49
14.12/10.72 num=187, depth=6..16, filters=480135, revisions=(418860,useless=236156), ccks=1239293, wck=8.243, mem=44M33
14.12/10.72 decisions=29587, wrong=13785, backtracks=8394, failedAssignments=7850, nogoods=942, foundSolutions=14, bestBound=-971
14.12/10.72 nFilterCalls=1654262, avgTableProportion=0.9981169340314865, avgTableSize=530.0941773431294
14.12/10.72
14.32/10.96 num=188, depth=5..16, filters=495792, revisions=(432403,useless=243926), ccks=1279586, wck=8.489, mem=44M33
14.32/10.96 decisions=30524, wrong=14251, backtracks=8676, failedAssignments=8105, nogoods=943, foundSolutions=14, bestBound=-971
14.32/10.96 nFilterCalls=1707639, avgTableProportion=0.9981169277848948, avgTableSize=530.0923432880135
14.32/10.96
14.62/11.24 num=189, depth=5..16, filters=513632, revisions=(447741,useless=252388), ccks=1324924, wck=8.766, mem=46M622
14.62/11.24 decisions=31500, wrong=14734, backtracks=9008, failedAssignments=8386, nogoods=958, foundSolutions=14, bestBound=-971
14.62/11.24 nFilterCalls=1762558, avgTableProportion=0.9981169301683229, avgTableSize=530.0930431792883
14.62/11.24
15.02/11.67 num=190, depth=2..14, filters=535540, revisions=(466691,useless=263147), ccks=1379335, wck=9.193, mem=49M212
15.02/11.67 decisions=32669, wrong=15314, backtracks=9392, failedAssignments=8695, nogoods=964, foundSolutions=14, bestBound=-971
15.02/11.67 nFilterCalls=1835670, avgTableProportion=0.9981169305343252, avgTableSize=530.0931507297063
15.02/11.67
15.53/12.18 num=191, depth=5..16, filters=558843, revisions=(484688,useless=274142), ccks=1429847, wck=9.703, mem=51M802
15.53/12.18 decisions=33933, wrong=15942, backtracks=9843, failedAssignments=9035, nogoods=977, foundSolutions=14, bestBound=-971
15.53/12.18 nFilterCalls=1930026, avgTableProportion=0.9981169328327, avgTableSize=530.0938256790323
15.53/12.18
16.02/12.62 num=192, depth=4..15, filters=585009, revisions=(507473,useless=287164), ccks=1498211, wck=10.142, mem=54M391
16.02/12.62 decisions=35363, wrong=16653, backtracks=10293, failedAssignments=9409, nogoods=986, foundSolutions=14, bestBound=-971
16.02/12.62 nFilterCalls=2009827, avgTableProportion=0.9981169310423397, avgTableSize=530.0933000701056
16.02/12.62
16.53/13.17 num=193, depth=3..14, filters=612434, revisions=(530160,useless=300808), ccks=1560382, wck=10.696, mem=56M981
16.53/13.17 decisions=36889, wrong=17412, backtracks=10833, failedAssignments=9820, nogoods=990, foundSolutions=14, bestBound=-971
16.53/13.17 nFilterCalls=2110519, avgTableProportion=0.998116933406857, avgTableSize=530.0939944155916
16.53/13.17
16.93/13.58 num=194, depth=5..16, filters=639863, revisions=(553857,useless=314416), ccks=1621531, wck=11.106, mem=59M570
16.93/13.58 decisions=38385, wrong=18156, backtracks=11300, failedAssignments=10272, nogoods=995, foundSolutions=14, bestBound=-971
16.93/13.58 nFilterCalls=2192232, avgTableProportion=0.9981169381149938, avgTableSize=530.0953767666925
16.93/13.58
17.43/14.10 num=195, depth=5..18, filters=673418, revisions=(582330,useless=331014), ccks=1703055, wck=11.627, mem=64M749
17.43/14.10 decisions=40174, wrong=19046, backtracks=11871, failedAssignments=10769, nogoods=1000, foundSolutions=14, bestBound=-971
17.43/14.10 nFilterCalls=2301723, avgTableProportion=0.9981169362598576, avgTableSize=530.0948320019394
17.43/14.10
18.13/14.71 num=196, depth=4..19, filters=706701, revisions=(609475,useless=346800), ccks=1776722, wck=12.232, mem=67M339
18.13/14.71 decisions=41991, wrong=19950, backtracks=12501, failedAssignments=11316, nogoods=1006, foundSolutions=14, bestBound=-971
18.13/14.71 nFilterCalls=2419235, avgTableProportion=0.9981169474887158, avgTableSize=530.0981289539875
18.13/14.71
18.83/15.49 num=197, depth=2..16, filters=745966, revisions=(643441,useless=365853), ccks=1878545, wck=13.014, mem=72M518
18.83/15.49 decisions=44234, wrong=21069, backtracks=13213, failedAssignments=11918, nogoods=1012, foundSolutions=14, bestBound=-971
18.83/15.49 nFilterCalls=2552336, avgTableProportion=0.9981169433229251, avgTableSize=530.0969057365488
18.83/15.49
19.73/16.34 num=198, depth=4..15, filters=789702, revisions=(680072,useless=387467), ccks=1990456, wck=13.861, mem=75M108
19.73/16.34 decisions=46651, wrong=22273, backtracks=14028, failedAssignments=12580, nogoods=1016, foundSolutions=14, bestBound=-971
19.73/16.34 nFilterCalls=2700891, avgTableProportion=0.9981169396425426, avgTableSize=530.095825044402
19.73/16.34
20.73/17.36 num=199, depth=3..14, filters=842627, revisions=(724348,useless=413100), ccks=2115627, wck=14.888, mem=82M876
20.73/17.36 decisions=49329, wrong=23610, backtracks=14937, failedAssignments=13308, nogoods=1027, foundSolutions=14, bestBound=-971
20.73/17.36 nFilterCalls=2886267, avgTableProportion=0.9981169361834327, avgTableSize=530.0948093159781
20.73/17.36
21.63/18.25 num=200, depth=3..15, filters=893467, revisions=(768440,useless=438241), ccks=2237492, wck=15.77, mem=88M56
21.63/18.25 decisions=52170, wrong=25028, backtracks=15884, failedAssignments=14109, nogoods=1042, foundSolutions=14, bestBound=-971
21.63/18.25 nFilterCalls=3044627, avgTableProportion=0.9981169432465432, avgTableSize=530.0968831321538
21.63/18.25
22.73/19.38 num=201, depth=2..13, filters=950655, revisions=(817820,useless=465722), ccks=2392924, wck=16.907, mem=93M235
22.73/19.38 decisions=55446, wrong=26663, backtracks=16948, failedAssignments=14990, nogoods=1053, foundSolutions=14, bestBound=-971
22.73/19.38 nFilterCalls=3232296, avgTableProportion=0.9981169369215934, avgTableSize=530.0950259505936
22.73/19.38
23.93/20.59 num=202, depth=2..15, filters=1014898, revisions=(874628,useless=499161), ccks=2551387, wck=18.111, mem=101M3
23.93/20.59 decisions=58981, wrong=28429, backtracks=18130, failedAssignments=15960, nogoods=1058, foundSolutions=14, bestBound=-971
23.93/20.59 nFilterCalls=3431672, avgTableProportion=0.9981169352605056, avgTableSize=530.0945381726459
23.93/20.59
25.23/21.83 num=203, depth=3..15, filters=1085246, revisions=(932869,useless=533400), ccks=2711097, wck=19.358, mem=108M772
25.23/21.83 decisions=62590, wrong=30229, backtracks=19306, failedAssignments=17027, nogoods=1066, foundSolutions=14, bestBound=-971
25.23/21.83 nFilterCalls=3661541, avgTableProportion=0.9981169499863896, avgTableSize=530.0988619272596
25.23/21.83
26.83/23.46 num=204, depth=2..17, filters=1163334, revisions=(1001129,useless=573853), ccks=2917062, wck=20.981, mem=116M541
26.83/23.46 decisions=67000, wrong=32433, backtracks=20771, failedAssignments=18200, nogoods=1067, foundSolutions=14, bestBound=-971
26.83/23.46 nFilterCalls=3939450, avgTableProportion=0.9981169511004155, avgTableSize=530.09918897308
26.83/23.46
27.73/24.37 o -12
27.73/24.37 num=205, depth=1..71, filters=1209496, revisions=(1041055,useless=597150), ccks=3021157, wck=21.891, mem=121M720
27.73/24.37 decisions=69488, wrong=33667, backtracks=21579, failedAssignments=18899, nogoods=1073, foundSolutions=15, bestBound=-12
27.73/24.37 nFilterCalls=4092891, avgTableProportion=0.9981169500514921, avgTableSize=530.0988809621365
27.73/24.37
27.73/24.37 o 2
27.73/24.37 num=206, depth=73..71, filters=1209638, revisions=(1041249,useless=597241), ccks=3021790, wck=21.895, mem=121M720
27.73/24.37 decisions=69509, wrong=33667, backtracks=21579, failedAssignments=18899, nogoods=1073, foundSolutions=16, bestBound=2
27.73/24.37 nFilterCalls=4093472, avgTableProportion=0.9981169499995342, avgTableSize=530.098865706178
27.73/24.37
27.73/24.38 o 7
27.73/24.38 num=207, depth=10..71, filters=1209954, revisions=(1041592,useless=597442), ccks=3022761, wck=21.901, mem=121M720
27.73/24.38 decisions=69531, wrong=33671, backtracks=21582, failedAssignments=18901, nogoods=1074, foundSolutions=17, bestBound=7
27.73/24.38 nFilterCalls=4094726, avgTableProportion=0.9981169500111979, avgTableSize=530.0988691306818
27.73/24.38
27.73/24.38 num=208, depth=14..19, filters=1210461, revisions=(1042087,useless=597718), ccks=3024437, wck=21.907, mem=121M720
27.73/24.38 decisions=69581, wrong=33689, backtracks=21591, failedAssignments=18912, nogoods=1075, foundSolutions=17, bestBound=7
27.73/24.38 nFilterCalls=4096871, avgTableProportion=0.9981169500069809, avgTableSize=530.098867892106
27.73/24.38
27.73/24.39 num=209, depth=14..19, filters=1210952, revisions=(1042515,useless=597922), ccks=3026438, wck=21.913, mem=121M720
27.73/24.39 decisions=69635, wrong=33709, backtracks=21603, failedAssignments=18923, nogoods=1078, foundSolutions=17, bestBound=7
27.73/24.39 nFilterCalls=4099193, avgTableProportion=0.9981169498810509, avgTableSize=530.0988309162316
27.73/24.39
27.73/24.39 num=210, depth=14..19, filters=1211485, revisions=(1042977,useless=598151), ccks=3028096, wck=21.919, mem=121M720
27.73/24.39 decisions=69689, wrong=33729, backtracks=21615, failedAssignments=18935, nogoods=1079, foundSolutions=17, bestBound=7
27.73/24.39 nFilterCalls=4101361, avgTableProportion=0.9981169499157085, avgTableSize=530.098841092018
27.73/24.39
27.84/24.40 num=211, depth=13..16, filters=1212089, revisions=(1043466,useless=598403), ccks=3030050, wck=21.927, mem=121M720
27.84/24.40 decisions=69740, wrong=33748, backtracks=21623, failedAssignments=18948, nogoods=1081, foundSolutions=17, bestBound=7
27.84/24.40 nFilterCalls=4104153, avgTableProportion=0.9981169501381354, avgTableSize=530.0989064004193
27.84/24.40
27.84/24.41 num=212, depth=13..18, filters=1212729, revisions=(1044025,useless=598691), ccks=3032147, wck=21.935, mem=121M720
27.84/24.41 decisions=69803, wrong=33772, backtracks=21636, failedAssignments=18962, nogoods=1084, foundSolutions=17, bestBound=7
27.84/24.41 nFilterCalls=4106734, avgTableProportion=0.9981169502142037, avgTableSize=530.098928735097
27.84/24.41
27.84/24.42 num=213, depth=12..17, filters=1213603, revisions=(1044720,useless=599041), ccks=3035138, wck=21.947, mem=121M720
27.84/24.42 decisions=69870, wrong=33799, backtracks=21651, failedAssignments=18978, nogoods=1090, foundSolutions=17, bestBound=7
27.84/24.42 nFilterCalls=4110530, avgTableProportion=0.9981169504167579, avgTableSize=530.0989882083333
27.84/24.42
27.84/24.43 num=214, depth=14..19, filters=1214388, revisions=(1045368,useless=599376), ccks=3037741, wck=21.957, mem=121M720
27.84/24.43 decisions=69944, wrong=33829, backtracks=21671, failedAssignments=18995, nogoods=1092, foundSolutions=17, bestBound=7
27.84/24.43 nFilterCalls=4114009, avgTableProportion=0.9981169506490702, avgTableSize=530.0990564191766
27.84/24.43
27.84/24.44 num=215, depth=13..19, filters=1215428, revisions=(1046180,useless=599781), ccks=3040679, wck=21.969, mem=121M720
27.84/24.44 decisions=70031, wrong=33866, backtracks=21697, failedAssignments=19014, nogoods=1098, foundSolutions=17, bestBound=7
27.84/24.44 nFilterCalls=4118319, avgTableProportion=0.9981169508798554, avgTableSize=530.0991241814925
27.84/24.44
27.84/24.46 num=216, depth=12..16, filters=1216363, revisions=(1046947,useless=600187), ccks=3043988, wck=21.982, mem=121M720
27.84/24.46 decisions=70110, wrong=33899, backtracks=21716, failedAssignments=19035, nogoods=1104, foundSolutions=17, bestBound=7
27.84/24.46 nFilterCalls=4122386, avgTableProportion=0.9981169511920338, avgTableSize=530.0992158424757
27.84/24.46
27.84/24.47 num=217, depth=11..16, filters=1217598, revisions=(1048009,useless=600768), ccks=3047610, wck=21.999, mem=121M720
27.84/24.47 decisions=70206, wrong=33941, backtracks=21740, failedAssignments=19058, nogoods=1106, foundSolutions=17, bestBound=7
27.84/24.47 nFilterCalls=4127625, avgTableProportion=0.9981169511534281, avgTableSize=530.0992045062233
27.84/24.47
27.84/24.49 num=218, depth=11..16, filters=1219088, revisions=(1049123,useless=601365), ccks=3052540, wck=22.019, mem=121M720
27.84/24.49 decisions=70315, wrong=33989, backtracks=21771, failedAssignments=19083, nogoods=1114, foundSolutions=17, bestBound=7
27.84/24.49 nFilterCalls=4133870, avgTableProportion=0.9981169515286776, avgTableSize=530.0993146857545
27.84/24.49
27.94/24.52 num=219, depth=11..19, filters=1220474, revisions=(1050256,useless=601994), ccks=3056383, wck=22.041, mem=121M720
27.94/24.52 decisions=70425, wrong=34038, backtracks=21801, failedAssignments=19111, nogoods=1116, foundSolutions=17, bestBound=7
27.94/24.52 nFilterCalls=4139960, avgTableProportion=0.9981169516086216, avgTableSize=530.0993381578566
27.94/24.52
27.94/24.54 num=220, depth=12..18, filters=1222311, revisions=(1051533,useless=602676), ccks=3061384, wck=22.061, mem=121M720
27.94/24.54 decisions=70540, wrong=34089, backtracks=21834, failedAssignments=19142, nogoods=1120, foundSolutions=17, bestBound=7
27.94/24.54 nFilterCalls=4147639, avgTableProportion=0.9981169526581853, avgTableSize=530.0996463289115
27.94/24.54
27.94/24.56 num=221, depth=10..17, filters=1224057, revisions=(1053081,useless=603457), ccks=3066698, wck=22.083, mem=124M310
27.94/24.56 decisions=70674, wrong=34150, backtracks=21870, failedAssignments=19176, nogoods=1127, foundSolutions=17, bestBound=7
27.94/24.56 nFilterCalls=4153574, avgTableProportion=0.9981169525611044, avgTableSize=530.0996178231085
27.94/24.56
27.94/24.59 num=222, depth=11..17, filters=1226496, revisions=(1054781,useless=604423), ccks=3072981, wck=22.114, mem=124M310
27.94/24.59 decisions=70817, wrong=34215, backtracks=21910, failedAssignments=19213, nogoods=1131, foundSolutions=17, bestBound=7
27.94/24.59 nFilterCalls=4164042, avgTableProportion=0.998116953844559, avgTableSize=530.0999946686417
27.94/24.59
28.04/24.62 num=223, depth=10..16, filters=1228691, revisions=(1056532,useless=605384), ccks=3080024, wck=22.148, mem=124M310
28.04/24.62 decisions=70973, wrong=34288, backtracks=21959, failedAssignments=19254, nogoods=1136, foundSolutions=17, bestBound=7
28.04/24.62 nFilterCalls=4174157, avgTableProportion=0.9981169543810745, avgTableSize=530.100152198396
28.04/24.62
28.04/24.66 num=224, depth=9..15, filters=1231150, revisions=(1058822,useless=606615), ccks=3088030, wck=22.18, mem=124M310
28.04/24.66 decisions=71149, wrong=34371, backtracks=22011, failedAssignments=19299, nogoods=1142, foundSolutions=17, bestBound=7
28.04/24.66 nFilterCalls=4182163, avgTableProportion=0.9981169542248703, avgTableSize=530.1001063325365
28.04/24.66
28.04/24.66 o 15
28.04/24.66 num=225, depth=15..71, filters=1231907, revisions=(1059396,useless=606956), ccks=3090039, wck=22.189, mem=124M310
28.04/24.66 decisions=71200, wrong=34389, backtracks=22023, failedAssignments=19309, nogoods=1149, foundSolutions=18, bestBound=15
28.04/24.66 nFilterCalls=4185577, avgTableProportion=0.9981169548011587, avgTableSize=530.1002755414606
28.04/24.66
28.14/24.70 num=226, depth=10..17, filters=1235660, revisions=(1062376,useless=608613), ccks=3100172, wck=22.228, mem=124M310
28.14/24.70 decisions=71416, wrong=34492, backtracks=22086, failedAssignments=19364, nogoods=1156, foundSolutions=18, bestBound=15
28.14/24.70 nFilterCalls=4196656, avgTableProportion=0.9981169550560278, avgTableSize=530.1003503742027
28.14/24.70
28.14/24.71 num=227, depth=9..14, filters=1236237, revisions=(1062922,useless=608911), ccks=3101946, wck=22.238, mem=124M310
28.14/24.71 decisions=71465, wrong=34512, backtracks=22100, failedAssignments=19375, nogoods=1159, foundSolutions=18, bestBound=15
28.14/24.71 nFilterCalls=4199215, avgTableProportion=0.9981169550497058, avgTableSize=530.1003485175205
28.14/24.71
28.14/24.72 num=228, depth=10..14, filters=1236864, revisions=(1063485,useless=609191), ccks=3103618, wck=22.249, mem=124M310
28.14/24.72 decisions=71513, wrong=34530, backtracks=22107, failedAssignments=19387, nogoods=1168, foundSolutions=18, bestBound=15
28.14/24.72 nFilterCalls=4201615, avgTableProportion=0.9981169551462993, avgTableSize=530.1003768788906
28.14/24.72
28.14/24.74 num=229, depth=9..14, filters=1237455, revisions=(1063999,useless=609460), ccks=3105724, wck=22.26, mem=124M310
28.14/24.74 decisions=71567, wrong=34552, backtracks=22120, failedAssignments=19400, nogoods=1174, foundSolutions=18, bestBound=15
28.14/24.74 nFilterCalls=4204163, avgTableProportion=0.998116955266389, avgTableSize=530.1004121391106
28.14/24.74
28.14/24.75 num=230, depth=9..13, filters=1238370, revisions=(1064739,useless=609850), ccks=3108173, wck=22.272, mem=124M310
28.14/24.75 decisions=71623, wrong=34575, backtracks=22132, failedAssignments=19414, nogoods=1177, foundSolutions=18, bestBound=15
28.14/24.75 nFilterCalls=4207003, avgTableProportion=0.998116955301063, avgTableSize=530.1004223196418
28.14/24.75
28.14/24.76 num=231, depth=10..16, filters=1239285, revisions=(1065481,useless=610228), ccks=3111206, wck=22.286, mem=124M310
28.14/24.76 decisions=71697, wrong=34607, backtracks=22155, failedAssignments=19430, nogoods=1179, foundSolutions=18, bestBound=15
28.14/24.76 nFilterCalls=4211008, avgTableProportion=0.9981169554246534, avgTableSize=530.1004586075353
28.14/24.76
28.14/24.77 num=232, depth=12..18, filters=1240068, revisions=(1066151,useless=610573), ccks=3113550, wck=22.297, mem=124M310
28.14/24.77 decisions=71765, wrong=34635, backtracks=22173, failedAssignments=19447, nogoods=1182, foundSolutions=18, bestBound=15
28.14/24.77 nFilterCalls=4214086, avgTableProportion=0.9981169555578349, avgTableSize=530.100497711722
28.14/24.77
28.14/24.79 num=233, depth=11..18, filters=1241021, revisions=(1066905,useless=610968), ccks=3116428, wck=22.311, mem=124M310
28.14/24.79 decisions=71838, wrong=34665, backtracks=22188, failedAssignments=19466, nogoods=1187, foundSolutions=18, bestBound=15
28.14/24.79 nFilterCalls=4218193, avgTableProportion=0.9981169556484725, avgTableSize=530.1005243240411
28.14/24.79
28.24/24.80 num=234, depth=11..16, filters=1242090, revisions=(1067777,useless=611431), ccks=3119365, wck=22.324, mem=124M310
28.24/24.80 decisions=71921, wrong=34701, backtracks=22210, failedAssignments=19487, nogoods=1191, foundSolutions=18, bestBound=15
28.24/24.80 nFilterCalls=4221908, avgTableProportion=0.9981169560095101, avgTableSize=530.1006303311204
28.24/24.80
28.24/24.82 num=235, depth=10..15, filters=1243320, revisions=(1068742,useless=611948), ccks=3123173, wck=22.342, mem=126M899
28.24/24.82 decisions=72009, wrong=34740, backtracks=22232, failedAssignments=19510, nogoods=1194, foundSolutions=18, bestBound=15
28.24/24.82 nFilterCalls=4226897, avgTableProportion=0.9981169563809217, avgTableSize=530.1007393839973
28.24/24.82
28.24/24.84 num=236, depth=8..15, filters=1244589, revisions=(1069855,useless=612539), ccks=3126423, wck=22.361, mem=126M899
28.24/24.84 decisions=72091, wrong=34776, backtracks=22252, failedAssignments=19535, nogoods=1197, foundSolutions=18, bestBound=15
28.24/24.84 nFilterCalls=4231329, avgTableProportion=0.9981169563757107, avgTableSize=530.1007378532844
28.24/24.84
28.24/24.86 num=237, depth=10..16, filters=1246567, revisions=(1071504,useless=613419), ccks=3131931, wck=22.388, mem=126M899
28.24/24.86 decisions=72223, wrong=34836, backtracks=22289, failedAssignments=19563, nogoods=1202, foundSolutions=18, bestBound=15
28.24/24.86 nFilterCalls=4238510, avgTableProportion=0.9981169566389522, avgTableSize=530.1008151449448
28.24/24.86
28.24/24.89 num=238, depth=9..15, filters=1248541, revisions=(1073130,useless=614232), ccks=3137827, wck=22.416, mem=126M899
28.24/24.89 decisions=72343, wrong=34890, backtracks=22327, failedAssignments=19594, nogoods=1208, foundSolutions=18, bestBound=15
28.24/24.89 nFilterCalls=4245354, avgTableProportion=0.9981169568716207, avgTableSize=530.1008834598953
28.24/24.89
28.34/24.92 num=239, depth=9..15, filters=1250520, revisions=(1074674,useless=615112), ccks=3143539, wck=22.449, mem=126M899
28.34/24.92 decisions=72471, wrong=34949, backtracks=22364, failedAssignments=19628, nogoods=1216, foundSolutions=18, bestBound=15
28.34/24.92 nFilterCalls=4254030, avgTableProportion=0.9981169575447163, avgTableSize=530.101081092517
28.34/24.92
28.34/24.95 num=240, depth=8..17, filters=1252258, revisions=(1076216,useless=615940), ccks=3148458, wck=22.479, mem=126M899
28.34/24.95 decisions=72599, wrong=35007, backtracks=22404, failedAssignments=19665, nogoods=1222, foundSolutions=18, bestBound=15
28.34/24.95 nFilterCalls=4260875, avgTableProportion=0.9981169576591015, avgTableSize=530.1011146771497
28.34/24.95
28.34/24.99 num=241, depth=8..16, filters=1254425, revisions=(1077991,useless=616859), ccks=3155347, wck=22.511, mem=126M899
28.34/24.99 decisions=72759, wrong=35082, backtracks=22459, failedAssignments=19706, nogoods=1226, foundSolutions=18, bestBound=15
28.34/24.99 nFilterCalls=4269200, avgTableProportion=0.9981169580047088, avgTableSize=530.1012161529092
28.34/24.99
28.45/25.03 num=242, depth=7..15, filters=1257106, revisions=(1080396,useless=618228), ccks=3162106, wck=22.55, mem=126M899
28.45/25.03 decisions=72930, wrong=35164, backtracks=22514, failedAssignments=19751, nogoods=1227, foundSolutions=18, bestBound=15
28.45/25.03 nFilterCalls=4278060, avgTableProportion=0.9981169578799045, avgTableSize=530.1011795065988
28.45/25.03
28.45/25.07 num=243, depth=8..13, filters=1260112, revisions=(1082908,useless=619645), ccks=3171413, wck=22.597, mem=126M899
28.45/25.07 decisions=73124, wrong=35256, backtracks=22577, failedAssignments=19801, nogoods=1236, foundSolutions=18, bestBound=15
28.45/25.07 nFilterCalls=4289625, avgTableProportion=0.9981169583823721, avgTableSize=530.1013270390769
28.45/25.07
28.56/25.14 num=244, depth=8..15, filters=1263641, revisions=(1085808,useless=621288), ccks=3180076, wck=22.661, mem=129M489
28.56/25.14 decisions=73337, wrong=35358, backtracks=22644, failedAssignments=19856, nogoods=1245, foundSolutions=18, bestBound=15
28.56/25.14 nFilterCalls=4304311, avgTableProportion=0.9981169584218716, avgTableSize=530.1013386346851
28.56/25.14
28.56/25.19 num=245, depth=9..17, filters=1266993, revisions=(1088548,useless=622811), ccks=3189254, wck=22.712, mem=129M489
28.56/25.19 decisions=73574, wrong=35471, backtracks=22718, failedAssignments=19917, nogoods=1251, foundSolutions=18, bestBound=15
28.56/25.19 nFilterCalls=4318559, avgTableProportion=0.9981169592011511, avgTableSize=530.1015674441405
28.56/25.19
28.65/25.25 num=246, depth=8..14, filters=1271361, revisions=(1091882,useless=624718), ccks=3201499, wck=22.775, mem=129M489
28.65/25.25 decisions=73828, wrong=35593, backtracks=22791, failedAssignments=19984, nogoods=1260, foundSolutions=18, bestBound=15
28.65/25.25 nFilterCalls=4335404, avgTableProportion=0.9981169595751673, avgTableSize=530.1016772600661
28.65/25.25
28.75/25.31 num=247, depth=10..18, filters=1275527, revisions=(1095220,useless=626660), ccks=3212494, wck=22.839, mem=129M489
28.75/25.31 decisions=74101, wrong=35723, backtracks=22871, failedAssignments=20058, nogoods=1268, foundSolutions=18, bestBound=15
28.75/25.31 nFilterCalls=4352279, avgTableProportion=0.9981169615731169, avgTableSize=530.1022638943873
28.75/25.31
28.75/25.38 num=248, depth=8..14, filters=1280069, revisions=(1098952,useless=628784), ccks=3225760, wck=22.908, mem=129M489
28.75/25.38 decisions=74402, wrong=35868, backtracks=22967, failedAssignments=20139, nogoods=1278, foundSolutions=18, bestBound=15
28.75/25.38 nFilterCalls=4369788, avgTableProportion=0.9981169615142517, avgTableSize=530.1022466078446
28.75/25.38
28.85/25.49 num=249, depth=7..14, filters=1286551, revisions=(1104055,useless=631646), ccks=3245256, wck=23.012, mem=132M78
28.85/25.49 decisions=74770, wrong=36048, backtracks=23090, failedAssignments=20228, nogoods=1287, foundSolutions=18, bestBound=15
28.85/25.49 nFilterCalls=4395399, avgTableProportion=0.9981169618818232, avgTableSize=530.1023545302713
28.85/25.49
28.95/25.58 num=250, depth=7..15, filters=1292499, revisions=(1108792,useless=634341), ccks=3259871, wck=23.105, mem=132M78
28.95/25.58 decisions=75139, wrong=36228, backtracks=23203, failedAssignments=20326, nogoods=1294, foundSolutions=18, bestBound=15
28.95/25.58 nFilterCalls=4417244, avgTableProportion=0.9981169624855903, avgTableSize=530.1025318048992
28.95/25.58
29.05/25.67 num=251, depth=7..15, filters=1298234, revisions=(1113665,useless=636969), ccks=3277911, wck=23.197, mem=132M78
29.05/25.67 decisions=75522, wrong=36415, backtracks=23323, failedAssignments=20434, nogoods=1298, foundSolutions=18, bestBound=15
29.05/25.67 nFilterCalls=4438907, avgTableProportion=0.9981169621693798, avgTableSize=530.1024389562566
29.05/25.67
29.15/25.77 num=252, depth=6..15, filters=1304585, revisions=(1119090,useless=639933), ccks=3296270, wck=23.296, mem=132M78
29.15/25.77 decisions=75938, wrong=36618, backtracks=23447, failedAssignments=20553, nogoods=1304, foundSolutions=18, bestBound=15
29.15/25.77 nFilterCalls=4460723, avgTableProportion=0.9981169625337271, avgTableSize=530.1025459325764
29.15/25.77
29.25/25.88 num=253, depth=7..15, filters=1311720, revisions=(1125070,useless=643296), ccks=3316722, wck=23.408, mem=134M668
29.25/25.88 decisions=76411, wrong=36849, backtracks=23592, failedAssignments=20684, nogoods=1312, foundSolutions=18, bestBound=15
29.25/25.88 nFilterCalls=4486612, avgTableProportion=0.9981169626006827, avgTableSize=530.1025655884663
29.25/25.88
29.46/26.02 num=254, depth=7..15, filters=1320287, revisions=(1132149,useless=647278), ccks=3337850, wck=23.546, mem=134M668
29.46/26.02 decisions=76939, wrong=37107, backtracks=23763, failedAssignments=20828, nogoods=1323, foundSolutions=18, bestBound=15
29.46/26.02 nFilterCalls=4517804, avgTableProportion=0.998116962076598, avgTableSize=530.1024117026768
29.46/26.02
29.57/26.16 num=255, depth=8..17, filters=1329362, revisions=(1139795,useless=651311), ccks=3364293, wck=23.685, mem=134M668
29.57/26.16 decisions=77525, wrong=37395, backtracks=23932, failedAssignments=20986, nogoods=1331, foundSolutions=18, bestBound=15
29.57/26.16 nFilterCalls=4549672, avgTableProportion=0.9981169610737801, avgTableSize=530.1021172515293
29.57/26.16
29.76/26.31 num=256, depth=7..16, filters=1338965, revisions=(1147590,useless=655568), ccks=3391196, wck=23.839, mem=137M257
29.76/26.31 decisions=78152, wrong=37704, backtracks=24130, failedAssignments=21160, nogoods=1344, foundSolutions=18, bestBound=15
29.76/26.31 nFilterCalls=4585787, avgTableProportion=0.9981169635432315, avgTableSize=530.1028423256466
29.76/26.31
29.86/26.46 num=257, depth=7..16, filters=1348977, revisions=(1156722,useless=660261), ccks=3424511, wck=23.987, mem=137M257
29.86/26.46 decisions=78803, wrong=38025, backtracks=24322, failedAssignments=21351, nogoods=1353, foundSolutions=18, bestBound=15
29.86/26.46 nFilterCalls=4616383, avgTableProportion=0.998116963349537, avgTableSize=530.1027854491276
29.86/26.46
30.06/26.68 num=258, depth=6..15, filters=1361657, revisions=(1167664,useless=666315), ccks=3463013, wck=24.205, mem=139M847
30.06/26.68 decisions=79605, wrong=38421, backtracks=24580, failedAssignments=21562, nogoods=1361, foundSolutions=18, bestBound=15
30.06/26.68 nFilterCalls=4663028, avgTableProportion=0.9981169635018945, avgTableSize=530.1028301781589
30.06/26.68
30.36/26.92 num=259, depth=6..15, filters=1374823, revisions=(1179035,useless=672672), ccks=3497651, wck=24.446, mem=139M847
30.36/26.92 decisions=80425, wrong=38826, backtracks=24855, failedAssignments=21794, nogoods=1370, foundSolutions=18, bestBound=15
30.36/26.92 nFilterCalls=4713715, avgTableProportion=0.9981169630661242, avgTableSize=530.1027022210719
30.36/26.92
30.59/27.17 num=260, depth=4..14, filters=1388417, revisions=(1191617,useless=679364), ccks=3542926, wck=24.693, mem=142M437
30.59/27.17 decisions=81350, wrong=39285, backtracks=25141, failedAssignments=22049, nogoods=1374, foundSolutions=18, bestBound=15
30.59/27.17 nFilterCalls=4761391, avgTableProportion=0.9981169613233928, avgTableSize=530.1021905153347
30.59/27.17
30.88/27.45 num=261, depth=5..16, filters=1403833, revisions=(1204163,useless=686271), ccks=3584801, wck=24.977, mem=145M26
30.88/27.45 decisions=82291, wrong=39751, backtracks=25448, failedAssignments=22330, nogoods=1386, foundSolutions=18, bestBound=15
30.88/27.45 nFilterCalls=4822027, avgTableProportion=0.9981169635663084, avgTableSize=530.1028490715627
30.88/27.45
31.18/27.79 num=262, depth=5..16, filters=1421743, revisions=(1219671,useless=694525), ccks=3637704, wck=25.313, mem=145M26
31.18/27.79 decisions=83437, wrong=40320, backtracks=25805, failedAssignments=22639, nogoods=1396, foundSolutions=18, bestBound=15
31.18/27.79 nFilterCalls=4888667, avgTableProportion=0.9981169627429719, avgTableSize=530.1026073160639
31.18/27.79
31.59/28.13 num=263, depth=5..15, filters=1441667, revisions=(1237321,useless=704410), ccks=3691216, wck=25.651, mem=147M616
31.59/28.13 decisions=84673, wrong=40935, backtracks=26212, failedAssignments=22979, nogoods=1404, foundSolutions=18, bestBound=15
31.59/28.13 nFilterCalls=4956512, avgTableProportion=0.9981169623977889, avgTableSize=530.1025059558011
31.59/28.13
31.88/28.48 num=264, depth=6..15, filters=1462642, revisions=(1255385,useless=714137), ccks=3755172, wck=26.007, mem=150M205
31.88/28.48 decisions=85996, wrong=41592, backtracks=26627, failedAssignments=23353, nogoods=1407, foundSolutions=18, bestBound=15
31.88/28.48 nFilterCalls=5033696, avgTableProportion=0.9981169622734472, avgTableSize=530.1024694379637
31.88/28.48
32.38/28.95 num=265, depth=3..14, filters=1485848, revisions=(1276527,useless=725298), ccks=3826547, wck=26.472, mem=152M795
32.38/28.95 decisions=87491, wrong=42336, backtracks=27087, failedAssignments=23764, nogoods=1410, foundSolutions=18, bestBound=15
32.38/28.95 nFilterCalls=5117456, avgTableProportion=0.9981169596121702, avgTableSize=530.1016880262381
32.38/28.95
32.38/28.95 o 20
32.38/28.95 num=266, depth=10..71, filters=1486131, revisions=(1276790,useless=725424), ccks=3827616, wck=26.478, mem=152M795
32.38/28.95 decisions=87519, wrong=42343, backtracks=27091, failedAssignments=23767, nogoods=1412, foundSolutions=19, bestBound=20
32.38/28.95 nFilterCalls=5118803, avgTableProportion=0.9981169596787226, avgTableSize=530.1017075671792
32.38/28.95
32.98/29.54 num=267, depth=5..15, filters=1516448, revisions=(1303590,useless=739919), ccks=3921195, wck=27.064, mem=155M384
32.98/29.54 decisions=89385, wrong=43272, backtracks=27688, failedAssignments=24264, nogoods=1423, foundSolutions=19, bestBound=20
32.98/29.54 nFilterCalls=5223359, avgTableProportion=0.9981169598573262, avgTableSize=530.1017599977332
32.98/29.54
32.98/29.55 num=268, depth=5..12, filters=1517298, revisions=(1304362,useless=740326), ccks=3923551, wck=27.079, mem=155M384
32.98/29.55 decisions=89433, wrong=43293, backtracks=27703, failedAssignments=24275, nogoods=1427, foundSolutions=19, bestBound=20
32.98/29.55 nFilterCalls=5226273, avgTableProportion=0.9981169600642116, avgTableSize=530.1018207430037
32.98/29.55
32.98/29.57 num=269, depth=5..10, filters=1518071, revisions=(1305118,useless=740760), ccks=3925671, wck=27.095, mem=157M974
32.98/29.57 decisions=89487, wrong=43317, backtracks=27718, failedAssignments=24287, nogoods=1434, foundSolutions=19, bestBound=20
32.98/29.57 nFilterCalls=5229111, avgTableProportion=0.9981169599815176, avgTableSize=530.1017964621519
32.98/29.57
32.98/29.58 num=270, depth=8..16, filters=1518722, revisions=(1305666,useless=741036), ccks=3927511, wck=27.108, mem=157M974
32.98/29.58 decisions=89540, wrong=43339, backtracks=27731, failedAssignments=24300, nogoods=1438, foundSolutions=19, bestBound=20
32.98/29.58 nFilterCalls=5232112, avgTableProportion=0.9981169601413291, avgTableSize=530.1018433856156
32.98/29.58
33.08/29.60 num=271, depth=8..15, filters=1519506, revisions=(1306380,useless=741365), ccks=3930041, wck=27.121, mem=157M974
33.08/29.60 decisions=89604, wrong=43365, backtracks=27748, failedAssignments=24314, nogoods=1446, foundSolutions=19, bestBound=20
33.08/29.60 nFilterCalls=5235106, avgTableProportion=0.9981169602903619, avgTableSize=530.1018871442145
33.08/29.60
33.08/29.61 num=272, depth=9..14, filters=1520328, revisions=(1307040,useless=741735), ccks=3931978, wck=27.136, mem=157M974
33.08/29.61 decisions=89659, wrong=43388, backtracks=27763, failedAssignments=24330, nogoods=1450, foundSolutions=19, bestBound=20
33.08/29.61 nFilterCalls=5238575, avgTableProportion=0.9981169607698708, avgTableSize=530.1020279369867
33.08/29.61
33.08/29.64 num=273, depth=5..14, filters=1521813, revisions=(1308252,useless=742367), ccks=3936177, wck=27.165, mem=157M974
33.08/29.64 decisions=89738, wrong=43425, backtracks=27792, failedAssignments=24347, nogoods=1453, foundSolutions=19, bestBound=20
33.08/29.64 nFilterCalls=5244087, avgTableProportion=0.9981169611891715, avgTableSize=530.1021510512697
33.08/29.64
33.08/29.66 num=274, depth=7..13, filters=1522965, revisions=(1309217,useless=742878), ccks=3939522, wck=27.184, mem=157M974
33.08/29.66 decisions=89816, wrong=43460, backtracks=27813, failedAssignments=24366, nogoods=1457, foundSolutions=19, bestBound=20
33.08/29.66 nFilterCalls=5248350, avgTableProportion=0.9981169614575216, avgTableSize=530.1022298436651
33.08/29.66
33.08/29.68 num=275, depth=4..13, filters=1524526, revisions=(1310592,useless=743581), ccks=3944490, wck=27.209, mem=157M974
33.08/29.68 decisions=89914, wrong=43506, backtracks=27848, failedAssignments=24387, nogoods=1459, foundSolutions=19, bestBound=20
33.08/29.68 nFilterCalls=5253470, avgTableProportion=0.9981169615797799, avgTableSize=530.1022657405487
33.08/29.68
33.18/29.71 num=276, depth=8..15, filters=1526172, revisions=(1312017,useless=744399), ccks=3948975, wck=27.236, mem=157M974
33.18/29.71 decisions=90027, wrong=43557, backtracks=27884, failedAssignments=24410, nogoods=1463, foundSolutions=19, bestBound=20
33.18/29.71 nFilterCalls=5259172, avgTableProportion=0.9981169619701994, avgTableSize=530.1023803747054
33.18/29.71
33.18/29.74 num=277, depth=5..12, filters=1527900, revisions=(1313438,useless=745129), ccks=3953734, wck=27.266, mem=157M974
33.18/29.74 decisions=90138, wrong=43609, backtracks=27920, failedAssignments=24435, nogoods=1468, foundSolutions=19, bestBound=20
33.18/29.74 nFilterCalls=5265065, avgTableProportion=0.9981169621459359, avgTableSize=530.1024319737743
33.18/29.74
33.18/29.78 num=278, depth=8..14, filters=1530097, revisions=(1315294,useless=746138), ccks=3959420, wck=27.303, mem=157M974
33.18/29.78 decisions=90269, wrong=43670, backtracks=27962, failedAssignments=24463, nogoods=1477, foundSolutions=19, bestBound=20
33.18/29.78 nFilterCalls=5272867, avgTableProportion=0.9981169627910847, avgTableSize=530.1026214012226
33.18/29.78
33.28/29.80 num=279, depth=8..14, filters=1531651, revisions=(1316730,useless=746935), ccks=3963993, wck=27.326, mem=157M974
33.28/29.80 decisions=90377, wrong=43720, backtracks=27991, failedAssignments=24494, nogoods=1485, foundSolutions=19, bestBound=20
33.28/29.80 nFilterCalls=5277675, avgTableProportion=0.9981169630405632, avgTableSize=530.1026946524748
33.28/29.80
33.28/29.83 num=280, depth=6..16, filters=1533553, revisions=(1318494,useless=747868), ccks=3968898, wck=27.358, mem=157M974
33.28/29.83 decisions=90514, wrong=43784, backtracks=28029, failedAssignments=24528, nogoods=1491, foundSolutions=19, bestBound=20
33.28/29.83 nFilterCalls=5284582, avgTableProportion=0.9981169626949271, avgTableSize=530.1025931663091
33.28/29.83
33.28/29.86 num=281, depth=7..15, filters=1535240, revisions=(1320005,useless=748650), ccks=3973695, wck=27.383, mem=157M974
33.28/29.86 decisions=90634, wrong=43840, backtracks=28064, failedAssignments=24565, nogoods=1495, foundSolutions=19, bestBound=20
33.28/29.86 nFilterCalls=5289929, avgTableProportion=0.9981169628239728, avgTableSize=530.1026310561068
33.28/29.86
33.28/29.89 num=282, depth=4..13, filters=1537075, revisions=(1321576,useless=749449), ccks=3978611, wck=27.416, mem=159M295
33.28/29.89 decisions=90761, wrong=43900, backtracks=28093, failedAssignments=24606, nogoods=1502, foundSolutions=19, bestBound=20
33.28/29.89 nFilterCalls=5296308, avgTableProportion=0.9981169626222621, avgTableSize=530.1025718292818
33.28/29.89
33.38/29.94 num=283, depth=7..14, filters=1539272, revisions=(1323546,useless=750443), ccks=3985912, wck=27.461, mem=159M295
33.38/29.94 decisions=90916, wrong=43974, backtracks=28137, failedAssignments=24651, nogoods=1504, foundSolutions=19, bestBound=20
33.38/29.94 nFilterCalls=5304188, avgTableProportion=0.9981169625758635, avgTableSize=530.1025582049505
33.38/29.94
33.38/30.00 num=284, depth=6..12, filters=1542817, revisions=(1326495,useless=752040), ccks=3994161, wck=27.529, mem=159M295
33.38/30.00 decisions=91110, wrong=44068, backtracks=28201, failedAssignments=24701, nogoods=1507, foundSolutions=19, bestBound=20
33.38/30.00 nFilterCalls=5316976, avgTableProportion=0.9981169623532687, avgTableSize=530.1024928455573
33.38/30.00
33.49/30.08 num=285, depth=4..12, filters=1546017, revisions=(1329323,useless=753458), ccks=4003648, wck=27.608, mem=29M847
33.49/30.08 decisions=91318, wrong=44169, backtracks=28260, failedAssignments=24756, nogoods=1510, foundSolutions=19, bestBound=20
33.49/30.08 nFilterCalls=5328916, avgTableProportion=0.9981169619316099, avgTableSize=530.102369037155
33.49/30.08
33.62/30.16 num=286, depth=4..14, filters=1549898, revisions=(1332682,useless=755259), ccks=4012507, wck=27.681, mem=29M847
33.62/30.16 decisions=91544, wrong=44279, backtracks=28337, failedAssignments=24817, nogoods=1517, foundSolutions=19, bestBound=20
33.62/30.16 nFilterCalls=5342390, avgTableProportion=0.998116961688523, avgTableSize=530.1022976607848
33.62/30.16
33.71/30.25 num=287, depth=3..14, filters=1553768, revisions=(1336221,useless=757088), ccks=4023916, wck=27.772, mem=29M847
33.71/30.25 decisions=91776, wrong=44392, backtracks=28407, failedAssignments=24884, nogoods=1520, foundSolutions=19, bestBound=20
33.71/30.25 nFilterCalls=5357559, avgTableProportion=0.9981169616778782, avgTableSize=530.1022945337606
33.71/30.25
33.81/30.32 num=288, depth=7..16, filters=1558212, revisions=(1339851,useless=759083), ccks=4035637, wck=27.844, mem=29M847
33.81/30.32 decisions=92047, wrong=44523, backtracks=28498, failedAssignments=24958, nogoods=1528, foundSolutions=19, bestBound=20
33.81/30.32 nFilterCalls=5373318, avgTableProportion=0.9981169621982199, avgTableSize=530.1024473146759
33.81/30.32
33.91/30.41 num=289, depth=6..14, filters=1563535, revisions=(1344157,useless=761489), ccks=4050090, wck=27.937, mem=29M847
33.91/30.41 decisions=92356, wrong=44672, backtracks=28589, failedAssignments=25039, nogoods=1533, foundSolutions=19, bestBound=20
33.91/30.41 nFilterCalls=5392152, avgTableProportion=0.9981169621353849, avgTableSize=530.1024288632813
33.91/30.41
34.04/30.50 num=290, depth=3..14, filters=1568792, revisions=(1348604,useless=763894), ccks=4062940, wck=28.023, mem=32M446
34.04/30.50 decisions=92661, wrong=44822, backtracks=28693, failedAssignments=25128, nogoods=1540, foundSolutions=19, bestBound=20
34.04/30.50 nFilterCalls=5408742, avgTableProportion=0.9981169620439012, avgTableSize=530.1024020003173
34.04/30.50
34.14/30.62 num=291, depth=5..12, filters=1575071, revisions=(1353906,useless=766735), ccks=4080933, wck=28.147, mem=32M446
34.14/30.62 decisions=93040, wrong=45008, backtracks=28815, failedAssignments=25226, nogoods=1546, foundSolutions=19, bestBound=20
34.14/30.62 nFilterCalls=5430931, avgTableProportion=0.9981169620556993, avgTableSize=530.1024054623415
34.14/30.62
34.24/30.73 num=292, depth=4..12, filters=1581360, revisions=(1359608,useless=769980), ccks=4097752, wck=28.257, mem=32M446
34.24/30.73 decisions=93420, wrong=45195, backtracks=28932, failedAssignments=25334, nogoods=1554, foundSolutions=19, bestBound=20
34.24/30.73 nFilterCalls=5451363, avgTableProportion=0.9981169617181203, avgTableSize=530.1023063406344
34.24/30.73
34.34/30.87 num=293, depth=5..14, filters=1588072, revisions=(1365444,useless=773076), ccks=4115462, wck=28.389, mem=32M446
34.34/30.87 decisions=93841, wrong=45402, backtracks=29075, failedAssignments=25453, nogoods=1563, foundSolutions=19, bestBound=20
34.34/30.87 nFilterCalls=5477136, avgTableProportion=0.998116961483243, avgTableSize=530.1022373736931
34.34/30.87
34.46/30.96 num=294, depth=3..12, filters=1594744, revisions=(1371755,useless=776310), ccks=4132899, wck=28.489, mem=35M44
34.46/30.96 decisions=94314, wrong=45637, backtracks=29217, failedAssignments=25584, nogoods=1576, foundSolutions=19, bestBound=20
34.46/30.96 nFilterCalls=5499717, avgTableProportion=0.9981169606499567, avgTableSize=530.1019927025336
34.46/30.96
34.67/31.11 num=295, depth=6..15, filters=1603607, revisions=(1379579,useless=780537), ccks=4155869, wck=28.635, mem=35M44
34.67/31.11 decisions=94852, wrong=45902, backtracks=29404, failedAssignments=25728, nogoods=1588, foundSolutions=19, bestBound=20
34.67/31.11 nFilterCalls=5533444, avgTableProportion=0.9981169605078462, avgTableSize=530.1019509730287
34.67/31.11
34.76/31.24 num=296, depth=5..13, filters=1612540, revisions=(1387466,useless=784696), ccks=4184199, wck=28.762, mem=37M643
34.76/31.24 decisions=95414, wrong=46180, backtracks=29583, failedAssignments=25886, nogoods=1594, foundSolutions=19, bestBound=20
34.76/31.24 nFilterCalls=5560158, avgTableProportion=0.9981169608229904, avgTableSize=530.1020435030803
34.76/31.24
34.96/31.41 num=297, depth=6..16, filters=1622506, revisions=(1395730,useless=789237), ccks=4211083, wck=28.93, mem=37M643
34.96/31.41 decisions=96012, wrong=46475, backtracks=29764, failedAssignments=26060, nogoods=1604, foundSolutions=19, bestBound=20
34.96/31.41 nFilterCalls=5596008, avgTableProportion=0.9981169629237544, avgTableSize=530.1026603250031
34.96/31.41
35.16/31.64 num=298, depth=4..12, filters=1634226, revisions=(1405727,useless=794613), ccks=4242384, wck=29.161, mem=40M242
35.16/31.64 decisions=96720, wrong=46826, backtracks=30008, failedAssignments=26251, nogoods=1610, foundSolutions=19, bestBound=20
35.16/31.64 nFilterCalls=5640293, avgTableProportion=0.9981169635956401, avgTableSize=530.1028575997736
35.16/31.64
35.36/31.83 num=299, depth=4..14, filters=1645837, revisions=(1416329,useless=800235), ccks=4276292, wck=29.359, mem=40M242
35.36/31.83 decisions=97497, wrong=47211, backtracks=30263, failedAssignments=26462, nogoods=1621, foundSolutions=19, bestBound=20
35.36/31.83 nFilterCalls=5681840, avgTableProportion=0.9981169629168622, avgTableSize=530.1026582937922
35.36/31.83
35.57/32.08 num=300, depth=2..13, filters=1659740, revisions=(1428840,useless=806983), ccks=4312044, wck=29.6, mem=42M841
35.57/32.08 decisions=98336, wrong=47628, backtracks=30524, failedAssignments=26694, nogoods=1623, foundSolutions=19, bestBound=20
35.57/32.08 nFilterCalls=5729062, avgTableProportion=0.9981169618243965, avgTableSize=530.1023375205226
35.57/32.08
35.96/32.41 num=301, depth=3..14, filters=1676243, revisions=(1441674,useless=814254), ccks=4353134, wck=29.93, mem=45M440
35.96/32.41 decisions=99275, wrong=48093, backtracks=30844, failedAssignments=26949, nogoods=1629, foundSolutions=19, bestBound=20
35.96/32.41 nFilterCalls=5796600, avgTableProportion=0.9981169619362426, avgTableSize=530.1023703550358
35.96/32.41
36.26/32.74 num=302, depth=3..15, filters=1694252, revisions=(1457158,useless=822947), ccks=4399930, wck=30.261, mem=45M440
36.26/32.74 decisions=100259, wrong=48583, backtracks=31141, failedAssignments=27230, nogoods=1634, foundSolutions=19, bestBound=20
36.26/32.74 nFilterCalls=5859071, avgTableProportion=0.9981169635207295, avgTableSize=530.1028355860511
36.26/32.74
36.68/33.13 num=303, depth=3..12, filters=1712482, revisions=(1473609,useless=831700), ccks=4456019, wck=30.657, mem=48M39
36.68/33.13 decisions=101358, wrong=49130, backtracks=31478, failedAssignments=27539, nogoods=1645, foundSolutions=19, bestBound=20
36.68/33.13 nFilterCalls=5927005, avgTableProportion=0.9981169616497703, avgTableSize=530.1022862305667
36.68/33.13
37.07/33.52 num=304, depth=5..16, filters=1732763, revisions=(1489374,useless=840778), ccks=4503692, wck=31.043, mem=50M637
37.07/33.52 decisions=102564, wrong=49729, backtracks=31887, failedAssignments=27879, nogoods=1653, foundSolutions=19, bestBound=20
37.07/33.52 nFilterCalls=6009156, avgTableProportion=0.99811696343061, avgTableSize=530.1028091132931
37.07/33.52
37.47/33.91 num=305, depth=2..11, filters=1755392, revisions=(1510145,useless=852009), ccks=4568724, wck=31.435, mem=53M236
37.47/33.91 decisions=104067, wrong=50478, backtracks=32403, failedAssignments=28253, nogoods=1667, foundSolutions=19, bestBound=20
37.47/33.91 nFilterCalls=6089644, avgTableProportion=0.9981169623909998, avgTableSize=530.1025038573683
37.47/33.91
37.97/34.45 num=306, depth=4..15, filters=1783390, revisions=(1531690,useless=864007), ccks=4637124, wck=31.972, mem=55M835
37.97/34.45 decisions=105565, wrong=51222, backtracks=32936, failedAssignments=28664, nogoods=1673, foundSolutions=19, bestBound=20
37.97/34.45 nFilterCalls=6197273, avgTableProportion=0.9981169617813527, avgTableSize=530.1023248451376
37.97/34.45
38.37/34.87 num=307, depth=5..16, filters=1810362, revisions=(1554123,useless=876741), ccks=4709552, wck=32.395, mem=58M434
38.37/34.87 decisions=107194, wrong=52033, backtracks=33473, failedAssignments=29116, nogoods=1677, foundSolutions=19, bestBound=20
38.37/34.87 nFilterCalls=6289191, avgTableProportion=0.998116965214932, avgTableSize=530.1033330041972
38.37/34.87
39.07/35.52 num=308, depth=3..15, filters=1841649, revisions=(1579706,useless=891555), ccks=4788405, wck=33.039, mem=63M631
39.07/35.52 decisions=109061, wrong=52963, backtracks=34123, failedAssignments=29613, nogoods=1687, foundSolutions=19, bestBound=20
39.07/35.52 nFilterCalls=6413552, avgTableProportion=0.9981169672012169, avgTableSize=530.1039162074308
39.07/35.52
39.68/36.12 num=309, depth=3..15, filters=1875693, revisions=(1609123,useless=907758), ccks=4879564, wck=33.646, mem=66M230
39.68/36.12 decisions=111104, wrong=53982, backtracks=34806, failedAssignments=30160, nogoods=1692, foundSolutions=19, bestBound=20
39.68/36.12 nFilterCalls=6532592, avgTableProportion=0.9981169677089425, avgTableSize=530.1040652776111
39.68/36.12
40.58/37.02 num=310, depth=1..15, filters=1918111, revisions=(1645019,useless=927774), ccks=4991699, wck=34.548, mem=71M428
40.58/37.02 decisions=113419, wrong=55138, backtracks=35622, failedAssignments=30762, nogoods=1700, foundSolutions=19, bestBound=20
40.58/37.02 nFilterCalls=6690509, avgTableProportion=0.9981169672983425, avgTableSize=530.1039447073459
40.58/37.02
41.37/37.88 num=311, depth=2..16, filters=1963288, revisions=(1678656,useless=947791), ccks=5084489, wck=35.404, mem=76M625
41.37/37.88 decisions=115716, wrong=56283, backtracks=36428, failedAssignments=31424, nogoods=1705, foundSolutions=19, bestBound=20
41.37/37.88 nFilterCalls=6860094, avgTableProportion=0.9981169706522381, avgTableSize=530.1049294659811
41.37/37.88
42.07/38.54 o 22
42.07/38.54 num=312, depth=3..71, filters=1998085, revisions=(1709896,useless=965463), ccks=5176581, wck=36.061, mem=79M224
42.07/38.54 decisions=117786, wrong=57314, backtracks=37130, failedAssignments=31965, nogoods=1714, foundSolutions=20, bestBound=22
42.07/38.54 nFilterCalls=6985298, avgTableProportion=0.9981169703804037, avgTableSize=530.1048496427783
42.07/38.54
43.18/39.63 num=313, depth=2..14, filters=2049786, revisions=(1755718,useless=991053), ccks=5316723, wck=37.15, mem=87M21
43.18/39.63 decisions=120925, wrong=58881, backtracks=38176, failedAssignments=32766, nogoods=1724, foundSolutions=20, bestBound=22
43.18/39.63 nFilterCalls=7178285, avgTableProportion=0.99811696951237, avgTableSize=530.1045947604476
43.18/39.63
43.18/39.64 num=314, depth=6..11, filters=2050472, revisions=(1756288,useless=991355), ccks=5318534, wck=37.162, mem=87M21
43.18/39.64 decisions=120968, wrong=58899, backtracks=38186, failedAssignments=32777, nogoods=1728, foundSolutions=20, bestBound=22
43.18/39.64 nFilterCalls=7180764, avgTableProportion=0.9981169694543692, avgTableSize=530.1045777301691
43.18/39.64
43.18/39.65 num=315, depth=7..13, filters=2051157, revisions=(1756940,useless=991682), ccks=5320605, wck=37.172, mem=87M21
43.18/39.65 decisions=121020, wrong=58921, backtracks=38201, failedAssignments=32789, nogoods=1732, foundSolutions=20, bestBound=22
43.18/39.65 nFilterCalls=7182800, avgTableProportion=0.9981169695146253, avgTableSize=530.104595422398
43.18/39.65
43.18/39.66 num=316, depth=8..11, filters=2051804, revisions=(1757510,useless=991983), ccks=5322277, wck=37.183, mem=87M21
43.18/39.66 decisions=121070, wrong=58942, backtracks=38211, failedAssignments=32802, nogoods=1737, foundSolutions=20, bestBound=22
43.18/39.66 nFilterCalls=7185443, avgTableProportion=0.9981169694618025, avgTableSize=530.1045799124703
43.18/39.66
43.18/39.68 num=317, depth=4..10, filters=2052855, revisions=(1758448,useless=992507), ccks=5324695, wck=37.205, mem=87M21
43.18/39.68 decisions=121131, wrong=58969, backtracks=38230, failedAssignments=32816, nogoods=1739, foundSolutions=20, bestBound=22
43.18/39.68 nFilterCalls=7189464, avgTableProportion=0.998116969563408, avgTableSize=530.1046097455944
43.18/39.68
43.28/39.70 num=318, depth=7..12, filters=2053900, revisions=(1759226,useless=992954), ccks=5327247, wck=37.223, mem=87M21
43.28/39.70 decisions=121194, wrong=58997, backtracks=38247, failedAssignments=32832, nogoods=1742, foundSolutions=20, bestBound=22
43.28/39.70 nFilterCalls=7193681, avgTableProportion=0.998116969903272, avgTableSize=530.1047095360498
43.28/39.70
43.28/39.71 num=319, depth=6..14, filters=2054676, revisions=(1759956,useless=993343), ccks=5329652, wck=37.236, mem=87M21
43.28/39.71 decisions=121252, wrong=59022, backtracks=38260, failedAssignments=32849, nogoods=1747, foundSolutions=20, bestBound=22
43.28/39.71 nFilterCalls=7196111, avgTableProportion=0.9981169699617488, avgTableSize=530.1047267058555
43.28/39.71
43.28/39.73 num=320, depth=2..9, filters=2055963, revisions=(1761180,useless=994029), ccks=5332856, wck=37.256, mem=87M21
43.28/39.73 decisions=121329, wrong=59058, backtracks=38282, failedAssignments=32868, nogoods=1753, foundSolutions=20, bestBound=22
43.28/39.73 nFilterCalls=7199905, avgTableProportion=0.9981169699431438, avgTableSize=530.1047212428497
43.28/39.73
43.28/39.75 num=321, depth=6..13, filters=2057117, revisions=(1762197,useless=994541), ccks=5335818, wck=37.278, mem=87M21
43.28/39.75 decisions=121407, wrong=59093, backtracks=38302, failedAssignments=32889, nogoods=1758, foundSolutions=20, bestBound=22
43.28/39.75 nFilterCalls=7203813, avgTableProportion=0.9981169701146427, avgTableSize=530.1047715980412
43.28/39.75
43.28/39.78 num=322, depth=5..10, filters=2058946, revisions=(1763730,useless=995416), ccks=5340073, wck=37.308, mem=87M21
43.28/39.78 decisions=121511, wrong=59142, backtracks=38337, failedAssignments=32912, nogoods=1761, foundSolutions=20, bestBound=22
43.28/39.78 nFilterCalls=7210713, avgTableProportion=0.9981169701869449, avgTableSize=530.1047928270061
43.28/39.78
43.38/39.81 num=323, depth=5..12, filters=2060420, revisions=(1765020,useless=996127), ccks=5343812, wck=37.336, mem=87M21
43.38/39.81 decisions=121610, wrong=59189, backtracks=38367, failedAssignments=32937, nogoods=1762, foundSolutions=20, bestBound=22
43.38/39.81 nFilterCalls=7216107, avgTableProportion=0.9981169702401591, avgTableSize=530.1048084514268
43.38/39.81
43.38/39.85 num=324, depth=4..9, filters=2062352, revisions=(1766731,useless=997146), ccks=5348420, wck=37.377, mem=87M21
43.38/39.85 decisions=121726, wrong=59243, backtracks=38401, failedAssignments=32965, nogoods=1768, foundSolutions=20, bestBound=22
43.38/39.85 nFilterCalls=7223430, avgTableProportion=0.9981169702502917, avgTableSize=530.1048114261507
43.38/39.85
43.38/39.89 num=325, depth=4..10, filters=2064310, revisions=(1768498,useless=998106), ccks=5353530, wck=37.41, mem=87M21
43.38/39.89 decisions=121847, wrong=59301, backtracks=38436, failedAssignments=32996, nogoods=1775, foundSolutions=20, bestBound=22
43.38/39.89 nFilterCalls=7230087, avgTableProportion=0.9981169701208801, avgTableSize=530.1047734280376
43.38/39.89
43.48/39.93 num=326, depth=5..13, filters=2066475, revisions=(1770367,useless=999167), ccks=5358338, wck=37.455, mem=89M620
43.48/39.93 decisions=121978, wrong=59363, backtracks=38483, failedAssignments=33030, nogoods=1780, foundSolutions=20, bestBound=22
43.48/39.93 nFilterCalls=7238475, avgTableProportion=0.9981169700179156, avgTableSize=530.1047431952172
43.48/39.93
43.48/39.98 num=327, depth=4..11, filters=2068855, revisions=(1772554,useless=1000438), ccks=5364731, wck=37.502, mem=89M620
43.48/39.98 decisions=122132, wrong=59436, backtracks=38532, failedAssignments=33067, nogoods=1786, foundSolutions=20, bestBound=22
43.48/39.98 nFilterCalls=7247437, avgTableProportion=0.9981169699329974, avgTableSize=530.10471826109
43.48/39.98
43.60/40.03 num=328, depth=1..13, filters=2071604, revisions=(1774768,useless=1001678), ccks=5372127, wck=37.556, mem=89M620
43.60/40.03 decisions=122294, wrong=59513, backtracks=38582, failedAssignments=33108, nogoods=1794, foundSolutions=20, bestBound=22
43.60/40.03 nFilterCalls=7258747, avgTableProportion=0.9981169704329909, avgTableSize=530.10486506831
43.60/40.03
43.60/40.07 num=329, depth=6..16, filters=2074032, revisions=(1776874,useless=1002880), ccks=5378678, wck=37.597, mem=89M620
43.60/40.07 decisions=122453, wrong=59589, backtracks=38629, failedAssignments=33153, nogoods=1802, foundSolutions=20, bestBound=22
43.60/40.07 nFilterCalls=7266948, avgTableProportion=0.9981169705393802, avgTableSize=530.1048963058495
43.60/40.07
43.70/40.11 num=330, depth=4..11, filters=2076463, revisions=(1779287,useless=1004168), ccks=5386735, wck=37.634, mem=89M620
43.70/40.11 decisions=122629, wrong=59675, backtracks=38677, failedAssignments=33203, nogoods=1804, foundSolutions=20, bestBound=22
43.70/40.11 nFilterCalls=7273497, avgTableProportion=0.9981169702977836, avgTableSize=530.1048253680451
43.70/40.11
43.70/40.19 num=331, depth=6..13, filters=2080334, revisions=(1782665,useless=1006216), ccks=5395796, wck=37.713, mem=89M620
43.70/40.19 decisions=122857, wrong=59786, backtracks=38750, failedAssignments=33258, nogoods=1812, foundSolutions=20, bestBound=22
43.70/40.19 nFilterCalls=7287215, avgTableProportion=0.9981169702809636, avgTableSize=530.1048204286549
43.70/40.19
43.79/40.25 num=332, depth=3..14, filters=2083297, revisions=(1785459,useless=1007747), ccks=5404068, wck=37.774, mem=89M620
43.79/40.25 decisions=123063, wrong=59885, backtracks=38808, failedAssignments=33319, nogoods=1818, foundSolutions=20, bestBound=22
43.79/40.25 nFilterCalls=7298492, avgTableProportion=0.9981169700891486, avgTableSize=530.1047641074348
43.79/40.25
43.89/40.33 num=333, depth=2..12, filters=2087527, revisions=(1789312,useless=1009697), ccks=5415589, wck=37.85, mem=92M218
43.89/40.33 decisions=123334, wrong=60018, backtracks=38888, failedAssignments=33386, nogoods=1823, foundSolutions=20, bestBound=22
43.89/40.33 nFilterCalls=7310762, avgTableProportion=0.998116969957101, avgTableSize=530.1047253350608
43.89/40.33
43.89/40.39 num=334, depth=3..13, filters=2091477, revisions=(1792719,useless=1011647), ccks=5425988, wck=37.913, mem=92M218
43.89/40.39 decisions=123600, wrong=60148, backtracks=38959, failedAssignments=33460, nogoods=1831, foundSolutions=20, bestBound=22
43.89/40.39 nFilterCalls=7325703, avgTableProportion=0.9981169698819277, avgTableSize=530.1047032619258
43.89/40.39
43.99/40.46 num=335, depth=5..14, filters=2095805, revisions=(1796553,useless=1013767), ccks=5438253, wck=37.988, mem=92M218
43.99/40.46 decisions=123885, wrong=60287, backtracks=39056, failedAssignments=33541, nogoods=1837, foundSolutions=20, bestBound=22
43.99/40.46 nFilterCalls=7340996, avgTableProportion=0.9981169700943088, avgTableSize=530.10476562036
43.99/40.46
44.09/40.59 num=336, depth=5..13, filters=2101390, revisions=(1801054,useless=1016405), ccks=5450324, wck=38.11, mem=92M218
44.09/40.59 decisions=124202, wrong=60443, backtracks=39151, failedAssignments=33630, nogoods=1839, foundSolutions=20, bestBound=22
44.09/40.59 nFilterCalls=7362724, avgTableProportion=0.99811696994798, avgTableSize=530.1047226542785
44.09/40.59
44.19/40.67 num=337, depth=6..13, filters=2106948, revisions=(1805824,useless=1019173), ccks=5466250, wck=38.193, mem=92M218
44.19/40.67 decisions=124530, wrong=60603, backtracks=39250, failedAssignments=33728, nogoods=1846, foundSolutions=20, bestBound=22
44.19/40.67 nFilterCalls=7380244, avgTableProportion=0.9981169703971141, avgTableSize=530.1048545278449
44.19/40.67
44.39/40.80 num=338, depth=6..13, filters=2112794, revisions=(1810553,useless=1021796), ccks=5481075, wck=38.323, mem=94M817
44.39/40.80 decisions=124869, wrong=60769, backtracks=39355, failedAssignments=33836, nogoods=1855, foundSolutions=20, bestBound=22
44.39/40.80 nFilterCalls=7403082, avgTableProportion=0.9981169706249944, avgTableSize=530.1049214367746
44.39/40.80
44.49/40.91 num=339, depth=4..12, filters=2119163, revisions=(1815834,useless=1024818), ccks=5496333, wck=38.431, mem=94M817
44.49/40.91 decisions=125246, wrong=60954, backtracks=39478, failedAssignments=33955, nogoods=1860, foundSolutions=20, bestBound=22
44.49/40.91 nFilterCalls=7424211, avgTableProportion=0.9981169711342501, avgTableSize=530.1050709630963
44.49/40.91
44.60/41.06 num=340, depth=3..13, filters=2126880, revisions=(1822635,useless=1028680), ccks=5514495, wck=38.586, mem=94M817
44.60/41.06 decisions=125726, wrong=61191, backtracks=39637, failedAssignments=34086, nogoods=1868, foundSolutions=20, bestBound=22
44.60/41.06 nFilterCalls=7452803, avgTableProportion=0.9981169708874005, avgTableSize=530.1049984817793
44.60/41.06
44.79/41.22 num=341, depth=3..13, filters=2134986, revisions=(1829985,useless=1032813), ccks=5537446, wck=38.741, mem=97M416
44.79/41.22 decisions=126262, wrong=61457, backtracks=39816, failedAssignments=34230, nogoods=1874, foundSolutions=20, bestBound=22
44.79/41.22 nFilterCalls=7479282, avgTableProportion=0.9981169710279953, avgTableSize=530.1050397618382
44.79/41.22
44.99/41.42 num=342, depth=3..13, filters=2144867, revisions=(1838439,useless=1037666), ccks=5561066, wck=38.945, mem=97M416
44.99/41.42 decisions=126836, wrong=61742, backtracks=39999, failedAssignments=34388, nogoods=1883, foundSolutions=20, bestBound=22
44.99/41.42 nFilterCalls=7514703, avgTableProportion=0.9981169716055712, avgTableSize=530.105209347595
44.99/41.42
45.09/41.59 num=343, depth=6..14, filters=2155395, revisions=(1846916,useless=1042593), ccks=5589371, wck=39.112, mem=97M416
45.09/41.59 decisions=127445, wrong=62043, backtracks=40216, failedAssignments=34562, nogoods=1893, foundSolutions=20, bestBound=22
45.09/41.59 nFilterCalls=7548901, avgTableProportion=0.9981169728742644, avgTableSize=530.1055818588693
45.09/41.59
45.39/41.80 num=344, depth=4..13, filters=2166585, revisions=(1856651,useless=1048344), ccks=5618360, wck=39.324, mem=100M15
45.39/41.80 decisions=128139, wrong=62387, backtracks=40442, failedAssignments=34753, nogoods=1900, foundSolutions=20, bestBound=22
45.39/41.80 nFilterCalls=7590122, avgTableProportion=0.9981169727247654, avgTableSize=530.1055379610499
45.39/41.80
45.60/42.06 num=345, depth=2..11, filters=2179676, revisions=(1868284,useless=1054783), ccks=5655507, wck=39.586, mem=100M15
45.60/42.06 decisions=128942, wrong=62785, backtracks=40709, failedAssignments=34964, nogoods=1908, foundSolutions=20, bestBound=22
45.60/42.06 nFilterCalls=7633925, avgTableProportion=0.9981169724276998, avgTableSize=530.1054507347138
45.60/42.06
45.89/42.31 num=346, depth=6..16, filters=2193610, revisions=(1879602,useless=1061302), ccks=5691662, wck=39.834, mem=102M614
45.89/42.31 decisions=129789, wrong=63205, backtracks=40985, failedAssignments=35196, nogoods=1917, foundSolutions=20, bestBound=22
45.89/42.31 nFilterCalls=7685288, avgTableProportion=0.9981169740145261, avgTableSize=530.105916655303
45.89/42.31
46.19/42.64 num=347, depth=3..14, filters=2209241, revisions=(1892080,useless=1068584), ccks=5732983, wck=40.167, mem=105M212
46.19/42.64 decisions=130678, wrong=63647, backtracks=41287, failedAssignments=35451, nogoods=1923, foundSolutions=20, bestBound=22
46.19/42.64 nFilterCalls=7750532, avgTableProportion=0.9981169742630631, avgTableSize=530.1059896275507
46.19/42.64
46.49/42.95 num=348, depth=4..14, filters=2226153, revisions=(1905869,useless=1076165), ccks=5782201, wck=40.478, mem=105M212
46.49/42.95 decisions=131774, wrong=64191, backtracks=41644, failedAssignments=35732, nogoods=1928, foundSolutions=20, bestBound=22
46.49/42.95 nFilterCalls=7816938, avgTableProportion=0.9981169736337846, avgTableSize=530.1058048560702
46.49/42.95
46.99/43.40 num=349, depth=3..15, filters=2248435, revisions=(1923466,useless=1086850), ccks=5838275, wck=40.929, mem=107M811
46.99/43.40 decisions=132958, wrong=64781, backtracks=42058, failedAssignments=36041, nogoods=1932, foundSolutions=20, bestBound=22
46.99/43.40 nFilterCalls=7901300, avgTableProportion=0.9981169734786627, avgTableSize=530.1057593054308
46.99/43.40
47.39/43.84 num=350, depth=5..16, filters=2271362, revisions=(1941407,useless=1097491), ccks=5894265, wck=41.364, mem=110M410
47.39/43.84 decisions=134263, wrong=65430, backtracks=42519, failedAssignments=36381, nogoods=1940, foundSolutions=20, bestBound=22
47.39/43.84 nFilterCalls=7989270, avgTableProportion=0.9981169750740149, avgTableSize=530.1062277279401
47.39/43.84
47.79/44.25 num=351, depth=3..16, filters=2293968, revisions=(1960952,useless=1108663), ccks=5956225, wck=41.779, mem=113M9
47.79/44.25 decisions=135587, wrong=66090, backtracks=42959, failedAssignments=36755, nogoods=1946, foundSolutions=20, bestBound=22
47.79/44.25 nFilterCalls=8066757, avgTableProportion=0.9981169771654823, avgTableSize=530.1068418200772
47.79/44.25
48.39/44.81 num=352, depth=2..14, filters=2320404, revisions=(1981283,useless=1120234), ccks=6029193, wck=42.339, mem=115M608
48.39/44.81 decisions=137113, wrong=66849, backtracks=43487, failedAssignments=37166, nogoods=1961, foundSolutions=20, bestBound=22
48.39/44.81 nFilterCalls=8173204, avgTableProportion=0.9981169769338164, avgTableSize=530.1067737939736
48.39/44.81
48.99/45.47 num=353, depth=2..13, filters=2351829, revisions=(2007555,useless=1135324), ccks=6110049, wck=42.99, mem=118M207
48.99/45.47 decisions=138823, wrong=67702, backtracks=44066, failedAssignments=37618, nogoods=1966, foundSolutions=20, bestBound=22
48.99/45.47 nFilterCalls=8284954, avgTableProportion=0.998116976308182, avgTableSize=530.1065900909045
48.99/45.47
49.60/46.01 num=354, depth=3..14, filters=2384942, revisions=(2034779,useless=1151307), ccks=6196425, wck=43.532, mem=120M805
49.60/46.01 decisions=140620, wrong=68597, backtracks=44691, failedAssignments=38115, nogoods=1971, foundSolutions=20, bestBound=22
49.60/46.01 nFilterCalls=8390908, avgTableProportion=0.9981169781559422, avgTableSize=530.1071326249793
49.60/46.01
50.29/46.70 num=355, depth=2..14, filters=2419677, revisions=(2063276,useless=1167342), ccks=6293881, wck=44.228, mem=126M4
50.29/46.70 decisions=142730, wrong=69649, backtracks=45406, failedAssignments=38662, nogoods=1985, foundSolutions=20, bestBound=22
50.29/46.70 nFilterCalls=8521381, avgTableProportion=0.9981169804601105, avgTableSize=530.1078091684905
50.29/46.70
50.89/47.34 num=356, depth=3..13, filters=2455220, revisions=(2094369,useless=1184954), ccks=6391002, wck=44.868, mem=128M602
50.89/47.34 decisions=144901, wrong=70733, backtracks=46105, failedAssignments=39264, nogoods=1990, foundSolutions=20, bestBound=22
50.89/47.34 nFilterCalls=8640071, avgTableProportion=0.998116981722351, avgTableSize=530.1081797823189
50.89/47.34
51.50/47.97 o 25
51.50/47.97 num=357, depth=2..71, filters=2484250, revisions=(2118844,useless=1198645), ccks=6470132, wck=45.493, mem=133M800
51.50/47.97 decisions=146595, wrong=71575, backtracks=46645, failedAssignments=39735, nogoods=1997, foundSolutions=21, bestBound=25
51.50/47.97 nFilterCalls=8748206, avgTableProportion=0.9981169827777775, avgTableSize=530.1084896720539
51.50/47.97
52.51/48.93 num=358, depth=2..15, filters=2530918, revisions=(2159062,useless=1221038), ccks=6591353, wck=46.458, mem=138M998
52.51/48.93 decisions=149376, wrong=72962, backtracks=47542, failedAssignments=40463, nogoods=2007, foundSolutions=21, bestBound=25
52.51/48.93 nFilterCalls=8914981, avgTableProportion=0.998116983365981, avgTableSize=530.1086623740421
52.51/48.93
52.51/48.95 num=359, depth=4..10, filters=2531463, revisions=(2159544,useless=1221293), ccks=6593106, wck=46.473, mem=138M998
52.51/48.95 decisions=149415, wrong=72979, backtracks=47552, failedAssignments=40474, nogoods=2010, foundSolutions=21, bestBound=25
52.51/48.95 nFilterCalls=8917471, avgTableProportion=0.9981169833749299, avgTableSize=530.1086650015459
52.51/48.95
52.51/48.96 num=360, depth=4..11, filters=2532327, revisions=(2160211,useless=1221650), ccks=6595359, wck=46.488, mem=138M998
52.51/48.96 decisions=149463, wrong=73000, backtracks=47564, failedAssignments=40486, nogoods=2016, foundSolutions=21, bestBound=25
52.51/48.96 nFilterCalls=8920275, avgTableProportion=0.9981169834892045, avgTableSize=530.1086985546971
52.51/48.96
52.51/48.98 num=361, depth=5..10, filters=2533032, revisions=(2160887,useless=1222022), ccks=6597419, wck=46.501, mem=138M998
52.51/48.98 decisions=149514, wrong=73023, backtracks=47580, failedAssignments=40499, nogoods=2018, foundSolutions=21, bestBound=25
52.51/48.98 nFilterCalls=8922523, avgTableProportion=0.9981169834539527, avgTableSize=530.1086882039979
52.51/48.98
52.51/48.99 num=362, depth=6..10, filters=2533782, revisions=(2161570,useless=1222358), ccks=6599334, wck=46.513, mem=138M998
52.51/48.99 decisions=149560, wrong=73043, backtracks=47591, failedAssignments=40513, nogoods=2021, foundSolutions=21, bestBound=25
52.51/48.99 nFilterCalls=8924680, avgTableProportion=0.9981169833839498, avgTableSize=530.1086676497084
52.51/48.99
52.62/49.01 num=363, depth=3..12, filters=2534912, revisions=(2162596,useless=1222903), ccks=6602179, wck=46.533, mem=138M998
52.62/49.01 decisions=149624, wrong=73073, backtracks=47611, failedAssignments=40529, nogoods=2025, foundSolutions=21, bestBound=25
52.62/49.01 nFilterCalls=8928018, avgTableProportion=0.9981169834096107, avgTableSize=530.1086751841226
52.62/49.01
52.62/49.03 num=364, depth=5..10, filters=2535945, revisions=(2163507,useless=1223414), ccks=6604949, wck=46.559, mem=138M998
52.62/49.03 decisions=149692, wrong=73103, backtracks=47630, failedAssignments=40546, nogoods=2029, foundSolutions=21, bestBound=25
52.62/49.03 nFilterCalls=8932357, avgTableProportion=0.9981169834421951, avgTableSize=530.1086847514043
52.62/49.03
52.62/49.06 num=365, depth=6..12, filters=2537160, revisions=(2164521,useless=1223977), ccks=6608069, wck=46.583, mem=138M998
52.62/49.06 decisions=149763, wrong=73135, backtracks=47651, failedAssignments=40565, nogoods=2034, foundSolutions=21, bestBound=25
52.62/49.06 nFilterCalls=8936574, avgTableProportion=0.9981169834531244, avgTableSize=530.1086879602855
52.62/49.06
52.62/49.08 num=366, depth=5..12, filters=2538380, revisions=(2165581,useless=1224509), ccks=6611188, wck=46.608, mem=138M998
52.62/49.08 decisions=149844, wrong=73172, backtracks=47671, failedAssignments=40586, nogoods=2039, foundSolutions=21, bestBound=25
52.62/49.08 nFilterCalls=8940908, avgTableProportion=0.9981169834786261, avgTableSize=530.1086954479343
52.62/49.08
52.72/49.11 num=367, depth=7..15, filters=2539641, revisions=(2166647,useless=1225098), ccks=6614752, wck=46.631, mem=138M998
52.72/49.11 decisions=149928, wrong=73210, backtracks=47696, failedAssignments=40609, nogoods=2043, foundSolutions=21, bestBound=25
52.72/49.11 nFilterCalls=8945275, avgTableProportion=0.9981169834901731, avgTableSize=530.1086988382135
52.72/49.11
52.72/49.13 num=368, depth=7..13, filters=2540954, revisions=(2167816,useless=1225694), ccks=6619203, wck=46.658, mem=138M998
52.72/49.13 decisions=150025, wrong=73254, backtracks=47720, failedAssignments=40634, nogoods=2045, foundSolutions=21, bestBound=25
52.72/49.13 nFilterCalls=8950311, avgTableProportion=0.9981169835391057, avgTableSize=530.1087132056082
52.72/49.13
52.72/49.16 num=369, depth=5..13, filters=2542478, revisions=(2169249,useless=1226483), ccks=6624008, wck=46.685, mem=138M998
52.72/49.16 decisions=150132, wrong=73304, backtracks=47755, failedAssignments=40662, nogoods=2052, foundSolutions=21, bestBound=25
52.72/49.16 nFilterCalls=8955370, avgTableProportion=0.9981169834870122, avgTableSize=530.1086979097457
52.72/49.16
52.72/49.20 num=370, depth=3..11, filters=2544213, revisions=(2170855,useless=1227321), ccks=6629052, wck=46.72, mem=138M998
52.72/49.20 decisions=150253, wrong=73361, backtracks=47792, failedAssignments=40693, nogoods=2055, foundSolutions=21, bestBound=25
52.72/49.20 nFilterCalls=8961516, avgTableProportion=0.9981169834147828, avgTableSize=530.108676701576
52.72/49.20
52.81/49.23 num=371, depth=3..12, filters=2546359, revisions=(2172681,useless=1228307), ccks=6634862, wck=46.757, mem=141M597
52.81/49.23 decisions=150376, wrong=73420, backtracks=47830, failedAssignments=40727, nogoods=2061, foundSolutions=21, bestBound=25
52.81/49.23 nFilterCalls=8967938, avgTableProportion=0.9981169833175917, avgTableSize=530.10864816416
52.81/49.23
52.81/49.29 num=372, depth=3..11, filters=2548763, revisions=(2174609,useless=1229436), ccks=6639714, wck=46.819, mem=141M597
52.81/49.29 decisions=150514, wrong=73486, backtracks=47872, failedAssignments=40764, nogoods=2063, foundSolutions=21, bestBound=25
52.81/49.29 nFilterCalls=8978451, avgTableProportion=0.9981169834392741, avgTableSize=530.1086838921324
52.81/49.29
52.91/49.34 num=373, depth=4..12, filters=2551104, revisions=(2176702,useless=1230641), ccks=6646408, wck=46.862, mem=141M597
52.91/49.34 decisions=150662, wrong=73558, backtracks=47921, failedAssignments=40805, nogoods=2066, foundSolutions=21, bestBound=25
52.91/49.34 nFilterCalls=8986328, avgTableProportion=0.9981169834221812, avgTableSize=530.1086788730614
52.91/49.34
52.91/49.39 num=374, depth=6..13, filters=2553739, revisions=(2178784,useless=1231726), ccks=6652454, wck=46.914, mem=141M597
52.91/49.39 decisions=150813, wrong=73630, backtracks=47966, failedAssignments=40850, nogoods=2071, foundSolutions=21, bestBound=25
52.91/49.39 nFilterCalls=8995919, avgTableProportion=0.9981169835943127, avgTableSize=530.1087294138598
52.91/49.39
53.01/49.43 num=375, depth=5..11, filters=2556070, revisions=(2180929,useless=1232848), ccks=6658768, wck=46.957, mem=141M597
53.01/49.43 decisions=150982, wrong=73711, backtracks=48009, failedAssignments=40900, nogoods=2080, foundSolutions=21, bestBound=25
53.01/49.43 nFilterCalls=9003684, avgTableProportion=0.9981169836967158, avgTableSize=530.108759481119
53.01/49.43
53.01/49.48 num=376, depth=6..12, filters=2558740, revisions=(2183201,useless=1234045), ccks=6666434, wck=47.005, mem=141M597
53.01/49.48 decisions=151169, wrong=73801, backtracks=48062, failedAssignments=40955, nogoods=2092, foundSolutions=21, bestBound=25
53.01/49.48 nFilterCalls=9013231, avgTableProportion=0.9981169836145971, avgTableSize=530.1087353691479
53.01/49.48
53.12/49.56 num=377, depth=2..10, filters=2562934, revisions=(2186930,useless=1236026), ccks=6677918, wck=47.084, mem=141M597
53.12/49.56 decisions=151401, wrong=73914, backtracks=48143, failedAssignments=41016, nogoods=2100, foundSolutions=21, bestBound=25
53.12/49.56 nFilterCalls=9026314, avgTableProportion=0.9981169836200376, avgTableSize=530.1087369661636
53.12/49.56
53.22/49.65 num=378, depth=2..10, filters=2567462, revisions=(2190693,useless=1238126), ccks=6690080, wck=47.173, mem=144M195
53.22/49.65 decisions=151632, wrong=74026, backtracks=48217, failedAssignments=41083, nogoods=2109, foundSolutions=21, bestBound=25
53.22/49.65 nFilterCalls=9041011, avgTableProportion=0.9981169834576403, avgTableSize=530.1086892826477
53.22/49.65
53.32/49.74 num=379, depth=2..12, filters=2571549, revisions=(2194315,useless=1240052), ccks=6701236, wck=47.265, mem=144M195
53.32/49.74 decisions=151901, wrong=74159, backtracks=48305, failedAssignments=41157, nogoods=2117, foundSolutions=21, bestBound=25
53.32/49.74 nFilterCalls=9056416, avgTableProportion=0.9981169832803825, avgTableSize=530.1086372357454
53.32/49.74
53.42/49.87 num=380, depth=3..13, filters=2577050, revisions=(2198829,useless=1242821), ccks=6713879, wck=47.391, mem=144M195
53.42/49.87 decisions=152244, wrong=74327, backtracks=48427, failedAssignments=41238, nogoods=2131, foundSolutions=21, bestBound=25
53.42/49.87 nFilterCalls=9080066, avgTableProportion=0.9981169833661774, avgTableSize=530.108662426022
53.42/49.87
53.52/49.96 num=381, depth=3..12, filters=2582367, revisions=(2203459,useless=1245434), ccks=6727745, wck=47.487, mem=144M195
53.52/49.96 decisions=152565, wrong=74484, backtracks=48529, failedAssignments=41327, nogoods=2136, foundSolutions=21, bestBound=25
53.52/49.96 nFilterCalls=9097479, avgTableProportion=0.9981169834346361, avgTableSize=530.1086825262252
53.52/49.96
53.63/50.09 num=382, depth=4..12, filters=2589107, revisions=(2209097,useless=1248601), ccks=6745792, wck=47.616, mem=144M195
53.63/50.09 decisions=152943, wrong=74670, backtracks=48657, failedAssignments=41425, nogoods=2142, foundSolutions=21, bestBound=25
53.63/50.09 nFilterCalls=9120517, avgTableProportion=0.9981169836206653, avgTableSize=530.1087371472472
53.63/50.09
53.82/50.23 num=383, depth=1..12, filters=2595787, revisions=(2214312,useless=1251511), ccks=6764030, wck=47.752, mem=146M794
53.82/50.23 decisions=153314, wrong=74853, backtracks=48775, failedAssignments=41533, nogoods=2151, foundSolutions=21, bestBound=25
53.82/50.23 nFilterCalls=9144570, avgTableProportion=0.9981169840301786, avgTableSize=530.1088573874988
53.82/50.23
53.92/50.37 num=384, depth=5..13, filters=2603709, revisions=(2220721,useless=1255122), ccks=6783761, wck=47.889, mem=147M653
53.92/50.37 decisions=153746, wrong=75066, backtracks=48924, failedAssignments=41652, nogoods=2156, foundSolutions=21, bestBound=25
53.92/50.37 nFilterCalls=9170237, avgTableProportion=0.9981169839599723, avgTableSize=530.1088367727028
53.92/50.37
54.12/50.57 num=385, depth=2..14, filters=2613290, revisions=(2228496,useless=1259690), ccks=6805786, wck=48.096, mem=147M653
54.12/50.57 decisions=154276, wrong=75329, backtracks=49102, failedAssignments=41783, nogoods=2167, foundSolutions=21, bestBound=25
54.12/50.57 nFilterCalls=9206502, avgTableProportion=0.9981169843905886, avgTableSize=530.1089632088278
54.12/50.57
54.32/50.75 num=386, depth=3..11, filters=2621808, revisions=(2235646,useless=1263585), ccks=6828473, wck=48.274, mem=150M252
54.32/50.75 decisions=154788, wrong=75582, backtracks=49261, failedAssignments=41927, nogoods=2174, foundSolutions=21, bestBound=25
54.32/50.75 nFilterCalls=9240566, avgTableProportion=0.9981169841783999, avgTableSize=530.1089009049879
54.32/50.75
54.52/50.93 num=387, depth=4..15, filters=2631075, revisions=(2243458,useless=1268075), ccks=6853692, wck=48.454, mem=150M252
54.52/50.93 decisions=155368, wrong=75867, backtracks=49454, failedAssignments=42085, nogoods=2181, foundSolutions=21, bestBound=25
54.52/50.93 nFilterCalls=9278262, avgTableProportion=0.9981169843571199, avgTableSize=530.1089533794152
54.52/50.93
54.73/51.15 num=388, depth=5..16, filters=2644043, revisions=(2252671,useless=1273734), ccks=6881754, wck=48.67, mem=152M851
54.73/51.15 decisions=156003, wrong=76180, backtracks=49684, failedAssignments=42259, nogoods=2195, foundSolutions=21, bestBound=25
54.73/51.15 nFilterCalls=9321956, avgTableProportion=0.9981169853309232, avgTableSize=530.1092393055707
54.73/51.15
55.02/51.44 num=389, depth=4..12, filters=2656677, revisions=(2262152,useless=1279323), ccks=6911130, wck=48.963, mem=152M851
55.02/51.44 decisions=156681, wrong=76517, backtracks=49915, failedAssignments=42450, nogoods=2204, foundSolutions=21, bestBound=25
55.02/51.44 nFilterCalls=9372499, avgTableProportion=0.9981169857930442, avgTableSize=530.1093749916645
55.02/51.44
55.22/51.69 num=390, depth=2..12, filters=2668671, revisions=(2272800,useless=1285506), ccks=6942259, wck=49.216, mem=155M449
55.22/51.69 decisions=157446, wrong=76897, backtracks=50171, failedAssignments=42661, nogoods=2211, foundSolutions=21, bestBound=25
55.22/51.69 nFilterCalls=9416575, avgTableProportion=0.9981169855988957, avgTableSize=530.1093179845113
55.22/51.69
55.52/51.98 num=391, depth=4..13, filters=2684885, revisions=(2285760,useless=1293123), ccks=6982771, wck=49.503, mem=155M449
55.52/51.98 decisions=158303, wrong=77322, backtracks=50462, failedAssignments=42893, nogoods=2222, foundSolutions=21, bestBound=25
55.52/51.98 nFilterCalls=9473804, avgTableProportion=0.9981169866151323, avgTableSize=530.1096163695174
55.52/51.98
55.82/52.24 num=392, depth=6..16, filters=2699193, revisions=(2297802,useless=1299982), ccks=7022237, wck=49.763, mem=158M48
55.82/52.24 decisions=159180, wrong=77757, backtracks=50726, failedAssignments=43148, nogoods=2229, foundSolutions=21, bestBound=25
55.82/52.24 nFilterCalls=9525321, avgTableProportion=0.9981169867881533, avgTableSize=530.1096671702718
55.82/52.24
56.22/52.60 num=393, depth=2..13, filters=2716155, revisions=(2311683,useless=1307933), ccks=7062898, wck=50.122, mem=159M369
56.22/52.60 decisions=160177, wrong=78253, backtracks=51059, failedAssignments=43429, nogoods=2238, foundSolutions=21, bestBound=25
56.22/52.60 nFilterCalls=9589045, avgTableProportion=0.9981169874074285, avgTableSize=530.1098489995615
56.22/52.60
56.56/52.92 num=394, depth=3..13, filters=2733580, revisions=(2327015,useless=1316303), ccks=7111937, wck=50.449, mem=29M930
56.56/52.92 decisions=161298, wrong=78811, backtracks=51429, failedAssignments=43738, nogoods=2240, foundSolutions=21, bestBound=25
56.56/52.92 nFilterCalls=9648086, avgTableProportion=0.9981169873542748, avgTableSize=530.1098333907886
56.56/52.92
57.06/53.41 num=395, depth=1..13, filters=2755636, revisions=(2344892,useless=1326488), ccks=7166072, wck=50.937, mem=32M538
57.06/53.41 decisions=162589, wrong=79454, backtracks=51844, failedAssignments=44078, nogoods=2251, foundSolutions=21, bestBound=25
57.06/53.41 nFilterCalls=9733292, avgTableProportion=0.9981169877558169, avgTableSize=530.1099512888343
57.06/53.41
57.46/53.89 num=396, depth=3..12, filters=2779160, revisions=(2364367,useless=1337454), ccks=7227451, wck=51.419, mem=35M146
57.46/53.89 decisions=163938, wrong=80125, backtracks=52298, failedAssignments=44452, nogoods=2265, foundSolutions=21, bestBound=25
57.46/53.89 nFilterCalls=9820353, avgTableProportion=0.9981169873946366, avgTableSize=530.1098452367241
57.46/53.89
58.06/54.40 num=397, depth=2..14, filters=2803330, revisions=(2384539,useless=1348563), ccks=7291968, wck=51.928, mem=37M754
58.06/54.40 decisions=165350, wrong=80829, backtracks=52782, failedAssignments=44863, nogoods=2276, foundSolutions=21, bestBound=25
58.06/54.40 nFilterCalls=9906476, avgTableProportion=0.998116988165014, avgTableSize=530.1100714320612
58.06/54.40
58.56/54.96 num=398, depth=3..14, filters=2830840, revisions=(2407493,useless=1361917), ccks=7362546, wck=52.488, mem=40M362
58.56/54.96 decisions=166922, wrong=81613, backtracks=53310, failedAssignments=45315, nogoods=2284, foundSolutions=21, bestBound=25
58.56/54.96 nFilterCalls=10005974, avgTableProportion=0.9981169878376226, avgTableSize=530.1099753007553
58.56/54.96
59.16/55.58 num=399, depth=4..14, filters=2862329, revisions=(2433884,useless=1377253), ccks=7444868, wck=53.101, mem=42M970
59.16/55.58 decisions=168780, wrong=82537, backtracks=53938, failedAssignments=45812, nogoods=2299, foundSolutions=21, bestBound=25
59.16/55.58 nFilterCalls=10120381, avgTableProportion=0.9981169878359695, avgTableSize=530.1099748122131
59.16/55.58
59.86/56.26 num=400, depth=0..14, filters=2897277, revisions=(2465067,useless=1394465), ccks=7537035, wck=53.785, mem=45M578
59.86/56.26 decisions=170819, wrong=83554, backtracks=54647, failedAssignments=46359, nogoods=2300, foundSolutions=21, bestBound=25
59.86/56.26 nFilterCalls=10229428, avgTableProportion=0.9981169880812142, avgTableSize=530.110046817867
59.86/56.26
60.56/57.01 num=401, depth=1..11, filters=2936200, revisions=(2498584,useless=1413930), ccks=7635869, wck=54.53, mem=50M794
60.56/57.01 decisions=173050, wrong=84667, backtracks=55407, failedAssignments=46961, nogoods=2307, foundSolutions=21, bestBound=25
60.56/57.01 nFilterCalls=10359122, avgTableProportion=0.9981169880212543, avgTableSize=530.1100292090391
60.56/57.01
61.56/57.99 num=402, depth=3..16, filters=2985828, revisions=(2534714,useless=1435898), ccks=7746285, wck=55.511, mem=53M402
61.56/57.99 decisions=175483, wrong=85879, backtracks=56286, failedAssignments=47623, nogoods=2315, foundSolutions=21, bestBound=25
61.56/57.99 nFilterCalls=10544913, avgTableProportion=0.9981169904702674, avgTableSize=530.1107482821337
61.56/57.99
62.46/58.87 num=403, depth=1..13, filters=3028671, revisions=(2571995,useless=1456428), ccks=7859407, wck=56.395, mem=58M618
62.46/58.87 decisions=178028, wrong=87149, backtracks=57169, failedAssignments=48351, nogoods=2326, foundSolutions=21, bestBound=25
62.46/58.87 nFilterCalls=10687553, avgTableProportion=0.9981169902901896, avgTableSize=530.1106954042707
62.46/58.87
63.67/60.01 num=404, depth=0..14, filters=3081371, revisions=(2613420,useless=1480282), ccks=7981155, wck=57.531, mem=63M835
63.67/60.01 decisions=180859, wrong=88564, backtracks=58163, failedAssignments=49152, nogoods=2328, foundSolutions=21, bestBound=25
63.67/60.01 nFilterCalls=10883293, avgTableProportion=0.9981169919301385, avgTableSize=530.1111769204413
63.67/60.01
64.77/61.18 num=405, depth=1..13, filters=3137483, revisions=(2661909,useless=1508954), ccks=8121744, wck=58.7, mem=69M51
64.77/61.18 decisions=184048, wrong=90156, backtracks=59254, failedAssignments=50033, nogoods=2341, foundSolutions=21, bestBound=25
64.77/61.18 nFilterCalls=11074967, avgTableProportion=0.9981169927986735, avgTableSize=530.1114319347407
64.77/61.18
65.96/62.40 num=406, depth=2..14, filters=3198247, revisions=(2712672,useless=1539287), ccks=8284711, wck=59.92, mem=76M875
65.96/62.40 decisions=187519, wrong=91888, backtracks=60390, failedAssignments=51003, nogoods=2348, foundSolutions=21, bestBound=25
65.96/62.40 nFilterCalls=11286627, avgTableProportion=0.9981169940812337, avgTableSize=530.1118085146253
65.96/62.40
67.46/63.84 num=407, depth=1..14, filters=3266333, revisions=(2770649,useless=1572813), ccks=8447770, wck=61.367, mem=82M91
67.46/63.84 decisions=191333, wrong=93793, backtracks=61707, failedAssignments=52070, nogoods=2361, foundSolutions=21, bestBound=25
67.46/63.84 nFilterCalls=11520615, avgTableProportion=0.998116996517827, avgTableSize=530.1125239407792
67.46/63.84
69.06/65.41 num=408, depth=0..13, filters=3341530, revisions=(2835695,useless=1612284), ccks=8643450, wck=62.938, mem=89M915
69.06/65.41 decisions=195545, wrong=95896, backtracks=63114, failedAssignments=53243, nogoods=2369, foundSolutions=21, bestBound=25
69.06/65.41 nFilterCalls=11789019, avgTableProportion=0.9981169966224612, avgTableSize=530.1125546578558
69.06/65.41
71.07/67.40 num=409, depth=0..13, filters=3428922, revisions=(2907453,useless=1655209), ccks=8854247, wck=64.929, mem=97M739
71.07/67.40 decisions=200296, wrong=98269, backtracks=64792, failedAssignments=54534, nogoods=2381, foundSolutions=21, bestBound=25
71.07/67.40 nFilterCalls=12121568, avgTableProportion=0.9981169981276444, avgTableSize=530.1129966024198
71.07/67.40
73.07/69.43 num=410, depth=0..12, filters=3523481, revisions=(2986615,useless=1703927), ccks=9079278, wck=66.957, mem=108M171
73.07/69.43 decisions=205424, wrong=100830, backtracks=66586, failedAssignments=55954, nogoods=2384, foundSolutions=21, bestBound=25
73.07/69.43 nFilterCalls=12458841, avgTableProportion=0.9981169993480332, avgTableSize=530.113354926032
73.07/69.43
75.37/71.77 num=411, depth=0..12, filters=3632633, revisions=(3079693,useless=1762495), ccks=9334859, wck=69.297, mem=118M604
75.37/71.77 decisions=211217, wrong=103725, backtracks=68678, failedAssignments=57516, nogoods=2387, foundSolutions=21, bestBound=25
75.37/71.77 nFilterCalls=12833258, avgTableProportion=0.9981170018631171, avgTableSize=530.1140933970158
75.37/71.77
77.07/73.44
77.07/73.44 New Bounds: 26..25
77.07/73.44 num=412, depth=0..12, filters=3707639, revisions=(3142181,useless=1802422), ccks=9499138, wck=70.96, mem=123M820
77.07/73.44 decisions=215051, wrong=105643, backtracks=70046, failedAssignments=58536, foundSolutions=21, bestBound=25
77.07/73.44 nFilterCalls=13098009, avgTableProportion=0.9981170025565218, avgTableSize=530.114296989718
77.07/73.44
77.07/73.44 Global
77.07/73.44 filters=3707639, revisions=(3142181,useless=1802422), ccks=9499138
77.07/73.44 Stop=FULL_EXPLORATION, wrong=105643, bestBound=25, bestBoundWck=46.097, bestBoundCpu=47.902, foundSolutions=21, firstSolCpu=2.464
77.07/73.44 wck=71.565, cpu=73.36, mem=123M820
77.07/73.44
77.07/73.44 v <instantiation id='sol21' type='solution' cost='25'> <list> s[] p[] g[] </list> <values> 6 0 1 2 3 -1 7 8 14 10 4 -1 -1 -1 20 9 15 16 -1 -1 21 22 23 17 0 17 16 15 14 -1 1 2 3 12 13 -1 -1 -1 4 11 10 9 -1 -1 5 6 7 8 -6 1 -5 5 5 0 0 8 4 7 4 0 0 0 3 1 -2 -5 0 0 -5 6 0 4 </values> </instantiation>
77.07/73.44 s OPTIMUM FOUND
77.07/73.44
77.07/73.44 d WRONG_DECISIONS 105643
77.07/73.44 d NUMBER_SOLUTIONS 21