2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
2.89/2.05 Instance
2.89/2.05 name=instance-4391225-1568388632, framework=COP, bounds=-infty..+infty
2.89/2.05
2.89/2.05 Loading variables...
2.89/2.10 Loading constraints...
3.39/2.26
3.39/2.26 Domains
3.39/2.26 nTypes=9, nValues=59479, sizes=[6#7,7#91,560#105]
3.39/2.26 Variables
3.39/2.26 count=203, degrees=[2#56,3#98,13#49]
3.39/2.26 Objectives
3.39/2.26 way=min, type=ObjMaximumLE
3.39/2.26 Constraints
3.39/2.26 count=309, nSpecific=204, arities=[1#7,2#196,3#49,7#8,9#49]
3.39/2.26 distribution=[AllDifferent#7,CtrExtensionSmart-TableSmart#147,CtrExtensionV-Bits#49,CtrIntension#56,ElementVariable#49,ObjMaximumLE#1]
3.39/2.26 tables=[2#147], nTotalTuples=294
3.39/2.26 nExtStructures=(154,shared:42), nIntStructures=(21,shared:35), nCftStructures=(7,shared:42,unbuilt:260)
3.39/2.26 wck=0.42, cpu=2.234, mem=34M439
3.39/2.27 Solver SolverBacktrack being built...
3.39/2.27
3.67/2.30
3.67/2.30 Solver
3.67/2.30 guaranteedGAC=false
3.67/2.30 wck=0.456, cpu=2.268, mem=47M726
3.67/2.33
3.67/2.33 Preprocessing
3.67/2.33 filters=7, revisions=(7,useless=0), ccks=3920, nACremovedValues=2744, nTotalRemovedValues=2744, inconcistency=false
3.67/2.33 wck=0.034, cpu=2.304, mem=47M726
3.67/2.33
4.00/2.42 num=0, depth=41..41, filters=657, revisions=(339,useless=94), ccks=47760, wck=0.124, mem=55M654
4.00/2.42 decisions=61, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.00/2.42 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.42
4.00/2.43 num=1, depth=0..0, filters=668, revisions=(350,useless=94), ccks=57385, wck=0.128, mem=55M654
4.00/2.43 decisions=83, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
4.00/2.43 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.43
4.00/2.43 num=2, depth=0..0, filters=680, revisions=(362,useless=94), ccks=67885, wck=0.132, mem=58M296
4.00/2.43 decisions=107, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
4.00/2.43 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.43
4.00/2.43 num=3, depth=0..0, filters=693, revisions=(375,useless=94), ccks=79260, wck=0.137, mem=58M296
4.00/2.43 decisions=133, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
4.00/2.43 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.43
4.00/2.44 num=4, depth=0..0, filters=707, revisions=(389,useless=94), ccks=91510, wck=0.141, mem=58M296
4.00/2.44 decisions=161, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
4.00/2.44 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.44
4.00/2.44 num=5, depth=0..0, filters=723, revisions=(405,useless=94), ccks=105510, wck=0.145, mem=58M296
4.00/2.44 decisions=193, wrong=76, backtracks=0, failedAssignments=76, nogoods=10
4.00/2.44 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.44
4.00/2.46 num=6, depth=0..0, filters=740, revisions=(422,useless=94), ccks=120385, wck=0.162, mem=58M296
4.00/2.46 decisions=227, wrong=93, backtracks=0, failedAssignments=93, nogoods=10
4.00/2.46 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.46
4.00/2.46 num=7, depth=0..0, filters=759, revisions=(441,useless=94), ccks=137010, wck=0.167, mem=58M296
4.00/2.46 decisions=265, wrong=112, backtracks=0, failedAssignments=112, nogoods=10
4.00/2.46 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.46
4.00/2.47 num=8, depth=0..0, filters=780, revisions=(462,useless=94), ccks=155385, wck=0.172, mem=58M296
4.00/2.47 decisions=307, wrong=133, backtracks=0, failedAssignments=133, nogoods=10
4.00/2.47 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.47
4.00/2.47 num=9, depth=0..0, filters=803, revisions=(485,useless=94), ccks=175510, wck=0.177, mem=58M296
4.00/2.47 decisions=353, wrong=156, backtracks=0, failedAssignments=156, nogoods=10
4.00/2.47 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.47
4.00/2.48 num=10, depth=0..0, filters=828, revisions=(510,useless=94), ccks=197385, wck=0.182, mem=58M296
4.00/2.48 decisions=403, wrong=181, backtracks=0, failedAssignments=181, nogoods=10
4.00/2.48 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.48
4.00/2.49 num=11, depth=0..0, filters=856, revisions=(538,useless=94), ccks=221885, wck=0.188, mem=58M296
4.00/2.49 decisions=459, wrong=209, backtracks=0, failedAssignments=209, nogoods=10
4.00/2.49 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.49
4.00/2.49 num=12, depth=0..0, filters=887, revisions=(569,useless=94), ccks=249010, wck=0.194, mem=60M939
4.00/2.49 decisions=521, wrong=240, backtracks=0, failedAssignments=240, nogoods=10
4.00/2.49 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.49
4.32/2.50 num=13, depth=0..0, filters=921, revisions=(603,useless=94), ccks=278760, wck=0.2, mem=60M939
4.32/2.50 decisions=589, wrong=274, backtracks=0, failedAssignments=274, nogoods=10
4.32/2.50 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.32/2.50
4.32/2.50 num=14, depth=0..0, filters=958, revisions=(640,useless=94), ccks=311135, wck=0.207, mem=60M939
4.32/2.50 decisions=663, wrong=311, backtracks=0, failedAssignments=311, nogoods=10
4.32/2.50 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.32/2.50
4.32/2.51 num=15, depth=0..0, filters=999, revisions=(681,useless=94), ccks=347010, wck=0.214, mem=60M939
4.32/2.51 decisions=745, wrong=352, backtracks=0, failedAssignments=352, nogoods=10
4.32/2.51 nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.32/2.51
4.32/2.54 num=16, depth=0..40, filters=1731, revisions=(1133,useless=273), ccks=367638, wck=0.243, mem=68M866
4.32/2.54 decisions=875, wrong=397, backtracks=0, failedAssignments=397, nogoods=51
4.32/2.54 nFilterCalls=1904, avgTableProportion=0.34978991596638653, avgTableSize=0.6995798319327731
4.32/2.54
4.32/2.59 num=17, depth=0..38, filters=2364, revisions=(1502,useless=378), ccks=532955, wck=0.288, mem=74M151
4.32/2.59 decisions=1013, wrong=447, backtracks=0, failedAssignments=447, nogoods=74
4.32/2.59 nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.32/2.59
4.32/2.59 num=18, depth=0..0, filters=2419, revisions=(1557,useless=378), ccks=585700, wck=0.297, mem=74M151
4.32/2.59 decisions=1123, wrong=502, backtracks=0, failedAssignments=502, nogoods=74
4.32/2.59 nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.32/2.59
4.63/2.60 num=19, depth=0..0, filters=2480, revisions=(1618,useless=378), ccks=644199, wck=0.306, mem=76M794
4.63/2.60 decisions=1245, wrong=563, backtracks=0, failedAssignments=563, nogoods=74
4.63/2.60 nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.63/2.60
4.63/2.61 num=20, depth=0..0, filters=2547, revisions=(1685,useless=378), ccks=708452, wck=0.317, mem=76M794
4.63/2.61 decisions=1379, wrong=630, backtracks=0, failedAssignments=630, nogoods=74
4.63/2.61 nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.63/2.61
4.63/2.63 num=21, depth=0..0, filters=2621, revisions=(1759,useless=378), ccks=779418, wck=0.328, mem=76M794
4.63/2.63 decisions=1527, wrong=704, backtracks=0, failedAssignments=704, nogoods=74
4.63/2.63 nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.63/2.63
4.63/2.69 num=22, depth=0..25, filters=3124, revisions=(2064,useless=440), ccks=1317386, wck=0.396, mem=82M78
4.63/2.69 decisions=1714, wrong=785, backtracks=0, failedAssignments=785, nogoods=82
4.63/2.69 nFilterCalls=3279, avgTableProportion=0.3505641964013419, avgTableSize=0.7011283928026838
4.63/2.69
4.82/2.77 num=23, depth=0..38, filters=3993, revisions=(2567,useless=611), ccks=1762288, wck=0.477, mem=92M648
4.82/2.77 decisions=1929, wrong=874, backtracks=1, failedAssignments=874, nogoods=106
4.82/2.77 nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
4.82/2.77
4.82/2.79 num=24, depth=0..0, filters=4091, revisions=(2665,useless=611), ccks=1832260, wck=0.489, mem=92M648
4.82/2.79 decisions=2125, wrong=972, backtracks=1, failedAssignments=972, nogoods=106
4.82/2.79 nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
4.82/2.79
5.11/2.80 num=25, depth=0..0, filters=4199, revisions=(2773,useless=611), ccks=1909372, wck=0.502, mem=92M648
5.11/2.80 decisions=2341, wrong=1080, backtracks=1, failedAssignments=1080, nogoods=106
5.11/2.80 nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
5.11/2.80
5.11/2.81 num=26, depth=0..0, filters=4318, revisions=(2892,useless=611), ccks=1994338, wck=0.517, mem=95M290
5.11/2.81 decisions=2579, wrong=1199, backtracks=1, failedAssignments=1199, nogoods=106
5.11/2.81 nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
5.11/2.81
5.11/2.87 num=27, depth=0..37, filters=5475, revisions=(3557,useless=757), ccks=2314720, wck=0.572, mem=100M575
5.11/2.87 decisions=2870, wrong=1330, backtracks=23, failedAssignments=1330, nogoods=117
5.11/2.87 nFilterCalls=4934, avgTableProportion=0.3591406566680178, avgTableSize=0.7182813133360356
5.11/2.87
5.40/2.97 num=28, depth=0..18, filters=5939, revisions=(4083,useless=902), ccks=3207574, wck=0.673, mem=105M860
5.40/2.97 decisions=3176, wrong=1474, backtracks=23, failedAssignments=1474, nogoods=248
5.40/2.97 nFilterCalls=5200, avgTableProportion=0.36567307692307693, avgTableSize=0.7313461538461539
5.40/2.97
5.70/3.13 num=29, depth=0..45, filters=6961, revisions=(4826,useless=1096), ccks=4678187, wck=0.831, mem=113M787
5.70/3.13 decisions=3537, wrong=1632, backtracks=33, failedAssignments=1632, nogoods=339
5.70/3.13 nFilterCalls=6080, avgTableProportion=0.371875, avgTableSize=0.74375
5.70/3.13
5.94/3.32 num=30, depth=0..41, filters=8409, revisions=(5585,useless=1262), ccks=6318412, wck=1.021, mem=124M357
5.94/3.32 decisions=3917, wrong=1806, backtracks=45, failedAssignments=1806, nogoods=456
5.94/3.32 nFilterCalls=8412, avgTableProportion=0.3880765572990965, avgTableSize=0.776153114598193
5.94/3.32
6.24/3.51 num=31, depth=0..27, filters=9588, revisions=(6309,useless=1434), ccks=8035447, wck=1.217, mem=132M284
6.24/3.51 decisions=4326, wrong=1997, backtracks=45, failedAssignments=1997, nogoods=641
6.24/3.51 nFilterCalls=11093, avgTableProportion=0.4058865951500947, avgTableSize=0.8117731903001894
6.24/3.51
6.44/3.75 num=32, depth=0..27, filters=10631, revisions=(7053,useless=1637), ccks=10314031, wck=1.452, mem=140M212
6.44/3.75 decisions=4775, wrong=2208, backtracks=45, failedAssignments=2208, nogoods=832
6.44/3.75 nFilterCalls=13542, avgTableProportion=0.4078422684980062, avgTableSize=0.8156845369960124
6.44/3.75
7.03/4.01 num=33, depth=0..33, filters=11501, revisions=(7571,useless=1702), ccks=12684379, wck=1.71, mem=32M744
7.03/4.01 decisions=5272, wrong=2440, backtracks=46, failedAssignments=2440, nogoods=1004
7.03/4.01 nFilterCalls=14897, avgTableProportion=0.40739746257635767, avgTableSize=0.8147949251527153
7.03/4.01
7.65/4.63 num=34, depth=0..27, filters=13037, revisions=(8591,useless=1957), ccks=18787121, wck=2.329, mem=45M824
7.65/4.63 decisions=5809, wrong=2695, backtracks=72, failedAssignments=2695, nogoods=1158
7.65/4.63 nFilterCalls=17574, avgTableProportion=0.4085296460680551, avgTableSize=0.8170592921361102
7.65/4.63
7.95/4.91 num=35, depth=0..31, filters=14183, revisions=(9416,useless=2035), ccks=21643779, wck=2.616, mem=51M56
7.95/4.91 decisions=6402, wrong=2976, backtracks=85, failedAssignments=2976, nogoods=1346
7.95/4.91 nFilterCalls=19307, avgTableProportion=0.40790904853162063, avgTableSize=0.8158180970632413
7.95/4.91
8.32/5.22 num=36, depth=0..26, filters=15886, revisions=(10494,useless=2140), ccks=24591830, wck=2.926, mem=58M904
8.32/5.22 decisions=7045, wrong=3285, backtracks=91, failedAssignments=3285, nogoods=1577
8.32/5.22 nFilterCalls=23113, avgTableProportion=0.4064379353610522, avgTableSize=0.8128758707221044
8.32/5.22
8.72/5.61 num=37, depth=0..16, filters=17087, revisions=(11538,useless=2270), ccks=28392438, wck=3.31, mem=69M368
8.72/5.61 decisions=7741, wrong=3625, backtracks=109, failedAssignments=3625, nogoods=1765
8.72/5.61 nFilterCalls=24377, avgTableProportion=0.41081757394265084, avgTableSize=0.8216351478853017
8.72/5.61
9.23/6.19 num=38, depth=19..35, filters=21680, revisions=(13210,useless=2974), ccks=33727133, wck=3.895, mem=92M911
9.23/6.19 decisions=8523, wrong=3999, backtracks=109, failedAssignments=3999, nogoods=2139
9.23/6.19 nFilterCalls=36358, avgTableProportion=0.4171159029649596, avgTableSize=0.8342318059299192
9.23/6.19
9.63/6.51 num=39, depth=22..36, filters=24504, revisions=(14986,useless=3718), ccks=36516918, wck=4.214, mem=108M607
9.63/6.51 decisions=9373, wrong=4410, backtracks=117, failedAssignments=4410, nogoods=2263
9.63/6.51 nFilterCalls=42788, avgTableProportion=0.40726371879966344, avgTableSize=0.8145274375993269
9.63/6.51
10.43/7.20 num=40, depth=0..58, filters=26967, revisions=(16898,useless=4046), ccks=43578427, wck=4.904, mem=121M686
10.43/7.20 decisions=10335, wrong=4862, backtracks=173, failedAssignments=4862, nogoods=2503
10.43/7.20 nFilterCalls=45793, avgTableProportion=0.4052147708165003, avgTableSize=0.8104295416330006
10.43/7.20
10.74/7.54 num=41, depth=0..36, filters=29566, revisions=(18805,useless=4747), ccks=46781910, wck=5.242, mem=139M998
10.74/7.54 decisions=11362, wrong=5359, backtracks=176, failedAssignments=5359, nogoods=2586
10.74/7.54 nFilterCalls=51513, avgTableProportion=0.386921747908295, avgTableSize=0.77384349581659
10.74/7.54
11.11/7.87 num=42, depth=0..28, filters=31770, revisions=(20584,useless=5207), ccks=49862263, wck=5.571, mem=155M694
11.11/7.87 decisions=12483, wrong=5906, backtracks=189, failedAssignments=5906, nogoods=2754
11.11/7.87 nFilterCalls=55682, avgTableProportion=0.3823318127940807, avgTableSize=0.7646636255881614
11.11/7.87
11.64/8.30 num=43, depth=0..33, filters=37580, revisions=(23442,useless=6640), ccks=52886513, wck=6.0, mem=69M811
11.64/8.30 decisions=13717, wrong=6508, backtracks=192, failedAssignments=6508, nogoods=2970
11.64/8.30 nFilterCalls=71643, avgTableProportion=0.3752913752913753, avgTableSize=0.7505827505827506
11.64/8.30
12.09/8.71 num=44, depth=0..30, filters=42899, revisions=(26386,useless=7920), ccks=56035434, wck=6.408, mem=103M938
12.09/8.71 decisions=15068, wrong=7170, backtracks=194, failedAssignments=7170, nogoods=3270
12.09/8.71 nFilterCalls=84242, avgTableProportion=0.3777806794710477, avgTableSize=0.7555613589420954
12.09/8.71
12.44/9.03 num=45, depth=0..55, filters=44904, revisions=(28522,useless=8568), ccks=59353645, wck=6.737, mem=111M814
12.44/9.03 decisions=16576, wrong=7898, backtracks=202, failedAssignments=7898, nogoods=3393
12.44/9.03 nFilterCalls=85858, avgTableProportion=0.3761268606303431, avgTableSize=0.7522537212606862
12.44/9.03
12.83/9.44 num=46, depth=0..56, filters=48480, revisions=(30881,useless=9285), ccks=62845586, wck=7.14, mem=138M66
12.83/9.44 decisions=18233, wrong=8699, backtracks=206, failedAssignments=8699, nogoods=3585
12.83/9.44 nFilterCalls=94195, avgTableProportion=0.3687509952757577, avgTableSize=0.7375019905515154
12.83/9.44
13.23/9.81 num=47, depth=32..46, filters=51246, revisions=(32364,useless=9538), ccks=66538694, wck=7.514, mem=148M567
13.23/9.81 decisions=20038, wrong=9580, backtracks=211, failedAssignments=9580, nogoods=3775
13.23/9.81 nFilterCalls=101972, avgTableProportion=0.36580629976856394, avgTableSize=0.7316125995371279
13.23/9.81
13.99/10.50 num=48, depth=0..57, filters=56578, revisions=(35274,useless=10242), ccks=72506179, wck=8.205, mem=73M748
13.99/10.50 decisions=22034, wrong=10550, backtracks=250, failedAssignments=10550, nogoods=4166
13.99/10.50 nFilterCalls=115066, avgTableProportion=0.35935463125510575, avgTableSize=0.7187092625102115
13.99/10.50
14.40/10.96 num=49, depth=30..34, filters=60561, revisions=(38343,useless=11669), ccks=77327664, wck=8.663, mem=80M785
14.40/10.96 decisions=24199, wrong=11617, backtracks=278, failedAssignments=11617, nogoods=4299
14.40/10.96 nFilterCalls=120668, avgTableProportion=0.359581662081082, avgTableSize=0.719163324162164
14.40/10.96
14.70/11.27 num=50, depth=40..43, filters=64385, revisions=(40027,useless=11923), ccks=79905568, wck=8.973, mem=108M935
14.70/11.27 decisions=26585, wrong=12790, backtracks=281, failedAssignments=12790, nogoods=4552
14.70/11.27 nFilterCalls=131791, avgTableProportion=0.34789553156133574, avgTableSize=0.6957910631226715
14.70/11.27
15.45/11.91 num=51, depth=30..43, filters=73795, revisions=(43427,useless=13544), ccks=83523940, wck=9.613, mem=63M506
15.45/11.91 decisions=29197, wrong=14081, backtracks=294, failedAssignments=14081, nogoods=4682
15.45/11.91 nFilterCalls=159689, avgTableProportion=0.3459192555529811, avgTableSize=0.6918385111059622
15.45/11.91
15.85/12.38 num=52, depth=0..27, filters=78900, revisions=(47809,useless=14886), ccks=87057678, wck=10.082, mem=95M221
15.85/12.38 decisions=32062, wrong=15501, backtracks=301, failedAssignments=15501, nogoods=5254
15.85/12.38 nFilterCalls=170708, avgTableProportion=0.34604705110481054, avgTableSize=0.6920941022096211
15.85/12.38
16.15/12.70 num=53, depth=51..61, filters=83320, revisions=(49968,useless=15202), ccks=90156848, wck=10.399, mem=102M269
16.15/12.70 decisions=35237, wrong=17063, backtracks=311, failedAssignments=17063, nogoods=5351
16.15/12.70 nFilterCalls=182937, avgTableProportion=0.33945565959865964, avgTableSize=0.6789113191973193
16.15/12.70
16.66/13.12 num=54, depth=0..63, filters=90251, revisions=(54271,useless=16457), ccks=93857399, wck=10.827, mem=133M985
16.66/13.12 decisions=38713, wrong=18781, backtracks=338, failedAssignments=18781, nogoods=5476
16.66/13.12 nFilterCalls=199681, avgTableProportion=0.327352126641994, avgTableSize=0.654704253283988
16.66/13.12
17.29/13.76 num=55, depth=0..34, filters=97258, revisions=(60063,useless=18238), ccks=99233609, wck=11.458, mem=179M797
17.29/13.76 decisions=42523, wrong=20671, backtracks=362, failedAssignments=20671, nogoods=5909
17.29/13.76 nFilterCalls=215118, avgTableProportion=0.3221534227726178, avgTableSize=0.6443068455452357
17.29/13.76
18.03/14.37 num=56, depth=0..35, filters=110769, revisions=(69686,useless=21615), ccks=103502558, wck=12.074, mem=88M32
18.03/14.37 decisions=46711, wrong=22750, backtracks=377, failedAssignments=22750, nogoods=6105
18.03/14.37 nFilterCalls=240964, avgTableProportion=0.31962865822280506, avgTableSize=0.6392573164456101
18.03/14.37
18.74/15.09 num=57, depth=25..38, filters=121650, revisions=(76248,useless=23452), ccks=107853122, wck=12.794, mem=192M220
18.74/15.09 decisions=51316, wrong=25037, backtracks=389, failedAssignments=25037, nogoods=6251
18.74/15.09 nFilterCalls=271782, avgTableProportion=0.32092449095230735, avgTableSize=0.6418489819046147
18.74/15.09
19.34/15.63 num=58, depth=0..33, filters=129012, revisions=(80775,useless=24249), ccks=112014486, wck=13.335, mem=236M872
19.34/15.63 decisions=56376, wrong=27553, backtracks=414, failedAssignments=27553, nogoods=6617
19.34/15.63 nFilterCalls=290498, avgTableProportion=0.3196837843978272, avgTableSize=0.6393675687956544
19.34/15.63
20.12/16.36 num=59, depth=27..31, filters=139230, revisions=(89295,useless=27239), ccks=116757496, wck=14.064, mem=53M449
20.12/16.36 decisions=61940, wrong=30321, backtracks=426, failedAssignments=30321, nogoods=6651
20.12/16.36 nFilterCalls=314578, avgTableProportion=0.31334200102995124, avgTableSize=0.6266840020599025
20.12/16.36
20.55/16.77 num=60, depth=46..59, filters=147182, revisions=(92706,useless=27328), ccks=119605774, wck=14.468, mem=117M987
20.55/16.77 decisions=68074, wrong=33365, backtracks=439, failedAssignments=33365, nogoods=6884
20.55/16.77 nFilterCalls=340116, avgTableProportion=0.30070916981265217, avgTableSize=0.6014183396253043
20.55/16.77
21.16/17.38 num=61, depth=22..53, filters=159988, revisions=(96843,useless=27690), ccks=122811573, wck=15.081, mem=261M956
21.16/17.38 decisions=74809, wrong=36714, backtracks=454, failedAssignments=36714, nogoods=7143
21.16/17.38 nFilterCalls=377454, avgTableProportion=0.29455509810466973, avgTableSize=0.5891101962093395
21.16/17.38
21.86/18.05 num=62, depth=0..68, filters=169122, revisions=(108458,useless=34492), ccks=129213418, wck=15.751, mem=276M849
21.86/18.05 decisions=82244, wrong=40398, backtracks=514, failedAssignments=40398, nogoods=7453
21.86/18.05 nFilterCalls=400172, avgTableProportion=0.2811253660925802, avgTableSize=0.5622507321851604
21.86/18.05
22.40/18.59 num=63, depth=0..46, filters=178809, revisions=(113612,useless=35229), ccks=133309770, wck=16.291, mem=77M923
22.40/18.59 decisions=90378, wrong=44450, backtracks=540, failedAssignments=44450, nogoods=7569
22.40/18.59 nFilterCalls=428254, avgTableProportion=0.27623910109421046, avgTableSize=0.5524782021884209
22.40/18.59
23.10/19.23 num=64, depth=38..67, filters=193485, revisions=(127171,useless=39792), ccks=137898535, wck=16.934, mem=91M943
23.10/19.23 decisions=99354, wrong=48907, backtracks=567, failedAssignments=48907, nogoods=7812
23.10/19.23 nFilterCalls=459469, avgTableProportion=0.26950675671264, avgTableSize=0.53901351342528
23.10/19.23
24.11/20.25 num=65, depth=0..42, filters=213332, revisions=(142469,useless=44912), ccks=143274777, wck=17.948, mem=232M136
24.11/20.25 decisions=109197, wrong=53810, backtracks=610, failedAssignments=53810, nogoods=7904
24.11/20.25 nFilterCalls=508872, avgTableProportion=0.2666819946862865, avgTableSize=0.533363989372573
24.11/20.25
25.51/21.67 num=66, depth=0..25, filters=226274, revisions=(157745,useless=49428), ccks=155028313, wck=19.369, mem=288M213
25.51/21.67 decisions=120007, wrong=59204, backtracks=624, failedAssignments=59204, nogoods=8037
25.51/21.67 nFilterCalls=521591, avgTableProportion=0.2680433519750149, avgTableSize=0.5360867039500298
25.51/21.67
26.76/22.83 num=67, depth=26..72, filters=240415, revisions=(175178,useless=54351), ccks=164992296, wck=20.532, mem=316M251
26.76/22.83 decisions=131927, wrong=65137, backtracks=670, failedAssignments=65137, nogoods=8471
26.76/22.83 nFilterCalls=531212, avgTableProportion=0.26962869814687923, avgTableSize=0.5392573962937585
26.76/22.83
28.41/24.40 num=68, depth=0..47, filters=268161, revisions=(197119,useless=63417), ccks=174551332, wck=22.099, mem=155M293
28.41/24.40 decisions=145008, wrong=71663, backtracks=702, failedAssignments=71663, nogoods=8741
28.41/24.40 nFilterCalls=595085, avgTableProportion=0.2749842459480578, avgTableSize=0.5499684918961156
28.41/24.40
30.35/26.36 num=69, depth=18..57, filters=306742, revisions=(218481,useless=71648), ccks=185869191, wck=24.06, mem=55M158
30.35/26.36 decisions=159416, wrong=78842, backtracks=772, failedAssignments=78842, nogoods=8751
30.35/26.36 nFilterCalls=691288, avgTableProportion=0.2812489150686834, avgTableSize=0.5624978301373668
30.35/26.36
32.06/28.05 num=70, depth=0..56, filters=344362, revisions=(242759,useless=83119), ccks=197965761, wck=25.757, mem=211M198
32.06/28.05 decisions=175242, wrong=86739, backtracks=999, failedAssignments=86739, nogoods=9152
32.06/28.05 nFilterCalls=789308, avgTableProportion=0.27658087844035534, avgTableSize=0.5531617568807107
32.06/28.05
33.16/29.18 num=71, depth=0..55, filters=366808, revisions=(266570,useless=91006), ccks=207000608, wck=26.879, mem=271M881
33.16/29.18 decisions=192647, wrong=95426, backtracks=1077, failedAssignments=95426, nogoods=9193
33.16/29.18 nFilterCalls=821257, avgTableProportion=0.2706582714059058, avgTableSize=0.5413165428118116
33.16/29.18
35.52/31.40 num=72, depth=0..33, filters=409311, revisions=(297430,useless=101473), ccks=222322608, wck=29.101, mem=98M608
35.52/31.40 decisions=211784, wrong=104981, backtracks=1243, failedAssignments=104981, nogoods=9532
35.52/31.40 nFilterCalls=913636, avgTableProportion=0.2663708522869064, avgTableSize=0.5327417045738128
35.52/31.40
44.84/40.76 num=73, depth=0..61, filters=466471, revisions=(329028,useless=113440), ccks=316289000, wck=38.461, mem=37M637
44.84/40.76 decisions=232842, wrong=115492, backtracks=1880, failedAssignments=115492, nogoods=10043
44.84/40.76 nFilterCalls=1061905, avgTableProportion=0.2702600515111992, avgTableSize=0.5405201030223984
44.84/40.76
47.59/43.42 num=74, depth=0..31, filters=515514, revisions=(366703,useless=126531), ccks=330064788, wck=41.12, mem=356M360
47.59/43.42 decisions=255992, wrong=127054, backtracks=1935, failedAssignments=127054, nogoods=10307
47.59/43.42 nFilterCalls=1180667, avgTableProportion=0.2707317135144795, avgTableSize=0.541463427028959
47.59/43.42
50.73/46.54 num=75, depth=10..37, filters=567298, revisions=(406813,useless=140411), ccks=347453912, wck=44.246, mem=305M397
50.73/46.54 decisions=281438, wrong=139772, backtracks=2011, failedAssignments=139772, nogoods=10560
50.73/46.54 nFilterCalls=1302466, avgTableProportion=0.27810937099317756, avgTableSize=0.5562187419863551
50.73/46.54
55.38/51.18 num=76, depth=25..59, filters=650013, revisions=(467542,useless=163523), ccks=386807826, wck=48.879, mem=147M518
55.38/51.18 decisions=309473, wrong=153762, backtracks=3955, failedAssignments=153762, nogoods=11101
55.38/51.18 nFilterCalls=1443520, avgTableProportion=0.273812971070716, avgTableSize=0.547625942141432
55.38/51.18
58.70/54.48 num=77, depth=0..60, filters=742713, revisions=(539021,useless=186689), ccks=406181971, wck=52.184, mem=365M171
58.70/54.48 decisions=340284, wrong=169151, backtracks=4115, failedAssignments=169151, nogoods=11422
58.70/54.48 nFilterCalls=1629994, avgTableProportion=0.26921356765730425, avgTableSize=0.5384271353146085
58.70/54.48
61.21/56.93 num=78, depth=23..65, filters=815654, revisions=(574015,useless=197208), ccks=417886083, wck=54.633, mem=355M132
61.21/56.93 decisions=374187, wrong=186079, backtracks=4224, failedAssignments=186079, nogoods=11902
61.21/56.93 nFilterCalls=1833917, avgTableProportion=0.2770545231872544, avgTableSize=0.5541090463745088
61.21/56.93
71.85/67.52 num=79, depth=22..59, filters=984600, revisions=(674407,useless=244025), ccks=502930902, wck=65.221, mem=322M933
71.85/67.52 decisions=411476, wrong=204700, backtracks=5511, failedAssignments=204700, nogoods=12570
71.85/67.52 nFilterCalls=2237735, avgTableProportion=0.28915465861686035, avgTableSize=0.5783093172337207
71.85/67.52
75.37/71.06 num=80, depth=0..84, filters=1055715, revisions=(726446,useless=263312), ccks=532700776, wck=68.757, mem=199M542
75.37/71.06 decisions=452499, wrong=225184, backtracks=7263, failedAssignments=225184, nogoods=13183
75.37/71.06 nFilterCalls=2392964, avgTableProportion=0.2848856063024768, avgTableSize=0.5697712126049536
75.37/71.06
79.86/75.45 num=81, depth=0..47, filters=1172697, revisions=(803429,useless=290355), ccks=560483191, wck=73.157, mem=220M940
79.86/75.45 decisions=497605, wrong=247716, backtracks=7367, failedAssignments=247716, nogoods=13301
79.86/75.45 nFilterCalls=2641990, avgTableProportion=0.28439396061302274, avgTableSize=0.5687879212260455
79.86/75.45
83.58/79.11 num=82, depth=0..54, filters=1247643, revisions=(879024,useless=315657), ccks=581763736, wck=76.816, mem=75M473
83.58/79.11 decisions=547224, wrong=272501, backtracks=7450, failedAssignments=272501, nogoods=13696
83.58/79.11 nFilterCalls=2762882, avgTableProportion=0.2878052700042926, avgTableSize=0.5756105400085852
83.58/79.11
87.97/83.57 num=83, depth=0..59, filters=1317600, revisions=(964978,useless=345495), ccks=618659411, wck=81.269, mem=170M946
87.97/83.57 decisions=601802, wrong=299765, backtracks=7819, failedAssignments=299765, nogoods=14202
87.97/83.57 nFilterCalls=2807055, avgTableProportion=0.2884982659762634, avgTableSize=0.5769965319525268
87.97/83.57
92.87/88.45 num=84, depth=39..62, filters=1424085, revisions=(1061622,useless=379785), ccks=644834711, wck=86.153, mem=330M67
92.87/88.45 decisions=661822, wrong=329755, backtracks=7929, failedAssignments=329755, nogoods=14386
92.87/88.45 nFilterCalls=3032296, avgTableProportion=0.28833910014061953, avgTableSize=0.5766782002812391
92.87/88.45
119.03/114.59 num=85, depth=33..43, filters=2399071, revisions=(1601821,useless=694454), ccks=756572499, wck=112.291, mem=198M962
119.03/114.59 decisions=727834, wrong=362744, backtracks=8281, failedAssignments=362744, nogoods=14690
119.03/114.59 nFilterCalls=5489212, avgTableProportion=0.3083254026260964, avgTableSize=0.6166508052521928
119.03/114.59
122.72/118.18 num=86, depth=0..64, filters=2491293, revisions=(1697011,useless=726944), ccks=783205408, wck=115.886, mem=112M928
122.72/118.18 decisions=800476, wrong=399038, backtracks=8487, failedAssignments=399032, nogoods=15487
122.72/118.18 nFilterCalls=5610833, avgTableProportion=0.30500426585499874, avgTableSize=0.6100085317099975
122.72/118.18
136.72/132.17 num=87, depth=0..57, filters=2704822, revisions=(1865030,useless=797803), ccks=905918062, wck=129.872, mem=260M574
136.72/132.17 decisions=880357, wrong=438959, backtracks=10553, failedAssignments=438949, nogoods=16155
136.72/132.17 nFilterCalls=5981174, avgTableProportion=0.3029236400746743, avgTableSize=0.6058472801493486
136.72/132.17
173.86/169.20 num=88, depth=0..63, filters=3085064, revisions=(2098454,useless=915642), ccks=1275482220, wck=166.9, mem=63M912
173.86/169.20 decisions=968765, wrong=483150, backtracks=13371, failedAssignments=482858, nogoods=16362
173.86/169.20 nFilterCalls=6714610, avgTableProportion=0.2953697236324969, avgTableSize=0.5907394472649938
173.86/169.20
184.26/179.65 num=89, depth=0..67, filters=3413411, revisions=(2327457,useless=1005133), ccks=1365281453, wck=177.349, mem=160M800
184.26/179.65 decisions=1065496, wrong=531491, backtracks=14485, failedAssignments=531158, nogoods=17049
184.26/179.65 nFilterCalls=7323896, avgTableProportion=0.28316499851991345, avgTableSize=0.5663299970398269
184.26/179.65
194.96/190.33 num=90, depth=0..67, filters=3611903, revisions=(2443089,useless=1046986), ccks=1460670212, wck=188.03, mem=54M378
194.96/190.33 decisions=1171805, wrong=584624, backtracks=14889, failedAssignments=584288, nogoods=17260
194.96/190.33 nFilterCalls=7668070, avgTableProportion=0.2789719577416482, avgTableSize=0.5579439154832964
194.96/190.33
225.28/220.62 num=91, depth=0..49, filters=4571455, revisions=(3076642,useless=1472084), ccks=1670670262, wck=218.319, mem=61M981
225.28/220.62 decisions=1289214, wrong=643308, backtracks=15283, failedAssignments=642731, nogoods=17455
225.28/220.62 nFilterCalls=9522438, avgTableProportion=0.2911947024490997, avgTableSize=0.5823894048981993
225.28/220.62
247.80/243.18 num=92, depth=0..57, filters=5173868, revisions=(3408873,useless=1614267), ccks=1836117440, wck=240.88, mem=115M903
247.80/243.18 decisions=1417913, wrong=707637, backtracks=15765, failedAssignments=707018, nogoods=17827
247.80/243.18 nFilterCalls=10578321, avgTableProportion=0.2914849152337124, avgTableSize=0.5829698304674248
247.80/243.18
271.01/266.35 num=93, depth=0..65, filters=5754081, revisions=(3772733,useless=1764182), ccks=2046726646, wck=264.05, mem=166M235
271.01/266.35 decisions=1559473, wrong=778395, backtracks=17005, failedAssignments=777734, nogoods=18021
271.01/266.35 nFilterCalls=11596318, avgTableProportion=0.2778302130038173, avgTableSize=0.5556604260076345
271.01/266.35
301.61/296.90 num=94, depth=39..58, filters=6448839, revisions=(4158107,useless=1944167), ccks=2325098390, wck=294.603, mem=73M148
301.61/296.90 decisions=1715175, wrong=856225, backtracks=18893, failedAssignments=855521, nogoods=18563
301.61/296.90 nFilterCalls=12841069, avgTableProportion=0.27064717119735127, avgTableSize=0.5412943423947025
301.61/296.90
336.23/331.59 num=95, depth=39..59, filters=6927391, revisions=(4537347,useless=2130854), ccks=2632986781, wck=329.293, mem=224M579
336.23/331.59 decisions=1886379, wrong=941807, backtracks=19811, failedAssignments=941087, nogoods=19008
336.23/331.59 nFilterCalls=13871744, avgTableProportion=0.2698733482970851, avgTableSize=0.5397466965941702
336.23/331.59
366.14/361.44 num=96, depth=41..80, filters=7567250, revisions=(4980393,useless=2354438), ccks=2905806346, wck=359.14, mem=82M302
366.14/361.44 decisions=2074676, wrong=1035932, backtracks=22682, failedAssignments=1035210, nogoods=19263
366.14/361.44 nFilterCalls=15204547, avgTableProportion=0.2588757823564227, avgTableSize=0.5177515647128454
366.14/361.44
394.77/390.01 num=97, depth=37..58, filters=8131975, revisions=(5410292,useless=2547447), ccks=3111985154, wck=387.714, mem=140M399
394.77/390.01 decisions=2281786, wrong=1139468, backtracks=23845, failedAssignments=1138745, nogoods=19744
394.77/390.01 nFilterCalls=16458562, avgTableProportion=0.2556511012322948, avgTableSize=0.5113022024645896
394.77/390.01
448.57/443.87 num=98, depth=0..56, filters=9495256, revisions=(6124275,useless=2903080), ccks=3558249045, wck=441.576, mem=191M160
448.57/443.87 decisions=2510075, wrong=1253591, backtracks=24633, failedAssignments=1252634, nogoods=20494
448.57/443.87 nFilterCalls=18568995, avgTableProportion=0.2587527219432177, avgTableSize=0.5175054438864354
448.57/443.87
503.21/498.42 num=99, depth=0..60, filters=11178766, revisions=(7289579,useless=3573741), ccks=3959811051, wck=496.121, mem=99M827
503.21/498.42 decisions=2761103, wrong=1379083, backtracks=25577, failedAssignments=1377912, nogoods=20921
503.21/498.42 nFilterCalls=22161202, avgTableProportion=0.2567489570285944, avgTableSize=0.5134979140571888
503.21/498.42
520.16/515.30 num=100, depth=31..65, filters=11657891, revisions=(7544058,useless=3654102), ccks=4055970518, wck=513.004, mem=130M63
520.16/515.30 decisions=3036761, wrong=1516891, backtracks=26196, failedAssignments=1515718, nogoods=21072
520.16/515.30 nFilterCalls=23397260, avgTableProportion=0.25318079980305386, avgTableSize=0.5063615996061077
520.16/515.30
556.08/551.30 num=101, depth=37..60, filters=12672009, revisions=(8218372,useless=3949401), ccks=4331797774, wck=548.997, mem=84M557
556.08/551.30 decisions=3340137, wrong=1668558, backtracks=28209, failedAssignments=1667304, nogoods=21374
556.08/551.30 nFilterCalls=25441826, avgTableProportion=0.24970576011328746, avgTableSize=0.4994115202265749
556.08/551.30
576.39/571.58 num=102, depth=21..83, filters=13021472, revisions=(8637688,useless=4089942), ccks=4495183982, wck=569.281, mem=113M210
576.39/571.58 decisions=3673672, wrong=1835303, backtracks=29312, failedAssignments=1834049, nogoods=21798
576.39/571.58 nFilterCalls=25729739, avgTableProportion=0.24828098722649306, avgTableSize=0.4965619744529861
576.39/571.58
615.88/610.99 num=103, depth=34..63, filters=13693117, revisions=(9258180,useless=4310335), ccks=4771038019, wck=608.696, mem=39M945
615.88/610.99 decisions=4040683, wrong=2018787, backtracks=30305, failedAssignments=2017468, nogoods=22190
615.88/610.99 nFilterCalls=26824995, avgTableProportion=0.24852649553149964, avgTableSize=0.49705299106299927
615.88/610.99
650.18/645.29 num=104, depth=42..66, filters=15094106, revisions=(10228125,useless=4757010), ccks=5050013949, wck=642.987, mem=127M186
650.18/645.29 decisions=4444257, wrong=2220549, backtracks=34499, failedAssignments=2219229, nogoods=22668
650.18/645.29 nFilterCalls=29644737, avgTableProportion=0.2326347169145066, avgTableSize=0.4652694338290132
650.18/645.29
708.30/703.30 num=105, depth=37..57, filters=16149894, revisions=(11068752,useless=5124847), ccks=5466934979, wck=701.001, mem=43M948
708.30/703.30 decisions=4888171, wrong=2442487, backtracks=35313, failedAssignments=2441167, nogoods=22833
708.30/703.30 nFilterCalls=31788811, avgTableProportion=0.23565418977136326, avgTableSize=0.47130837954272653
708.30/703.30
774.24/769.29 num=106, depth=0..59, filters=17459196, revisions=(11926010,useless=5533717), ccks=6065250765, wck=766.994, mem=129M794
774.24/769.29 decisions=5376893, wrong=2686826, backtracks=42881, failedAssignments=2685298, nogoods=23729
774.24/769.29 nFilterCalls=34665065, avgTableProportion=0.22788373539758255, avgTableSize=0.4557674707951651
774.24/769.29
927.89/922.78 num=107, depth=0..60, filters=20668354, revisions=(13486197,useless=6278558), ccks=7463435980, wck=920.479, mem=42M469
927.89/922.78 decisions=5914331, wrong=2955530, backtracks=52505, failedAssignments=2953843, nogoods=23998
927.89/922.78 nFilterCalls=39457410, avgTableProportion=0.22912228653629318, avgTableSize=0.45824457307258637
927.89/922.78
975.03/969.76 num=108, depth=30..60, filters=22729078, revisions=(14786206,useless=6867117), ccks=7747410641, wck=967.459, mem=66M450
975.03/969.76 decisions=6505276, wrong=3250981, backtracks=58021, failedAssignments=3249242, nogoods=24746
975.03/969.76 nFilterCalls=43919804, avgTableProportion=0.22794151130546939, avgTableSize=0.45588302261093877
975.03/969.76
1049.36/1043.92 num=109, depth=0..63, filters=25042138, revisions=(15948016,useless=7377432), ccks=8319662759, wck=1041.623, mem=55M846
1049.36/1043.92 decisions=7156982, wrong=3576814, backtracks=60668, failedAssignments=3574181, nogoods=24967
1049.36/1043.92 nFilterCalls=48635377, avgTableProportion=0.22658599932308535, avgTableSize=0.4531719986461707
1049.36/1043.92
1188.50/1182.79 num=110, depth=0..44, filters=31798929, revisions=(20234125,useless=10306574), ccks=8802717266, wck=1180.49, mem=54M832
1188.50/1182.79 decisions=7872223, wrong=3934417, backtracks=62275, failedAssignments=3931614, nogoods=25068
1188.50/1182.79 nFilterCalls=64227018, avgTableProportion=0.2563541249883344, avgTableSize=0.5127082499766688
1188.50/1182.79
1329.03/1323.11 num=111, depth=30..66, filters=34524795, revisions=(21940498,useless=11122363), ccks=10025313331, wck=1320.814, mem=35M432
1329.03/1323.11 decisions=8659021, wrong=4327791, backtracks=67746, failedAssignments=4324790, nogoods=25249
1329.03/1323.11 nFilterCalls=69262712, avgTableProportion=0.25060879799220104, avgTableSize=0.5012175959844021
1329.03/1323.11
1367.01/1361.00 o 556
1367.12/1361.01 num=112, depth=0..202, filters=35596685, revisions=(22810894,useless=11485807), ccks=10240010497, wck=1358.71, mem=87M635
1367.12/1361.01 decisions=9248235, wrong=4622368, backtracks=71154, failedAssignments=4619356, nogoods=25910, foundSolutions=1, bestBound=556
1367.12/1361.01 nFilterCalls=71500322, avgTableProportion=0.251112659324807, avgTableSize=0.502225318649614
1367.12/1361.01
1532.22/1525.89 num=113, depth=36..63, filters=40942984, revisions=(25470059,useless=12797014), ccks=11445790959, wck=1523.591, mem=88M599
1532.22/1525.89 decisions=10202650, wrong=5099550, backtracks=77648, failedAssignments=5095100, nogoods=26043, foundSolutions=1, bestBound=556
1532.22/1525.89 nFilterCalls=81174272, avgTableProportion=0.24887641739491054, avgTableSize=0.4977528347898211
1532.22/1525.89
1532.73/1526.37 num=114, depth=42..43, filters=40944612, revisions=(25470825,useless=12797292), ccks=11450934430, wck=1524.075, mem=36M864
1532.73/1526.37 decisions=10202715, wrong=5099561, backtracks=77648, failedAssignments=5095111, nogoods=26054, foundSolutions=1, bestBound=556
1532.73/1526.37 nFilterCalls=81176400, avgTableProportion=0.24887969902582524, avgTableSize=0.4977593980516505
1532.73/1526.37
1533.03/1526.68 num=115, depth=36..42, filters=40945138, revisions=(25471218,useless=12797354), ccks=11454287002, wck=1524.387, mem=39M24
1533.03/1526.68 decisions=10202775, wrong=5099573, backtracks=77654, failedAssignments=5095123, nogoods=26055, foundSolutions=1, bestBound=556
1533.03/1526.68 nFilterCalls=81177215, avgTableProportion=0.2488816227558435, avgTableSize=0.497763245511687
1533.03/1526.68
1533.03/1526.69 num=116, depth=0..0, filters=40945151, revisions=(25471231,useless=12797354), ccks=11454337962, wck=1524.393, mem=39M24
1533.03/1526.69 decisions=10202801, wrong=5099586, backtracks=77654, failedAssignments=5095136, nogoods=26055, foundSolutions=1, bestBound=556
1533.03/1526.69 nFilterCalls=81177215, avgTableProportion=0.2488816227558435, avgTableSize=0.497763245511687
1533.03/1526.69
1533.44/1527.06 num=117, depth=0..53, filters=40945986, revisions=(25471780,useless=12797506), ccks=11458244018, wck=1524.758, mem=41M184
1533.44/1527.06 decisions=10202882, wrong=5099600, backtracks=77654, failedAssignments=5095150, nogoods=26062, foundSolutions=1, bestBound=556
1533.44/1527.06 nFilterCalls=81178582, avgTableProportion=0.24888327687221734, avgTableSize=0.4977665537444347
1533.44/1527.06
1533.44/1527.06 num=118, depth=0..0, filters=40946002, revisions=(25471796,useless=12797506), ccks=11458302258, wck=1524.765, mem=41M184
1533.44/1527.06 decisions=10202914, wrong=5099616, backtracks=77654, failedAssignments=5095166, nogoods=26062, foundSolutions=1, bestBound=556
1533.44/1527.06 nFilterCalls=81178582, avgTableProportion=0.24888327687221734, avgTableSize=0.4977665537444347
1533.44/1527.06
1533.64/1527.22 num=119, depth=0..20, filters=40946388, revisions=(25472067,useless=12797560), ccks=11459908418, wck=1524.918, mem=43M345
1533.64/1527.22 decisions=10202966, wrong=5099633, backtracks=77656, failedAssignments=5095183, nogoods=26065, foundSolutions=1, bestBound=556
1533.64/1527.22 nFilterCalls=81179087, avgTableProportion=0.24888463576832295, avgTableSize=0.4977692715366459
1533.64/1527.22
1534.04/1527.64 num=120, depth=42..43, filters=40949414, revisions=(25473286,useless=12798161), ccks=11464297085, wck=1525.343, mem=45M505
1534.04/1527.64 decisions=10203047, wrong=5099652, backtracks=77656, failedAssignments=5095202, nogoods=26084, foundSolutions=1, bestBound=556
1534.04/1527.64 nFilterCalls=81182862, avgTableProportion=0.24889172421637462, avgTableSize=0.49778344843274924
1534.04/1527.64
1534.34/1527.97 num=121, depth=0..42, filters=40950082, revisions=(25473719,useless=12798246), ccks=11467860430, wck=1525.674, mem=47M665
1534.34/1527.97 decisions=10203131, wrong=5099673, backtracks=77656, failedAssignments=5095223, nogoods=26086, foundSolutions=1, bestBound=556
1534.34/1527.97 nFilterCalls=81183748, avgTableProportion=0.24889363940181722, avgTableSize=0.49778727880363444
1534.34/1527.97
1534.74/1528.39 num=122, depth=40..48, filters=40951221, revisions=(25474459,useless=12798464), ccks=11472342302, wck=1526.092, mem=49M825
1534.74/1528.39 decisions=10203229, wrong=5099698, backtracks=77665, failedAssignments=5095246, nogoods=26092, foundSolutions=1, bestBound=556
1534.74/1528.39 nFilterCalls=81185436, avgTableProportion=0.24889600888514044, avgTableSize=0.49779201777028087
1534.74/1528.39
1534.94/1528.51 num=123, depth=13..19, filters=40951534, revisions=(25474726,useless=12798498), ccks=11473619630, wck=1526.213, mem=51M985
1534.94/1528.51 decisions=10203292, wrong=5099723, backtracks=77671, failedAssignments=5095271, nogoods=26095, foundSolutions=1, bestBound=556
1534.94/1528.51 nFilterCalls=81185767, avgTableProportion=0.2488969772250843, avgTableSize=0.4977939544501686
1534.94/1528.51
1535.34/1528.90 num=124, depth=43..49, filters=40953512, revisions=(25475734,useless=12799000), ccks=11477741243, wck=1526.606, mem=53M65
1535.34/1528.90 decisions=10203396, wrong=5099751, backtracks=77671, failedAssignments=5095299, nogoods=26123, foundSolutions=1, bestBound=556
1535.34/1528.90 nFilterCalls=81188563, avgTableProportion=0.24890235463337368, avgTableSize=0.49780470926674736
1535.34/1528.90
1535.74/1529.35 num=125, depth=42..43, filters=40956241, revisions=(25476998,useless=12799561), ccks=11482443700, wck=1527.056, mem=55M225
1535.74/1529.35 decisions=10203505, wrong=5099784, backtracks=77673, failedAssignments=5095330, nogoods=26129, foundSolutions=1, bestBound=556
1535.74/1529.35 nFilterCalls=81192368, avgTableProportion=0.24890436130647156, avgTableSize=0.4978087226129431
1535.74/1529.35
1536.14/1529.70 num=126, depth=42..46, filters=40958491, revisions=(25478002,useless=12799940), ccks=11486107862, wck=1527.406, mem=57M385
1536.14/1529.70 decisions=10203619, wrong=5099818, backtracks=77673, failedAssignments=5095364, nogoods=26163, foundSolutions=1, bestBound=556
1536.14/1529.70 nFilterCalls=81195484, avgTableProportion=0.2489056780547056, avgTableSize=0.4978113561094112
1536.14/1529.70
1536.24/1529.84 num=127, depth=9..20, filters=40958933, revisions=(25478347,useless=12799987), ccks=11487503236, wck=1527.539, mem=59M545
1536.24/1529.84 decisions=10203704, wrong=5099856, backtracks=77684, failedAssignments=5095401, nogoods=26164, foundSolutions=1, bestBound=556
1536.24/1529.84 nFilterCalls=81195892, avgTableProportion=0.2489068535634783, avgTableSize=0.4978137071269566
1536.24/1529.84
1536.57/1530.18 num=128, depth=48..48, filters=40959837, revisions=(25478957,useless=12800154), ccks=11491195678, wck=1527.88, mem=60M625
1536.57/1530.18 decisions=10203834, wrong=5099897, backtracks=77684, failedAssignments=5095442, nogoods=26205, foundSolutions=1, bestBound=556
1536.57/1530.18 nFilterCalls=81197356, avgTableProportion=0.24890863441415506, avgTableSize=0.4978172688283101
1536.57/1530.18
1537.06/1530.67 num=129, depth=42..43, filters=40963586, revisions=(25480653,useless=12800961), ccks=11496303520, wck=1528.372, mem=62M786
1537.06/1530.67 decisions=10203973, wrong=5099945, backtracks=77687, failedAssignments=5095487, nogoods=26210, foundSolutions=1, bestBound=556
1537.06/1530.67 nFilterCalls=81202664, avgTableProportion=0.2489109840041701, avgTableSize=0.4978219680083402
1537.06/1530.67
1537.36/1530.98 num=130, depth=43..46, filters=40964473, revisions=(25481292,useless=12801146), ccks=11499633671, wck=1528.682, mem=64M946
1537.36/1530.98 decisions=10204116, wrong=5099995, backtracks=77690, failedAssignments=5095537, nogoods=26211, foundSolutions=1, bestBound=556
1537.36/1530.98 nFilterCalls=81204138, avgTableProportion=0.24891175496499945, avgTableSize=0.4978235099299989
1537.36/1530.98
1537.57/1531.12 num=131, depth=8..20, filters=40964968, revisions=(25481700,useless=12801204), ccks=11501098537, wck=1528.821, mem=67M107
1537.57/1531.12 decisions=10204234, wrong=5100050, backtracks=77702, failedAssignments=5095592, nogoods=26214, foundSolutions=1, bestBound=556
1537.57/1531.12 nFilterCalls=81204629, avgTableProportion=0.24891315616995183, avgTableSize=0.49782631233990365
1537.57/1531.12
1537.86/1531.47 num=132, depth=47..51, filters=40966417, revisions=(25482584,useless=12801530), ccks=11504891014, wck=1529.174, mem=69M267
1537.86/1531.47 decisions=10204408, wrong=5100112, backtracks=77704, failedAssignments=5095653, nogoods=26244, foundSolutions=1, bestBound=556
1537.86/1531.47 nFilterCalls=81207180, avgTableProportion=0.24891252842421077, avgTableSize=0.49782505684842154
1537.86/1531.47
1538.06/1531.60 num=133, depth=2..20, filters=40967043, revisions=(25483074,useless=12801607), ccks=11506207089, wck=1529.3, mem=71M427
1538.06/1531.60 decisions=10204544, wrong=5100179, backtracks=77722, failedAssignments=5095720, nogoods=26248, foundSolutions=1, bestBound=556
1538.06/1531.60 nFilterCalls=81207788, avgTableProportion=0.24891424206752188, avgTableSize=0.49782848413504377
1538.06/1531.60
1538.36/1531.95 num=134, depth=47..52, filters=40968884, revisions=(25484281,useless=12802150), ccks=11509933271, wck=1529.654, mem=73M587
1538.36/1531.95 decisions=10204744, wrong=5100253, backtracks=77723, failedAssignments=5095794, nogoods=26321, foundSolutions=1, bestBound=556
1538.36/1531.95 nFilterCalls=81211841, avgTableProportion=0.24891378216632226, avgTableSize=0.4978275643326445
1538.36/1531.95
1538.57/1532.15 num=135, depth=0..20, filters=40969689, revisions=(25484915,useless=12802245), ccks=11512029591, wck=1529.854, mem=75M747
1538.57/1532.15 decisions=10204918, wrong=5100334, backtracks=77745, failedAssignments=5095875, nogoods=26335, foundSolutions=1, bestBound=556
1538.57/1532.15 nFilterCalls=81212650, avgTableProportion=0.24891604940855888, avgTableSize=0.49783209881711776
1538.57/1532.15
1539.07/1532.64 num=136, depth=42..50, filters=40974287, revisions=(25486910,useless=12803299), ccks=11516958829, wck=1530.34, mem=77M908
1539.07/1532.64 decisions=10205144, wrong=5100423, backtracks=77746, failedAssignments=5095964, nogoods=26384, foundSolutions=1, bestBound=556
1539.07/1532.64 nFilterCalls=81218885, avgTableProportion=0.24892362779912577, avgTableSize=0.49784725559825155
1539.07/1532.64
1539.17/1532.76 num=137, depth=0..14, filters=40974871, revisions=(25487415,useless=12803360), ccks=11518171525, wck=1530.462, mem=82M228
1539.17/1532.76 decisions=10205342, wrong=5100521, backtracks=77767, failedAssignments=5096062, nogoods=26410, foundSolutions=1, bestBound=556
1539.17/1532.76 nFilterCalls=81219357, avgTableProportion=0.24892493300581042, avgTableSize=0.49784986601162085
1539.17/1532.76
1539.67/1533.24 num=138, depth=42..50, filters=40979450, revisions=(25489465,useless=12804428), ccks=11523080572, wck=1530.945, mem=84M388
1539.67/1533.24 decisions=10205606, wrong=5100629, backtracks=77768, failedAssignments=5096170, nogoods=26478, foundSolutions=1, bestBound=556
1539.67/1533.24 nFilterCalls=81225593, avgTableProportion=0.2489313374418824, avgTableSize=0.4978626748837648
1539.67/1533.24
1539.88/1533.48 num=139, depth=0..18, filters=40980401, revisions=(25490139,useless=12804534), ccks=11525310098, wck=1531.178, mem=42M395
1539.88/1533.48 decisions=10205846, wrong=5100748, backtracks=77802, failedAssignments=5096289, nogoods=26481, foundSolutions=1, bestBound=556
1539.88/1533.48 nFilterCalls=81226944, avgTableProportion=0.24893454073564555, avgTableSize=0.4978690814712911
1539.88/1533.48
1540.29/1533.83 num=140, depth=44..48, filters=40981569, revisions=(25491023,useless=12804791), ccks=11529104688, wck=1531.531, mem=44M556
1540.29/1533.83 decisions=10206152, wrong=5100879, backtracks=77806, failedAssignments=5096420, nogoods=26486, foundSolutions=1, bestBound=556
1540.29/1533.83 nFilterCalls=81228939, avgTableProportion=0.24893394212621686, avgTableSize=0.4978678842524337
1540.29/1533.83
1540.50/1534.06 num=141, depth=0..20, filters=40982638, revisions=(25491915,useless=12804904), ccks=11531495391, wck=1531.761, mem=47M796
1540.50/1534.06 decisions=10206442, wrong=5101023, backtracks=77838, failedAssignments=5096564, nogoods=26493, foundSolutions=1, bestBound=556
1540.50/1534.06 nFilterCalls=81229820, avgTableProportion=0.24893643122685732, avgTableSize=0.49787286245371465
1540.50/1534.06
1540.89/1534.42 num=142, depth=45..50, filters=40983910, revisions=(25492896,useless=12805203), ccks=11535361682, wck=1532.121, mem=49M956
1540.89/1534.42 decisions=10206803, wrong=5101181, backtracks=77843, failedAssignments=5096722, nogoods=26498, foundSolutions=1, bestBound=556
1540.89/1534.42 nFilterCalls=81232035, avgTableProportion=0.24893544769621984, avgTableSize=0.49787089539243967
1540.89/1534.42
1541.39/1534.93 num=143, depth=0..42, filters=40985700, revisions=(25494125,useless=12805453), ccks=11540686466, wck=1532.633, mem=59M676
1541.39/1534.93 decisions=10207167, wrong=5101355, backtracks=77891, failedAssignments=5096896, nogoods=26500, foundSolutions=1, bestBound=556
1541.39/1534.93 nFilterCalls=81234722, avgTableProportion=0.2489404961587731, avgTableSize=0.4978809923175462
1541.39/1534.93
1542.09/1535.65 num=144, depth=0..42, filters=41005855, revisions=(25503950,useless=12811178), ccks=11546705276, wck=1533.355, mem=71M556
1542.09/1535.65 decisions=10207601, wrong=5101556, backtracks=77905, failedAssignments=5097087, nogoods=26513, foundSolutions=1, bestBound=556
1542.09/1535.65 nFilterCalls=81264535, avgTableProportion=0.2489712578802057, avgTableSize=0.4979425157604114
1542.09/1535.65
1542.50/1536.05 num=145, depth=42..46, filters=41008912, revisions=(25505357,useless=12811631), ccks=11550794089, wck=1533.756, mem=73M716
1542.50/1536.05 decisions=10208065, wrong=5101767, backtracks=77909, failedAssignments=5097298, nogoods=26638, foundSolutions=1, bestBound=556
1542.50/1536.05 nFilterCalls=81268484, avgTableProportion=0.248974799382255, avgTableSize=0.49794959876451
1542.50/1536.05
1543.29/1536.82 num=146, depth=0..43, filters=41012918, revisions=(25507437,useless=12812229), ccks=11558577066, wck=1534.519, mem=87M756
1543.29/1536.82 decisions=10208572, wrong=5101999, backtracks=77951, failedAssignments=5097530, nogoods=26714, foundSolutions=1, bestBound=556
1543.29/1536.82 nFilterCalls=81273679, avgTableProportion=0.24898424371806768, avgTableSize=0.49796848743613537
1543.29/1536.82
1543.70/1537.20 num=147, depth=41..46, filters=41014985, revisions=(25508824,useless=12812706), ccks=11562506445, wck=1534.904, mem=37M61
1543.70/1537.20 decisions=10209123, wrong=5102254, backtracks=77956, failedAssignments=5097785, nogoods=26733, foundSolutions=1, bestBound=556
1543.70/1537.20 nFilterCalls=81277103, avgTableProportion=0.24898394200885826, avgTableSize=0.4979678840177165
1543.70/1537.20
1544.20/1537.72 num=148, depth=0..43, filters=41017249, revisions=(25510520,useless=12813032), ccks=11567897238, wck=1535.426, mem=44M621
1544.20/1537.72 decisions=10209727, wrong=5102535, backtracks=77991, failedAssignments=5098066, nogoods=26833, foundSolutions=1, bestBound=556
1544.20/1537.72 nFilterCalls=81280089, avgTableProportion=0.24898768257992435, avgTableSize=0.4979753651598487
1544.20/1537.72
1546.00/1539.59 num=149, depth=0..43, filters=41042243, revisions=(25519933,useless=12817930), ccks=11586326604, wck=1537.294, mem=51M329
1546.00/1539.59 decisions=10210396, wrong=5102848, backtracks=78013, failedAssignments=5098375, nogoods=26916, foundSolutions=1, bestBound=556
1546.00/1539.59 nFilterCalls=81311793, avgTableProportion=0.24903025444291949, avgTableSize=0.49806050888583897
1546.00/1539.59
1546.61/1540.13 num=150, depth=41..45, filters=41047072, revisions=(25522192,useless=12818780), ccks=11591834924, wck=1537.837, mem=53M489
1546.61/1540.13 decisions=10211117, wrong=5103188, backtracks=78017, failedAssignments=5098715, nogoods=27170, foundSolutions=1, bestBound=556
1546.61/1540.13 nFilterCalls=81318464, avgTableProportion=0.24903202795370066, avgTableSize=0.4980640559074013
1546.61/1540.13
1548.41/1541.92 num=151, depth=0..32, filters=41051754, revisions=(25525458,useless=12819894), ccks=11610530013, wck=1539.625, mem=40M400
1548.41/1541.92 decisions=10211898, wrong=5103563, backtracks=78261, failedAssignments=5099089, nogoods=27389, foundSolutions=1, bestBound=556
1548.41/1541.92 nFilterCalls=81329130, avgTableProportion=0.2490456064143315, avgTableSize=0.498091212828663
1548.41/1541.92
1549.11/1542.68 num=152, depth=42..47, filters=41059249, revisions=(25528564,useless=12821098), ccks=11618221711, wck=1540.385, mem=42M556
1549.11/1542.68 decisions=10212762, wrong=5103974, backtracks=78266, failedAssignments=5099500, nogoods=27632, foundSolutions=1, bestBound=556
1549.11/1542.68 nFilterCalls=81338472, avgTableProportion=0.2490542851604097, avgTableSize=0.4981085703208194
1549.11/1542.68
1549.62/1543.19 num=153, depth=0..56, filters=41061926, revisions=(25530695,useless=12821667), ccks=11623487865, wck=1540.891, mem=49M27
1549.62/1543.19 decisions=10213722, wrong=5104427, backtracks=78302, failedAssignments=5099952, nogoods=27691, foundSolutions=1, bestBound=556
1549.62/1543.19 nFilterCalls=81342980, avgTableProportion=0.24905580051284082, avgTableSize=0.49811160102568164
1549.62/1543.19
1550.62/1544.11 num=154, depth=0..47, filters=41064837, revisions=(25533444,useless=12822167), ccks=11633384001, wck=1541.811, mem=56M576
1550.62/1544.11 decisions=10214764, wrong=5104925, backtracks=78375, failedAssignments=5100449, nogoods=27719, foundSolutions=1, bestBound=556
1550.62/1544.11 nFilterCalls=81345305, avgTableProportion=0.24905830766754147, avgTableSize=0.49811661533508295
1550.62/1544.11
1551.41/1544.99 num=155, depth=42..52, filters=41077974, revisions=(25539550,useless=12825057), ccks=11641973154, wck=1542.69, mem=59M811
1551.41/1544.99 decisions=10215915, wrong=5105479, backtracks=78391, failedAssignments=5100996, nogoods=27848, foundSolutions=1, bestBound=556
1551.41/1544.99 nFilterCalls=81364309, avgTableProportion=0.24905391256994514, avgTableSize=0.49810782513989027
1551.41/1544.99
1552.01/1545.50 num=156, depth=0..54, filters=41081066, revisions=(25542088,useless=12825780), ccks=11647227334, wck=1543.201, mem=68M439
1552.01/1545.50 decisions=10217171, wrong=5106082, backtracks=78429, failedAssignments=5101598, nogoods=27866, foundSolutions=1, bestBound=556
1552.01/1545.50 nFilterCalls=81370008, avgTableProportion=0.24905342887516982, avgTableSize=0.49810685775033964
1552.01/1545.50
1552.81/1546.30 num=157, depth=0..50, filters=41089187, revisions=(25546413,useless=12827503), ccks=11655191932, wck=1544.002, mem=74M909
1552.81/1546.30 decisions=10218541, wrong=5106746, backtracks=78468, failedAssignments=5102260, nogoods=27907, foundSolutions=1, bestBound=556
1552.81/1546.30 nFilterCalls=81380959, avgTableProportion=0.2490592240378981, avgTableSize=0.4981184480757962
1552.81/1546.30
1553.31/1546.84 num=158, depth=0..54, filters=41093024, revisions=(25549527,useless=12828386), ccks=11660654497, wck=1544.538, mem=85M694
1553.31/1546.84 decisions=10220045, wrong=5107475, backtracks=78510, failedAssignments=5102988, nogoods=27966, foundSolutions=1, bestBound=556
1553.31/1546.84 nFilterCalls=81388409, avgTableProportion=0.24905627532293942, avgTableSize=0.49811255064587884
1553.31/1546.84
1555.31/1548.88 num=159, depth=18..47, filters=41118341, revisions=(25559249,useless=12833220), ccks=11680653658, wck=1546.579, mem=88M929
1555.31/1548.88 decisions=10221690, wrong=5108277, backtracks=78518, failedAssignments=5103789, nogoods=28242, foundSolutions=1, bestBound=556
1555.31/1548.88 nFilterCalls=81421406, avgTableProportion=0.2490954282956008, avgTableSize=0.4981908565912016
1555.31/1548.88
1556.53/1550.10 num=160, depth=0..50, filters=41127831, revisions=(25564304,useless=12835428), ccks=11691544860, wck=1547.8, mem=60M62
1556.53/1550.10 decisions=10223502, wrong=5109160, backtracks=78586, failedAssignments=5104670, nogoods=28279, foundSolutions=1, bestBound=556
1556.53/1550.10 nFilterCalls=81439307, avgTableProportion=0.24911854296599062, avgTableSize=0.49823708593198124
1556.53/1550.10
1557.53/1551.10 num=161, depth=0..65, filters=41135509, revisions=(25568664,useless=12836932), ccks=11701895924, wck=1548.802, mem=66M538
1557.53/1551.10 decisions=10225501, wrong=5110131, backtracks=78644, failedAssignments=5105640, nogoods=28376, foundSolutions=1, bestBound=556
1557.53/1551.10 nFilterCalls=81450932, avgTableProportion=0.24912097997847343, avgTableSize=0.49824195995694687
1557.53/1551.10
1558.42/1551.96 num=162, depth=43..52, filters=41145226, revisions=(25573569,useless=12838694), ccks=11710320432, wck=1549.665, mem=70M855
1558.42/1551.96 decisions=10227679, wrong=5111198, backtracks=78653, failedAssignments=5106707, nogoods=28468, foundSolutions=1, bestBound=556
1558.42/1551.96 nFilterCalls=81465092, avgTableProportion=0.24912081974939645, avgTableSize=0.4982416394987929
1558.42/1551.96
1559.32/1552.87 num=163, depth=0..61, filters=41153147, revisions=(25577471,useless=12840102), ccks=11719405652, wck=1550.569, mem=80M569
1559.32/1552.87 decisions=10230071, wrong=5112371, backtracks=78704, failedAssignments=5107880, nogoods=28644, foundSolutions=1, bestBound=556
1559.32/1552.87 nFilterCalls=81479970, avgTableProportion=0.24911284331597078, avgTableSize=0.49822568663194156
1559.32/1552.87
1560.12/1553.62 num=164, depth=44..51, filters=41167906, revisions=(25585683,useless=12844241), ccks=11726356165, wck=1551.326, mem=85M966
1560.12/1553.62 decisions=10232709, wrong=5113666, backtracks=78731, failedAssignments=5109171, nogoods=28850, foundSolutions=1, bestBound=556
1560.12/1553.62 nFilterCalls=81508821, avgTableProportion=0.24907941558865143, avgTableSize=0.49815883117730286
1560.12/1553.62
1560.74/1554.25 num=165, depth=0..55, filters=41179332, revisions=(25594014,useless=12848861), ccks=11731681464, wck=1551.949, mem=44M29
1560.74/1554.25 decisions=10235595, wrong=5115086, backtracks=78750, failedAssignments=5110591, nogoods=29198, foundSolutions=1, bestBound=556
1560.74/1554.25 nFilterCalls=81535418, avgTableProportion=0.24907250736115685, avgTableSize=0.4981450147223137
1560.74/1554.25
1562.74/1556.27 num=166, depth=42..61, filters=41226328, revisions=(25613394,useless=12858754), ccks=11749853078, wck=1553.969, mem=51M586
1562.74/1556.27 decisions=10238817, wrong=5116669, backtracks=78780, failedAssignments=5112153, nogoods=29360, foundSolutions=1, bestBound=556
1562.74/1556.27 nFilterCalls=81602846, avgTableProportion=0.24905698754673336, avgTableSize=0.4981139750934667
1562.74/1556.27
1563.66/1557.18 num=167, depth=0..48, filters=41246218, revisions=(25622108,useless=12861926), ccks=11757062652, wck=1554.882, mem=60M390
1563.66/1557.18 decisions=10242306, wrong=5118399, backtracks=78815, failedAssignments=5113871, nogoods=29502, foundSolutions=1, bestBound=556
1563.66/1557.18 nFilterCalls=81632658, avgTableProportion=0.24906671543146372, avgTableSize=0.49813343086292744
1563.66/1557.18
1564.75/1558.20 num=168, depth=0..64, filters=41259350, revisions=(25629705,useless=12864841), ccks=11766961140, wck=1555.906, mem=80M905
1564.75/1558.20 decisions=10246133, wrong=5120289, backtracks=78896, failedAssignments=5115761, nogoods=29720, foundSolutions=1, bestBound=556
1564.75/1558.20 nFilterCalls=81660642, avgTableProportion=0.24903094687891383, avgTableSize=0.49806189375782767
1564.75/1558.20
1566.05/1559.57 num=169, depth=42..54, filters=41300873, revisions=(25650079,useless=12874696), ccks=11778585456, wck=1557.272, mem=86M304
1566.05/1559.57 decisions=10250349, wrong=5122375, backtracks=78924, failedAssignments=5117840, nogoods=30174, foundSolutions=1, bestBound=556
1566.05/1559.57 nFilterCalls=81727519, avgTableProportion=0.24900998157058946, avgTableSize=0.4980199631411789
1566.05/1559.57
1567.15/1560.68 num=170, depth=33..45, filters=41323884, revisions=(25660233,useless=12878485), ccks=11787259933, wck=1558.385, mem=58M495
1567.15/1560.68 decisions=10254956, wrong=5124662, backtracks=78936, failedAssignments=5120127, nogoods=30433, foundSolutions=1, bestBound=556
1567.15/1560.68 nFilterCalls=81759131, avgTableProportion=0.24903961491469376, avgTableSize=0.4980792298293875
1567.15/1560.68
1568.46/1561.94 num=171, depth=0..65, filters=41348259, revisions=(25675420,useless=12886002), ccks=11798946483, wck=1559.639, mem=36M964
1568.46/1561.94 decisions=10260035, wrong=5127179, backtracks=79052, failedAssignments=5122643, nogoods=30570, foundSolutions=1, bestBound=556
1568.46/1561.94 nFilterCalls=81803535, avgTableProportion=0.24896807332348167, avgTableSize=0.49793614664696334
1568.46/1561.94
1571.46/1564.95 num=172, depth=42..64, filters=41450437, revisions=(25724653,useless=12916853), ccks=11822636069, wck=1562.652, mem=53M162
1571.46/1564.95 decisions=10265730, wrong=5129999, backtracks=79132, failedAssignments=5125411, nogoods=30887, foundSolutions=1, bestBound=556
1571.46/1564.95 nFilterCalls=81966585, avgTableProportion=0.24909232219446498, avgTableSize=0.49818464438892995
1571.46/1564.95
1572.76/1566.23 num=173, depth=42..55, filters=41491144, revisions=(25746934,useless=12926624), ccks=11832758312, wck=1563.928, mem=56M402
1572.76/1566.23 decisions=10271888, wrong=5133056, backtracks=79168, failedAssignments=5128455, nogoods=31268, foundSolutions=1, bestBound=556
1572.76/1566.23 nFilterCalls=82032977, avgTableProportion=0.2490622704086431, avgTableSize=0.4981245408172862
1572.76/1566.23
1576.87/1570.36 num=174, depth=24..57, filters=41579207, revisions=(25778647,useless=12941212), ccks=11870558730, wck=1568.062, mem=64M126
1576.87/1570.36 decisions=10278664, wrong=5136422, backtracks=79296, failedAssignments=5131804, nogoods=31275, foundSolutions=1, bestBound=556
1576.87/1570.36 nFilterCalls=82145215, avgTableProportion=0.2491675138959707, avgTableSize=0.4983350277919414
1576.87/1570.36
1582.39/1575.83 num=175, depth=42..62, filters=41753631, revisions=(25862126,useless=12991435), ccks=11916703160, wck=1573.534, mem=37M161
1582.39/1575.83 decisions=10286191, wrong=5140163, backtracks=79385, failedAssignments=5135488, nogoods=31559, foundSolutions=1, bestBound=556
1582.39/1575.83 nFilterCalls=82411074, avgTableProportion=0.24912804194251856, avgTableSize=0.4982560838850371
1582.39/1575.83
1584.80/1578.29 num=176, depth=42..47, filters=41877948, revisions=(25939927,useless=13034855), ccks=11935974374, wck=1575.994, mem=73M880
1584.80/1578.29 decisions=10294382, wrong=5144237, backtracks=79497, failedAssignments=5139540, nogoods=31635, foundSolutions=1, bestBound=556
1584.80/1578.29 nFilterCalls=82689284, avgTableProportion=0.24870349584838586, avgTableSize=0.4974069916967717
1584.80/1578.29
1586.50/1579.95 num=177, depth=42..60, filters=41929121, revisions=(25971717,useless=13053422), ccks=11948666887, wck=1577.654, mem=83M600
1586.50/1579.95 decisions=10303352, wrong=5148700, backtracks=79540, failedAssignments=5143997, nogoods=32110, foundSolutions=1, bestBound=556
1586.50/1579.95 nFilterCalls=82787849, avgTableProportion=0.248686350094686, avgTableSize=0.497372700189372
1586.50/1579.95
1594.51/1588.00 num=178, depth=0..49, filters=42038156, revisions=(26006524,useless=13066730), ccks=12025299511, wck=1585.704, mem=87M135
1594.51/1588.00 decisions=10313187, wrong=5153603, backtracks=79560, failedAssignments=5148900, nogoods=32129, foundSolutions=1, bestBound=556
1594.51/1588.00 nFilterCalls=82915809, avgTableProportion=0.2488299667919781, avgTableSize=0.4976599335839562
1594.51/1588.00
1602.02/1595.44 num=179, depth=0..59, filters=42269992, revisions=(26142839,useless=13147915), ccks=12088008671, wck=1593.14, mem=73M63
1602.02/1595.44 decisions=10324226, wrong=5159101, backtracks=79776, failedAssignments=5154294, nogoods=32473, foundSolutions=1, bestBound=556
1602.02/1595.44 nFilterCalls=83413957, avgTableProportion=0.24827801898907637, avgTableSize=0.49655603797815273
1602.02/1595.44
1605.24/1598.61 num=180, depth=0..47, filters=42341577, revisions=(26187505,useless=13171828), ccks=12112175926, wck=1596.313, mem=37M562
1605.24/1598.61 decisions=10336123, wrong=5165034, backtracks=79902, failedAssignments=5160227, nogoods=32877, foundSolutions=1, bestBound=556
1605.24/1598.61 nFilterCalls=83568803, avgTableProportion=0.24843671627078348, avgTableSize=0.49687343254156696
1605.24/1598.61
1607.35/1600.77 num=181, depth=0..59, filters=42438917, revisions=(26250173,useless=13211298), ccks=12126483065, wck=1598.467, mem=47M282
1607.35/1600.77 decisions=10349224, wrong=5171560, backtracks=80064, failedAssignments=5166753, nogoods=33056, foundSolutions=1, bestBound=556
1607.35/1600.77 nFilterCalls=83789239, avgTableProportion=0.24831077651868874, avgTableSize=0.4966215530373775
1607.35/1600.77
1615.55/1608.94 num=182, depth=40..50, filters=42666794, revisions=(26363029,useless=13270574), ccks=12199684107, wck=1606.642, mem=89M403
1615.55/1608.94 decisions=10363837, wrong=5178846, backtracks=80311, failedAssignments=5173932, nogoods=33482, foundSolutions=1, bestBound=556
1615.55/1608.94 nFilterCalls=84142324, avgTableProportion=0.2481346486222558, avgTableSize=0.4962692972445116
1615.55/1608.94
1625.57/1618.97 num=183, depth=0..48, filters=43005523, revisions=(26509633,useless=13360770), ccks=12272122197, wck=1616.671, mem=79M978
1625.57/1618.97 decisions=10380084, wrong=5186949, backtracks=80562, failedAssignments=5181829, nogoods=33630, foundSolutions=1, bestBound=556
1625.57/1618.97 nFilterCalls=84796904, avgTableProportion=0.2485094561942969, avgTableSize=0.4970189123885938
1625.57/1618.97
1626.97/1620.33 num=184, depth=25..60, filters=43036239, revisions=(26538252,useless=13371214), ccks=12282411761, wck=1618.035, mem=87M538
1626.97/1620.33 decisions=10397510, wrong=5195645, backtracks=80650, failedAssignments=5190516, nogoods=33730, foundSolutions=1, bestBound=556
1626.97/1620.33 nFilterCalls=84859207, avgTableProportion=0.24845817849794424, avgTableSize=0.4969163569958885
1626.97/1620.33
1637.70/1631.06 num=185, depth=42..49, filters=43426518, revisions=(26744210,useless=13491161), ccks=12372211696, wck=1628.766, mem=58M410
1637.70/1631.06 decisions=10416974, wrong=5205355, backtracks=80892, failedAssignments=5200071, nogoods=34146, foundSolutions=1, bestBound=556
1637.70/1631.06 nFilterCalls=85569361, avgTableProportion=0.24782044358143565, avgTableSize=0.4956408871628713
1637.70/1631.06
1647.72/1641.01 num=186, depth=24..58, filters=43715561, revisions=(26876799,useless=13556141), ccks=12456693519, wck=1638.708, mem=87M736
1647.72/1641.01 decisions=10438358, wrong=5216023, backtracks=81260, failedAssignments=5210582, nogoods=34587, foundSolutions=1, bestBound=556
1647.72/1641.01 nFilterCalls=86081137, avgTableProportion=0.24748685649911897, avgTableSize=0.49497371299823795
1647.72/1641.01
1659.93/1653.22 num=187, depth=42..51, filters=44063919, revisions=(27066657,useless=13659915), ccks=12549363433, wck=1650.918, mem=83M506
1659.93/1653.22 decisions=10462031, wrong=5227838, backtracks=81523, failedAssignments=5222144, nogoods=34910, foundSolutions=1, bestBound=556
1659.93/1653.22 nFilterCalls=86796254, avgTableProportion=0.2472616502550905, avgTableSize=0.494523300510181
1659.93/1653.22
1669.56/1662.84 num=188, depth=0..52, filters=44325746, revisions=(27179078,useless=13707946), ccks=12632864638, wck=1660.545, mem=55M593
1669.56/1662.84 decisions=10487536, wrong=5240570, backtracks=81773, failedAssignments=5234862, nogoods=34997, foundSolutions=1, bestBound=556
1669.56/1662.84 nFilterCalls=87193163, avgTableProportion=0.2471703773379571, avgTableSize=0.4943407546759142
1669.56/1662.84
1676.99/1670.20 num=189, depth=29..55, filters=44539485, revisions=(27284284,useless=13760047), ccks=12685580615, wck=1667.902, mem=72M916
1676.99/1670.20 decisions=10515564, wrong=5254569, backtracks=81864, failedAssignments=5248852, nogoods=35498, foundSolutions=1, bestBound=556
1676.99/1670.20 nFilterCalls=87592623, avgTableProportion=0.24751199082141884, avgTableSize=0.4950239816428377
1676.99/1670.20
1683.69/1676.98 num=190, depth=0..59, filters=44697451, revisions=(27359410,useless=13789482), ccks=12742077617, wck=1674.681, mem=42M816
1683.69/1676.98 decisions=10546385, wrong=5269958, backtracks=81979, failedAssignments=5264241, nogoods=35750, foundSolutions=1, bestBound=556
1683.69/1676.98 nFilterCalls=87816961, avgTableProportion=0.24745079711879348, avgTableSize=0.49490159423758695
1683.69/1676.98
1686.01/1679.23 num=191, depth=0..64, filters=44750570, revisions=(27391092,useless=13798315), ccks=12755716881, wck=1676.928, mem=38M570
1686.01/1679.23 decisions=10580276, wrong=5286886, backtracks=82352, failedAssignments=5281169, nogoods=35903, foundSolutions=1, bestBound=556
1686.01/1679.23 nFilterCalls=87961269, avgTableProportion=0.24739269621041962, avgTableSize=0.49478539242083924
1686.01/1679.23
1694.95/1688.16 num=192, depth=0..58, filters=44954739, revisions=(27513061,useless=13859513), ccks=12830225420, wck=1685.86, mem=82M900
1694.95/1688.16 decisions=10617784, wrong=5305618, backtracks=82723, failedAssignments=5299790, nogoods=36354, foundSolutions=1, bestBound=556
1694.95/1688.16 nFilterCalls=88378034, avgTableProportion=0.2471322229231757, avgTableSize=0.4942644458463514
1694.95/1688.16
1702.06/1695.23 num=193, depth=0..57, filters=45084315, revisions=(27607373,useless=13901808), ccks=12890636728, wck=1692.928, mem=42M31
1702.06/1695.23 decisions=10658827, wrong=5326122, backtracks=83478, failedAssignments=5320274, nogoods=36542, foundSolutions=1, bestBound=556
1702.06/1695.23 nFilterCalls=88631103, avgTableProportion=0.2470710253938733, avgTableSize=0.4941420507877466
1702.06/1695.23
1805.83/1798.92 num=194, depth=34..43, filters=47037392, revisions=(28295757,useless=14302213), ccks=13836175815, wck=1796.618, mem=69M113
1805.83/1798.92 decisions=10704933, wrong=5349158, backtracks=83989, failedAssignments=5342806, nogoods=36623, foundSolutions=1, bestBound=556
1805.83/1798.92 nFilterCalls=91742306, avgTableProportion=0.24948376052374355, avgTableSize=0.4989675210474871
1805.83/1798.92
1809.56/1802.67 num=195, depth=0..66, filters=47143499, revisions=(28355142,useless=14325209), ccks=13862565082, wck=1800.377, mem=44M338
1809.56/1802.67 decisions=10754570, wrong=5373957, backtracks=84204, failedAssignments=5367591, nogoods=36704, foundSolutions=1, bestBound=556
1809.56/1802.67 nFilterCalls=91979271, avgTableProportion=0.24938366276027563, avgTableSize=0.49876732552055125
1809.56/1802.67
1814.10/1807.16 num=196, depth=0..57, filters=47278637, revisions=(28463380,useless=14385958), ccks=13892981046, wck=1804.867, mem=42M252
1814.10/1807.16 decisions=10809170, wrong=5401240, backtracks=84811, failedAssignments=5394855, nogoods=37188, foundSolutions=1, bestBound=556
1814.10/1807.16 nFilterCalls=92315346, avgTableProportion=0.24920788359499838, avgTableSize=0.49841576718999675
1814.10/1807.16
1828.40/1821.41 num=197, depth=41..45, filters=47569908, revisions=(28596550,useless=14437408), ccks=14010857808, wck=1819.116, mem=58M452
1828.40/1821.41 decisions=10869200, wrong=5431234, backtracks=85086, failedAssignments=5424845, nogoods=37250, foundSolutions=1, bestBound=556
1828.40/1821.41 nFilterCalls=92764652, avgTableProportion=0.24979119201568287, avgTableSize=0.49958238403136573
1828.40/1821.41
1870.18/1863.18 num=198, depth=0..47, filters=49319385, revisions=(29499750,useless=15109749), ccks=14277830493, wck=1860.885, mem=67M207
1870.18/1863.18 decisions=10937074, wrong=5465149, backtracks=86166, failedAssignments=5457834, nogoods=37488, foundSolutions=1, bestBound=556
1870.18/1863.18 nFilterCalls=95821156, avgTableProportion=0.2518787448149759, avgTableSize=0.5037574896299518
1870.18/1863.18
1875.21/1868.14 num=199, depth=21..68, filters=49467464, revisions=(29599756,useless=15144298), ccks=14306070726, wck=1865.844, mem=42M432
1875.21/1868.14 decisions=11009700, wrong=5501438, backtracks=86371, failedAssignments=5494122, nogoods=37603, foundSolutions=1, bestBound=556
1875.21/1868.14 nFilterCalls=96122070, avgTableProportion=0.25192111447454263, avgTableSize=0.5038422289490853
1875.21/1868.14
1904.72/1897.61 num=200, depth=42..57, filters=50625184, revisions=(30296623,useless=15598607), ccks=14510229700, wck=1895.315, mem=80M282
1904.72/1897.61 decisions=11089878, wrong=5541505, backtracks=86821, failedAssignments=5534039, nogoods=37841, foundSolutions=1, bestBound=556
1904.72/1897.61 nFilterCalls=98568648, avgTableProportion=0.25149695164734326, avgTableSize=0.5029939032946865
1904.72/1897.61
1912.14/1905.04 num=201, depth=43..63, filters=50848236, revisions=(30464200,useless=15667605), ccks=14558208831, wck=1902.738, mem=40M387
1912.14/1905.04 decisions=11177801, wrong=5585444, backtracks=87028, failedAssignments=5577948, nogoods=38044, foundSolutions=1, bestBound=556
1912.14/1905.04 nFilterCalls=98994833, avgTableProportion=0.2511088331246541, avgTableSize=0.5022176662493082
1912.14/1905.04
1933.93/1926.70 num=202, depth=17..60, filters=51618119, revisions=(30869399,useless=15867788), ccks=14713587640, wck=1924.399, mem=85M871
1933.93/1926.70 decisions=11274782, wrong=5633914, backtracks=88098, failedAssignments=5626248, nogoods=38270, foundSolutions=1, bestBound=556
1933.93/1926.70 nFilterCalls=100405478, avgTableProportion=0.2513643777483934, avgTableSize=0.5027287554967868
1933.93/1926.70
1947.74/1940.50 num=203, depth=42..60, filters=51929539, revisions=(31085718,useless=15949979), ccks=14816282031, wck=1938.202, mem=53M511
1947.74/1940.50 decisions=11381108, wrong=5687055, backtracks=88285, failedAssignments=5679378, nogoods=38603, foundSolutions=1, bestBound=556
1947.74/1940.50 nFilterCalls=100920244, avgTableProportion=0.25109031147407845, avgTableSize=0.5021806229481569
1947.74/1940.50
1967.66/1960.32 num=204, depth=29..56, filters=52536848, revisions=(31429030,useless=16131979), ccks=14942954545, wck=1958.022, mem=84M914
1967.66/1960.32 decisions=11498060, wrong=5745516, backtracks=88588, failedAssignments=5737821, nogoods=38741, foundSolutions=1, bestBound=556
1967.66/1960.32 nFilterCalls=102509376, avgTableProportion=0.25160736028673125, avgTableSize=0.5032147205734625
1967.66/1960.32
2024.68/2017.22 num=205, depth=0..61, filters=54305127, revisions=(32168375,useless=16524457), ccks=15394623805, wck=2014.925, mem=64M434
2024.68/2017.22 decisions=11627910, wrong=5810421, backtracks=90303, failedAssignments=5802108, nogoods=39062, foundSolutions=1, bestBound=556
2024.68/2017.22 nFilterCalls=105677871, avgTableProportion=0.25256737051411643, avgTableSize=0.5051347410282329
2024.68/2017.22
2039.38/2031.91 num=206, depth=42..61, filters=54629041, revisions=(32424862,useless=16624759), ccks=15500084113, wck=2029.616, mem=88M195
2039.38/2031.91 decisions=11769387, wrong=5881138, backtracks=90618, failedAssignments=5872824, nogoods=39179, foundSolutions=1, bestBound=556
2039.38/2031.91 nFilterCalls=106274329, avgTableProportion=0.2518699882828712, avgTableSize=0.5037399765657424
2039.38/2031.91
2066.31/2058.86 num=207, depth=0..60, filters=55310690, revisions=(32935546,useless=16936734), ccks=15679827866, wck=2056.565, mem=45M158
2066.31/2058.86 decisions=11925011, wrong=5958930, backtracks=91087, failedAssignments=5950611, nogoods=39225, foundSolutions=1, bestBound=556
2066.31/2058.86 nFilterCalls=107693732, avgTableProportion=0.2527535075114678, avgTableSize=0.5055070150229356
2066.31/2058.86
2157.75/2150.27 num=208, depth=40..54, filters=58117468, revisions=(34209140,useless=17645043), ccks=16431003726, wck=2147.97, mem=92M679
2157.75/2150.27 decisions=12098135, wrong=6045468, backtracks=92576, failedAssignments=6036177, nogoods=39630, foundSolutions=1, bestBound=556
2157.75/2150.27 nFilterCalls=112429401, avgTableProportion=0.2534563623620124, avgTableSize=0.5069127247240248
2157.75/2150.27
2186.41/2178.74 num=209, depth=20..60, filters=58794535, revisions=(34633381,useless=17850240), ccks=16624479014, wck=2176.441, mem=97M680
2186.41/2178.74 decisions=12286443, wrong=6139601, backtracks=96413, failedAssignments=6130300, nogoods=40140, foundSolutions=1, bestBound=556
2186.41/2178.74 nFilterCalls=114069904, avgTableProportion=0.25302296213030917, avgTableSize=0.5060459242606183
2186.41/2178.74
2248.45/2240.77 num=210, depth=37..52, filters=60003349, revisions=(35226222,useless=18117207), ccks=17192485502, wck=2238.472, mem=83M550
2248.45/2240.77 decisions=12494352, wrong=6243536, backtracks=98606, failedAssignments=6233835, nogoods=40291, foundSolutions=1, bestBound=556
2248.45/2240.77 nFilterCalls=115942993, avgTableProportion=0.2525555468453363, avgTableSize=0.5051110936906726
2248.45/2240.77
2331.16/2323.32 num=211, depth=40..59, filters=62369661, revisions=(36369873,useless=18677689), ccks=17870035626, wck=2321.02, mem=67M61
2331.16/2323.32 decisions=12722716, wrong=6357696, backtracks=101070, failedAssignments=6347724, nogoods=40589, foundSolutions=1, bestBound=556
2331.16/2323.32 nFilterCalls=119684533, avgTableProportion=0.2540535250281672, avgTableSize=0.5081070500563344
2331.16/2323.32
2359.68/2351.62 num=212, depth=13..61, filters=62936687, revisions=(36749621,useless=18894365), ccks=18015606748, wck=2349.326, mem=49M879
2359.68/2351.62 decisions=12973337, wrong=6482985, backtracks=103811, failedAssignments=6473002, nogoods=40964, foundSolutions=1, bestBound=556
2359.68/2351.62 nFilterCalls=121265946, avgTableProportion=0.25484024179385034, avgTableSize=0.5096804835877007
2359.68/2351.62
2381.47/2373.44 num=213, depth=43..55, filters=63532675, revisions=(37259820,useless=19143870), ccks=18157115263, wck=2371.139, mem=59M599
2381.47/2373.44 decisions=13249059, wrong=6620823, backtracks=104914, failedAssignments=6610808, nogoods=41451, foundSolutions=1, bestBound=556
2381.47/2373.44 nFilterCalls=122491177, avgTableProportion=0.2531105444435398, avgTableSize=0.5062210888870796
2381.47/2373.44
2400.07/2392.01
2400.07/2392.01 v <instantiation id='sol1' type='solution' cost='556'> <list> s[][] e[] d[][] w[][] sd[][] </list> <values> 113 144 215 305 338 479 522 65 158 267 337 372 413 479 0 15 21 44 157 244 437 62 157 213 305 395 437 487 15 28 65 216 308 383 451 0 62 127 216 279 306 487 21 127 213 244 308 395 510 554 539 510 556 537 534 527 31 71 72 32 67 43 32 72 47 13 35 41 66 60 15 6 23 46 44 94 73 95 20 92 90 42 50 69 13 37 93 51 75 68 86 62 65 89 63 27 82 47 92 86 31 64 62 93 17 6 4 5 2 1 3 0 1 5 0 2 4 3 6 4 6 2 0 3 1 5 3 6 2 0 5 1 4 4 1 5 0 3 6 2 3 2 0 4 6 5 1 6 2 1 3 4 0 5 522 338 305 479 144 215 113 267 65 337 413 372 158 479 44 244 21 157 0 437 15 305 437 213 62 487 395 157 216 28 451 308 15 65 383 127 487 62 0 216 306 279 395 213 127 244 308 510 21 </values> </instantiation>
2400.07/2392.01 s SATISFIABLE