2.44/2.37
2.44/2.37 AbsCon 2
2.44/2.39
2.85/2.58 Instance
2.85/2.58 name=instance-4390863-1568380515, framework=COP, bounds=-infty..+infty
2.85/2.58
2.85/2.58 Loading variables...
2.99/2.63 Loading constraints...
3.22/2.74
3.22/2.74 Domains
3.22/2.74 nTypes=7, nValues=23680, sizes=[5#50,426#55]
3.22/2.74 Variables
3.22/2.74 count=105, degrees=[2#30,3#50,9#25]
3.22/2.74 Objectives
3.22/2.74 way=min, type=ObjMaximumLE
3.22/2.74 Constraints
3.22/2.74 count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.22/2.74 distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.22/2.74 tables=[2#50], nTotalTuples=100
3.22/2.74 nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.22/2.74 wck=0.392, cpu=2.158, mem=26M529
3.22/2.75 Solver SolverBacktrack being built...
3.22/2.75
3.22/2.77
3.22/2.77 Solver
3.22/2.77 guaranteedGAC=true
3.22/2.77 wck=0.422, cpu=2.186, mem=37M171
4.38/3.59
4.38/3.59 Preprocessing
4.38/3.59 filters=55, revisions=(140,useless=60), ccks=8177533, nACremovedValues=5116, nTotalRemovedValues=5116, inconcistency=false
4.38/3.59 wck=0.819, cpu=3.004, mem=37M171
4.38/3.59
4.78/3.73 num=0, depth=22..22, filters=495, revisions=(773,useless=428), ccks=9545996, wck=0.969, mem=39M814
4.78/3.73 decisions=42, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.78/3.73 nFilterCalls=300, avgTableProportion=0.33166666666666667, avgTableSize=0.6633333333333333
4.78/3.73
4.78/3.78 num=1, depth=0..0, filters=613, revisions=(991,useless=534), ccks=10001104, wck=1.01, mem=39M814
4.78/3.78 decisions=64, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
4.78/3.78 nFilterCalls=300, avgTableProportion=0.33166666666666667, avgTableSize=0.6633333333333333
4.78/3.78
4.97/3.85 num=2, depth=0..0, filters=769, revisions=(1267,useless=666), ccks=10832135, wck=1.083, mem=39M814
4.97/3.85 decisions=88, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
4.97/3.85 nFilterCalls=300, avgTableProportion=0.33166666666666667, avgTableSize=0.6633333333333333
4.97/3.85
5.26/4.03 num=3, depth=0..21, filters=1275, revisions=(2051,useless=1086), ccks=12916049, wck=1.267, mem=42M456
5.26/4.03 decisions=135, wrong=46, backtracks=0, failedAssignments=46, nogoods=18
5.26/4.03 nFilterCalls=538, avgTableProportion=0.34107806691449816, avgTableSize=0.6821561338289963
5.26/4.03
5.40/4.15 num=4, depth=8..16, filters=1635, revisions=(2404,useless=1276), ccks=14235527, wck=1.386, mem=45M99
5.40/4.15 decisions=179, wrong=60, backtracks=0, failedAssignments=60, nogoods=32
5.40/4.15 nFilterCalls=845, avgTableProportion=0.36153846153846153, avgTableSize=0.7230769230769231
5.40/4.15
6.09/4.42 num=5, depth=19..19, filters=2218, revisions=(3084,useless=1626), ccks=17216208, wck=1.657, mem=45M99
6.09/4.42 decisions=230, wrong=76, backtracks=0, failedAssignments=76, nogoods=48
6.09/4.42 nFilterCalls=1263, avgTableProportion=0.38915281076801267, avgTableSize=0.7783056215360253
6.09/4.42
6.49/4.64 num=6, depth=15..16, filters=2990, revisions=(4033,useless=2150), ccks=19736925, wck=1.876, mem=47M741
6.49/4.64 decisions=282, wrong=94, backtracks=1, failedAssignments=93, nogoods=65
6.49/4.64 nFilterCalls=1729, avgTableProportion=0.3689994216310006, avgTableSize=0.7379988432620012
6.49/4.64
6.70/4.76 num=7, depth=24..24, filters=3422, revisions=(4401,useless=2324), ccks=21094477, wck=1.996, mem=47M741
6.70/4.76 decisions=344, wrong=113, backtracks=1, failedAssignments=112, nogoods=84
6.70/4.76 nFilterCalls=2228, avgTableProportion=0.38195691202872534, avgTableSize=0.7639138240574507
6.70/4.76
6.92/4.89 num=8, depth=17..18, filters=4336, revisions=(5124,useless=2728), ccks=22504812, wck=2.125, mem=50M383
6.92/4.89 decisions=404, wrong=134, backtracks=1, failedAssignments=133, nogoods=105
6.92/4.89 nFilterCalls=3174, avgTableProportion=0.3631064902331443, avgTableSize=0.7262129804662886
6.92/4.89
7.77/5.12 num=9, depth=0..17, filters=5233, revisions=(6183,useless=3293), ccks=25008133, wck=2.358, mem=50M383
7.77/5.12 decisions=467, wrong=157, backtracks=1, failedAssignments=156, nogoods=109
7.77/5.12 nFilterCalls=3830, avgTableProportion=0.34843342036553526, avgTableSize=0.6968668407310705
7.77/5.12
8.15/5.36 num=10, depth=16..25, filters=6077, revisions=(7222,useless=3908), ccks=27736443, wck=2.595, mem=53M26
8.15/5.36 decisions=544, wrong=184, backtracks=3, failedAssignments=181, nogoods=122
8.15/5.36 nFilterCalls=4506, avgTableProportion=0.33067021748779407, avgTableSize=0.6613404349755881
8.15/5.36
8.36/5.56 num=11, depth=13..20, filters=7798, revisions=(8894,useless=4896), ccks=29966572, wck=2.794, mem=53M26
8.36/5.56 decisions=644, wrong=225, backtracks=18, failedAssignments=209, nogoods=139
8.36/5.56 nFilterCalls=6208, avgTableProportion=0.3151578608247423, avgTableSize=0.6303157216494846
8.36/5.56
8.58/5.74 num=12, depth=20..22, filters=8774, revisions=(9797,useless=5378), ccks=32006299, wck=2.971, mem=55M668
8.58/5.74 decisions=728, wrong=257, backtracks=19, failedAssignments=240, nogoods=146
8.58/5.74 nFilterCalls=7163, avgTableProportion=0.2977104565126344, avgTableSize=0.5954209130252688
8.58/5.74
8.79/5.94 o 416
8.79/5.95 num=13, depth=16..104, filters=10117, revisions=(11114,useless=6132), ccks=34323661, wck=3.179, mem=55M668
8.79/5.95 decisions=805, wrong=276, backtracks=28, failedAssignments=254, nogoods=149, foundSolutions=1, bestBound=416
8.79/5.95 nFilterCalls=8410, avgTableProportion=0.29791914387633767, avgTableSize=0.5958382877526753
8.79/5.95
9.08/6.15 o 411
9.08/6.15 num=14, depth=18..104, filters=10650, revisions=(11825,useless=6576), ccks=36237629, wck=3.382, mem=58M311
9.08/6.15 decisions=840, wrong=277, backtracks=28, failedAssignments=255, nogoods=150, foundSolutions=2, bestBound=411
9.08/6.15 nFilterCalls=9017, avgTableProportion=0.2958300987024509, avgTableSize=0.5916601974049018
9.08/6.15
9.27/6.33 num=15, depth=17..20, filters=11659, revisions=(12943,useless=7272), ccks=38015180, wck=3.561, mem=58M311
9.27/6.33 decisions=886, wrong=290, backtracks=30, failedAssignments=266, nogoods=161, foundSolutions=2, bestBound=411
9.27/6.33 nFilterCalls=10080, avgTableProportion=0.29112103174603177, avgTableSize=0.5822420634920635
9.27/6.33
9.54/6.54 num=16, depth=8..19, filters=12670, revisions=(14041,useless=7885), ccks=40263842, wck=3.776, mem=60M953
9.54/6.54 decisions=937, wrong=306, backtracks=35, failedAssignments=277, nogoods=169, foundSolutions=2, bestBound=411
9.54/6.54 nFilterCalls=10997, avgTableProportion=0.28826043466399925, avgTableSize=0.5765208693279985
9.54/6.54
9.64/6.68 num=17, depth=9..23, filters=13706, revisions=(15216,useless=8655), ccks=41870333, wck=3.918, mem=60M953
9.64/6.68 decisions=984, wrong=318, backtracks=35, failedAssignments=289, nogoods=181, foundSolutions=2, bestBound=411
9.64/6.68 nFilterCalls=12216, avgTableProportion=0.27594957432874917, avgTableSize=0.5518991486574983
9.64/6.68
9.84/6.88 o 409
9.84/6.88 num=18, depth=8..104, filters=14426, revisions=(16048,useless=9074), ccks=44109454, wck=4.115, mem=63M595
9.84/6.88 decisions=1034, wrong=326, backtracks=39, failedAssignments=293, nogoods=182, foundSolutions=3, bestBound=409
9.84/6.88 nFilterCalls=12857, avgTableProportion=0.2741697129968111, avgTableSize=0.5483394259936222
9.84/6.88
10.06/7.03 num=19, depth=11..19, filters=15341, revisions=(16992,useless=9661), ccks=45752301, wck=4.261, mem=63M595
10.06/7.03 decisions=1080, wrong=340, backtracks=39, failedAssignments=307, nogoods=196, foundSolutions=3, bestBound=409
10.06/7.03 nFilterCalls=13933, avgTableProportion=0.2723031651474916, avgTableSize=0.5446063302949832
10.06/7.03
10.06/7.05 num=20, depth=0..0, filters=15436, revisions=(17168,useless=9753), ccks=45985549, wck=4.284, mem=63M595
10.06/7.05 decisions=1102, wrong=351, backtracks=39, failedAssignments=318, nogoods=196, foundSolutions=3, bestBound=409
10.06/7.05 nFilterCalls=13937, avgTableProportion=0.2723685154624381, avgTableSize=0.5447370309248762
10.06/7.05
10.18/7.19 num=21, depth=0..19, filters=16137, revisions=(17943,useless=10178), ccks=47578190, wck=4.425, mem=66M238
10.18/7.19 decisions=1146, wrong=364, backtracks=40, failedAssignments=330, nogoods=200, foundSolutions=3, bestBound=409
10.18/7.19 nFilterCalls=14574, avgTableProportion=0.2750102923013586, avgTableSize=0.5500205846027172
10.18/7.19
10.37/7.32 num=22, depth=18..21, filters=16815, revisions=(18542,useless=10524), ccks=48991761, wck=4.55, mem=66M238
10.37/7.32 decisions=1192, wrong=377, backtracks=40, failedAssignments=343, nogoods=213, foundSolutions=3, bestBound=409
10.37/7.32 nFilterCalls=15292, avgTableProportion=0.2757978027726916, avgTableSize=0.5515956055453832
10.37/7.32
10.37/7.38 num=23, depth=0..0, filters=16978, revisions=(18787,useless=10625), ccks=49741799, wck=4.616, mem=66M238
10.37/7.38 decisions=1220, wrong=391, backtracks=40, failedAssignments=357, nogoods=213, foundSolutions=3, bestBound=409
10.37/7.38 nFilterCalls=15308, avgTableProportion=0.2760321400574863, avgTableSize=0.5520642801149725
10.37/7.38
10.48/7.50 num=24, depth=0..1, filters=17168, revisions=(19086,useless=10743), ccks=51053522, wck=4.729, mem=66M238
10.48/7.50 decisions=1254, wrong=408, backtracks=41, failedAssignments=373, nogoods=213, foundSolutions=3, bestBound=409
10.48/7.50 nFilterCalls=15312, avgTableProportion=0.2760906478578892, avgTableSize=0.5521812957157785
10.48/7.50
10.80/7.75 num=25, depth=12..17, filters=18963, revisions=(20721,useless=11640), ccks=53918671, wck=4.981, mem=68M880
10.80/7.75 decisions=1334, wrong=442, backtracks=58, failedAssignments=390, nogoods=219, foundSolutions=3, bestBound=409
10.80/7.75 nFilterCalls=16705, avgTableProportion=0.28377731218198143, avgTableSize=0.5675546243639629
10.80/7.75
11.13/8.02 num=26, depth=8..16, filters=20365, revisions=(21890,useless=12238), ccks=57009277, wck=5.25, mem=71M523
11.13/8.02 decisions=1408, wrong=474, backtracks=76, failedAssignments=409, nogoods=222, foundSolutions=3, bestBound=409
11.13/8.02 nFilterCalls=17759, avgTableProportion=0.2918520186947463, avgTableSize=0.5837040373894926
11.13/8.02
11.24/8.17 o 399
11.24/8.17 num=27, depth=13..104, filters=21044, revisions=(22565,useless=12622), ccks=58733729, wck=5.401, mem=71M523
11.24/8.17 decisions=1448, wrong=477, backtracks=77, failedAssignments=411, nogoods=224, foundSolutions=4, bestBound=399
11.24/8.17 nFilterCalls=18484, avgTableProportion=0.2905215321359013, avgTableSize=0.5810430642718026
11.24/8.17
11.43/8.33 o 390
11.43/8.33 num=28, depth=20..104, filters=22116, revisions=(23720,useless=13350), ccks=60587996, wck=5.564, mem=71M523
11.43/8.33 decisions=1511, wrong=491, backtracks=77, failedAssignments=425, nogoods=238, foundSolutions=5, bestBound=390
11.43/8.33 nFilterCalls=19784, avgTableProportion=0.2860644965628791, avgTableSize=0.5721289931257582
11.43/8.33
11.64/8.55 o 388
11.64/8.55 num=29, depth=12..104, filters=22916, revisions=(24797,useless=13973), ccks=63068616, wck=5.781, mem=74M165
11.64/8.55 decisions=1567, wrong=504, backtracks=83, failedAssignments=432, nogoods=241, foundSolutions=6, bestBound=388
11.64/8.55 nFilterCalls=20428, avgTableProportion=0.2861024084589779, avgTableSize=0.5722048169179558
11.64/8.55
11.74/8.66 o 387
11.74/8.66 num=30, depth=15..104, filters=23473, revisions=(25525,useless=14428), ccks=64384735, wck=5.897, mem=74M165
11.74/8.66 decisions=1601, wrong=505, backtracks=83, failedAssignments=433, nogoods=242, foundSolutions=7, bestBound=387
11.74/8.66 nFilterCalls=21016, avgTableProportion=0.2866387514274838, avgTableSize=0.5732775028549676
11.74/8.66
11.85/8.79 o 381
11.85/8.79 num=31, depth=15..104, filters=24042, revisions=(26303,useless=14901), ccks=65792942, wck=6.021, mem=76M808
11.85/8.79 decisions=1642, wrong=511, backtracks=85, failedAssignments=437, nogoods=245, foundSolutions=8, bestBound=381
11.85/8.79 nFilterCalls=21568, avgTableProportion=0.28669788575667654, avgTableSize=0.5733957715133531
11.85/8.79
12.06/8.90 num=32, depth=15..17, filters=24725, revisions=(27160,useless=15408), ccks=67126735, wck=6.139, mem=76M808
12.06/8.90 decisions=1681, wrong=523, backtracks=86, failedAssignments=448, nogoods=254, foundSolutions=8, bestBound=381
12.06/8.90 nFilterCalls=22167, avgTableProportion=0.2874543239951279, avgTableSize=0.5749086479902558
12.06/8.90
12.17/9.10 num=33, depth=5..16, filters=26158, revisions=(28472,useless=16155), ccks=69394630, wck=6.337, mem=79M450
12.17/9.10 decisions=1728, wrong=540, backtracks=93, failedAssignments=459, nogoods=263, foundSolutions=8, bestBound=381
12.17/9.10 nFilterCalls=23367, avgTableProportion=0.2893824624470407, avgTableSize=0.5787649248940814
12.17/9.10
12.37/9.26 num=34, depth=5..20, filters=27199, revisions=(29516,useless=16707), ccks=71126052, wck=6.49, mem=79M450
12.37/9.26 decisions=1783, wrong=558, backtracks=99, failedAssignments=471, nogoods=269, foundSolutions=8, bestBound=381
12.37/9.26 nFilterCalls=24175, avgTableProportion=0.29271975180972076, avgTableSize=0.5854395036194415
12.37/9.26
12.47/9.37 o 370
12.47/9.37 num=35, depth=9..104, filters=27888, revisions=(30333,useless=17203), ccks=72444157, wck=6.607, mem=82M92
12.47/9.37 decisions=1829, wrong=566, backtracks=101, failedAssignments=477, nogoods=275, foundSolutions=9, bestBound=370
12.47/9.37 nFilterCalls=24778, avgTableProportion=0.2921543304544354, avgTableSize=0.5843086609088708
12.47/9.37
12.67/9.53 num=36, depth=19..22, filters=28764, revisions=(31442,useless=17871), ccks=74262933, wck=6.766, mem=82M92
12.67/9.53 decisions=1886, wrong=584, backtracks=106, failedAssignments=491, nogoods=285, foundSolutions=9, bestBound=370
12.67/9.53 nFilterCalls=25516, avgTableProportion=0.2923851700893557, avgTableSize=0.5847703401787114
12.67/9.53
12.77/9.65 num=37, depth=11..24, filters=29451, revisions=(32191,useless=18280), ccks=75548314, wck=6.879, mem=84M735
12.77/9.65 decisions=1935, wrong=599, backtracks=110, failedAssignments=502, nogoods=290, foundSolutions=9, bestBound=370
12.77/9.65 nFilterCalls=26087, avgTableProportion=0.29332617778970366, avgTableSize=0.5866523555794073
12.77/9.65
12.88/9.78 num=38, depth=7..10, filters=30928, revisions=(33458,useless=18963), ccks=76994421, wck=7.01, mem=84M735
12.88/9.78 decisions=1989, wrong=622, backtracks=122, failedAssignments=514, nogoods=294, foundSolutions=9, bestBound=370
12.88/9.78 nFilterCalls=27187, avgTableProportion=0.2959870526354508, avgTableSize=0.5919741052709016
12.88/9.78
13.09/9.99 num=39, depth=8..21, filters=31695, revisions=(34334,useless=19402), ccks=79489806, wck=7.225, mem=87M377
13.09/9.99 decisions=2047, wrong=643, backtracks=130, failedAssignments=527, nogoods=299, foundSolutions=9, bestBound=370
13.09/9.99 nFilterCalls=27612, avgTableProportion=0.298004490801101, avgTableSize=0.596008981602202
13.09/9.99
13.30/10.11 o 368
13.30/10.11 num=40, depth=8..104, filters=32381, revisions=(35089,useless=19846), ccks=80895548, wck=7.349, mem=87M377
13.30/10.11 decisions=2097, wrong=652, backtracks=133, failedAssignments=533, nogoods=303, foundSolutions=10, bestBound=368
13.30/10.11 nFilterCalls=28281, avgTableProportion=0.29783246702733285, avgTableSize=0.5956649340546657
13.30/10.11
13.39/10.28 o 365
13.39/10.28 num=41, depth=15..104, filters=33081, revisions=(36015,useless=20389), ccks=82781916, wck=7.513, mem=90M20
13.39/10.28 decisions=2141, wrong=659, backtracks=136, failedAssignments=537, nogoods=304, foundSolutions=11, bestBound=365
13.39/10.28 nFilterCalls=28845, avgTableProportion=0.2980239209568383, avgTableSize=0.5960478419136765
13.39/10.28
13.59/10.49 num=42, depth=13..17, filters=33940, revisions=(37153,useless=21042), ccks=85203393, wck=7.722, mem=90M20
13.59/10.49 decisions=2184, wrong=674, backtracks=141, failedAssignments=548, nogoods=305, foundSolutions=11, bestBound=365
13.59/10.49 nFilterCalls=29439, avgTableProportion=0.29746254967899727, avgTableSize=0.5949250993579945
13.59/10.49
13.79/10.65 num=43, depth=12..17, filters=35090, revisions=(38325,useless=21690), ccks=87018585, wck=7.881, mem=92M662
13.79/10.65 decisions=2237, wrong=694, backtracks=150, failedAssignments=559, nogoods=309, foundSolutions=11, bestBound=365
13.79/10.65 nFilterCalls=30312, avgTableProportion=0.2969451042491423, avgTableSize=0.5938902084982846
13.79/10.65
13.99/10.84 num=44, depth=9..15, filters=36067, revisions=(39412,useless=22269), ccks=89305993, wck=8.079, mem=92M662
13.99/10.84 decisions=2284, wrong=712, backtracks=156, failedAssignments=571, nogoods=316, foundSolutions=11, bestBound=365
13.99/10.84 nFilterCalls=30963, avgTableProportion=0.29783935665148725, avgTableSize=0.5956787133029745
13.99/10.84
14.20/11.01 o 362
14.20/11.01 num=45, depth=9..104, filters=37272, revisions=(40654,useless=22965), ccks=91167637, wck=8.243, mem=95M305
14.20/11.01 decisions=2349, wrong=731, backtracks=163, failedAssignments=583, nogoods=324, foundSolutions=12, bestBound=362
14.20/11.01 nFilterCalls=31964, avgTableProportion=0.29627080465523714, avgTableSize=0.5925416093104743
14.20/11.01
14.32/11.17 num=46, depth=6..20, filters=38249, revisions=(41843,useless=23685), ccks=92997690, wck=8.402, mem=95M305
14.32/11.17 decisions=2407, wrong=752, backtracks=170, failedAssignments=597, nogoods=332, foundSolutions=12, bestBound=362
14.32/11.17 nFilterCalls=32832, avgTableProportion=0.2948190789473684, avgTableSize=0.5896381578947368
14.32/11.17
14.32/11.19 num=47, depth=0..1, filters=38372, revisions=(42038,useless=23776), ccks=93197472, wck=8.421, mem=95M305
14.32/11.19 decisions=2432, wrong=764, backtracks=171, failedAssignments=608, nogoods=341, foundSolutions=12, bestBound=362
14.32/11.19 nFilterCalls=32843, avgTableProportion=0.2948877995311025, avgTableSize=0.589775599062205
14.32/11.19
14.57/11.33 o 361
14.57/11.33 num=48, depth=5..104, filters=39300, revisions=(43054,useless=24343), ccks=94867852, wck=8.568, mem=97M947
14.57/11.33 decisions=2489, wrong=780, backtracks=178, failedAssignments=617, nogoods=346, foundSolutions=13, bestBound=361
14.57/11.33 nFilterCalls=33559, avgTableProportion=0.29495813343663396, avgTableSize=0.5899162668732679
14.57/11.33
14.67/11.42 o 358
14.67/11.42 num=49, depth=16..104, filters=39841, revisions=(43759,useless=24799), ccks=95850445, wck=8.655, mem=97M947
14.67/11.42 decisions=2524, wrong=783, backtracks=178, failedAssignments=620, nogoods=349, foundSolutions=14, bestBound=358
14.67/11.42 nFilterCalls=34147, avgTableProportion=0.29453539110317156, avgTableSize=0.5890707822063431
14.67/11.42
14.77/11.55 num=50, depth=13..17, filters=40554, revisions=(44724,useless=25349), ccks=97347571, wck=8.787, mem=100M589
14.77/11.55 decisions=2566, wrong=797, backtracks=184, failedAssignments=631, nogoods=353, foundSolutions=14, bestBound=358
14.77/11.55 nFilterCalls=34637, avgTableProportion=0.29583970898172474, avgTableSize=0.5916794179634495
14.77/11.55
15.07/11.81 num=51, depth=12..15, filters=41534, revisions=(45840,useless=25910), ccks=100344709, wck=9.046, mem=100M589
15.07/11.81 decisions=2614, wrong=815, backtracks=192, failedAssignments=642, nogoods=356, foundSolutions=14, bestBound=358
15.07/11.81 nFilterCalls=35200, avgTableProportion=0.2963778409090909, avgTableSize=0.5927556818181818
15.07/11.81
15.17/11.97 num=52, depth=9..18, filters=42495, revisions=(46850,useless=26433), ccks=102193623, wck=9.207, mem=103M232
15.17/11.97 decisions=2662, wrong=831, backtracks=197, failedAssignments=654, nogoods=364, foundSolutions=14, bestBound=358
15.17/11.97 nFilterCalls=35865, avgTableProportion=0.29716994284121007, avgTableSize=0.5943398856824201
15.17/11.97
15.38/12.14 num=53, depth=4..22, filters=43435, revisions=(47876,useless=26964), ccks=104001118, wck=9.371, mem=103M232
15.38/12.14 decisions=2722, wrong=852, backtracks=206, failedAssignments=667, nogoods=369, foundSolutions=14, bestBound=358
15.38/12.14 nFilterCalls=36457, avgTableProportion=0.29788517980086127, avgTableSize=0.5957703596017225
15.38/12.14
15.57/12.31 num=54, depth=11..18, filters=44583, revisions=(49202,useless=27681), ccks=105991841, wck=9.545, mem=103M232
15.57/12.31 decisions=2780, wrong=875, backtracks=217, failedAssignments=681, nogoods=374, foundSolutions=14, bestBound=358
15.57/12.31 nFilterCalls=37205, avgTableProportion=0.29724499395242576, avgTableSize=0.5944899879048515
15.57/12.31
15.77/12.51 num=55, depth=11..17, filters=45478, revisions=(50199,useless=28237), ccks=108310191, wck=9.746, mem=105M874
15.77/12.51 decisions=2842, wrong=898, backtracks=226, failedAssignments=697, nogoods=380, foundSolutions=14, bestBound=358
15.77/12.51 nFilterCalls=37855, avgTableProportion=0.2982036719059569, avgTableSize=0.5964073438119138
15.77/12.51
15.97/12.75 num=56, depth=13..18, filters=46864, revisions=(51738,useless=29082), ccks=111066522, wck=9.986, mem=108M517
15.97/12.75 decisions=2910, wrong=925, backtracks=240, failedAssignments=714, nogoods=384, foundSolutions=14, bestBound=358
15.97/12.75 nFilterCalls=38802, avgTableProportion=0.2977423844131746, avgTableSize=0.5954847688263492
15.97/12.75
16.07/12.88 o 355
16.07/12.88 num=57, depth=8..104, filters=47451, revisions=(52319,useless=29388), ccks=112489890, wck=10.11, mem=108M517
16.07/12.88 decisions=2946, wrong=929, backtracks=240, failedAssignments=718, nogoods=388, foundSolutions=15, bestBound=355
16.07/12.88 nFilterCalls=39396, avgTableProportion=0.29736521474261346, avgTableSize=0.5947304294852269
16.07/12.88
16.28/13.05 num=58, depth=8..13, filters=48888, revisions=(53907,useless=30233), ccks=114436338, wck=10.285, mem=111M159
16.28/13.05 decisions=3020, wrong=962, backtracks=253, failedAssignments=739, nogoods=389, foundSolutions=15, bestBound=355
16.28/13.05 nFilterCalls=40275, avgTableProportion=0.29954065797641216, avgTableSize=0.5990813159528243
16.28/13.05
16.38/13.18 num=59, depth=12..19, filters=49979, revisions=(54964,useless=30786), ccks=115913506, wck=10.416, mem=111M159
16.38/13.18 decisions=3074, wrong=983, backtracks=265, failedAssignments=750, nogoods=392, foundSolutions=15, bestBound=355
16.38/13.18 nFilterCalls=41221, avgTableProportion=0.2983915965163388, avgTableSize=0.5967831930326776
16.38/13.18
16.57/13.35 num=60, depth=10..16, filters=51140, revisions=(56289,useless=31527), ccks=117792722, wck=10.58, mem=113M802
16.57/13.35 decisions=3123, wrong=1002, backtracks=273, failedAssignments=762, nogoods=400, foundSolutions=15, bestBound=355
16.57/13.35 nFilterCalls=42111, avgTableProportion=0.2976419462848187, avgTableSize=0.5952838925696374
16.57/13.35
16.67/13.48 num=61, depth=9..15, filters=52177, revisions=(57390,useless=32114), ccks=119313987, wck=10.716, mem=113M802
16.67/13.48 decisions=3173, wrong=1021, backtracks=281, failedAssignments=775, nogoods=405, foundSolutions=15, bestBound=355
16.67/13.48 nFilterCalls=42869, avgTableProportion=0.29819916489771164, avgTableSize=0.5963983297954233
16.67/13.48
16.87/13.66 num=62, depth=13..17, filters=53161, revisions=(58463,useless=32685), ccks=121302742, wck=10.89, mem=113M802
16.87/13.66 decisions=3225, wrong=1040, backtracks=289, failedAssignments=789, nogoods=408, foundSolutions=15, bestBound=355
16.87/13.66 nFilterCalls=43573, avgTableProportion=0.29808597066991027, avgTableSize=0.5961719413398205
16.87/13.66
17.11/13.83 num=63, depth=12..16, filters=54268, revisions=(59682,useless=33283), ccks=123281882, wck=11.063, mem=116M445
17.11/13.83 decisions=3282, wrong=1062, backtracks=295, failedAssignments=805, nogoods=414, foundSolutions=15, bestBound=355
17.11/13.83 nFilterCalls=44416, avgTableProportion=0.29881123919308356, avgTableSize=0.5976224783861671
17.11/13.83
17.21/13.99 o 349
17.21/13.99 num=64, depth=12..104, filters=55200, revisions=(60712,useless=33873), ccks=125089854, wck=11.221, mem=116M445
17.21/13.99 decisions=3339, wrong=1075, backtracks=300, failedAssignments=815, nogoods=419, foundSolutions=16, bestBound=349
17.21/13.99 nFilterCalls=45264, avgTableProportion=0.29743283845881935, avgTableSize=0.5948656769176387
17.21/13.99
17.51/14.22 num=65, depth=10..20, filters=56656, revisions=(62379,useless=34783), ccks=127687891, wck=11.45, mem=119M87
17.51/14.22 decisions=3411, wrong=1105, backtracks=314, failedAssignments=834, nogoods=426, foundSolutions=16, bestBound=349
17.51/14.22 nFilterCalls=46270, avgTableProportion=0.29641236222174194, avgTableSize=0.5928247244434839
17.51/14.22
17.61/14.34 o 346
17.61/14.34 num=66, depth=11..104, filters=57610, revisions=(63398,useless=35372), ccks=129066699, wck=11.572, mem=119M87
17.61/14.34 decisions=3462, wrong=1115, backtracks=319, failedAssignments=840, nogoods=431, foundSolutions=17, bestBound=346
17.61/14.34 nFilterCalls=47143, avgTableProportion=0.29547334705046346, avgTableSize=0.5909466941009269
17.61/14.34
17.72/14.48 num=67, depth=11..16, filters=58402, revisions=(64460,useless=35962), ccks=130619592, wck=11.71, mem=121M730
17.72/14.48 decisions=3507, wrong=1132, backtracks=324, failedAssignments=852, nogoods=433, foundSolutions=17, bestBound=346
17.72/14.48 nFilterCalls=47609, avgTableProportion=0.2959629481820664, avgTableSize=0.5919258963641328
17.72/14.48
17.91/14.62 num=68, depth=10..17, filters=59174, revisions=(65348,useless=36417), ccks=132258670, wck=11.854, mem=121M730
17.91/14.62 decisions=3549, wrong=1147, backtracks=330, failedAssignments=863, nogoods=438, foundSolutions=17, bestBound=346
17.91/14.62 nFilterCalls=48173, avgTableProportion=0.2968882984244286, avgTableSize=0.5937765968488572
17.91/14.62
18.01/14.77 num=69, depth=9..15, filters=60038, revisions=(66310,useless=36918), ccks=133974665, wck=12.004, mem=124M372
18.01/14.77 decisions=3596, wrong=1165, backtracks=337, failedAssignments=875, nogoods=442, foundSolutions=17, bestBound=346
18.01/14.77 nFilterCalls=48780, avgTableProportion=0.2972529725297253, avgTableSize=0.5945059450594506
18.01/14.77
18.32/15.07 num=70, depth=9..15, filters=61820, revisions=(68059,useless=37834), ccks=137377039, wck=12.301, mem=124M372
18.32/15.07 decisions=3654, wrong=1187, backtracks=349, failedAssignments=888, nogoods=445, foundSolutions=17, bestBound=346
18.32/15.07 nFilterCalls=50097, avgTableProportion=0.2978621474339781, avgTableSize=0.5957242948679562
18.32/15.07
18.52/15.25 num=71, depth=10..15, filters=62859, revisions=(69175,useless=38400), ccks=139505952, wck=12.488, mem=127M15
18.52/15.25 decisions=3717, wrong=1213, backtracks=362, failedAssignments=902, nogoods=448, foundSolutions=17, bestBound=346
18.52/15.25 nFilterCalls=50815, avgTableProportion=0.29957689658565384, avgTableSize=0.5991537931713077
18.52/15.25
18.62/15.39 num=72, depth=8..13, filters=63871, revisions=(70377,useless=39137), ccks=141017189, wck=12.621, mem=127M15
18.62/15.39 decisions=3766, wrong=1232, backtracks=365, failedAssignments=918, nogoods=459, foundSolutions=17, bestBound=346
18.62/15.39 nFilterCalls=51524, avgTableProportion=0.29937504852107755, avgTableSize=0.5987500970421551
18.62/15.39
18.82/15.52 num=73, depth=8..13, filters=64752, revisions=(71296,useless=39569), ccks=142536083, wck=12.757, mem=129M657
18.82/15.52 decisions=3828, wrong=1259, backtracks=376, failedAssignments=935, nogoods=464, foundSolutions=17, bestBound=346
18.82/15.52 nFilterCalls=51968, avgTableProportion=0.3000307881773399, avgTableSize=0.6000615763546798
18.82/15.52
19.02/15.70 num=74, depth=14..19, filters=66006, revisions=(72860,useless=40412), ccks=144607698, wck=12.939, mem=129M657
19.02/15.70 decisions=3905, wrong=1290, backtracks=388, failedAssignments=954, nogoods=469, foundSolutions=17, bestBound=346
19.02/15.70 nFilterCalls=52635, avgTableProportion=0.29949653272537285, avgTableSize=0.5989930654507457
19.02/15.70
19.12/15.88 num=75, depth=11..18, filters=67711, revisions=(74802,useless=41491), ccks=146575612, wck=13.114, mem=132M300
19.12/15.88 decisions=3986, wrong=1325, backtracks=404, failedAssignments=975, nogoods=473, foundSolutions=17, bestBound=346
19.12/15.88 nFilterCalls=53742, avgTableProportion=0.29972833165866547, avgTableSize=0.5994566633173309
19.12/15.88
19.43/16.18 num=76, depth=8..17, filters=69150, revisions=(76426,useless=42344), ccks=150039639, wck=13.414, mem=132M300
19.43/16.18 decisions=4068, wrong=1362, backtracks=421, failedAssignments=998, nogoods=474, foundSolutions=17, bestBound=346
19.43/16.18 nFilterCalls=54663, avgTableProportion=0.29926092603772203, avgTableSize=0.5985218520754441
19.43/16.18
19.78/16.42 num=77, depth=9..16, filters=71411, revisions=(78769,useless=43578), ccks=152723955, wck=13.653, mem=134M942
19.78/16.42 decisions=4160, wrong=1401, backtracks=442, failedAssignments=1023, nogoods=479, foundSolutions=17, bestBound=346
19.78/16.42 nFilterCalls=56133, avgTableProportion=0.2988170951133914, avgTableSize=0.5976341902267828
19.78/16.42
20.09/16.72 num=78, depth=6..14, filters=73983, revisions=(81458,useless=44952), ccks=156079150, wck=13.951, mem=137M584
20.09/16.72 decisions=4256, wrong=1445, backtracks=467, failedAssignments=1051, nogoods=485, foundSolutions=17, bestBound=346
20.09/16.72 nFilterCalls=57622, avgTableProportion=0.30031932248099685, avgTableSize=0.6006386449619937
20.09/16.72
20.29/16.96 num=79, depth=9..16, filters=76465, revisions=(84334,useless=46621), ccks=158868006, wck=14.198, mem=140M227
20.29/16.96 decisions=4373, wrong=1496, backtracks=491, failedAssignments=1082, nogoods=491, foundSolutions=17, bestBound=346
20.29/16.96 nFilterCalls=59286, avgTableProportion=0.30012144519785444, avgTableSize=0.6002428903957089
20.29/16.96
20.79/17.44 num=80, depth=9..15, filters=78839, revisions=(87199,useless=48138), ccks=164351277, wck=14.672, mem=142M778
20.79/17.44 decisions=4507, wrong=1558, backtracks=521, failedAssignments=1116, nogoods=495, foundSolutions=17, bestBound=346
20.79/17.44 nFilterCalls=60478, avgTableProportion=0.3004811667052482, avgTableSize=0.6009623334104964
20.79/17.44
21.02/17.60 o 345
21.02/17.61 num=81, depth=8..104, filters=79758, revisions=(88263,useless=48745), ccks=166101237, wck=14.839, mem=24M842
21.02/17.61 decisions=4565, wrong=1574, backtracks=527, failedAssignments=1127, nogoods=505, foundSolutions=18, bestBound=345
21.02/17.61 nFilterCalls=61166, avgTableProportion=0.3006572278716934, avgTableSize=0.6013144557433868
21.02/17.61
21.72/18.31 num=82, depth=4..11, filters=84309, revisions=(92879,useless=51113), ccks=174207809, wck=15.548, mem=30M74
21.72/18.31 decisions=4724, wrong=1650, backtracks=570, failedAssignments=1168, nogoods=511, foundSolutions=18, bestBound=345
21.72/18.31 nFilterCalls=63843, avgTableProportion=0.3053976160268158, avgTableSize=0.6107952320536316
21.72/18.31
21.82/18.48 num=83, depth=7..12, filters=85411, revisions=(94060,useless=51744), ccks=176084329, wck=15.712, mem=30M74
21.82/18.48 decisions=4768, wrong=1666, backtracks=577, failedAssignments=1179, nogoods=513, foundSolutions=18, bestBound=345
21.82/18.48 nFilterCalls=64640, avgTableProportion=0.30605662128712874, avgTableSize=0.6121132425742575
21.82/18.48
22.12/18.75 num=84, depth=7..11, filters=86984, revisions=(95517,useless=52510), ccks=179215727, wck=15.983, mem=32M689
22.12/18.75 decisions=4814, wrong=1685, backtracks=587, failedAssignments=1191, nogoods=516, foundSolutions=18, bestBound=345
22.12/18.75 nFilterCalls=65787, avgTableProportion=0.30646632313374983, avgTableSize=0.6129326462674997
22.12/18.75
22.32/18.92 num=85, depth=7..16, filters=87745, revisions=(96391,useless=52954), ccks=181245801, wck=16.158, mem=32M689
22.32/18.92 decisions=4857, wrong=1701, backtracks=591, failedAssignments=1204, nogoods=521, foundSolutions=18, bestBound=345
22.32/18.92 nFilterCalls=66228, avgTableProportion=0.3069472126592982, avgTableSize=0.6138944253185964
22.32/18.92
22.43/19.09 num=86, depth=8..16, filters=89064, revisions=(97779,useless=53709), ccks=183123291, wck=16.323, mem=35M305
22.43/19.09 decisions=4916, wrong=1725, backtracks=603, failedAssignments=1218, nogoods=525, foundSolutions=18, bestBound=345
22.43/19.09 nFilterCalls=67272, avgTableProportion=0.30667290997740515, avgTableSize=0.6133458199548103
22.43/19.09
22.72/19.40 num=87, depth=10..15, filters=91026, revisions=(99920,useless=54889), ccks=186657341, wck=16.629, mem=37M921
22.72/19.40 decisions=4987, wrong=1754, backtracks=620, failedAssignments=1234, nogoods=529, foundSolutions=18, bestBound=345
22.72/19.40 nFilterCalls=68468, avgTableProportion=0.30684407314365836, avgTableSize=0.6136881462873167
22.72/19.40
22.92/19.57 num=88, depth=10..19, filters=92305, revisions=(101452,useless=55747), ccks=188633426, wck=16.802, mem=37M921
22.92/19.57 decisions=5054, wrong=1782, backtracks=634, failedAssignments=1251, nogoods=534, foundSolutions=18, bestBound=345
22.92/19.57 nFilterCalls=69291, avgTableProportion=0.30654053195941755, avgTableSize=0.6130810639188351
22.92/19.57
23.12/19.75 num=89, depth=13..18, filters=93598, revisions=(102868,useless=56496), ccks=190685451, wck=16.981, mem=40M537
23.12/19.75 decisions=5123, wrong=1810, backtracks=646, failedAssignments=1270, nogoods=538, foundSolutions=18, bestBound=345
23.12/19.75 nFilterCalls=70162, avgTableProportion=0.30653345115589636, avgTableSize=0.6130669023117927
23.12/19.75
23.33/20.00 num=90, depth=8..14, filters=96305, revisions=(105472,useless=57879), ccks=193485699, wck=17.23, mem=43M153
23.33/20.00 decisions=5207, wrong=1847, backtracks=667, failedAssignments=1291, nogoods=541, foundSolutions=18, bestBound=345
23.33/20.00 nFilterCalls=72168, avgTableProportion=0.3060289879170824, avgTableSize=0.6120579758341648
23.33/20.00
23.73/20.31 num=91, depth=8..15, filters=98099, revisions=(107391,useless=58893), ccks=197074365, wck=17.542, mem=43M153
23.73/20.31 decisions=5296, wrong=1886, backtracks=686, failedAssignments=1314, nogoods=545, foundSolutions=18, bestBound=345
23.73/20.31 nFilterCalls=73400, avgTableProportion=0.30599455040871937, avgTableSize=0.6119891008174387
23.73/20.31
23.83/20.49 num=92, depth=9..14, filters=100561, revisions=(109892,useless=60329), ccks=199141587, wck=17.727, mem=45M769
23.83/20.49 decisions=5392, wrong=1929, backtracks=707, failedAssignments=1339, nogoods=553, foundSolutions=18, bestBound=345
23.83/20.49 nFilterCalls=75284, avgTableProportion=0.30594150151426597, avgTableSize=0.6118830030285319
23.83/20.49
24.23/20.85 num=93, depth=7..13, filters=102959, revisions=(112325,useless=61566), ccks=203252031, wck=18.085, mem=48M385
24.23/20.85 decisions=5503, wrong=1980, backtracks=738, failedAssignments=1367, nogoods=556, foundSolutions=18, bestBound=345
24.23/20.85 nFilterCalls=76902, avgTableProportion=0.3054406907492653, avgTableSize=0.6108813814985306
24.23/20.85
24.33/20.99 o 341
24.33/20.99 num=94, depth=6..104, filters=104139, revisions=(113566,useless=62259), ccks=204862402, wck=18.227, mem=51M1
24.33/20.99 decisions=5560, wrong=1995, backtracks=743, failedAssignments=1378, nogoods=563, foundSolutions=19, bestBound=341
24.33/20.99 nFilterCalls=77824, avgTableProportion=0.30496376439144735, avgTableSize=0.6099275287828947
24.33/20.99
24.64/21.20 num=95, depth=10..21, filters=105573, revisions=(115338,useless=63251), ccks=207245774, wck=18.436, mem=51M1
24.64/21.20 decisions=5662, wrong=2039, backtracks=761, failedAssignments=1412, nogoods=570, foundSolutions=19, bestBound=341
24.64/21.20 nFilterCalls=78739, avgTableProportion=0.3054204396804633, avgTableSize=0.6108408793609266
24.64/21.20
24.74/21.34 num=96, depth=7..11, filters=106499, revisions=(116267,useless=63712), ccks=208847858, wck=18.576, mem=54M938
24.74/21.34 decisions=5703, wrong=2055, backtracks=767, failedAssignments=1423, nogoods=573, foundSolutions=19, bestBound=341
24.74/21.34 nFilterCalls=79357, avgTableProportion=0.30590874150988573, avgTableSize=0.6118174830197715
24.74/21.34
24.94/21.50 num=97, depth=7..16, filters=107769, revisions=(117580,useless=64415), ccks=210700876, wck=18.738, mem=54M938
24.94/21.50 decisions=5750, wrong=2074, backtracks=778, failedAssignments=1435, nogoods=577, foundSolutions=19, bestBound=341
24.94/21.50 nFilterCalls=80289, avgTableProportion=0.3057454944014747, avgTableSize=0.6114909888029494
24.94/21.50
25.16/21.73 num=98, depth=8..13, filters=109674, revisions=(119425,useless=65410), ccks=213337457, wck=18.969, mem=57M553
25.16/21.73 decisions=5808, wrong=2098, backtracks=793, failedAssignments=1448, nogoods=582, foundSolutions=19, bestBound=341
25.16/21.73 nFilterCalls=81686, avgTableProportion=0.3056092843326886, avgTableSize=0.6112185686653772
25.16/21.73
25.37/21.91 num=99, depth=7..15, filters=110645, revisions=(120518,useless=65976), ccks=215320090, wck=19.141, mem=57M553
25.37/21.91 decisions=5862, wrong=2120, backtracks=804, failedAssignments=1462, nogoods=589, foundSolutions=19, bestBound=341
25.37/21.91 nFilterCalls=82285, avgTableProportion=0.30609467096068543, avgTableSize=0.6121893419213709
25.37/21.91
25.47/22.03 num=100, depth=7..13, filters=111845, revisions=(121732,useless=66589), ccks=216739303, wck=19.268, mem=60M169
25.47/22.03 decisions=5922, wrong=2146, backtracks=819, failedAssignments=1478, nogoods=594, foundSolutions=19, bestBound=341
25.47/22.03 nFilterCalls=83021, avgTableProportion=0.30711506727213594, avgTableSize=0.6142301345442719
25.47/22.03
25.60/22.18 num=101, depth=6..13, filters=112988, revisions=(122773,useless=67165), ccks=218389618, wck=19.413, mem=60M169
25.60/22.18 decisions=5969, wrong=2164, backtracks=820, failedAssignments=1495, nogoods=611, foundSolutions=19, bestBound=341
25.60/22.18 nFilterCalls=84160, avgTableProportion=0.30673716730038025, avgTableSize=0.6134743346007605
25.60/22.18
25.80/22.37 num=102, depth=7..14, filters=115223, revisions=(124951,useless=68286), ccks=220516660, wck=19.603, mem=62M785
25.80/22.37 decisions=6051, wrong=2200, backtracks=840, failedAssignments=1514, nogoods=617, foundSolutions=19, bestBound=341
25.80/22.37 nFilterCalls=85748, avgTableProportion=0.3066310584503429, avgTableSize=0.6132621169006858
25.80/22.37
26.00/22.57 num=103, depth=9..15, filters=116919, revisions=(126559,useless=69153), ccks=222817003, wck=19.805, mem=62M785
26.00/22.57 decisions=6118, wrong=2228, backtracks=850, failedAssignments=1535, nogoods=621, foundSolutions=19, bestBound=341
26.00/22.57 nFilterCalls=87128, avgTableProportion=0.30629074465154715, avgTableSize=0.6125814893030943
26.00/22.57
26.32/22.81 num=104, depth=7..13, filters=118623, revisions=(128469,useless=70149), ccks=225549357, wck=20.045, mem=65M401
26.32/22.81 decisions=6197, wrong=2263, backtracks=863, failedAssignments=1558, nogoods=629, foundSolutions=19, bestBound=341
26.32/22.81 nFilterCalls=88209, avgTableProportion=0.30636896461812285, avgTableSize=0.6127379292362457
26.32/22.81
26.42/23.00 num=105, depth=6..13, filters=120282, revisions=(129939,useless=70919), ccks=227709090, wck=20.236, mem=68M17
26.42/23.00 decisions=6280, wrong=2301, backtracks=880, failedAssignments=1583, nogoods=632, foundSolutions=19, bestBound=341
26.42/23.00 nFilterCalls=89384, avgTableProportion=0.307594200304305, avgTableSize=0.61518840060861
26.42/23.00
26.82/23.31 num=106, depth=7..17, filters=121872, revisions=(131768,useless=71882), ccks=231302069, wck=20.549, mem=70M633
26.82/23.31 decisions=6380, wrong=2346, backtracks=905, failedAssignments=1611, nogoods=637, foundSolutions=19, bestBound=341
26.82/23.31 nFilterCalls=90312, avgTableProportion=0.30810966427495795, avgTableSize=0.6162193285499159
26.82/23.31
27.12/23.66 num=107, depth=7..21, filters=123729, revisions=(133844,useless=73022), ccks=235293941, wck=20.895, mem=70M633
27.12/23.66 decisions=6488, wrong=2396, backtracks=925, failedAssignments=1642, nogoods=641, foundSolutions=19, bestBound=341
27.12/23.66 nFilterCalls=91463, avgTableProportion=0.3080753966084646, avgTableSize=0.6161507932169292
27.12/23.66
27.42/23.98 num=108, depth=8..16, filters=126844, revisions=(137214,useless=74835), ccks=238862755, wck=21.212, mem=75M865
27.42/23.98 decisions=6616, wrong=2453, backtracks=958, failedAssignments=1676, nogoods=643, foundSolutions=19, bestBound=341
27.42/23.98 nFilterCalls=93462, avgTableProportion=0.30806103015129144, avgTableSize=0.6161220603025829
27.42/23.98
27.63/24.15 num=109, depth=8..18, filters=129157, revisions=(139335,useless=76052), ccks=240792352, wck=21.386, mem=75M865
27.63/24.15 decisions=6723, wrong=2501, backtracks=974, failedAssignments=1713, nogoods=647, foundSolutions=19, bestBound=341
27.63/24.15 nFilterCalls=95635, avgTableProportion=0.30670779526324043, avgTableSize=0.6134155905264809
27.63/24.15
27.82/24.39 num=110, depth=10..15, filters=131524, revisions=(141980,useless=77377), ccks=243447710, wck=21.624, mem=81M96
27.82/24.39 decisions=6847, wrong=2557, backtracks=993, failedAssignments=1754, nogoods=672, foundSolutions=19, bestBound=341
27.82/24.39 nFilterCalls=96892, avgTableProportion=0.30709449696569374, avgTableSize=0.6141889939313875
27.82/24.39
28.12/24.68 num=111, depth=7..15, filters=134701, revisions=(144959,useless=78935), ccks=246678577, wck=21.913, mem=83M712
28.12/24.68 decisions=6989, wrong=2622, backtracks=1020, failedAssignments=1799, nogoods=676, foundSolutions=19, bestBound=341
28.12/24.68 nFilterCalls=99083, avgTableProportion=0.30638959256381015, avgTableSize=0.6127791851276203
28.12/24.68
28.53/25.04 num=112, depth=9..18, filters=138095, revisions=(148504,useless=80846), ccks=250704312, wck=22.27, mem=86M328
28.53/25.04 decisions=7139, wrong=2692, backtracks=1050, failedAssignments=1849, nogoods=685, foundSolutions=19, bestBound=341
28.53/25.04 nFilterCalls=101365, avgTableProportion=0.3052730232328713, avgTableSize=0.6105460464657426
28.53/25.04
29.12/25.65 num=113, depth=8..15, filters=142991, revisions=(153166,useless=83271), ccks=257653460, wck=22.881, mem=88M944
29.12/25.65 decisions=7331, wrong=2783, backtracks=1103, failedAssignments=1904, nogoods=691, foundSolutions=19, bestBound=341
29.12/25.65 nFilterCalls=104361, avgTableProportion=0.30578472801142187, avgTableSize=0.6115694560228437
29.12/25.65
29.74/26.20 num=114, depth=7..20, filters=147098, revisions=(157493,useless=85512), ccks=263947523, wck=23.433, mem=94M176
29.74/26.20 decisions=7539, wrong=2881, backtracks=1148, failedAssignments=1965, nogoods=701, foundSolutions=19, bestBound=341
29.74/26.20 nFilterCalls=106910, avgTableProportion=0.30473762978205965, avgTableSize=0.6094752595641193
29.74/26.20
30.44/26.97 num=115, depth=8..16, filters=153213, revisions=(163575,useless=88786), ccks=272722823, wck=24.206, mem=99M407
30.44/26.97 decisions=7773, wrong=2992, backtracks=1213, failedAssignments=2032, nogoods=705, foundSolutions=19, bestBound=341
30.44/26.97 nFilterCalls=111027, avgTableProportion=0.3054662379421222, avgTableSize=0.6109324758842444
30.44/26.97
31.14/27.60 num=116, depth=7..17, filters=158392, revisions=(168913,useless=91634), ccks=279845763, wck=24.835, mem=104M639
31.14/27.60 decisions=8021, wrong=3111, backtracks=1272, failedAssignments=2106, nogoods=713, foundSolutions=19, bestBound=341
31.14/27.60 nFilterCalls=114491, avgTableProportion=0.30511131879361697, avgTableSize=0.6102226375872339
31.14/27.60
31.74/28.28 num=117, depth=7..17, filters=164489, revisions=(175231,useless=94931), ccks=287558099, wck=25.516, mem=109M871
31.74/28.28 decisions=8319, wrong=3256, backtracks=1346, failedAssignments=2187, nogoods=725, foundSolutions=19, bestBound=341
31.74/28.28 nFilterCalls=118144, avgTableProportion=0.30436585861321774, avgTableSize=0.6087317172264355
31.74/28.28
32.25/28.78 num=118, depth=7..18, filters=171234, revisions=(182063,useless=98603), ccks=293051175, wck=26.015, mem=115M103
32.25/28.78 decisions=8632, wrong=3407, backtracks=1420, failedAssignments=2276, nogoods=730, foundSolutions=19, bestBound=341
32.25/28.78 nFilterCalls=122910, avgTableProportion=0.3050565454397527, avgTableSize=0.6101130908795054
32.25/28.78
32.75/29.21 o 338
32.75/29.21 num=119, depth=7..104, filters=174260, revisions=(185268,useless=100264), ccks=297972194, wck=26.448, mem=117M719
32.75/29.21 decisions=8780, wrong=3469, backtracks=1450, failedAssignments=2316, nogoods=742, foundSolutions=20, bestBound=338
32.75/29.21 nFilterCalls=124787, avgTableProportion=0.30497968538389414, avgTableSize=0.6099593707677883
32.75/29.21
33.36/29.84 num=120, depth=6..20, filters=182054, revisions=(193744,useless=105217), ccks=304916405, wck=27.069, mem=122M950
33.36/29.84 decisions=9157, wrong=3652, backtracks=1540, failedAssignments=2424, nogoods=755, foundSolutions=20, bestBound=338
33.36/29.84 nFilterCalls=130973, avgTableProportion=0.30208516259076296, avgTableSize=0.6041703251815259
33.36/29.84
33.46/30.00 num=121, depth=8..12, filters=183149, revisions=(195019,useless=105901), ccks=306808383, wck=27.235, mem=125M566
33.46/30.00 decisions=9204, wrong=3671, backtracks=1549, failedAssignments=2435, nogoods=760, foundSolutions=20, bestBound=338
33.46/30.00 nFilterCalls=131574, avgTableProportion=0.30238876981774515, avgTableSize=0.6047775396354903
33.46/30.00
33.68/30.18 num=122, depth=8..13, filters=184214, revisions=(196247,useless=106518), ccks=308796567, wck=27.41, mem=125M566
33.68/30.18 decisions=9261, wrong=3695, backtracks=1564, failedAssignments=2447, nogoods=762, foundSolutions=20, bestBound=338
33.68/30.18 nFilterCalls=132142, avgTableProportion=0.302738720467376, avgTableSize=0.605477440934752
33.68/30.18
33.87/30.38 num=123, depth=9..15, filters=185080, revisions=(197284,useless=107059), ccks=311190735, wck=27.618, mem=128M182
33.87/30.38 decisions=9317, wrong=3718, backtracks=1574, failedAssignments=2460, nogoods=765, foundSolutions=20, bestBound=338
33.87/30.38 nFilterCalls=132644, avgTableProportion=0.3028783812309641, avgTableSize=0.6057567624619282
33.87/30.38
34.17/30.65 num=124, depth=7..12, filters=186235, revisions=(198659,useless=107756), ccks=314302563, wck=27.888, mem=128M182
34.17/30.65 decisions=9368, wrong=3740, backtracks=1584, failedAssignments=2474, nogoods=768, foundSolutions=20, bestBound=338
34.17/30.65 nFilterCalls=133238, avgTableProportion=0.30311547756646, avgTableSize=0.60623095513292
34.17/30.65
34.27/30.78 num=125, depth=8..15, filters=187123, revisions=(199657,useless=108306), ccks=315743204, wck=28.015, mem=130M798
34.27/30.78 decisions=9422, wrong=3763, backtracks=1595, failedAssignments=2490, nogoods=769, foundSolutions=20, bestBound=338
34.27/30.78 nFilterCalls=133833, avgTableProportion=0.3032772186232095, avgTableSize=0.606554437246419
34.27/30.78
34.58/31.03 num=126, depth=7..14, filters=189205, revisions=(201589,useless=109321), ccks=318493396, wck=28.26, mem=130M798
34.58/31.03 decisions=9502, wrong=3798, backtracks=1616, failedAssignments=2507, nogoods=771, foundSolutions=20, bestBound=338
34.58/31.03 nFilterCalls=135501, avgTableProportion=0.303680415642689, avgTableSize=0.607360831285378
34.58/31.03
34.77/31.25 num=127, depth=8..13, filters=190653, revisions=(203258,useless=110158), ccks=321107143, wck=28.489, mem=133M414
34.77/31.25 decisions=9573, wrong=3828, backtracks=1630, failedAssignments=2526, nogoods=775, foundSolutions=20, bestBound=338
34.77/31.25 nFilterCalls=136233, avgTableProportion=0.30392048916195047, avgTableSize=0.6078409783239009
34.77/31.25
34.87/31.38 num=128, depth=7..13, filters=191635, revisions=(204157,useless=110622), ccks=322540308, wck=28.615, mem=136M30
34.87/31.38 decisions=9630, wrong=3852, backtracks=1634, failedAssignments=2547, nogoods=786, foundSolutions=20, bestBound=338
34.87/31.38 nFilterCalls=137096, avgTableProportion=0.3036813619653382, avgTableSize=0.6073627239306764
34.87/31.38
35.09/31.54 num=129, depth=6..11, filters=193494, revisions=(206030,useless=111635), ccks=324313971, wck=28.777, mem=136M30
35.09/31.54 decisions=9711, wrong=3888, backtracks=1654, failedAssignments=2570, nogoods=790, foundSolutions=20, bestBound=338
35.09/31.54 nFilterCalls=138252, avgTableProportion=0.3043608772386656, avgTableSize=0.6087217544773312
35.09/31.54
35.39/31.89 num=130, depth=7..14, filters=195895, revisions=(208555,useless=112968), ccks=328285329, wck=29.124, mem=138M646
35.39/31.89 decisions=9814, wrong=3934, backtracks=1679, failedAssignments=2595, nogoods=796, foundSolutions=20, bestBound=338
35.39/31.89 nFilterCalls=139761, avgTableProportion=0.30452701397385534, avgTableSize=0.6090540279477107
35.39/31.89
35.70/32.17 num=131, depth=7..16, filters=198329, revisions=(211223,useless=114398), ccks=331448536, wck=29.404, mem=141M262
35.70/32.17 decisions=9924, wrong=3985, backtracks=1707, failedAssignments=2623, nogoods=800, foundSolutions=20, bestBound=338
35.70/32.17 nFilterCalls=141261, avgTableProportion=0.3041957794437247, avgTableSize=0.6083915588874494
35.70/32.17
35.99/32.49 num=132, depth=6..13, filters=200779, revisions=(213742,useless=115675), ccks=335092438, wck=29.724, mem=143M878
35.99/32.49 decisions=10035, wrong=4036, backtracks=1730, failedAssignments=2654, nogoods=804, foundSolutions=20, bestBound=338
35.99/32.49 nFilterCalls=142711, avgTableProportion=0.30454555009775, avgTableSize=0.6090911001955
35.99/32.49
36.19/32.70 num=133, depth=7..17, filters=202851, revisions=(215916,useless=116827), ccks=337419845, wck=29.93, mem=146M494
36.19/32.70 decisions=10147, wrong=4088, backtracks=1752, failedAssignments=2688, nogoods=809, foundSolutions=20, bestBound=338
36.19/32.70 nFilterCalls=144231, avgTableProportion=0.30349231441229696, avgTableSize=0.6069846288245939
36.19/32.70
36.60/33.05 num=134, depth=8..15, filters=205928, revisions=(219277,useless=118697), ccks=341397429, wck=30.282, mem=149M109
36.60/33.05 decisions=10281, wrong=4150, backtracks=1787, failedAssignments=2725, nogoods=814, foundSolutions=20, bestBound=338
36.60/33.05 nFilterCalls=146130, avgTableProportion=0.30349004311229727, avgTableSize=0.6069800862245945
36.60/33.05
36.89/33.35 num=135, depth=7..13, filters=208799, revisions=(222407,useless=120466), ccks=344779915, wck=30.582, mem=151M725
36.89/33.35 decisions=10424, wrong=4216, backtracks=1818, failedAssignments=2766, nogoods=822, foundSolutions=20, bestBound=338
36.89/33.35 nFilterCalls=148079, avgTableProportion=0.3031388650652692, avgTableSize=0.6062777301305384
36.89/33.35
37.31/33.77 num=136, depth=4..11, filters=213001, revisions=(226459,useless=122617), ccks=349536808, wck=31.007, mem=154M341
37.31/33.77 decisions=10583, wrong=4292, backtracks=1858, failedAssignments=2811, nogoods=827, foundSolutions=20, bestBound=338
37.31/33.77 nFilterCalls=150558, avgTableProportion=0.3044175666520544, avgTableSize=0.6088351333041088
37.31/33.77
37.75/34.19 num=137, depth=6..12, filters=215796, revisions=(229459,useless=124087), ccks=354053302, wck=31.428, mem=27M499
37.75/34.19 decisions=10759, wrong=4376, backtracks=1898, failedAssignments=2861, nogoods=833, foundSolutions=20, bestBound=338
37.75/34.19 nFilterCalls=152178, avgTableProportion=0.30504737872754273, avgTableSize=0.6100947574550855
37.75/34.19
38.56/34.98 num=138, depth=7..14, filters=221282, revisions=(234833,useless=127030), ccks=362947704, wck=32.219, mem=32M731
38.56/34.98 decisions=10954, wrong=4469, backtracks=1953, failedAssignments=2916, nogoods=840, foundSolutions=20, bestBound=338
38.56/34.98 nFilterCalls=155844, avgTableProportion=0.3055170555170555, avgTableSize=0.611034111034111
38.56/34.98
39.46/35.81 num=139, depth=7..13, filters=227433, revisions=(241419,useless=130521), ccks=372270306, wck=33.043, mem=37M962
39.46/35.81 decisions=11173, wrong=4574, backtracks=2018, failedAssignments=2977, nogoods=845, foundSolutions=20, bestBound=338
39.46/35.81 nFilterCalls=159607, avgTableProportion=0.305613162329973, avgTableSize=0.611226324659946
39.46/35.81
39.67/36.06 num=140, depth=4..16, filters=230235, revisions=(244239,useless=132073), ccks=374954913, wck=33.293, mem=40M578
39.67/36.06 decisions=11348, wrong=4656, backtracks=2043, failedAssignments=3044, nogoods=883, foundSolutions=20, bestBound=338
39.67/36.06 nFilterCalls=161854, avgTableProportion=0.3052349648448602, avgTableSize=0.6104699296897204
39.67/36.06
40.16/36.55 num=141, depth=0..14, filters=234547, revisions=(248553,useless=134308), ccks=380487957, wck=33.786, mem=45M810
40.16/36.55 decisions=11570, wrong=4763, backtracks=2083, failedAssignments=3118, nogoods=888, foundSolutions=20, bestBound=338
40.16/36.55 nFilterCalls=164678, avgTableProportion=0.30534436901103973, avgTableSize=0.6106887380220795
40.16/36.55
40.36/36.79 o 337
40.36/36.79 num=142, depth=9..104, filters=236316, revisions=(250626,useless=135446), ccks=383121248, wck=34.02, mem=48M426
40.36/36.79 decisions=11654, wrong=4795, backtracks=2094, failedAssignments=3141, nogoods=895, foundSolutions=21, bestBound=337
40.36/36.79 nFilterCalls=165820, avgTableProportion=0.3048395850922687, avgTableSize=0.6096791701845374
40.36/36.79
40.68/37.09 o 332
40.68/37.09 num=143, depth=9..104, filters=240199, revisions=(254788,useless=137792), ccks=386452496, wck=34.323, mem=51M42
40.68/37.09 decisions=11831, wrong=4872, backtracks=2134, failedAssignments=3188, nogoods=901, foundSolutions=22, bestBound=332
40.68/37.09 nFilterCalls=168629, avgTableProportion=0.3050750464036435, avgTableSize=0.610150092807287
40.68/37.09
40.78/37.19 num=144, depth=7..11, filters=241255, revisions=(255879,useless=138403), ccks=387557828, wck=34.425, mem=53M658
40.78/37.19 decisions=11872, wrong=4888, backtracks=2144, failedAssignments=3199, nogoods=904, foundSolutions=22, bestBound=332
40.78/37.19 nFilterCalls=169375, avgTableProportion=0.30556457564575645, avgTableSize=0.6111291512915129
40.78/37.19
40.97/37.38 num=145, depth=8..13, filters=242905, revisions=(257526,useless=139276), ccks=389728381, wck=34.618, mem=53M658
40.97/37.38 decisions=11922, wrong=4908, backtracks=2155, failedAssignments=3210, nogoods=907, foundSolutions=22, bestBound=332
40.97/37.38 nFilterCalls=170534, avgTableProportion=0.3057278900395229, avgTableSize=0.6114557800790458
40.97/37.38
41.17/37.50 num=146, depth=5..11, filters=243551, revisions=(258224,useless=139645), ccks=391078579, wck=34.737, mem=56M274
41.17/37.50 decisions=11961, wrong=4923, backtracks=2159, failedAssignments=3222, nogoods=916, foundSolutions=22, bestBound=332
41.17/37.50 nFilterCalls=170967, avgTableProportion=0.30594793147215543, avgTableSize=0.6118958629443109
41.17/37.50
41.43/37.72 num=147, depth=6..11, filters=244930, revisions=(259585,useless=140313), ccks=393573381, wck=34.955, mem=56M274
41.43/37.72 decisions=12006, wrong=4942, backtracks=2169, failedAssignments=3235, nogoods=922, foundSolutions=22, bestBound=332
41.43/37.72 nFilterCalls=171712, avgTableProportion=0.3063297847558703, avgTableSize=0.6126595695117406
41.43/37.72
41.74/38.06 num=148, depth=6..11, filters=245941, revisions=(260674,useless=140819), ccks=397253578, wck=35.293, mem=58M890
41.74/38.06 decisions=12066, wrong=4969, backtracks=2182, failedAssignments=3249, nogoods=923, foundSolutions=22, bestBound=332
41.74/38.06 nFilterCalls=172175, avgTableProportion=0.30669086685058805, avgTableSize=0.6133817337011761
41.74/38.06
41.93/38.24 num=149, depth=7..12, filters=247757, revisions=(262387,useless=141670), ccks=399259694, wck=35.472, mem=58M890
41.93/38.24 decisions=12123, wrong=4994, backtracks=2194, failedAssignments=3265, nogoods=924, foundSolutions=22, bestBound=332
41.93/38.24 nFilterCalls=173354, avgTableProportion=0.3066499763489738, avgTableSize=0.6132999526979476
41.93/38.24
42.23/38.51 num=150, depth=6..12, filters=249845, revisions=(264436,useless=142691), ccks=402403688, wck=35.748, mem=61M506
42.23/38.51 decisions=12185, wrong=5021, backtracks=2208, failedAssignments=3282, nogoods=929, foundSolutions=22, bestBound=332
42.23/38.51 nFilterCalls=174643, avgTableProportion=0.3070263337207904, avgTableSize=0.6140526674415808
42.23/38.51
42.43/38.71 num=151, depth=8..14, filters=251664, revisions=(266236,useless=143612), ccks=404484746, wck=35.94, mem=64M121
42.43/38.71 decisions=12259, wrong=5053, backtracks=2225, failedAssignments=3301, nogoods=935, foundSolutions=22, bestBound=332
42.43/38.71 nFilterCalls=175728, avgTableProportion=0.3074723436219612, avgTableSize=0.6149446872439224
42.43/38.71
42.63/38.99 num=152, depth=8..14, filters=254697, revisions=(269250,useless=145222), ccks=407618011, wck=36.219, mem=66M737
42.63/38.99 decisions=12348, wrong=5093, backtracks=2250, failedAssignments=3322, nogoods=940, foundSolutions=22, bestBound=332
42.63/38.99 nFilterCalls=177739, avgTableProportion=0.30704291123501315, avgTableSize=0.6140858224700263
42.63/38.99
43.04/39.35 num=153, depth=6..12, filters=257363, revisions=(271874,useless=146578), ccks=411665103, wck=36.586, mem=69M353
43.04/39.35 decisions=12449, wrong=5139, backtracks=2278, failedAssignments=3345, nogoods=944, foundSolutions=22, bestBound=332
43.04/39.35 nFilterCalls=179474, avgTableProportion=0.30772423860837783, avgTableSize=0.6154484772167557
43.04/39.35
43.34/39.62 num=154, depth=7..13, filters=259266, revisions=(274038,useless=147739), ccks=414727686, wck=36.854, mem=71M969
43.34/39.62 decisions=12542, wrong=5182, backtracks=2300, failedAssignments=3370, nogoods=948, foundSolutions=22, bestBound=332
43.34/39.62 nFilterCalls=180532, avgTableProportion=0.3077681519065872, avgTableSize=0.6155363038131744
43.34/39.62
43.54/39.82 num=155, depth=7..14, filters=261170, revisions=(276031,useless=148666), ccks=417011222, wck=37.058, mem=71M969
43.54/39.82 decisions=12648, wrong=5231, backtracks=2324, failedAssignments=3398, nogoods=952, foundSolutions=22, bestBound=332
43.54/39.82 nFilterCalls=181552, avgTableProportion=0.30830836344408213, avgTableSize=0.6166167268881643
43.54/39.82
43.75/40.06 num=156, depth=6..11, filters=264897, revisions=(279146,useless=150206), ccks=419568635, wck=37.298, mem=77M201
43.75/40.06 decisions=12775, wrong=5291, backtracks=2361, failedAssignments=3429, nogoods=957, foundSolutions=22, bestBound=332
43.75/40.06 nFilterCalls=184171, avgTableProportion=0.3092370677251033, avgTableSize=0.6184741354502066
43.75/40.06
44.14/40.40 num=157, depth=6..15, filters=267726, revisions=(282119,useless=151786), ccks=423391780, wck=37.635, mem=79M817
44.14/40.40 decisions=12909, wrong=5354, backtracks=2396, failedAssignments=3463, nogoods=962, foundSolutions=22, bestBound=332
44.14/40.40 nFilterCalls=185938, avgTableProportion=0.30959782293022403, avgTableSize=0.6191956458604481
44.14/40.40
44.34/40.63 num=158, depth=8..14, filters=271263, revisions=(285410,useless=153400), ccks=425800324, wck=37.861, mem=85M49
44.34/40.63 decisions=13044, wrong=5417, backtracks=2434, failedAssignments=3500, nogoods=967, foundSolutions=22, bestBound=332
44.34/40.63 nFilterCalls=188135, avgTableProportion=0.31045260052621787, avgTableSize=0.6209052010524357
44.34/40.63
44.64/40.92 num=159, depth=7..16, filters=274717, revisions=(288650,useless=155271), ccks=428852946, wck=38.153, mem=87M665
44.64/40.92 decisions=13178, wrong=5479, backtracks=2463, failedAssignments=3541, nogoods=977, foundSolutions=22, bestBound=332
44.64/40.92 nFilterCalls=190934, avgTableProportion=0.31081420805094956, avgTableSize=0.6216284161018991
44.64/40.92
44.94/41.28 num=160, depth=5..12, filters=278281, revisions=(292081,useless=157022), ccks=432876908, wck=38.512, mem=90M281
44.94/41.28 decisions=13326, wrong=5550, backtracks=2513, failedAssignments=3586, nogoods=983, foundSolutions=22, bestBound=332
44.94/41.28 nFilterCalls=193179, avgTableProportion=0.3115581921430383, avgTableSize=0.6231163842860766
44.94/41.28
45.34/41.69 num=161, depth=9..15, filters=282041, revisions=(296167,useless=159161), ccks=437430983, wck=38.926, mem=92M896
45.34/41.69 decisions=13509, wrong=5637, backtracks=2556, failedAssignments=3636, nogoods=991, foundSolutions=22, bestBound=332
45.34/41.69 nFilterCalls=195290, avgTableProportion=0.3116237390547391, avgTableSize=0.6232474781094782
45.34/41.69
45.54/41.86 num=162, depth=6..11, filters=283646, revisions=(298040,useless=160118), ccks=439299749, wck=39.094, mem=95M512
45.54/41.86 decisions=13657, wrong=5708, backtracks=2575, failedAssignments=3691, nogoods=1025, foundSolutions=22, bestBound=332
45.54/41.86 nFilterCalls=196140, avgTableProportion=0.3121418374630366, avgTableSize=0.6242836749260732
45.54/41.86
45.95/42.27 num=163, depth=4..13, filters=288728, revisions=(302821,useless=162580), ccks=443858799, wck=39.508, mem=100M744
45.95/42.27 decisions=13878, wrong=5815, backtracks=2633, failedAssignments=3752, nogoods=1031, foundSolutions=22, bestBound=332
45.95/42.27 nFilterCalls=199504, avgTableProportion=0.3133746691795653, avgTableSize=0.6267493383591306
45.95/42.27
46.95/43.23 num=164, depth=6..18, filters=292322, revisions=(307155,useless=164816), ccks=454273621, wck=40.461, mem=105M976
46.95/43.23 decisions=14128, wrong=5933, backtracks=2686, failedAssignments=3819, nogoods=1038, foundSolutions=22, bestBound=332
46.95/43.23 nFilterCalls=201142, avgTableProportion=0.3136416064273001, avgTableSize=0.6272832128546002
46.95/43.23
47.76/44.06 num=165, depth=6..15, filters=298297, revisions=(312575,useless=167736), ccks=463455322, wck=41.292, mem=111M208
47.76/44.06 decisions=14355, wrong=6041, backtracks=2728, failedAssignments=3893, nogoods=1070, foundSolutions=22, bestBound=332
47.76/44.06 nFilterCalls=205271, avgTableProportion=0.31454029064017813, avgTableSize=0.6290805812803563
47.76/44.06
48.66/44.91 num=166, depth=7..18, filters=306963, revisions=(321319,useless=172408), ccks=472733162, wck=42.143, mem=119M56
48.66/44.91 decisions=14655, wrong=6187, backtracks=2812, failedAssignments=3974, nogoods=1074, foundSolutions=22, bestBound=332
48.66/44.91 nFilterCalls=210823, avgTableProportion=0.3146478325419902, avgTableSize=0.6292956650839804
48.66/44.91
49.17/45.42 num=167, depth=5..13, filters=314428, revisions=(327990,useless=175963), ccks=478277573, wck=42.65, mem=126M903
49.17/45.42 decisions=14934, wrong=6322, backtracks=2872, failedAssignments=4063, nogoods=1078, foundSolutions=22, bestBound=332
49.17/45.42 nFilterCalls=216072, avgTableProportion=0.31543420711614645, avgTableSize=0.6308684142322929
49.17/45.42
50.07/46.34 num=168, depth=6..17, filters=323962, revisions=(337499,useless=181291), ccks=488316484, wck=43.578, mem=132M135
50.07/46.34 decisions=15303, wrong=6502, backtracks=2982, failedAssignments=4161, nogoods=1084, foundSolutions=22, bestBound=332
50.07/46.34 nFilterCalls=222651, avgTableProportion=0.3161023305531976, avgTableSize=0.6322046611063952
50.07/46.34
51.17/47.41 num=169, depth=6..17, filters=334883, revisions=(348738,useless=187533), ccks=499952429, wck=44.645, mem=143M458
51.17/47.41 decisions=15700, wrong=6696, backtracks=3090, failedAssignments=4269, nogoods=1088, foundSolutions=22, bestBound=332
51.17/47.41 nFilterCalls=229894, avgTableProportion=0.31633274465623284, avgTableSize=0.6326654893124657
51.17/47.41
51.97/48.21 num=170, depth=6..17, filters=347169, revisions=(360655,useless=194266), ccks=508552675, wck=45.447, mem=151M305
51.97/48.21 decisions=16162, wrong=6922, backtracks=3215, failedAssignments=4388, nogoods=1098, foundSolutions=22, bestBound=332
51.97/48.21 nFilterCalls=238920, avgTableProportion=0.31625648752720575, avgTableSize=0.6325129750544115
51.97/48.21
53.60/49.82 num=171, depth=5..15, filters=359573, revisions=(373184,useless=200924), ccks=526386428, wck=47.059, mem=30M206
53.60/49.82 decisions=16655, wrong=7164, backtracks=3352, failedAssignments=4519, nogoods=1105, foundSolutions=22, bestBound=332
53.60/49.82 nFilterCalls=246792, avgTableProportion=0.31729148432688253, avgTableSize=0.6345829686537651
53.60/49.82
54.50/50.73 num=172, depth=5..14, filters=373303, revisions=(385875,useless=207630), ccks=536167183, wck=47.964, mem=40M683
54.50/50.73 decisions=17164, wrong=7416, backtracks=3506, failedAssignments=4663, nogoods=1107, foundSolutions=22, bestBound=332
54.50/50.73 nFilterCalls=255906, avgTableProportion=0.31980688221456316, avgTableSize=0.6396137644291263
54.50/50.73
55.70/51.93 num=173, depth=6..18, filters=385052, revisions=(397896,useless=214477), ccks=549567887, wck=49.161, mem=53M779
55.70/51.93 decisions=17665, wrong=7662, backtracks=3632, failedAssignments=4821, nogoods=1131, foundSolutions=22, bestBound=332
55.70/51.93 nFilterCalls=264135, avgTableProportion=0.31967175875972514, avgTableSize=0.6393435175194503
55.70/51.93
56.81/53.10 num=174, depth=0..14, filters=396490, revisions=(409969,useless=220883), ccks=562711127, wck=50.332, mem=64M255
56.81/53.10 decisions=18205, wrong=7928, backtracks=3766, failedAssignments=4995, nogoods=1136, foundSolutions=22, bestBound=332
56.81/53.10 nFilterCalls=270771, avgTableProportion=0.3204239006392856, avgTableSize=0.6408478012785712
56.81/53.10
58.91/55.18 num=175, depth=9..22, filters=411960, revisions=(426836,useless=229746), ccks=586368003, wck=52.412, mem=79M970
58.91/55.18 decisions=18926, wrong=8283, backtracks=3961, failedAssignments=5186, nogoods=1147, foundSolutions=22, bestBound=332
58.91/55.18 nFilterCalls=279066, avgTableProportion=0.32135050489848277, avgTableSize=0.6427010097969655
58.91/55.18
60.61/56.88 num=176, depth=6..18, filters=424181, revisions=(439794,useless=236705), ccks=605812692, wck=54.119, mem=95M685
60.61/56.88 decisions=19579, wrong=8606, backtracks=4101, failedAssignments=5397, nogoods=1152, foundSolutions=22, bestBound=332
60.61/56.88 nFilterCalls=286499, avgTableProportion=0.32057528996610807, avgTableSize=0.6411505799322161
60.61/56.88
62.41/58.60 num=177, depth=4..14, filters=443126, revisions=(458503,useless=246420), ccks=624918192, wck=55.833, mem=114M20
62.41/58.60 decisions=20343, wrong=8983, backtracks=4294, failedAssignments=5629, nogoods=1162, foundSolutions=22, bestBound=332
62.41/58.60 nFilterCalls=298327, avgTableProportion=0.3215263787722868, avgTableSize=0.6430527575445736
62.41/58.60
64.31/60.53 num=178, depth=5..16, filters=465076, revisions=(479600,useless=257837), ccks=646358069, wck=57.76, mem=132M354
64.31/60.53 decisions=21196, wrong=9405, backtracks=4498, failedAssignments=5884, nogoods=1170, foundSolutions=22, bestBound=332
64.31/60.53 nFilterCalls=312617, avgTableProportion=0.32232412184877984, avgTableSize=0.6446482436975597
64.31/60.53
66.01/62.28 num=179, depth=4..16, filters=489939, revisions=(503440,useless=270685), ccks=665602084, wck=59.512, mem=153M307
66.01/62.28 decisions=22147, wrong=9876, backtracks=4771, failedAssignments=6165, nogoods=1180, foundSolutions=22, bestBound=332
66.01/62.28 nFilterCalls=329613, avgTableProportion=0.3224630096507116, avgTableSize=0.6449260193014232
66.01/62.28
69.14/65.31 num=180, depth=5..16, filters=512578, revisions=(527807,useless=283394), ccks=699726581, wck=62.54, mem=48M229
69.14/65.31 decisions=23222, wrong=10410, backtracks=5062, failedAssignments=6474, nogoods=1189, foundSolutions=22, bestBound=332
69.14/65.31 nFilterCalls=342454, avgTableProportion=0.32366390814532753, avgTableSize=0.6473278162906551
69.14/65.31
71.34/67.57 num=181, depth=5..15, filters=544155, revisions=(556986,useless=298849), ccks=724550718, wck=64.801, mem=71M500
71.34/67.57 decisions=24355, wrong=10973, backtracks=5360, failedAssignments=6814, nogoods=1215, foundSolutions=22, bestBound=332
71.34/67.57 nFilterCalls=363772, avgTableProportion=0.3246827683274139, avgTableSize=0.6493655366548278
71.34/67.57
74.54/70.74 num=182, depth=6..16, filters=568656, revisions=(581959,useless=311993), ccks=760367115, wck=67.974, mem=99M941
74.54/70.74 decisions=25572, wrong=11577, backtracks=5657, failedAssignments=7188, nogoods=1220, foundSolutions=22, bestBound=332
74.54/70.74 nFilterCalls=379097, avgTableProportion=0.3264903177814649, avgTableSize=0.6529806355629298
74.54/70.74
77.24/73.43 num=183, depth=5..17, filters=602229, revisions=(614460,useless=329578), ccks=790092410, wck=70.669, mem=128M383
77.24/73.43 decisions=27014, wrong=12295, backtracks=6063, failedAssignments=7599, nogoods=1225, foundSolutions=22, bestBound=332
77.24/73.43 nFilterCalls=401544, avgTableProportion=0.3269691490845337, avgTableSize=0.6539382981690673
77.24/73.43
80.27/76.47 num=184, depth=5..18, filters=639970, revisions=(653200,useless=351283), ccks=823562175, wck=73.708, mem=30M20
80.27/76.47 decisions=28602, wrong=13084, backtracks=6515, failedAssignments=8051, nogoods=1235, foundSolutions=22, bestBound=332
80.27/76.47 nFilterCalls=427404, avgTableProportion=0.32554327989443244, avgTableSize=0.6510865597888649
80.27/76.47
82.98/79.14 num=185, depth=4..16, filters=680974, revisions=(693653,useless=373025), ccks=852697897, wck=76.376, mem=63M158
82.98/79.14 decisions=30244, wrong=13901, backtracks=6945, failedAssignments=8548, nogoods=1237, foundSolutions=22, bestBound=332
82.98/79.14 nFilterCalls=454452, avgTableProportion=0.32666046139086197, avgTableSize=0.6533209227817239
82.98/79.14
87.47/83.65 num=186, depth=5..18, filters=717147, revisions=(732569,useless=393677), ccks=903575710, wck=80.884, mem=103M942
87.47/83.65 decisions=32152, wrong=14850, backtracks=7480, failedAssignments=9095, nogoods=1247, foundSolutions=22, bestBound=332
87.47/83.65 nFilterCalls=475139, avgTableProportion=0.3281713351250897, avgTableSize=0.6563426702501794
87.47/83.65
90.19/86.36 num=187, depth=5..14, filters=757567, revisions=(771074,useless=413966), ccks=933164675, wck=83.593, mem=140M169
90.19/86.36 decisions=33934, wrong=15738, backtracks=7854, failedAssignments=9697, nogoods=1294, foundSolutions=22, bestBound=332
90.19/86.36 nFilterCalls=501684, avgTableProportion=0.3291693576035911, avgTableSize=0.6583387152071822
90.19/86.36
93.80/89.97 num=188, depth=5..16, filters=822095, revisions=(828711,useless=444391), ccks=971448665, wck=87.209, mem=62M523
93.80/89.97 decisions=36225, wrong=16880, backtracks=8506, failedAssignments=10359, nogoods=1304, foundSolutions=22, bestBound=332
93.80/89.97 nFilterCalls=547055, avgTableProportion=0.33411448574640573, avgTableSize=0.6682289714928115
93.80/89.97
95.10/91.25 o 331
95.10/91.25 num=189, depth=7..104, filters=834980, revisions=(842469,useless=452157), ccks=985679392, wck=88.487, mem=75M57
95.10/91.25 decisions=36870, wrong=17191, backtracks=8665, failedAssignments=10544, nogoods=1315, foundSolutions=23, bestBound=331
95.10/91.25 nFilterCalls=555692, avgTableProportion=0.33387110125753117, avgTableSize=0.6677422025150623
95.10/91.25
101.70/97.89 num=190, depth=4..17, filters=890471, revisions=(898991,useless=482556), ccks=1060355019, wck=95.121, mem=140M233
101.70/97.89 decisions=39612, wrong=18558, backtracks=9383, failedAssignments=11345, nogoods=1325, foundSolutions=23, bestBound=331
101.70/97.89 nFilterCalls=589215, avgTableProportion=0.3355566304320155, avgTableSize=0.671113260864031
101.70/97.89
101.91/98.03 num=191, depth=11..15, filters=891651, revisions=(900228,useless=483258), ccks=1061886509, wck=95.262, mem=140M233
101.91/98.03 decisions=39659, wrong=18576, backtracks=9392, failedAssignments=11356, nogoods=1327, foundSolutions=23, bestBound=331
101.91/98.03 nFilterCalls=590065, avgTableProportion=0.3355604890986586, avgTableSize=0.6711209781973172
101.91/98.03
102.10/98.20 num=192, depth=11..16, filters=892956, revisions=(901734,useless=484093), ccks=1063863265, wck=95.438, mem=142M740
102.10/98.20 decisions=39721, wrong=18601, backtracks=9405, failedAssignments=11368, nogoods=1330, foundSolutions=23, bestBound=331
102.10/98.20 nFilterCalls=590880, avgTableProportion=0.33555628892499323, avgTableSize=0.6711125778499865
102.10/98.20
102.21/98.33 num=193, depth=7..15, filters=893892, revisions=(902765,useless=484617), ccks=1065356877, wck=95.569, mem=142M740
102.21/98.33 decisions=39763, wrong=18617, backtracks=9408, failedAssignments=11381, nogoods=1340, foundSolutions=23, bestBound=331
102.21/98.33 nFilterCalls=591471, avgTableProportion=0.3355287072400845, avgTableSize=0.671057414480169
102.21/98.33
102.41/98.51 num=194, depth=6..14, filters=895292, revisions=(904136,useless=485349), ccks=1067245402, wck=95.741, mem=145M246
102.41/98.51 decisions=39815, wrong=18639, backtracks=9417, failedAssignments=11395, nogoods=1343, foundSolutions=23, bestBound=331
102.41/98.51 nFilterCalls=592439, avgTableProportion=0.33549951978178344, avgTableSize=0.6709990395635669
102.41/98.51
102.51/98.64 num=195, depth=11..18, filters=896288, revisions=(905235,useless=485957), ccks=1068778203, wck=95.878, mem=145M246
102.51/98.64 decisions=39881, wrong=18666, backtracks=9431, failedAssignments=11411, nogoods=1345, foundSolutions=23, bestBound=331
102.51/98.64 nFilterCalls=593202, avgTableProportion=0.33549532874130567, avgTableSize=0.6709906574826113
102.51/98.64
102.71/98.87 num=196, depth=10..17, filters=897598, revisions=(906753,useless=486724), ccks=1071340441, wck=96.102, mem=147M753
102.71/98.87 decisions=39949, wrong=18695, backtracks=9446, failedAssignments=11428, nogoods=1347, foundSolutions=23, bestBound=331
102.71/98.87 nFilterCalls=593865, avgTableProportion=0.3355442735301794, avgTableSize=0.6710885470603588
102.71/98.87
102.92/99.04 num=197, depth=6..13, filters=899297, revisions=(908365,useless=487594), ccks=1073238851, wck=96.277, mem=148M243
102.92/99.04 decisions=40010, wrong=18720, backtracks=9455, failedAssignments=11447, nogoods=1360, foundSolutions=23, bestBound=331
102.92/99.04 nFilterCalls=595161, avgTableProportion=0.3354420064486752, avgTableSize=0.6708840128973504
102.92/99.04
103.11/99.26 num=198, depth=6..11, filters=901393, revisions=(910466,useless=488681), ccks=1075622066, wck=96.494, mem=27M351
103.11/99.26 decisions=40101, wrong=18762, backtracks=9480, failedAssignments=11468, nogoods=1364, foundSolutions=23, bestBound=331
103.11/99.26 nFilterCalls=596434, avgTableProportion=0.3355308382821905, avgTableSize=0.671061676564381
103.11/99.26
103.51/99.63 num=199, depth=7..12, filters=903534, revisions=(912768,useless=489863), ccks=1079800798, wck=96.861, mem=29M819
103.51/99.63 decisions=40200, wrong=18807, backtracks=9504, failedAssignments=11491, nogoods=1367, foundSolutions=23, bestBound=331
103.51/99.63 nFilterCalls=597671, avgTableProportion=0.3355868027727629, avgTableSize=0.6711736055455259
103.51/99.63
103.81/100.00 num=200, depth=7..18, filters=906248, revisions=(915961,useless=491621), ccks=1083976106, wck=97.23, mem=32M288
103.81/100.00 decisions=40319, wrong=18859, backtracks=9539, failedAssignments=11516, nogoods=1372, foundSolutions=23, bestBound=331
103.81/100.00 nFilterCalls=599357, avgTableProportion=0.33556878454744, avgTableSize=0.67113756909488
103.81/100.00
104.11/100.28 num=201, depth=6..11, filters=909605, revisions=(919026,useless=493228), ccks=1087061745, wck=97.51, mem=34M756
104.11/100.28 decisions=40424, wrong=18908, backtracks=9564, failedAssignments=11544, nogoods=1375, foundSolutions=23, bestBound=331
104.11/100.28 nFilterCalls=601699, avgTableProportion=0.3356985801871035, avgTableSize=0.671397160374207
104.11/100.28
104.51/100.62 num=202, depth=8..16, filters=912292, revisions=(922080,useless=494871), ccks=1090957354, wck=97.856, mem=37M225
104.51/100.62 decisions=40546, wrong=18964, backtracks=9601, failedAssignments=11575, nogoods=1377, foundSolutions=23, bestBound=331
104.51/100.62 nFilterCalls=603309, avgTableProportion=0.33569696457370934, avgTableSize=0.6713939291474187
104.51/100.62
104.81/100.96 num=203, depth=5..12, filters=915715, revisions=(925550,useless=496700), ccks=1094791700, wck=98.199, mem=39M693
104.81/100.96 decisions=40682, wrong=19029, backtracks=9636, failedAssignments=11609, nogoods=1380, foundSolutions=23, bestBound=331
104.81/100.96 nFilterCalls=605405, avgTableProportion=0.3358148677331704, avgTableSize=0.6716297354663407
104.81/100.96
105.21/101.30 num=204, depth=8..15, filters=918033, revisions=(928276,useless=498239), ccks=1098550714, wck=98.532, mem=42M161
105.21/101.30 decisions=40812, wrong=19089, backtracks=9666, failedAssignments=11646, nogoods=1387, foundSolutions=23, bestBound=331
105.21/101.30 nFilterCalls=606776, avgTableProportion=0.335861174469656, avgTableSize=0.671722348939312
105.21/101.30
105.41/101.57 num=205, depth=6..15, filters=920578, revisions=(931200,useless=499774), ccks=1101571448, wck=98.803, mem=44M630
105.41/101.57 decisions=40955, wrong=19155, backtracks=9696, failedAssignments=11687, nogoods=1393, foundSolutions=23, bestBound=331
105.41/101.57 nFilterCalls=608028, avgTableProportion=0.3359434105008322, avgTableSize=0.6718868210016644
105.41/101.57
105.81/101.98 num=206, depth=6..15, filters=924541, revisions=(934883,useless=501688), ccks=1106194809, wck=99.21, mem=49M566
105.81/101.98 decisions=41100, wrong=19223, backtracks=9721, failedAssignments=11732, nogoods=1431, foundSolutions=23, bestBound=331
105.81/101.98 nFilterCalls=610384, avgTableProportion=0.33587462974127763, avgTableSize=0.6717492594825553
105.81/101.98
106.11/102.25 num=207, depth=0..13, filters=927324, revisions=(938021,useless=503289), ccks=1109203999, wck=99.481, mem=52M35
106.11/102.25 decisions=41269, wrong=19303, backtracks=9754, failedAssignments=11782, nogoods=1454, foundSolutions=23, bestBound=331
106.11/102.25 nFilterCalls=611799, avgTableProportion=0.3359028046793146, avgTableSize=0.6718056093586292
106.11/102.25
106.71/102.88 num=208, depth=5..13, filters=933025, revisions=(944160,useless=506573), ccks=1116316898, wck=100.112, mem=56M972
106.71/102.88 decisions=41487, wrong=19406, backtracks=9813, failedAssignments=11837, nogoods=1458, foundSolutions=23, bestBound=331
106.71/102.88 nFilterCalls=615423, avgTableProportion=0.3357731186517241, avgTableSize=0.6715462373034482
106.71/102.88
107.31/103.41 num=209, depth=6..14, filters=937608, revisions=(948751,useless=508946), ccks=1122326515, wck=100.645, mem=61M908
107.31/103.41 decisions=41706, wrong=19511, backtracks=9869, failedAssignments=11898, nogoods=1462, foundSolutions=23, bestBound=331
107.31/103.41 nFilterCalls=618324, avgTableProportion=0.3357317522852097, avgTableSize=0.6714635045704194
107.31/103.41
108.02/104.11 num=210, depth=7..18, filters=942107, revisions=(953586,useless=511533), ccks=1130265683, wck=101.345, mem=66M845
108.02/104.11 decisions=41948, wrong=19628, backtracks=9926, failedAssignments=11965, nogoods=1468, foundSolutions=23, bestBound=331
108.02/104.11 nFilterCalls=621213, avgTableProportion=0.335800281063017, avgTableSize=0.671600562126034
108.02/104.11
108.41/104.51 num=211, depth=10..21, filters=947755, revisions=(959399,useless=514655), ccks=1134653468, wck=101.746, mem=71M782
108.41/104.51 decisions=42190, wrong=19743, backtracks=9979, failedAssignments=12039, nogoods=1478, foundSolutions=23, bestBound=331
108.41/104.51 nFilterCalls=625234, avgTableProportion=0.3355759603604411, avgTableSize=0.6711519207208821
108.41/104.51
109.02/105.17 num=212, depth=5..15, filters=955626, revisions=(967362,useless=518850), ccks=1141929736, wck=102.406, mem=79M187
109.02/105.17 decisions=42529, wrong=19909, backtracks=10077, failedAssignments=12120, nogoods=1485, foundSolutions=23, bestBound=331
109.02/105.17 nFilterCalls=630193, avgTableProportion=0.335690018772027, avgTableSize=0.671380037544054
109.02/105.17
109.71/105.87 num=213, depth=7..15, filters=964178, revisions=(975984,useless=523552), ccks=1149700826, wck=103.108, mem=86M592
109.71/105.87 decisions=42841, wrong=20061, backtracks=10157, failedAssignments=12209, nogoods=1491, foundSolutions=23, bestBound=331
109.71/105.87 nFilterCalls=636139, avgTableProportion=0.3354408391876618, avgTableSize=0.6708816783753236
109.71/105.87
110.61/106.79 num=214, depth=7..15, filters=971235, revisions=(984261,useless=528063), ccks=1160044214, wck=104.024, mem=93M997
110.61/106.79 decisions=43168, wrong=20220, backtracks=10246, failedAssignments=12307, nogoods=1501, foundSolutions=23, bestBound=331
110.61/106.79 nFilterCalls=639871, avgTableProportion=0.3355496654794482, avgTableSize=0.6710993309588964
110.61/106.79
111.02/107.18 num=215, depth=9..21, filters=977933, revisions=(990796,useless=531683), ccks=1164333658, wck=104.418, mem=98M934
111.02/107.18 decisions=43492, wrong=20376, backtracks=10310, failedAssignments=12415, nogoods=1506, foundSolutions=23, bestBound=331
111.02/107.18 nFilterCalls=645227, avgTableProportion=0.33480542506745686, avgTableSize=0.6696108501349137
111.02/107.18
112.02/108.17 num=216, depth=6..13, filters=988137, revisions=(1001179,useless=537295), ccks=1175345931, wck=105.406, mem=108M807
112.02/108.17 decisions=43912, wrong=20583, backtracks=10423, failedAssignments=12534, nogoods=1510, foundSolutions=23, bestBound=331
112.02/108.17 nFilterCalls=651636, avgTableProportion=0.3346899189117851, avgTableSize=0.6693798378235702
112.02/108.17
113.02/109.16 num=217, depth=8..15, filters=999266, revisions=(1012981,useless=543687), ccks=1186329532, wck=106.399, mem=118M681
113.02/109.16 decisions=44368, wrong=20806, backtracks=10543, failedAssignments=12665, nogoods=1523, foundSolutions=23, bestBound=331
113.02/109.16 nFilterCalls=658047, avgTableProportion=0.3349920294447053, avgTableSize=0.6699840588894106
113.02/109.16
114.02/110.15 num=218, depth=5..14, filters=1011138, revisions=(1025436,useless=550238), ccks=1197237292, wck=107.383, mem=131M23
114.02/110.15 decisions=44843, wrong=21041, backtracks=10661, failedAssignments=12809, nogoods=1531, foundSolutions=23, bestBound=331
114.02/110.15 nFilterCalls=664798, avgTableProportion=0.3351469168078123, avgTableSize=0.6702938336156246
114.02/110.15
115.51/111.67 num=219, depth=6..18, filters=1022445, revisions=(1038105,useless=557490), ccks=1214433379, wck=108.908, mem=143M364
115.51/111.67 decisions=45423, wrong=21326, backtracks=10820, failedAssignments=12967, nogoods=1536, foundSolutions=23, bestBound=331
115.51/111.67 nFilterCalls=671741, avgTableProportion=0.3352050864842253, avgTableSize=0.6704101729684506
115.51/111.67
115.93/112.01 num=220, depth=6..11, filters=1027340, revisions=(1043161,useless=560142), ccks=1218044375, wck=109.243, mem=24M818
115.93/112.01 decisions=45799, wrong=21510, backtracks=10835, failedAssignments=13141, nogoods=1572, foundSolutions=23, bestBound=331
115.93/112.01 nFilterCalls=674264, avgTableProportion=0.33526259743957854, avgTableSize=0.6705251948791571
115.93/112.01
116.72/112.87 num=221, depth=6..20, filters=1041647, revisions=(1058229,useless=568530), ccks=1227483259, wck=110.107, mem=34M533
116.72/112.87 decisions=46411, wrong=21811, backtracks=10976, failedAssignments=13332, nogoods=1578, foundSolutions=23, bestBound=331
116.72/112.87 nFilterCalls=684337, avgTableProportion=0.3344762887290911, avgTableSize=0.6689525774581822
116.72/112.87
118.42/114.52 num=222, depth=6..17, filters=1059508, revisions=(1076801,useless=578697), ccks=1245899161, wck=111.753, mem=51M534
118.42/114.52 decisions=47129, wrong=22164, backtracks=11165, failedAssignments=13543, nogoods=1586, foundSolutions=23, bestBound=331
118.42/114.52 nFilterCalls=695868, avgTableProportion=0.3337428937672087, avgTableSize=0.6674857875344175
118.42/114.52
120.12/116.22 num=223, depth=5..14, filters=1080716, revisions=(1097405,useless=589793), ccks=1264671813, wck=113.454, mem=68M535
120.12/116.22 decisions=47924, wrong=22556, backtracks=11386, failedAssignments=13775, nogoods=1598, foundSolutions=23, bestBound=331
120.12/116.22 nFilterCalls=709761, avgTableProportion=0.3340476582962434, avgTableSize=0.6680953165924868
120.12/116.22
122.52/118.64 num=224, depth=6..17, filters=1099746, revisions=(1118560,useless=601523), ccks=1292023453, wck=115.874, mem=90M393
122.52/118.64 decisions=48830, wrong=23005, backtracks=11632, failedAssignments=14030, nogoods=1604, foundSolutions=23, bestBound=331
122.52/118.64 nFilterCalls=721285, avgTableProportion=0.3342485979883125, avgTableSize=0.668497195976625
122.52/118.64
124.62/120.77 num=225, depth=5..16, filters=1123670, revisions=(1142493,useless=614680), ccks=1315726027, wck=118.007, mem=109M822
124.62/120.77 decisions=49784, wrong=23478, backtracks=11897, failedAssignments=14311, nogoods=1611, foundSolutions=23, bestBound=331
124.62/120.77 nFilterCalls=736650, avgTableProportion=0.3342679698635716, avgTableSize=0.6685359397271432
124.62/120.77
126.52/122.69 o 330
126.52/122.69 num=226, depth=6..104, filters=1147024, revisions=(1166363,useless=628097), ccks=1337051939, wck=119.928, mem=129M252
126.52/122.69 decisions=50674, wrong=23913, backtracks=12136, failedAssignments=14569, nogoods=1624, foundSolutions=24, bestBound=330
126.52/122.69 nFilterCalls=752774, avgTableProportion=0.333798058912768, avgTableSize=0.667596117825536
126.52/122.69
128.63/124.79 num=227, depth=7..15, filters=1160395, revisions=(1180790,useless=636090), ccks=1360991975, wck=122.023, mem=143M824
128.63/124.79 decisions=51542, wrong=24343, backtracks=12268, failedAssignments=14909, nogoods=1629, foundSolutions=24, bestBound=330
128.63/124.79 nFilterCalls=760160, avgTableProportion=0.3339178593980215, avgTableSize=0.667835718796043
128.63/124.79
128.83/124.96 num=228, depth=7..11, filters=1162168, revisions=(1182577,useless=637070), ccks=1362896255, wck=122.196, mem=24M803
128.83/124.96 decisions=51587, wrong=24362, backtracks=12278, failedAssignments=14920, nogoods=1630, foundSolutions=24, bestBound=330
128.83/124.96 nFilterCalls=761405, avgTableProportion=0.3338794728167007, avgTableSize=0.6677589456334014
128.83/124.96
128.94/125.10 num=229, depth=6..12, filters=1163317, revisions=(1183737,useless=637678), ccks=1364379480, wck=122.333, mem=24M803
128.94/125.10 decisions=51634, wrong=24381, backtracks=12287, failedAssignments=14932, nogoods=1633, foundSolutions=24, bestBound=330
128.94/125.10 nFilterCalls=762192, avgTableProportion=0.33385944748829693, avgTableSize=0.6677188949765939
128.94/125.10
129.13/125.28 num=230, depth=8..12, filters=1164743, revisions=(1185261,useless=638507), ccks=1366437780, wck=122.515, mem=27M191
129.13/125.28 decisions=51696, wrong=24408, backtracks=12302, failedAssignments=14945, nogoods=1637, foundSolutions=24, bestBound=330
129.13/125.28 nFilterCalls=763101, avgTableProportion=0.3338496476875276, avgTableSize=0.6676992953750552
129.13/125.28
129.33/125.45 num=231, depth=8..12, filters=1166241, revisions=(1186815,useless=639317), ccks=1368357119, wck=122.686, mem=29M579
129.33/125.45 decisions=51763, wrong=24436, backtracks=12317, failedAssignments=14959, nogoods=1640, foundSolutions=24, bestBound=330
129.33/125.45 nFilterCalls=763915, avgTableProportion=0.3339402944044822, avgTableSize=0.6678805888089644
129.33/125.45
129.63/125.71 num=232, depth=6..11, filters=1167975, revisions=(1188667,useless=640280), ccks=1371262480, wck=122.942, mem=29M579
129.63/125.71 decisions=51827, wrong=24464, backtracks=12334, failedAssignments=14975, nogoods=1644, foundSolutions=24, bestBound=330
129.63/125.71 nFilterCalls=764957, avgTableProportion=0.33399459054561237, avgTableSize=0.6679891810912247
129.63/125.71
129.83/125.93 num=233, depth=4..14, filters=1169624, revisions=(1190391,useless=641201), ccks=1373833706, wck=123.169, mem=31M967
129.83/125.93 decisions=51903, wrong=24498, backtracks=12352, failedAssignments=14992, nogoods=1648, foundSolutions=24, bestBound=330
129.83/125.93 nFilterCalls=766064, avgTableProportion=0.3340367123373504, avgTableSize=0.6680734246747008
129.83/125.93
130.04/126.18 num=234, depth=6..14, filters=1171294, revisions=(1192209,useless=642140), ccks=1376656061, wck=123.417, mem=34M355
130.04/126.18 decisions=51972, wrong=24527, backtracks=12365, failedAssignments=15011, nogoods=1654, foundSolutions=24, bestBound=330
130.04/126.18 nFilterCalls=767157, avgTableProportion=0.33405678368313135, avgTableSize=0.6681135673662627
130.04/126.18
130.33/126.46 num=235, depth=7..13, filters=1173270, revisions=(1194402,useless=643310), ccks=1379817241, wck=123.697, mem=36M743
130.33/126.46 decisions=52049, wrong=24560, backtracks=12385, failedAssignments=15032, nogoods=1658, foundSolutions=24, bestBound=330
130.33/126.46 nFilterCalls=768323, avgTableProportion=0.33407694420185263, avgTableSize=0.6681538884037053
130.33/126.46
130.53/126.64 num=236, depth=6..18, filters=1175137, revisions=(1196375,useless=644399), ccks=1381781453, wck=123.874, mem=39M132
130.53/126.64 decisions=52127, wrong=24594, backtracks=12400, failedAssignments=15055, nogoods=1670, foundSolutions=24, bestBound=330
130.53/126.64 nFilterCalls=769672, avgTableProportion=0.33407217619973184, avgTableSize=0.6681443523994637
130.53/126.64
130.83/126.94 num=237, depth=4..14, filters=1177859, revisions=(1198995,useless=645776), ccks=1385194520, wck=124.178, mem=41M520
130.83/126.94 decisions=52235, wrong=24643, backtracks=12430, failedAssignments=15080, nogoods=1672, foundSolutions=24, bestBound=330
130.83/126.94 nFilterCalls=771438, avgTableProportion=0.33415971212203704, avgTableSize=0.6683194242440741
130.83/126.94
131.13/127.24 num=238, depth=6..13, filters=1179805, revisions=(1201106,useless=646860), ccks=1388593898, wck=124.478, mem=41M520
131.13/127.24 decisions=52335, wrong=24690, backtracks=12455, failedAssignments=15108, nogoods=1674, foundSolutions=24, bestBound=330
131.13/127.24 nFilterCalls=772560, avgTableProportion=0.3341954022988506, avgTableSize=0.6683908045977012
131.13/127.24
131.33/127.44 num=239, depth=6..16, filters=1182527, revisions=(1204099,useless=648648), ccks=1390790568, wck=124.679, mem=46M298
131.33/127.44 decisions=52460, wrong=24748, backtracks=12486, failedAssignments=15139, nogoods=1681, foundSolutions=24, bestBound=330
131.33/127.44 nFilterCalls=774527, avgTableProportion=0.334149100031374, avgTableSize=0.668298200062748
131.33/127.44
131.53/127.60 num=240, depth=7..11, filters=1183825, revisions=(1205345,useless=649276), ccks=1392525514, wck=124.832, mem=46M298
131.53/127.60 decisions=52545, wrong=24786, backtracks=12491, failedAssignments=15173, nogoods=1707, foundSolutions=24, bestBound=330
131.53/127.60 nFilterCalls=775474, avgTableProportion=0.3341349935652259, avgTableSize=0.6682699871304518
131.53/127.60
131.73/127.80 num=241, depth=0..12, filters=1185747, revisions=(1207543,useless=650481), ccks=1394821745, wck=125.039, mem=48M686
131.73/127.80 decisions=52650, wrong=24834, backtracks=12504, failedAssignments=15210, nogoods=1712, foundSolutions=24, bestBound=330
131.73/127.80 nFilterCalls=776552, avgTableProportion=0.33415663085021996, avgTableSize=0.6683132617004399
131.73/127.80
131.83/127.99 num=242, depth=2..8, filters=1189448, revisions=(1210394,useless=651861), ccks=1396733622, wck=125.225, mem=51M74
131.83/127.99 decisions=52800, wrong=24906, backtracks=12548, failedAssignments=15251, nogoods=1715, foundSolutions=24, bestBound=330
131.83/127.99 nFilterCalls=779107, avgTableProportion=0.33453556443466687, avgTableSize=0.6690711288693337
131.83/127.99
132.33/128.44 num=243, depth=6..13, filters=1193378, revisions=(1214697,useless=654269), ccks=1401776180, wck=125.672, mem=55M850
132.33/128.44 decisions=52958, wrong=24980, backtracks=12586, failedAssignments=15296, nogoods=1721, foundSolutions=24, bestBound=330
132.33/128.44 nFilterCalls=781420, avgTableProportion=0.33449937293644905, avgTableSize=0.6689987458728981
132.33/128.44
132.63/128.73 num=244, depth=6..13, filters=1197427, revisions=(1218575,useless=656427), ccks=1405057086, wck=125.969, mem=58M239
132.63/128.73 decisions=53112, wrong=25053, backtracks=12615, failedAssignments=15346, nogoods=1741, foundSolutions=24, bestBound=330
132.63/128.73 nFilterCalls=784585, avgTableProportion=0.334329613744846, avgTableSize=0.668659227489692
132.63/128.73
133.13/129.20 num=245, depth=5..14, filters=1200744, revisions=(1222011,useless=658220), ccks=1410352397, wck=126.437, mem=63M15
133.13/129.20 decisions=53300, wrong=25144, backtracks=12661, failedAssignments=15401, nogoods=1745, foundSolutions=24, bestBound=330
133.13/129.20 nFilterCalls=786550, avgTableProportion=0.3343773440976416, avgTableSize=0.6687546881952832
133.13/129.20
133.43/129.59 num=246, depth=5..16, filters=1204372, revisions=(1226052,useless=660492), ccks=1414720058, wck=126.826, mem=65M403
133.43/129.59 decisions=53489, wrong=25234, backtracks=12706, failedAssignments=15462, nogoods=1757, foundSolutions=24, bestBound=330
133.43/129.59 nFilterCalls=788809, avgTableProportion=0.3344516860228522, avgTableSize=0.6689033720457044
133.43/129.59
134.23/130.36 num=247, depth=6..13, filters=1209579, revisions=(1231778,useless=663467), ccks=1423460019, wck=127.595, mem=70M179
134.23/130.36 decisions=53719, wrong=25345, backtracks=12768, failedAssignments=15529, nogoods=1764, foundSolutions=24, bestBound=330
134.23/130.36 nFilterCalls=791784, avgTableProportion=0.33437212674163663, avgTableSize=0.6687442534832733
134.23/130.36
134.84/130.95 num=248, depth=5..13, filters=1216035, revisions=(1238349,useless=667017), ccks=1429945831, wck=128.181, mem=77M344
134.84/130.95 decisions=53963, wrong=25464, backtracks=12837, failedAssignments=15603, nogoods=1766, foundSolutions=24, bestBound=330
134.84/130.95 nFilterCalls=796005, avgTableProportion=0.3342931262994579, avgTableSize=0.6685862525989158
134.84/130.95
135.34/131.46 num=249, depth=6..15, filters=1220508, revisions=(1243346,useless=669765), ccks=1435725507, wck=128.692, mem=82M120
135.34/131.46 decisions=54185, wrong=25571, backtracks=12871, failedAssignments=15684, nogoods=1770, foundSolutions=24, bestBound=330
135.34/131.46 nFilterCalls=798381, avgTableProportion=0.33426709803965776, avgTableSize=0.6685341960793155
135.34/131.46
136.14/132.27 num=250, depth=6..15, filters=1227852, revisions=(1250948,useless=673896), ccks=1444846902, wck=129.505, mem=89M285
136.14/132.27 decisions=54490, wrong=25719, backtracks=12951, failedAssignments=15773, nogoods=1774, foundSolutions=24, bestBound=330
136.14/132.27 nFilterCalls=802966, avgTableProportion=0.3344089288961176, avgTableSize=0.6688178577922352
136.14/132.27
137.05/133.12 num=251, depth=6..17, filters=1236398, revisions=(1259880,useless=678742), ccks=1454332956, wck=130.352, mem=96M450
137.05/133.12 decisions=54842, wrong=25891, backtracks=13049, failedAssignments=15871, nogoods=1778, foundSolutions=24, bestBound=330
137.05/133.12 nFilterCalls=808439, avgTableProportion=0.33405055916401855, avgTableSize=0.6681011183280371
137.05/133.12
138.05/134.13 num=252, depth=6..15, filters=1245435, revisions=(1268953,useless=683502), ccks=1465732208, wck=131.368, mem=106M2
138.05/134.13 decisions=55221, wrong=26076, backtracks=13147, failedAssignments=15979, nogoods=1786, foundSolutions=24, bestBound=330
138.05/134.13 nFilterCalls=814104, avgTableProportion=0.33437128425852225, avgTableSize=0.6687425685170445
138.05/134.13
138.74/134.85 num=253, depth=6..14, filters=1253936, revisions=(1277978,useless=688397), ccks=1473697503, wck=132.088, mem=113M167
138.74/134.85 decisions=55611, wrong=26267, backtracks=13253, failedAssignments=16098, nogoods=1795, foundSolutions=24, bestBound=330
138.74/134.85 nFilterCalls=819797, avgTableProportion=0.3340308637382181, avgTableSize=0.6680617274764362
138.74/134.85
139.66/135.71 num=254, depth=5..14, filters=1266163, revisions=(1289862,useless=694780), ccks=1483019964, wck=132.945, mem=122M720
139.66/135.71 decisions=56048, wrong=26482, backtracks=13376, failedAssignments=16229, nogoods=1803, foundSolutions=24, bestBound=330
139.66/135.71 nFilterCalls=828193, avgTableProportion=0.3341328651654868, avgTableSize=0.6682657303309736
139.66/135.71
140.56/136.66 num=255, depth=5..15, filters=1278753, revisions=(1302782,useless=701953), ccks=1493459789, wck=133.897, mem=134M661
140.56/136.66 decisions=56569, wrong=26739, backtracks=13526, failedAssignments=16373, nogoods=1807, foundSolutions=24, bestBound=330
140.56/136.66 nFilterCalls=836547, avgTableProportion=0.334085233704741, avgTableSize=0.668170467409482
140.56/136.66
141.87/137.90 num=256, depth=6..18, filters=1288733, revisions=(1313556,useless=707792), ccks=1507342526, wck=135.131, mem=24M838
141.87/137.90 decisions=57103, wrong=27002, backtracks=13662, failedAssignments=16531, nogoods=1813, foundSolutions=24, bestBound=330
141.87/137.90 nFilterCalls=842568, avgTableProportion=0.3343124827907065, avgTableSize=0.668624965581413
141.87/137.90
142.67/138.80 num=257, depth=6..15, filters=1301351, revisions=(1326016,useless=714535), ccks=1517219114, wck=136.029, mem=36M626
142.67/138.80 decisions=57590, wrong=27242, backtracks=13749, failedAssignments=16705, nogoods=1818, foundSolutions=24, bestBound=330
142.67/138.80 nFilterCalls=850693, avgTableProportion=0.3343920779881814, avgTableSize=0.6687841559763628
142.67/138.80
144.47/140.57 num=258, depth=6..19, filters=1316914, revisions=(1342765,useless=723913), ccks=1537242313, wck=137.804, mem=50M772
144.47/140.57 decisions=58258, wrong=27571, backtracks=13943, failedAssignments=16896, nogoods=1828, foundSolutions=24, bestBound=330
144.47/140.57 nFilterCalls=860580, avgTableProportion=0.3341362801831323, avgTableSize=0.6682725603662646
144.47/140.57
146.47/142.56 num=259, depth=5..16, filters=1341602, revisions=(1366395,useless=736738), ccks=1559320389, wck=139.791, mem=69M633
146.47/142.56 decisions=59022, wrong=27948, backtracks=14162, failedAssignments=17107, nogoods=1838, foundSolutions=24, bestBound=330
146.47/142.56 nFilterCalls=877300, avgTableProportion=0.3341091986777613, avgTableSize=0.6682183973555226
146.47/142.56
147.98/144.08 num=260, depth=5..21, filters=1362091, revisions=(1386369,useless=747892), ccks=1576129689, wck=141.312, mem=86M136
147.98/144.08 decisions=59816, wrong=28342, backtracks=14381, failedAssignments=17339, nogoods=1844, foundSolutions=24, bestBound=330
147.98/144.08 nFilterCalls=891813, avgTableProportion=0.33362935951819495, avgTableSize=0.6672587190363899
147.98/144.08
149.67/145.70 num=261, depth=5..17, filters=1381258, revisions=(1406696,useless=759109), ccks=1594084623, wck=142.933, mem=104M997
149.67/145.70 decisions=60663, wrong=28763, backtracks=14616, failedAssignments=17594, nogoods=1850, foundSolutions=24, bestBound=330
149.67/145.70 nFilterCalls=903769, avgTableProportion=0.33388122407385074, avgTableSize=0.6677624481477015
149.67/145.70
151.57/147.69 num=262, depth=6..17, filters=1405462, revisions=(1430466,useless=772154), ccks=1616176917, wck=144.92, mem=126M216
151.57/147.69 decisions=61585, wrong=29219, backtracks=14858, failedAssignments=17875, nogoods=1858, foundSolutions=24, bestBound=330
151.57/147.69 nFilterCalls=920649, avgTableProportion=0.3337737834940352, avgTableSize=0.6675475669880704
151.57/147.69
153.17/149.26 num=263, depth=5..18, filters=1429926, revisions=(1453386,useless=784597), ccks=1633358928, wck=146.498, mem=24M807
153.17/149.26 decisions=62518, wrong=29681, backtracks=15061, failedAssignments=18184, nogoods=1867, foundSolutions=24, bestBound=330
153.17/149.26 nFilterCalls=936853, avgTableProportion=0.33409403609744537, avgTableSize=0.6681880721948907
153.17/149.26
155.67/151.78 num=264, depth=5..21, filters=1460369, revisions=(1482746,useless=800565), ccks=1661174189, wck=149.018, mem=50M401
155.67/151.78 decisions=63699, wrong=30265, backtracks=15394, failedAssignments=18524, nogoods=1876, foundSolutions=24, bestBound=330
155.67/151.78 nFilterCalls=957627, avgTableProportion=0.33397345730644606, avgTableSize=0.6679469146128921
155.67/151.78
158.47/154.53 num=265, depth=5..16, filters=1492462, revisions=(1514530,useless=817773), ccks=1691555761, wck=151.762, mem=78M323
158.47/154.53 decisions=64986, wrong=30905, backtracks=15773, failedAssignments=18898, nogoods=1888, foundSolutions=24, bestBound=330
158.47/154.53 nFilterCalls=980006, avgTableProportion=0.33367754891296586, avgTableSize=0.6673550978259317
158.47/154.53
160.98/157.03 num=266, depth=5..19, filters=1526095, revisions=(1548347,useless=836199), ccks=1718960270, wck=154.262, mem=108M571
160.98/157.03 decisions=66381, wrong=31599, backtracks=16187, failedAssignments=19309, nogoods=1898, foundSolutions=24, bestBound=330
160.98/157.03 nFilterCalls=1001787, avgTableProportion=0.33419778855185783, avgTableSize=0.6683955771037157
160.98/157.03
164.78/160.87 num=267, depth=5..19, filters=1556963, revisions=(1582989,useless=855299), ccks=1762182740, wck=158.109, mem=24M718
164.78/160.87 decisions=67960, wrong=32384, backtracks=16614, failedAssignments=19761, nogoods=1904, foundSolutions=24, bestBound=330
164.78/160.87 nFilterCalls=1020011, avgTableProportion=0.334405217198638, avgTableSize=0.668810434397276
164.78/160.87
167.28/163.37 num=268, depth=5..18, filters=1594898, revisions=(1620194,useless=875384), ccks=1789055112, wck=160.604, mem=54M562
167.28/163.37 decisions=69637, wrong=33220, backtracks=17064, failedAssignments=20258, nogoods=1916, foundSolutions=24, bestBound=330
167.28/163.37 nFilterCalls=1044985, avgTableProportion=0.33439092427164024, avgTableSize=0.6687818485432805
167.28/163.37
170.59/166.60 num=269, depth=4..16, filters=1649752, revisions=(1671051,useless=902863), ccks=1823686876, wck=163.837, mem=98M180
170.59/166.60 decisions=71504, wrong=34149, backtracks=17590, failedAssignments=20805, nogoods=1927, foundSolutions=24, bestBound=330
170.59/166.60 nFilterCalls=1082819, avgTableProportion=0.33469628811463414, avgTableSize=0.6693925762292683
170.59/166.60
174.80/170.81 num=270, depth=5..17, filters=1698428, revisions=(1722870,useless=931330), ccks=1870048008, wck=168.048, mem=31M505
174.80/170.81 decisions=73656, wrong=35221, backtracks=18216, failedAssignments=21407, nogoods=1938, foundSolutions=24, bestBound=330
174.80/170.81 nFilterCalls=1112813, avgTableProportion=0.3348518574100051, avgTableSize=0.6697037148200102
174.80/170.81
179.90/175.98 num=271, depth=4..16, filters=1764845, revisions=(1786834,useless=965207), ccks=1927321953, wck=173.217, mem=88M117
179.90/175.98 decisions=75920, wrong=36349, backtracks=18862, failedAssignments=22069, nogoods=1947, foundSolutions=24, bestBound=330
179.90/175.98 nFilterCalls=1157346, avgTableProportion=0.33382583946373856, avgTableSize=0.6676516789274771
179.90/175.98
185.23/181.24 num=272, depth=4..15, filters=1816905, revisions=(1842385,useless=995831), ccks=1986067897, wck=178.473, mem=24M648
185.23/181.24 decisions=78271, wrong=37521, backtracks=19481, failedAssignments=22797, nogoods=1956, foundSolutions=24, bestBound=330
185.23/181.24 nFilterCalls=1189902, avgTableProportion=0.33450737959932836, avgTableSize=0.6690147591986567
185.23/181.24
190.53/186.57 num=273, depth=4..19, filters=1892190, revisions=(1917972,useless=1037530), ccks=2044727252, wck=183.801, mem=84M943
190.53/186.57 decisions=81044, wrong=38904, backtracks=20246, failedAssignments=23598, nogoods=1964, foundSolutions=24, bestBound=330
190.53/186.57 nFilterCalls=1239464, avgTableProportion=0.33407666539730074, avgTableSize=0.6681533307946015
190.53/186.57
197.15/193.14 num=274, depth=4..17, filters=1970363, revisions=(1992860,useless=1078464), ccks=2117769914, wck=190.379, mem=33M431
197.15/193.14 decisions=84089, wrong=40424, backtracks=21065, failedAssignments=24479, nogoods=1974, foundSolutions=24, bestBound=330
197.15/193.14 nFilterCalls=1292750, avgTableProportion=0.3342506285051247, avgTableSize=0.6685012570102494
197.15/193.14
203.74/199.79 num=275, depth=5..19, filters=2032124, revisions=(2058975,useless=1113991), ccks=2191611635, wck=197.026, mem=97M284
203.74/199.79 decisions=87195, wrong=41973, backtracks=21879, failedAssignments=25449, nogoods=1985, foundSolutions=24, bestBound=330
203.74/199.79 nFilterCalls=1329474, avgTableProportion=0.3348094810428786, avgTableSize=0.6696189620857572
203.74/199.79
211.35/207.37 num=276, depth=4..16, filters=2136308, revisions=(2155885,useless=1166766), ccks=2274646778, wck=204.604, mem=70M389
211.35/207.37 decisions=90873, wrong=43808, backtracks=22953, failedAssignments=26516, nogoods=1997, foundSolutions=24, bestBound=330
211.35/207.37 nFilterCalls=1402731, avgTableProportion=0.33479262952055666, avgTableSize=0.6695852590411133
211.35/207.37
218.28/214.29 num=277, depth=3..16, filters=2231519, revisions=(2250621,useless=1218188), ccks=2351130299, wck=211.528, mem=44M30
218.28/214.29 decisions=94690, wrong=45713, backtracks=23932, failedAssignments=27689, nogoods=2010, foundSolutions=24, bestBound=330
218.28/214.29 nFilterCalls=1466798, avgTableProportion=0.3350123875271169, avgTableSize=0.6700247750542337
218.28/214.29
227.79/223.76 num=278, depth=4..18, filters=2349551, revisions=(2362774,useless=1279487), ccks=2456658386, wck=220.991, mem=26M847
227.79/223.76 decisions=99205, wrong=47968, backtracks=25277, failedAssignments=28980, nogoods=2022, foundSolutions=24, bestBound=330
227.79/223.76 nFilterCalls=1547703, avgTableProportion=0.3356864979908936, avgTableSize=0.6713729959817872
227.79/223.76
237.40/233.36 num=279, depth=4..16, filters=2474001, revisions=(2486774,useless=1345625), ccks=2562737368, wck=230.599, mem=31M2
237.40/233.36 decisions=104192, wrong=50458, backtracks=26802, failedAssignments=30400, nogoods=2035, foundSolutions=24, bestBound=330
237.40/233.36 nFilterCalls=1628061, avgTableProportion=0.3367143491552221, avgTableSize=0.6734286983104442
237.40/233.36
247.71/243.60 num=280, depth=4..19, filters=2601086, revisions=(2608800,useless=1411759), ccks=2676516023, wck=240.836, mem=45M180
247.71/243.60 decisions=109338, wrong=53027, backtracks=28116, failedAssignments=31962, nogoods=2046, foundSolutions=24, bestBound=330
247.71/243.60 nFilterCalls=1714931, avgTableProportion=0.33602576430188735, avgTableSize=0.6720515286037747
247.71/243.60
257.62/253.53 o 328
257.62/253.53 num=281, depth=4..104, filters=2752954, revisions=(2755974,useless=1491606), ccks=2785423168, wck=250.765, mem=63M19
257.62/253.53 decisions=114507, wrong=55598, backtracks=29624, failedAssignments=33436, nogoods=2057, foundSolutions=25, bestBound=328
257.62/253.53 nFilterCalls=1818041, avgTableProportion=0.3357732306367128, avgTableSize=0.6715464612734257
257.62/253.53
271.03/267.00 num=282, depth=4..16, filters=2902049, revisions=(2900912,useless=1567005), ccks=2935100978, wck=264.235, mem=28M636
271.03/267.00 decisions=121011, wrong=58845, backtracks=31403, failedAssignments=35326, nogoods=2070, foundSolutions=25, bestBound=328
271.03/267.00 nFilterCalls=1912978, avgTableProportion=0.33814241460173616, avgTableSize=0.6762848292034723
271.03/267.00
271.24/267.16 num=283, depth=7..12, filters=2903341, revisions=(2902212,useless=1567732), ccks=2936857458, wck=264.39, mem=30M607
271.24/267.16 decisions=121057, wrong=58864, backtracks=31412, failedAssignments=35337, nogoods=2075, foundSolutions=25, bestBound=328
271.24/267.16 nFilterCalls=1913856, avgTableProportion=0.33813515750401285, avgTableSize=0.6762703150080257
271.24/267.16
271.33/267.29 num=284, depth=5..15, filters=2904024, revisions=(2902974,useless=1568119), ccks=2938343976, wck=264.52, mem=30M607
271.33/267.29 decisions=121104, wrong=58882, backtracks=31419, failedAssignments=35349, nogoods=2080, foundSolutions=25, bestBound=328
271.33/267.29 nFilterCalls=1914314, avgTableProportion=0.3381595182399544, avgTableSize=0.6763190364799088
271.33/267.29
271.53/267.46 num=285, depth=7..11, filters=2905816, revisions=(2904772,useless=1569062), ccks=2940328428, wck=264.695, mem=32M578
271.53/267.46 decisions=121163, wrong=58908, backtracks=31434, failedAssignments=35362, nogoods=2088, foundSolutions=25, bestBound=328
271.53/267.46 nFilterCalls=1915384, avgTableProportion=0.3381598676818852, avgTableSize=0.6763197353637704
271.53/267.46
271.73/267.61 num=286, depth=7..11, filters=2907000, revisions=(2905887,useless=1569595), ccks=2942030970, wck=264.845, mem=34M549
271.73/267.61 decisions=121214, wrong=58930, backtracks=31446, failedAssignments=35376, nogoods=2092, foundSolutions=25, bestBound=328
271.73/267.61 nFilterCalls=1916127, avgTableProportion=0.3381683468788864, avgTableSize=0.6763366937577728
271.73/267.61
271.83/267.79 num=287, depth=6..12, filters=2908591, revisions=(2907587,useless=1570520), ccks=2944116926, wck=265.029, mem=36M521
271.83/267.79 decisions=121276, wrong=58957, backtracks=31462, failedAssignments=35392, nogoods=2095, foundSolutions=25, bestBound=328
271.83/267.79 nFilterCalls=1917119, avgTableProportion=0.33817905930722086, avgTableSize=0.6763581186144417
271.83/267.79
272.15/268.01 num=288, depth=8..14, filters=2910452, revisions=(2909504,useless=1571535), ccks=2946547974, wck=265.243, mem=36M521
272.15/268.01 decisions=121345, wrong=58987, backtracks=31481, failedAssignments=35409, nogoods=2099, foundSolutions=25, bestBound=328
272.15/268.01 nFilterCalls=1918391, avgTableProportion=0.33817845267205693, avgTableSize=0.6763569053441139
272.15/268.01
272.34/268.20 num=289, depth=7..12, filters=2911882, revisions=(2911021,useless=1572301), ccks=2948721490, wck=265.434, mem=38M492
272.34/268.20 decisions=121408, wrong=59014, backtracks=31493, failedAssignments=35428, nogoods=2105, foundSolutions=25, bestBound=328
272.34/268.20 nFilterCalls=1919229, avgTableProportion=0.3382045602687329, avgTableSize=0.6764091205374658
272.34/268.20
272.54/268.40 num=290, depth=6..11, filters=2913697, revisions=(2912802,useless=1573199), ccks=2950987184, wck=265.635, mem=40M463
272.54/268.40 decisions=121486, wrong=59049, backtracks=31512, failedAssignments=35449, nogoods=2111, foundSolutions=25, bestBound=328
272.54/268.40 nFilterCalls=1920408, avgTableProportion=0.3382096408679822, avgTableSize=0.6764192817359644
272.54/268.40
272.64/268.60 num=291, depth=4..11, filters=2916130, revisions=(2915168,useless=1574416), ccks=2953131679, wck=265.829, mem=44M406
272.64/268.60 decisions=121566, wrong=59086, backtracks=31531, failedAssignments=35472, nogoods=2113, foundSolutions=25, bestBound=328
272.64/268.60 nFilterCalls=1921910, avgTableProportion=0.338250750555437, avgTableSize=0.676501501110874
272.64/268.60
272.84/268.79 num=292, depth=7..11, filters=2918120, revisions=(2917260,useless=1575523), ccks=2955371011, wck=266.029, mem=44M406
272.84/268.79 decisions=121655, wrong=59127, backtracks=31554, failedAssignments=35497, nogoods=2117, foundSolutions=25, bestBound=328
272.84/268.79 nFilterCalls=1923027, avgTableProportion=0.3382700814913155, avgTableSize=0.676540162982631
272.84/268.79
273.17/269.09 num=293, depth=6..14, filters=2920319, revisions=(2919439,useless=1576603), ccks=2958738915, wck=266.325, mem=48M349
273.17/269.09 decisions=121757, wrong=59175, backtracks=31582, failedAssignments=35525, nogoods=2119, foundSolutions=25, bestBound=328
273.17/269.09 nFilterCalls=1924361, avgTableProportion=0.33827540674540796, avgTableSize=0.6765508134908159
273.17/269.09
273.36/269.25 num=294, depth=6..16, filters=2922257, revisions=(2921287,useless=1577630), ccks=2960553164, wck=266.487, mem=50M320
273.36/269.25 decisions=121851, wrong=59219, backtracks=31602, failedAssignments=35556, nogoods=2120, foundSolutions=25, bestBound=328
273.36/269.25 nFilterCalls=1926102, avgTableProportion=0.3382214441395108, avgTableSize=0.6764428882790215
273.36/269.25
273.66/269.55 num=295, depth=4..13, filters=2925688, revisions=(2924591,useless=1579391), ccks=2963875239, wck=266.783, mem=52M291
273.66/269.55 decisions=121986, wrong=59284, backtracks=31641, failedAssignments=35590, nogoods=2122, foundSolutions=25, bestBound=328
273.66/269.55 nFilterCalls=1928298, avgTableProportion=0.3382781084666374, avgTableSize=0.6765562169332748
273.66/269.55
274.17/270.02 num=296, depth=6..12, filters=2929065, revisions=(2928111,useless=1581185), ccks=2969243345, wck=267.253, mem=56M234
274.17/270.02 decisions=122125, wrong=59350, backtracks=31683, failedAssignments=35627, nogoods=2128, foundSolutions=25, bestBound=328
274.17/270.02 nFilterCalls=1930225, avgTableProportion=0.33834812003781944, avgTableSize=0.6766962400756389
274.17/270.02
274.66/270.52 num=297, depth=5..13, filters=2933537, revisions=(2932932,useless=1583786), ccks=2974942416, wck=267.756, mem=60M177
274.66/270.52 decisions=122298, wrong=59433, backtracks=31735, failedAssignments=35668, nogoods=2133, foundSolutions=25, bestBound=328
274.66/270.52 nFilterCalls=1932812, avgTableProportion=0.3383921974822176, avgTableSize=0.6767843949644352
274.66/270.52
274.96/270.87 num=298, depth=3..13, filters=2937601, revisions=(2936962,useless=1585980), ccks=2978786822, wck=268.102, mem=64M119
274.96/270.87 decisions=122444, wrong=59503, backtracks=31774, failedAssignments=35713, nogoods=2136, foundSolutions=25, bestBound=328
274.96/270.87 nFilterCalls=1935722, avgTableProportion=0.3383993156042035, avgTableSize=0.676798631208407
274.96/270.87
275.40/271.22 num=299, depth=5..18, filters=2940745, revisions=(2940494,useless=1587894), ccks=2982815051, wck=268.457, mem=68M62
275.40/271.22 decisions=122624, wrong=59587, backtracks=31818, failedAssignments=35763, nogoods=2149, foundSolutions=25, bestBound=328
275.40/271.22 nFilterCalls=1937658, avgTableProportion=0.3384183380142419, avgTableSize=0.6768366760284839
275.40/271.22
275.80/271.65 num=300, depth=6..11, filters=2945337, revisions=(2945039,useless=1590339), ccks=2987582647, wck=268.885, mem=72M4
275.80/271.65 decisions=122809, wrong=59676, backtracks=31869, failedAssignments=35818, nogoods=2154, foundSolutions=25, bestBound=328
275.80/271.65 nFilterCalls=1940549, avgTableProportion=0.33845061371807666, avgTableSize=0.6769012274361533
275.80/271.65
276.31/272.15 num=301, depth=6..14, filters=2950047, revisions=(2949948,useless=1593034), ccks=2993279985, wck=269.386, mem=75M947
276.31/272.15 decisions=123010, wrong=59773, backtracks=31921, failedAssignments=35879, nogoods=2161, foundSolutions=25, bestBound=328
276.31/272.15 nFilterCalls=1943448, avgTableProportion=0.3384402361164281, avgTableSize=0.6768804722328562
276.31/272.15
276.60/272.45 num=302, depth=6..16, filters=2954792, revisions=(2954506,useless=1595453), ccks=2996494019, wck=269.681, mem=79M890
276.60/272.45 decisions=123228, wrong=59877, backtracks=31973, failedAssignments=35946, nogoods=2165, foundSolutions=25, bestBound=328
276.60/272.45 nFilterCalls=1946799, avgTableProportion=0.33837674048527866, avgTableSize=0.6767534809705573
276.60/272.45
277.21/273.05 num=303, depth=6..17, filters=2962610, revisions=(2961851,useless=1599322), ccks=3003253931, wck=270.287, mem=85M804
277.21/273.05 decisions=123526, wrong=60022, backtracks=32059, failedAssignments=36020, nogoods=2171, foundSolutions=25, bestBound=328
277.21/273.05 nFilterCalls=1952330, avgTableProportion=0.3384025753842844, avgTableSize=0.6768051507685688
277.21/273.05
278.10/273.92 num=304, depth=4..13, filters=2968797, revisions=(2968615,useless=1603065), ccks=3013141185, wck=271.153, mem=93M689
278.10/273.92 decisions=123795, wrong=60154, backtracks=32135, failedAssignments=36101, nogoods=2175, foundSolutions=25, bestBound=328
278.10/273.92 nFilterCalls=1956063, avgTableProportion=0.33848194051009606, avgTableSize=0.6769638810201921
278.10/273.92
278.80/274.67 num=305, depth=6..17, filters=2977132, revisions=(2976718,useless=1607411), ccks=3021592743, wck=271.908, mem=101M574
278.80/274.67 decisions=124126, wrong=60316, backtracks=32229, failedAssignments=36190, nogoods=2186, foundSolutions=25, bestBound=328
278.80/274.67 nFilterCalls=1961414, avgTableProportion=0.33852873488207996, avgTableSize=0.6770574697641599
278.80/274.67
279.50/275.36 num=306, depth=4..17, filters=2983625, revisions=(2984125,useless=1611514), ccks=3029367421, wck=272.595, mem=107M488
279.50/275.36 decisions=124470, wrong=60484, backtracks=32319, failedAssignments=36288, nogoods=2191, foundSolutions=25, bestBound=328
279.50/275.36 nFilterCalls=1965210, avgTableProportion=0.33849868461894655, avgTableSize=0.6769973692378931
279.50/275.36
280.00/275.82 num=307, depth=5..13, filters=2993945, revisions=(2992833,useless=1616063), ccks=3034149716, wck=273.054, mem=115M373
280.00/275.82 decisions=124833, wrong=60663, backtracks=32420, failedAssignments=36396, nogoods=2198, foundSolutions=25, bestBound=328
280.00/275.82 nFilterCalls=1973027, avgTableProportion=0.3385673384094592, avgTableSize=0.6771346768189184
280.00/275.82
280.50/276.39 num=308, depth=5..14, filters=3004462, revisions=(3002850,useless=1621466), ccks=3040326068, wck=273.629, mem=26M712
280.50/276.39 decisions=125237, wrong=60860, backtracks=32516, failedAssignments=36515, nogoods=2211, foundSolutions=25, bestBound=328
280.50/276.39 nFilterCalls=1980490, avgTableProportion=0.3385195077985751, avgTableSize=0.6770390155971502
280.50/276.39
281.31/277.17 num=309, depth=6..15, filters=3014259, revisions=(3012314,useless=1626483), ccks=3048960382, wck=274.402, mem=34M514
281.31/277.17 decisions=125647, wrong=61060, backtracks=32602, failedAssignments=36646, nogoods=2231, foundSolutions=25, bestBound=328
281.31/277.17 nFilterCalls=1987364, avgTableProportion=0.3385247996844061, avgTableSize=0.6770495993688121
281.31/277.17
282.40/278.29 num=310, depth=5..16, filters=3024214, revisions=(3023132,useless=1632400), ccks=3061605679, wck=275.524, mem=46M216
282.40/278.29 decisions=126137, wrong=61300, backtracks=32738, failedAssignments=36790, nogoods=2241, foundSolutions=25, bestBound=328
282.40/278.29 nFilterCalls=1993244, avgTableProportion=0.33861233245904665, avgTableSize=0.6772246649180933
282.40/278.29
283.80/279.67 num=311, depth=0..12, filters=3034274, revisions=(3033830,useless=1637711), ccks=3077274642, wck=276.899, mem=57M918
283.80/279.67 decisions=126688, wrong=61573, backtracks=32877, failedAssignments=36948, nogoods=2245, foundSolutions=25, bestBound=328
283.80/279.67 nFilterCalls=1998541, avgTableProportion=0.3386320320673932, avgTableSize=0.6772640641347863
283.80/279.67
284.91/280.72 num=312, depth=4..16, filters=3048252, revisions=(3047401,useless=1645011), ccks=3088997151, wck=277.958, mem=69M620
284.91/280.72 decisions=127298, wrong=61875, backtracks=33031, failedAssignments=37122, nogoods=2250, foundSolutions=25, bestBound=328
284.91/280.72 nFilterCalls=2007983, avgTableProportion=0.3387904678475864, avgTableSize=0.6775809356951727
284.91/280.72
285.90/281.79 num=313, depth=6..15, filters=3061393, revisions=(3060639,useless=1652069), ccks=3100949580, wck=279.028, mem=81M322
285.90/281.79 decisions=127896, wrong=62168, backtracks=33169, failedAssignments=37313, nogoods=2258, foundSolutions=25, bestBound=328
285.90/281.79 nFilterCalls=2016960, avgTableProportion=0.33889566476281135, avgTableSize=0.6777913295256227
285.90/281.79
287.31/283.16 num=314, depth=4..15, filters=3081440, revisions=(3080067,useless=1662397), ccks=3116030463, wck=280.398, mem=96M924
287.31/283.16 decisions=128646, wrong=62540, backtracks=33379, failedAssignments=37524, nogoods=2264, foundSolutions=25, bestBound=328
287.31/283.16 nFilterCalls=2030492, avgTableProportion=0.33891465713728497, avgTableSize=0.6778293142745699
287.31/283.16
288.71/284.59 num=315, depth=5..18, filters=3101085, revisions=(3099378,useless=1673038), ccks=3131798452, wck=281.822, mem=112M527
288.71/284.59 decisions=129407, wrong=62917, backtracks=33572, failedAssignments=37756, nogoods=2272, foundSolutions=25, bestBound=328
288.71/284.59 nFilterCalls=2044074, avgTableProportion=0.3388796100336876, avgTableSize=0.6777592200673752
288.71/284.59
289.71/285.51 num=316, depth=5..16, filters=3117864, revisions=(3115563,useless=1681762), ccks=3141718889, wck=282.745, mem=28M567
289.71/285.51 decisions=130143, wrong=63279, backtracks=33732, failedAssignments=38011, nogoods=2289, foundSolutions=25, bestBound=328
289.71/285.51 nFilterCalls=2055734, avgTableProportion=0.3388811490202526, avgTableSize=0.6777622980405053
289.71/285.51
291.61/287.41 num=317, depth=5..18, filters=3143320, revisions=(3140707,useless=1695683), ccks=3162652112, wck=284.641, mem=47M861
291.61/287.41 decisions=131108, wrong=63758, backtracks=34003, failedAssignments=38292, nogoods=2305, foundSolutions=25, bestBound=328
291.61/287.41 nFilterCalls=2072366, avgTableProportion=0.3389625674229359, avgTableSize=0.6779251348458718
291.61/287.41
293.71/289.58 num=318, depth=5..15, filters=3164172, revisions=(3162016,useless=1706969), ccks=3187089712, wck=286.818, mem=69M84
293.71/289.58 decisions=132094, wrong=64247, backtracks=34239, failedAssignments=38601, nogoods=2315, foundSolutions=25, bestBound=328
293.71/289.58 nFilterCalls=2084329, avgTableProportion=0.3390964190394127, avgTableSize=0.6781928380788254
293.71/289.58
295.22/291.01 num=319, depth=4..18, filters=3191465, revisions=(3187305,useless=1720525), ccks=3202293611, wck=288.243, mem=90M307
295.22/291.01 decisions=133212, wrong=64802, backtracks=34509, failedAssignments=38941, nogoods=2325, foundSolutions=25, bestBound=328
295.22/291.01 nFilterCalls=2103603, avgTableProportion=0.3392115812727021, avgTableSize=0.6784231625454042
295.22/291.01
297.41/293.21 num=320, depth=3..14, filters=3227700, revisions=(3222439,useless=1739252), ccks=3226071917, wck=290.44, mem=117M318
297.41/293.21 decisions=134505, wrong=65446, backtracks=34894, failedAssignments=39315, nogoods=2331, foundSolutions=25, bestBound=328
297.41/293.21 nFilterCalls=2127620, avgTableProportion=0.3393308015529089, avgTableSize=0.6786616031058178
297.41/293.21
299.62/295.45 num=321, depth=4..16, filters=3258253, revisions=(3252587,useless=1755683), ccks=3250707375, wck=292.681, mem=45M704
299.62/295.45 decisions=135805, wrong=66091, backtracks=35215, failedAssignments=39726, nogoods=2341, foundSolutions=25, bestBound=328
299.62/295.45 nFilterCalls=2148607, avgTableProportion=0.3392598087970485, avgTableSize=0.678519617594097
299.62/295.45
303.12/298.94 num=322, depth=5..18, filters=3289614, revisions=(3283210,useless=1771747), ccks=3290049708, wck=296.174, mem=76M239
303.12/298.94 decisions=137310, wrong=66841, backtracks=35612, failedAssignments=40178, nogoods=2348, foundSolutions=25, bestBound=328
303.12/298.94 nFilterCalls=2169637, avgTableProportion=0.3393680601870267, avgTableSize=0.6787361203740534
303.12/298.94
307.13/302.99 num=323, depth=4..17, filters=3341132, revisions=(3333135,useless=1798276), ccks=3334355795, wck=300.22, mem=26M603
307.13/302.99 decisions=139230, wrong=67798, backtracks=36246, failedAssignments=40675, nogoods=2358, foundSolutions=25, bestBound=328
307.13/302.99 nFilterCalls=2202165, avgTableProportion=0.34023971864051966, avgTableSize=0.6804794372810393
307.13/302.99
309.83/305.61 num=324, depth=4..18, filters=3385317, revisions=(3375008,useless=1819937), ccks=3362662819, wck=302.847, mem=66M239
309.83/305.61 decisions=141035, wrong=68698, backtracks=36716, failedAssignments=41222, nogoods=2362, foundSolutions=25, bestBound=328
309.83/305.61 nFilterCalls=2231751, avgTableProportion=0.34009372013275674, avgTableSize=0.6801874402655135
309.83/305.61
312.04/307.87 num=325, depth=5..18, filters=3415089, revisions=(3407025,useless=1837678), ccks=3387438085, wck=305.105, mem=98M325
312.04/307.87 decisions=142642, wrong=69495, backtracks=36986, failedAssignments=41824, nogoods=2377, foundSolutions=25, bestBound=328
312.04/307.87 nFilterCalls=2247624, avgTableProportion=0.34033138994778483, avgTableSize=0.6806627798955697
312.04/307.87
316.94/312.78 num=326, depth=2..14, filters=3474905, revisions=(3463816,useless=1867109), ccks=3441703258, wck=310.011, mem=58M315
316.94/312.78 decisions=144980, wrong=70661, backtracks=37697, failedAssignments=42486, nogoods=2385, foundSolutions=25, bestBound=328
316.94/312.78 nFilterCalls=2285891, avgTableProportion=0.3413373603553275, avgTableSize=0.682674720710655
316.94/312.78
322.26/318.02 num=327, depth=3..16, filters=3523752, revisions=(3515063,useless=1895048), ccks=3500796175, wck=315.254, mem=112M443
322.26/318.02 decisions=147447, wrong=71889, backtracks=38415, failedAssignments=43214, nogoods=2392, foundSolutions=25, bestBound=328
322.26/318.02 nFilterCalls=2316871, avgTableProportion=0.34130212687715455, avgTableSize=0.6826042537543091
322.26/318.02
325.85/321.63 num=328, depth=4..19, filters=3587667, revisions=(3575369,useless=1926578), ccks=3539720672, wck=318.864, mem=76M396
325.85/321.63 decisions=150128, wrong=73226, backtracks=39080, failedAssignments=44015, nogoods=2401, foundSolutions=25, bestBound=328
325.85/321.63 nFilterCalls=2359873, avgTableProportion=0.3412594660814374, avgTableSize=0.6825189321628748
325.85/321.63
330.66/326.45 num=329, depth=4..20, filters=3659611, revisions=(3643834,useless=1963649), ccks=3592552921, wck=323.685, mem=46M620
330.66/326.45 decisions=153096, wrong=74705, backtracks=39844, failedAssignments=44896, nogoods=2407, foundSolutions=25, bestBound=328
330.66/326.45 nFilterCalls=2410399, avgTableProportion=0.34118044356971605, avgTableSize=0.6823608871394321
330.66/326.45
336.88/332.61 num=330, depth=4..17, filters=3742375, revisions=(3722142,useless=2005195), ccks=3660830544, wck=329.842, mem=112M303
336.88/332.61 decisions=156329, wrong=76318, backtracks=40703, failedAssignments=45866, nogoods=2417, foundSolutions=25, bestBound=328
336.88/332.61 nFilterCalls=2465619, avgTableProportion=0.3413747217230237, avgTableSize=0.6827494434460474
336.88/332.61
345.58/341.32 num=331, depth=3..16, filters=3840149, revisions=(3813896,useless=2053348), ccks=3757942131, wck=338.551, mem=113M136
345.58/341.32 decisions=160156, wrong=78227, backtracks=41861, failedAssignments=46933, nogoods=2422, foundSolutions=25, bestBound=328
345.58/341.32 nFilterCalls=2528676, avgTableProportion=0.34250651328995885, avgTableSize=0.6850130265799177
345.58/341.32
355.89/351.65 num=332, depth=3..17, filters=3929832, revisions=(3909474,useless=2104612), ccks=3874725502, wck=348.879, mem=28M260
355.89/351.65 decisions=164267, wrong=80276, backtracks=43064, failedAssignments=48106, nogoods=2432, foundSolutions=25, bestBound=328
355.89/351.65 nFilterCalls=2581393, avgTableProportion=0.3429834201921211, avgTableSize=0.6859668403842422
355.89/351.65
364.80/360.53 num=333, depth=4..18, filters=4054369, revisions=(4029716,useless=2168808), ccks=3972660548, wck=357.763, mem=43M888
364.80/360.53 decisions=168772, wrong=82526, backtracks=44342, failedAssignments=49397, nogoods=2447, foundSolutions=25, bestBound=328
364.80/360.53 nFilterCalls=2663285, avgTableProportion=0.3428581620066947, avgTableSize=0.6857163240133894
364.80/360.53
371.62/367.34 num=334, depth=2..17, filters=4168482, revisions=(4138080,useless=2227040), ccks=4046346217, wck=364.571, mem=50M539
371.62/367.34 decisions=173362, wrong=84818, backtracks=45463, failedAssignments=50817, nogoods=2455, foundSolutions=25, bestBound=328
371.62/367.34 nFilterCalls=2743260, avgTableProportion=0.3428091030379913, avgTableSize=0.6856182060759826
371.62/367.34
382.37/378.09 num=335, depth=4..18, filters=4296648, revisions=(4262489,useless=2293771), ccks=4166196715, wck=375.323, mem=79M106
382.37/378.09 decisions=178648, wrong=87458, backtracks=46901, failedAssignments=52379, nogoods=2498, foundSolutions=25, bestBound=328
382.37/378.09 nFilterCalls=2828007, avgTableProportion=0.342626096752943, avgTableSize=0.685252193505886
382.37/378.09
395.18/390.86 num=336, depth=3..17, filters=4431476, revisions=(4392103,useless=2361608), ccks=4309306029, wck=388.092, mem=51M238
395.18/390.86 decisions=184677, wrong=90469, backtracks=48540, failedAssignments=54097, nogoods=2508, foundSolutions=25, bestBound=328
395.18/390.86 nFilterCalls=2914343, avgTableProportion=0.3430400951432278, avgTableSize=0.6860801902864556
395.18/390.86
405.29/400.95 num=337, depth=3..18, filters=4591156, revisions=(4537812,useless=2439537), ccks=4418645115, wck=398.185, mem=95M80
405.29/400.95 decisions=191288, wrong=93771, backtracks=50368, failedAssignments=55987, nogoods=2519, foundSolutions=25, bestBound=328
405.29/400.95 nFilterCalls=3024958, avgTableProportion=0.3443596572249929, avgTableSize=0.6887193144499858
405.29/400.95
418.00/413.68 num=338, depth=3..19, filters=4779868, revisions=(4721755,useless=2539571), ccks=4558649748, wck=410.916, mem=83M730
418.00/413.68 decisions=198217, wrong=97233, backtracks=52245, failedAssignments=58066, nogoods=2532, foundSolutions=25, bestBound=328
418.00/413.68 nFilterCalls=3150679, avgTableProportion=0.3442021545197083, avgTableSize=0.6884043090394166
418.00/413.68
431.61/427.25 num=339, depth=3..18, filters=4949411, revisions=(4884318,useless=2627548), ccks=4709044537, wck=424.482, mem=79M836
431.61/427.25 decisions=205511, wrong=100877, backtracks=54038, failedAssignments=60353, nogoods=2544, foundSolutions=25, bestBound=328
431.61/427.25 nFilterCalls=3265554, avgTableProportion=0.34421923508231683, avgTableSize=0.6884384701646337
431.61/427.25
444.93/440.56 num=340, depth=3..18, filters=5124991, revisions=(5054831,useless=2716784), ccks=4855349472, wck=437.792, mem=68M267
444.93/440.56 decisions=213578, wrong=104905, backtracks=56007, failedAssignments=62869, nogoods=2557, foundSolutions=25, bestBound=328
444.93/440.56 nFilterCalls=3382447, avgTableProportion=0.34365771289247105, avgTableSize=0.6873154257849421
444.93/440.56
459.36/454.91 num=341, depth=2..16, filters=5358758, revisions=(5270990,useless=2832858), ccks=5007504885, wck=452.146, mem=43M77
459.36/454.91 decisions=222814, wrong=109520, backtracks=58639, failedAssignments=65637, nogoods=2565, foundSolutions=25, bestBound=328
459.36/454.91 nFilterCalls=3542382, avgTableProportion=0.34523704671037736, avgTableSize=0.6904740934207547
459.36/454.91
479.59/475.11 num=342, depth=2..19, filters=5579460, revisions=(5492191,useless=2952139), ccks=5228713506, wck=472.349, mem=35M297
479.59/475.11 decisions=233045, wrong=114631, backtracks=61273, failedAssignments=68681, nogoods=2608, foundSolutions=25, bestBound=328
479.59/475.11 nFilterCalls=3689199, avgTableProportion=0.34609328474826107, avgTableSize=0.6921865694965221
479.59/475.11
499.39/494.96 num=343, depth=3..19, filters=5914399, revisions=(5798394,useless=3116927), ccks=5438279135, wck=492.192, mem=72M990
499.39/494.96 decisions=245183, wrong=120697, backtracks=64937, failedAssignments=72030, nogoods=2618, foundSolutions=25, bestBound=328
499.39/494.96 nFilterCalls=3923919, avgTableProportion=0.3476168850580249, avgTableSize=0.6952337701160498
499.39/494.96
526.92/522.41 num=344, depth=2..19, filters=6211341, revisions=(6085517,useless=3272910), ccks=5738788750, wck=519.644, mem=78M682
526.92/522.41 decisions=257834, wrong=127018, backtracks=68467, failedAssignments=75714, nogoods=2647, foundSolutions=25, bestBound=328
526.92/522.41 nFilterCalls=4115698, avgTableProportion=0.3486339376698679, avgTableSize=0.6972678753397358
526.92/522.41
552.03/547.44 num=345, depth=2..18, filters=6580430, revisions=(6434590,useless=3461966), ccks=6007656279, wck=544.674, mem=42M608
552.03/547.44 decisions=271171, wrong=133684, backtracks=72023, failedAssignments=79766, nogoods=2657, foundSolutions=25, bestBound=328
552.03/547.44 nFilterCalls=4366133, avgTableProportion=0.34808651042009026, avgTableSize=0.6961730208401805
552.03/547.44
585.56/580.94 num=346, depth=2..18, filters=6891032, revisions=(6757724,useless=3639130), ccks=6377199886, wck=578.177, mem=27M538
585.56/580.94 decisions=286113, wrong=141152, backtracks=75902, failedAssignments=84223, nogoods=2664, foundSolutions=25, bestBound=328
585.56/580.94 nFilterCalls=4565107, avgTableProportion=0.3486470306172451, avgTableSize=0.6972940612344902
585.56/580.94
614.21/609.51 num=347, depth=2..17, filters=7381929, revisions=(7197487,useless=3875510), ccks=6679388422, wck=606.749, mem=65M89
614.21/609.51 decisions=302980, wrong=149581, backtracks=81030, failedAssignments=89126, nogoods=2675, foundSolutions=25, bestBound=328
614.21/609.51 nFilterCalls=4916788, avgTableProportion=0.3502107473415571, avgTableSize=0.7004214946831142
614.21/609.51
647.05/642.39 num=348, depth=2..19, filters=7819673, revisions=(7615123,useless=4102273), ccks=7037266529, wck=639.628, mem=52M328
647.05/642.39 decisions=320724, wrong=158450, backtracks=85653, failedAssignments=94520, nogoods=2683, foundSolutions=25, bestBound=328
647.05/642.39 nFilterCalls=5212026, avgTableProportion=0.34983085272406544, avgTableSize=0.6996617054481309
647.05/642.39
672.28/667.54 o 326
672.28/667.54 num=349, depth=2..104, filters=8170331, revisions=(7940497,useless=4276970), ccks=7308136905, wck=664.777, mem=49M910
672.28/667.54 decisions=334737, wrong=165446, backtracks=89471, failedAssignments=98722, nogoods=2696, foundSolutions=26, bestBound=326
672.28/667.54 nFilterCalls=5457899, avgTableProportion=0.3507761869539909, avgTableSize=0.7015523739079818
672.28/667.54
713.74/708.99 num=350, depth=2..18, filters=8703476, revisions=(8443585,useless=4546636), ccks=7755251429, wck=706.22, mem=63M641
713.74/708.99 decisions=356837, wrong=176493, backtracks=95537, failedAssignments=105248, nogoods=2725, foundSolutions=26, bestBound=326
713.74/708.99 nFilterCalls=5816831, avgTableProportion=0.3524592686292588, avgTableSize=0.7049185372585176
713.74/708.99
713.85/709.10 num=351, depth=9..15, filters=8704384, revisions=(8444493,useless=4547100), ccks=7756523406, wck=706.335, mem=64M721
713.85/709.10 decisions=356878, wrong=176509, backtracks=95543, failedAssignments=105259, nogoods=2727, foundSolutions=26, bestBound=326
713.85/709.10 nFilterCalls=5817452, avgTableProportion=0.3524547344782561, avgTableSize=0.7049094689565122
713.85/709.10
714.04/709.23 num=352, depth=6..11, filters=8705270, revisions=(8445424,useless=4547597), ccks=7757991007, wck=706.467, mem=65M801
714.04/709.23 decisions=356924, wrong=176527, backtracks=95549, failedAssignments=105271, nogoods=2732, foundSolutions=26, bestBound=326
714.04/709.23 nFilterCalls=5818016, avgTableProportion=0.35246216235912725, avgTableSize=0.7049243247182545
714.04/709.23
714.24/709.41 num=353, depth=7..12, filters=8707405, revisions=(8447503,useless=4548728), ccks=7759884215, wck=706.64, mem=67M961
714.24/709.41 decisions=356979, wrong=176551, backtracks=95564, failedAssignments=105284, nogoods=2735, foundSolutions=26, bestBound=326
714.24/709.41 nFilterCalls=5819679, avgTableProportion=0.3524488206308286, avgTableSize=0.7048976412616572
714.24/709.41
714.44/709.62 num=354, depth=6..10, filters=8709263, revisions=(8449421,useless=4549729), ccks=7762225887, wck=706.851, mem=69M41
714.44/709.62 decisions=357046, wrong=176581, backtracks=95583, failedAssignments=105298, nogoods=2739, foundSolutions=26, bestBound=326
714.44/709.62 nFilterCalls=5820827, avgTableProportion=0.35245567339486295, avgTableSize=0.7049113467897259
714.44/709.62
714.54/709.77 num=355, depth=8..13, filters=8710274, revisions=(8450524,useless=4550299), ccks=7763926622, wck=707.003, mem=70M121
714.54/709.77 decisions=357100, wrong=176603, backtracks=95595, failedAssignments=105314, nogoods=2743, foundSolutions=26, bestBound=326
714.54/709.77 nFilterCalls=5821440, avgTableProportion=0.3524591853562005, avgTableSize=0.704918370712401
714.54/709.77
714.74/709.99 num=356, depth=5..11, filters=8711889, revisions=(8452332,useless=4551275), ccks=7766383679, wck=707.222, mem=72M281
714.74/709.99 decisions=357166, wrong=176633, backtracks=95615, failedAssignments=105331, nogoods=2745, foundSolutions=26, bestBound=326
714.74/709.99 nFilterCalls=5822329, avgTableProportion=0.35246436606382087, avgTableSize=0.7049287321276417
714.74/709.99
715.04/710.20 num=357, depth=7..14, filters=8713144, revisions=(8453676,useless=4551968), ccks=7768773174, wck=707.435, mem=73M361
715.04/710.20 decisions=357240, wrong=176665, backtracks=95630, failedAssignments=105350, nogoods=2754, foundSolutions=26, bestBound=326
715.04/710.20 nFilterCalls=5823140, avgTableProportion=0.3524649072493534, avgTableSize=0.7049298144987068
715.04/710.20
715.34/710.51 num=358, depth=6..12, filters=8714824, revisions=(8455547,useless=4552949), ccks=7772262090, wck=707.742, mem=75M522
715.34/710.51 decisions=357311, wrong=176696, backtracks=95645, failedAssignments=105371, nogoods=2759, foundSolutions=26, bestBound=326
715.34/710.51 nFilterCalls=5824072, avgTableProportion=0.35246679642696727, avgTableSize=0.7049335928539345
715.34/710.51
715.64/710.84 num=359, depth=8..13, filters=8716418, revisions=(8457304,useless=4553858), ccks=7775985184, wck=708.071, mem=77M682
715.64/710.84 decisions=357395, wrong=176733, backtracks=95661, failedAssignments=105394, nogoods=2767, foundSolutions=26, bestBound=326
715.64/710.84 nFilterCalls=5824908, avgTableProportion=0.352476124944806, avgTableSize=0.704952249889612
715.64/710.84
715.86/711.06 num=360, depth=5..12, filters=8718641, revisions=(8459612,useless=4555139), ccks=7778394675, wck=708.293, mem=25M840
715.86/711.06 decisions=357490, wrong=176778, backtracks=95688, failedAssignments=105419, nogoods=2768, foundSolutions=26, bestBound=326
715.86/711.06 nFilterCalls=5826451, avgTableProportion=0.35246533438623273, avgTableSize=0.7049306687724655
715.86/711.06
716.25/711.45 num=361, depth=7..14, filters=8720459, revisions=(8461750,useless=4556248), ccks=7782813958, wck=708.682, mem=29M80
716.25/711.45 decisions=357587, wrong=176822, backtracks=95711, failedAssignments=105447, nogoods=2771, foundSolutions=26, bestBound=326
716.25/711.45 nFilterCalls=5827338, avgTableProportion=0.3524731189438471, avgTableSize=0.7049462378876942
716.25/711.45
716.55/711.73 num=362, depth=7..14, filters=8722748, revisions=(8464245,useless=4557588), ccks=7785922673, wck=708.961, mem=31M240
716.55/711.73 decisions=357695, wrong=176871, backtracks=95734, failedAssignments=105478, nogoods=2784, foundSolutions=26, bestBound=326
716.55/711.73 nFilterCalls=5828747, avgTableProportion=0.35247515460870066, avgTableSize=0.7049503092174013
716.55/711.73
716.75/711.98 num=363, depth=6..14, filters=8724543, revisions=(8466311,useless=4558683), ccks=7788756897, wck=709.215, mem=33M400
716.75/711.98 decisions=357813, wrong=176926, backtracks=95764, failedAssignments=105512, nogoods=2788, foundSolutions=26, bestBound=326
716.75/711.98 nFilterCalls=5829707, avgTableProportion=0.352485210663246, avgTableSize=0.704970421326492
716.75/711.98
717.25/712.42 num=364, depth=6..12, filters=8729109, revisions=(8470926,useless=4561214), ccks=7793624610, wck=709.655, mem=37M720
717.25/712.42 decisions=357951, wrong=176992, backtracks=95805, failedAssignments=105549, nogoods=2792, foundSolutions=26, bestBound=326
717.25/712.42 nFilterCalls=5832754, avgTableProportion=0.35248932151090206, avgTableSize=0.7049786430218041
717.25/712.42
717.65/712.84 num=365, depth=6..13, filters=8732748, revisions=(8474614,useless=4563112), ccks=7798244110, wck=710.07, mem=40M960
717.65/712.84 decisions=358099, wrong=177061, backtracks=95851, failedAssignments=105590, nogoods=2794, foundSolutions=26, bestBound=326
717.65/712.84 nFilterCalls=5835123, avgTableProportion=0.3524869141575936, avgTableSize=0.7049738283151872
717.65/712.84
718.05/713.24 num=366, depth=6..13, filters=8736948, revisions=(8478999,useless=4565412), ccks=7802720075, wck=710.474, mem=44M200
718.05/713.24 decisions=358274, wrong=177144, backtracks=95895, failedAssignments=105635, nogoods=2803, foundSolutions=26, bestBound=326
718.05/713.24 nFilterCalls=5837704, avgTableProportion=0.35248172911816017, avgTableSize=0.7049634582363203
718.05/713.24
718.45/713.61 num=367, depth=6..15, filters=8741123, revisions=(8483351,useless=4567880), ccks=7806812819, wck=710.846, mem=47M441
718.45/713.61 decisions=358450, wrong=177228, backtracks=95944, failedAssignments=105685, nogoods=2807, foundSolutions=26, bestBound=326
718.45/713.61 nFilterCalls=5840677, avgTableProportion=0.3524677875527101, avgTableSize=0.7049355751054202
718.45/713.61
718.65/713.82 num=368, depth=6..12, filters=8744446, revisions=(8486454,useless=4569400), ccks=7808999129, wck=711.051, mem=49M601
718.65/713.82 decisions=358617, wrong=177308, backtracks=95976, failedAssignments=105740, nogoods=2813, foundSolutions=26, bestBound=326
718.65/713.82 nFilterCalls=5842794, avgTableProportion=0.3524879535372974, avgTableSize=0.7049759070745948
718.65/713.82
718.75/713.97 num=369, depth=7..13, filters=8745967, revisions=(8488158,useless=4570225), ccks=7810674622, wck=711.203, mem=51M761
718.75/713.97 decisions=358761, wrong=177375, backtracks=95983, failedAssignments=105801, nogoods=2831, foundSolutions=26, bestBound=326
718.75/713.97 nFilterCalls=5843535, avgTableProportion=0.35248928944551544, avgTableSize=0.7049785788910309
718.75/713.97
719.35/714.52 num=370, depth=7..17, filters=8751714, revisions=(8494275,useless=4573694), ccks=7816683239, wck=711.751, mem=57M161
719.35/714.52 decisions=359033, wrong=177506, backtracks=96063, failedAssignments=105868, nogoods=2838, foundSolutions=26, bestBound=326
719.35/714.52 nFilterCalls=5847336, avgTableProportion=0.35250616691088044, avgTableSize=0.7050123338217609
719.35/714.52
719.75/715.00 num=371, depth=6..17, filters=8757146, revisions=(8499785,useless=4576631), ccks=7822031009, wck=712.238, mem=62M561
719.75/715.00 decisions=359281, wrong=177623, backtracks=96118, failedAssignments=105942, nogoods=2844, foundSolutions=26, bestBound=326
719.75/715.00 nFilterCalls=5851419, avgTableProportion=0.35248868693217833, avgTableSize=0.7049773738643567
719.75/715.00
720.15/715.39 num=372, depth=4..14, filters=8762154, revisions=(8505062,useless=4579525), ccks=7826136180, wck=712.62, mem=67M961
720.15/715.39 decisions=359558, wrong=177758, backtracks=96190, failedAssignments=106023, nogoods=2856, foundSolutions=26, bestBound=326
720.15/715.39 nFilterCalls=5854548, avgTableProportion=0.35249749425574783, avgTableSize=0.7049949885114957
720.15/715.39
721.05/716.20 num=373, depth=6..18, filters=8769285, revisions=(8512549,useless=4583524), ccks=7835224661, wck=713.436, mem=75M521
721.05/716.20 decisions=359866, wrong=177909, backtracks=96270, failedAssignments=106112, nogoods=2863, foundSolutions=26, bestBound=326
721.05/716.20 nFilterCalls=5858906, avgTableProportion=0.35249225708690324, avgTableSize=0.7049845141738065
721.05/716.20
722.06/717.23 num=374, depth=6..15, filters=8776159, revisions=(8519970,useless=4587599), ccks=7846696112, wck=714.46, mem=30M185
722.06/717.23 decisions=360187, wrong=178065, backtracks=96350, failedAssignments=106210, nogoods=2866, foundSolutions=26, bestBound=326
722.06/717.23 nFilterCalls=5862506, avgTableProportion=0.35251810403264405, avgTableSize=0.7050362080652881
722.06/717.23
722.66/717.89 num=375, depth=5..16, filters=8785262, revisions=(8528659,useless=4592289), ccks=7853944898, wck=715.127, mem=37M745
722.66/717.89 decisions=360564, wrong=178249, backtracks=96457, failedAssignments=106318, nogoods=2871, foundSolutions=26, bestBound=326
722.66/717.89 nFilterCalls=5868762, avgTableProportion=0.3525021972266042, avgTableSize=0.7050043944532084
722.66/717.89
723.76/718.92 num=376, depth=4..11, filters=8793533, revisions=(8537577,useless=4597015), ccks=7865420909, wck=716.159, mem=47M465
723.76/718.92 decisions=360962, wrong=178445, backtracks=96563, failedAssignments=106437, nogoods=2879, foundSolutions=26, bestBound=326
723.76/718.92 nFilterCalls=5873238, avgTableProportion=0.35252666416719364, avgTableSize=0.7050533283343873
723.76/718.92
724.66/719.86 num=377, depth=5..13, filters=8804909, revisions=(8548399,useless=4602657), ccks=7875629433, wck=717.095, mem=56M105
724.66/719.86 decisions=361432, wrong=178675, backtracks=96688, failedAssignments=106568, nogoods=2887, foundSolutions=26, bestBound=326
724.66/719.86 nFilterCalls=5880886, avgTableProportion=0.3525559754091475, avgTableSize=0.705111950818295
724.66/719.86
725.06/720.24 num=378, depth=8..16, filters=8810781, revisions=(8554250,useless=4605788), ccks=7879660757, wck=717.471, mem=60M425
725.06/720.24 decisions=361809, wrong=178858, backtracks=96743, failedAssignments=106712, nogoods=2906, foundSolutions=26, bestBound=326
725.06/720.24 nFilterCalls=5884748, avgTableProportion=0.35254389822639814, avgTableSize=0.7050877964527963
725.06/720.24
726.06/721.23 num=379, depth=6..15, filters=8821297, revisions=(8565740,useless=4612233), ccks=7890569641, wck=718.466, mem=71M226
726.06/721.23 decisions=362351, wrong=179125, backtracks=96890, failedAssignments=106870, nogoods=2913, foundSolutions=26, bestBound=326
726.06/721.23 nFilterCalls=5891215, avgTableProportion=0.3525491770373344, avgTableSize=0.7050983540746688
726.06/721.23
727.07/722.27 num=380, depth=4..13, filters=8837938, revisions=(8581124,useless=4620360), ccks=7901652586, wck=719.507, mem=30M185
727.07/722.27 decisions=362970, wrong=179432, backtracks=97066, failedAssignments=107044, nogoods=2923, foundSolutions=26, bestBound=326
727.07/722.27 nFilterCalls=5902789, avgTableProportion=0.3525773155706565, avgTableSize=0.705154631141313
727.07/722.27
728.47/723.69 num=381, depth=5..15, filters=8854875, revisions=(8598096,useless=4629334), ccks=7917204954, wck=720.925, mem=44M225
728.47/723.69 decisions=363649, wrong=179768, backtracks=97241, failedAssignments=107235, nogoods=2932, foundSolutions=26, bestBound=326
728.47/723.69 nFilterCalls=5913140, avgTableProportion=0.35258644307423803, avgTableSize=0.7051728861484761
728.47/723.69
729.77/724.94 num=382, depth=5..15, filters=8874047, revisions=(8615942,useless=4639137), ccks=7930674927, wck=722.179, mem=60M425
729.77/724.94 decisions=364357, wrong=180118, backtracks=97444, failedAssignments=107446, nogoods=2938, foundSolutions=26, bestBound=326
729.77/724.94 nFilterCalls=5926325, avgTableProportion=0.352597014169827, avgTableSize=0.705194028339654
729.77/724.94
730.88/726.06 num=383, depth=5..16, filters=8888076, revisions=(8630301,useless=4647195), ccks=7942936811, wck=723.298, mem=71M226
730.88/726.06 decisions=365098, wrong=180483, backtracks=97617, failedAssignments=107678, nogoods=2951, foundSolutions=26, bestBound=326
730.88/726.06 nFilterCalls=5935530, avgTableProportion=0.35255352091557113, avgTableSize=0.7051070418311423
730.88/726.06
732.28/727.49 num=384, depth=4..16, filters=8905972, revisions=(8649088,useless=4656883), ccks=7958488512, wck=724.728, mem=34M503
732.28/727.49 decisions=365976, wrong=180919, backtracks=97844, failedAssignments=107933, nogoods=2955, foundSolutions=26, bestBound=326
732.28/727.49 nFilterCalls=5946025, avgTableProportion=0.3524927998116389, avgTableSize=0.7049855996232778
732.28/727.49
734.99/730.18 num=385, depth=3..14, filters=8926415, revisions=(8671143,useless=4668490), ccks=7988476732, wck=727.413, mem=57M161
734.99/730.18 decisions=366982, wrong=181419, backtracks=98119, failedAssignments=108214, nogoods=2961, foundSolutions=26, bestBound=326
734.99/730.18 nFilterCalls=5957011, avgTableProportion=0.3525215078501618, avgTableSize=0.7050430157003236
734.99/730.18
736.78/731.90 num=386, depth=5..18, filters=8945227, revisions=(8690478,useless=4678980), ccks=8007378509, wck=729.138, mem=75M504
736.78/731.90 decisions=367958, wrong=181904, backtracks=98329, failedAssignments=108523, nogoods=2967, foundSolutions=26, bestBound=326
736.78/731.90 nFilterCalls=5969570, avgTableProportion=0.3525424779339215, avgTableSize=0.705084955867843
736.78/731.90
738.79/733.95 num=387, depth=4..17, filters=8973003, revisions=(8717277,useless=4693469), ccks=8029632650, wck=731.185, mem=45M300
738.79/733.95 decisions=369116, wrong=182480, backtracks=98627, failedAssignments=108863, nogoods=2973, foundSolutions=26, bestBound=326
738.79/733.95 nFilterCalls=5988719, avgTableProportion=0.35243054482937003, avgTableSize=0.7048610896587401
738.79/733.95
740.29/735.42 num=388, depth=5..17, filters=9001466, revisions=(8744201,useless=4708007), ccks=8045137662, wck=732.658, mem=65M808
740.29/735.42 decisions=370352, wrong=183093, backtracks=98931, failedAssignments=109237, nogoods=2977, foundSolutions=26, bestBound=326
740.29/735.42 nFilterCalls=6009014, avgTableProportion=0.35235764137011494, avgTableSize=0.7047152827402299
740.29/735.42
743.00/738.15 num=389, depth=5..14, filters=9040538, revisions=(8780242,useless=4727287), ccks=8074527207, wck=735.381, mem=44M225
743.00/738.15 decisions=371802, wrong=183815, backtracks=99345, failedAssignments=109648, nogoods=2986, foundSolutions=26, bestBound=326
743.00/738.15 nFilterCalls=6035191, avgTableProportion=0.35242927688618303, avgTableSize=0.7048585537723661
743.00/738.15
744.90/740.05 num=390, depth=4..16, filters=9077576, revisions=(8814260,useless=4744740), ccks=8094373839, wck=737.286, mem=72M294
744.90/740.05 decisions=373399, wrong=184609, backtracks=99794, failedAssignments=110100, nogoods=2999, foundSolutions=26, bestBound=326
744.90/740.05 nFilterCalls=6059808, avgTableProportion=0.3526340273487213, avgTableSize=0.7052680546974426
744.90/740.05
748.41/743.52 num=391, depth=3..14, filters=9120438, revisions=(8854904,useless=4766382), ccks=8132008688, wck=740.751, mem=51M802
748.41/743.52 decisions=375073, wrong=185443, backtracks=100289, failedAssignments=110597, nogoods=3011, foundSolutions=26, bestBound=326
748.41/743.52 nFilterCalls=6087508, avgTableProportion=0.3528661481841174, avgTableSize=0.7057322963682348
748.41/743.52
752.61/747.75 num=392, depth=3..17, filters=9161679, revisions=(8896525,useless=4788223), ccks=8178795263, wck=744.982, mem=34M528
752.61/747.75 decisions=376880, wrong=186344, backtracks=100762, failedAssignments=111144, nogoods=3016, foundSolutions=26, bestBound=326
752.61/747.75 nFilterCalls=6112018, avgTableProportion=0.3528139969483074, avgTableSize=0.7056279938966148
752.61/747.75
757.32/752.49 num=393, depth=4..16, filters=9200876, revisions=(8937858,useless=4809974), ccks=8231071965, wck=749.72, mem=25M889
757.32/752.49 decisions=378916, wrong=187359, backtracks=101323, failedAssignments=111746, nogoods=3026, foundSolutions=26, bestBound=326
757.32/752.49 nFilterCalls=6134807, avgTableProportion=0.35281012100299164, avgTableSize=0.7056202420059833
757.32/752.49
760.94/756.08 num=394, depth=4..17, filters=9257708, revisions=(8993317,useless=4839470), ccks=8269512761, wck=753.314, mem=68M5
760.94/756.08 decisions=381130, wrong=188461, backtracks=101907, failedAssignments=112408, nogoods=3038, foundSolutions=26, bestBound=326
760.94/756.08 nFilterCalls=6172294, avgTableProportion=0.352734412845532, avgTableSize=0.705468825691064
760.94/756.08
764.53/759.62 num=395, depth=2..13, filters=9310656, revisions=(9039629,useless=4863022), ccks=8307327770, wck=756.854, mem=52M888
764.53/759.62 decisions=383222, wrong=189504, backtracks=102346, failedAssignments=113136, nogoods=3054, foundSolutions=26, bestBound=326
764.53/759.62 nFilterCalls=6206681, avgTableProportion=0.3529719829325851, avgTableSize=0.7059439658651702
764.53/759.62
772.05/767.16 num=396, depth=4..16, filters=9366105, revisions=(9094482,useless=4891642), ccks=8391188467, wck=764.397, mem=64M768
772.05/767.16 decisions=385920, wrong=190849, backtracks=103089, failedAssignments=113937, nogoods=3063, foundSolutions=26, bestBound=326
772.05/767.16 nFilterCalls=6241358, avgTableProportion=0.3530652303553169, avgTableSize=0.7061304607106338
772.05/767.16
776.44/771.50 num=397, depth=4..18, filters=9430872, revisions=(9157386,useless=4924726), ccks=8437378939, wck=768.737, mem=69M89
776.44/771.50 decisions=388936, wrong=192353, backtracks=103845, failedAssignments=114818, nogoods=3074, foundSolutions=26, bestBound=326
776.44/771.50 nFilterCalls=6284632, avgTableProportion=0.35293124561629063, avgTableSize=0.7058624912325813
776.44/771.50
782.15/777.26 num=398, depth=3..14, filters=9523031, revisions=(9242147,useless=4969454), ccks=8498696224, wck=774.494, mem=35M609
782.15/777.26 decisions=392349, wrong=194057, backtracks=104824, failedAssignments=115788, nogoods=3087, foundSolutions=26, bestBound=326
782.15/777.26 nFilterCalls=6348738, avgTableProportion=0.3530163002473877, avgTableSize=0.7060326004947755
782.15/777.26
788.56/783.61 num=399, depth=3..17, filters=9622968, revisions=(9330298,useless=5016318), ccks=8566619470, wck=780.844, mem=58M290
788.56/783.61 decisions=396283, wrong=196019, backtracks=105918, failedAssignments=116855, nogoods=3094, foundSolutions=26, bestBound=326
788.56/783.61 nFilterCalls=6420701, avgTableProportion=0.3530633181641693, avgTableSize=0.7061266363283386
788.56/783.61
794.19/789.21 num=400, depth=2..17, filters=9724395, revisions=(9417471,useless=5061818), ccks=8625412094, wck=786.44, mem=24M867
794.19/789.21 decisions=400337, wrong=198043, backtracks=107039, failedAssignments=118028, nogoods=3102, foundSolutions=26, bestBound=326
794.19/789.21 nFilterCalls=6495012, avgTableProportion=0.3535652436054006, avgTableSize=0.7071304872108012
794.19/789.21
803.49/798.52 num=401, depth=3..17, filters=9805639, revisions=(9499808,useless=5106758), ccks=8728736653, wck=795.756, mem=61M612
803.49/798.52 decisions=404426, wrong=200083, backtracks=108047, failedAssignments=119319, nogoods=3110, foundSolutions=26, bestBound=326
803.49/798.52 nFilterCalls=6548194, avgTableProportion=0.3537634193489075, avgTableSize=0.707526838697815
803.49/798.52
811.70/806.74 num=402, depth=3..17, filters=9924208, revisions=(9616590,useless=5170031), ccks=8817504692, wck=803.978, mem=49M781
811.70/806.74 decisions=409230, wrong=202481, backtracks=109384, failedAssignments=120739, nogoods=3118, foundSolutions=26, bestBound=326
811.70/806.74 nFilterCalls=6627490, avgTableProportion=0.35349876046587775, avgTableSize=0.7069975209317555
811.70/806.74
822.51/817.56 num=403, depth=3..19, filters=10057864, revisions=(9749403,useless=5239561), ccks=8934517894, wck=814.798, mem=58M462
822.51/817.56 decisions=414802, wrong=205265, backtracks=111006, failedAssignments=122301, nogoods=3128, foundSolutions=26, bestBound=326
822.51/817.56 nFilterCalls=6709243, avgTableProportion=0.3538479676470207, avgTableSize=0.7076959352940414
822.51/817.56
830.92/825.92 num=404, depth=2..16, filters=10189013, revisions=(9875379,useless=5308615), ccks=9023289916, wck=823.156, mem=66M63
830.92/825.92 decisions=420279, wrong=208000, backtracks=112340, failedAssignments=124019, nogoods=3134, foundSolutions=26, bestBound=326
830.92/825.92 nFilterCalls=6798704, avgTableProportion=0.3537577161764948, avgTableSize=0.7075154323529896
830.92/825.92
841.44/836.45 num=405, depth=4..20, filters=10334415, revisions=(10014891,useless=5384130), ccks=9137128688, wck=833.686, mem=68M264
841.44/836.45 decisions=426492, wrong=211103, backtracks=113888, failedAssignments=125909, nogoods=3141, foundSolutions=26, bestBound=326
841.44/836.45 nFilterCalls=6894866, avgTableProportion=0.35361999783607106, avgTableSize=0.7072399956721421
841.44/836.45
857.46/852.47 num=406, depth=3..18, filters=10471740, revisions=(10159996,useless=5462496), ccks=9314096212, wck=849.708, mem=60M753
857.46/852.47 decisions=433541, wrong=214623, backtracks=115792, failedAssignments=127988, nogoods=3151, foundSolutions=26, bestBound=326
857.46/852.47 nFilterCalls=6979888, avgTableProportion=0.35367136263504517, avgTableSize=0.7073427252700903
857.46/852.47
868.19/863.12 num=407, depth=2..17, filters=10684232, revisions=(10345047,useless=5560158), ccks=9424604773, wck=860.353, mem=53M218
868.19/863.12 decisions=441662, wrong=218681, backtracks=118096, failedAssignments=130275, nogoods=3157, foundSolutions=26, bestBound=326
868.19/863.12 nFilterCalls=7130986, avgTableProportion=0.35448842558378324, avgTableSize=0.7089768511675665
868.19/863.12
888.30/883.26 num=408, depth=0..16, filters=10884030, revisions=(10536605,useless=5662504), ccks=9646317790, wck=880.495, mem=42M475
888.30/883.26 decisions=450342, wrong=223017, backtracks=120510, failedAssignments=132791, nogoods=3167, foundSolutions=26, bestBound=326
888.30/883.26 nFilterCalls=7260247, avgTableProportion=0.3546993649114142, avgTableSize=0.7093987298228284
888.30/883.26
902.52/897.48 num=409, depth=1..18, filters=11105006, revisions=(10740519,useless=5770140), ccks=9797354678, wck=894.71, mem=51M131
902.52/897.48 decisions=459621, wrong=227655, backtracks=122985, failedAssignments=135559, nogoods=3179, foundSolutions=26, bestBound=326
902.52/897.48 nFilterCalls=7409476, avgTableProportion=0.35536710018360274, avgTableSize=0.7107342003672055
902.52/897.48
918.55/913.46 num=410, depth=2..17, filters=11343011, revisions=(10956168,useless=5887142), ccks=9968022193, wck=910.691, mem=76M13
918.55/913.46 decisions=469352, wrong=232518, backtracks=125443, failedAssignments=138603, nogoods=3191, foundSolutions=26, bestBound=326
918.55/913.46 nFilterCalls=7577998, avgTableProportion=0.3558620627770026, avgTableSize=0.7117241255540052
918.55/913.46
936.18/931.05 num=411, depth=2..18, filters=11603422, revisions=(11209293,useless=6022306), ccks=10156511408, wck=928.282, mem=34M988
936.18/931.05 decisions=480669, wrong=238173, backtracks=128468, failedAssignments=141952, nogoods=3252, foundSolutions=26, bestBound=326
936.18/931.05 nFilterCalls=7755685, avgTableProportion=0.35497522140210697, avgTableSize=0.7099504428042139
936.18/931.05
960.40/955.25 num=412, depth=2..16, filters=11979472, revisions=(11542637,useless=6201792), ccks=10413625705, wck=952.488, mem=56M638
960.40/955.25 decisions=494118, wrong=244894, backtracks=132635, failedAssignments=145636, nogoods=3259, foundSolutions=26, bestBound=326
960.40/955.25 nFilterCalls=8024114, avgTableProportion=0.3554792466806927, avgTableSize=0.7109584933613854
960.40/955.25
987.35/982.12 num=413, depth=1..17, filters=12316747, revisions=(11847511,useless=6363083), ccks=10703297620, wck=979.351, mem=32M918
987.35/982.12 decisions=508119, wrong=251891, backtracks=136442, failedAssignments=149688, nogoods=3271, foundSolutions=26, bestBound=326
987.35/982.12 nFilterCalls=8257502, avgTableProportion=0.3560333379271358, avgTableSize=0.7120666758542716
987.35/982.12
1010.88/1005.67 num=414, depth=2..16, filters=12723077, revisions=(12224351,useless=6566163), ccks=10952133431, wck=1002.901, mem=62M103
1010.88/1005.67 decisions=522702, wrong=259180, backtracks=140318, failedAssignments=154145, nogoods=3281, foundSolutions=26, bestBound=326
1010.88/1005.67 nFilterCalls=8535151, avgTableProportion=0.3561778227473656, avgTableSize=0.7123556454947312
1010.88/1005.67
1041.12/1035.89 num=415, depth=2..20, filters=13135320, revisions=(12605590,useless=6770873), ccks=11279739793, wck=1033.127, mem=27M559
1041.12/1035.89 decisions=539073, wrong=267362, backtracks=144524, failedAssignments=159048, nogoods=3292, foundSolutions=26, bestBound=326
1041.12/1035.89 nFilterCalls=8817924, avgTableProportion=0.3559325301510877, avgTableSize=0.7118650603021754
1041.12/1035.89
1074.57/1069.28 num=416, depth=2..19, filters=13562104, revisions=(13009134,useless=6986441), ccks=11642923589, wck=1066.517, mem=63M216
1074.57/1069.28 decisions=557114, wrong=276380, backtracks=149152, failedAssignments=164442, nogoods=3345, foundSolutions=26, bestBound=326
1074.57/1069.28 nFilterCalls=9107856, avgTableProportion=0.3559207567620744, avgTableSize=0.7118415135241488
1074.57/1069.28
1103.02/1097.61 num=417, depth=1..16, filters=13987189, revisions=(13421369,useless=7205316), ccks=11943853660, wck=1094.84, mem=42M720
1103.02/1097.61 decisions=576512, wrong=286077, backtracks=154190, failedAssignments=170375, nogoods=3382, foundSolutions=26, bestBound=326
1103.02/1097.61 nFilterCalls=9384902, avgTableProportion=0.3554209729627438, avgTableSize=0.7108419459254876
1103.02/1097.61
1139.77/1134.31 num=418, depth=1..20, filters=14521259, revisions=(13917458,useless=7473049), ccks=12335228785, wck=1131.543, mem=76M250
1139.77/1134.31 decisions=598569, wrong=297102, backtracks=159856, failedAssignments=176901, nogoods=3392, foundSolutions=26, bestBound=326
1139.77/1134.31 nFilterCalls=9765486, avgTableProportion=0.355870204514143, avgTableSize=0.711740409028286
1139.77/1134.31
1191.35/1185.85 num=419, depth=2..18, filters=15077601, revisions=(14423549,useless=7736804), ccks=12897336085, wck=1183.083, mem=52M506
1191.35/1185.85 decisions=623010, wrong=309319, backtracks=166226, failedAssignments=184080, nogoods=3407, foundSolutions=26, bestBound=326
1191.35/1185.85 nFilterCalls=10151023, avgTableProportion=0.355583274710342, avgTableSize=0.711166549420684
1191.35/1185.85
1232.63/1227.02 num=420, depth=1..18, filters=15715516, revisions=(15016543,useless=8052384), ccks=13336228191, wck=1224.258, mem=62M251
1232.63/1227.02 decisions=649586, wrong=322603, backtracks=173445, failedAssignments=191977, nogoods=3416, foundSolutions=26, bestBound=326
1232.63/1227.02 nFilterCalls=10601753, avgTableProportion=0.35471280079813217, avgTableSize=0.7094256015962643
1232.63/1227.02
1280.50/1274.87 num=421, depth=2..18, filters=16441989, revisions=(15704200,useless=8421983), ccks=13847621668, wck=1272.102, mem=53M619
1280.50/1274.87 decisions=678030, wrong=336820, backtracks=180812, failedAssignments=200664, nogoods=3435, foundSolutions=26, bestBound=326
1280.50/1274.87 nFilterCalls=11092565, avgTableProportion=0.35498268434757874, avgTableSize=0.7099653686951575
1280.50/1274.87
1329.90/1324.15 num=422, depth=1..18, filters=17280762, revisions=(16476494,useless=8838460), ccks=14366395874, wck=1321.382, mem=40M683
1329.90/1324.15 decisions=710884, wrong=353245, backtracks=189966, failedAssignments=210219, nogoods=3442, foundSolutions=26, bestBound=326
1329.90/1324.15 nFilterCalls=11679317, avgTableProportion=0.35549300528447, avgTableSize=0.71098601056894
1329.90/1324.15
1383.57/1377.77 num=423, depth=2..18, filters=18207889, revisions=(17326869,useless=9306487), ccks=14929537538, wck=1375.002, mem=75M269
1383.57/1377.77 decisions=746637, wrong=371117, backtracks=199690, failedAssignments=220730, nogoods=3458, foundSolutions=26, bestBound=326
1383.57/1377.77 nFilterCalls=12340323, avgTableProportion=0.3572737115552, avgTableSize=0.7145474231104
1383.57/1377.77
1447.19/1441.24 num=424, depth=1..18, filters=19216221, revisions=(18264590,useless=9820894), ccks=15605359617, wck=1438.478, mem=67M651
1447.19/1441.24 decisions=784512, wrong=390052, backtracks=209250, failedAssignments=232292, nogoods=3475, foundSolutions=26, bestBound=326
1447.19/1441.24 nFilterCalls=13036998, avgTableProportion=0.35743642823294136, avgTableSize=0.7148728564658827
1447.19/1441.24
1519.72/1513.67 num=425, depth=1..19, filters=20455379, revisions=(19392798,useless=10427321), ccks=16368076222, wck=1510.909, mem=30M988
1519.72/1513.67 decisions=829035, wrong=412310, backtracks=222043, failedAssignments=245010, nogoods=3486, foundSolutions=26, bestBound=326
1519.72/1513.67 nFilterCalls=13901688, avgTableProportion=0.35863432555816244, avgTableSize=0.7172686511163249
1519.72/1513.67
1602.14/1595.99 num=426, depth=1..19, filters=21572030, revisions=(20414570,useless=10977917), ccks=17254345835, wck=1593.224, mem=49M332
1602.14/1595.99 decisions=876322, wrong=435950, backtracks=234559, failedAssignments=259000, nogoods=3497, foundSolutions=26, bestBound=326
1602.14/1595.99 nFilterCalls=14680951, avgTableProportion=0.3600881169074129, avgTableSize=0.7201762338148258
1602.14/1595.99
1682.67/1676.38 num=427, depth=1..19, filters=23047459, revisions=(21678927,useless=11651574), ccks=18094530193, wck=1673.609, mem=52M629
1682.67/1676.38 decisions=930619, wrong=463096, backtracks=249823, failedAssignments=274389, nogoods=3513, foundSolutions=26, bestBound=326
1682.67/1676.38 nFilterCalls=15757164, avgTableProportion=0.36128899845175183, avgTableSize=0.7225779969035037
1682.67/1676.38
1797.02/1790.52 num=428, depth=1..18, filters=24689844, revisions=(23183002,useless=12465022), ccks=19320586741, wck=1787.754, mem=29M965
1797.02/1790.52 decisions=988534, wrong=492051, backtracks=266285, failedAssignments=291317, nogoods=3524, foundSolutions=26, bestBound=326
1797.02/1790.52 nFilterCalls=16910300, avgTableProportion=0.36187997847465747, avgTableSize=0.7237599569493149
1797.02/1790.52
1907.10/1900.43 num=429, depth=0..20, filters=26305702, revisions=(24709025,useless=13301286), ccks=20495877217, wck=1897.665, mem=73M182
1907.10/1900.43 decisions=1050665, wrong=523114, backtracks=282971, failedAssignments=309938, nogoods=3544, foundSolutions=26, bestBound=326
1907.10/1900.43 nFilterCalls=18039489, avgTableProportion=0.36246727942238277, avgTableSize=0.7249345588447655
1907.10/1900.43
2037.21/2030.30 num=430, depth=0..18, filters=28278400, revisions=(26472357,useless=14236903), ccks=21879850202, wck=2027.535, mem=44M38
2037.21/2030.30 decisions=1121761, wrong=558659, backtracks=303183, failedAssignments=330422, nogoods=3559, foundSolutions=26, bestBound=326
2037.21/2030.30 nFilterCalls=19438705, avgTableProportion=0.36265003249959293, avgTableSize=0.7253000649991859
2037.21/2030.30
2167.15/2160.07 num=431, depth=0..18, filters=30483699, revisions=(28413420,useless=15280967), ccks=23246860910, wck=2157.302, mem=39M734
2167.15/2160.07 decisions=1198733, wrong=597142, backtracks=324534, failedAssignments=352954, nogoods=3576, foundSolutions=26, bestBound=326
2167.15/2160.07 nFilterCalls=21031448, avgTableProportion=0.36366894471555167, avgTableSize=0.7273378894311033
2167.15/2160.07
2320.09/2312.72 num=432, depth=0..18, filters=33038924, revisions=(30666920,useless=16470931), ccks=24855312697, wck=2309.958, mem=42M991
2320.09/2312.72 decisions=1284758, wrong=640152, backtracks=348985, failedAssignments=377739, nogoods=3584, foundSolutions=26, bestBound=326
2320.09/2312.72 nFilterCalls=22824251, avgTableProportion=0.36450525802577266, avgTableSize=0.7290105160515453
2320.09/2312.72
2458.26/2450.63
2458.26/2450.63 New Bounds: 326..325
2458.26/2450.63 num=433, depth=0..20, filters=35625840, revisions=(32943278,useless=17691915), ccks=26292674054, wck=2447.866, mem=65M696
2458.26/2450.63 decisions=1374488, wrong=685018, backtracks=374510, failedAssignments=403532, foundSolutions=26, bestBound=326
2458.26/2450.63 nFilterCalls=24691084, avgTableProportion=0.3651074007119331, avgTableSize=0.7302148014238662
2458.26/2450.63
2458.26/2450.63 Global
2458.26/2450.63 filters=35625840, revisions=(32943278,useless=17691915), ccks=26292674054
2458.26/2450.63 Stop=FULL_EXPLORATION, wrong=685018, bestBound=326, bestBoundWck=665.199, bestBoundCpu=666.552, foundSolutions=26, firstSolCpu=5.349
2458.26/2450.63 wck=2448.289, cpu=2448.135, mem=65M696
2458.26/2450.63
2458.26/2450.63 v <instantiation id='sol26' type='solution' cost='326'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 0 45 143 160 250 0 99 155 219 312 0 45 99 155 252 0 36 91 169 245 0 91 144 169 252 309 326 311 326 326 36 87 17 90 59 99 56 32 93 14 45 40 44 97 59 30 49 67 50 81 91 53 25 76 74 1 2 3 0 4 3 1 4 2 0 2 4 3 1 0 4 1 0 2 3 0 4 2 3 1 160 0 45 143 250 312 99 219 0 155 252 155 0 99 45 91 36 169 245 0 0 252 144 169 91 </values> </instantiation>
2458.26/2450.63 s OPTIMUM FOUND
2458.26/2450.63
2458.26/2450.63 d WRONG_DECISIONS 685018
2458.26/2450.63 d NUMBER_SOLUTIONS 26