2.53/2.47
2.53/2.47 AbsCon 2
2.53/2.49
3.00/2.72 Instance
3.00/2.72 name=instance-4390846-1568380515, framework=COP, bounds=-infty..+infty
3.00/2.72
3.00/2.72 Loading variables...
3.00/2.77 Loading constraints...
3.17/2.88
3.17/2.88 Domains
3.17/2.88 nTypes=7, nValues=23845, sizes=[5#50,429#55]
3.17/2.88 Variables
3.17/2.88 count=105, degrees=[2#30,3#50,9#25]
3.17/2.88 Objectives
3.17/2.88 way=min, type=ObjMaximumLE
3.17/2.88 Constraints
3.17/2.88 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.17/2.88 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.17/2.88 tables=[2#50], nTotalTuples=100
3.17/2.88 nExtStructures=(55,shared:20), nIntStructures=(14,shared:16), nCftStructures=(5,shared:20,unbuilt:111)
3.17/2.88 wck=0.439, cpu=2.157, mem=26M520
3.17/2.89 Solver SolverBacktrack being built...
3.17/2.89
3.43/2.91
3.43/2.91 Solver
3.43/2.91 guaranteedGAC=true
3.43/2.91 wck=0.47, cpu=2.187, mem=37M163
4.53/3.75
4.53/3.75 Preprocessing
4.53/3.75 filters=55, revisions=(140,useless=60), ccks=8437732, nACremovedValues=5571, nTotalRemovedValues=5571, inconcistency=false
4.53/3.75 wck=0.841, cpu=3.029, mem=39M805
4.53/3.75
4.73/3.87 num=0, depth=20..21, filters=410, revisions=(667,useless=375), ccks=9441635, wck=0.956, mem=39M805
4.73/3.87 decisions=42, wrong=11, backtracks=1, failedAssignments=10, nogoods=7
4.73/3.87 nFilterCalls=280, avgTableProportion=0.38035714285714284, avgTableSize=0.7607142857142857
4.73/3.87
4.73/3.90 num=1, depth=4..4, filters=530, revisions=(722,useless=399), ccks=9705073, wck=0.984, mem=39M805
4.73/3.90 decisions=68, wrong=22, backtracks=1, failedAssignments=21, nogoods=18
4.73/3.90 nFilterCalls=417, avgTableProportion=0.4196642685851319, avgTableSize=0.8393285371702638
4.73/3.90
5.29/4.11 num=2, depth=16..16, filters=1261, revisions=(1753,useless=953), ccks=12071912, wck=1.194, mem=42M447
5.29/4.11 decisions=108, wrong=34, backtracks=1, failedAssignments=33, nogoods=30
5.29/4.11 nFilterCalls=704, avgTableProportion=0.4083806818181818, avgTableSize=0.8167613636363636
5.29/4.11
5.29/4.17 num=3, depth=10..10, filters=1500, revisions=(1909,useless=1024), ccks=12737445, wck=1.257, mem=42M447
5.29/4.17 decisions=144, wrong=47, backtracks=1, failedAssignments=46, nogoods=43
5.29/4.17 nFilterCalls=972, avgTableProportion=0.4315843621399177, avgTableSize=0.8631687242798354
5.29/4.17
5.45/4.24 num=4, depth=14..15, filters=1805, revisions=(2203,useless=1194), ccks=13489250, wck=1.326, mem=45M90
5.45/4.24 decisions=187, wrong=61, backtracks=1, failedAssignments=60, nogoods=57
5.45/4.24 nFilterCalls=1301, avgTableProportion=0.4335126825518832, avgTableSize=0.8670253651037664
5.45/4.24
5.55/4.32 num=5, depth=21..21, filters=2277, revisions=(2719,useless=1507), ccks=14369570, wck=1.407, mem=45M90
5.55/4.32 decisions=240, wrong=77, backtracks=1, failedAssignments=76, nogoods=73
5.55/4.32 nFilterCalls=1808, avgTableProportion=0.41814159292035397, avgTableSize=0.8362831858407079
5.55/4.32
5.77/4.46 num=6, depth=0..29, filters=2875, revisions=(3523,useless=1965), ccks=15919623, wck=1.55, mem=47M732
5.77/4.46 decisions=302, wrong=94, backtracks=1, failedAssignments=93, nogoods=77
5.77/4.46 nFilterCalls=2297, avgTableProportion=0.4061819764910753, avgTableSize=0.8123639529821506
5.77/4.46
5.98/4.57 num=7, depth=0..17, filters=3644, revisions=(4182,useless=2358), ccks=17041468, wck=1.655, mem=47M732
5.98/4.57 decisions=357, wrong=113, backtracks=1, failedAssignments=112, nogoods=93
5.98/4.57 nFilterCalls=3166, avgTableProportion=0.3806064434617814, avgTableSize=0.7612128869235628
5.98/4.57
6.22/4.64 num=8, depth=0..0, filters=3892, revisions=(4647,useless=2591), ccks=17795671, wck=1.723, mem=47M732
6.22/4.64 decisions=399, wrong=134, backtracks=1, failedAssignments=133, nogoods=93
6.22/4.64 nFilterCalls=3166, avgTableProportion=0.3806064434617814, avgTableSize=0.7612128869235628
6.22/4.64
6.98/4.94 num=9, depth=11..15, filters=6246, revisions=(6768,useless=3745), ccks=21108047, wck=2.026, mem=50M375
6.98/4.94 decisions=485, wrong=171, backtracks=19, failedAssignments=156, nogoods=100
6.98/4.94 nFilterCalls=4836, avgTableProportion=0.3608354011579818, avgTableSize=0.7216708023159636
6.98/4.94
7.28/5.10 num=10, depth=12..16, filters=7376, revisions=(7690,useless=4313), ccks=22874606, wck=2.184, mem=53M17
7.28/5.10 decisions=555, wrong=200, backtracks=23, failedAssignments=181, nogoods=114
7.28/5.10 nFilterCalls=5763, avgTableProportion=0.37341662328648273, avgTableSize=0.7468332465729655
7.28/5.10
7.70/5.26 num=11, depth=17..18, filters=9015, revisions=(9079,useless=5291), ccks=24715915, wck=2.348, mem=53M17
7.70/5.26 decisions=630, wrong=229, backtracks=24, failedAssignments=209, nogoods=126
7.70/5.26 nFilterCalls=7620, avgTableProportion=0.33700787401574805, avgTableSize=0.6740157480314961
7.70/5.26
8.52/5.62 num=12, depth=11..16, filters=12131, revisions=(11805,useless=6790), ccks=28799091, wck=2.709, mem=55M660
8.52/5.62 decisions=749, wrong=282, backtracks=49, failedAssignments=240, nogoods=132
8.52/5.62 nFilterCalls=9945, avgTableProportion=0.34434389140271493, avgTableSize=0.6886877828054299
8.52/5.62
8.72/5.75 num=13, depth=16..17, filters=13504, revisions=(13255,useless=7823), ccks=30231540, wck=2.839, mem=58M302
8.72/5.75 decisions=833, wrong=316, backtracks=49, failedAssignments=274, nogoods=166
8.72/5.75 nFilterCalls=11414, avgTableProportion=0.3530751708428246, avgTableSize=0.7061503416856492
8.72/5.75
9.40/6.12 num=14, depth=15..30, filters=15900, revisions=(15918,useless=9191), ccks=34504703, wck=3.21, mem=60M944
9.40/6.12 decisions=982, wrong=381, backtracks=77, failedAssignments=311, nogoods=170
9.40/6.12 nFilterCalls=13233, avgTableProportion=0.342477140482128, avgTableSize=0.684954280964256
9.40/6.12
9.59/6.31 num=15, depth=19..20, filters=17197, revisions=(17318,useless=10185), ccks=36697518, wck=3.4, mem=60M944
9.59/6.31 decisions=1085, wrong=423, backtracks=78, failedAssignments=352, nogoods=184
9.59/6.31 nFilterCalls=14671, avgTableProportion=0.3431599754617954, avgTableSize=0.6863199509235908
9.59/6.31
9.89/6.66 num=16, depth=18..21, filters=21567, revisions=(21460,useless=12950), ccks=40501696, wck=3.743, mem=63M587
9.89/6.66 decisions=1199, wrong=471, backtracks=81, failedAssignments=397, nogoods=216
9.89/6.66 nFilterCalls=19025, avgTableProportion=0.3140078843626807, avgTableSize=0.6280157687253614
9.89/6.66
10.10/6.82 num=17, depth=15..20, filters=24348, revisions=(24131,useless=14820), ccks=42290738, wck=3.907, mem=66M229
10.10/6.82 decisions=1328, wrong=528, backtracks=90, failedAssignments=447, nogoods=229
10.10/6.82 nFilterCalls=22084, avgTableProportion=0.3037719616011592, avgTableSize=0.6075439232023184
10.10/6.82
10.32/7.05 num=18, depth=19..22, filters=27808, revisions=(27502,useless=17206), ccks=44839313, wck=4.138, mem=66M229
10.32/7.05 decisions=1461, wrong=584, backtracks=91, failedAssignments=502, nogoods=257
10.32/7.05 nFilterCalls=26311, avgTableProportion=0.28220136064763784, avgTableSize=0.5644027212952757
10.32/7.05
10.64/7.30 num=19, depth=18..20, filters=32252, revisions=(31808,useless=20204), ccks=47542025, wck=4.384, mem=68M872
10.64/7.30 decisions=1610, wrong=649, backtracks=95, failedAssignments=563, nogoods=278
10.64/7.30 nFilterCalls=30918, avgTableProportion=0.2698913254414904, avgTableSize=0.5397826508829808
10.64/7.30
10.85/7.52 num=20, depth=17..20, filters=35246, revisions=(34298,useless=21821), ccks=49998379, wck=4.604, mem=71M514
10.85/7.52 decisions=1767, wrong=719, backtracks=99, failedAssignments=630, nogoods=288
10.85/7.52 nFilterCalls=33851, avgTableProportion=0.2680127618091046, avgTableSize=0.5360255236182092
10.85/7.52
11.06/7.78 num=21, depth=18..22, filters=39855, revisions=(38461,useless=24776), ccks=52870946, wck=4.867, mem=74M157
11.06/7.78 decisions=1941, wrong=797, backtracks=103, failedAssignments=704, nogoods=322
11.06/7.78 nFilterCalls=39081, avgTableProportion=0.2531153245822778, avgTableSize=0.5062306491645556
11.06/7.78
11.39/8.06 num=22, depth=18..20, filters=44343, revisions=(42515,useless=27524), ccks=55783561, wck=5.134, mem=76M799
11.39/8.06 decisions=2133, wrong=884, backtracks=110, failedAssignments=785, nogoods=361
11.39/8.06 nFilterCalls=43784, avgTableProportion=0.25283208477982827, avgTableSize=0.5056641695596565
11.39/8.06
11.78/8.45 num=23, depth=0..19, filters=48990, revisions=(47342,useless=30143), ccks=60161939, wck=5.537, mem=79M441
11.78/8.45 decisions=2383, wrong=1002, backtracks=146, failedAssignments=874, nogoods=384
11.78/8.45 nFilterCalls=47878, avgTableProportion=0.25130540122812145, avgTableSize=0.5026108024562429
11.78/8.45
11.99/8.60 num=24, depth=15..24, filters=50808, revisions=(49275,useless=31364), ccks=61829620, wck=5.685, mem=82M84
11.99/8.60 decisions=2608, wrong=1105, backtracks=152, failedAssignments=972, nogoods=400
11.99/8.60 nFilterCalls=50022, avgTableProportion=0.24897045300067971, avgTableSize=0.49794090600135943
11.99/8.60
12.20/8.82 o 425
12.20/8.83 num=25, depth=8..104, filters=52844, revisions=(51099,useless=32402), ccks=64353124, wck=5.913, mem=82M84
12.20/8.83 decisions=2716, wrong=1144, backtracks=162, failedAssignments=1002, nogoods=420, foundSolutions=1, bestBound=425
12.20/8.83 nFilterCalls=51761, avgTableProportion=0.25173393095187496, avgTableSize=0.5034678619037499
12.20/8.83
12.70/9.14 o 414
12.70/9.14 num=26, depth=17..104, filters=56972, revisions=(55113,useless=35219), ccks=67324453, wck=6.231, mem=84M726
12.70/9.14 decisions=2915, wrong=1228, backtracks=165, failedAssignments=1083, nogoods=469, foundSolutions=2, bestBound=414
12.70/9.14 nFilterCalls=56908, avgTableProportion=0.2435246362550081, avgTableSize=0.4870492725100162
12.70/9.14
13.08/9.31 num=27, depth=14..15, filters=57730, revisions=(55889,useless=35697), ccks=69065074, wck=6.401, mem=87M369
13.08/9.31 decisions=2953, wrong=1240, backtracks=166, failedAssignments=1094, nogoods=480, foundSolutions=2, bestBound=414
13.08/9.31 nFilterCalls=57677, avgTableProportion=0.24454288537892055, avgTableSize=0.4890857707578411
13.08/9.31
13.29/9.44 o 409
13.29/9.44 num=28, depth=17..104, filters=58239, revisions=(56528,useless=36087), ccks=70341488, wck=6.527, mem=87M369
13.29/9.44 decisions=2989, wrong=1242, backtracks=167, failedAssignments=1095, nogoods=481, foundSolutions=3, bestBound=409
13.29/9.44 nFilterCalls=58168, avgTableProportion=0.24467060926970155, avgTableSize=0.4893412185394031
13.29/9.44
13.51/9.60 num=29, depth=19..23, filters=58930, revisions=(57402,useless=36600), ccks=71953494, wck=6.683, mem=87M369
13.51/9.60 decisions=3040, wrong=1258, backtracks=171, failedAssignments=1107, nogoods=482, foundSolutions=3, bestBound=409
13.51/9.60 nFilterCalls=58743, avgTableProportion=0.24531433532506, avgTableSize=0.49062867065012
13.51/9.60
13.90/9.76 o 406
13.90/9.76 num=30, depth=13..104, filters=59623, revisions=(58113,useless=36983), ccks=73868205, wck=6.847, mem=90M11
13.90/9.76 decisions=3083, wrong=1263, backtracks=172, failedAssignments=1111, nogoods=486, foundSolutions=4, bestBound=406
13.90/9.76 nFilterCalls=59417, avgTableProportion=0.2456788461214804, avgTableSize=0.4913576922429608
13.90/9.76
14.31/9.90 o 405
14.31/9.90 num=31, depth=17..104, filters=60231, revisions=(58926,useless=37499), ccks=75467582, wck=6.986, mem=90M11
14.31/9.90 decisions=3120, wrong=1266, backtracks=172, failedAssignments=1114, nogoods=489, foundSolutions=5, bestBound=405
14.31/9.90 nFilterCalls=60060, avgTableProportion=0.24578754578754577, avgTableSize=0.49157509157509155
14.31/9.90
14.53/10.01 o 399
14.53/10.02 num=32, depth=15..104, filters=60821, revisions=(59665,useless=37961), ccks=76798631, wck=7.103, mem=90M11
14.53/10.02 decisions=3154, wrong=1268, backtracks=172, failedAssignments=1116, nogoods=491, foundSolutions=6, bestBound=399
14.53/10.02 nFilterCalls=60676, avgTableProportion=0.24641538664381304, avgTableSize=0.4928307732876261
14.53/10.02
14.74/10.18 num=33, depth=15..19, filters=62052, revisions=(61078,useless=38820), ccks=78733602, wck=7.272, mem=92M654
14.74/10.18 decisions=3205, wrong=1285, backtracks=180, failedAssignments=1127, nogoods=493, foundSolutions=6, bestBound=399
14.74/10.18 nFilterCalls=61819, avgTableProportion=0.24678496902246883, avgTableSize=0.49356993804493765
14.74/10.18
15.12/10.31 o 380
15.12/10.31 num=34, depth=14..104, filters=62651, revisions=(61798,useless=39224), ccks=80137661, wck=7.394, mem=92M654
15.12/10.31 decisions=3247, wrong=1291, backtracks=181, failedAssignments=1132, nogoods=498, foundSolutions=7, bestBound=380
15.12/10.31 nFilterCalls=62340, avgTableProportion=0.24706448508180942, avgTableSize=0.49412897016361884
15.12/10.31
15.23/10.45 o 374
15.23/10.45 num=35, depth=106..104, filters=63238, revisions=(62542,useless=39693), ccks=81842643, wck=7.541, mem=95M296
15.23/10.45 decisions=3280, wrong=1291, backtracks=181, failedAssignments=1132, nogoods=498, foundSolutions=8, bestBound=374
15.23/10.45 nFilterCalls=63017, avgTableProportion=0.247234873129473, avgTableSize=0.494469746258946
15.23/10.45
15.43/10.64 o 371
15.43/10.65 num=36, depth=11..104, filters=64418, revisions=(63973,useless=40500), ccks=84070728, wck=7.733, mem=95M296
15.43/10.65 decisions=3339, wrong=1306, backtracks=186, failedAssignments=1142, nogoods=501, foundSolutions=9, bestBound=371
15.43/10.65 nFilterCalls=63904, avgTableProportion=0.2477857411116675, avgTableSize=0.495571482223335
15.43/10.65
15.53/10.74 o 360
15.53/10.75 num=37, depth=106..104, filters=64958, revisions=(64640,useless=40911), ccks=85214208, wck=7.833, mem=95M296
15.53/10.75 decisions=3368, wrong=1306, backtracks=186, failedAssignments=1142, nogoods=501, foundSolutions=10, bestBound=360
15.53/10.75 nFilterCalls=64516, avgTableProportion=0.2480469960939922, avgTableSize=0.4960939921879844
15.53/10.75
15.74/10.91 o 357
15.74/10.91 num=38, depth=9..104, filters=66753, revisions=(66542,useless=41996), ccks=87042195, wck=7.996, mem=97M938
15.74/10.91 decisions=3430, wrong=1323, backtracks=196, failedAssignments=1151, nogoods=502, foundSolutions=11, bestBound=357
15.74/10.91 nFilterCalls=66029, avgTableProportion=0.24839843099244271, avgTableSize=0.49679686198488543
15.74/10.91
15.74/11.00 num=39, depth=13..18, filters=67564, revisions=(67512,useless=42541), ccks=88084630, wck=8.087, mem=97M938
15.74/11.00 decisions=3473, wrong=1337, backtracks=199, failedAssignments=1162, nogoods=508, foundSolutions=11, bestBound=357
15.74/11.00 nFilterCalls=66691, avgTableProportion=0.24906659069439654, avgTableSize=0.4981331813887931
15.74/11.00
15.95/11.14 num=40, depth=8..17, filters=68562, revisions=(68720,useless=43237), ccks=89654691, wck=8.223, mem=100M581
15.95/11.14 decisions=3514, wrong=1351, backtracks=203, failedAssignments=1173, nogoods=511, foundSolutions=11, bestBound=357
15.95/11.14 nFilterCalls=67407, avgTableProportion=0.2491729345616924, avgTableSize=0.4983458691233848
15.95/11.14
16.04/11.22 o 350
16.04/11.22 num=41, depth=8..104, filters=69216, revisions=(69420,useless=43647), ccks=90569280, wck=8.304, mem=100M581
16.04/11.22 decisions=3544, wrong=1353, backtracks=203, failedAssignments=1175, nogoods=513, foundSolutions=12, bestBound=350
16.04/11.22 nFilterCalls=67984, avgTableProportion=0.24942633560837843, avgTableSize=0.49885267121675686
16.04/11.22
16.14/11.39 num=42, depth=9..14, filters=70763, revisions=(71002,useless=44544), ccks=92527387, wck=8.476, mem=103M223
16.14/11.39 decisions=3598, wrong=1375, backtracks=215, failedAssignments=1188, nogoods=517, foundSolutions=12, bestBound=350
16.14/11.39 nFilterCalls=69147, avgTableProportion=0.2509942586084718, avgTableSize=0.5019885172169436
16.14/11.39
16.40/11.52 num=43, depth=9..15, filters=71662, revisions=(72007,useless=45092), ccks=93992140, wck=8.603, mem=103M223
16.40/11.52 decisions=3637, wrong=1390, backtracks=221, failedAssignments=1199, nogoods=522, foundSolutions=12, bestBound=350
16.40/11.52 nFilterCalls=69691, avgTableProportion=0.25179721915311876, avgTableSize=0.5035944383062375
16.40/11.52
16.50/11.65 num=44, depth=11..16, filters=73319, revisions=(73619,useless=45957), ccks=95460534, wck=8.734, mem=103M223
16.50/11.65 decisions=3692, wrong=1412, backtracks=233, failedAssignments=1211, nogoods=528, foundSolutions=12, bestBound=350
16.50/11.65 nFilterCalls=70929, avgTableProportion=0.25263996390756954, avgTableSize=0.5052799278151391
16.50/11.65
16.60/11.75 num=45, depth=10..13, filters=74499, revisions=(74704,useless=46528), ccks=96605543, wck=8.835, mem=105M866
16.60/11.75 decisions=3732, wrong=1427, backtracks=236, failedAssignments=1224, nogoods=531, foundSolutions=12, bestBound=350
16.60/11.75 nFilterCalls=71908, avgTableProportion=0.2528508649941592, avgTableSize=0.5057017299883184
16.60/11.75
16.70/11.86 num=46, depth=7..15, filters=75752, revisions=(76055,useless=47273), ccks=97905023, wck=8.95, mem=105M866
16.70/11.86 decisions=3779, wrong=1445, backtracks=242, failedAssignments=1238, nogoods=540, foundSolutions=12, bestBound=350
16.70/11.86 nFilterCalls=72703, avgTableProportion=0.25408855205424813, avgTableSize=0.5081771041084963
16.70/11.86
16.80/12.00 o 342
16.80/12.00 num=47, depth=9..104, filters=77215, revisions=(77647,useless=48182), ccks=99417978, wck=9.085, mem=108M508
16.80/12.00 decisions=3846, wrong=1465, backtracks=252, failedAssignments=1253, nogoods=541, foundSolutions=13, bestBound=342
16.80/12.00 nFilterCalls=73907, avgTableProportion=0.25405577279554037, avgTableSize=0.5081115455910807
16.80/12.00
17.07/12.18 num=48, depth=8..15, filters=79494, revisions=(79876,useless=49440), ccks=101408042, wck=9.264, mem=111M150
17.07/12.18 decisions=3913, wrong=1494, backtracks=270, failedAssignments=1270, nogoods=549, foundSolutions=13, bestBound=342
17.07/12.18 nFilterCalls=75475, avgTableProportion=0.25655515071215634, avgTableSize=0.5131103014243127
17.07/12.18
17.26/12.31 num=49, depth=10..13, filters=80348, revisions=(80867,useless=49957), ccks=103002546, wck=9.402, mem=111M150
17.26/12.31 decisions=3954, wrong=1509, backtracks=275, failedAssignments=1281, nogoods=554, foundSolutions=13, bestBound=342
17.26/12.31 nFilterCalls=76006, avgTableProportion=0.2568020945714812, avgTableSize=0.5136041891429624
17.26/12.31
17.36/12.41 num=50, depth=8..12, filters=81374, revisions=(81916,useless=50509), ccks=104128482, wck=9.502, mem=111M150
17.36/12.41 decisions=3999, wrong=1527, backtracks=283, failedAssignments=1293, nogoods=561, foundSolutions=13, bestBound=342
17.36/12.41 nFilterCalls=76776, avgTableProportion=0.25793216630196936, avgTableSize=0.5158643326039387
17.36/12.41
17.46/12.54 num=51, depth=9..13, filters=82571, revisions=(83207,useless=51188), ccks=105513606, wck=9.624, mem=113M793
17.46/12.54 decisions=4044, wrong=1545, backtracks=290, failedAssignments=1306, nogoods=562, foundSolutions=13, bestBound=342
17.46/12.54 nFilterCalls=77519, avgTableProportion=0.2583753660392936, avgTableSize=0.5167507320785872
17.46/12.54
17.66/12.70 num=52, depth=8..14, filters=83597, revisions=(84357,useless=51812), ccks=107395097, wck=9.787, mem=113M793
17.66/12.70 decisions=4089, wrong=1562, backtracks=295, failedAssignments=1320, nogoods=566, foundSolutions=13, bestBound=342
17.66/12.70 nFilterCalls=78156, avgTableProportion=0.25875812477608884, avgTableSize=0.5175162495521777
17.66/12.70
17.76/12.85 num=53, depth=8..15, filters=85499, revisions=(86351,useless=52914), ccks=109075415, wck=9.936, mem=116M436
17.76/12.85 decisions=4156, wrong=1591, backtracks=310, failedAssignments=1336, nogoods=571, foundSolutions=13, bestBound=342
17.76/12.85 nFilterCalls=79671, avgTableProportion=0.2594043001845088, avgTableSize=0.5188086003690175
17.76/12.85
17.97/13.05 num=54, depth=9..13, filters=87512, revisions=(88127,useless=53829), ccks=111411855, wck=10.14, mem=119M78
17.97/13.05 decisions=4221, wrong=1619, backtracks=321, failedAssignments=1353, nogoods=573, foundSolutions=13, bestBound=342
17.97/13.05 nFilterCalls=81098, avgTableProportion=0.2608880613578633, avgTableSize=0.5217761227157266
17.97/13.05
18.26/13.32 num=55, depth=11..16, filters=88911, revisions=(89688,useless=54651), ccks=114523667, wck=10.406, mem=119M78
18.26/13.32 decisions=4291, wrong=1648, backtracks=333, failedAssignments=1372, nogoods=575, foundSolutions=13, bestBound=342
18.26/13.32 nFilterCalls=81962, avgTableProportion=0.2617066445425929, avgTableSize=0.5234132890851858
18.26/13.32
18.46/13.52 num=56, depth=7..18, filters=91192, revisions=(91910,useless=55838), ccks=116863343, wck=10.612, mem=121M720
18.46/13.52 decisions=4377, wrong=1685, backtracks=356, failedAssignments=1393, nogoods=582, foundSolutions=13, bestBound=342
18.46/13.52 nFilterCalls=83696, avgTableProportion=0.26333397056012237, avgTableSize=0.5266679411202447
18.46/13.52
18.66/13.73 num=57, depth=5..13, filters=93510, revisions=(94119,useless=57023), ccks=119220586, wck=10.82, mem=124M363
18.66/13.73 decisions=4458, wrong=1721, backtracks=373, failedAssignments=1416, nogoods=584, foundSolutions=13, bestBound=342
18.66/13.73 nFilterCalls=85399, avgTableProportion=0.26421269569901285, avgTableSize=0.5284253913980257
18.66/13.73
18.76/13.89 num=58, depth=9..20, filters=94989, revisions=(95841,useless=57990), ccks=121080296, wck=10.981, mem=124M363
18.76/13.89 decisions=4549, wrong=1760, backtracks=389, failedAssignments=1441, nogoods=593, foundSolutions=13, bestBound=342
18.76/13.89 nFilterCalls=86496, avgTableProportion=0.2639428412874584, avgTableSize=0.5278856825749167
18.76/13.89
19.07/14.12 num=59, depth=8..13, filters=98554, revisions=(99054,useless=59636), ccks=123633380, wck=11.211, mem=127M5
19.07/14.12 decisions=4657, wrong=1810, backtracks=420, failedAssignments=1469, nogoods=595, foundSolutions=13, bestBound=342
19.07/14.12 nFilterCalls=89139, avgTableProportion=0.26504111556109, avgTableSize=0.53008223112218
19.07/14.12
19.26/14.36 num=60, depth=8..16, filters=101207, revisions=(101717,useless=61067), ccks=126307668, wck=11.447, mem=129M648
19.26/14.36 decisions=4753, wrong=1853, backtracks=441, failedAssignments=1500, nogoods=599, foundSolutions=13, bestBound=342
19.26/14.36 nFilterCalls=91083, avgTableProportion=0.26481890144154235, avgTableSize=0.5296378028830847
19.26/14.36
19.47/14.58 num=61, depth=5..13, filters=105164, revisions=(105312,useless=62949), ccks=128748201, wck=11.671, mem=132M290
19.47/14.58 decisions=4889, wrong=1918, backtracks=478, failedAssignments=1534, nogoods=603, foundSolutions=13, bestBound=342
19.47/14.58 nFilterCalls=93880, avgTableProportion=0.26732530890498507, avgTableSize=0.5346506178099701
19.47/14.58
19.67/14.76 num=62, depth=6..18, filters=107365, revisions=(107776,useless=64255), ccks=130759591, wck=11.85, mem=134M933
19.67/14.76 decisions=5010, wrong=1972, backtracks=500, failedAssignments=1571, nogoods=612, foundSolutions=13, bestBound=342
19.67/14.76 nFilterCalls=95124, avgTableProportion=0.26812371220722425, avgTableSize=0.5362474244144485
19.67/14.76
20.08/15.12 num=63, depth=6..18, filters=110155, revisions=(111001,useless=65969), ccks=134949123, wck=12.212, mem=137M575
20.08/15.12 decisions=5158, wrong=2041, backtracks=530, failedAssignments=1612, nogoods=622, foundSolutions=13, bestBound=342
20.08/15.12 nFilterCalls=96676, avgTableProportion=0.2687223302577682, avgTableSize=0.5374446605155364
20.08/15.12
20.47/15.51 num=64, depth=6..15, filters=114007, revisions=(114821,useless=67929), ccks=139351861, wck=12.598, mem=142M778
20.47/15.51 decisions=5317, wrong=2116, backtracks=571, failedAssignments=1657, nogoods=633, foundSolutions=13, bestBound=342
20.47/15.51 nFilterCalls=99200, avgTableProportion=0.2705947580645161, avgTableSize=0.5411895161290322
20.47/15.51
21.02/16.05 num=65, depth=0..16, filters=115747, revisions=(117174,useless=69138), ccks=145595265, wck=13.138, mem=24M883
21.02/16.05 decisions=5466, wrong=2186, backtracks=591, failedAssignments=1707, nogoods=637, foundSolutions=13, bestBound=342
21.02/16.05 nFilterCalls=99830, avgTableProportion=0.2708955223880597, avgTableSize=0.5417910447761194
21.02/16.05
21.12/16.17 o 340
21.12/16.17 num=66, depth=11..104, filters=116570, revisions=(118049,useless=69618), ccks=147006304, wck=13.26, mem=24M883
21.12/16.17 decisions=5498, wrong=2193, backtracks=593, failedAssignments=1712, nogoods=641, foundSolutions=14, bestBound=340
21.12/16.17 nFilterCalls=100547, avgTableProportion=0.27132087481476325, avgTableSize=0.5426417496295265
21.12/16.17
21.52/16.55 num=67, depth=10..18, filters=119988, revisions=(121914,useless=71806), ccks=151325622, wck=13.635, mem=30M115
21.52/16.55 decisions=5693, wrong=2284, backtracks=629, failedAssignments=1773, nogoods=645, foundSolutions=14, bestBound=340
21.52/16.55 nFilterCalls=102812, avgTableProportion=0.2717678870170797, avgTableSize=0.5435357740341594
21.52/16.55
21.62/16.65 num=68, depth=9..14, filters=121414, revisions=(123145,useless=72473), ccks=152531685, wck=13.742, mem=30M115
21.62/16.65 decisions=5734, wrong=2300, backtracks=639, failedAssignments=1784, nogoods=647, foundSolutions=14, bestBound=340
21.62/16.65 nFilterCalls=104126, avgTableProportion=0.27186773716458906, avgTableSize=0.5437354743291781
21.62/16.65
21.72/16.75 num=69, depth=8..13, filters=122476, revisions=(124179,useless=73058), ccks=153637774, wck=13.838, mem=30M115
21.72/16.75 decisions=5772, wrong=2313, backtracks=641, failedAssignments=1796, nogoods=658, foundSolutions=14, bestBound=340
21.72/16.75 nFilterCalls=105058, avgTableProportion=0.2719545393972853, avgTableSize=0.5439090787945706
21.72/16.75
21.93/16.96 num=70, depth=0..14, filters=123676, revisions=(125594,useless=73757), ccks=156120577, wck=14.048, mem=32M731
21.93/16.96 decisions=5825, wrong=2334, backtracks=651, failedAssignments=1809, nogoods=662, foundSolutions=14, bestBound=340
21.93/16.96 nFilterCalls=105724, avgTableProportion=0.2725492792554198, avgTableSize=0.5450985585108395
21.93/16.96
22.13/17.17 num=71, depth=6..13, filters=125056, revisions=(127106,useless=74606), ccks=158560494, wck=14.257, mem=35M347
22.13/17.17 decisions=5881, wrong=2358, backtracks=663, failedAssignments=1823, nogoods=666, foundSolutions=14, bestBound=340
22.13/17.17 nFilterCalls=106625, avgTableProportion=0.27299413833528724, avgTableSize=0.5459882766705745
22.13/17.17
22.43/17.42 num=72, depth=5..11, filters=127021, revisions=(129125,useless=75656), ccks=161469037, wck=14.505, mem=35M347
22.43/17.42 decisions=5944, wrong=2387, backtracks=680, failedAssignments=1839, nogoods=668, foundSolutions=14, bestBound=340
22.43/17.42 nFilterCalls=107841, avgTableProportion=0.27444107528676476, avgTableSize=0.5488821505735295
22.43/17.42
22.53/17.57 num=73, depth=7..12, filters=129213, revisions=(131261,useless=76818), ccks=163241921, wck=14.661, mem=37M963
22.53/17.57 decisions=6000, wrong=2410, backtracks=692, failedAssignments=1856, nogoods=672, foundSolutions=14, bestBound=340
22.53/17.57 nFilterCalls=109487, avgTableProportion=0.27492761697735807, avgTableSize=0.5498552339547161
22.53/17.57
22.73/17.72 num=74, depth=10..15, filters=130893, revisions=(132876,useless=77669), ccks=164848838, wck=14.803, mem=37M963
22.73/17.72 decisions=6077, wrong=2443, backtracks=711, failedAssignments=1875, nogoods=676, foundSolutions=14, bestBound=340
22.73/17.72 nFilterCalls=110750, avgTableProportion=0.2759367945823928, avgTableSize=0.5518735891647856
22.73/17.72
22.93/17.91 num=75, depth=8..12, filters=132738, revisions=(134769,useless=78603), ccks=167115098, wck=15.0, mem=40M579
22.93/17.91 decisions=6153, wrong=2477, backtracks=727, failedAssignments=1896, nogoods=679, foundSolutions=14, bestBound=340
22.93/17.91 nFilterCalls=111888, avgTableProportion=0.27687508937508937, avgTableSize=0.5537501787501787
22.93/17.91
23.04/18.08 num=76, depth=8..14, filters=135727, revisions=(137634,useless=80185), ccks=169052553, wck=15.172, mem=43M195
23.04/18.08 decisions=6232, wrong=2512, backtracks=743, failedAssignments=1919, nogoods=683, foundSolutions=14, bestBound=340
23.04/18.08 nFilterCalls=114293, avgTableProportion=0.276237389866396, avgTableSize=0.552474779732792
23.04/18.08
23.23/18.29 num=77, depth=8..14, filters=138372, revisions=(140184,useless=81487), ccks=171429286, wck=15.38, mem=45M811
23.23/18.29 decisions=6315, wrong=2549, backtracks=763, failedAssignments=1944, nogoods=687, foundSolutions=14, bestBound=340
23.23/18.29 nFilterCalls=115990, avgTableProportion=0.27710147426502285, avgTableSize=0.5542029485300457
23.23/18.29
23.43/18.41 num=78, depth=6..19, filters=139969, revisions=(142014,useless=82489), ccks=172700061, wck=15.494, mem=45M811
23.43/18.41 decisions=6411, wrong=2589, backtracks=775, failedAssignments=1972, nogoods=700, foundSolutions=14, bestBound=340
23.43/18.41 nFilterCalls=117073, avgTableProportion=0.27713477915488627, avgTableSize=0.5542695583097725
23.43/18.41
23.63/18.66 num=79, depth=8..17, filters=141917, revisions=(144287,useless=83697), ccks=175656951, wck=15.747, mem=48M427
23.63/18.66 decisions=6533, wrong=2645, backtracks=807, failedAssignments=2003, nogoods=703, foundSolutions=14, bestBound=340
23.63/18.66 nFilterCalls=118266, avgTableProportion=0.27794547883584464, avgTableSize=0.5558909576716893
23.63/18.66
23.74/18.78 o 339
23.74/18.78 num=80, depth=9..104, filters=143199, revisions=(145605,useless=84418), ccks=177081482, wck=15.872, mem=51M42
23.74/18.78 decisions=6586, wrong=2660, backtracks=816, failedAssignments=2012, nogoods=707, foundSolutions=15, bestBound=339
23.74/18.78 nFilterCalls=119320, avgTableProportion=0.2777489104927925, avgTableSize=0.555497820985585
23.74/18.78
24.05/19.07 num=81, depth=7..12, filters=146962, revisions=(149491,useless=86615), ccks=180281419, wck=16.154, mem=53M658
24.05/19.07 decisions=6710, wrong=2718, backtracks=851, failedAssignments=2049, nogoods=714, foundSolutions=15, bestBound=339
24.05/19.07 nFilterCalls=121934, avgTableProportion=0.2784703200091853, avgTableSize=0.5569406400183706
24.05/19.07
24.24/19.23 num=82, depth=9..15, filters=147910, revisions=(150570,useless=87156), ccks=182196329, wck=16.317, mem=56M274
24.24/19.23 decisions=6752, wrong=2734, backtracks=859, failedAssignments=2060, nogoods=719, foundSolutions=15, bestBound=339
24.24/19.23 nFilterCalls=122482, avgTableProportion=0.27911856436047744, avgTableSize=0.5582371287209549
24.24/19.23
24.46/19.40 num=83, depth=8..12, filters=149965, revisions=(152509,useless=88165), ccks=184114945, wck=16.485, mem=56M274
24.46/19.40 decisions=6810, wrong=2758, backtracks=874, failedAssignments=2072, nogoods=723, foundSolutions=15, bestBound=339
24.46/19.40 nFilterCalls=123912, avgTableProportion=0.27987200593969913, avgTableSize=0.5597440118793983
24.46/19.40
24.66/19.62 num=84, depth=8..16, filters=151391, revisions=(154000,useless=88990), ccks=186755990, wck=16.711, mem=58M890
24.66/19.62 decisions=6866, wrong=2782, backtracks=886, failedAssignments=2085, nogoods=725, foundSolutions=15, bestBound=339
24.66/19.62 nFilterCalls=124941, avgTableProportion=0.2805804339648314, avgTableSize=0.5611608679296628
24.66/19.62
24.76/19.74 num=85, depth=5..11, filters=152534, revisions=(154951,useless=89471), ccks=188061169, wck=16.824, mem=58M890
24.76/19.74 decisions=6911, wrong=2800, backtracks=891, failedAssignments=2099, nogoods=738, foundSolutions=15, bestBound=339
24.76/19.74 nFilterCalls=125888, avgTableProportion=0.28132149211997964, avgTableSize=0.5626429842399593
24.76/19.74
24.76/19.78 num=86, depth=0..8, filters=152997, revisions=(155491,useless=89725), ccks=188502210, wck=16.864, mem=58M890
24.76/19.78 decisions=6958, wrong=2821, backtracks=896, failedAssignments=2115, nogoods=741, foundSolutions=15, bestBound=339
24.76/19.78 nFilterCalls=126122, avgTableProportion=0.2816360349502862, avgTableSize=0.5632720699005724
24.76/19.78
25.10/20.01 num=87, depth=9..14, filters=154309, revisions=(157040,useless=90547), ccks=191235371, wck=17.098, mem=61M506
25.10/20.01 decisions=7022, wrong=2848, backtracks=909, failedAssignments=2132, nogoods=745, foundSolutions=15, bestBound=339
25.10/20.01 nFilterCalls=126846, avgTableProportion=0.2818181101493149, avgTableSize=0.5636362202986298
25.10/20.01
25.30/20.22 num=88, depth=6..14, filters=156373, revisions=(159116,useless=91625), ccks=193637768, wck=17.308, mem=64M122
25.30/20.22 decisions=7098, wrong=2881, backtracks=928, failedAssignments=2151, nogoods=749, foundSolutions=15, bestBound=339
25.30/20.22 nFilterCalls=128247, avgTableProportion=0.28216644443924616, avgTableSize=0.5643328888784923
25.30/20.22
25.70/20.60 num=89, depth=6..17, filters=157937, revisions=(161084,useless=92675), ccks=198105572, wck=17.688, mem=66M738
25.70/20.60 decisions=7190, wrong=2924, backtracks=953, failedAssignments=2172, nogoods=751, foundSolutions=15, bestBound=339
25.70/20.60 nFilterCalls=128915, avgTableProportion=0.2827095372920141, avgTableSize=0.5654190745840282
25.70/20.60
26.00/20.92 num=90, depth=8..16, filters=159528, revisions=(162959,useless=93658), ccks=201823581, wck=18.007, mem=69M354
26.00/20.92 decisions=7284, wrong=2966, backtracks=973, failedAssignments=2195, nogoods=756, foundSolutions=15, bestBound=339
26.00/20.92 nFilterCalls=129769, avgTableProportion=0.2830683753438803, avgTableSize=0.5661367506877606
26.00/20.92
26.22/21.15 num=91, depth=7..14, filters=163224, revisions=(166087,useless=95214), ccks=204428570, wck=18.242, mem=71M970
26.22/21.15 decisions=7383, wrong=3011, backtracks=998, failedAssignments=2220, nogoods=760, foundSolutions=15, bestBound=339
26.22/21.15 nFilterCalls=132397, avgTableProportion=0.2843493432630649, avgTableSize=0.5686986865261298
26.22/21.15
26.31/21.30 num=92, depth=6..16, filters=165129, revisions=(168121,useless=96314), ccks=206015202, wck=18.383, mem=74M586
26.31/21.30 decisions=7481, wrong=3054, backtracks=1017, failedAssignments=2248, nogoods=769, foundSolutions=15, bestBound=339
26.31/21.30 nFilterCalls=133730, avgTableProportion=0.284633216181859, avgTableSize=0.569266432363718
26.31/21.30
26.51/21.42 num=93, depth=7..12, filters=167202, revisions=(169743,useless=97070), ccks=207445663, wck=18.512, mem=74M586
26.51/21.42 decisions=7567, wrong=3093, backtracks=1026, failedAssignments=2279, nogoods=782, foundSolutions=15, bestBound=339
26.51/21.42 nFilterCalls=135073, avgTableProportion=0.2859379742805742, avgTableSize=0.5718759485611484
26.51/21.42
26.71/21.63 num=94, depth=6..22, filters=169025, revisions=(171839,useless=98223), ccks=209759554, wck=18.714, mem=77M202
26.71/21.63 decisions=7705, wrong=3157, backtracks=1062, failedAssignments=2313, nogoods=787, foundSolutions=15, bestBound=339
26.71/21.63 nFilterCalls=136291, avgTableProportion=0.2854517172814052, avgTableSize=0.5709034345628105
26.71/21.63
26.91/21.83 num=95, depth=7..13, filters=172567, revisions=(175113,useless=99924), ccks=212074192, wck=18.921, mem=79M818
26.91/21.83 decisions=7820, wrong=3211, backtracks=1088, failedAssignments=2350, nogoods=792, foundSolutions=15, bestBound=339
26.91/21.83 nFilterCalls=139115, avgTableProportion=0.2857743593429896, avgTableSize=0.5715487186859792
26.91/21.83
27.41/22.32 num=96, depth=6..16, filters=175436, revisions=(178300,useless=101640), ccks=217727863, wck=19.403, mem=82M434
27.41/22.32 decisions=7981, wrong=3288, backtracks=1130, failedAssignments=2391, nogoods=796, foundSolutions=15, bestBound=339
27.41/22.32 nFilterCalls=140947, avgTableProportion=0.2854831958111914, avgTableSize=0.5709663916223828
27.41/22.32
27.72/22.62 o 338
27.72/22.62 num=97, depth=6..104, filters=180687, revisions=(183185,useless=104250), ccks=221159164, wck=19.711, mem=87M666
27.72/22.62 decisions=8129, wrong=3348, backtracks=1158, failedAssignments=2429, nogoods=805, foundSolutions=16, bestBound=338
27.72/22.62 nFilterCalls=144932, avgTableProportion=0.28596859216736126, avgTableSize=0.5719371843347225
27.72/22.62
27.82/22.70 o 335
27.82/22.70 num=98, depth=106..104, filters=181184, revisions=(183846,useless=104660), ccks=222043616, wck=19.789, mem=88M987
27.82/22.70 decisions=8152, wrong=3348, backtracks=1158, failedAssignments=2429, nogoods=805, foundSolutions=17, bestBound=335
27.82/22.70 nFilterCalls=145422, avgTableProportion=0.2859746118193946, avgTableSize=0.5719492236387892
27.82/22.70
27.93/22.85 num=99, depth=7..12, filters=182800, revisions=(185543,useless=105536), ccks=223714530, wck=19.937, mem=88M987
27.93/22.85 decisions=8207, wrong=3372, backtracks=1176, failedAssignments=2440, nogoods=809, foundSolutions=17, bestBound=335
27.93/22.85 nFilterCalls=146439, avgTableProportion=0.2866142216212894, avgTableSize=0.5732284432425788
27.93/22.85
28.03/23.00 num=100, depth=9..14, filters=183771, revisions=(186591,useless=106062), ccks=225422167, wck=20.083, mem=91M603
28.03/23.00 decisions=8248, wrong=3387, backtracks=1183, failedAssignments=2451, nogoods=812, foundSolutions=17, bestBound=335
28.03/23.00 nFilterCalls=147083, avgTableProportion=0.28716099073312346, avgTableSize=0.5743219814662469
28.03/23.00
28.24/23.16 num=101, depth=7..14, filters=184753, revisions=(187690,useless=106615), ccks=227335726, wck=20.247, mem=91M603
28.24/23.16 decisions=8295, wrong=3406, backtracks=1190, failedAssignments=2463, nogoods=815, foundSolutions=17, bestBound=335
28.24/23.16 nFilterCalls=147673, avgTableProportion=0.28755764425453534, avgTableSize=0.5751152885090707
28.24/23.16
28.33/23.25 num=102, depth=9..14, filters=186073, revisions=(188744,useless=107117), ccks=228382629, wck=20.34, mem=94M219
28.33/23.25 decisions=8343, wrong=3425, backtracks=1196, failedAssignments=2476, nogoods=822, foundSolutions=17, bestBound=335
28.33/23.25 nFilterCalls=148715, avgTableProportion=0.2879433816360152, avgTableSize=0.5758867632720304
28.33/23.25
28.53/23.40 num=103, depth=9..13, filters=187291, revisions=(190124,useless=107838), ccks=230108295, wck=20.49, mem=94M219
28.53/23.40 decisions=8406, wrong=3451, backtracks=1209, failedAssignments=2490, nogoods=827, foundSolutions=17, bestBound=335
28.53/23.40 nFilterCalls=149466, avgTableProportion=0.2885572638593393, avgTableSize=0.5771145277186785
28.53/23.40
28.73/23.60 num=104, depth=8..13, filters=189389, revisions=(192251,useless=108930), ccks=232391716, wck=20.689, mem=96M835
28.73/23.60 decisions=8472, wrong=3480, backtracks=1227, failedAssignments=2506, nogoods=830, foundSolutions=17, bestBound=335
28.73/23.60 nFilterCalls=150834, avgTableProportion=0.2892219260909344, avgTableSize=0.5784438521818688
28.73/23.60
28.83/23.71 num=105, depth=6..17, filters=190398, revisions=(193513,useless=109654), ccks=233593768, wck=20.795, mem=96M835
28.83/23.71 decisions=8543, wrong=3511, backtracks=1243, failedAssignments=2523, nogoods=834, foundSolutions=17, bestBound=335
28.83/23.71 nFilterCalls=151421, avgTableProportion=0.28918379881258216, avgTableSize=0.5783675976251643
28.83/23.71
28.93/23.89 num=106, depth=9..14, filters=192107, revisions=(195212,useless=110490), ccks=235682419, wck=20.976, mem=99M451
28.93/23.89 decisions=8611, wrong=3540, backtracks=1256, failedAssignments=2542, nogoods=837, foundSolutions=17, bestBound=335
28.93/23.89 nFilterCalls=152493, avgTableProportion=0.28970182237873215, avgTableSize=0.5794036447574643
28.93/23.89
29.14/24.10 o 334
29.14/24.11 num=107, depth=7..104, filters=193759, revisions=(196991,useless=111415), ccks=238199539, wck=21.193, mem=102M66
29.14/24.11 decisions=8685, wrong=3565, backtracks=1269, failedAssignments=2557, nogoods=843, foundSolutions=18, bestBound=334
29.14/24.11 nFilterCalls=153556, avgTableProportion=0.2900700721560864, avgTableSize=0.5801401443121728
29.14/24.11
29.34/24.26 num=108, depth=6..11, filters=195983, revisions=(199079,useless=112505), ccks=239885726, wck=21.345, mem=104M682
29.34/24.26 decisions=8762, wrong=3600, backtracks=1291, failedAssignments=2580, nogoods=847, foundSolutions=18, bestBound=334
29.34/24.26 nFilterCalls=154992, avgTableProportion=0.29120535253432434, avgTableSize=0.5824107050686487
29.34/24.26
29.44/24.34 num=109, depth=10..16, filters=196662, revisions=(199900,useless=112980), ccks=240778280, wck=21.423, mem=104M682
29.44/24.34 decisions=8808, wrong=3618, backtracks=1300, failedAssignments=2591, nogoods=849, foundSolutions=18, bestBound=334
29.44/24.34 nFilterCalls=155453, avgTableProportion=0.2913806745447177, avgTableSize=0.5827613490894354
29.44/24.34
29.54/24.45 num=110, depth=8..12, filters=198021, revisions=(201153,useless=113609), ccks=242116292, wck=21.541, mem=104M682
29.54/24.45 decisions=8850, wrong=3635, backtracks=1307, failedAssignments=2603, nogoods=850, foundSolutions=18, bestBound=334
29.54/24.45 nFilterCalls=156408, avgTableProportion=0.29162830545752133, avgTableSize=0.5832566109150427
29.54/24.45
29.64/24.56 num=111, depth=5..13, filters=199436, revisions=(202526,useless=114320), ccks=243335037, wck=21.65, mem=107M298
29.64/24.56 decisions=8906, wrong=3659, backtracks=1321, failedAssignments=2616, nogoods=857, foundSolutions=18, bestBound=334
29.64/24.56 nFilterCalls=157367, avgTableProportion=0.29187822097390176, avgTableSize=0.5837564419478035
29.64/24.56
29.84/24.70 num=112, depth=6..17, filters=200515, revisions=(203715,useless=114948), ccks=244982520, wck=21.792, mem=107M298
29.84/24.70 decisions=8962, wrong=3683, backtracks=1336, failedAssignments=2630, nogoods=862, foundSolutions=18, bestBound=334
29.84/24.70 nFilterCalls=158098, avgTableProportion=0.29244835481789777, avgTableSize=0.5848967096357955
29.84/24.70
29.94/24.84 num=113, depth=8..14, filters=202451, revisions=(205567,useless=115941), ccks=246505338, wck=21.928, mem=109M914
29.94/24.84 decisions=9022, wrong=3708, backtracks=1349, failedAssignments=2646, nogoods=866, foundSolutions=18, bestBound=334
29.94/24.84 nFilterCalls=159560, avgTableProportion=0.29269867134620203, avgTableSize=0.5853973426924041
29.94/24.84
30.04/24.98 num=114, depth=7..13, filters=203940, revisions=(207145,useless=116747), ccks=248103147, wck=22.068, mem=112M530
30.04/24.98 decisions=9097, wrong=3741, backtracks=1370, failedAssignments=2663, nogoods=870, foundSolutions=18, bestBound=334
30.04/24.98 nFilterCalls=160629, avgTableProportion=0.2934121484912438, avgTableSize=0.5868242969824876
30.04/24.98
30.25/25.14 num=115, depth=8..13, filters=206023, revisions=(209131,useless=117731), ccks=249897689, wck=22.227, mem=112M530
30.25/25.14 decisions=9165, wrong=3770, backtracks=1386, failedAssignments=2682, nogoods=874, foundSolutions=18, bestBound=334
30.25/25.14 nFilterCalls=162064, avgTableProportion=0.2938468753085201, avgTableSize=0.5876937506170402
30.25/25.14
30.34/25.26 num=116, depth=5..14, filters=207441, revisions=(210534,useless=118475), ccks=251204905, wck=22.343, mem=115M146
30.34/25.26 decisions=9234, wrong=3802, backtracks=1403, failedAssignments=2703, nogoods=875, foundSolutions=18, bestBound=334
30.34/25.26 nFilterCalls=163013, avgTableProportion=0.2940992436186071, avgTableSize=0.5881984872372142
30.34/25.26
30.44/25.37 num=117, depth=6..12, filters=208804, revisions=(211924,useless=119153), ccks=252432730, wck=22.453, mem=115M146
30.44/25.37 decisions=9306, wrong=3835, backtracks=1420, failedAssignments=2726, nogoods=884, foundSolutions=18, bestBound=334
30.44/25.37 nFilterCalls=163859, avgTableProportion=0.29458558882942043, avgTableSize=0.5891711776588409
30.44/25.37
30.67/25.53 num=118, depth=5..18, filters=210983, revisions=(214324,useless=120489), ccks=254288609, wck=22.622, mem=120M378
30.67/25.53 decisions=9399, wrong=3874, backtracks=1443, failedAssignments=2751, nogoods=890, foundSolutions=18, bestBound=334
30.67/25.53 nFilterCalls=165276, avgTableProportion=0.29490972676008614, avgTableSize=0.5898194535201723
30.67/25.53
30.87/25.79 num=119, depth=5..14, filters=214200, revisions=(217496,useless=122155), ccks=257142095, wck=22.88, mem=122M994
30.87/25.79 decisions=9513, wrong=3928, backtracks=1475, failedAssignments=2779, nogoods=894, foundSolutions=18, bestBound=334
30.87/25.79 nFilterCalls=167548, avgTableProportion=0.29533626184735123, avgTableSize=0.5906725236947025
30.87/25.79
31.07/25.96 num=120, depth=6..18, filters=215921, revisions=(219367,useless=123115), ccks=258958905, wck=23.045, mem=122M994
31.07/25.96 decisions=9613, wrong=3973, backtracks=1494, failedAssignments=2810, nogoods=903, foundSolutions=18, bestBound=334
31.07/25.96 nFilterCalls=168529, avgTableProportion=0.29580962326958565, avgTableSize=0.5916192465391713
31.07/25.96
31.37/26.24 num=121, depth=5..13, filters=220507, revisions=(223660,useless=125333), ccks=262036638, wck=23.332, mem=128M226
31.37/26.24 decisions=9739, wrong=4032, backtracks=1534, failedAssignments=2844, nogoods=906, foundSolutions=18, bestBound=334
31.37/26.24 nFilterCalls=171597, avgTableProportion=0.29655530108335226, avgTableSize=0.5931106021667045
31.37/26.24
31.57/26.43 num=122, depth=7..18, filters=222836, revisions=(226178,useless=126766), ccks=264109057, wck=23.518, mem=130M842
31.57/26.43 decisions=9863, wrong=4090, backtracks=1560, failedAssignments=2881, nogoods=912, foundSolutions=18, bestBound=334
31.57/26.43 nFilterCalls=173445, avgTableProportion=0.2961053936406354, avgTableSize=0.5922107872812707
31.57/26.43
31.77/26.62 num=123, depth=8..17, filters=225635, revisions=(228565,useless=127860), ccks=266231171, wck=23.712, mem=130M842
31.77/26.62 decisions=9981, wrong=4145, backtracks=1581, failedAssignments=2922, nogoods=915, foundSolutions=18, bestBound=334
31.77/26.62 nFilterCalls=175483, avgTableProportion=0.29634779437324416, avgTableSize=0.5926955887464883
31.77/26.62
32.18/27.09 num=124, depth=6..16, filters=229551, revisions=(232598,useless=130043), ccks=271542353, wck=24.174, mem=136M74
32.18/27.09 decisions=10161, wrong=4232, backtracks=1636, failedAssignments=2967, nogoods=917, foundSolutions=18, bestBound=334
32.18/27.09 nFilterCalls=178016, avgTableProportion=0.2969424096710408, avgTableSize=0.5938848193420816
32.18/27.09
32.57/27.50 num=125, depth=5..13, filters=236208, revisions=(238838,useless=133380), ccks=276090176, wck=24.583, mem=141M306
32.57/27.50 decisions=10349, wrong=4322, backtracks=1695, failedAssignments=3017, nogoods=921, foundSolutions=18, bestBound=334
32.57/27.50 nFilterCalls=182642, avgTableProportion=0.29857864018133834, avgTableSize=0.5971572803626767
32.57/27.50
32.98/27.85 num=126, depth=4..12, filters=239946, revisions=(242806,useless=135398), ccks=279902193, wck=24.937, mem=146M537
32.98/27.85 decisions=10559, wrong=4424, backtracks=1746, failedAssignments=3072, nogoods=927, foundSolutions=18, bestBound=334
32.98/27.85 nFilterCalls=184753, avgTableProportion=0.29954588017515277, avgTableSize=0.5990917603503055
32.98/27.85
33.19/28.10 num=127, depth=5..15, filters=244292, revisions=(247166,useless=137680), ccks=282608588, wck=25.187, mem=149M153
33.19/28.10 decisions=10767, wrong=4525, backtracks=1798, failedAssignments=3133, nogoods=932, foundSolutions=18, bestBound=334
33.19/28.10 nFilterCalls=187498, avgTableProportion=0.30058720626353347, avgTableSize=0.6011744125270669
33.19/28.10
33.60/28.40 num=128, depth=9..14, filters=249962, revisions=(252804,useless=140609), ccks=285939003, wck=25.488, mem=154M385
33.60/28.40 decisions=10944, wrong=4609, backtracks=1818, failedAssignments=3200, nogoods=955, foundSolutions=18, bestBound=334
33.60/28.40 nFilterCalls=191120, avgTableProportion=0.3011798869820008, avgTableSize=0.6023597739640016
33.60/28.40
34.03/28.80 num=129, depth=4..14, filters=256001, revisions=(258314,useless=143386), ccks=290238634, wck=25.889, mem=27M507
34.03/28.80 decisions=11181, wrong=4723, backtracks=1876, failedAssignments=3274, nogoods=965, foundSolutions=18, bestBound=334
34.03/28.80 nFilterCalls=195257, avgTableProportion=0.30270361625959635, avgTableSize=0.6054072325191927
34.03/28.80
34.63/29.42 num=130, depth=5..18, filters=260473, revisions=(263309,useless=146098), ccks=297368769, wck=26.505, mem=35M355
34.63/29.42 decisions=11428, wrong=4841, backtracks=1925, failedAssignments=3355, nogoods=969, foundSolutions=18, bestBound=334
34.63/29.42 nFilterCalls=197913, avgTableProportion=0.3026178169195556, avgTableSize=0.6052356338391112
34.63/29.42
35.31/30.08 num=131, depth=5..14, filters=272552, revisions=(274321,useless=151916), ccks=304663729, wck=27.168, mem=43M203
35.31/30.08 decisions=11767, wrong=5007, backtracks=2026, failedAssignments=3444, nogoods=975, foundSolutions=18, bestBound=334
35.31/30.08 nFilterCalls=206401, avgTableProportion=0.3044728465462861, avgTableSize=0.6089456930925722
35.31/30.08
35.70/30.43 num=132, depth=5..18, filters=278893, revisions=(280675,useless=155529), ccks=308537742, wck=27.518, mem=48M435
35.70/30.43 decisions=12047, wrong=5143, backtracks=2077, failedAssignments=3542, nogoods=987, foundSolutions=18, bestBound=334
35.70/30.43 nFilterCalls=211080, avgTableProportion=0.3039155770324048, avgTableSize=0.6078311540648096
35.70/30.43
36.70/31.40 num=133, depth=0..12, filters=287377, revisions=(289789,useless=160274), ccks=319641762, wck=28.492, mem=58M899
36.70/31.40 decisions=12419, wrong=5326, backtracks=2187, failedAssignments=3650, nogoods=993, foundSolutions=18, bestBound=334
36.70/31.40 nFilterCalls=215759, avgTableProportion=0.30532909403547476, avgTableSize=0.6106581880709495
36.70/31.40
37.31/32.05 num=134, depth=7..17, filters=300082, revisions=(301472,useless=166414), ccks=326721078, wck=29.138, mem=66M747
37.31/32.05 decisions=12805, wrong=5515, backtracks=2285, failedAssignments=3769, nogoods=999, foundSolutions=18, bestBound=334
37.31/32.05 nFilterCalls=224581, avgTableProportion=0.30526625137478236, avgTableSize=0.6105325027495647
37.31/32.05
38.41/33.17 num=135, depth=5..17, filters=310206, revisions=(312516,useless=172306), ccks=339564921, wck=30.258, mem=77M210
38.41/33.17 decisions=13282, wrong=5750, backtracks=2417, failedAssignments=3900, nogoods=1006, foundSolutions=18, bestBound=334
38.41/33.17 nFilterCalls=230511, avgTableProportion=0.30637149637110594, avgTableSize=0.6127429927422119
38.41/33.17
39.31/34.08 num=136, depth=4..16, filters=320922, revisions=(323592,useless=178104), ccks=349757483, wck=31.166, mem=87M674
39.31/34.08 decisions=13767, wrong=5990, backtracks=2545, failedAssignments=4044, nogoods=1017, foundSolutions=18, bestBound=334
39.31/34.08 nFilterCalls=237098, avgTableProportion=0.30739609781609295, avgTableSize=0.6147921956321859
39.31/34.08
40.10/34.81 num=137, depth=6..15, filters=336088, revisions=(337682,useless=185564), ccks=357749538, wck=31.902, mem=98M138
40.10/34.81 decisions=14258, wrong=6231, backtracks=2650, failedAssignments=4202, nogoods=1021, foundSolutions=18, bestBound=334
40.10/34.81 nFilterCalls=247643, avgTableProportion=0.30832892510589843, avgTableSize=0.6166578502117969
40.10/34.81
41.00/35.74 num=138, depth=3..18, filters=350825, revisions=(352012,useless=192945), ccks=367908771, wck=32.828, mem=112M77
41.00/35.74 decisions=14882, wrong=6539, backtracks=2833, failedAssignments=4376, nogoods=1025, foundSolutions=18, bestBound=334
41.00/35.74 nFilterCalls=257183, avgTableProportion=0.3114941500799042, avgTableSize=0.6229883001598084
41.00/35.74
42.00/36.76 o 331
42.00/36.76 num=139, depth=5..104, filters=363368, revisions=(365136,useless=200024), ccks=379469225, wck=33.852, mem=125M156
42.00/36.76 decisions=15427, wrong=6801, backtracks=2982, failedAssignments=4516, nogoods=1031, foundSolutions=19, bestBound=331
42.00/36.76 nFilterCalls=264940, avgTableProportion=0.31243111647920285, avgTableSize=0.6248622329584057
42.00/36.76
43.44/38.19 num=140, depth=4..17, filters=380080, revisions=(381892,useless=209035), ccks=395582738, wck=35.28, mem=140M852
43.44/38.19 decisions=16169, wrong=7169, backtracks=3193, failedAssignments=4727, nogoods=1043, foundSolutions=19, bestBound=331
43.44/38.19 nFilterCalls=275832, avgTableProportion=0.31423837698309115, avgTableSize=0.6284767539661823
43.44/38.19
43.63/38.30 num=141, depth=6..11, filters=381126, revisions=(382901,useless=209527), ccks=396843146, wck=35.391, mem=143M468
43.63/38.30 decisions=16211, wrong=7185, backtracks=3200, failedAssignments=4738, nogoods=1047, foundSolutions=19, bestBound=331
43.63/38.30 nFilterCalls=276519, avgTableProportion=0.3144702534003088, avgTableSize=0.6289405068006176
43.63/38.30
43.73/38.48 num=142, depth=9..13, filters=382974, revisions=(384823,useless=210540), ccks=398807683, wck=35.563, mem=143M468
43.73/38.48 decisions=16266, wrong=7208, backtracks=3213, failedAssignments=4750, nogoods=1049, foundSolutions=19, bestBound=331
43.73/38.48 nFilterCalls=277806, avgTableProportion=0.3143506619727436, avgTableSize=0.6287013239454872
43.73/38.48
43.83/38.57 num=143, depth=8..12, filters=383857, revisions=(385621,useless=210896), ccks=399876791, wck=35.657, mem=143M468
43.83/38.57 decisions=16308, wrong=7225, backtracks=3220, failedAssignments=4763, nogoods=1053, foundSolutions=19, bestBound=331
43.83/38.57 nFilterCalls=278443, avgTableProportion=0.31460119306285306, avgTableSize=0.6292023861257061
43.83/38.57
44.03/38.70 num=144, depth=7..14, filters=385468, revisions=(387167,useless=211692), ccks=401372389, wck=35.79, mem=146M84
44.03/38.70 decisions=16362, wrong=7247, backtracks=3232, failedAssignments=4777, nogoods=1059, foundSolutions=19, bestBound=331
44.03/38.70 nFilterCalls=279636, avgTableProportion=0.3146250840378206, avgTableSize=0.6292501680756412
44.03/38.70
44.13/38.81 num=145, depth=6..11, filters=387219, revisions=(388840,useless=212542), ccks=402554984, wck=35.897, mem=148M700
44.13/38.81 decisions=16420, wrong=7272, backtracks=3244, failedAssignments=4793, nogoods=1066, foundSolutions=19, bestBound=331
44.13/38.81 nFilterCalls=280794, avgTableProportion=0.3147983931280583, avgTableSize=0.6295967862561166
44.13/38.81
44.23/38.97 num=146, depth=4..9, filters=389512, revisions=(391346,useless=213877), ccks=404371117, wck=36.06, mem=148M700
44.23/38.97 decisions=16490, wrong=7304, backtracks=3263, failedAssignments=4810, nogoods=1071, foundSolutions=19, bestBound=331
44.23/38.97 nFilterCalls=282087, avgTableProportion=0.3150641468766728, avgTableSize=0.6301282937533456
44.23/38.97
44.44/39.14 num=147, depth=5..12, filters=391506, revisions=(393288,useless=214900), ccks=406189995, wck=36.224, mem=151M316
44.44/39.14 decisions=16571, wrong=7341, backtracks=3284, failedAssignments=4829, nogoods=1075, foundSolutions=19, bestBound=331
44.44/39.14 nFilterCalls=283412, avgTableProportion=0.31540125329908403, avgTableSize=0.6308025065981681
44.44/39.14
44.63/39.32 num=148, depth=7..14, filters=393772, revisions=(395550,useless=216074), ccks=408275532, wck=36.408, mem=153M932
44.63/39.32 decisions=16651, wrong=7377, backtracks=3302, failedAssignments=4850, nogoods=1081, foundSolutions=19, bestBound=331
44.63/39.32 nFilterCalls=285096, avgTableProportion=0.3152411819176698, avgTableSize=0.6304823638353396
44.63/39.32
44.73/39.46 num=149, depth=6..11, filters=396299, revisions=(397766,useless=217204), ccks=409717370, wck=36.552, mem=24M928
44.73/39.46 decisions=16729, wrong=7411, backtracks=3314, failedAssignments=4873, nogoods=1087, foundSolutions=19, bestBound=331
44.73/39.46 nFilterCalls=287051, avgTableProportion=0.31567735350164255, avgTableSize=0.6313547070032851
44.73/39.46
44.96/39.68 num=150, depth=6..13, filters=399657, revisions=(400765,useless=218789), ccks=412156056, wck=36.772, mem=27M547
44.96/39.68 decisions=16831, wrong=7457, backtracks=3338, failedAssignments=4898, nogoods=1091, foundSolutions=19, bestBound=331
44.96/39.68 nFilterCalls=289580, avgTableProportion=0.31614407072311623, avgTableSize=0.6322881414462325
44.96/39.68
45.16/39.82 num=151, depth=6..13, filters=402299, revisions=(403129,useless=219915), ccks=413637896, wck=36.911, mem=30M166
45.16/39.82 decisions=16934, wrong=7505, backtracks=3366, failedAssignments=4926, nogoods=1097, foundSolutions=19, bestBound=331
45.16/39.82 nFilterCalls=291220, avgTableProportion=0.3168120321406497, avgTableSize=0.6336240642812994
45.16/39.82
45.36/40.03 num=152, depth=6..13, filters=405827, revisions=(406383,useless=221672), ccks=415928641, wck=37.117, mem=32M785
45.36/40.03 decisions=17051, wrong=7560, backtracks=3395, failedAssignments=4957, nogoods=1100, foundSolutions=19, bestBound=331
45.36/40.03 nFilterCalls=293689, avgTableProportion=0.31667512232327394, avgTableSize=0.6333502446465479
45.36/40.03
45.55/40.24 num=153, depth=4..10, filters=409239, revisions=(409665,useless=223319), ccks=418223064, wck=37.325, mem=35M404
45.55/40.24 decisions=17177, wrong=7620, backtracks=3429, failedAssignments=4991, nogoods=1106, foundSolutions=19, bestBound=331
45.55/40.24 nFilterCalls=295983, avgTableProportion=0.31724288219255836, avgTableSize=0.6344857643851167
45.55/40.24
45.75/40.42 num=154, depth=5..11, filters=413821, revisions=(413617,useless=225211), ccks=420065212, wck=37.505, mem=40M643
45.75/40.42 decisions=17336, wrong=7696, backtracks=3477, failedAssignments=5028, nogoods=1112, foundSolutions=19, bestBound=331
45.75/40.42 nFilterCalls=299008, avgTableProportion=0.318434623822774, avgTableSize=0.636869247645548
45.75/40.42
46.05/40.74 num=155, depth=5..11, filters=419798, revisions=(419238,useless=228213), ccks=423682285, wck=37.831, mem=45M881
46.05/40.74 decisions=17481, wrong=7766, backtracks=3515, failedAssignments=5069, nogoods=1113, foundSolutions=19, bestBound=331
46.05/40.74 nFilterCalls=302922, avgTableProportion=0.31858366180072756, avgTableSize=0.6371673236014551
46.05/40.74
46.36/41.07 num=156, depth=4..14, filters=423509, revisions=(422981,useless=230135), ccks=427382785, wck=38.159, mem=51M119
46.36/41.07 decisions=17654, wrong=7849, backtracks=3559, failedAssignments=5114, nogoods=1118, foundSolutions=19, bestBound=331
46.36/41.07 nFilterCalls=305307, avgTableProportion=0.3192114822129856, avgTableSize=0.6384229644259712
46.36/41.07
46.65/41.30 num=157, depth=6..14, filters=427701, revisions=(427173,useless=232274), ccks=429894386, wck=38.389, mem=53M739
46.65/41.30 decisions=17826, wrong=7932, backtracks=3602, failedAssignments=5164, nogoods=1119, foundSolutions=19, bestBound=331
46.65/41.30 nFilterCalls=307887, avgTableProportion=0.31949871218986187, avgTableSize=0.6389974243797237
46.65/41.30
47.15/41.80 num=158, depth=6..12, filters=435384, revisions=(434141,useless=235943), ccks=435457487, wck=38.886, mem=61M596
47.15/41.80 decisions=18022, wrong=8027, backtracks=3653, failedAssignments=5219, nogoods=1121, foundSolutions=19, bestBound=331
47.15/41.80 nFilterCalls=313131, avgTableProportion=0.3192449805353031, avgTableSize=0.6384899610706062
47.15/41.80
47.85/42.57 num=159, depth=4..15, filters=440431, revisions=(439899,useless=238976), ccks=444480801, wck=39.657, mem=66M835
47.85/42.57 decisions=18239, wrong=8132, backtracks=3705, failedAssignments=5280, nogoods=1124, foundSolutions=19, bestBound=331
47.85/42.57 nFilterCalls=315803, avgTableProportion=0.31950139802345134, avgTableSize=0.6390027960469027
47.85/42.57
48.36/43.10 num=160, depth=6..14, filters=449804, revisions=(448489,useless=243558), ccks=450385842, wck=40.19, mem=72M73
48.36/43.10 decisions=18504, wrong=8261, backtracks=3781, failedAssignments=5347, nogoods=1131, foundSolutions=19, bestBound=331
48.36/43.10 nFilterCalls=322446, avgTableProportion=0.3197589673929898, avgTableSize=0.6395179347859796
48.36/43.10
48.76/43.46 num=161, depth=1..12, filters=456411, revisions=(454977,useless=246920), ccks=454305663, wck=40.55, mem=79M931
48.76/43.46 decisions=18766, wrong=8389, backtracks=3854, failedAssignments=5421, nogoods=1135, foundSolutions=19, bestBound=331
48.76/43.46 nFilterCalls=326533, avgTableProportion=0.3201039404899352, avgTableSize=0.6402078809798704
48.76/43.46
49.37/44.10 num=162, depth=5..18, filters=463489, revisions=(462336,useless=250708), ccks=461545379, wck=41.185, mem=87M788
49.37/44.10 decisions=19070, wrong=8538, backtracks=3938, failedAssignments=5502, nogoods=1141, foundSolutions=19, bestBound=331
49.37/44.10 nFilterCalls=330686, avgTableProportion=0.3203900376792486, avgTableSize=0.6407800753584972
49.37/44.10
50.07/44.70 o 328
50.07/44.70 num=163, depth=5..104, filters=470983, revisions=(470144,useless=254868), ccks=468351915, wck=41.785, mem=95M646
50.07/44.70 decisions=19408, wrong=8694, backtracks=4025, failedAssignments=5590, nogoods=1158, foundSolutions=20, bestBound=328
50.07/44.70 nFilterCalls=335293, avgTableProportion=0.3205778229787082, avgTableSize=0.6411556459574164
50.07/44.70
50.68/45.33 num=164, depth=3..15, filters=479509, revisions=(478960,useless=259490), ccks=475477637, wck=42.42, mem=103M503
50.68/45.33 decisions=19742, wrong=8859, backtracks=4128, failedAssignments=5688, nogoods=1162, foundSolutions=20, bestBound=328
50.68/45.33 nFilterCalls=340180, avgTableProportion=0.32145922746781114, avgTableSize=0.6429184549356223
50.68/45.33
50.78/45.43 num=165, depth=10..15, filters=480384, revisions=(479941,useless=260063), ccks=476598544, wck=42.518, mem=103M503
50.78/45.43 decisions=19784, wrong=8874, backtracks=4134, failedAssignments=5699, nogoods=1169, foundSolutions=20, bestBound=328
50.78/45.43 nFilterCalls=340777, avgTableProportion=0.321535784398595, avgTableSize=0.64307156879719
50.78/45.43
50.88/45.56 num=166, depth=8..13, filters=481545, revisions=(481057,useless=260600), ccks=478073664, wck=42.646, mem=106M122
50.88/45.56 decisions=19829, wrong=8892, backtracks=4143, failedAssignments=5711, nogoods=1172, foundSolutions=20, bestBound=328
50.88/45.56 nFilterCalls=341535, avgTableProportion=0.3216039351750187, avgTableSize=0.6432078703500373
50.88/45.56
51.08/45.70 num=167, depth=7..13, filters=483029, revisions=(482479,useless=261331), ccks=479666206, wck=42.785, mem=106M122
51.08/45.70 decisions=19890, wrong=8917, backtracks=4156, failedAssignments=5724, nogoods=1174, foundSolutions=20, bestBound=328
51.08/45.70 nFilterCalls=342648, avgTableProportion=0.3217033223599729, avgTableSize=0.6434066447199458
51.08/45.70
51.08/45.77 num=168, depth=5..12, filters=484217, revisions=(483667,useless=261963), ccks=480473884, wck=42.859, mem=108M742
51.08/45.77 decisions=19948, wrong=8942, backtracks=4172, failedAssignments=5738, nogoods=1176, foundSolutions=20, bestBound=328
51.08/45.77 nFilterCalls=343513, avgTableProportion=0.3219368699292312, avgTableSize=0.6438737398584624
51.08/45.77
51.18/45.87 num=169, depth=6..11, filters=486290, revisions=(485429,useless=262761), ccks=481556932, wck=42.961, mem=111M361
51.18/45.87 decisions=20016, wrong=8971, backtracks=4189, failedAssignments=5754, nogoods=1178, foundSolutions=20, bestBound=328
51.18/45.87 nFilterCalls=344819, avgTableProportion=0.32237492713568566, avgTableSize=0.6447498542713713
51.18/45.87
51.39/46.08 num=170, depth=5..14, filters=488544, revisions=(487403,useless=263736), ccks=483955844, wck=43.169, mem=111M361
51.39/46.08 decisions=20082, wrong=9000, backtracks=4202, failedAssignments=5771, nogoods=1182, foundSolutions=20, bestBound=328
51.39/46.08 nFilterCalls=346500, avgTableProportion=0.3226911976911977, avgTableSize=0.6453823953823954
51.39/46.08
51.58/46.27 num=171, depth=4..13, filters=489975, revisions=(488985,useless=264509), ccks=486112566, wck=43.355, mem=113M980
51.58/46.27 decisions=20150, wrong=9030, backtracks=4215, failedAssignments=5790, nogoods=1186, foundSolutions=20, bestBound=328
51.58/46.27 nFilterCalls=347257, avgTableProportion=0.32284878346584805, avgTableSize=0.6456975669316961
51.58/46.27
51.78/46.45 num=172, depth=7..16, filters=491684, revisions=(490815,useless=265526), ccks=488175632, wck=43.536, mem=116M599
51.78/46.45 decisions=20225, wrong=9064, backtracks=4231, failedAssignments=5811, nogoods=1187, foundSolutions=20, bestBound=328
51.78/46.45 nFilterCalls=348322, avgTableProportion=0.32304735273683544, avgTableSize=0.6460947054736709
51.78/46.45
51.98/46.65 num=173, depth=6..10, filters=494476, revisions=(493333,useless=266752), ccks=490451396, wck=43.737, mem=119M218
51.98/46.65 decisions=20309, wrong=9103, backtracks=4252, failedAssignments=5834, nogoods=1192, foundSolutions=20, bestBound=328
51.98/46.65 nFilterCalls=350248, avgTableProportion=0.3233151938055321, avgTableSize=0.6466303876110642
51.98/46.65
52.18/46.83 num=174, depth=6..15, filters=497246, revisions=(495964,useless=268121), ccks=492433879, wck=43.915, mem=121M838
52.18/46.83 decisions=20424, wrong=9157, backtracks=4287, failedAssignments=5859, nogoods=1196, foundSolutions=20, bestBound=328
52.18/46.83 nFilterCalls=352159, avgTableProportion=0.3234490670407401, avgTableSize=0.6468981340814802
52.18/46.83
52.28/46.93 num=175, depth=7..11, filters=498782, revisions=(497523,useless=268838), ccks=493522193, wck=44.013, mem=121M838
52.28/46.93 decisions=20499, wrong=9191, backtracks=4296, failedAssignments=5887, nogoods=1216, foundSolutions=20, bestBound=328
52.28/46.93 nFilterCalls=352888, avgTableProportion=0.32369051937158533, avgTableSize=0.6473810387431707
52.28/46.93
52.39/47.07 num=176, depth=4..14, filters=500487, revisions=(499250,useless=269648), ccks=495117667, wck=44.156, mem=124M457
52.39/47.07 decisions=20610, wrong=9243, backtracks=4322, failedAssignments=5918, nogoods=1218, foundSolutions=20, bestBound=328
52.39/47.07 nFilterCalls=353876, avgTableProportion=0.32383377228181626, avgTableSize=0.6476675445636325
52.39/47.07
52.49/47.19 num=177, depth=6..16, filters=502470, revisions=(501338,useless=270875), ccks=496436321, wck=44.277, mem=127M76
52.49/47.19 decisions=20722, wrong=9296, backtracks=4347, failedAssignments=5952, nogoods=1221, foundSolutions=20, bestBound=328
52.49/47.19 nFilterCalls=355212, avgTableProportion=0.32408533495490016, avgTableSize=0.6481706699098003
52.49/47.19
52.68/47.30 num=178, depth=5..11, filters=504938, revisions=(503555,useless=271884), ccks=497650042, wck=44.391, mem=129M695
52.68/47.30 decisions=20835, wrong=9349, backtracks=4370, failedAssignments=5989, nogoods=1240, foundSolutions=20, bestBound=328
52.68/47.30 nFilterCalls=356664, avgTableProportion=0.32455195926698516, avgTableSize=0.6491039185339703
52.68/47.30
52.88/47.53 num=179, depth=3..15, filters=508076, revisions=(506550,useless=273222), ccks=500213878, wck=44.62, mem=134M934
52.88/47.53 decisions=20994, wrong=9426, backtracks=4413, failedAssignments=6030, nogoods=1243, foundSolutions=20, bestBound=328
52.88/47.53 nFilterCalls=358390, avgTableProportion=0.3248207260247217, avgTableSize=0.6496414520494433
52.88/47.53
53.18/47.80 num=180, depth=4..12, filters=511432, revisions=(509963,useless=274976), ccks=503212203, wck=44.888, mem=137M553
53.18/47.80 decisions=21151, wrong=9501, backtracks=4452, failedAssignments=6075, nogoods=1249, foundSolutions=20, bestBound=328
53.18/47.80 nFilterCalls=360322, avgTableProportion=0.32520079262437485, avgTableSize=0.6504015852487497
53.18/47.80
53.49/48.15 num=181, depth=6..15, filters=514968, revisions=(513656,useless=276959), ccks=507203058, wck=45.237, mem=142M791
53.49/48.15 decisions=21320, wrong=9582, backtracks=4494, failedAssignments=6125, nogoods=1255, foundSolutions=20, bestBound=328
53.49/48.15 nFilterCalls=362429, avgTableProportion=0.3252940575947289, avgTableSize=0.6505881151894578
53.49/48.15
53.68/48.38 num=182, depth=4..15, filters=520314, revisions=(518285,useless=279114), ccks=509621487, wck=45.467, mem=148M30
53.68/48.38 decisions=21511, wrong=9673, backtracks=4543, failedAssignments=6180, nogoods=1261, foundSolutions=20, bestBound=328
53.68/48.38 nFilterCalls=365790, avgTableProportion=0.3262992427349025, avgTableSize=0.652598485469805
53.68/48.38
54.08/48.71 num=183, depth=4..14, filters=525085, revisions=(522865,useless=281409), ccks=513367153, wck=45.802, mem=153M268
54.08/48.71 decisions=21722, wrong=9773, backtracks=4587, failedAssignments=6241, nogoods=1264, foundSolutions=20, bestBound=328
54.08/48.71 nFilterCalls=368786, avgTableProportion=0.32673420357605765, avgTableSize=0.6534684071521153
54.08/48.71
54.31/48.98 num=184, depth=5..13, filters=530002, revisions=(527244,useless=283750), ccks=516116875, wck=46.068, mem=24M927
54.31/48.98 decisions=21947, wrong=9882, backtracks=4644, failedAssignments=6308, nogoods=1268, foundSolutions=20, bestBound=328
54.31/48.98 nFilterCalls=372318, avgTableProportion=0.32706315568949124, avgTableSize=0.6541263113789825
54.31/48.98
54.61/49.25 num=185, depth=5..15, filters=535287, revisions=(532745,useless=286613), ccks=519029146, wck=46.338, mem=32M684
54.61/49.25 decisions=22212, wrong=10011, backtracks=4706, failedAssignments=6382, nogoods=1273, foundSolutions=20, bestBound=328
54.61/49.25 nFilterCalls=375432, avgTableProportion=0.32737752775469325, avgTableSize=0.6547550555093865
54.61/49.25
55.02/49.68 num=186, depth=4..18, filters=540971, revisions=(538894,useless=289908), ccks=523798292, wck=46.763, mem=38M404
55.02/49.68 decisions=22496, wrong=10149, backtracks=4778, failedAssignments=6463, nogoods=1278, foundSolutions=20, bestBound=328
55.02/49.68 nFilterCalls=378798, avgTableProportion=0.32760864629697095, avgTableSize=0.6552172925939419
55.02/49.68
55.62/50.23 num=187, depth=5..13, filters=547041, revisions=(545074,useless=293110), ccks=530095890, wck=47.318, mem=46M161
55.62/50.23 decisions=22790, wrong=10293, backtracks=4847, failedAssignments=6552, nogoods=1286, foundSolutions=20, bestBound=328
55.62/50.23 nFilterCalls=382430, avgTableProportion=0.32795675025494864, avgTableSize=0.6559135005098973
55.62/50.23
56.03/50.63 num=188, depth=4..13, filters=553677, revisions=(551007,useless=296143), ccks=534562216, wck=47.722, mem=51M332
56.03/50.63 decisions=23077, wrong=10433, backtracks=4901, failedAssignments=6650, nogoods=1292, foundSolutions=20, bestBound=328
56.03/50.63 nFilterCalls=386577, avgTableProportion=0.3284972980803307, avgTableSize=0.6569945961606614
56.03/50.63
56.44/51.03 num=189, depth=4..12, filters=564669, revisions=(561248,useless=301309), ccks=538592447, wck=48.114, mem=64M260
56.44/51.03 decisions=23456, wrong=10619, backtracks=5003, failedAssignments=6758, nogoods=1299, foundSolutions=20, bestBound=328
56.44/51.03 nFilterCalls=393720, avgTableProportion=0.32981560499847606, avgTableSize=0.6596312099969521
56.44/51.03
57.13/51.70 num=190, depth=4..15, filters=574682, revisions=(570930,useless=306292), ccks=546039925, wck=48.785, mem=74M603
57.13/51.70 decisions=23858, wrong=10815, backtracks=5114, failedAssignments=6877, nogoods=1306, foundSolutions=20, bestBound=328
57.13/51.70 nFilterCalls=400180, avgTableProportion=0.33078239792093556, avgTableSize=0.6615647958418711
57.13/51.70
57.93/52.58 num=191, depth=3..16, filters=584778, revisions=(581872,useless=312111), ccks=556000112, wck=49.665, mem=87M531
57.93/52.58 decisions=24313, wrong=11039, backtracks=5237, failedAssignments=7008, nogoods=1311, foundSolutions=20, bestBound=328
57.93/52.58 nFilterCalls=405778, avgTableProportion=0.3316936847241595, avgTableSize=0.663387369448319
57.93/52.58
58.54/53.16 num=192, depth=4..15, filters=595372, revisions=(591539,useless=316901), ccks=562366973, wck=50.245, mem=97M873
58.54/53.16 decisions=24783, wrong=11270, backtracks=5357, failedAssignments=7152, nogoods=1316, foundSolutions=20, bestBound=328
58.54/53.16 nFilterCalls=413097, avgTableProportion=0.3320467105788713, avgTableSize=0.6640934211577426
58.54/53.16
59.23/53.89 num=193, depth=3..18, filters=605382, revisions=(602341,useless=322554), ccks=570508701, wck=50.974, mem=108M216
59.23/53.89 decisions=25328, wrong=11541, backtracks=5510, failedAssignments=7310, nogoods=1317, foundSolutions=20, bestBound=328
59.23/53.89 nFilterCalls=418947, avgTableProportion=0.3323857194346779, avgTableSize=0.6647714388693557
59.23/53.89
59.93/54.57 num=194, depth=4..15, filters=619324, revisions=(614813,useless=329017), ccks=577878528, wck=51.661, mem=121M144
59.93/54.57 decisions=25881, wrong=11812, backtracks=5633, failedAssignments=7484, nogoods=1328, foundSolutions=20, bestBound=328
59.93/54.57 nFilterCalls=428885, avgTableProportion=0.33371299998834186, avgTableSize=0.6674259999766837
59.93/54.57
61.03/55.70 num=195, depth=3..18, filters=635184, revisions=(630372,useless=337202), ccks=590489793, wck=52.783, mem=136M658
61.03/55.70 decisions=26534, wrong=12135, backtracks=5808, failedAssignments=7675, nogoods=1337, foundSolutions=20, bestBound=328
61.03/55.70 nFilterCalls=439209, avgTableProportion=0.33446263623923916, avgTableSize=0.6689252724784783
61.03/55.70
62.03/56.63 num=196, depth=5..17, filters=659645, revisions=(651714,useless=348278), ccks=600391512, wck=53.713, mem=152M171
62.03/56.63 decisions=27221, wrong=12475, backtracks=5980, failedAssignments=7886, nogoods=1344, foundSolutions=20, bestBound=328
62.03/56.63 nFilterCalls=456910, avgTableProportion=0.3349160666214353, avgTableSize=0.6698321332428706
62.03/56.63
62.87/57.49 num=197, depth=3..13, filters=676084, revisions=(667618,useless=356445), ccks=609329541, wck=54.574, mem=40M199
62.87/57.49 decisions=28006, wrong=12862, backtracks=6168, failedAssignments=8118, nogoods=1351, foundSolutions=20, bestBound=328
62.87/57.49 nFilterCalls=467077, avgTableProportion=0.3359895691716783, avgTableSize=0.6719791383433567
62.87/57.49
63.87/58.48 num=198, depth=5..22, filters=691250, revisions=(683406,useless=364904), ccks=620397349, wck=55.566, mem=55M470
63.87/58.48 decisions=28824, wrong=13268, backtracks=6373, failedAssignments=8373, nogoods=1358, foundSolutions=20, bestBound=328
63.87/58.48 nFilterCalls=476470, avgTableProportion=0.3354513400633828, avgTableSize=0.6709026801267656
63.87/58.48
65.47/60.06 num=199, depth=6..17, filters=711339, revisions=(704352,useless=376175), ccks=637876003, wck=57.144, mem=75M832
65.47/60.06 decisions=29758, wrong=13731, backtracks=6620, failedAssignments=8654, nogoods=1366, foundSolutions=20, bestBound=328
65.47/60.06 nFilterCalls=488978, avgTableProportion=0.3358576459472614, avgTableSize=0.6717152918945228
65.47/60.06
66.77/61.36 num=200, depth=4..20, filters=738327, revisions=(728357,useless=388925), ccks=651905233, wck=58.447, mem=96M194
66.77/61.36 decisions=30724, wrong=14211, backtracks=6840, failedAssignments=8963, nogoods=1413, foundSolutions=20, bestBound=328
66.77/61.36 nFilterCalls=509114, avgTableProportion=0.33634313729341564, avgTableSize=0.6726862745868313
66.77/61.36
68.76/63.35 num=201, depth=2..16, filters=767248, revisions=(756486,useless=403518), ccks=674161171, wck=60.434, mem=124M192
68.76/63.35 decisions=31936, wrong=14814, backtracks=7157, failedAssignments=9303, nogoods=1419, foundSolutions=20, bestBound=328
68.76/63.35 nFilterCalls=527005, avgTableProportion=0.3364341894289428, avgTableSize=0.6728683788578856
68.76/63.35
70.06/64.60 num=202, depth=2..16, filters=795364, revisions=(784599,useless=418305), ccks=687502319, wck=61.687, mem=150M308
70.06/64.60 decisions=33204, wrong=15446, backtracks=7510, failedAssignments=9677, nogoods=1426, foundSolutions=20, bestBound=328
70.06/64.60 nFilterCalls=544701, avgTableProportion=0.3373750002294837, avgTableSize=0.6747500004589674
70.06/64.60
71.27/65.81 num=203, depth=4..19, filters=818415, revisions=(809083,useless=431830), ccks=700232123, wck=62.898, mem=44M955
71.27/65.81 decisions=34465, wrong=16071, backtracks=7771, failedAssignments=10088, nogoods=1457, foundSolutions=20, bestBound=328
71.27/65.81 nFilterCalls=558942, avgTableProportion=0.3377121418680292, avgTableSize=0.6754242837360585
71.27/65.81
72.97/67.56 num=204, depth=4..14, filters=844212, revisions=(836217,useless=445765), ccks=719289862, wck=64.646, mem=75M52
72.97/67.56 decisions=35763, wrong=16717, backtracks=8020, failedAssignments=10540, nogoods=1491, foundSolutions=20, bestBound=328
72.97/67.56 nFilterCalls=573155, avgTableProportion=0.3379609355235495, avgTableSize=0.675921871047099
72.97/67.56
76.17/70.71 num=205, depth=5..14, filters=886617, revisions=(879122,useless=468504), ccks=753524961, wck=67.802, mem=112M673
76.17/70.71 decisions=37444, wrong=17553, backtracks=8479, failedAssignments=11037, nogoods=1498, foundSolutions=20, bestBound=328
76.17/70.71 nFilterCalls=599302, avgTableProportion=0.3390652792748898, avgTableSize=0.6781305585497795
76.17/70.71
78.97/73.57 num=206, depth=7..20, filters=930446, revisions=(923598,useless=492405), ccks=784842665, wck=70.659, mem=147M786
78.97/73.57 decisions=39214, wrong=18431, backtracks=8904, failedAssignments=11584, nogoods=1513, foundSolutions=20, bestBound=328
78.97/73.57 nFilterCalls=626965, avgTableProportion=0.3404105492332108, avgTableSize=0.6808210984664216
78.97/73.57
81.28/75.88 num=207, depth=2..16, filters=981053, revisions=(971131,useless=517421), ccks=809543209, wck=72.972, mem=69M297
81.28/75.88 decisions=41279, wrong=19459, backtracks=9430, failedAssignments=12186, nogoods=1527, foundSolutions=20, bestBound=328
81.28/75.88 nFilterCalls=660067, avgTableProportion=0.341532753493206, avgTableSize=0.683065506986412
81.28/75.88
83.49/78.09 num=208, depth=3..15, filters=1037871, revisions=(1023199,useless=544198), ccks=832654099, wck=75.173, mem=118M681
83.49/78.09 decisions=43418, wrong=20526, backtracks=9952, failedAssignments=12848, nogoods=1534, foundSolutions=20, bestBound=328
83.49/78.09 nFilterCalls=697631, avgTableProportion=0.3435483801608587, avgTableSize=0.6870967603217174
83.49/78.09
87.50/82.07 num=209, depth=1..18, filters=1110889, revisions=(1091174,useless=579560), ccks=876259875, wck=79.159, mem=61M250
87.50/82.07 decisions=46062, wrong=21845, backtracks=10698, failedAssignments=13576, nogoods=1545, foundSolutions=20, bestBound=328
87.50/82.07 nFilterCalls=746446, avgTableProportion=0.3453277263191175, avgTableSize=0.690655452638235
87.50/82.07
91.89/86.46 num=210, depth=3..18, filters=1190947, revisions=(1162162,useless=616495), ccks=924372256, wck=83.55, mem=124M409
91.89/86.46 decisions=48744, wrong=23183, backtracks=11424, failedAssignments=14377, nogoods=1553, foundSolutions=20, bestBound=328
91.89/86.46 nFilterCalls=802683, avgTableProportion=0.3457685038801121, avgTableSize=0.6915370077602242
91.89/86.46
95.70/90.27 num=211, depth=4..23, filters=1245165, revisions=(1220050,useless=647387), ccks=967048593, wck=87.355, mem=55M821
95.70/90.27 decisions=51574, wrong=24590, backtracks=12080, failedAssignments=15258, nogoods=1565, foundSolutions=20, bestBound=328
95.70/90.27 nFilterCalls=836133, avgTableProportion=0.34474479538542313, avgTableSize=0.6894895907708463
95.70/90.27
99.91/94.42 num=212, depth=4..15, filters=1348521, revisions=(1311280,useless=694919), ccks=1011301442, wck=91.512, mem=127M477
99.91/94.42 decisions=54646, wrong=26121, backtracks=12787, failedAssignments=16228, nogoods=1575, foundSolutions=20, bestBound=328
99.91/94.42 nFilterCalls=908575, avgTableProportion=0.3453710480697796, avgTableSize=0.6907420961395592
99.91/94.42
105.11/99.65 num=213, depth=1..17, filters=1445434, revisions=(1403024,useless=742470), ccks=1068151722, wck=96.74, mem=95M476
105.11/99.65 decisions=58340, wrong=27965, backtracks=13841, failedAssignments=17295, nogoods=1582, foundSolutions=20, bestBound=328
105.11/99.65 nFilterCalls=969983, avgTableProportion=0.34793238644388613, avgTableSize=0.6958647728877723
105.11/99.65
110.72/105.27 num=214, depth=3..20, filters=1572145, revisions=(1517720,useless=802429), ccks=1128367848, wck=102.354, mem=73M582
110.72/105.27 decisions=62410, wrong=29997, backtracks=14978, failedAssignments=18468, nogoods=1586, foundSolutions=20, bestBound=328
110.72/105.27 nFilterCalls=1055972, avgTableProportion=0.34909969203728886, avgTableSize=0.6981993840745777
110.72/105.27
118.02/112.51 num=215, depth=2..19, filters=1677883, revisions=(1614946,useless=853175), ccks=1209897379, wck=109.597, mem=45M348
118.02/112.51 decisions=66735, wrong=32157, backtracks=16033, failedAssignments=19759, nogoods=1702, foundSolutions=20, bestBound=328
118.02/112.51 nFilterCalls=1128326, avgTableProportion=0.3487254570044473, avgTableSize=0.6974509140088946
118.02/112.51
125.93/120.40 num=216, depth=1..15, filters=1817223, revisions=(1745173,useless=918939), ccks=1296926666, wck=117.489, mem=33M713
125.93/120.40 decisions=71697, wrong=34636, backtracks=17406, failedAssignments=21179, nogoods=1717, foundSolutions=20, bestBound=328
125.93/120.40 nFilterCalls=1215143, avgTableProportion=0.3525893660252332, avgTableSize=0.7051787320504664
125.93/120.40
131.37/125.82 num=217, depth=1..19, filters=1950423, revisions=(1869929,useless=984773), ccks=1354127135, wck=122.906, mem=42M522
131.37/125.82 decisions=77065, wrong=37315, backtracks=18842, failedAssignments=22741, nogoods=1719, foundSolutions=20, bestBound=328
131.37/125.82 nFilterCalls=1304962, avgTableProportion=0.3525918762385418, avgTableSize=0.7051837524770836
131.37/125.82
138.20/132.62 num=218, depth=2..19, filters=2091603, revisions=(2001056,useless=1055057), ccks=1427640734, wck=129.71, mem=64M225
138.20/132.62 decisions=83078, wrong=40319, backtracks=20487, failedAssignments=24459, nogoods=1728, foundSolutions=20, bestBound=328
138.20/132.62 nFilterCalls=1408405, avgTableProportion=0.34901218044525545, avgTableSize=0.6980243608905109
138.20/132.62
145.81/140.21 num=219, depth=0..18, filters=2250590, revisions=(2147932,useless=1130916), ccks=1508449520, wck=137.297, mem=102M885
145.81/140.21 decisions=89350, wrong=43451, backtracks=22134, failedAssignments=26349, nogoods=1736, foundSolutions=20, bestBound=328
145.81/140.21 nFilterCalls=1513078, avgTableProportion=0.3512624597013505, avgTableSize=0.702524919402701
145.81/140.21
156.44/150.86 num=220, depth=2..17, filters=2463623, revisions=(2340856,useless=1234770), ccks=1623017811, wck=147.953, mem=54M176
156.44/150.86 decisions=96434, wrong=46991, backtracks=24061, failedAssignments=28428, nogoods=1746, foundSolutions=20, bestBound=328
156.44/150.86 nFilterCalls=1664342, avgTableProportion=0.35314286366624165, avgTableSize=0.7062857273324833
156.44/150.86
166.66/161.07 num=221, depth=2..18, filters=2681734, revisions=(2535017,useless=1333622), ccks=1732657814, wck=158.154, mem=126M369
166.66/161.07 decisions=104159, wrong=50848, backtracks=26129, failedAssignments=30715, nogoods=1756, foundSolutions=20, bestBound=328
166.66/161.07 nFilterCalls=1810257, avgTableProportion=0.3556682835641569, avgTableSize=0.7113365671283138
166.66/161.07
177.97/172.34 num=222, depth=2..19, filters=2919267, revisions=(2753372,useless=1446625), ccks=1854508117, wck=169.424, mem=107M135
177.97/172.34 decisions=112574, wrong=55052, backtracks=28327, failedAssignments=33231, nogoods=1761, foundSolutions=20, bestBound=328
177.97/172.34 nFilterCalls=1970284, avgTableProportion=0.3558471773612332, avgTableSize=0.7116943547224664
177.97/172.34
190.18/184.58 num=223, depth=1..22, filters=3140226, revisions=(2957855,useless=1554247), ccks=1988260653, wck=181.672, mem=115M279
190.18/184.58 decisions=121762, wrong=59640, backtracks=30618, failedAssignments=35999, nogoods=1773, foundSolutions=20, bestBound=328
190.18/184.58 nFilterCalls=2122876, avgTableProportion=0.3556959992010838, avgTableSize=0.7113919984021676
190.18/184.58
202.99/197.32 num=224, depth=0..22, filters=3411203, revisions=(3197181,useless=1678628), ccks=2124804528, wck=194.403, mem=51M328
202.99/197.32 decisions=131852, wrong=64682, backtracks=33187, failedAssignments=39043, nogoods=1790, foundSolutions=20, bestBound=328
202.99/197.32 nFilterCalls=2316202, avgTableProportion=0.35546705339171625, avgTableSize=0.7109341067834325
202.99/197.32
215.82/210.17 num=225, depth=1..18, filters=3774283, revisions=(3508895,useless=1835778), ccks=2257484538, wck=207.255, mem=61M531
215.82/210.17 decisions=143622, wrong=70564, backtracks=36428, failedAssignments=42392, nogoods=1807, foundSolutions=20, bestBound=328
215.82/210.17 nFilterCalls=2570964, avgTableProportion=0.35593186057836673, avgTableSize=0.7118637211567335
215.82/210.17
229.75/224.05 num=226, depth=0..20, filters=4081217, revisions=(3789593,useless=1981209), ccks=2405433894, wck=221.133, mem=76M310
229.75/224.05 decisions=155803, wrong=76651, backtracks=39470, failedAssignments=46076, nogoods=1812, foundSolutions=20, bestBound=328
229.75/224.05 nFilterCalls=2780429, avgTableProportion=0.35500978446131876, avgTableSize=0.7100195689226375
229.75/224.05
247.88/242.17 num=227, depth=2..19, filters=4482704, revisions=(4143183,useless=2162662), ccks=2598375312, wck=239.26, mem=77M232
247.88/242.17 decisions=169785, wrong=83640, backtracks=43185, failedAssignments=50128, nogoods=1816, foundSolutions=20, bestBound=328
247.88/242.17 nFilterCalls=3054364, avgTableProportion=0.3580809294504519, avgTableSize=0.7161618589009038
247.88/242.17
268.40/262.61 num=228, depth=1..23, filters=4857152, revisions=(4474880,useless=2333979), ccks=2821353413, wck=259.699, mem=81M15
268.40/262.61 decisions=184137, wrong=90814, backtracks=46622, failedAssignments=54585, nogoods=1834, foundSolutions=20, bestBound=328
268.40/262.61 nFilterCalls=3313428, avgTableProportion=0.3592243440931869, avgTableSize=0.7184486881863738
268.40/262.61
288.03/282.22 num=229, depth=1..21, filters=5278318, revisions=(4867540,useless=2538353), ccks=3031563690, wck=279.311, mem=50M898
288.03/282.22 decisions=200764, wrong=99123, backtracks=51051, failedAssignments=59488, nogoods=1842, foundSolutions=20, bestBound=328
288.03/282.22 nFilterCalls=3591855, avgTableProportion=0.3587072696420095, avgTableSize=0.717414539284019
288.03/282.22
307.77/301.96 num=230, depth=1..22, filters=5749842, revisions=(5292154,useless=2761023), ccks=3239912012, wck=299.045, mem=60M475
307.77/301.96 decisions=218886, wrong=108182, backtracks=55703, failedAssignments=64882, nogoods=1856, foundSolutions=20, bestBound=328
307.77/301.96 nFilterCalls=3919199, avgTableProportion=0.35975004076087996, avgTableSize=0.7195000815217599
307.77/301.96
312.47/306.61 o 326
312.47/306.61 num=231, depth=1..104, filters=5862391, revisions=(5390892,useless=2810771), ccks=3289114669, wck=303.696, mem=78M80
312.47/306.61 decisions=222622, wrong=110039, backtracks=56692, failedAssignments=65951, nogoods=1861, foundSolutions=21, bestBound=326
312.47/306.61 nFilterCalls=3993206, avgTableProportion=0.3604904179749304, avgTableSize=0.7209808359498608
312.47/306.61
336.04/330.12 num=232, depth=0..20, filters=6454338, revisions=(5916491,useless=3085610), ccks=3534523458, wck=327.208, mem=48M321
336.04/330.12 decisions=245324, wrong=121388, backtracks=62630, failedAssignments=72477, nogoods=1872, foundSolutions=21, bestBound=326
336.04/330.12 nFilterCalls=4399230, avgTableProportion=0.3626576696376411, avgTableSize=0.7253153392752822
336.04/330.12
336.13/330.21 num=233, depth=7..13, filters=6455765, revisions=(5917712,useless=3086192), ccks=3535448567, wck=327.293, mem=49M726
336.13/330.21 decisions=245372, wrong=121407, backtracks=62639, failedAssignments=72488, nogoods=1880, foundSolutions=21, bestBound=326
336.13/330.21 nFilterCalls=4400189, avgTableProportion=0.3626604448127115, avgTableSize=0.725320889625423
336.13/330.21
336.23/330.32 num=234, depth=6..11, filters=6457234, revisions=(5919054,useless=3086810), ccks=3536735896, wck=327.408, mem=51M131
336.23/330.32 decisions=245423, wrong=121428, backtracks=62651, failedAssignments=72500, nogoods=1884, foundSolutions=21, bestBound=326
336.23/330.32 nFilterCalls=4401102, avgTableProportion=0.3626737121748144, avgTableSize=0.7253474243496288
336.23/330.32
336.33/330.41 num=235, depth=3..10, filters=6458457, revisions=(5920128,useless=3087327), ccks=3537753709, wck=327.499, mem=52M536
336.33/330.41 decisions=245471, wrong=121449, backtracks=62661, failedAssignments=72513, nogoods=1887, foundSolutions=21, bestBound=326
336.33/330.41 nFilterCalls=4401962, avgTableProportion=0.3626867973871651, avgTableSize=0.7253735947743302
336.33/330.41
336.43/330.53 num=236, depth=7..14, filters=6459708, revisions=(5921355,useless=3087906), ccks=3539095041, wck=327.617, mem=53M941
336.43/330.53 decisions=245522, wrong=121471, backtracks=62674, failedAssignments=72527, nogoods=1893, foundSolutions=21, bestBound=326
336.43/330.53 nFilterCalls=4402720, avgTableProportion=0.36270226132936, avgTableSize=0.72540452265872
336.43/330.53
336.54/330.66 num=237, depth=6..14, filters=6461237, revisions=(5922768,useless=3088582), ccks=3540538706, wck=327.745, mem=55M346
336.54/330.66 decisions=245585, wrong=121498, backtracks=62686, failedAssignments=72543, nogoods=1898, foundSolutions=21, bestBound=326
336.54/330.66 nFilterCalls=4403744, avgTableProportion=0.3627070510910716, avgTableSize=0.7254141021821432
336.54/330.66
336.74/330.81 num=238, depth=4..12, filters=6463228, revisions=(5924782,useless=3089607), ccks=3542279473, wck=327.9, mem=56M751
336.74/330.81 decisions=245651, wrong=121528, backtracks=62702, failedAssignments=72560, nogoods=1903, foundSolutions=21, bestBound=326
336.74/330.81 nFilterCalls=4405089, avgTableProportion=0.36272116181988606, avgTableSize=0.7254423236397721
336.74/330.81
336.84/330.96 num=239, depth=5..14, filters=6464868, revisions=(5926447,useless=3090449), ccks=3543931615, wck=328.046, mem=58M156
336.84/330.96 decisions=245725, wrong=121562, backtracks=62721, failedAssignments=72579, nogoods=1908, foundSolutions=21, bestBound=326
336.84/330.96 nFilterCalls=4406140, avgTableProportion=0.36273019014375396, avgTableSize=0.7254603802875079
336.84/330.96
337.05/331.12 num=240, depth=4..13, filters=6466791, revisions=(5928361,useless=3091397), ccks=3545704737, wck=328.203, mem=59M561
337.05/331.12 decisions=245812, wrong=121602, backtracks=62743, failedAssignments=72600, nogoods=1910, foundSolutions=21, bestBound=326
337.05/331.12 nFilterCalls=4407396, avgTableProportion=0.3627343674133207, avgTableSize=0.7254687348266414
337.05/331.12
337.14/331.27 num=241, depth=5..15, filters=6469149, revisions=(5930537,useless=3092449), ccks=3547467932, wck=328.362, mem=62M372
337.14/331.27 decisions=245901, wrong=121644, backtracks=62769, failedAssignments=72623, nogoods=1911, foundSolutions=21, bestBound=326
337.14/331.27 nFilterCalls=4408898, avgTableProportion=0.3627570880523886, avgTableSize=0.7255141761047772
337.14/331.27
337.24/331.38 num=242, depth=4..13, filters=6470547, revisions=(5931884,useless=3093122), ccks=3548608078, wck=328.465, mem=63M777
337.24/331.38 decisions=245985, wrong=121683, backtracks=62788, failedAssignments=72648, nogoods=1915, foundSolutions=21, bestBound=326
337.24/331.38 nFilterCalls=4409901, avgTableProportion=0.36275814355016134, avgTableSize=0.7255162871003227
337.24/331.38
337.44/331.52 num=243, depth=4..12, filters=6472916, revisions=(5933994,useless=3094122), ccks=3550127017, wck=328.604, mem=66M587
337.44/331.52 decisions=246093, wrong=121735, backtracks=62814, failedAssignments=72676, nogoods=1916, foundSolutions=21, bestBound=326
337.44/331.52 nFilterCalls=4411337, avgTableProportion=0.36276042841433337, avgTableSize=0.7255208568286667
337.44/331.52
337.64/331.74 num=244, depth=3..13, filters=6475471, revisions=(5936575,useless=3095288), ccks=3552661610, wck=328.829, mem=69M397
337.64/331.74 decisions=246206, wrong=121790, backtracks=62845, failedAssignments=72707, nogoods=1919, foundSolutions=21, bestBound=326
337.64/331.74 nFilterCalls=4412820, avgTableProportion=0.3627794698174863, avgTableSize=0.7255589396349726
337.64/331.74
337.85/331.91 num=245, depth=2..13, filters=6478044, revisions=(5939158,useless=3096643), ccks=3554480741, wck=328.993, mem=72M207
337.85/331.91 decisions=246312, wrong=121840, backtracks=62868, failedAssignments=72741, nogoods=1922, foundSolutions=21, bestBound=326
337.85/331.91 nFilterCalls=4414262, avgTableProportion=0.3627839715902681, avgTableSize=0.7255679431805362
337.85/331.91
337.96/332.10 num=246, depth=6..15, filters=6481025, revisions=(5941982,useless=3097948), ccks=3556589488, wck=329.185, mem=75M18
337.96/332.10 decisions=246449, wrong=121905, backtracks=62907, failedAssignments=72778, nogoods=1928, foundSolutions=21, bestBound=326
337.96/332.10 nFilterCalls=4416030, avgTableProportion=0.36282226343571033, avgTableSize=0.7256445268714207
337.96/332.10
338.25/332.34 num=247, depth=4..11, filters=6485570, revisions=(5946298,useless=3100061), ccks=3559157414, wck=329.423, mem=79M233
338.25/332.34 decisions=246613, wrong=121984, backtracks=62951, failedAssignments=72819, nogoods=1930, foundSolutions=21, bestBound=326
338.25/332.34 nFilterCalls=4418697, avgTableProportion=0.36283003790483936, avgTableSize=0.7256600758096787
338.25/332.34
338.56/332.65 num=248, depth=5..14, filters=6489937, revisions=(5950457,useless=3102155), ccks=3562614248, wck=329.733, mem=83M448
338.56/332.65 decisions=246809, wrong=122077, backtracks=63007, failedAssignments=72864, nogoods=1936, foundSolutions=21, bestBound=326
338.56/332.65 nFilterCalls=4421438, avgTableProportion=0.3628359144694554, avgTableSize=0.7256718289389108
338.56/332.65
338.86/332.90 num=249, depth=5..14, filters=6493802, revisions=(5954444,useless=3104214), ccks=3565424684, wck=329.986, mem=87M663
338.86/332.90 decisions=246972, wrong=122155, backtracks=63052, failedAssignments=72914, nogoods=1941, foundSolutions=21, bestBound=326
338.86/332.90 nFilterCalls=4423791, avgTableProportion=0.36285179385734995, avgTableSize=0.7257035877146999
338.86/332.90
339.16/333.21 num=250, depth=6..15, filters=6498662, revisions=(5959078,useless=3106565), ccks=3568917521, wck=330.3, mem=91M879
339.16/333.21 decisions=247198, wrong=122263, backtracks=63114, failedAssignments=72969, nogoods=1945, foundSolutions=21, bestBound=326
339.16/333.21 nFilterCalls=4426831, avgTableProportion=0.36285437596330194, avgTableSize=0.7257087519266039
339.16/333.21
339.56/333.64 num=251, depth=4..12, filters=6503572, revisions=(5964289,useless=3109099), ccks=3573772286, wck=330.731, mem=25M818
339.56/333.64 decisions=247434, wrong=122378, backtracks=63183, failedAssignments=73030, nogoods=1951, foundSolutions=21, bestBound=326
339.56/333.64 nFilterCalls=4429557, avgTableProportion=0.36289486736484033, avgTableSize=0.7257897347296807
339.56/333.64
339.97/334.09 num=252, depth=3..10, filters=6511385, revisions=(5970894,useless=3112288), ccks=3578596691, wck=331.173, mem=32M791
339.97/334.09 decisions=247690, wrong=122504, backtracks=63253, failedAssignments=73097, nogoods=1954, foundSolutions=21, bestBound=326
339.97/334.09 nFilterCalls=4434882, avgTableProportion=0.3629588115309494, avgTableSize=0.7259176230618988
339.97/334.09
340.36/334.44 num=253, depth=4..12, filters=6517312, revisions=(5976528,useless=3115105), ccks=3582522235, wck=331.528, mem=36M975
340.36/334.44 decisions=247924, wrong=122617, backtracks=63309, failedAssignments=73171, nogoods=1962, foundSolutions=21, bestBound=326
340.36/334.44 nFilterCalls=4438719, avgTableProportion=0.36300574557659543, avgTableSize=0.7260114911531909
340.36/334.44
340.76/334.84 num=254, depth=3..13, filters=6525822, revisions=(5983794,useless=3118722), ccks=3586822142, wck=331.927, mem=43M948
340.76/334.84 decisions=248196, wrong=122751, backtracks=63378, failedAssignments=73252, nogoods=1968, foundSolutions=21, bestBound=326
340.76/334.84 nFilterCalls=4444540, avgTableProportion=0.3630328447938369, avgTableSize=0.7260656895876738
340.76/334.84
341.17/335.24 num=255, depth=5..15, filters=6533932, revisions=(5990998,useless=3122382), ccks=3591201025, wck=332.33, mem=49M526
341.17/335.24 decisions=248494, wrong=122896, backtracks=63453, failedAssignments=73341, nogoods=1975, foundSolutions=21, bestBound=326
341.17/335.24 nFilterCalls=4450063, avgTableProportion=0.3630660959181926, avgTableSize=0.7261321918363852
341.17/335.24
341.57/335.67 num=256, depth=3..12, filters=6542237, revisions=(5998940,useless=3126154), ccks=3595828209, wck=332.756, mem=55M105
341.57/335.67 decisions=248833, wrong=123063, backtracks=63539, failedAssignments=73439, nogoods=1982, foundSolutions=21, bestBound=326
341.57/335.67 nFilterCalls=4455012, avgTableProportion=0.3631172037247038, avgTableSize=0.7262344074494076
341.57/335.67
342.47/336.54 num=257, depth=3..11, filters=6554697, revisions=(6010432,useless=3131855), ccks=3605602569, wck=333.632, mem=66M262
342.47/336.54 decisions=249203, wrong=123246, backtracks=63641, failedAssignments=73547, nogoods=1987, foundSolutions=21, bestBound=326
342.47/336.54 nFilterCalls=4462518, avgTableProportion=0.3632062660587588, avgTableSize=0.7264125321175176
342.47/336.54
342.98/337.05 num=258, depth=5..14, filters=6563552, revisions=(6019560,useless=3136963), ccks=3611114848, wck=334.135, mem=74M629
342.98/337.05 decisions=249623, wrong=123453, backtracks=63749, failedAssignments=73666, nogoods=1996, foundSolutions=21, bestBound=326
342.98/337.05 nFilterCalls=4468347, avgTableProportion=0.36319997081694866, avgTableSize=0.7263999416338973
342.98/337.05
343.77/337.84 num=259, depth=3..13, filters=6577632, revisions=(6031448,useless=3142974), ccks=3619810742, wck=334.93, mem=87M180
343.77/337.84 decisions=250081, wrong=123679, backtracks=63865, failedAssignments=73797, nogoods=2001, foundSolutions=21, bestBound=326
343.77/337.84 nFilterCalls=4477522, avgTableProportion=0.36327426196900875, avgTableSize=0.7265485239380175
343.77/337.84
344.47/338.50 num=260, depth=2..12, filters=6591445, revisions=(6044131,useless=3149488), ccks=3626868174, wck=335.591, mem=27M206
344.47/338.50 decisions=250607, wrong=123940, backtracks=64002, failedAssignments=73941, nogoods=2007, foundSolutions=21, bestBound=326
344.47/338.50 nFilterCalls=4486907, avgTableProportion=0.3633828381109749, avgTableSize=0.7267656762219498
344.47/338.50
345.17/339.22 num=261, depth=2..12, filters=6608220, revisions=(6058664,useless=3156629), ccks=3634464906, wck=336.304, mem=41M47
345.17/339.22 decisions=251147, wrong=124209, backtracks=64150, failedAssignments=74099, nogoods=2014, foundSolutions=21, bestBound=326
345.17/339.22 nFilterCalls=4497442, avgTableProportion=0.3634892901342585, avgTableSize=0.726978580268517
345.17/339.22
346.08/340.12 num=262, depth=2..14, filters=6624565, revisions=(6073271,useless=3163580), ccks=3644378582, wck=337.208, mem=53M504
346.08/340.12 decisions=251767, wrong=124516, backtracks=64308, failedAssignments=74273, nogoods=2020, foundSolutions=21, bestBound=326
346.08/340.12 nFilterCalls=4507808, avgTableProportion=0.3635723837395027, avgTableSize=0.7271447674790054
346.08/340.12
347.27/341.37 num=263, depth=3..15, filters=6641396, revisions=(6089263,useless=3171569), ccks=3658308939, wck=338.455, mem=72M882
347.27/341.37 decisions=252482, wrong=124871, backtracks=64497, failedAssignments=74464, nogoods=2025, foundSolutions=21, bestBound=326
347.27/341.37 nFilterCalls=4518374, avgTableProportion=0.36359385035413183, avgTableSize=0.7271877007082637
347.27/341.37
348.08/342.17 num=264, depth=3..13, filters=6658949, revisions=(6105475,useless=3179937), ccks=3666854672, wck=339.261, mem=92M259
348.08/342.17 decisions=253193, wrong=125224, backtracks=64688, failedAssignments=74675, nogoods=2036, foundSolutions=21, bestBound=326
348.08/342.17 nFilterCalls=4530286, avgTableProportion=0.3635752797946973, avgTableSize=0.7271505595893946
348.08/342.17
349.38/343.45 num=265, depth=1..17, filters=6679496, revisions=(6126042,useless=3190646), ccks=3680927785, wck=340.54, mem=42M285
349.38/343.45 decisions=253988, wrong=125618, backtracks=64899, failedAssignments=74907, nogoods=2042, foundSolutions=21, bestBound=326
349.38/343.45 nFilterCalls=4542659, avgTableProportion=0.3636658617783109, avgTableSize=0.7273317235566218
349.38/343.45
350.58/344.61 num=266, depth=2..18, filters=6700805, revisions=(6145094,useless=3200219), ccks=3693555732, wck=341.702, mem=67M10
350.58/344.61 decisions=254893, wrong=126067, backtracks=65123, failedAssignments=75162, nogoods=2046, foundSolutions=21, bestBound=326
350.58/344.61 nFilterCalls=4556602, avgTableProportion=0.3636099883202439, avgTableSize=0.7272199766404878
350.58/344.61
351.38/345.49 num=267, depth=5..22, filters=6717153, revisions=(6162431,useless=3209667), ccks=3703103329, wck=342.577, mem=83M493
351.38/345.49 decisions=255769, wrong=126497, backtracks=65309, failedAssignments=75443, nogoods=2061, foundSolutions=21, bestBound=326
351.38/345.49 nFilterCalls=4566785, avgTableProportion=0.363567476901146, avgTableSize=0.727134953802292
351.38/345.49
353.09/347.14 num=268, depth=2..15, filters=6743931, revisions=(6187059,useless=3221748), ccks=3721376078, wck=344.231, mem=36M685
353.09/347.14 decisions=256830, wrong=127026, backtracks=65575, failedAssignments=75752, nogoods=2072, foundSolutions=21, bestBound=326
353.09/347.14 nFilterCalls=4582938, avgTableProportion=0.3636801327009006, avgTableSize=0.7273602654018012
353.09/347.14
354.28/348.38 num=269, depth=2..15, filters=6774139, revisions=(6215659,useless=3236664), ccks=3734478510, wck=345.472, mem=66M676
354.28/348.38 decisions=257995, wrong=127606, backtracks=65877, failedAssignments=76092, nogoods=2075, foundSolutions=21, bestBound=326
354.28/348.38 nFilterCalls=4602437, avgTableProportion=0.36380215524949067, avgTableSize=0.7276043104989813
354.28/348.38
355.39/349.44 num=270, depth=2..14, filters=6795760, revisions=(6236099,useless=3246633), ccks=3745823898, wck=346.532, mem=91M211
355.39/349.44 decisions=259124, wrong=128167, backtracks=66099, failedAssignments=76466, nogoods=2079, foundSolutions=21, bestBound=326
355.39/349.44 nFilterCalls=4616293, avgTableProportion=0.3638871059527634, avgTableSize=0.7277742119055268
355.39/349.44
356.89/350.96 num=271, depth=2..14, filters=6824594, revisions=(6263377,useless=3260803), ccks=3762236163, wck=348.048, mem=51M459
356.89/350.96 decisions=260381, wrong=128793, backtracks=66380, failedAssignments=76877, nogoods=2094, foundSolutions=21, bestBound=326
356.89/350.96 nFilterCalls=4634896, avgTableProportion=0.3639994295449132, avgTableSize=0.7279988590898264
356.89/350.96
360.00/354.10 num=272, depth=5..18, filters=6856290, revisions=(6295944,useless=3278006), ccks=3798103044, wck=351.192, mem=81M218
360.00/354.10 decisions=261816, wrong=129506, backtracks=66733, failedAssignments=77329, nogoods=2103, foundSolutions=21, bestBound=326
360.00/354.10 nFilterCalls=4653723, avgTableProportion=0.3638785548688652, avgTableSize=0.7277571097377304
360.00/354.10
362.61/356.67 num=273, depth=4..14, filters=6905463, revisions=(6338159,useless=3297963), ccks=3825796464, wck=353.762, mem=64M661
362.61/356.67 decisions=263650, wrong=130420, backtracks=67253, failedAssignments=77826, nogoods=2114, foundSolutions=21, bestBound=326
362.61/356.67 nFilterCalls=4684415, avgTableProportion=0.36432361351417414, avgTableSize=0.7286472270283483
362.61/356.67
364.92/358.92 num=274, depth=1..18, filters=6945733, revisions=(6376329,useless=3318005), ccks=3850297939, wck=356.003, mem=35M63
364.92/358.92 decisions=265436, wrong=131311, backtracks=67673, failedAssignments=78373, nogoods=2121, foundSolutions=21, bestBound=326
364.92/358.92 nFilterCalls=4710743, avgTableProportion=0.364282343570855, avgTableSize=0.72856468714171
364.92/358.92
367.32/361.37 num=275, depth=2..13, filters=7003477, revisions=(6425429,useless=3342166), ccks=3876251257, wck=358.459, mem=86M999
367.32/361.37 decisions=267492, wrong=132336, backtracks=68174, failedAssignments=78975, nogoods=2130, foundSolutions=21, bestBound=326
367.32/361.37 nFilterCalls=4749459, avgTableProportion=0.3647026956122792, avgTableSize=0.7294053912245584
367.32/361.37
369.63/363.62 num=276, depth=3..21, filters=7054290, revisions=(6470862,useless=3365749), ccks=3900117877, wck=360.705, mem=74M629
369.63/363.62 decisions=269739, wrong=133455, backtracks=68723, failedAssignments=79637, nogoods=2134, foundSolutions=21, bestBound=326
369.63/363.62 nFilterCalls=4784336, avgTableProportion=0.36448516575758894, avgTableSize=0.7289703315151779
369.63/363.62
372.83/366.86 num=277, depth=2..16, filters=7119418, revisions=(6526844,useless=3394839), ccks=3935198900, wck=363.95, mem=61M114
372.83/366.86 decisions=272161, wrong=134663, backtracks=69299, failedAssignments=80365, nogoods=2147, foundSolutions=21, bestBound=326
372.83/366.86 nFilterCalls=4830002, avgTableProportion=0.3647119607817968, avgTableSize=0.7294239215635936
372.83/366.86
376.44/370.48 num=278, depth=3..15, filters=7198150, revisions=(6591286,useless=3426095), ccks=3973484385, wck=367.567, mem=76M412
376.44/370.48 decisions=274960, wrong=136059, backtracks=70055, failedAssignments=81166, nogoods=2157, foundSolutions=21, bestBound=326
376.44/370.48 nFilterCalls=4884879, avgTableProportion=0.3652679012110638, avgTableSize=0.7305358024221276
376.44/370.48
382.15/376.16 num=279, depth=1..18, filters=7268237, revisions=(6660606,useless=3462255), ccks=4037271842, wck=373.247, mem=86M300
382.15/376.16 decisions=277993, wrong=137573, backtracks=70863, failedAssignments=82047, nogoods=2165, foundSolutions=21, bestBound=326
382.15/376.16 nFilterCalls=4928409, avgTableProportion=0.3650326099152891, avgTableSize=0.7300652198305781
382.15/376.16
385.16/379.17 num=280, depth=0..16, filters=7337016, revisions=(6722738,useless=3494222), ccks=4069026583, wck=376.253, mem=24M372
385.16/379.17 decisions=281043, wrong=139096, backtracks=71516, failedAssignments=83017, nogoods=2188, foundSolutions=21, bestBound=326
385.16/379.17 nFilterCalls=4973175, avgTableProportion=0.36523609163160353, avgTableSize=0.7304721832632071
385.16/379.17
388.66/382.60 num=281, depth=2..14, filters=7427188, revisions=(6802530,useless=3533796), ccks=4104444678, wck=379.685, mem=50M785
388.66/382.60 decisions=284566, wrong=140856, backtracks=72414, failedAssignments=84084, nogoods=2197, foundSolutions=21, bestBound=326
388.66/382.60 nFilterCalls=5030856, avgTableProportion=0.36569591735481993, avgTableSize=0.7313918347096399
388.66/382.60
393.88/387.80 num=282, depth=2..14, filters=7529422, revisions=(6892533,useless=3579366), ccks=4160110555, wck=384.89, mem=31M789
393.88/387.80 decisions=288502, wrong=142820, backtracks=73401, failedAssignments=85257, nogoods=2210, foundSolutions=21, bestBound=326
393.88/387.80 nFilterCalls=5098324, avgTableProportion=0.36626683592490394, avgTableSize=0.7325336718498079
393.88/387.80
400.89/394.83 num=283, depth=2..15, filters=7658893, revisions=(7007640,useless=3637374), ccks=4236259931, wck=391.921, mem=34M124
400.89/394.83 decisions=293084, wrong=145109, backtracks=74657, failedAssignments=86548, nogoods=2220, foundSolutions=21, bestBound=326
400.89/394.83 nFilterCalls=5182714, avgTableProportion=0.3669627534917034, avgTableSize=0.7339255069834068
400.89/394.83
405.29/399.22 num=284, depth=1..17, filters=7776337, revisions=(7113808,useless=3692030), ccks=4282064887, wck=396.308, mem=79M876
405.29/399.22 decisions=297515, wrong=147322, backtracks=75642, failedAssignments=87968, nogoods=2226, foundSolutions=21, bestBound=326
405.29/399.22 nFilterCalls=5261906, avgTableProportion=0.3665019861624286, avgTableSize=0.7330039723248571
405.29/399.22
411.71/405.69 num=285, depth=2..17, filters=7892629, revisions=(7220316,useless=3746346), ccks=4352589918, wck=402.774, mem=70M646
411.71/405.69 decisions=302565, wrong=149844, backtracks=76789, failedAssignments=89530, nogoods=2271, foundSolutions=21, bestBound=326
411.71/405.69 nFilterCalls=5336789, avgTableProportion=0.36667104507972864, avgTableSize=0.7333420901594573
411.71/405.69
418.24/412.14 num=286, depth=1..18, filters=8062695, revisions=(7365135,useless=3819610), ccks=4419713019, wck=409.23, mem=57M919
418.24/412.14 decisions=308429, wrong=152774, backtracks=78292, failedAssignments=91248, nogoods=2300, foundSolutions=21, bestBound=326
418.24/412.14 nFilterCalls=5458448, avgTableProportion=0.367006793872544, avgTableSize=0.734013587745088
418.24/412.14
423.85/417.78 num=287, depth=0..15, filters=8233316, revisions=(7515063,useless=3896399), ccks=4476916245, wck=414.866, mem=44M707
423.85/417.78 decisions=314634, wrong=155872, backtracks=79760, failedAssignments=93138, nogoods=2302, foundSolutions=21, bestBound=326
423.85/417.78 nFilterCalls=5573967, avgTableProportion=0.3676027324883696, avgTableSize=0.7352054649767392
423.85/417.78
430.67/424.52 num=288, depth=1..20, filters=8391415, revisions=(7655703,useless=3968882), ccks=4547871813, wck=421.607, mem=29M982
430.67/424.52 decisions=321037, wrong=159071, backtracks=81159, failedAssignments=95217, nogoods=2312, foundSolutions=21, bestBound=326
430.67/424.52 nFilterCalls=5682569, avgTableProportion=0.36803363056392274, avgTableSize=0.7360672611278455
430.67/424.52
438.98/432.83 num=289, depth=2..19, filters=8591804, revisions=(7839358,useless=4063103), ccks=4635210382, wck=429.913, mem=58M24
438.98/432.83 decisions=328816, wrong=162958, backtracks=83131, failedAssignments=97504, nogoods=2328, foundSolutions=21, bestBound=326
438.98/432.83 nFilterCalls=5817402, avgTableProportion=0.3684467740066786, avgTableSize=0.7368935480133572
438.98/432.83
447.04/440.86 num=290, depth=1..17, filters=8836163, revisions=(8053703,useless=4172246), ccks=4717158012, wck=437.951, mem=42M978
447.04/440.86 decisions=337045, wrong=167069, backtracks=85080, failedAssignments=100020, nogoods=2336, foundSolutions=21, bestBound=326
447.04/440.86 nFilterCalls=5980255, avgTableProportion=0.3689547519294746, avgTableSize=0.7379095038589492
447.04/440.86
456.38/450.15 num=291, depth=0..16, filters=9064373, revisions=(8252225,useless=4271296), ccks=4814392498, wck=447.242, mem=47M314
456.38/450.15 decisions=346048, wrong=171567, backtracks=87266, failedAssignments=102788, nogoods=2350, foundSolutions=21, bestBound=326
456.38/450.15 nFilterCalls=6134251, avgTableProportion=0.3694874076721021, avgTableSize=0.7389748153442042
456.38/450.15
466.60/460.35 num=292, depth=0..18, filters=9345449, revisions=(8497587,useless=4395830), ccks=4919648900, wck=457.439, mem=38M715
466.60/460.35 decisions=356316, wrong=176698, backtracks=89800, failedAssignments=105832, nogoods=2366, foundSolutions=21, bestBound=326
466.60/460.35 nFilterCalls=6329058, avgTableProportion=0.3697805423808725, avgTableSize=0.739561084761745
466.60/460.35
478.53/472.26 num=293, depth=0..17, filters=9725631, revisions=(8822797,useless=4560187), ccks=5039115671, wck=469.345, mem=35M458
478.53/472.26 decisions=368446, wrong=182761, backtracks=93172, failedAssignments=109181, nogoods=2369, foundSolutions=21, bestBound=326
478.53/472.26 nFilterCalls=6589884, avgTableProportion=0.370818666914319, avgTableSize=0.741637333828638
478.53/472.26
490.97/484.61 num=294, depth=0..18, filters=10122555, revisions=(9162630,useless=4732397), ccks=5163233083, wck=481.695, mem=33M364
490.97/484.61 decisions=381290, wrong=189181, backtracks=96625, failedAssignments=112865, nogoods=2376, foundSolutions=21, bestBound=326
490.97/484.61 nFilterCalls=6862460, avgTableProportion=0.371694625542444, avgTableSize=0.743389251084888
490.97/484.61
504.20/497.86
504.20/497.86 New Bounds: 326..325
504.20/497.86 num=295, depth=0..17, filters=10543286, revisions=(9514711,useless=4907985), ccks=5296540437, wck=494.952, mem=73M317
504.20/497.86 decisions=394848, wrong=195961, backtracks=100062, failedAssignments=116837, foundSolutions=21, bestBound=326
504.20/497.86 nFilterCalls=7147993, avgTableProportion=0.3725247772346727, avgTableSize=0.7450495544693454
504.20/497.86
504.20/497.87 Global
504.20/497.87 filters=10543286, revisions=(9514711,useless=4907985), ccks=5296540437
504.20/497.87 Stop=FULL_EXPLORATION, wrong=195961, bestBound=326, bestBoundWck=304.165, bestBoundCpu=305.653, foundSolutions=21, firstSolCpu=8.092
504.20/497.87 wck=495.423, cpu=496.701, mem=73M317
504.20/497.87
504.20/497.87 v <instantiation id='sol21' type='solution' cost='326'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 73 137 215 273 0 91 145 197 289 0 86 145 215 295 0 119 211 289 295 0 91 119 197 272 325 322 326 300 321 73 60 78 58 52 52 46 48 92 33 86 59 63 80 31 85 92 56 2 5 91 28 78 75 49 4 3 2 0 1 3 2 1 4 0 0 1 3 2 4 1 0 3 4 2 2 0 4 1 3 215 273 137 73 0 289 145 91 0 197 0 86 215 145 295 119 0 295 211 289 91 197 0 272 119 </values> </instantiation>
504.20/497.87 s OPTIMUM FOUND
504.20/497.87
504.20/497.87 d WRONG_DECISIONS 195961
504.20/497.87 d NUMBER_SOLUTIONS 21