2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.88
2.64/2.00 Instance
2.64/2.00 name=instance-4390892-1568381236, framework=COP, bounds=-infty..+infty
2.64/2.00
2.64/2.00 Loading variables...
2.92/2.05 Loading constraints...
3.15/2.12
3.15/2.12 Domains
3.15/2.12 nTypes=2, nValues=27510, sizes=[500#45,501#10]
3.15/2.12 Variables
3.15/2.12 count=55, degrees=[2#45,10#8,11#2]
3.15/2.12 Objectives
3.15/2.12 way=min, type=ObjVarLE
3.15/2.12 Constraints
3.15/2.12 count=49, nSpecific=3, arities=[1#2,3#45,10#1,45#1]
3.15/2.12 distribution=[AllDifferent#1,CtrIntension#46,ObjVarLE#1,OrderedLT#1]
3.15/2.12 nIntStructures=(2,shared:44)
3.15/2.12 wck=0.282, cpu=2.092, mem=23M872
3.15/2.13 Solver SolverBacktrack being built...
3.15/2.13
3.15/2.16
3.15/2.16 Solver
3.15/2.16 guaranteedGAC=false
3.15/2.16 wck=0.315, cpu=2.123, mem=37M157
3.15/2.17
3.15/2.17 Preprocessing
3.15/2.17 filters=2, revisions=(1,useless=0), ccks=501, nACremovedValues=581, nTotalRemovedValues=581, inconcistency=false
3.15/2.17 wck=0.016, cpu=2.14, mem=37M157
3.15/2.17
4.21/2.76 o 80
4.21/2.77 num=0, depth=56..54, filters=235, revisions=(327,useless=89), ccks=5013505, wck=0.618, mem=37M157
4.21/2.77 decisions=9, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=80
4.21/2.77
4.50/2.90 num=1, depth=1..8, filters=537, revisions=(738,useless=190), ccks=6016769, wck=0.752, mem=37M157
4.50/2.90 decisions=39, wrong=11, backtracks=0, failedAssignments=11, nogoods=11, foundSolutions=1, bestBound=80
4.50/2.90
4.50/2.91 num=2, depth=0..1, filters=561, revisions=(771,useless=201), ccks=6024403, wck=0.76, mem=37M157
4.50/2.91 decisions=62, wrong=22, backtracks=0, failedAssignments=22, nogoods=15, foundSolutions=1, bestBound=80
4.50/2.91
4.63/3.02 num=3, depth=0..2, filters=629, revisions=(890,useless=239), ccks=6880271, wck=0.866, mem=37M157
4.63/3.02 decisions=88, wrong=34, backtracks=1, failedAssignments=34, nogoods=24, foundSolutions=1, bestBound=80
4.63/3.02
4.63/3.08 num=4, depth=1..3, filters=673, revisions=(965,useless=263), ccks=7344006, wck=0.925, mem=39M799
4.63/3.08 decisions=117, wrong=47, backtracks=1, failedAssignments=47, nogoods=37, foundSolutions=1, bestBound=80
4.63/3.08
4.73/3.14 num=5, depth=0..3, filters=721, revisions=(1042,useless=287), ccks=7769933, wck=0.992, mem=39M799
4.73/3.14 decisions=148, wrong=61, backtracks=1, failedAssignments=61, nogoods=50, foundSolutions=1, bestBound=80
4.73/3.14
4.94/3.36 num=6, depth=1..3, filters=950, revisions=(1345,useless=350), ccks=9667074, wck=1.209, mem=39M799
4.94/3.36 decisions=182, wrong=77, backtracks=2, failedAssignments=77, nogoods=61, foundSolutions=1, bestBound=80
4.94/3.36
5.05/3.40 num=7, depth=3..3, filters=997, revisions=(1416,useless=373), ccks=9980817, wck=1.25, mem=39M799
5.05/3.40 decisions=219, wrong=94, backtracks=2, failedAssignments=94, nogoods=78, foundSolutions=1, bestBound=80
5.05/3.40
5.26/3.66 num=8, depth=2..5, filters=1307, revisions=(1838,useless=481), ccks=12249135, wck=1.506, mem=39M799
5.26/3.66 decisions=262, wrong=113, backtracks=3, failedAssignments=113, nogoods=93, foundSolutions=1, bestBound=80
5.26/3.66
5.77/4.13 num=9, depth=0..1, filters=1677, revisions=(2351,useless=605), ccks=17047696, wck=1.974, mem=42M442
5.77/4.13 decisions=305, wrong=134, backtracks=3, failedAssignments=134, nogoods=113, foundSolutions=1, bestBound=80
5.77/4.13
5.86/4.28 num=10, depth=2..4, filters=2029, revisions=(2811,useless=733), ccks=18334864, wck=2.133, mem=42M442
5.86/4.28 decisions=354, wrong=157, backtracks=5, failedAssignments=157, nogoods=129, foundSolutions=1, bestBound=80
5.86/4.28
5.96/4.33 num=11, depth=3..3, filters=2098, revisions=(2912,useless=764), ccks=18706058, wck=2.181, mem=45M84
5.96/4.33 decisions=407, wrong=182, backtracks=5, failedAssignments=182, nogoods=154, foundSolutions=1, bestBound=80
5.96/4.33
6.13/4.45 num=12, depth=1..7, filters=2324, revisions=(3216,useless=849), ccks=19678055, wck=2.301, mem=45M84
6.13/4.45 decisions=470, wrong=210, backtracks=6, failedAssignments=210, nogoods=181, foundSolutions=1, bestBound=80
6.13/4.45
6.23/4.52 num=13, depth=2..8, filters=2556, revisions=(3514,useless=909), ccks=20151861, wck=2.367, mem=45M84
6.23/4.52 decisions=540, wrong=241, backtracks=6, failedAssignments=241, nogoods=212, foundSolutions=1, bestBound=80
6.23/4.52
6.23/4.60 num=14, depth=8..8, filters=2728, revisions=(3743,useless=967), ccks=20773631, wck=2.444, mem=45M84
6.23/4.60 decisions=616, wrong=275, backtracks=6, failedAssignments=275, nogoods=246, foundSolutions=1, bestBound=80
6.23/4.60
6.36/4.68 num=15, depth=1..7, filters=2934, revisions=(4014,useless=1033), ccks=21410094, wck=2.525, mem=45M84
6.36/4.68 decisions=697, wrong=312, backtracks=6, failedAssignments=312, nogoods=283, foundSolutions=1, bestBound=80
6.36/4.68
6.48/4.77 num=16, depth=8..8, filters=3141, revisions=(4293,useless=1100), ccks=22185352, wck=2.616, mem=45M84
6.48/4.77 decisions=787, wrong=353, backtracks=6, failedAssignments=353, nogoods=324, foundSolutions=1, bestBound=80
6.48/4.77
6.71/4.95 num=17, depth=5..7, filters=4190, revisions=(5543,useless=1322), ccks=23742306, wck=2.798, mem=47M727
6.71/4.95 decisions=882, wrong=398, backtracks=9, failedAssignments=398, nogoods=336, foundSolutions=1, bestBound=80
6.71/4.95
6.71/5.00 num=18, depth=2..2, filters=4262, revisions=(5642,useless=1345), ccks=24027844, wck=2.848, mem=47M727
6.71/5.00 decisions=984, wrong=448, backtracks=9, failedAssignments=448, nogoods=386, foundSolutions=1, bestBound=80
6.71/5.00
7.02/5.26 num=19, depth=2..6, filters=4795, revisions=(6388,useless=1549), ccks=26285520, wck=3.104, mem=50M369
7.02/5.26 decisions=1100, wrong=503, backtracks=12, failedAssignments=503, nogoods=437, foundSolutions=1, bestBound=80
7.02/5.26
7.23/5.40 num=20, depth=3..6, filters=5192, revisions=(6893,useless=1667), ccks=27425628, wck=3.245, mem=50M369
7.23/5.40 decisions=1228, wrong=564, backtracks=12, failedAssignments=564, nogoods=498, foundSolutions=1, bestBound=80
7.23/5.40
7.64/5.86 num=21, depth=0..5, filters=5946, revisions=(7850,useless=1859), ccks=31815704, wck=3.711, mem=53M12
7.64/5.86 decisions=1367, wrong=631, backtracks=13, failedAssignments=631, nogoods=560, foundSolutions=1, bestBound=80
7.64/5.86
7.75/5.95 num=22, depth=2..6, filters=6152, revisions=(8110,useless=1923), ccks=32442979, wck=3.798, mem=53M12
7.75/5.95 decisions=1520, wrong=705, backtracks=14, failedAssignments=705, nogoods=633, foundSolutions=1, bestBound=80
7.75/5.95
7.86/6.10 num=23, depth=3..10, filters=6593, revisions=(8665,useless=2045), ccks=33640791, wck=3.945, mem=53M12
7.86/6.10 decisions=1692, wrong=786, backtracks=15, failedAssignments=786, nogoods=708, foundSolutions=1, bestBound=80
7.86/6.10
8.07/6.21 num=24, depth=1..6, filters=6925, revisions=(9082,useless=2138), ccks=34489583, wck=4.06, mem=55M654
8.07/6.21 decisions=1876, wrong=875, backtracks=15, failedAssignments=875, nogoods=797, foundSolutions=1, bestBound=80
8.07/6.21
8.07/6.29 num=25, depth=1..8, filters=7158, revisions=(9381,useless=2206), ccks=35137398, wck=4.143, mem=55M654
8.07/6.29 decisions=2080, wrong=973, backtracks=15, failedAssignments=973, nogoods=895, foundSolutions=1, bestBound=80
8.07/6.29
8.20/6.35 num=26, depth=0..5, filters=7413, revisions=(9696,useless=2279), ccks=35346611, wck=4.2, mem=55M654
8.20/6.35 decisions=2301, wrong=1081, backtracks=15, failedAssignments=1081, nogoods=999, foundSolutions=1, bestBound=80
8.20/6.35
8.30/6.44 num=27, depth=2..7, filters=7683, revisions=(10022,useless=2339), ccks=36024615, wck=4.292, mem=55M654
8.30/6.44 decisions=2546, wrong=1200, backtracks=16, failedAssignments=1200, nogoods=1117, foundSolutions=1, bestBound=80
8.30/6.44
8.40/6.54 num=28, depth=3..8, filters=8133, revisions=(10570,useless=2434), ccks=36714791, wck=4.393, mem=58M296
8.40/6.54 decisions=2816, wrong=1331, backtracks=17, failedAssignments=1331, nogoods=1247, foundSolutions=1, bestBound=80
8.40/6.54
8.51/6.62 num=29, depth=7..7, filters=8385, revisions=(10865,useless=2480), ccks=37195184, wck=4.464, mem=58M296
8.51/6.62 decisions=3111, wrong=1475, backtracks=17, failedAssignments=1475, nogoods=1391, foundSolutions=1, bestBound=80
8.51/6.62
8.51/6.69 num=30, depth=4..7, filters=8715, revisions=(11248,useless=2531), ccks=37612479, wck=4.536, mem=58M296
8.51/6.69 decisions=3434, wrong=1633, backtracks=17, failedAssignments=1633, nogoods=1549, foundSolutions=1, bestBound=80
8.51/6.69
8.62/6.76 num=31, depth=7..7, filters=8997, revisions=(11573,useless=2577), ccks=38088869, wck=4.609, mem=58M296
8.62/6.76 decisions=3789, wrong=1807, backtracks=17, failedAssignments=1807, nogoods=1723, foundSolutions=1, bestBound=80
8.62/6.76
8.72/6.83 num=32, depth=7..7, filters=9313, revisions=(11936,useless=2619), ccks=38497413, wck=4.68, mem=58M296
8.72/6.83 decisions=4178, wrong=1998, backtracks=17, failedAssignments=1998, nogoods=1914, foundSolutions=1, bestBound=80
8.72/6.83
8.83/6.92 num=33, depth=6..7, filters=9638, revisions=(12303,useless=2665), ccks=38973566, wck=4.771, mem=58M296
8.83/6.92 decisions=4606, wrong=2209, backtracks=18, failedAssignments=2209, nogoods=2119, foundSolutions=1, bestBound=80
8.83/6.92
8.83/7.01 num=34, depth=6..7, filters=10002, revisions=(12712,useless=2707), ccks=39382156, wck=4.854, mem=58M296
8.83/7.01 decisions=5076, wrong=2441, backtracks=19, failedAssignments=2441, nogoods=2236, foundSolutions=1, bestBound=80
8.83/7.01
8.97/7.09 num=35, depth=7..7, filters=10365, revisions=(13118,useless=2753), ccks=39857918, wck=4.936, mem=60M939
8.97/7.09 decisions=5593, wrong=2696, backtracks=19, failedAssignments=2696, nogoods=2491, foundSolutions=1, bestBound=80
8.97/7.09
9.09/7.18 num=36, depth=6..6, filters=10761, revisions=(13556,useless=2789), ccks=40264168, wck=5.031, mem=60M939
9.09/7.18 decisions=6161, wrong=2977, backtracks=19, failedAssignments=2977, nogoods=2772, foundSolutions=1, bestBound=80
9.09/7.18
9.19/7.29 num=37, depth=5..7, filters=11194, revisions=(14029,useless=2835), ccks=40739907, wck=5.138, mem=60M939
9.19/7.29 decisions=6784, wrong=3286, backtracks=21, failedAssignments=3286, nogoods=2805, foundSolutions=1, bestBound=80
9.19/7.29
9.45/7.41 num=38, depth=5..6, filters=11659, revisions=(14534,useless=2871), ccks=41146249, wck=5.264, mem=60M939
9.45/7.41 decisions=7469, wrong=3626, backtracks=22, failedAssignments=3626, nogoods=3078, foundSolutions=1, bestBound=80
9.45/7.41
9.55/7.51 num=39, depth=7..7, filters=12141, revisions=(15060,useless=2918), ccks=41621605, wck=5.358, mem=60M939
9.55/7.51 decisions=8224, wrong=4000, backtracks=22, failedAssignments=4000, nogoods=3452, foundSolutions=1, bestBound=80
9.55/7.51
9.69/7.64 num=40, depth=5..6, filters=12679, revisions=(15639,useless=2957), ccks=42028145, wck=5.488, mem=60M939
9.69/7.64 decisions=9051, wrong=4411, backtracks=23, failedAssignments=4411, nogoods=3658, foundSolutions=1, bestBound=80
9.69/7.64
9.83/7.76 num=41, depth=6..7, filters=13245, revisions=(16248,useless=3004), ccks=42503383, wck=5.613, mem=63M581
9.83/7.76 decisions=9961, wrong=4863, backtracks=24, failedAssignments=4863, nogoods=4044, foundSolutions=1, bestBound=80
9.83/7.76
9.94/7.89 num=42, depth=5..6, filters=13969, revisions=(17047,useless=3084), ccks=42932805, wck=5.744, mem=63M581
9.94/7.89 decisions=10960, wrong=5360, backtracks=26, failedAssignments=5360, nogoods=4073, foundSolutions=1, bestBound=80
9.94/7.89
11.02/8.81 num=43, depth=0..7, filters=16017, revisions=(19528,useless=3528), ccks=50382981, wck=6.655, mem=68M866
11.02/8.81 decisions=12060, wrong=5907, backtracks=30, failedAssignments=5907, nogoods=4092, foundSolutions=1, bestBound=80
11.02/8.81
11.13/8.97 num=44, depth=1..6, filters=16717, revisions=(20273,useless=3576), ccks=50909360, wck=6.818, mem=68M866
11.13/8.97 decisions=13269, wrong=6509, backtracks=31, failedAssignments=6509, nogoods=4230, foundSolutions=1, bestBound=80
11.13/8.97
11.23/9.10 num=45, depth=1..8, filters=17542, revisions=(21156,useless=3638), ccks=51582330, wck=6.946, mem=68M866
11.23/9.10 decisions=14600, wrong=7171, backtracks=32, failedAssignments=7171, nogoods=4435, foundSolutions=1, bestBound=80
11.23/9.10
11.43/9.23 num=46, depth=0..7, filters=18438, revisions=(22114,useless=3703), ccks=51999693, wck=7.08, mem=68M866
11.43/9.23 decisions=16062, wrong=7899, backtracks=33, failedAssignments=7899, nogoods=4703, foundSolutions=1, bestBound=80
11.43/9.23
11.53/9.39 num=47, depth=6..8, filters=19403, revisions=(23132,useless=3761), ccks=52621458, wck=7.237, mem=68M866
11.53/9.39 decisions=17670, wrong=8700, backtracks=35, failedAssignments=8700, nogoods=4975, foundSolutions=1, bestBound=80
11.53/9.39
11.73/9.58 num=48, depth=5..7, filters=20406, revisions=(24187,useless=3812), ccks=53024711, wck=7.433, mem=68M866
11.73/9.58 decisions=19437, wrong=9581, backtracks=37, failedAssignments=9581, nogoods=5439, foundSolutions=1, bestBound=80
11.73/9.58
12.05/9.80 num=49, depth=5..8, filters=21553, revisions=(25384,useless=3869), ccks=53646677, wck=7.653, mem=71M508
12.05/9.80 decisions=21382, wrong=10551, backtracks=40, failedAssignments=10551, nogoods=5798, foundSolutions=1, bestBound=80
12.05/9.80
12.45/10.23 num=50, depth=2..7, filters=22777, revisions=(26656,useless=3922), ccks=54052853, wck=8.078, mem=71M508
12.45/10.23 decisions=23518, wrong=11618, backtracks=45, failedAssignments=11618, nogoods=5854, foundSolutions=1, bestBound=80
12.45/10.23
12.85/10.60 num=51, depth=3..8, filters=24152, revisions=(28081,useless=3981), ccks=54673801, wck=8.453, mem=71M508
12.85/10.60 decisions=25867, wrong=12791, backtracks=50, failedAssignments=12791, nogoods=6044, foundSolutions=1, bestBound=80
12.85/10.60
13.05/10.85 num=52, depth=3..7, filters=25606, revisions=(29589,useless=4037), ccks=55080860, wck=8.697, mem=71M508
13.05/10.85 decisions=28454, wrong=14082, backtracks=52, failedAssignments=14082, nogoods=6461, foundSolutions=1, bestBound=80
13.05/10.85
13.45/11.25 num=53, depth=3..7, filters=27247, revisions=(31280,useless=4096), ccks=55712630, wck=9.098, mem=71M508
13.45/11.25 decisions=31297, wrong=15502, backtracks=56, failedAssignments=15502, nogoods=6664, foundSolutions=1, bestBound=80
13.45/11.25
14.15/11.94 num=54, depth=1..7, filters=28959, revisions=(33034,useless=4145), ccks=56112335, wck=9.79, mem=74M151
14.15/11.94 decisions=34422, wrong=17064, backtracks=62, failedAssignments=17064, nogoods=6829, foundSolutions=1, bestBound=80
14.15/11.94
14.45/12.28 num=55, depth=2..9, filters=31023, revisions=(35198,useless=4252), ccks=57109488, wck=10.128, mem=74M151
14.45/12.28 decisions=37865, wrong=18782, backtracks=70, failedAssignments=18782, nogoods=7014, foundSolutions=1, bestBound=80
14.45/12.28
14.85/12.65 num=56, depth=0..8, filters=33219, revisions=(37464,useless=4325), ccks=57966174, wck=10.496, mem=74M151
14.85/12.65 decisions=41649, wrong=20672, backtracks=74, failedAssignments=20672, nogoods=7021, foundSolutions=1, bestBound=80
14.85/12.65
15.26/13.09 num=57, depth=4..8, filters=35520, revisions=(39830,useless=4392), ccks=58765476, wck=10.939, mem=74M151
15.26/13.09 decisions=45811, wrong=22751, backtracks=78, failedAssignments=22751, nogoods=7245, foundSolutions=1, bestBound=80
15.26/13.09
15.36/13.19 o 75
15.36/13.19 num=58, depth=6..54, filters=35962, revisions=(40383,useless=4516), ccks=59596405, wck=11.036, mem=76M794
15.36/13.19 decisions=45845, wrong=22764, backtracks=79, failedAssignments=22763, nogoods=7251, foundSolutions=2, bestBound=75
15.36/13.19
16.24/13.91 num=59, depth=1..8, filters=38837, revisions=(43365,useless=4630), ccks=60385718, wck=11.76, mem=76M794
16.24/13.91 decisions=50879, wrong=25280, backtracks=86, failedAssignments=25279, nogoods=7357, foundSolutions=2, bestBound=75
16.24/13.91
16.24/14.00 num=60, depth=5..6, filters=39213, revisions=(43847,useless=4737), ccks=61140829, wck=11.848, mem=76M794
16.24/14.00 decisions=50906, wrong=25291, backtracks=87, failedAssignments=25290, nogoods=7358, foundSolutions=2, bestBound=75
16.24/14.00
16.35/14.03 num=61, depth=2..2, filters=39247, revisions=(43908,useless=4760), ccks=61406502, wck=11.881, mem=76M794
16.35/14.03 decisions=50932, wrong=25303, backtracks=87, failedAssignments=25302, nogoods=7370, foundSolutions=2, bestBound=75
16.35/14.03
16.35/14.11 num=62, depth=1..7, filters=39415, revisions=(44141,useless=4826), ccks=62026329, wck=11.954, mem=76M794
16.35/14.11 decisions=50965, wrong=25316, backtracks=87, failedAssignments=25315, nogoods=7383, foundSolutions=2, bestBound=75
16.35/14.11
16.64/14.36 num=63, depth=0..1, filters=39694, revisions=(44495,useless=4893), ccks=64553858, wck=12.204, mem=79M436
16.64/14.36 decisions=50994, wrong=25330, backtracks=87, failedAssignments=25329, nogoods=7395, foundSolutions=2, bestBound=75
16.64/14.36
16.74/14.44 num=64, depth=6..7, filters=39917, revisions=(44791,useless=4960), ccks=65324058, wck=12.291, mem=79M436
16.74/14.44 decisions=51033, wrong=25346, backtracks=87, failedAssignments=25345, nogoods=7411, foundSolutions=2, bestBound=75
16.74/14.44
16.84/14.53 num=65, depth=6..7, filters=40406, revisions=(45381,useless=5074), ccks=66113982, wck=12.384, mem=79M436
16.84/14.53 decisions=51073, wrong=25363, backtracks=88, failedAssignments=25362, nogoods=7424, foundSolutions=2, bestBound=75
16.84/14.53
16.84/14.57 num=66, depth=2..2, filters=40447, revisions=(45449,useless=5097), ccks=66377817, wck=12.419, mem=79M436
16.84/14.57 decisions=51113, wrong=25382, backtracks=88, failedAssignments=25381, nogoods=7443, foundSolutions=2, bestBound=75
16.84/14.57
16.95/14.64 num=67, depth=6..7, filters=40672, revisions=(45752,useless=5175), ccks=66991432, wck=12.492, mem=79M436
16.95/14.64 decisions=51162, wrong=25403, backtracks=88, failedAssignments=25402, nogoods=7464, foundSolutions=2, bestBound=75
16.95/14.64
17.35/15.02 num=68, depth=1..1, filters=41058, revisions=(46297,useless=5328), ccks=70818339, wck=12.87, mem=82M79
17.35/15.02 decisions=51209, wrong=25426, backtracks=88, failedAssignments=25425, nogoods=7487, foundSolutions=2, bestBound=75
17.35/15.02
17.45/15.11 num=69, depth=7..7, filters=41253, revisions=(46562,useless=5391), ccks=71577274, wck=12.957, mem=82M79
17.45/15.11 decisions=51266, wrong=25451, backtracks=88, failedAssignments=25450, nogoods=7512, foundSolutions=2, bestBound=75
17.45/15.11
17.55/15.26 num=70, depth=5..6, filters=42170, revisions=(47715,useless=5663), ccks=72799135, wck=13.105, mem=82M79
17.55/15.26 decisions=51338, wrong=25484, backtracks=96, failedAssignments=25478, nogoods=7525, foundSolutions=2, bestBound=75
17.55/15.26
17.55/15.30 num=71, depth=2..2, filters=42223, revisions=(47795,useless=5686), ccks=73063657, wck=13.145, mem=84M721
17.55/15.30 decisions=51402, wrong=25515, backtracks=96, failedAssignments=25509, nogoods=7556, foundSolutions=2, bestBound=75
17.55/15.30
17.65/15.37 num=72, depth=7..7, filters=42396, revisions=(48031,useless=5749), ccks=73645329, wck=13.216, mem=84M721
17.65/15.37 decisions=51477, wrong=25549, backtracks=96, failedAssignments=25543, nogoods=7590, foundSolutions=2, bestBound=75
17.65/15.37
17.95/15.63 num=73, depth=0..2, filters=42973, revisions=(48813,useless=5964), ccks=76049235, wck=13.48, mem=87M364
17.95/15.63 decisions=51553, wrong=25586, backtracks=98, failedAssignments=25580, nogoods=7595, foundSolutions=2, bestBound=75
17.95/15.63
18.05/15.76 num=74, depth=0..7, filters=43214, revisions=(49136,useless=6042), ccks=77263395, wck=13.612, mem=87M364
18.05/15.76 decisions=51642, wrong=25627, backtracks=99, failedAssignments=25621, nogoods=7633, foundSolutions=2, bestBound=75
18.05/15.76
18.25/15.91 num=75, depth=5..6, filters=44373, revisions=(50564,useless=6319), ccks=78417632, wck=13.757, mem=87M364
18.25/15.91 decisions=51738, wrong=25672, backtracks=104, failedAssignments=25666, nogoods=7643, foundSolutions=2, bestBound=75
18.25/15.91
18.46/16.19 num=76, depth=0..6, filters=44938, revisions=(51288,useless=6482), ccks=80846674, wck=14.039, mem=90M6
18.46/16.19 decisions=51844, wrong=25722, backtracks=107, failedAssignments=25716, nogoods=7686, foundSolutions=2, bestBound=75
18.46/16.19
18.55/16.28 num=77, depth=0..6, filters=45178, revisions=(51594,useless=6560), ccks=81500033, wck=14.13, mem=90M6
18.55/16.28 decisions=51960, wrong=25777, backtracks=109, failedAssignments=25771, nogoods=7735, foundSolutions=2, bestBound=75
18.55/16.28
18.66/16.37 num=78, depth=1..9, filters=45505, revisions=(52015,useless=6660), ccks=82189284, wck=14.215, mem=90M6
18.66/16.37 decisions=52090, wrong=25838, backtracks=110, failedAssignments=25832, nogoods=7795, foundSolutions=2, bestBound=75
18.66/16.37
19.47/17.16 num=79, depth=0..1, filters=46686, revisions=(53601,useless=6993), ccks=90028010, wck=15.007, mem=95M291
19.47/17.16 decisions=52224, wrong=25905, backtracks=111, failedAssignments=25899, nogoods=7795, foundSolutions=2, bestBound=75
19.47/17.16
19.56/17.24 num=80, depth=6..9, filters=47013, revisions=(54003,useless=7067), ccks=90771808, wck=15.094, mem=95M291
19.56/17.24 decisions=52380, wrong=25979, backtracks=111, failedAssignments=25973, nogoods=7869, foundSolutions=2, bestBound=75
19.56/17.24
19.77/17.43 num=81, depth=5..6, filters=49006, revisions=(56500,useless=7622), ccks=92111844, wck=15.279, mem=97M933
19.77/17.43 decisions=52548, wrong=26060, backtracks=125, failedAssignments=26054, nogoods=7884, foundSolutions=2, bestBound=75
19.77/17.43
19.97/17.63 num=82, depth=0..6, filters=49429, revisions=(57043,useless=7740), ccks=93726208, wck=15.477, mem=97M933
19.97/17.63 decisions=52734, wrong=26150, backtracks=128, failedAssignments=26143, nogoods=7968, foundSolutions=2, bestBound=75
19.97/17.63
20.07/17.77 num=83, depth=0..7, filters=49948, revisions=(57713,useless=7911), ccks=94806394, wck=15.622, mem=100M576
20.07/17.77 decisions=52937, wrong=26248, backtracks=132, failedAssignments=26241, nogoods=8057, foundSolutions=2, bestBound=75
20.07/17.77
20.17/17.87 num=84, depth=4..9, filters=50366, revisions=(58233,useless=8019), ccks=95608559, wck=15.723, mem=100M576
20.17/17.87 decisions=53162, wrong=26356, backtracks=133, failedAssignments=26349, nogoods=8164, foundSolutions=2, bestBound=75
20.17/17.87
20.39/18.04 num=85, depth=1..6, filters=50839, revisions=(58854,useless=8179), ccks=96830582, wck=15.886, mem=103M218
20.39/18.04 decisions=53406, wrong=26475, backtracks=135, failedAssignments=26468, nogoods=8281, foundSolutions=2, bestBound=75
20.39/18.04
20.50/18.14 num=86, depth=4..7, filters=51224, revisions=(59319,useless=8267), ccks=97599285, wck=15.988, mem=103M218
20.50/18.14 decisions=53675, wrong=26606, backtracks=135, failedAssignments=26599, nogoods=8412, foundSolutions=2, bestBound=75
20.50/18.14
20.59/18.27 num=87, depth=1..7, filters=51676, revisions=(59872,useless=8377), ccks=98572660, wck=16.121, mem=103M218
20.59/18.27 decisions=53970, wrong=26750, backtracks=136, failedAssignments=26743, nogoods=8555, foundSolutions=2, bestBound=75
20.59/18.27
20.69/18.35 num=88, depth=7..7, filters=51973, revisions=(60225,useless=8439), ccks=99140207, wck=16.202, mem=103M218
20.69/18.35 decisions=54293, wrong=26908, backtracks=136, failedAssignments=26901, nogoods=8713, foundSolutions=2, bestBound=75
20.69/18.35
20.79/18.43 num=89, depth=6..6, filters=52246, revisions=(60538,useless=8484), ccks=99566182, wck=16.278, mem=103M218
20.79/18.43 decisions=54647, wrong=27082, backtracks=136, failedAssignments=27075, nogoods=8887, foundSolutions=2, bestBound=75
20.79/18.43
20.89/18.52 num=90, depth=6..7, filters=52582, revisions=(60929,useless=8546), ccks=100133995, wck=16.365, mem=105M861
20.89/18.52 decisions=55035, wrong=27273, backtracks=137, failedAssignments=27266, nogoods=8961, foundSolutions=2, bestBound=75
20.89/18.52
20.89/18.59 num=91, depth=6..6, filters=52892, revisions=(61279,useless=8591), ccks=100559753, wck=16.444, mem=105M861
20.89/18.59 decisions=55463, wrong=27484, backtracks=137, failedAssignments=27477, nogoods=9172, foundSolutions=2, bestBound=75
20.89/18.59
21.21/18.80 num=92, depth=1..8, filters=53590, revisions=(62095,useless=8723), ccks=102190286, wck=16.646, mem=105M861
21.21/18.80 decisions=55935, wrong=27716, backtracks=139, failedAssignments=27709, nogoods=9402, foundSolutions=2, bestBound=75
21.21/18.80
21.32/18.93 num=93, depth=0..7, filters=54113, revisions=(62697,useless=8809), ccks=103024531, wck=16.775, mem=105M861
21.32/18.93 decisions=56452, wrong=27971, backtracks=141, failedAssignments=27964, nogoods=9648, foundSolutions=2, bestBound=75
21.32/18.93
21.47/19.06 num=94, depth=1..7, filters=54639, revisions=(63314,useless=8898), ccks=103931325, wck=16.909, mem=108M503
21.47/19.06 decisions=57021, wrong=28252, backtracks=142, failedAssignments=28245, nogoods=9928, foundSolutions=2, bestBound=75
21.47/19.06
21.57/19.16 num=95, depth=4..7, filters=55220, revisions=(63960,useless=8964), ccks=104415582, wck=17.007, mem=108M503
21.57/19.16 decisions=57646, wrong=28561, backtracks=142, failedAssignments=28554, nogoods=10237, foundSolutions=2, bestBound=75
21.57/19.16
21.70/19.25 num=96, depth=2..7, filters=55679, revisions=(64472,useless=9015), ccks=104877483, wck=17.1, mem=108M503
21.70/19.25 decisions=58333, wrong=28901, backtracks=142, failedAssignments=28894, nogoods=10577, foundSolutions=2, bestBound=75
21.70/19.25
21.80/19.35 num=97, depth=6..7, filters=56207, revisions=(65049,useless=9060), ccks=105258864, wck=17.199, mem=108M503
21.80/19.35 decisions=59087, wrong=29275, backtracks=143, failedAssignments=29268, nogoods=10791, foundSolutions=2, bestBound=75
21.80/19.35
21.90/19.46 num=98, depth=6..7, filters=56734, revisions=(65626,useless=9109), ccks=105703187, wck=17.31, mem=108M503
21.90/19.46 decisions=59915, wrong=29686, backtracks=144, failedAssignments=29679, nogoods=11081, foundSolutions=2, bestBound=75
21.90/19.46
22.00/19.57 num=99, depth=5..7, filters=57528, revisions=(66526,useless=9217), ccks=106131602, wck=17.416, mem=111M145
22.00/19.57 decisions=60826, wrong=30138, backtracks=148, failedAssignments=30131, nogoods=11526, foundSolutions=2, bestBound=75
22.00/19.57
22.20/19.70 num=100, depth=5..7, filters=58151, revisions=(67197,useless=9266), ccks=106576531, wck=17.546, mem=111M145
22.20/19.70 decisions=61825, wrong=30635, backtracks=150, failedAssignments=30628, nogoods=11662, foundSolutions=2, bestBound=75
22.20/19.70
22.31/19.84 num=101, depth=5..7, filters=58852, revisions=(67946,useless=9311), ccks=106953238, wck=17.684, mem=111M145
22.31/19.84 decisions=62924, wrong=31182, backtracks=152, failedAssignments=31175, nogoods=11715, foundSolutions=2, bestBound=75
22.31/19.84
22.41/19.96 num=102, depth=6..7, filters=59570, revisions=(68715,useless=9361), ccks=107396843, wck=17.812, mem=111M145
22.41/19.96 decisions=64134, wrong=31784, backtracks=153, failedAssignments=31777, nogoods=11975, foundSolutions=2, bestBound=75
22.41/19.96
22.62/20.19 num=103, depth=4..6, filters=61018, revisions=(70398,useless=9601), ccks=108152554, wck=18.035, mem=113M788
22.62/20.19 decisions=65465, wrong=32447, backtracks=160, failedAssignments=32439, nogoods=12147, foundSolutions=2, bestBound=75
22.62/20.19
22.81/20.37 num=104, depth=3..7, filters=62072, revisions=(71557,useless=9717), ccks=108936514, wck=18.223, mem=113M788
22.81/20.37 decisions=66926, wrong=33175, backtracks=162, failedAssignments=33167, nogoods=12190, foundSolutions=2, bestBound=75
22.81/20.37
23.11/20.61 num=105, depth=4..6, filters=63341, revisions=(72993,useless=9862), ccks=109591955, wck=18.456, mem=116M430
23.11/20.61 decisions=68533, wrong=33976, backtracks=166, failedAssignments=33968, nogoods=12515, foundSolutions=2, bestBound=75
23.11/20.61
23.31/20.85 num=106, depth=4..6, filters=64337, revisions=(74029,useless=9908), ccks=110011811, wck=18.704, mem=116M430
23.31/20.85 decisions=70299, wrong=34857, backtracks=168, failedAssignments=34849, nogoods=12763, foundSolutions=2, bestBound=75
23.31/20.85
23.62/21.14 num=107, depth=4..6, filters=65662, revisions=(75470,useless=10015), ccks=110465729, wck=18.989, mem=116M430
23.62/21.14 decisions=72243, wrong=35827, backtracks=173, failedAssignments=35819, nogoods=13081, foundSolutions=2, bestBound=75
23.62/21.14
24.01/21.50 num=108, depth=3..6, filters=66839, revisions=(76682,useless=10057), ccks=110867443, wck=19.345, mem=116M430
24.01/21.50 decisions=74380, wrong=36894, backtracks=176, failedAssignments=36886, nogoods=13444, foundSolutions=2, bestBound=75
24.01/21.50
24.41/21.96 num=109, depth=3..6, filters=69693, revisions=(80166,useless=10706), ccks=112038921, wck=19.813, mem=121M715
24.41/21.96 decisions=76729, wrong=38067, backtracks=197, failedAssignments=38059, nogoods=13568, foundSolutions=2, bestBound=75
24.41/21.96
25.21/22.75 num=110, depth=1..8, filters=71835, revisions=(82563,useless=10980), ccks=115411096, wck=20.595, mem=121M715
25.21/22.75 decisions=79319, wrong=39358, backtracks=204, failedAssignments=39350, nogoods=13664, foundSolutions=2, bestBound=75
25.21/22.75
25.62/23.13 num=111, depth=3..8, filters=73471, revisions=(84243,useless=11037), ccks=116076784, wck=20.976, mem=124M358
25.62/23.13 decisions=82162, wrong=40778, backtracks=209, failedAssignments=40770, nogoods=13844, foundSolutions=2, bestBound=75
25.62/23.13
25.91/23.42 o 74
25.91/23.42 num=112, depth=4..54, filters=75150, revisions=(86374,useless=11513), ccks=118354107, wck=21.266, mem=127M0
25.91/23.42 decisions=82421, wrong=40903, backtracks=220, failedAssignments=40895, nogoods=13924, foundSolutions=3, bestBound=74
25.91/23.42
26.21/23.72 num=113, depth=4..9, filters=77208, revisions=(88536,useless=11626), ccks=119136650, wck=21.565, mem=127M0
26.21/23.72 decisions=85861, wrong=42621, backtracks=225, failedAssignments=42613, nogoods=14009, foundSolutions=3, bestBound=74
26.21/23.72
26.21/23.79 num=114, depth=5..7, filters=77569, revisions=(88987,useless=11734), ccks=119781037, wck=21.641, mem=127M0
26.21/23.79 decisions=85888, wrong=42632, backtracks=227, failedAssignments=42624, nogoods=14011, foundSolutions=3, bestBound=74
26.21/23.79
26.41/23.98 num=115, depth=0..2, filters=77819, revisions=(89341,useless=11818), ccks=121426830, wck=21.829, mem=127M0
26.41/23.98 decisions=85914, wrong=42644, backtracks=229, failedAssignments=42636, nogoods=14018, foundSolutions=3, bestBound=74
26.41/23.98
26.52/24.06 num=116, depth=7..7, filters=77992, revisions=(89574,useless=11877), ccks=122098538, wck=21.904, mem=127M0
26.52/24.06 decisions=85947, wrong=42657, backtracks=229, failedAssignments=42649, nogoods=14031, foundSolutions=3, bestBound=74
26.52/24.06
26.62/24.14 num=117, depth=5..7, filters=78397, revisions=(90070,useless=11986), ccks=122814717, wck=21.988, mem=129M642
26.62/24.14 decisions=85980, wrong=42671, backtracks=231, failedAssignments=42663, nogoods=14035, foundSolutions=3, bestBound=74
26.62/24.14
26.81/24.32 num=118, depth=0..3, filters=78725, revisions=(90511,useless=12079), ccks=124398020, wck=22.171, mem=129M642
26.81/24.32 decisions=86017, wrong=42688, backtracks=234, failedAssignments=42679, nogoods=14041, foundSolutions=3, bestBound=74
26.81/24.32
26.91/24.40 num=119, depth=0..7, filters=79007, revisions=(90892,useless=12175), ccks=125042895, wck=22.245, mem=129M642
26.91/24.40 decisions=86058, wrong=42705, backtracks=234, failedAssignments=42696, nogoods=14057, foundSolutions=3, bestBound=74
26.91/24.40
26.91/24.47 num=120, depth=8..8, filters=79186, revisions=(91126,useless=12235), ccks=125678155, wck=22.318, mem=129M642
26.91/24.47 decisions=86104, wrong=42724, backtracks=234, failedAssignments=42715, nogoods=14076, foundSolutions=3, bestBound=74
26.91/24.47
27.13/24.60 num=121, depth=5..7, filters=79891, revisions=(92054,useless=12466), ccks=126772698, wck=22.451, mem=132M285
27.13/24.60 decisions=86153, wrong=42745, backtracks=242, failedAssignments=42736, nogoods=14091, foundSolutions=3, bestBound=74
27.13/24.60
27.44/24.98 num=122, depth=0..1, filters=80348, revisions=(92641,useless=12562), ccks=130581065, wck=22.828, mem=132M285
27.44/24.98 decisions=86200, wrong=42768, backtracks=242, failedAssignments=42759, nogoods=14110, foundSolutions=3, bestBound=74
27.44/24.98
27.55/25.06 num=123, depth=7..7, filters=80532, revisions=(92880,useless=12620), ccks=131264731, wck=22.905, mem=132M285
27.55/25.06 decisions=86257, wrong=42793, backtracks=242, failedAssignments=42784, nogoods=14135, foundSolutions=3, bestBound=74
27.55/25.06
27.65/25.12 num=124, depth=7..10, filters=80721, revisions=(93124,useless=12684), ccks=131848852, wck=22.974, mem=134M927
27.65/25.12 decisions=86323, wrong=42821, backtracks=242, failedAssignments=42812, nogoods=14163, foundSolutions=3, bestBound=74
27.65/25.12
28.04/25.55 num=125, depth=0..1, filters=81241, revisions=(93796,useless=12741), ccks=136049162, wck=23.399, mem=134M927
28.04/25.55 decisions=86386, wrong=42852, backtracks=242, failedAssignments=42843, nogoods=14187, foundSolutions=3, bestBound=74
28.04/25.55
28.14/25.63 num=126, depth=6..8, filters=81477, revisions=(94095,useless=12808), ccks=136744878, wck=23.478, mem=134M927
28.14/25.63 decisions=86462, wrong=42886, backtracks=242, failedAssignments=42877, nogoods=14221, foundSolutions=3, bestBound=74
28.14/25.63
28.65/26.16 num=127, depth=0..1, filters=82100, revisions=(94943,useless=12886), ccks=142044402, wck=24.007, mem=137M570
28.65/26.16 decisions=86537, wrong=42923, backtracks=242, failedAssignments=42914, nogoods=14252, foundSolutions=3, bestBound=74
28.65/26.16
28.74/26.23 num=128, depth=8..9, filters=82307, revisions=(95209,useless=12950), ccks=142709942, wck=24.082, mem=137M570
28.74/26.23 decisions=86628, wrong=42964, backtracks=242, failedAssignments=42955, nogoods=14293, foundSolutions=3, bestBound=74
28.74/26.23
28.84/26.30 num=129, depth=10..11, filters=82514, revisions=(95472,useless=13016), ccks=143294071, wck=24.151, mem=140M212
28.84/26.30 decisions=86729, wrong=43009, backtracks=242, failedAssignments=43000, nogoods=14338, foundSolutions=3, bestBound=74
28.84/26.30
28.84/26.40 num=130, depth=0..4, filters=82757, revisions=(95800,useless=13117), ccks=143856174, wck=24.245, mem=140M212
28.84/26.40 decisions=86837, wrong=43061, backtracks=246, failedAssignments=43050, nogoods=14368, foundSolutions=3, bestBound=74
28.84/26.40
28.94/26.48 num=131, depth=1..7, filters=83020, revisions=(96137,useless=13185), ccks=144564617, wck=24.33, mem=140M212
28.94/26.48 decisions=86954, wrong=43116, backtracks=246, failedAssignments=43105, nogoods=14423, foundSolutions=3, bestBound=74
28.94/26.48
29.04/26.57 num=132, depth=1..9, filters=83363, revisions=(96556,useless=13265), ccks=145333521, wck=24.421, mem=140M212
29.04/26.57 decisions=87085, wrong=43177, backtracks=246, failedAssignments=43166, nogoods=14484, foundSolutions=3, bestBound=74
29.04/26.57
29.34/26.86 num=133, depth=0..4, filters=84151, revisions=(97646,useless=13461), ccks=147710654, wck=24.707, mem=142M778
29.34/26.86 decisions=87223, wrong=43245, backtracks=251, failedAssignments=43233, nogoods=14507, foundSolutions=3, bestBound=74
29.34/26.86
29.58/27.03 num=134, depth=0..7, filters=84555, revisions=(98157,useless=13567), ccks=149068897, wck=24.876, mem=27M421
29.58/27.03 decisions=87380, wrong=43320, backtracks=253, failedAssignments=43307, nogoods=14576, foundSolutions=3, bestBound=74
29.58/27.03
29.69/27.12 num=135, depth=5..9, filters=84910, revisions=(98568,useless=13640), ccks=149789493, wck=24.964, mem=27M421
29.69/27.12 decisions=87551, wrong=43401, backtracks=253, failedAssignments=43388, nogoods=14657, foundSolutions=3, bestBound=74
29.69/27.12
29.69/27.18 o 73
29.69/27.18 num=136, depth=11..54, filters=85078, revisions=(98823,useless=13738), ccks=150371800, wck=25.032, mem=27M421
29.69/27.18 decisions=87577, wrong=43408, backtracks=253, failedAssignments=43395, nogoods=14664, foundSolutions=4, bestBound=73
29.69/27.18
29.78/27.29 num=137, depth=5..10, filters=85549, revisions=(99414,useless=13863), ccks=151179189, wck=25.134, mem=27M421
29.78/27.29 decisions=87785, wrong=43507, backtracks=254, failedAssignments=43493, nogoods=14761, foundSolutions=4, bestBound=73
29.78/27.29
29.88/27.39 num=138, depth=4..5, filters=85845, revisions=(99792,useless=13937), ccks=152136929, wck=25.242, mem=27M421
29.88/27.39 decisions=87811, wrong=43518, backtracks=255, failedAssignments=43504, nogoods=14766, foundSolutions=4, bestBound=73
29.88/27.39
30.08/27.53 num=139, depth=0..3, filters=86101, revisions=(100159,useless=14034), ccks=153303848, wck=25.379, mem=30M37
30.08/27.53 decisions=87838, wrong=43530, backtracks=257, failedAssignments=43516, nogoods=14771, foundSolutions=4, bestBound=73
30.08/27.53
30.08/27.59 num=140, depth=6..6, filters=86240, revisions=(100354,useless=14089), ccks=153838050, wck=25.438, mem=30M37
30.08/27.59 decisions=87870, wrong=43543, backtracks=257, failedAssignments=43529, nogoods=14784, foundSolutions=4, bestBound=73
30.08/27.59
30.18/27.65 num=141, depth=9..9, filters=86397, revisions=(100561,useless=14150), ccks=154422521, wck=25.504, mem=30M37
30.18/27.65 decisions=87907, wrong=43557, backtracks=257, failedAssignments=43543, nogoods=14798, foundSolutions=4, bestBound=73
30.18/27.65
30.28/27.75 num=142, depth=5..7, filters=86829, revisions=(101107,useless=14278), ccks=155238626, wck=25.598, mem=31M358
30.28/27.75 decisions=87944, wrong=43573, backtracks=259, failedAssignments=43559, nogoods=14808, foundSolutions=4, bestBound=73
30.28/27.75
30.49/27.92 num=143, depth=0..3, filters=87195, revisions=(101607,useless=14401), ccks=156739301, wck=25.774, mem=33M974
30.49/27.92 decisions=87983, wrong=43591, backtracks=262, failedAssignments=43576, nogoods=14812, foundSolutions=4, bestBound=73
30.49/27.92
30.49/27.98 num=144, depth=6..6, filters=87339, revisions=(101807,useless=14456), ccks=157270354, wck=25.833, mem=33M974
30.49/27.98 decisions=88027, wrong=43610, backtracks=262, failedAssignments=43595, nogoods=14831, foundSolutions=4, bestBound=73
30.49/27.98
30.60/28.05 num=145, depth=9..9, filters=87500, revisions=(102018,useless=14517), ccks=157849853, wck=25.898, mem=33M974
30.60/28.05 decisions=88078, wrong=43631, backtracks=262, failedAssignments=43616, nogoods=14852, foundSolutions=4, bestBound=73
30.60/28.05
30.70/28.15 num=146, depth=5..6, filters=88165, revisions=(102882,useless=14728), ccks=158663072, wck=25.998, mem=33M974
30.70/28.15 decisions=88132, wrong=43655, backtracks=266, failedAssignments=43639, nogoods=14862, foundSolutions=4, bestBound=73
30.70/28.15
30.99/28.40 num=147, depth=0..3, filters=88594, revisions=(103470,useless=14864), ccks=160919519, wck=26.249, mem=36M590
30.99/28.40 decisions=88185, wrong=43680, backtracks=269, failedAssignments=43664, nogoods=14875, foundSolutions=4, bestBound=73
30.99/28.40
30.99/28.46 num=148, depth=6..6, filters=88747, revisions=(103679,useless=14920), ccks=161447096, wck=26.309, mem=36M590
30.99/28.46 decisions=88247, wrong=43708, backtracks=269, failedAssignments=43692, nogoods=14903, foundSolutions=4, bestBound=73
30.99/28.46
31.09/28.52 num=149, depth=9..9, filters=88916, revisions=(103896,useless=14980), ccks=162015554, wck=26.374, mem=36M590
31.09/28.52 decisions=88318, wrong=43739, backtracks=269, failedAssignments=43723, nogoods=14934, foundSolutions=4, bestBound=73
31.09/28.52
31.19/28.66 num=150, depth=4..6, filters=89716, revisions=(104856,useless=15145), ccks=163139593, wck=26.512, mem=39M206
31.19/28.66 decisions=88397, wrong=43776, backtracks=275, failedAssignments=43757, nogoods=14946, foundSolutions=4, bestBound=73
31.19/28.66
31.49/28.92 num=151, depth=0..4, filters=90384, revisions=(105754,useless=15359), ccks=165295693, wck=26.769, mem=39M206
31.49/28.92 decisions=88477, wrong=43814, backtracks=278, failedAssignments=43794, nogoods=14963, foundSolutions=4, bestBound=73
31.49/28.92
31.49/29.00 num=152, depth=1..8, filters=90628, revisions=(106065,useless=15428), ccks=165951644, wck=26.847, mem=41M822
31.49/29.00 decisions=88567, wrong=43855, backtracks=278, failedAssignments=43835, nogoods=15004, foundSolutions=4, bestBound=73
31.49/29.00
31.89/29.37 num=153, depth=0..1, filters=91331, revisions=(107031,useless=15619), ccks=169572924, wck=27.222, mem=44M438
31.89/29.37 decisions=88658, wrong=43900, backtracks=279, failedAssignments=43880, nogoods=15008, foundSolutions=4, bestBound=73
31.89/29.37
31.99/29.44 num=154, depth=6..8, filters=91516, revisions=(107264,useless=15676), ccks=170164267, wck=27.29, mem=44M438
31.99/29.44 decisions=88766, wrong=43950, backtracks=279, failedAssignments=43930, nogoods=15058, foundSolutions=4, bestBound=73
31.99/29.44
32.09/29.54 num=155, depth=0..6, filters=91745, revisions=(107572,useless=15750), ccks=170967458, wck=27.389, mem=44M438
32.09/29.54 decisions=88882, wrong=44005, backtracks=282, failedAssignments=43985, nogoods=15099, foundSolutions=4, bestBound=73
32.09/29.54
32.19/29.61 num=156, depth=9..9, filters=91942, revisions=(107817,useless=15809), ccks=171522386, wck=27.455, mem=44M438
32.19/29.61 decisions=89013, wrong=44066, backtracks=282, failedAssignments=44046, nogoods=15160, foundSolutions=4, bestBound=73
32.19/29.61
32.29/29.78 num=157, depth=0..9, filters=92314, revisions=(108340,useless=15943), ccks=173105134, wck=27.625, mem=47M54
32.29/29.78 decisions=89156, wrong=44133, backtracks=288, failedAssignments=44113, nogoods=15214, foundSolutions=4, bestBound=73
32.29/29.78
32.39/29.85 num=158, depth=7..9, filters=92539, revisions=(108613,useless=15997), ccks=173671161, wck=27.694, mem=47M54
32.39/29.85 decisions=89313, wrong=44207, backtracks=288, failedAssignments=44187, nogoods=15288, foundSolutions=4, bestBound=73
32.39/29.85
32.60/30.08 num=159, depth=0..9, filters=93034, revisions=(109303,useless=16169), ccks=175776283, wck=27.924, mem=47M54
32.60/30.08 decisions=89484, wrong=44288, backtracks=296, failedAssignments=44268, nogoods=15347, foundSolutions=4, bestBound=73
32.60/30.08
32.70/30.18 num=160, depth=5..7, filters=93782, revisions=(110258,useless=16387), ccks=176609214, wck=28.032, mem=49M670
32.70/30.18 decisions=89669, wrong=44377, backtracks=301, failedAssignments=44357, nogoods=15417, foundSolutions=4, bestBound=73
32.70/30.18
33.19/30.69 num=161, depth=0..6, filters=96024, revisions=(112822,useless=16678), ccks=181044198, wck=28.534, mem=52M286
33.19/30.69 decisions=89868, wrong=44475, backtracks=304, failedAssignments=44455, nogoods=15431, foundSolutions=4, bestBound=73
33.19/30.69
33.49/30.93 num=162, depth=0..8, filters=96900, revisions=(113950,useless=16923), ccks=182986682, wck=28.775, mem=54M902
33.49/30.93 decisions=90091, wrong=44583, backtracks=313, failedAssignments=44563, nogoods=15513, foundSolutions=4, bestBound=73
33.49/30.93
33.80/31.29 num=163, depth=0..7, filters=99841, revisions=(117559,useless=17629), ccks=186202338, wck=29.143, mem=57M518
33.80/31.29 decisions=90350, wrong=44710, backtracks=331, failedAssignments=44682, nogoods=15548, foundSolutions=4, bestBound=73
33.80/31.29
34.10/31.50 num=164, depth=0..3, filters=100226, revisions=(118065,useless=17737), ccks=187644433, wck=29.346, mem=57M518
34.10/31.50 decisions=90614, wrong=44841, backtracks=333, failedAssignments=44813, nogoods=15670, foundSolutions=4, bestBound=73
34.10/31.50
34.10/31.58 num=165, depth=6..7, filters=100552, revisions=(118463,useless=17809), ccks=188278435, wck=29.431, mem=57M518
34.10/31.58 decisions=90909, wrong=44985, backtracks=333, failedAssignments=44957, nogoods=15814, foundSolutions=4, bestBound=73
34.10/31.58
34.20/31.69 num=166, depth=1..5, filters=100963, revisions=(118994,useless=17940), ccks=188845208, wck=29.535, mem=60M134
34.20/31.69 decisions=91230, wrong=45143, backtracks=334, failedAssignments=45115, nogoods=15971, foundSolutions=4, bestBound=73
34.20/31.69
34.30/31.78 num=167, depth=1..7, filters=101333, revisions=(119429,useless=18005), ccks=189427569, wck=29.625, mem=60M134
34.30/31.78 decisions=91585, wrong=45317, backtracks=334, failedAssignments=45289, nogoods=16145, foundSolutions=4, bestBound=73
34.30/31.78
34.40/31.84 num=168, depth=7..7, filters=101636, revisions=(119780,useless=18054), ccks=189850781, wck=29.691, mem=60M134
34.40/31.84 decisions=91974, wrong=45508, backtracks=334, failedAssignments=45480, nogoods=16336, foundSolutions=4, bestBound=73
34.40/31.84
34.50/31.92 num=169, depth=7..7, filters=101980, revisions=(120185,useless=18113), ccks=190380542, wck=29.772, mem=60M134
34.50/31.92 decisions=92403, wrong=45719, backtracks=334, failedAssignments=45691, nogoods=16547, foundSolutions=4, bestBound=73
34.50/31.92
34.50/32.00 num=170, depth=6..7, filters=102330, revisions=(120582,useless=18162), ccks=190801382, wck=29.846, mem=62M750
34.50/32.00 decisions=92873, wrong=45951, backtracks=335, failedAssignments=45923, nogoods=16640, foundSolutions=4, bestBound=73
34.50/32.00
34.61/32.10 num=171, depth=1..8, filters=102767, revisions=(121091,useless=18237), ccks=191544218, wck=29.953, mem=62M750
34.61/32.10 decisions=93391, wrong=46206, backtracks=337, failedAssignments=46178, nogoods=16814, foundSolutions=4, bestBound=73
34.61/32.10
34.71/32.17 num=172, depth=2..8, filters=103162, revisions=(121532,useless=18285), ccks=191889463, wck=30.017, mem=62M750
34.71/32.17 decisions=93961, wrong=46487, backtracks=337, failedAssignments=46459, nogoods=17095, foundSolutions=4, bestBound=73
34.71/32.17
34.80/32.27 num=173, depth=6..10, filters=103870, revisions=(122349,useless=18407), ccks=192660235, wck=30.119, mem=62M750
34.80/32.27 decisions=94588, wrong=46796, backtracks=338, failedAssignments=46768, nogoods=17399, foundSolutions=4, bestBound=73
34.80/32.27
35.01/32.41 o 72
35.01/32.42 num=174, depth=5..54, filters=104883, revisions=(123710,useless=18739), ccks=193810948, wck=30.264, mem=65M366
35.01/32.42 decisions=94770, wrong=46883, backtracks=346, failedAssignments=46854, nogoods=17463, foundSolutions=5, bestBound=72
35.01/32.42
35.11/32.51 num=175, depth=8..11, filters=105442, revisions=(124343,useless=18812), ccks=194440887, wck=30.356, mem=65M366
35.11/32.51 decisions=95528, wrong=47257, backtracks=347, failedAssignments=47228, nogoods=17589, foundSolutions=5, bestBound=72
35.11/32.51
35.11/32.59 num=176, depth=5..6, filters=105878, revisions=(124965,useless=19000), ccks=195136033, wck=30.442, mem=65M366
35.11/32.59 decisions=95555, wrong=47268, backtracks=354, failedAssignments=47239, nogoods=17597, foundSolutions=5, bestBound=72
35.11/32.59
35.31/32.77 num=177, depth=0..3, filters=106131, revisions=(125318,useless=19083), ccks=196724869, wck=30.618, mem=67M982
35.31/32.77 decisions=95582, wrong=47280, backtracks=357, failedAssignments=47251, nogoods=17599, foundSolutions=5, bestBound=72
35.31/32.77
35.41/32.87 num=178, depth=0..6, filters=106311, revisions=(125570,useless=19144), ccks=197651221, wck=30.721, mem=67M982
35.41/32.87 decisions=95616, wrong=47294, backtracks=358, failedAssignments=47264, nogoods=17610, foundSolutions=5, bestBound=72
35.41/32.87
35.51/32.93 num=179, depth=4..6, filters=106678, revisions=(126036,useless=19247), ccks=198088633, wck=30.783, mem=67M982
35.51/32.93 decisions=95648, wrong=47308, backtracks=360, failedAssignments=47278, nogoods=17613, foundSolutions=5, bestBound=72
35.51/32.93
35.72/33.18 num=180, depth=0..3, filters=107098, revisions=(126605,useless=19377), ccks=200285726, wck=31.032, mem=70M598
35.72/33.18 decisions=95685, wrong=47325, backtracks=362, failedAssignments=47294, nogoods=17623, foundSolutions=5, bestBound=72
35.72/33.18
35.81/33.25 num=181, depth=0..7, filters=107283, revisions=(126863,useless=19447), ccks=200832822, wck=31.097, mem=70M598
35.81/33.25 decisions=95726, wrong=47342, backtracks=362, failedAssignments=47311, nogoods=17639, foundSolutions=5, bestBound=72
35.81/33.25
35.91/33.32 num=182, depth=5..8, filters=107644, revisions=(127336,useless=19571), ccks=201369832, wck=31.164, mem=70M598
35.91/33.32 decisions=95771, wrong=47361, backtracks=363, failedAssignments=47330, nogoods=17653, foundSolutions=5, bestBound=72
35.91/33.32
36.11/33.51 num=183, depth=0..3, filters=107946, revisions=(127705,useless=19597), ccks=203264288, wck=31.36, mem=70M598
36.11/33.51 decisions=95816, wrong=47382, backtracks=363, failedAssignments=47351, nogoods=17668, foundSolutions=5, bestBound=72
36.11/33.51
36.11/33.58 num=184, depth=7..8, filters=108142, revisions=(127976,useless=19666), ccks=203896324, wck=31.433, mem=70M598
36.11/33.58 decisions=95870, wrong=47405, backtracks=363, failedAssignments=47374, nogoods=17691, foundSolutions=5, bestBound=72
36.11/33.58
36.21/33.64 num=185, depth=0..4, filters=108361, revisions=(128301,useless=19760), ccks=204270551, wck=31.488, mem=73M214
36.21/33.64 decisions=95924, wrong=47430, backtracks=364, failedAssignments=47399, nogoods=17703, foundSolutions=5, bestBound=72
36.21/33.64
36.32/33.71 num=186, depth=7..7, filters=108533, revisions=(128536,useless=19823), ccks=204869050, wck=31.557, mem=73M214
36.32/33.71 decisions=95987, wrong=47458, backtracks=364, failedAssignments=47427, nogoods=17731, foundSolutions=5, bestBound=72
36.32/33.71
36.32/33.75 num=187, depth=4..4, filters=108621, revisions=(128645,useless=19849), ccks=205151010, wck=31.599, mem=73M214
36.32/33.75 decisions=96053, wrong=47489, backtracks=364, failedAssignments=47458, nogoods=17762, foundSolutions=5, bestBound=72
36.32/33.75
36.42/33.86 num=188, depth=1..8, filters=108820, revisions=(128924,useless=19925), ccks=206135351, wck=31.708, mem=73M214
36.42/33.86 decisions=96129, wrong=47523, backtracks=365, failedAssignments=47492, nogoods=17794, foundSolutions=5, bestBound=72
36.42/33.86
36.63/34.03 num=189, depth=0..11, filters=109094, revisions=(129326,useless=20050), ccks=207738065, wck=31.877, mem=75M830
36.63/34.03 decisions=96214, wrong=47560, backtracks=370, failedAssignments=47529, nogoods=17823, foundSolutions=5, bestBound=72
36.63/34.03
36.63/34.10 num=190, depth=5..7, filters=109323, revisions=(129621,useless=20116), ccks=208307094, wck=31.946, mem=75M830
36.63/34.10 decisions=96302, wrong=47601, backtracks=370, failedAssignments=47570, nogoods=17864, foundSolutions=5, bestBound=72
36.63/34.10
36.73/34.17 num=191, depth=9..9, filters=109542, revisions=(129909,useless=20183), ccks=208930107, wck=32.016, mem=75M830
36.73/34.17 decisions=96401, wrong=47646, backtracks=370, failedAssignments=47615, nogoods=17909, foundSolutions=5, bestBound=72
36.73/34.17
36.82/34.22 num=192, depth=2..3, filters=109676, revisions=(130088,useless=20231), ccks=209164721, wck=32.064, mem=75M830
36.82/34.22 decisions=96504, wrong=47696, backtracks=370, failedAssignments=47665, nogoods=17959, foundSolutions=5, bestBound=72
36.82/34.22
36.92/34.30 num=193, depth=2..7, filters=109957, revisions=(130443,useless=20303), ccks=209824937, wck=32.146, mem=75M830
36.92/34.30 decisions=96621, wrong=47751, backtracks=370, failedAssignments=47720, nogoods=18014, foundSolutions=5, bestBound=72
36.92/34.30
36.92/34.35 num=194, depth=7..7, filters=110127, revisions=(130661,useless=20352), ccks=210238414, wck=32.201, mem=75M830
36.92/34.35 decisions=96750, wrong=47812, backtracks=370, failedAssignments=47781, nogoods=18075, foundSolutions=5, bestBound=72
36.92/34.35
37.04/34.42 num=195, depth=7..7, filters=110331, revisions=(130925,useless=20406), ccks=210739038, wck=32.265, mem=78M446
37.04/34.42 decisions=96891, wrong=47879, backtracks=370, failedAssignments=47848, nogoods=18142, foundSolutions=5, bestBound=72
37.04/34.42
37.04/34.47 num=196, depth=7..7, filters=110514, revisions=(131156,useless=20455), ccks=211146804, wck=32.32, mem=78M446
37.04/34.47 decisions=97046, wrong=47953, backtracks=370, failedAssignments=47922, nogoods=18216, foundSolutions=5, bestBound=72
37.04/34.47
37.14/34.54 num=197, depth=7..7, filters=110732, revisions=(131434,useless=20509), ccks=211647442, wck=32.385, mem=78M446
37.14/34.54 decisions=97215, wrong=48034, backtracks=370, failedAssignments=48003, nogoods=18297, foundSolutions=5, bestBound=72
37.14/34.54
37.14/34.59 num=198, depth=7..7, filters=110930, revisions=(131680,useless=20558), ccks=212055223, wck=32.441, mem=78M446
37.14/34.59 decisions=97400, wrong=48123, backtracks=370, failedAssignments=48092, nogoods=18386, foundSolutions=5, bestBound=72
37.14/34.59
37.24/34.66 num=199, depth=7..7, filters=111165, revisions=(131975,useless=20612), ccks=212555878, wck=32.508, mem=78M446
37.24/34.66 decisions=97603, wrong=48221, backtracks=370, failedAssignments=48190, nogoods=18484, foundSolutions=5, bestBound=72
37.24/34.66
37.34/34.72 num=200, depth=7..7, filters=111382, revisions=(132240,useless=20661), ccks=212963678, wck=32.564, mem=78M446
37.34/34.72 decisions=97826, wrong=48329, backtracks=370, failedAssignments=48298, nogoods=18592, foundSolutions=5, bestBound=72
37.34/34.72
37.34/34.78 num=201, depth=7..7, filters=111638, revisions=(132556,useless=20715), ccks=213464354, wck=32.633, mem=78M446
37.34/34.78 decisions=98071, wrong=48448, backtracks=370, failedAssignments=48417, nogoods=18711, foundSolutions=5, bestBound=72
37.34/34.78
37.54/34.90 num=202, depth=1..6, filters=111945, revisions=(132925,useless=20774), ccks=214321158, wck=32.75, mem=81M62
37.54/34.90 decisions=98339, wrong=48579, backtracks=370, failedAssignments=48548, nogoods=18842, foundSolutions=5, bestBound=72
37.54/34.90
37.54/35.00 num=203, depth=4..7, filters=112630, revisions=(133792,useless=20961), ccks=214870892, wck=32.845, mem=81M62
37.54/35.00 decisions=98634, wrong=48723, backtracks=374, failedAssignments=48692, nogoods=18971, foundSolutions=5, bestBound=72
37.54/35.00
37.65/35.08 num=204, depth=6..7, filters=112937, revisions=(134157,useless=21015), ccks=215374083, wck=32.926, mem=81M62
37.65/35.08 decisions=98956, wrong=48881, backtracks=375, failedAssignments=48850, nogoods=19082, foundSolutions=5, bestBound=72
37.65/35.08
37.75/35.15 num=205, depth=6..6, filters=113221, revisions=(134488,useless=21060), ccks=215777395, wck=32.999, mem=81M62
37.75/35.15 decisions=99310, wrong=49055, backtracks=375, failedAssignments=49024, nogoods=19256, foundSolutions=5, bestBound=72
37.75/35.15
37.84/35.21 num=206, depth=7..7, filters=113545, revisions=(134862,useless=21103), ccks=216124706, wck=33.063, mem=81M62
37.84/35.21 decisions=99699, wrong=49246, backtracks=375, failedAssignments=49215, nogoods=19447, foundSolutions=5, bestBound=72
37.84/35.21
37.94/35.31 num=207, depth=5..7, filters=114132, revisions=(135577,useless=21240), ccks=216758698, wck=33.162, mem=83M678
37.94/35.31 decisions=100127, wrong=49457, backtracks=378, failedAssignments=49426, nogoods=19655, foundSolutions=5, bestBound=72
37.94/35.31
38.04/35.40 num=208, depth=5..6, filters=114484, revisions=(135974,useless=21285), ccks=217162075, wck=33.248, mem=83M678
38.04/35.40 decisions=100596, wrong=49689, backtracks=379, failedAssignments=49658, nogoods=19723, foundSolutions=5, bestBound=72
38.04/35.40
38.04/35.48 num=209, depth=6..7, filters=114879, revisions=(136417,useless=21328), ccks=217510196, wck=33.329, mem=83M678
38.04/35.48 decisions=101112, wrong=49944, backtracks=380, failedAssignments=49913, nogoods=19920, foundSolutions=5, bestBound=72
38.04/35.48
38.14/35.58 num=210, depth=5..6, filters=115288, revisions=(136878,useless=21376), ccks=217999392, wck=33.428, mem=83M678
38.14/35.58 decisions=101679, wrong=50225, backtracks=381, failedAssignments=50194, nogoods=19935, foundSolutions=5, bestBound=72
38.14/35.58
38.24/35.68 num=211, depth=5..6, filters=115775, revisions=(137422,useless=21435), ccks=218424250, wck=33.525, mem=83M678
38.24/35.68 decisions=102303, wrong=50534, backtracks=381, failedAssignments=50503, nogoods=20244, foundSolutions=5, bestBound=72
38.24/35.68
38.34/35.78 num=212, depth=5..6, filters=116250, revisions=(137940,useless=21474), ccks=218769517, wck=33.633, mem=83M678
38.34/35.78 decisions=102988, wrong=50874, backtracks=382, failedAssignments=50843, nogoods=20409, foundSolutions=5, bestBound=72
38.34/35.78
38.44/35.88 num=213, depth=7..7, filters=116754, revisions=(138503,useless=21529), ccks=219260079, wck=33.728, mem=86M294
38.44/35.88 decisions=103743, wrong=51248, backtracks=382, failedAssignments=51217, nogoods=20783, foundSolutions=5, bestBound=72
38.44/35.88
38.65/36.01 num=214, depth=5..6, filters=117288, revisions=(139080,useless=21572), ccks=219658535, wck=33.856, mem=86M294
38.65/36.01 decisions=104570, wrong=51659, backtracks=383, failedAssignments=51628, nogoods=21090, foundSolutions=5, bestBound=72
38.65/36.01
38.75/36.13 num=215, depth=4..7, filters=117937, revisions=(139783,useless=21627), ccks=220016275, wck=33.98, mem=86M294
38.75/36.13 decisions=105478, wrong=52111, backtracks=386, failedAssignments=52080, nogoods=21123, foundSolutions=5, bestBound=72
38.75/36.13
38.85/36.26 num=216, depth=6..7, filters=118571, revisions=(140474,useless=21682), ccks=220507171, wck=34.109, mem=86M294
38.85/36.26 decisions=106478, wrong=52608, backtracks=387, failedAssignments=52577, nogoods=21542, foundSolutions=5, bestBound=72
38.85/36.26
39.05/36.45 num=217, depth=4..6, filters=119252, revisions=(141197,useless=21726), ccks=220904958, wck=34.296, mem=86M294
39.05/36.45 decisions=107576, wrong=53155, backtracks=389, failedAssignments=53124, nogoods=21882, foundSolutions=5, bestBound=72
39.05/36.45
39.25/36.60 num=218, depth=5..6, filters=120032, revisions=(142022,useless=21769), ccks=221256483, wck=34.453, mem=86M294
39.25/36.60 decisions=108785, wrong=53757, backtracks=390, failedAssignments=53726, nogoods=22145, foundSolutions=5, bestBound=72
39.25/36.60
39.45/36.82 num=219, depth=4..6, filters=120838, revisions=(142881,useless=21821), ccks=221745544, wck=34.674, mem=88M910
39.45/36.82 decisions=110113, wrong=54419, backtracks=392, failedAssignments=54388, nogoods=22302, foundSolutions=5, bestBound=72
39.45/36.82
39.66/37.08 num=220, depth=3..6, filters=121719, revisions=(143803,useless=21865), ccks=222149273, wck=34.933, mem=88M910
39.66/37.08 decisions=111572, wrong=55147, backtracks=395, failedAssignments=55116, nogoods=22595, foundSolutions=5, bestBound=72
39.66/37.08
40.25/37.62 num=221, depth=3..6, filters=126107, revisions=(149499,useless=23235), ccks=224646348, wck=35.464, mem=94M142
40.25/37.62 decisions=113187, wrong=55952, backtracks=442, failedAssignments=55917, nogoods=22870, foundSolutions=5, bestBound=72
40.25/37.62
40.45/37.81 num=222, depth=5..7, filters=127181, revisions=(150635,useless=23295), ccks=225156647, wck=35.658, mem=96M757
40.45/37.81 decisions=114954, wrong=56833, backtracks=444, failedAssignments=56798, nogoods=23087, foundSolutions=5, bestBound=72
40.45/37.81
40.66/38.07 num=223, depth=3..7, filters=128326, revisions=(151826,useless=23346), ccks=225554122, wck=35.921, mem=96M757
40.66/38.07 decisions=116897, wrong=57803, backtracks=448, failedAssignments=57768, nogoods=23265, foundSolutions=5, bestBound=72
40.66/38.07
41.05/38.44 num=224, depth=3..6, filters=130353, revisions=(154260,useless=23758), ccks=226442358, wck=36.289, mem=99M373
41.05/38.44 decisions=119035, wrong=58870, backtracks=463, failedAssignments=58835, nogoods=23545, foundSolutions=5, bestBound=72
41.05/38.44
41.55/38.91 num=225, depth=4..7, filters=133434, revisions=(157935,useless=24384), ccks=228429567, wck=36.762, mem=101M989
41.55/38.91 decisions=121390, wrong=60044, backtracks=486, failedAssignments=60008, nogoods=23703, foundSolutions=5, bestBound=72
41.55/38.91
44.76/42.19 num=226, depth=0..6, filters=138696, revisions=(164975,useless=25840), ccks=253288218, wck=40.041, mem=117M685
44.76/42.19 decisions=123974, wrong=61335, backtracks=497, failedAssignments=61299, nogoods=23714, foundSolutions=5, bestBound=72
44.76/42.19
45.35/42.79 num=227, depth=4..7, filters=144658, revisions=(171770,useless=26695), ccks=256916093, wck=40.637, mem=122M917
45.35/42.79 decisions=126849, wrong=62770, backtracks=538, failedAssignments=62719, nogoods=24034, foundSolutions=5, bestBound=72
45.35/42.79
45.95/43.33 num=228, depth=4..7, filters=148428, revisions=(175969,useless=27120), ccks=259217440, wck=41.183, mem=125M533
45.95/43.33 decisions=129984, wrong=64334, backtracks=549, failedAssignments=64281, nogoods=24119, foundSolutions=5, bestBound=72
45.95/43.33
46.55/43.96 num=229, depth=2..8, filters=150523, revisions=(178162,useless=27231), ccks=259964685, wck=41.808, mem=125M533
46.55/43.96 decisions=133422, wrong=66052, backtracks=555, failedAssignments=65999, nogoods=24484, foundSolutions=5, bestBound=72
46.55/43.96
47.45/44.89 num=230, depth=3..7, filters=156724, revisions=(185878,useless=28583), ccks=264967312, wck=42.734, mem=135M997
47.45/44.89 decisions=137209, wrong=67942, backtracks=586, failedAssignments=67889, nogoods=24759, foundSolutions=5, bestBound=72
47.45/44.89
52.98/50.37 num=231, depth=0..6, filters=173914, revisions=(206265,useless=31024), ccks=307152406, wck=48.214, mem=33M808
52.98/50.37 decisions=141386, wrong=70029, backtracks=614, failedAssignments=69968, nogoods=24847, foundSolutions=5, bestBound=72
52.98/50.37
53.62/50.96 num=232, depth=4..7, filters=177516, revisions=(210042,useless=31264), ccks=308482483, wck=48.812, mem=36M424
53.62/50.96 decisions=145967, wrong=72316, backtracks=628, failedAssignments=72255, nogoods=25217, foundSolutions=5, bestBound=72
53.62/50.96
54.22/51.52 num=233, depth=4..7, filters=180800, revisions=(213510,useless=31460), ccks=309303877, wck=49.366, mem=36M424
54.22/51.52 decisions=151008, wrong=74834, backtracks=638, failedAssignments=74771, nogoods=25438, foundSolutions=5, bestBound=72
54.22/51.52
54.42/51.74 o 71
54.42/51.74 num=234, depth=1..54, filters=181689, revisions=(214623,useless=31691), ccks=310781779, wck=49.594, mem=39M40
54.42/51.74 decisions=151444, wrong=75047, backtracks=643, failedAssignments=74984, nogoods=25500, foundSolutions=6, bestBound=71
54.42/51.74
61.43/58.73 num=235, depth=0..7, filters=195059, revisions=(231130,useless=33480), ccks=370346562, wck=56.576, mem=68M674
61.43/58.73 decisions=157543, wrong=78094, backtracks=673, failedAssignments=78028, nogoods=25606, foundSolutions=6, bestBound=71
61.43/58.73
61.53/58.83 num=236, depth=4..4, filters=195308, revisions=(231459,useless=33553), ccks=371342816, wck=56.681, mem=68M674
61.53/58.83 decisions=157569, wrong=78105, backtracks=673, failedAssignments=78039, nogoods=25617, foundSolutions=6, bestBound=71
61.53/58.83
61.63/58.98 num=237, depth=0..3, filters=195595, revisions=(231855,useless=33639), ccks=372603815, wck=56.828, mem=68M674
61.63/58.98 decisions=157596, wrong=78117, backtracks=675, failedAssignments=78051, nogoods=25620, foundSolutions=6, bestBound=71
61.63/58.98
61.74/59.04 num=238, depth=0..5, filters=195717, revisions=(232037,useless=33700), ccks=373154461, wck=56.888, mem=68M674
61.74/59.04 decisions=157627, wrong=78130, backtracks=675, failedAssignments=78064, nogoods=25632, foundSolutions=6, bestBound=71
61.74/59.04
61.88/59.12 num=239, depth=4..7, filters=196018, revisions=(232437,useless=33799), ccks=373865273, wck=56.969, mem=71M290
61.88/59.12 decisions=157662, wrong=78144, backtracks=677, failedAssignments=78078, nogoods=25638, foundSolutions=6, bestBound=71
61.88/59.12
61.97/59.26 num=240, depth=4..4, filters=196373, revisions=(232859,useless=33858), ccks=375193970, wck=57.113, mem=71M290
61.97/59.26 decisions=157698, wrong=78160, backtracks=677, failedAssignments=78094, nogoods=25654, foundSolutions=6, bestBound=71
61.97/59.26
62.17/59.40 num=241, depth=0..3, filters=196701, revisions=(233309,useless=33962), ccks=376331602, wck=57.252, mem=71M290
62.17/59.40 decisions=157737, wrong=78178, backtracks=679, failedAssignments=78111, nogoods=25662, foundSolutions=6, bestBound=71
62.17/59.40
62.27/59.59 num=242, depth=0..3, filters=197065, revisions=(233820,useless=34103), ccks=377906616, wck=57.441, mem=73M906
62.27/59.59 decisions=157777, wrong=78197, backtracks=685, failedAssignments=78130, nogoods=25663, foundSolutions=6, bestBound=71
62.27/59.59
62.47/59.79 num=243, depth=0..4, filters=197562, revisions=(234469,useless=34259), ccks=379579560, wck=57.638, mem=73M906
62.47/59.79 decisions=157825, wrong=78219, backtracks=691, failedAssignments=78151, nogoods=25675, foundSolutions=6, bestBound=71
62.47/59.79
62.78/60.02 num=244, depth=0..3, filters=198058, revisions=(235141,useless=34407), ccks=381506925, wck=57.87, mem=76M522
62.78/60.02 decisions=157878, wrong=78244, backtracks=698, failedAssignments=78174, nogoods=25679, foundSolutions=6, bestBound=71
62.78/60.02
62.97/60.21 num=245, depth=0..5, filters=198594, revisions=(235880,useless=34597), ccks=383066744, wck=58.061, mem=76M522
62.97/60.21 decisions=157935, wrong=78270, backtracks=703, failedAssignments=78199, nogoods=25686, foundSolutions=6, bestBound=71
62.97/60.21
63.27/60.50 num=246, depth=0..4, filters=199156, revisions=(236691,useless=34784), ccks=385627633, wck=58.348, mem=79M138
63.27/60.50 decisions=157999, wrong=78300, backtracks=706, failedAssignments=78227, nogoods=25705, foundSolutions=6, bestBound=71
63.27/60.50
63.58/60.81 num=247, depth=0..4, filters=199854, revisions=(237708,useless=35027), ccks=388202582, wck=58.655, mem=81M754
63.58/60.81 decisions=158067, wrong=78332, backtracks=714, failedAssignments=78258, nogoods=25712, foundSolutions=6, bestBound=71
63.58/60.81
63.68/60.98 num=248, depth=1..5, filters=200444, revisions=(238486,useless=35198), ccks=389587844, wck=58.832, mem=81M754
63.68/60.98 decisions=158140, wrong=78366, backtracks=717, failedAssignments=78292, nogoods=25741, foundSolutions=6, bestBound=71
63.68/60.98
63.78/61.06 num=249, depth=4..9, filters=200695, revisions=(238812,useless=35284), ccks=390189363, wck=58.907, mem=81M754
63.78/61.06 decisions=158223, wrong=78403, backtracks=718, failedAssignments=78329, nogoods=25777, foundSolutions=6, bestBound=71
63.78/61.06
63.89/61.12 num=250, depth=2..4, filters=200815, revisions=(238972,useless=35328), ccks=390583869, wck=58.964, mem=84M370
63.89/61.12 decisions=158309, wrong=78444, backtracks=718, failedAssignments=78370, nogoods=25818, foundSolutions=6, bestBound=71
63.89/61.12
64.08/61.30 num=251, depth=3..6, filters=201358, revisions=(239676,useless=35501), ccks=392096847, wck=59.15, mem=84M370
64.08/61.30 decisions=158405, wrong=78489, backtracks=719, failedAssignments=78415, nogoods=25860, foundSolutions=6, bestBound=71
64.08/61.30
64.18/61.42 num=252, depth=4..8, filters=201933, revisions=(240442,useless=35697), ccks=393105317, wck=59.272, mem=86M986
64.18/61.42 decisions=158512, wrong=78539, backtracks=722, failedAssignments=78465, nogoods=25907, foundSolutions=6, bestBound=71
64.18/61.42
64.18/61.47 num=253, depth=4..4, filters=202037, revisions=(240568,useless=35723), ccks=393386013, wck=59.321, mem=86M986
64.18/61.47 decisions=158626, wrong=78594, backtracks=722, failedAssignments=78520, nogoods=25962, foundSolutions=6, bestBound=71
64.18/61.47
64.29/61.56 num=254, depth=3..8, filters=202471, revisions=(241119,useless=35857), ccks=394056351, wck=59.408, mem=86M986
64.29/61.56 decisions=158755, wrong=78655, backtracks=724, failedAssignments=78581, nogoods=26013, foundSolutions=6, bestBound=71
64.29/61.56
65.39/62.66 num=255, depth=1..2, filters=204067, revisions=(243452,useless=36395), ccks=404695564, wck=60.506, mem=92M218
65.39/62.66 decisions=158890, wrong=78722, backtracks=757, failedAssignments=78648, nogoods=26048, foundSolutions=6, bestBound=71
65.39/62.66
65.69/62.94 num=256, depth=0..5, filters=204691, revisions=(244279,useless=36601), ccks=407199317, wck=60.786, mem=94M834
65.69/62.94 decisions=159045, wrong=78797, backtracks=762, failedAssignments=78722, nogoods=26116, foundSolutions=6, bestBound=71
65.69/62.94
65.80/63.02 num=257, depth=4..7, filters=204964, revisions=(244634,useless=36684), ccks=407776713, wck=60.864, mem=94M834
65.80/63.02 decisions=159214, wrong=78878, backtracks=763, failedAssignments=78803, nogoods=26196, foundSolutions=6, bestBound=71
65.80/63.02
66.59/63.87 num=258, depth=2..4, filters=206454, revisions=(246505,useless=36904), ccks=415610043, wck=61.717, mem=100M66
66.59/63.87 decisions=159394, wrong=78967, backtracks=765, failedAssignments=78892, nogoods=26217, foundSolutions=6, bestBound=71
66.59/63.87
66.99/64.20 num=259, depth=0..5, filters=207439, revisions=(247809,useless=37217), ccks=418169985, wck=62.051, mem=102M682
66.99/64.20 decisions=159597, wrong=79066, backtracks=772, failedAssignments=78990, nogoods=26288, foundSolutions=6, bestBound=71
66.99/64.20
66.99/64.28 num=260, depth=5..6, filters=207703, revisions=(248136,useless=37278), ccks=418721904, wck=62.13, mem=102M682
66.99/64.28 decisions=159819, wrong=79174, backtracks=772, failedAssignments=79098, nogoods=26396, foundSolutions=6, bestBound=71
66.99/64.28
67.09/64.35 num=261, depth=4..10, filters=208034, revisions=(248548,useless=37367), ccks=419267512, wck=62.201, mem=102M682
67.09/64.35 decisions=160067, wrong=79293, backtracks=774, failedAssignments=79217, nogoods=26513, foundSolutions=6, bestBound=71
67.09/64.35
67.19/64.44 num=262, depth=0..5, filters=208383, revisions=(248978,useless=37456), ccks=419654443, wck=62.289, mem=102M682
67.19/64.44 decisions=160334, wrong=79424, backtracks=776, failedAssignments=79348, nogoods=26623, foundSolutions=6, bestBound=71
67.19/64.44
67.29/64.52 num=263, depth=6..6, filters=208658, revisions=(249306,useless=37506), ccks=420167829, wck=62.368, mem=102M682
67.29/64.52 decisions=160628, wrong=79568, backtracks=776, failedAssignments=79492, nogoods=26767, foundSolutions=6, bestBound=71
67.29/64.52
67.29/64.59 num=264, depth=8..12, filters=208946, revisions=(249646,useless=37566), ccks=420651456, wck=62.435, mem=105M298
67.29/64.59 decisions=160956, wrong=79726, backtracks=776, failedAssignments=79650, nogoods=26925, foundSolutions=6, bestBound=71
67.29/64.59
67.59/64.83 num=265, depth=0..4, filters=209619, revisions=(250576,useless=37781), ccks=422430204, wck=62.676, mem=105M298
67.59/64.83 decisions=161308, wrong=79900, backtracks=785, failedAssignments=79824, nogoods=27076, foundSolutions=6, bestBound=71
67.59/64.83
67.69/64.91 num=266, depth=6..6, filters=209941, revisions=(250951,useless=37831), ccks=422955065, wck=62.762, mem=107M914
67.69/64.91 decisions=161696, wrong=80091, backtracks=785, failedAssignments=80015, nogoods=27267, foundSolutions=6, bestBound=71
67.69/64.91
67.69/64.98 num=267, depth=12..12, filters=210282, revisions=(251344,useless=37891), ccks=423439116, wck=62.831, mem=107M914
67.69/64.98 decisions=162130, wrong=80302, backtracks=785, failedAssignments=80226, nogoods=27478, foundSolutions=6, bestBound=71
67.69/64.98
68.19/65.41 num=268, depth=1..5, filters=211590, revisions=(253124,useless=38301), ccks=426417597, wck=63.261, mem=110M530
68.19/65.41 decisions=162601, wrong=80535, backtracks=811, failedAssignments=80458, nogoods=27650, foundSolutions=6, bestBound=71
68.19/65.41
68.29/65.59 num=269, depth=2..6, filters=212173, revisions=(253798,useless=38397), ccks=427635217, wck=63.436, mem=113M146
68.29/65.59 decisions=163117, wrong=80790, backtracks=811, failedAssignments=80713, nogoods=27905, foundSolutions=6, bestBound=71
68.29/65.59
68.39/65.69 num=270, depth=5..7, filters=212731, revisions=(254449,useless=38485), ccks=428188952, wck=63.543, mem=113M146
68.39/65.69 decisions=163685, wrong=81071, backtracks=815, failedAssignments=80994, nogoods=28163, foundSolutions=6, bestBound=71
68.39/65.69
68.69/65.94 num=271, depth=0..4, filters=213322, revisions=(255170,useless=38594), ccks=429725554, wck=63.784, mem=113M146
68.69/65.94 decisions=164307, wrong=81380, backtracks=820, failedAssignments=81303, nogoods=28464, foundSolutions=6, bestBound=71
68.69/65.94
68.80/66.06 num=272, depth=4..9, filters=214502, revisions=(256613,useless=38873), ccks=430468482, wck=63.908, mem=115M762
68.80/66.06 decisions=164996, wrong=81720, backtracks=829, failedAssignments=81643, nogoods=28768, foundSolutions=6, bestBound=71
68.80/66.06
69.49/66.71 num=273, depth=0..5, filters=215816, revisions=(258341,useless=39102), ccks=436071629, wck=64.562, mem=118M378
69.49/66.71 decisions=165749, wrong=82094, backtracks=830, failedAssignments=82017, nogoods=29086, foundSolutions=6, bestBound=71
69.49/66.71
69.59/66.89 num=274, depth=4..9, filters=216744, revisions=(259440,useless=39278), ccks=437417891, wck=64.738, mem=120M994
69.59/66.89 decisions=166579, wrong=82505, backtracks=831, failedAssignments=82428, nogoods=29496, foundSolutions=6, bestBound=71
69.59/66.89
69.80/67.08 num=275, depth=0..5, filters=217389, revisions=(260163,useless=39344), ccks=438252976, wck=64.926, mem=120M994
69.80/67.08 decisions=167488, wrong=82957, backtracks=831, failedAssignments=82880, nogoods=29944, foundSolutions=6, bestBound=71
69.80/67.08
69.99/67.24 num=276, depth=4..8, filters=218194, revisions=(261048,useless=39424), ccks=439120299, wck=65.087, mem=120M994
69.99/67.24 decisions=168489, wrong=83454, backtracks=833, failedAssignments=83377, nogoods=29977, foundSolutions=6, bestBound=71
69.99/67.24
73.69/70.93 num=277, depth=1..4, filters=223966, revisions=(268651,useless=40616), ccks=471595156, wck=68.778, mem=139M306
73.69/70.93 decisions=169589, wrong=84002, backtracks=851, failedAssignments=83924, nogoods=30216, foundSolutions=6, bestBound=71
73.69/70.93
73.90/71.11 num=278, depth=5..6, filters=224691, revisions=(269416,useless=40667), ccks=472128494, wck=68.956, mem=139M306
73.90/71.11 decisions=170798, wrong=84604, backtracks=852, failedAssignments=84526, nogoods=30594, foundSolutions=6, bestBound=71
73.90/71.11
73.99/71.23 num=279, depth=6..11, filters=225750, revisions=(270626,useless=40832), ccks=472724987, wck=69.083, mem=139M306
73.99/71.23 decisions=172135, wrong=85268, backtracks=857, failedAssignments=85188, nogoods=30632, foundSolutions=6, bestBound=71
73.99/71.23
74.29/71.50 num=280, depth=2..4, filters=226592, revisions=(271509,useless=40886), ccks=472968907, wck=69.354, mem=139M306
74.29/71.50 decisions=173594, wrong=85996, backtracks=858, failedAssignments=85916, nogoods=30886, foundSolutions=6, bestBound=71
74.29/71.50
74.39/71.67 num=281, depth=3..8, filters=227691, revisions=(272690,useless=40982), ccks=473501167, wck=69.515, mem=141M921
74.39/71.67 decisions=175203, wrong=86798, backtracks=863, failedAssignments=86717, nogoods=31050, foundSolutions=6, bestBound=71
74.39/71.67
74.99/72.26 num=282, depth=0..6, filters=230061, revisions=(275612,useless=41404), ccks=476958482, wck=70.11, mem=147M153
74.99/72.26 decisions=176970, wrong=87679, backtracks=891, failedAssignments=87598, nogoods=31419, foundSolutions=6, bestBound=71
74.99/72.26
75.99/73.25 num=283, depth=0..7, filters=232555, revisions=(278790,useless=42090), ccks=485282599, wck=71.103, mem=152M385
75.99/73.25 decisions=178917, wrong=88649, backtracks=901, failedAssignments=88568, nogoods=31863, foundSolutions=6, bestBound=71
75.99/73.25
76.29/73.51 num=284, depth=0..8, filters=234101, revisions=(280507,useless=42266), ccks=486493467, wck=71.355, mem=155M1
76.29/73.51 decisions=181056, wrong=89716, backtracks=906, failedAssignments=89635, nogoods=32006, foundSolutions=6, bestBound=71
76.29/73.51
76.49/73.72 num=285, depth=4..8, filters=235606, revisions=(282095,useless=42358), ccks=487322952, wck=71.57, mem=155M1
76.49/73.72 decisions=183408, wrong=90889, backtracks=908, failedAssignments=90808, nogoods=32249, foundSolutions=6, bestBound=71
76.49/73.72
76.80/74.06 num=286, depth=3..6, filters=237192, revisions=(283757,useless=42455), ccks=487808411, wck=71.908, mem=155M1
76.80/74.06 decisions=185994, wrong=92180, backtracks=914, failedAssignments=92099, nogoods=32604, foundSolutions=6, bestBound=71
76.80/74.06
84.82/82.09 num=287, depth=0..5, filters=268323, revisions=(321069,useless=48577), ccks=544985030, wck=79.934, mem=71M445
84.82/82.09 decisions=188882, wrong=93622, backtracks=1163, failedAssignments=93519, nogoods=32641, foundSolutions=6, bestBound=71
84.82/82.09
85.41/82.68 num=288, depth=0..10, filters=270903, revisions=(324023,useless=48916), ccks=547893054, wck=80.532, mem=74M64
85.41/82.68 decisions=192016, wrong=95184, backtracks=1173, failedAssignments=95081, nogoods=32771, foundSolutions=6, bestBound=71
85.41/82.68
85.92/83.11 num=289, depth=3..8, filters=273643, revisions=(327148,useless=49313), ccks=549016902, wck=80.956, mem=76M683
85.92/83.11 decisions=195460, wrong=96902, backtracks=1186, failedAssignments=96799, nogoods=33070, foundSolutions=6, bestBound=71
85.92/83.11
88.01/85.26 num=290, depth=0..5, filters=279232, revisions=(333742,useless=50133), ccks=563749998, wck=83.11, mem=84M541
88.01/85.26 decisions=199244, wrong=98793, backtracks=1196, failedAssignments=98689, nogoods=33349, foundSolutions=6, bestBound=71
88.01/85.26
88.82/86.06 num=291, depth=4..9, filters=288577, revisions=(344619,useless=51587), ccks=567772726, wck=83.912, mem=95M18
88.82/86.06 decisions=203414, wrong=100874, backtracks=1218, failedAssignments=100768, nogoods=33761, foundSolutions=6, bestBound=71
88.82/86.06
92.12/89.32 num=292, depth=1..5, filters=298018, revisions=(355944,useless=53279), ccks=589374538, wck=87.171, mem=113M352
92.12/89.32 decisions=207993, wrong=103162, backtracks=1243, failedAssignments=103055, nogoods=33793, foundSolutions=6, bestBound=71
92.12/89.32
92.62/89.81 num=293, depth=3..8, filters=301212, revisions=(359400,useless=53548), ccks=590762938, wck=87.659, mem=113M352
92.62/89.81 decisions=213031, wrong=105678, backtracks=1253, failedAssignments=105571, nogoods=33977, foundSolutions=6, bestBound=71
92.62/89.81
94.83/92.09 num=294, depth=0..9, filters=306251, revisions=(365261,useless=54195), ccks=602986534, wck=89.944, mem=123M829
94.83/92.09 decisions=218576, wrong=108446, backtracks=1260, failedAssignments=108339, nogoods=34217, foundSolutions=6, bestBound=71
94.83/92.09
95.43/92.64 num=295, depth=0..10, filters=309907, revisions=(369124,useless=54437), ccks=603782459, wck=90.491, mem=123M829
95.43/92.64 decisions=224674, wrong=111490, backtracks=1270, failedAssignments=111383, nogoods=34449, foundSolutions=6, bestBound=71
95.43/92.64
96.53/93.78 num=296, depth=1..7, filters=313870, revisions=(373264,useless=54641), ccks=605748001, wck=91.633, mem=126M448
96.53/93.78 decisions=231379, wrong=114839, backtracks=1281, failedAssignments=114732, nogoods=34889, foundSolutions=6, bestBound=71
96.53/93.78
97.43/94.66 num=297, depth=2..8, filters=317931, revisions=(377432,useless=54761), ccks=606563812, wck=92.506, mem=126M448
97.43/94.66 decisions=238752, wrong=118523, backtracks=1288, failedAssignments=118416, nogoods=35262, foundSolutions=6, bestBound=71
97.43/94.66
99.03/96.23 num=298, depth=0..8, filters=323497, revisions=(383525,useless=55275), ccks=613549721, wck=94.078, mem=131M687
99.03/96.23 decisions=246860, wrong=122575, backtracks=1302, failedAssignments=122468, nogoods=35678, foundSolutions=6, bestBound=71
99.03/96.23
102.13/99.31 num=299, depth=1..8, filters=340627, revisions=(403797,useless=58468), ccks=629196534, wck=97.162, mem=155M260
102.13/99.31 decisions=255828, wrong=127057, backtracks=1392, failedAssignments=126925, nogoods=36141, foundSolutions=6, bestBound=71
102.13/99.31
103.03/100.27 num=300, depth=1..10, filters=349029, revisions=(413236,useless=59575), ccks=632227036, wck=98.115, mem=157M879
103.03/100.27 decisions=265647, wrong=131962, backtracks=1441, failedAssignments=131828, nogoods=36277, foundSolutions=6, bestBound=71
103.03/100.27
108.56/105.73 num=301, depth=1..11, filters=368810, revisions=(437282,useless=63263), ccks=670069338, wck=103.583, mem=55M794
108.56/105.73 decisions=276473, wrong=137370, backtracks=1494, failedAssignments=137222, nogoods=36404, foundSolutions=6, bestBound=71
108.56/105.73
117.46/114.61 num=302, depth=0..8, filters=397763, revisions=(472074,useless=67734), ccks=728295229, wck=112.463, mem=104M921
117.46/114.61 decisions=288367, wrong=143316, backtracks=1725, failedAssignments=143155, nogoods=36515, foundSolutions=6, bestBound=71
117.46/114.61
119.46/116.65 num=303, depth=0..11, filters=408645, revisions=(484406,useless=68987), ccks=736608233, wck=114.501, mem=115M264
119.46/116.65 decisions=301426, wrong=149842, backtracks=1794, failedAssignments=149681, nogoods=36614, foundSolutions=6, bestBound=71
119.46/116.65
122.97/120.13 num=304, depth=3..12, filters=437815, revisions=(520423,useless=75698), ccks=754562244, wck=117.976, mem=151M463
122.97/120.13 decisions=315814, wrong=157033, backtracks=1993, failedAssignments=156860, nogoods=37055, foundSolutions=6, bestBound=71
122.97/120.13
125.79/122.93 num=305, depth=1..9, filters=460527, revisions=(546728,useless=79435), ccks=768741209, wck=120.779, mem=37M647
125.79/122.93 decisions=331684, wrong=164964, backtracks=2083, failedAssignments=164757, nogoods=37363, foundSolutions=6, bestBound=71
125.79/122.93
130.00/127.13 num=306, depth=0..11, filters=476903, revisions=(565516,useless=81517), ccks=794068712, wck=124.981, mem=58M39
130.00/127.13 decisions=349072, wrong=173655, backtracks=2192, failedAssignments=173444, nogoods=37728, foundSolutions=6, bestBound=71
130.00/127.13
132.09/129.25 o 68
132.09/129.25 num=307, depth=0..54, filters=491432, revisions=(582706,useless=84105), ccks=804571014, wck=127.102, mem=73M335
132.09/129.25 decisions=358675, wrong=178452, backtracks=2275, failedAssignments=178212, nogoods=37817, foundSolutions=7, bestBound=68
132.09/129.25
133.40/130.51 o 66
133.40/130.51 num=308, depth=1..54, filters=505732, revisions=(598663,useless=85852), ccks=808967998, wck=128.361, mem=78M433
133.40/130.51 decisions=368842, wrong=183528, backtracks=2306, failedAssignments=183269, nogoods=37935, foundSolutions=8, bestBound=66
133.40/130.51
133.50/130.62 num=309, depth=0..5, filters=506116, revisions=(599109,useless=85917), ccks=809962978, wck=128.473, mem=80M982
133.50/130.62 decisions=368869, wrong=183539, backtracks=2307, failedAssignments=183280, nogoods=37943, foundSolutions=8, bestBound=66
133.50/130.62
133.60/130.76 num=310, depth=1..3, filters=506464, revisions=(599590,useless=85997), ccks=811039684, wck=128.614, mem=80M982
133.60/130.76 decisions=368896, wrong=183552, backtracks=2311, failedAssignments=183291, nogoods=37946, foundSolutions=8, bestBound=66
133.60/130.76
133.70/130.84 num=311, depth=4..5, filters=506884, revisions=(600088,useless=86080), ccks=811651074, wck=128.689, mem=80M982
133.70/130.84 decisions=368926, wrong=183565, backtracks=2312, failedAssignments=183303, nogoods=37951, foundSolutions=8, bestBound=66
133.70/130.84
133.80/130.99 num=312, depth=1..3, filters=507294, revisions=(600659,useless=86205), ccks=812777682, wck=128.838, mem=83M531
133.80/130.99 decisions=368956, wrong=183579, backtracks=2317, failedAssignments=183316, nogoods=37957, foundSolutions=8, bestBound=66
133.80/130.99
133.92/131.07 num=313, depth=3..6, filters=507684, revisions=(601150,useless=86308), ccks=813471457, wck=128.92, mem=83M531
133.92/131.07 decisions=368988, wrong=183593, backtracks=2321, failedAssignments=183330, nogoods=37962, foundSolutions=8, bestBound=66
133.92/131.07
134.11/131.25 num=314, depth=0..3, filters=508109, revisions=(601720,useless=86399), ccks=814932807, wck=129.101, mem=83M531
134.11/131.25 decisions=369028, wrong=183612, backtracks=2325, failedAssignments=183346, nogoods=37971, foundSolutions=8, bestBound=66
134.11/131.25
134.21/131.34 num=315, depth=4..5, filters=508736, revisions=(602515,useless=86570), ccks=815609463, wck=129.188, mem=86M80
134.21/131.34 decisions=369067, wrong=183629, backtracks=2327, failedAssignments=183363, nogoods=37981, foundSolutions=8, bestBound=66
134.21/131.34
134.31/131.48 num=316, depth=1..5, filters=509160, revisions=(603121,useless=86712), ccks=816871083, wck=129.333, mem=86M80
134.31/131.48 decisions=369114, wrong=183651, backtracks=2331, failedAssignments=183382, nogoods=37997, foundSolutions=8, bestBound=66
134.31/131.48
134.61/131.73 num=317, depth=0..3, filters=509864, revisions=(604124,useless=86928), ccks=818650797, wck=129.583, mem=88M629
134.61/131.73 decisions=369170, wrong=183678, backtracks=2342, failedAssignments=183403, nogoods=38004, foundSolutions=8, bestBound=66
134.61/131.73
134.71/131.83 num=318, depth=4..5, filters=510721, revisions=(605157,useless=87121), ccks=819391862, wck=129.682, mem=88M629
134.71/131.83 decisions=369228, wrong=183705, backtracks=2347, failedAssignments=183426, nogoods=38021, foundSolutions=8, bestBound=66
134.71/131.83
134.92/132.03 num=319, depth=0..5, filters=511276, revisions=(605917,useless=87304), ccks=820961397, wck=129.875, mem=91M178
134.92/132.03 decisions=369283, wrong=183730, backtracks=2357, failedAssignments=183451, nogoods=38024, foundSolutions=8, bestBound=66
134.92/132.03
135.11/132.23 num=320, depth=1..3, filters=512163, revisions=(607153,useless=87615), ccks=822032226, wck=130.082, mem=93M727
135.11/132.23 decisions=369345, wrong=183760, backtracks=2369, failedAssignments=183479, nogoods=38037, foundSolutions=8, bestBound=66
135.11/132.23
135.21/132.31 num=321, depth=3..7, filters=512552, revisions=(607642,useless=87718), ccks=822607995, wck=130.155, mem=93M727
135.21/132.31 decisions=369416, wrong=183792, backtracks=2370, failedAssignments=183510, nogoods=38067, foundSolutions=8, bestBound=66
135.21/132.31
135.21/132.39 num=322, depth=2..6, filters=512937, revisions=(608145,useless=87844), ccks=823234925, wck=130.234, mem=93M727
135.21/132.39 decisions=369489, wrong=183826, backtracks=2370, failedAssignments=183544, nogoods=38101, foundSolutions=8, bestBound=66
135.21/132.39
135.31/132.49 num=323, depth=2..7, filters=513503, revisions=(608860,useless=87995), ccks=824073760, wck=130.334, mem=93M727
135.31/132.49 decisions=369568, wrong=183863, backtracks=2372, failedAssignments=183581, nogoods=38127, foundSolutions=8, bestBound=66
135.31/132.49
135.71/132.89 num=324, depth=1..1, filters=514315, revisions=(609923,useless=88146), ccks=827826604, wck=130.74, mem=98M825
135.71/132.89 decisions=369651, wrong=183904, backtracks=2372, failedAssignments=183622, nogoods=38168, foundSolutions=8, bestBound=66
135.71/132.89
135.81/132.95 num=325, depth=7..7, filters=514523, revisions=(610188,useless=88204), ccks=828328627, wck=130.802, mem=98M825
135.81/132.95 decisions=369748, wrong=183949, backtracks=2372, failedAssignments=183667, nogoods=38213, foundSolutions=8, bestBound=66
135.81/132.95
136.02/133.16 num=326, depth=1..7, filters=516376, revisions=(612467,useless=88647), ccks=830044118, wck=131.009, mem=98M825
136.02/133.16 decisions=369868, wrong=184006, backtracks=2383, failedAssignments=183717, nogoods=38230, foundSolutions=8, bestBound=66
136.02/133.16
136.11/133.29 num=327, depth=1..5, filters=516989, revisions=(613290,useless=88848), ccks=830911472, wck=131.135, mem=101M374
136.11/133.29 decisions=369981, wrong=184061, backtracks=2388, failedAssignments=183772, nogoods=38270, foundSolutions=8, bestBound=66
136.11/133.29
136.21/133.35 num=328, depth=3..8, filters=517205, revisions=(613573,useless=88910), ccks=831357271, wck=131.194, mem=101M374
136.21/133.35 decisions=370111, wrong=184122, backtracks=2388, failedAssignments=183833, nogoods=38331, foundSolutions=8, bestBound=66
136.21/133.35
136.41/133.55 num=329, depth=3..6, filters=518616, revisions=(615517,useless=89442), ccks=832789774, wck=131.395, mem=103M923
136.41/133.55 decisions=370250, wrong=184189, backtracks=2401, failedAssignments=183900, nogoods=38354, foundSolutions=8, bestBound=66
136.41/133.55
136.92/134.04 num=330, depth=0..7, filters=520461, revisions=(617962,useless=89938), ccks=836574717, wck=131.884, mem=109M21
136.92/134.04 decisions=370413, wrong=184269, backtracks=2420, failedAssignments=183974, nogoods=38370, foundSolutions=8, bestBound=66
136.92/134.04
137.31/134.41 num=331, depth=0..5, filters=521829, revisions=(619850,useless=90404), ccks=839054564, wck=132.262, mem=111M570
137.31/134.41 decisions=370586, wrong=184353, backtracks=2436, failedAssignments=184055, nogoods=38405, foundSolutions=8, bestBound=66
137.31/134.41
137.61/134.74 num=332, depth=1..6, filters=523646, revisions=(622134,useless=90865), ccks=841724984, wck=132.587, mem=116M668
137.61/134.74 decisions=370792, wrong=184454, backtracks=2451, failedAssignments=184144, nogoods=38429, foundSolutions=8, bestBound=66
137.61/134.74
137.71/134.83 num=333, depth=2..3, filters=523960, revisions=(622514,useless=90909), ccks=842068701, wck=132.674, mem=116M668
137.71/134.83 decisions=370990, wrong=184552, backtracks=2451, failedAssignments=184242, nogoods=38527, foundSolutions=8, bestBound=66
137.71/134.83
137.81/134.90 num=334, depth=3..6, filters=524313, revisions=(622957,useless=90998), ccks=842530566, wck=132.752, mem=116M668
137.81/134.90 decisions=371212, wrong=184660, backtracks=2452, failedAssignments=184350, nogoods=38634, foundSolutions=8, bestBound=66
137.81/134.90
138.02/135.19 num=335, depth=1..9, filters=527038, revisions=(626224,useless=91562), ccks=844861763, wck=133.044, mem=119M217
138.02/135.19 decisions=371474, wrong=184787, backtracks=2465, failedAssignments=184469, nogoods=38671, foundSolutions=8, bestBound=66
138.02/135.19
139.31/136.46 num=336, depth=1..4, filters=530011, revisions=(629950,useless=92093), ccks=855534865, wck=134.31, mem=126M864
139.31/136.46 decisions=371743, wrong=184921, backtracks=2488, failedAssignments=184600, nogoods=38691, foundSolutions=8, bestBound=66
139.31/136.46
139.61/136.70 num=337, depth=0..6, filters=530782, revisions=(631021,useless=92342), ccks=857345747, wck=134.553, mem=129M413
139.61/136.70 decisions=372035, wrong=185065, backtracks=2497, failedAssignments=184744, nogoods=38811, foundSolutions=8, bestBound=66
139.61/136.70
139.61/136.78 num=338, depth=2..6, filters=531109, revisions=(631405,useless=92404), ccks=857702212, wck=134.624, mem=129M413
139.61/136.78 decisions=372357, wrong=185223, backtracks=2497, failedAssignments=184902, nogoods=38969, foundSolutions=8, bestBound=66
139.61/136.78
140.03/137.14 num=339, depth=1..7, filters=534012, revisions=(635378,useless=93524), ccks=860133130, wck=134.986, mem=134M511
140.03/137.14 decisions=372713, wrong=185398, backtracks=2532, failedAssignments=185076, nogoods=39045, foundSolutions=8, bestBound=66
140.03/137.14
140.52/137.67 num=340, depth=2..6, filters=538069, revisions=(640529,useless=94556), ccks=864138904, wck=135.518, mem=142M158
140.52/137.67 decisions=373118, wrong=185598, backtracks=2551, failedAssignments=185267, nogoods=39087, foundSolutions=8, bestBound=66
140.52/137.67
141.02/138.17 num=341, depth=0..7, filters=539447, revisions=(642480,useless=95036), ccks=867878588, wck=136.015, mem=144M707
141.02/138.17 decisions=373553, wrong=185812, backtracks=2569, failedAssignments=185478, nogoods=39254, foundSolutions=8, bestBound=66
141.02/138.17
141.12/138.28 num=342, depth=1..7, filters=539896, revisions=(643005,useless=95114), ccks=868643155, wck=136.124, mem=144M707
141.12/138.28 decisions=374024, wrong=186044, backtracks=2570, failedAssignments=185710, nogoods=39485, foundSolutions=8, bestBound=66
141.12/138.28
141.82/138.98 num=343, depth=0..5, filters=542111, revisions=(645857,useless=95672), ccks=874556728, wck=136.832, mem=152M355
141.82/138.98 decisions=374542, wrong=186301, backtracks=2583, failedAssignments=185965, nogoods=39664, foundSolutions=8, bestBound=66
141.82/138.98
142.95/140.10 num=344, depth=1..6, filters=547088, revisions=(652320,useless=97268), ccks=882488454, wck=137.954, mem=35M310
142.95/140.10 decisions=375110, wrong=186583, backtracks=2615, failedAssignments=186246, nogoods=39706, foundSolutions=8, bestBound=66
142.95/140.10
143.64/140.75 num=345, depth=0..7, filters=549312, revisions=(655345,useless=97916), ccks=887183981, wck=138.598, mem=40M331
143.64/140.75 decisions=375743, wrong=186896, backtracks=2632, failedAssignments=186555, nogoods=39928, foundSolutions=8, bestBound=66
143.64/140.75
143.74/140.89 num=346, depth=2..6, filters=549984, revisions=(656108,useless=98009), ccks=887960957, wck=138.739, mem=40M331
143.74/140.89 decisions=376428, wrong=187236, backtracks=2632, failedAssignments=186895, nogoods=40268, foundSolutions=8, bestBound=66
143.74/140.89
143.95/141.02 num=347, depth=5..7, filters=550966, revisions=(657263,useless=98182), ccks=888768704, wck=138.873, mem=40M331
143.95/141.02 decisions=377185, wrong=187611, backtracks=2636, failedAssignments=187269, nogoods=40633, foundSolutions=8, bestBound=66
143.95/141.02
144.65/141.73 num=348, depth=2..6, filters=554385, revisions=(661266,useless=98647), ccks=893913428, wck=139.578, mem=47M863
144.65/141.73 decisions=378018, wrong=188025, backtracks=2645, failedAssignments=187680, nogoods=40927, foundSolutions=8, bestBound=66
144.65/141.73
144.96/142.10 num=349, depth=2..8, filters=556485, revisions=(663916,useless=99194), ccks=896468848, wck=139.945, mem=50M373
144.96/142.10 decisions=378928, wrong=188477, backtracks=2657, failedAssignments=188132, nogoods=41332, foundSolutions=8, bestBound=66
144.96/142.10
145.55/142.68 num=350, depth=0..6, filters=558191, revisions=(666019,useless=99504), ccks=901045405, wck=140.531, mem=55M394
145.55/142.68 decisions=379930, wrong=188975, backtracks=2663, failedAssignments=188629, nogoods=41779, foundSolutions=8, bestBound=66
145.55/142.68
145.75/142.81 num=351, depth=2..6, filters=558909, revisions=(666781,useless=99555), ccks=901395494, wck=140.661, mem=55M394
145.75/142.81 decisions=381029, wrong=189522, backtracks=2664, failedAssignments=189176, nogoods=41863, foundSolutions=8, bestBound=66
145.75/142.81
146.06/143.11 num=352, depth=2..6, filters=560864, revisions=(669167,useless=100043), ccks=902829022, wck=140.958, mem=57M905
146.06/143.11 decisions=382247, wrong=190129, backtracks=2683, failedAssignments=189778, nogoods=41969, foundSolutions=8, bestBound=66
146.06/143.11
146.25/143.37 num=353, depth=1..8, filters=562762, revisions=(671431,useless=100419), ccks=904668362, wck=141.221, mem=60M415
146.25/143.37 decisions=383582, wrong=190793, backtracks=2692, failedAssignments=190440, nogoods=42156, foundSolutions=8, bestBound=66
146.25/143.37
147.25/144.37 num=354, depth=1..7, filters=570752, revisions=(681410,useless=102378), ccks=912435578, wck=142.222, mem=67M947
147.25/144.37 decisions=385078, wrong=191538, backtracks=2719, failedAssignments=191168, nogoods=42612, foundSolutions=8, bestBound=66
147.25/144.37
149.85/146.92 num=355, depth=1..6, filters=579137, revisions=(691851,useless=103825), ccks=931121811, wck=144.773, mem=88M31
149.85/146.92 decisions=386695, wrong=192344, backtracks=2757, failedAssignments=191969, nogoods=43050, foundSolutions=8, bestBound=66
149.85/146.92
150.06/147.12 num=356, depth=1..7, filters=580242, revisions=(693027,useless=103899), ccks=931848507, wck=144.967, mem=88M31
150.06/147.12 decisions=388463, wrong=193225, backtracks=2759, failedAssignments=192850, nogoods=43470, foundSolutions=8, bestBound=66
150.06/147.12
152.85/149.97 num=357, depth=1..6, filters=590020, revisions=(705528,useless=106743), ccks=951792662, wck=147.823, mem=105M604
152.85/149.97 decisions=390420, wrong=194202, backtracks=2851, failedAssignments=193820, nogoods=43880, foundSolutions=8, bestBound=66
152.85/149.97
153.15/150.24 num=358, depth=2..9, filters=591461, revisions=(707057,useless=106845), ccks=952306079, wck=148.09, mem=105M604
153.15/150.24 decisions=392565, wrong=195270, backtracks=2859, failedAssignments=194887, nogoods=44089, foundSolutions=8, bestBound=66
153.15/150.24
153.96/151.09 num=359, depth=0..7, filters=594890, revisions=(711328,useless=107587), ccks=958155571, wck=148.941, mem=113M136
153.96/151.09 decisions=394916, wrong=196443, backtracks=2876, failedAssignments=196060, nogoods=44227, foundSolutions=8, bestBound=66
153.96/151.09
154.85/151.97 num=360, depth=1..6, filters=598642, revisions=(715756,useless=108203), ccks=962751104, wck=149.82, mem=118M157
154.85/151.97 decisions=397504, wrong=197735, backtracks=2896, failedAssignments=197351, nogoods=44466, foundSolutions=8, bestBound=66
154.85/151.97
155.06/152.17 num=361, depth=2..9, filters=600329, revisions=(717524,useless=108297), ccks=963401886, wck=150.022, mem=118M157
155.06/152.17 decisions=400349, wrong=199155, backtracks=2901, failedAssignments=198771, nogoods=44491, foundSolutions=8, bestBound=66
155.06/152.17
160.28/157.35 num=362, depth=0..5, filters=616831, revisions=(738335,useless=112083), ccks=1000958640, wck=155.196, mem=30M806
160.28/157.35 decisions=403509, wrong=200733, backtracks=3003, failedAssignments=200333, nogoods=44814, foundSolutions=8, bestBound=66
160.28/157.35
160.99/158.08 num=363, depth=1..7, filters=622000, revisions=(744303,useless=112947), ccks=1004557989, wck=155.931, mem=35M748
160.99/158.08 decisions=406975, wrong=202463, backtracks=3031, failedAssignments=202051, nogoods=45018, foundSolutions=8, bestBound=66
160.99/158.08
161.68/158.73 num=364, depth=1..8, filters=626547, revisions=(749658,useless=113767), ccks=1007304499, wck=156.583, mem=38M219
161.68/158.73 decisions=410769, wrong=204357, backtracks=3050, failedAssignments=203941, nogoods=45441, foundSolutions=8, bestBound=66
161.68/158.73
162.18/159.20 num=365, depth=4..11, filters=630267, revisions=(753854,useless=114287), ccks=1009087073, wck=157.053, mem=43M160
162.18/159.20 decisions=414941, wrong=206439, backtracks=3064, failedAssignments=206020, nogoods=45615, foundSolutions=8, bestBound=66
162.18/159.20
162.88/159.93 num=366, depth=1..10, filters=634143, revisions=(758401,useless=114893), ccks=1011604503, wck=157.779, mem=45M631
162.88/159.93 decisions=419529, wrong=208728, backtracks=3089, failedAssignments=208307, nogoods=45985, foundSolutions=8, bestBound=66
162.88/159.93
164.68/161.79 num=367, depth=0..9, filters=641856, revisions=(768062,useless=116444), ccks=1024579143, wck=159.634, mem=60M455
164.68/161.79 decisions=424591, wrong=211256, backtracks=3149, failedAssignments=210823, nogoods=46424, foundSolutions=8, bestBound=66
164.68/161.79
165.68/162.76 num=368, depth=1..6, filters=645213, revisions=(771652,useless=116696), ccks=1025379744, wck=160.607, mem=62M926
165.68/162.76 decisions=430132, wrong=214024, backtracks=3170, failedAssignments=213591, nogoods=46787, foundSolutions=8, bestBound=66
165.68/162.76
167.09/164.13 num=369, depth=1..7, filters=650153, revisions=(777422,useless=117384), ccks=1029451411, wck=161.981, mem=67M868
167.09/164.13 decisions=436227, wrong=217069, backtracks=3204, failedAssignments=216635, nogoods=46891, foundSolutions=8, bestBound=66
167.09/164.13
169.38/166.49 num=370, depth=1..7, filters=661104, revisions=(790979,useless=119858), ccks=1040718525, wck=164.339, mem=82M692
169.38/166.49 decisions=442940, wrong=220423, backtracks=3241, failedAssignments=219984, nogoods=47086, foundSolutions=8, bestBound=66
169.38/166.49
171.38/168.46 num=371, depth=0..6, filters=666077, revisions=(796406,useless=120182), ccks=1047689557, wck=166.313, mem=87M634
171.38/168.46 decisions=450315, wrong=224108, backtracks=3256, failedAssignments=223668, nogoods=47341, foundSolutions=8, bestBound=66
171.38/168.46
172.88/169.94 num=372, depth=1..7, filters=673438, revisions=(805094,useless=121419), ccks=1052690781, wck=167.788, mem=95M46
172.88/169.94 decisions=458433, wrong=228164, backtracks=3313, failedAssignments=227720, nogoods=47480, foundSolutions=8, bestBound=66
172.88/169.94
174.48/171.53 num=373, depth=0..9, filters=681221, revisions=(814093,useless=122546), ccks=1057061031, wck=169.377, mem=104M929
174.48/171.53 decisions=467388, wrong=232638, backtracks=3368, failedAssignments=232177, nogoods=47546, foundSolutions=8, bestBound=66
174.48/171.53
177.78/174.86 num=374, depth=0..6, filters=691370, revisions=(826332,useless=124195), ccks=1072400268, wck=172.709, mem=117M283
177.78/174.86 decisions=477207, wrong=237546, backtracks=3462, failedAssignments=237080, nogoods=47991, foundSolutions=8, bestBound=66
177.78/174.86
180.28/177.31 num=375, depth=0..11, filters=698878, revisions=(834593,useless=124977), ccks=1080791710, wck=175.154, mem=124M695
180.28/177.31 decisions=488008, wrong=242941, backtracks=3487, failedAssignments=242474, nogoods=48468, foundSolutions=8, bestBound=66
180.28/177.31
184.88/181.99 num=376, depth=0..7, filters=715627, revisions=(854634,useless=127731), ccks=1103926576, wck=179.835, mem=151M873
184.88/181.99 decisions=499893, wrong=248881, backtracks=3603, failedAssignments=248407, nogoods=48545, foundSolutions=8, bestBound=66
184.88/181.99
187.12/184.12 num=377, depth=1..11, filters=724022, revisions=(863710,useless=128331), ccks=1108645256, wck=181.972, mem=33M622
187.12/184.12 decisions=512956, wrong=255408, backtracks=3637, failedAssignments=254933, nogoods=48806, foundSolutions=8, bestBound=66
187.12/184.12
187.31/184.30 o 65
187.31/184.30 num=378, depth=1..54, filters=725095, revisions=(864969,useless=128533), ccks=1109682628, wck=182.149, mem=33M622
187.31/184.30 decisions=514096, wrong=255971, backtracks=3641, failedAssignments=255496, nogoods=48906, foundSolutions=9, bestBound=65
187.31/184.30
195.42/192.48 num=379, depth=1..8, filters=769077, revisions=(920002,useless=139047), ccks=1155967992, wck=190.326, mem=99M238
195.42/192.48 decisions=529921, wrong=263881, backtracks=3749, failedAssignments=263393, nogoods=49410, foundSolutions=9, bestBound=65
195.42/192.48
195.52/192.60 num=380, depth=2..3, filters=769399, revisions=(920463,useless=139152), ccks=1156833745, wck=190.444, mem=99M238
195.52/192.60 decisions=529945, wrong=263892, backtracks=3754, failedAssignments=263404, nogoods=49415, foundSolutions=9, bestBound=65
195.52/192.60
195.62/192.68 num=381, depth=2..4, filters=769667, revisions=(920825,useless=139241), ccks=1157498743, wck=190.527, mem=99M238
195.62/192.68 decisions=529972, wrong=263904, backtracks=3756, failedAssignments=263416, nogoods=49421, foundSolutions=9, bestBound=65
195.62/192.68
195.72/192.78 num=382, depth=1..3, filters=770078, revisions=(921402,useless=139333), ccks=1158248464, wck=190.633, mem=101M668
195.72/192.78 decisions=530002, wrong=263918, backtracks=3759, failedAssignments=263429, nogoods=49428, foundSolutions=9, bestBound=65
195.72/192.78
195.82/192.85 num=383, depth=4..5, filters=770428, revisions=(921844,useless=139433), ccks=1158794302, wck=190.699, mem=101M668
195.82/192.85 decisions=530034, wrong=263932, backtracks=3760, failedAssignments=263443, nogoods=49439, foundSolutions=9, bestBound=65
195.82/192.85
195.92/192.95 num=384, depth=1..2, filters=770756, revisions=(922320,useless=139530), ccks=1159487305, wck=190.802, mem=104M612
195.92/192.95 decisions=530072, wrong=263950, backtracks=3764, failedAssignments=263459, nogoods=49444, foundSolutions=9, bestBound=65
195.92/192.95
196.03/193.08 num=385, depth=2..4, filters=771135, revisions=(922838,useless=139647), ccks=1160579617, wck=190.934, mem=104M612
196.03/193.08 decisions=530108, wrong=263967, backtracks=3768, failedAssignments=263476, nogoods=49454, foundSolutions=9, bestBound=65
196.03/193.08
196.13/193.18 num=386, depth=3..4, filters=771552, revisions=(923360,useless=139757), ccks=1161344656, wck=191.027, mem=104M612
196.13/193.18 decisions=530150, wrong=263986, backtracks=3769, failedAssignments=263495, nogoods=49465, foundSolutions=9, bestBound=65
196.13/193.18
196.32/193.38 num=387, depth=0..3, filters=772152, revisions=(924253,useless=139963), ccks=1162720878, wck=191.228, mem=107M42
196.32/193.38 decisions=530200, wrong=264010, backtracks=3781, failedAssignments=263516, nogoods=49466, foundSolutions=9, bestBound=65
196.32/193.38
196.52/193.57 num=388, depth=1..4, filters=772795, revisions=(925136,useless=140163), ccks=1164054470, wck=191.418, mem=109M472
196.52/193.57 decisions=530252, wrong=264034, backtracks=3789, failedAssignments=263539, nogoods=49475, foundSolutions=9, bestBound=65
196.52/193.57
196.72/193.74 num=389, depth=1..3, filters=773446, revisions=(926057,useless=140359), ccks=1165120870, wck=191.59, mem=109M472
196.72/193.74 decisions=530308, wrong=264061, backtracks=3796, failedAssignments=263564, nogoods=49482, foundSolutions=9, bestBound=65
196.72/193.74
196.82/193.84 num=390, depth=2..5, filters=773821, revisions=(926554,useless=140475), ccks=1165880275, wck=191.688, mem=111M903
196.82/193.84 decisions=530369, wrong=264089, backtracks=3799, failedAssignments=263592, nogoods=49500, foundSolutions=9, bestBound=65
196.82/193.84
196.92/193.93 num=391, depth=1..6, filters=774062, revisions=(926875,useless=140546), ccks=1166588827, wck=191.778, mem=111M903
196.92/193.93 decisions=530437, wrong=264120, backtracks=3801, failedAssignments=263623, nogoods=49525, foundSolutions=9, bestBound=65
196.92/193.93
197.03/194.02 num=392, depth=2..6, filters=774388, revisions=(927342,useless=140650), ccks=1167190565, wck=191.871, mem=111M903
197.03/194.02 decisions=530511, wrong=264154, backtracks=3803, failedAssignments=263657, nogoods=49556, foundSolutions=9, bestBound=65
197.03/194.02
197.13/194.19 num=393, depth=2..6, filters=775064, revisions=(928274,useless=140834), ccks=1168287150, wck=192.04, mem=114M333
197.13/194.19 decisions=530593, wrong=264192, backtracks=3808, failedAssignments=263694, nogoods=49582, foundSolutions=9, bestBound=65
197.13/194.19
197.32/194.35 num=394, depth=1..6, filters=775492, revisions=(928884,useless=140971), ccks=1169512803, wck=192.199, mem=114M333
197.32/194.35 decisions=530681, wrong=264233, backtracks=3813, failedAssignments=263735, nogoods=49615, foundSolutions=9, bestBound=65
197.32/194.35
197.72/194.75 num=395, depth=1..5, filters=776787, revisions=(930742,useless=141353), ccks=1172438829, wck=192.6, mem=119M193
197.72/194.75 decisions=530796, wrong=264288, backtracks=3830, failedAssignments=263780, nogoods=49619, foundSolutions=9, bestBound=65
197.72/194.75
198.03/195.07 num=396, depth=1..3, filters=778116, revisions=(932676,useless=141771), ccks=1174514601, wck=192.922, mem=121M623
198.03/195.07 decisions=530906, wrong=264342, backtracks=3845, failedAssignments=263830, nogoods=49629, foundSolutions=9, bestBound=65
198.03/195.07
198.22/195.29 num=397, depth=3..5, filters=779195, revisions=(934078,useless=142068), ccks=1176194639, wck=193.135, mem=124M54
198.22/195.29 decisions=531024, wrong=264399, backtracks=3853, failedAssignments=263885, nogoods=49653, foundSolutions=9, bestBound=65
198.22/195.29
198.42/195.47 num=398, depth=0..5, filters=779809, revisions=(934962,useless=142247), ccks=1177440952, wck=193.317, mem=126M484
198.42/195.47 decisions=531159, wrong=264464, backtracks=3860, failedAssignments=263946, nogoods=49694, foundSolutions=9, bestBound=65
198.42/195.47
198.62/195.63 num=399, depth=2..6, filters=780421, revisions=(935817,useless=142437), ccks=1178613718, wck=193.478, mem=126M484
198.62/195.63 decisions=531300, wrong=264532, backtracks=3864, failedAssignments=264013, nogoods=49751, foundSolutions=9, bestBound=65
198.62/195.63
199.03/196.10 num=400, depth=2..4, filters=782185, revisions=(938313,useless=142995), ccks=1181774387, wck=193.946, mem=131M344
199.03/196.10 decisions=531456, wrong=264608, backtracks=3880, failedAssignments=264087, nogoods=49767, foundSolutions=9, bestBound=65
199.03/196.10
199.32/196.31 num=401, depth=1..5, filters=782858, revisions=(939232,useless=143175), ccks=1183312180, wck=194.161, mem=131M344
199.32/196.31 decisions=531624, wrong=264690, backtracks=3886, failedAssignments=264168, nogoods=49838, foundSolutions=9, bestBound=65
199.32/196.31
199.32/196.37 num=402, depth=6..6, filters=783084, revisions=(939519,useless=143219), ccks=1183646150, wck=194.22, mem=133M775
199.32/196.37 decisions=531808, wrong=264779, backtracks=3886, failedAssignments=264257, nogoods=49927, foundSolutions=9, bestBound=65
199.32/196.37
199.42/196.49 num=403, depth=2..8, filters=783579, revisions=(940185,useless=143347), ccks=1184375297, wck=194.341, mem=133M775
199.42/196.49 decisions=532012, wrong=264877, backtracks=3889, failedAssignments=264355, nogoods=50019, foundSolutions=9, bestBound=65
199.42/196.49
199.52/196.58 num=404, depth=1..7, filters=783849, revisions=(940517,useless=143408), ccks=1184950620, wck=194.431, mem=133M775
199.52/196.58 decisions=532235, wrong=264985, backtracks=3890, failedAssignments=264463, nogoods=50126, foundSolutions=9, bestBound=65
199.52/196.58
199.62/196.64 num=405, depth=6..6, filters=784105, revisions=(940834,useless=143452), ccks=1185282128, wck=194.493, mem=133M775
199.62/196.64 decisions=532479, wrong=265104, backtracks=3890, failedAssignments=264582, nogoods=50245, foundSolutions=9, bestBound=65
199.62/196.64
199.82/196.81 num=406, depth=1..6, filters=784653, revisions=(941586,useless=143594), ccks=1186412520, wck=194.663, mem=136M205
199.82/196.81 decisions=532747, wrong=265235, backtracks=3895, failedAssignments=264713, nogoods=50364, foundSolutions=9, bestBound=65
199.82/196.81
199.82/196.88 num=407, depth=6..6, filters=784934, revisions=(941928,useless=143638), ccks=1186746527, wck=194.728, mem=136M205
199.82/196.88 decisions=533041, wrong=265379, backtracks=3895, failedAssignments=264857, nogoods=50508, foundSolutions=9, bestBound=65
199.82/196.88
200.32/197.33 num=408, depth=2..6, filters=786970, revisions=(944647,useless=144210), ccks=1189486082, wck=195.178, mem=141M65
200.32/197.33 decisions=533368, wrong=265540, backtracks=3917, failedAssignments=265015, nogoods=50613, foundSolutions=9, bestBound=65
200.32/197.33
200.42/197.41 num=409, depth=5..6, filters=787294, revisions=(945030,useless=144253), ccks=1189815811, wck=195.256, mem=141M65
200.42/197.41 decisions=533721, wrong=265714, backtracks=3918, failedAssignments=265189, nogoods=50723, foundSolutions=9, bestBound=65
200.42/197.41
201.22/198.23 num=410, depth=1..6, filters=790335, revisions=(949283,useless=145126), ccks=1195587258, wck=196.083, mem=148M356
201.22/198.23 decisions=534117, wrong=265909, backtracks=3947, failedAssignments=265380, nogoods=50805, foundSolutions=9, bestBound=65
201.22/198.23
201.32/198.38 num=411, depth=2..6, filters=790872, revisions=(949963,useless=145215), ccks=1196453415, wck=196.231, mem=148M356
201.32/198.38 decisions=534544, wrong=266120, backtracks=3949, failedAssignments=265591, nogoods=51013, foundSolutions=9, bestBound=65
201.32/198.38
201.42/198.46 num=412, depth=5..6, filters=791273, revisions=(950428,useless=145263), ccks=1196793124, wck=196.311, mem=148M356
201.42/198.46 decisions=535014, wrong=266352, backtracks=3949, failedAssignments=265823, nogoods=51245, foundSolutions=9, bestBound=65
201.42/198.46
202.34/199.31 num=413, depth=2..6, filters=795220, revisions=(955650,useless=146366), ccks=1201937796, wck=197.155, mem=33M902
202.34/199.31 decisions=535550, wrong=266617, backtracks=3987, failedAssignments=266078, nogoods=51356, foundSolutions=9, bestBound=65
202.34/199.31
202.44/199.40 num=414, depth=5..6, filters=795651, revisions=(956145,useless=146415), ccks=1202267744, wck=197.249, mem=33M902
202.44/199.40 decisions=536117, wrong=266898, backtracks=3988, failedAssignments=266359, nogoods=51500, foundSolutions=9, bestBound=65
202.44/199.40
202.64/199.60 num=415, depth=2..6, filters=796597, revisions=(957330,useless=146585), ccks=1203273423, wck=197.45, mem=36M287
202.64/199.60 decisions=536746, wrong=267210, backtracks=3994, failedAssignments=266668, nogoods=51795, foundSolutions=9, bestBound=65
202.64/199.60
202.74/199.73 num=416, depth=4..5, filters=797070, revisions=(957853,useless=146621), ccks=1203599531, wck=197.575, mem=36M287
202.74/199.73 decisions=537430, wrong=267550, backtracks=3995, failedAssignments=267008, nogoods=51911, foundSolutions=9, bestBound=65
202.74/199.73
202.94/199.97 num=417, depth=2..5, filters=798080, revisions=(959068,useless=146761), ccks=1204611619, wck=197.817, mem=38M673
202.94/199.97 decisions=538184, wrong=267925, backtracks=4000, failedAssignments=267382, nogoods=52087, foundSolutions=9, bestBound=65
202.94/199.97
203.84/200.83 num=418, depth=1..7, filters=803221, revisions=(965860,useless=148412), ccks=1210504881, wck=198.679, mem=48M215
203.84/200.83 decisions=539024, wrong=268342, backtracks=4053, failedAssignments=267793, nogoods=52290, foundSolutions=9, bestBound=65
203.84/200.83
204.05/201.02 num=419, depth=1..7, filters=804295, revisions=(967139,useless=148628), ccks=1211364185, wck=198.869, mem=50M601
204.05/201.02 decisions=539937, wrong=268795, backtracks=4065, failedAssignments=268245, nogoods=52728, foundSolutions=9, bestBound=65
204.05/201.02
204.15/201.14 num=420, depth=5..6, filters=804911, revisions=(967813,useless=148671), ccks=1211674400, wck=198.986, mem=50M601
204.15/201.14 decisions=540936, wrong=269292, backtracks=4066, failedAssignments=268742, nogoods=52790, foundSolutions=9, bestBound=65
204.15/201.14
204.34/201.34 num=421, depth=3..6, filters=805914, revisions=(968986,useless=148779), ccks=1212394253, wck=199.185, mem=50M601
204.34/201.34 decisions=542036, wrong=269840, backtracks=4070, failedAssignments=269289, nogoods=52871, foundSolutions=9, bestBound=65
204.34/201.34
204.44/201.49 num=422, depth=3..6, filters=806715, revisions=(969870,useless=148853), ccks=1212810170, wck=199.337, mem=50M601
204.44/201.49 decisions=543245, wrong=270442, backtracks=4071, failedAssignments=269891, nogoods=53010, foundSolutions=9, bestBound=65
204.44/201.49
204.64/201.65 num=423, depth=6..7, filters=807470, revisions=(970667,useless=148894), ccks=1213092533, wck=199.497, mem=50M601
204.64/201.65 decisions=544575, wrong=271104, backtracks=4072, failedAssignments=270553, nogoods=53311, foundSolutions=9, bestBound=65
204.64/201.65
204.84/201.83 num=424, depth=4..6, filters=808349, revisions=(971607,useless=148947), ccks=1213430978, wck=199.676, mem=52M987
204.84/201.83 decisions=546035, wrong=271832, backtracks=4074, failedAssignments=271281, nogoods=53356, foundSolutions=9, bestBound=65
204.84/201.83
205.05/202.04 num=425, depth=4..6, filters=809250, revisions=(972547,useless=148986), ccks=1213711724, wck=199.891, mem=52M987
205.05/202.04 decisions=547641, wrong=272633, backtracks=4076, failedAssignments=272082, nogoods=53522, foundSolutions=9, bestBound=65
205.05/202.04
205.24/202.25 num=426, depth=5..6, filters=810322, revisions=(973693,useless=149052), ccks=1214063145, wck=200.095, mem=52M987
205.24/202.25 decisions=549408, wrong=273514, backtracks=4077, failedAssignments=272963, nogoods=53964, foundSolutions=9, bestBound=65
205.24/202.25
205.54/202.51 num=427, depth=3..6, filters=811401, revisions=(974808,useless=149091), ccks=1214343336, wck=200.358, mem=52M987
205.54/202.51 decisions=551351, wrong=274484, backtracks=4080, failedAssignments=273933, nogoods=53990, foundSolutions=9, bestBound=65
205.54/202.51
205.84/202.85 num=428, depth=3..6, filters=812841, revisions=(976388,useless=149247), ccks=1214789352, wck=200.696, mem=52M987
205.84/202.85 decisions=553488, wrong=275551, backtracks=4088, failedAssignments=275000, nogoods=54171, foundSolutions=9, bestBound=65
205.84/202.85
206.05/203.04 num=429, depth=4..8, filters=814204, revisions=(977837,useless=149335), ccks=1215114323, wck=200.888, mem=55M372
206.05/203.04 decisions=555839, wrong=276724, backtracks=4091, failedAssignments=276173, nogoods=54437, foundSolutions=9, bestBound=65
206.05/203.04
206.94/203.95 num=430, depth=2..6, filters=818858, revisions=(983791,useless=150504), ccks=1219698480, wck=201.796, mem=60M143
206.94/203.95 decisions=558451, wrong=278028, backtracks=4132, failedAssignments=277464, nogoods=54705, foundSolutions=9, bestBound=65
206.94/203.95
208.15/205.13 num=431, depth=0..5, filters=822782, revisions=(988739,useless=151306), ccks=1226894318, wck=202.98, mem=67M300
208.15/205.13 decisions=561301, wrong=279451, backtracks=4192, failedAssignments=278884, nogoods=55069, foundSolutions=9, bestBound=65
208.15/205.13
209.44/206.45 num=432, depth=1..4, filters=828056, revisions=(995424,useless=152419), ccks=1232230288, wck=204.296, mem=76M843
209.44/206.45 decisions=564452, wrong=281026, backtracks=4234, failedAssignments=280446, nogoods=55547, foundSolutions=9, bestBound=65
209.44/206.45
210.15/207.13 num=433, depth=2..5, filters=830518, revisions=(998140,useless=152658), ccks=1233168597, wck=204.978, mem=79M228
210.15/207.13 decisions=567894, wrong=282745, backtracks=4247, failedAssignments=282164, nogoods=55874, foundSolutions=9, bestBound=65
210.15/207.13
211.84/208.84 num=434, depth=1..5, filters=841405, revisions=(1011480,useless=155238), ccks=1242650522, wck=206.692, mem=95M928
211.84/208.84 decisions=571693, wrong=284643, backtracks=4312, failedAssignments=284054, nogoods=55895, foundSolutions=9, bestBound=65
211.84/208.84
212.74/209.74 num=435, depth=0..5, filters=845093, revisions=(1015757,useless=155756), ccks=1245316206, wck=207.588, mem=100M699
212.74/209.74 decisions=575862, wrong=286726, backtracks=4336, failedAssignments=286133, nogoods=56016, foundSolutions=9, bestBound=65
212.74/209.74
213.54/210.50 num=436, depth=3..7, filters=848796, revisions=(1020063,useless=156379), ccks=1247019171, wck=208.353, mem=105M470
213.54/210.50 decisions=580441, wrong=289013, backtracks=4362, failedAssignments=288420, nogoods=56345, foundSolutions=9, bestBound=65
213.54/210.50
214.44/211.46 num=437, depth=3..7, filters=854538, revisions=(1027129,useless=157718), ccks=1250596390, wck=209.307, mem=110M241
214.44/211.46 decisions=585482, wrong=291530, backtracks=4406, failedAssignments=290936, nogoods=56409, foundSolutions=9, bestBound=65
214.44/211.46
215.44/212.49 num=438, depth=4..11, filters=864194, revisions=(1038967,useless=159842), ccks=1256109266, wck=210.343, mem=119M784
215.44/212.49 decisions=591052, wrong=294311, backtracks=4463, failedAssignments=293704, nogoods=56568, foundSolutions=9, bestBound=65
215.44/212.49
216.44/213.44 num=439, depth=1..8, filters=868780, revisions=(1044103,useless=160433), ccks=1258579858, wck=211.288, mem=124M556
216.44/213.44 decisions=597144, wrong=297355, backtracks=4490, failedAssignments=296748, nogoods=56719, foundSolutions=9, bestBound=65
216.44/213.44
217.34/214.37 num=440, depth=3..7, filters=872688, revisions=(1048132,useless=160581), ccks=1259150140, wck=212.221, mem=124M556
217.34/214.37 decisions=603845, wrong=300704, backtracks=4499, failedAssignments=300097, nogoods=57191, foundSolutions=9, bestBound=65
217.34/214.37
218.64/215.69 num=441, depth=2..7, filters=878948, revisions=(1055402,useless=161610), ccks=1261562581, wck=213.54, mem=131M712
218.64/215.69 decisions=611223, wrong=304391, backtracks=4533, failedAssignments=303781, nogoods=57430, foundSolutions=9, bestBound=65
218.64/215.69
221.48/218.49 num=442, depth=1..6, filters=893148, revisions=(1073431,useless=164987), ccks=1274338221, wck=216.337, mem=34M530
221.48/218.49 decisions=619360, wrong=308457, backtracks=4636, failedAssignments=307833, nogoods=57673, foundSolutions=9, bestBound=65
221.48/218.49
223.09/220.09 num=443, depth=3..8, filters=903863, revisions=(1085956,useless=166994), ccks=1279315354, wck=217.941, mem=48M666
223.09/220.09 decisions=628296, wrong=312921, backtracks=4689, failedAssignments=312290, nogoods=58024, foundSolutions=9, bestBound=65
223.09/220.09
224.09/221.09 num=444, depth=4..12, filters=913776, revisions=(1097293,useless=168416), ccks=1282586023, wck=218.939, mem=53M378
224.09/221.09 decisions=638147, wrong=317842, backtracks=4741, failedAssignments=317193, nogoods=58090, foundSolutions=9, bestBound=65
224.09/221.09
226.88/223.80 num=445, depth=0..8, filters=930224, revisions=(1117611,useless=172510), ccks=1293342737, wck=221.65, mem=79M294
226.88/223.80 decisions=648948, wrong=323239, backtracks=4860, failedAssignments=322587, nogoods=58562, foundSolutions=9, bestBound=65
226.88/223.80
230.28/227.29 num=446, depth=0..7, filters=944812, revisions=(1134800,useless=174998), ccks=1310800103, wck=225.142, mem=98M142
230.28/227.29 decisions=660842, wrong=329183, backtracks=4917, failedAssignments=328520, nogoods=58888, foundSolutions=9, bestBound=65
230.28/227.29
231.68/228.60 num=447, depth=1..9, filters=954520, revisions=(1145454,useless=175892), ccks=1313669648, wck=226.449, mem=102M854
231.68/228.60 decisions=673908, wrong=335713, backtracks=4963, failedAssignments=335046, nogoods=59278, foundSolutions=9, bestBound=65
231.68/228.60
238.48/235.42 num=448, depth=0..8, filters=986404, revisions=(1183474,useless=182106), ccks=1351013044, wck=233.256, mem=147M783
238.48/235.42 decisions=688312, wrong=342911, backtracks=5123, failedAssignments=342225, nogoods=59576, foundSolutions=9, bestBound=65
238.48/235.42
247.91/244.89 num=449, depth=1..9, filters=1023946, revisions=(1228727,useless=189007), ccks=1408237513, wck=242.738, mem=92M884
247.91/244.89 decisions=704159, wrong=350832, backtracks=5366, failedAssignments=350122, nogoods=59758, foundSolutions=9, bestBound=65
247.91/244.89
251.31/248.23 num=450, depth=2..7, filters=1039468, revisions=(1246823,useless=191452), ccks=1415167520, wck=246.076, mem=106M838
251.31/248.23 decisions=721569, wrong=359534, backtracks=5459, failedAssignments=358809, nogoods=60043, foundSolutions=9, bestBound=65
251.31/248.23
254.91/251.84 num=451, depth=1..9, filters=1058335, revisions=(1268594,useless=194119), ccks=1423003385, wck=249.686, mem=127M770
254.91/251.84 decisions=740689, wrong=369091, backtracks=5527, failedAssignments=368364, nogoods=60272, foundSolutions=9, bestBound=65
254.91/251.84
257.31/254.27 num=452, depth=1..9, filters=1070108, revisions=(1280880,useless=194701), ccks=1424057668, wck=252.114, mem=132M421
257.31/254.27 decisions=761714, wrong=379602, backtracks=5564, failedAssignments=378875, nogoods=60752, foundSolutions=9, bestBound=65
257.31/254.27
263.22/260.13 num=453, depth=1..7, filters=1085659, revisions=(1297981,useless=196137), ccks=1436520151, wck=257.982, mem=144M50
263.22/260.13 decisions=784849, wrong=391168, backtracks=5610, failedAssignments=390437, nogoods=60990, foundSolutions=9, bestBound=65
263.22/260.13
266.25/263.15 num=454, depth=1..12, filters=1107406, revisions=(1322579,useless=199118), ccks=1442776819, wck=261.001, mem=43M990
266.25/263.15 decisions=810321, wrong=403899, backtracks=5710, failedAssignments=403155, nogoods=61074, foundSolutions=9, bestBound=65
266.25/263.15
270.44/267.39 num=455, depth=0..7, filters=1129976, revisions=(1348407,useless=202331), ccks=1455444870, wck=265.244, mem=66M940
270.44/267.39 decisions=838313, wrong=417892, backtracks=5867, failedAssignments=417145, nogoods=61137, foundSolutions=9, bestBound=65
270.44/267.39
274.04/270.93 num=456, depth=0..11, filters=1150807, revisions=(1370881,useless=204155), ccks=1460262233, wck=268.78, mem=78M415
274.04/270.93 decisions=869116, wrong=433290, backtracks=5962, failedAssignments=432534, nogoods=61275, foundSolutions=9, bestBound=65
274.04/270.93
279.15/276.02 num=457, depth=0..8, filters=1172706, revisions=(1394687,useless=206008), ccks=1464828514, wck=273.87, mem=92M185
279.15/276.02 decisions=902991, wrong=450224, backtracks=6077, failedAssignments=449462, nogoods=61324, foundSolutions=9, bestBound=65
279.15/276.02
283.94/280.87 num=458, depth=1..11, filters=1197171, revisions=(1420970,useless=207971), ccks=1470763102, wck=278.716, mem=105M956
283.94/280.87 decisions=940257, wrong=468853, backtracks=6173, failedAssignments=468083, nogoods=61833, foundSolutions=9, bestBound=65
283.94/280.87
289.95/286.82 num=459, depth=0..14, filters=1224572, revisions=(1450923,useless=210689), ccks=1478897227, wck=284.67, mem=124M316
289.95/286.82 decisions=981240, wrong=489340, backtracks=6316, failedAssignments=488567, nogoods=62012, foundSolutions=9, bestBound=65
289.95/286.82
297.77/294.67 num=460, depth=2..9, filters=1262542, revisions=(1496091,useless=217826), ccks=1494375655, wck=292.515, mem=59M816
297.77/294.67 decisions=1026312, wrong=511873, backtracks=6590, failedAssignments=511099, nogoods=62473, foundSolutions=9, bestBound=65
297.77/294.67
305.07/301.94 num=461, depth=1..14, filters=1300737, revisions=(1539376,useless=223073), ccks=1508957476, wck=299.787, mem=96M41
305.07/301.94 decisions=1075895, wrong=536660, backtracks=6791, failedAssignments=535884, nogoods=62732, foundSolutions=9, bestBound=65
305.07/301.94
316.80/313.67 num=462, depth=1..13, filters=1369012, revisions=(1617818,useless=233012), ccks=1549792980, wck=311.517, mem=41M614
316.80/313.67 decisions=1130524, wrong=563969, backtracks=7047, failedAssignments=563148, nogoods=62912, foundSolutions=9, bestBound=65
316.80/313.67
325.30/322.15 num=463, depth=0..13, filters=1407720, revisions=(1659456,useless=235885), ccks=1558884924, wck=319.994, mem=66M176
325.30/322.15 decisions=1190518, wrong=593960, backtracks=7180, failedAssignments=593138, nogoods=63425, foundSolutions=9, bestBound=65
325.30/322.15
334.00/330.87 num=464, depth=0..16, filters=1446714, revisions=(1700450,useless=238029), ccks=1566222612, wck=328.718, mem=84M39
334.00/330.87 decisions=1256508, wrong=626952, backtracks=7318, failedAssignments=626127, nogoods=63705, foundSolutions=9, bestBound=65
334.00/330.87
342.90/339.72 num=465, depth=0..10, filters=1493000, revisions=(1749649,useless=241358), ccks=1572906952, wck=337.571, mem=101M902
342.90/339.72 decisions=1329106, wrong=663248, backtracks=7532, failedAssignments=662415, nogoods=64049, foundSolutions=9, bestBound=65
342.90/339.72
355.13/351.97 num=466, depth=0..10, filters=1552730, revisions=(1815697,useless=247237), ccks=1597408313, wck=349.822, mem=32M847
355.13/351.97 decisions=1409003, wrong=703195, backtracks=7820, failedAssignments=702332, nogoods=64486, foundSolutions=9, bestBound=65
355.13/351.97
369.84/366.63 num=467, depth=1..22, filters=1613397, revisions=(1882968,useless=254703), ccks=1612101560, wck=364.477, mem=83M485
369.84/366.63 decisions=1496847, wrong=747106, backtracks=8138, failedAssignments=746241, nogoods=64733, foundSolutions=9, bestBound=65
369.84/366.63
387.07/383.88 num=468, depth=2..12, filters=1688327, revisions=(1969050,useless=266713), ccks=1632632529, wck=381.73, mem=59M49
387.07/383.88 decisions=1593464, wrong=795412, backtracks=8617, failedAssignments=794541, nogoods=64995, foundSolutions=9, bestBound=65
387.07/383.88
401.28/398.02 num=469, depth=1..14, filters=1753092, revisions=(2038423,useless=271961), ccks=1641511703, wck=395.872, mem=93M774
401.28/398.02 decisions=1699733, wrong=848543, backtracks=8918, failedAssignments=847671, nogoods=65252, foundSolutions=9, bestBound=65
401.28/398.02
417.08/413.82 num=470, depth=0..13, filters=1837502, revisions=(2129006,useless=277869), ccks=1663460612, wck=411.67, mem=137M180
417.08/413.82 decisions=1816785, wrong=907066, backtracks=9225, failedAssignments=906114, nogoods=65300, foundSolutions=9, bestBound=65
417.08/413.82
434.00/430.74 num=471, depth=0..19, filters=1919561, revisions=(2216855,useless=284124), ccks=1679724696, wck=428.585, mem=71M556
434.00/430.74 decisions=1945397, wrong=971368, backtracks=9531, failedAssignments=970401, nogoods=65691, foundSolutions=9, bestBound=65
434.00/430.74
462.22/458.94 num=472, depth=1..11, filters=2025272, revisions=(2334616,useless=295767), ccks=1729828747, wck=456.789, mem=58M429
462.22/458.94 decisions=2086875, wrong=1042104, backtracks=10086, failedAssignments=1041117, nogoods=65770, foundSolutions=9, bestBound=65
462.22/458.94
484.82/481.52 num=473, depth=1..18, filters=2131069, revisions=(2448788,useless=304817), ccks=1751257297, wck=479.368, mem=123M763
484.82/481.52 decisions=2242490, wrong=1119907, backtracks=10529, failedAssignments=1118904, nogoods=65868, foundSolutions=9, bestBound=65
484.82/481.52
490.14/486.88 o 62
490.14/486.88 num=474, depth=1..54, filters=2160935, revisions=(2482372,useless=308303), ccks=1764754907, wck=484.729, mem=39M368
490.14/486.88 decisions=2275827, wrong=1136567, backtracks=10643, failedAssignments=1135560, nogoods=65980, foundSolutions=10, bestBound=62
490.14/486.88
512.15/508.88 o 61
512.15/508.88 num=475, depth=1..54, filters=2283346, revisions=(2620614,useless=323410), ccks=1806795443, wck=506.732, mem=126M565
512.15/508.88 decisions=2406304, wrong=1201798, backtracks=11115, failedAssignments=1200695, nogoods=66104, foundSolutions=11, bestBound=61
512.15/508.88
512.25/508.96 num=476, depth=2..4, filters=2283623, revisions=(2621004,useless=323495), ccks=1807302291, wck=506.807, mem=126M565
512.25/508.96 decisions=2406330, wrong=1201810, backtracks=11117, failedAssignments=1200706, nogoods=66105, foundSolutions=11, bestBound=61
512.25/508.96
512.36/509.07 num=477, depth=1..5, filters=2283959, revisions=(2621455,useless=323604), ccks=1808178863, wck=506.92, mem=126M565
512.36/509.07 decisions=2406357, wrong=1201821, backtracks=11120, failedAssignments=1200717, nogoods=66110, foundSolutions=11, bestBound=61
512.36/509.07
512.46/509.18 num=478, depth=2..4, filters=2284438, revisions=(2622126,useless=323728), ccks=1808869433, wck=507.03, mem=128M641
512.46/509.18 decisions=2406389, wrong=1201836, backtracks=11125, failedAssignments=1200729, nogoods=66116, foundSolutions=11, bestBound=61
512.46/509.18
512.55/509.28 num=479, depth=1..5, filters=2284781, revisions=(2622549,useless=323813), ccks=1809694212, wck=507.128, mem=128M641
512.55/509.28 decisions=2406419, wrong=1201849, backtracks=11126, failedAssignments=1200742, nogoods=66128, foundSolutions=11, bestBound=61
512.55/509.28
512.75/509.41 num=480, depth=2..4, filters=2285363, revisions=(2623360,useless=323960), ccks=1810568292, wck=507.262, mem=130M717
512.75/509.41 decisions=2406458, wrong=1201867, backtracks=11132, failedAssignments=1200756, nogoods=66137, foundSolutions=11, bestBound=61
512.75/509.41
512.75/509.46 num=481, depth=4..5, filters=2285513, revisions=(2623567,useless=324015), ccks=1810964309, wck=507.312, mem=130M717
512.75/509.46 decisions=2406494, wrong=1201883, backtracks=11132, failedAssignments=1200772, nogoods=66153, foundSolutions=11, bestBound=61
512.75/509.46
512.85/509.53 num=482, depth=4..5, filters=2285865, revisions=(2624016,useless=324115), ccks=1811389071, wck=507.376, mem=130M717
512.85/509.53 decisions=2406532, wrong=1201900, backtracks=11133, failedAssignments=1200789, nogoods=66167, foundSolutions=11, bestBound=61
512.85/509.53
512.95/509.70 num=483, depth=1..3, filters=2286606, revisions=(2625076,useless=324315), ccks=1812344785, wck=507.545, mem=132M793
512.95/509.70 decisions=2406580, wrong=1201923, backtracks=11143, failedAssignments=1200808, nogoods=66173, foundSolutions=11, bestBound=61
512.95/509.70
513.15/509.86 num=484, depth=1..5, filters=2287277, revisions=(2625936,useless=324496), ccks=1813656654, wck=507.712, mem=134M869
513.15/509.86 decisions=2406632, wrong=1201948, backtracks=11150, failedAssignments=1200829, nogoods=66184, foundSolutions=11, bestBound=61
513.15/509.86
513.36/510.06 num=485, depth=1..3, filters=2288070, revisions=(2627022,useless=324710), ccks=1814848105, wck=507.905, mem=33M109
513.36/510.06 decisions=2406681, wrong=1201971, backtracks=11157, failedAssignments=1200852, nogoods=66191, foundSolutions=11, bestBound=61
513.36/510.06
513.56/510.25 num=486, depth=1..5, filters=2288776, revisions=(2628008,useless=324921), ccks=1816149901, wck=508.094, mem=33M109
513.56/510.25 decisions=2406740, wrong=1201998, backtracks=11165, failedAssignments=1200877, nogoods=66204, foundSolutions=11, bestBound=61
513.56/510.25
513.76/510.44 num=487, depth=2..4, filters=2289670, revisions=(2629293,useless=325204), ccks=1817449198, wck=508.292, mem=35M153
513.76/510.44 decisions=2406802, wrong=1202027, backtracks=11172, failedAssignments=1200905, nogoods=66210, foundSolutions=11, bestBound=61
513.76/510.44
513.97/510.62 num=488, depth=1..4, filters=2290512, revisions=(2630431,useless=325482), ccks=1818660772, wck=508.473, mem=37M198
513.97/510.62 decisions=2406871, wrong=1202060, backtracks=11185, failedAssignments=1200936, nogoods=66224, foundSolutions=11, bestBound=61
513.97/510.62
514.17/510.80 num=489, depth=2..4, filters=2291434, revisions=(2631686,useless=325728), ccks=1819637741, wck=508.646, mem=39M243
514.17/510.80 decisions=2406948, wrong=1202097, backtracks=11193, failedAssignments=1200970, nogoods=66237, foundSolutions=11, bestBound=61
514.17/510.80
514.27/510.95 num=490, depth=1..5, filters=2292373, revisions=(2632902,useless=326008), ccks=1820660527, wck=508.796, mem=41M287
514.27/510.95 decisions=2407030, wrong=1202136, backtracks=11202, failedAssignments=1201007, nogoods=66248, foundSolutions=11, bestBound=61
514.27/510.95
514.57/511.26 num=491, depth=1..4, filters=2293900, revisions=(2634993,useless=326388), ccks=1822436545, wck=509.109, mem=43M332
514.57/511.26 decisions=2407135, wrong=1202187, backtracks=11224, failedAssignments=1201048, nogoods=66254, foundSolutions=11, bestBound=61
514.57/511.26
514.67/511.32 num=492, depth=4..4, filters=2294041, revisions=(2635177,useless=326427), ccks=1822823738, wck=509.164, mem=43M332
514.67/511.32 decisions=2407229, wrong=1202232, backtracks=11224, failedAssignments=1201093, nogoods=66299, foundSolutions=11, bestBound=61
514.67/511.32
514.77/511.49 num=493, depth=2..5, filters=2294831, revisions=(2636266,useless=326724), ccks=1823779116, wck=509.335, mem=45M377
514.77/511.49 decisions=2407334, wrong=1202282, backtracks=11246, failedAssignments=1201143, nogoods=66318, foundSolutions=11, bestBound=61
514.77/511.49
514.97/511.63 num=494, depth=2..5, filters=2295527, revisions=(2637211,useless=326931), ccks=1824522975, wck=509.477, mem=47M421
514.97/511.63 decisions=2407449, wrong=1202337, backtracks=11252, failedAssignments=1201198, nogoods=66355, foundSolutions=11, bestBound=61
514.97/511.63
515.17/511.86 num=495, depth=3..5, filters=2297157, revisions=(2639440,useless=327426), ccks=1825811270, wck=509.704, mem=51M511
515.17/511.86 decisions=2407583, wrong=1202402, backtracks=11265, failedAssignments=1201259, nogoods=66374, foundSolutions=11, bestBound=61
515.17/511.86
515.38/512.06 num=496, depth=0..5, filters=2298088, revisions=(2640730,useless=327679), ccks=1827008179, wck=509.912, mem=53M555
515.38/512.06 decisions=2407726, wrong=1202471, backtracks=11277, failedAssignments=1201326, nogoods=66422, foundSolutions=11, bestBound=61
515.38/512.06
515.77/512.45 num=497, depth=2..4, filters=2299846, revisions=(2643075,useless=328155), ccks=1829448376, wck=510.298, mem=57M645
515.77/512.45 decisions=2407886, wrong=1202549, backtracks=11295, failedAssignments=1201400, nogoods=66435, foundSolutions=11, bestBound=61
515.77/512.45
515.87/512.58 num=498, depth=1..5, filters=2300251, revisions=(2643608,useless=328277), ccks=1830410333, wck=510.43, mem=57M645
515.87/512.58 decisions=2408053, wrong=1202630, backtracks=11298, failedAssignments=1201481, nogoods=66508, foundSolutions=11, bestBound=61
515.87/512.58
516.07/512.75 num=499, depth=2..4, filters=2300993, revisions=(2644612,useless=328473), ccks=1831194691, wck=510.594, mem=59M689
516.07/512.75 decisions=2408235, wrong=1202719, backtracks=11304, failedAssignments=1201570, nogoods=66576, foundSolutions=11, bestBound=61
516.07/512.75
516.38/513.10 num=500, depth=2..6, filters=2302693, revisions=(2646916,useless=328875), ccks=1833180515, wck=510.944, mem=61M734
516.38/513.10 decisions=2408447, wrong=1202822, backtracks=11326, failedAssignments=1201668, nogoods=66628, foundSolutions=11, bestBound=61
516.38/513.10
516.67/513.37 num=501, depth=1..6, filters=2303658, revisions=(2648353,useless=329209), ccks=1835018492, wck=511.217, mem=65M823
516.67/513.37 decisions=2408667, wrong=1202930, backtracks=11336, failedAssignments=1201776, nogoods=66701, foundSolutions=11, bestBound=61
516.67/513.37
516.77/513.44 num=502, depth=4..4, filters=2303859, revisions=(2648584,useless=329232), ccks=1835244072, wck=511.287, mem=65M823
516.77/513.44 decisions=2408909, wrong=1203049, backtracks=11336, failedAssignments=1201895, nogoods=66820, foundSolutions=11, bestBound=61
516.77/513.44
516.87/513.50 num=503, depth=5..5, filters=2304098, revisions=(2648876,useless=329270), ccks=1835511452, wck=511.352, mem=65M823
516.87/513.50 decisions=2409176, wrong=1203180, backtracks=11336, failedAssignments=1202026, nogoods=66951, foundSolutions=11, bestBound=61
516.87/513.50
516.97/513.60 num=504, depth=3..6, filters=2304571, revisions=(2649507,useless=329377), ccks=1835991990, wck=511.451, mem=65M823
516.97/513.60 decisions=2409471, wrong=1203325, backtracks=11338, failedAssignments=1202170, nogoods=67093, foundSolutions=11, bestBound=61
516.97/513.60
516.97/513.67 num=505, depth=5..5, filters=2304837, revisions=(2649826,useless=329415), ccks=1836259033, wck=511.521, mem=67M868
516.97/513.67 decisions=2409792, wrong=1203483, backtracks=11338, failedAssignments=1202328, nogoods=67251, foundSolutions=11, bestBound=61
516.97/513.67
517.67/514.36 num=506, depth=2..6, filters=2308563, revisions=(2654995,useless=330507), ccks=1839954147, wck=512.208, mem=74M2
517.67/514.36 decisions=2410156, wrong=1203662, backtracks=11377, failedAssignments=1202502, nogoods=67347, foundSolutions=11, bestBound=61
517.67/514.36
517.97/514.61 num=507, depth=2..6, filters=2309925, revisions=(2656815,useless=330946), ccks=1841130096, wck=512.455, mem=76M47
517.97/514.61 decisions=2410546, wrong=1203854, backtracks=11398, failedAssignments=1202693, nogoods=67489, foundSolutions=11, bestBound=61
517.97/514.61
517.97/514.69 num=508, depth=3..5, filters=2310249, revisions=(2657198,useless=330992), ccks=1841397680, wck=512.539, mem=76M47
517.97/514.69 decisions=2410973, wrong=1204065, backtracks=11398, failedAssignments=1202904, nogoods=67700, foundSolutions=11, bestBound=61
517.97/514.69
518.07/514.78 num=509, depth=4..5, filters=2310597, revisions=(2657597,useless=331030), ccks=1841665480, wck=512.633, mem=78M92
518.07/514.78 decisions=2411441, wrong=1204297, backtracks=11399, failedAssignments=1203136, nogoods=67796, foundSolutions=11, bestBound=61
518.07/514.78
518.17/514.87 num=510, depth=5..5, filters=2310951, revisions=(2658002,useless=331071), ccks=1841908902, wck=512.721, mem=78M92
518.17/514.87 decisions=2411956, wrong=1204552, backtracks=11399, failedAssignments=1203391, nogoods=68051, foundSolutions=11, bestBound=61
518.17/514.87
518.28/514.97 num=511, depth=4..5, filters=2311355, revisions=(2658463,useless=331113), ccks=1842177696, wck=512.818, mem=78M92
518.28/514.97 decisions=2412523, wrong=1204833, backtracks=11399, failedAssignments=1203672, nogoods=68332, foundSolutions=11, bestBound=61
518.28/514.97
518.39/515.10 num=512, depth=4..5, filters=2311768, revisions=(2658925,useless=331154), ccks=1842421161, wck=512.944, mem=78M92
518.39/515.10 decisions=2413145, wrong=1205142, backtracks=11400, failedAssignments=1203981, nogoods=68637, foundSolutions=11, bestBound=61
518.39/515.10
518.59/515.22 num=513, depth=4..5, filters=2312224, revisions=(2659432,useless=331191), ccks=1842684622, wck=513.072, mem=78M92
518.59/515.22 decisions=2413829, wrong=1205482, backtracks=11401, failedAssignments=1204321, nogoods=68872, foundSolutions=11, bestBound=61
518.59/515.22
518.79/515.45 num=514, depth=3..4, filters=2313107, revisions=(2660512,useless=331358), ccks=1843157895, wck=513.297, mem=80M137
518.79/515.45 decisions=2414580, wrong=1205856, backtracks=11413, failedAssignments=1204695, nogoods=69058, foundSolutions=11, bestBound=61
518.79/515.45
519.39/516.04 num=515, depth=2..5, filters=2315975, revisions=(2664291,useless=332091), ccks=1846385684, wck=513.893, mem=86M271
519.39/516.04 decisions=2415415, wrong=1206272, backtracks=11437, failedAssignments=1205106, nogoods=69080, foundSolutions=11, bestBound=61
519.39/516.04
519.79/516.46 num=516, depth=1..5, filters=2317927, revisions=(2666933,useless=332510), ccks=1848325902, wck=514.304, mem=88M316
519.79/516.46 decisions=2416332, wrong=1206728, backtracks=11451, failedAssignments=1205558, nogoods=69485, foundSolutions=11, bestBound=61
519.79/516.46
519.98/516.62 num=517, depth=2..6, filters=2318772, revisions=(2667917,useless=332618), ccks=1848908402, wck=514.473, mem=90M361
519.98/516.62 decisions=2417333, wrong=1207226, backtracks=11455, failedAssignments=1206055, nogoods=69512, foundSolutions=11, bestBound=61
519.98/516.62
520.49/517.15 num=518, depth=1..6, filters=2321853, revisions=(2671932,useless=333463), ccks=1851763597, wck=514.995, mem=94M450
520.49/517.15 decisions=2418439, wrong=1207776, backtracks=11494, failedAssignments=1206602, nogoods=69963, foundSolutions=11, bestBound=61
520.49/517.15
520.78/517.42 num=519, depth=1..7, filters=2323125, revisions=(2673490,useless=333674), ccks=1853023863, wck=515.264, mem=96M495
520.78/517.42 decisions=2419650, wrong=1208378, backtracks=11503, failedAssignments=1207204, nogoods=70083, foundSolutions=11, bestBound=61
520.78/517.42
521.08/517.75 num=520, depth=2..5, filters=2324688, revisions=(2675447,useless=333969), ccks=1854153376, wck=515.599, mem=98M539
521.08/517.75 decisions=2420982, wrong=1209042, backtracks=11511, failedAssignments=1207866, nogoods=70258, foundSolutions=11, bestBound=61
521.08/517.75
521.88/518.51 num=521, depth=1..6, filters=2327900, revisions=(2679848,useless=334799), ccks=1858390580, wck=516.36, mem=106M718
521.88/518.51 decisions=2422452, wrong=1209775, backtracks=11535, failedAssignments=1208594, nogoods=70415, foundSolutions=11, bestBound=61
521.88/518.51
522.88/519.53 num=522, depth=2..5, filters=2333359, revisions=(2687025,useless=336092), ccks=1863150228, wck=517.383, mem=114M897
522.88/519.53 decisions=2424093, wrong=1210594, backtracks=11592, failedAssignments=1209395, nogoods=70596, foundSolutions=11, bestBound=61
522.88/519.53
523.89/520.59 num=523, depth=2..5, filters=2338741, revisions=(2694166,useless=337367), ccks=1868445901, wck=518.435, mem=125M120
523.89/520.59 decisions=2425887, wrong=1211489, backtracks=11642, failedAssignments=1210276, nogoods=70870, foundSolutions=11, bestBound=61
523.89/520.59
524.59/521.28 num=524, depth=1..7, filters=2342566, revisions=(2699140,useless=338376), ccks=1871873513, wck=519.132, mem=131M254
524.59/521.28 decisions=2427841, wrong=1212463, backtracks=11686, failedAssignments=1211246, nogoods=71198, foundSolutions=11, bestBound=61
524.59/521.28
525.70/522.31 num=525, depth=1..7, filters=2347331, revisions=(2705308,useless=339601), ccks=1876177185, wck=520.157, mem=37M685
525.70/522.31 decisions=2429996, wrong=1213537, backtracks=11735, failedAssignments=1212313, nogoods=71340, foundSolutions=11, bestBound=61
525.70/522.31
526.30/522.90 num=526, depth=1..6, filters=2349970, revisions=(2708575,useless=340104), ccks=1878646051, wck=520.749, mem=41M712
526.30/522.90 decisions=2432349, wrong=1214711, backtracks=11757, failedAssignments=1213486, nogoods=71540, foundSolutions=11, bestBound=61
526.30/522.90
526.80/523.44 num=527, depth=2..5, filters=2351956, revisions=(2710821,useless=340331), ccks=1879499291, wck=521.29, mem=43M725
526.80/523.44 decisions=2434936, wrong=1216003, backtracks=11770, failedAssignments=1214777, nogoods=71864, foundSolutions=11, bestBound=61
526.80/523.44
527.80/524.43 num=528, depth=2..5, filters=2357092, revisions=(2717347,useless=341390), ccks=1882797441, wck=522.277, mem=51M778
527.80/524.43 decisions=2437793, wrong=1217430, backtracks=11816, failedAssignments=1216197, nogoods=72209, foundSolutions=11, bestBound=61
527.80/524.43
528.30/524.94 num=529, depth=2..6, filters=2359622, revisions=(2720184,useless=341700), ccks=1883808642, wck=522.793, mem=51M778
528.30/524.94 decisions=2440927, wrong=1218994, backtracks=11825, failedAssignments=1217759, nogoods=72324, foundSolutions=11, bestBound=61
528.30/524.94
529.00/525.64 num=530, depth=1..6, filters=2362588, revisions=(2723675,useless=342133), ccks=1885512389, wck=523.492, mem=55M804
529.00/525.64 decisions=2444380, wrong=1220718, backtracks=11845, failedAssignments=1219477, nogoods=72587, foundSolutions=11, bestBound=61
529.00/525.64
529.90/526.55 num=531, depth=2..5, filters=2366454, revisions=(2728314,useless=342701), ccks=1888037669, wck=524.401, mem=59M831
529.90/526.55 decisions=2448168, wrong=1222610, backtracks=11876, failedAssignments=1221367, nogoods=72958, foundSolutions=11, bestBound=61
529.90/526.55
530.50/527.17 num=532, depth=2..7, filters=2369421, revisions=(2731661,useless=343025), ccks=1888890253, wck=525.02, mem=61M844
530.50/527.17 decisions=2452334, wrong=1224690, backtracks=11892, failedAssignments=1223446, nogoods=73137, foundSolutions=11, bestBound=61
530.50/527.17
531.60/528.28 num=533, depth=2..6, filters=2375277, revisions=(2738828,useless=344193), ccks=1891650447, wck=526.128, mem=69M897
531.60/528.28 decisions=2456919, wrong=1226980, backtracks=11938, failedAssignments=1225733, nogoods=73376, foundSolutions=11, bestBound=61
531.60/528.28
534.10/530.71 num=534, depth=1..6, filters=2390268, revisions=(2758203,useless=347784), ccks=1902871907, wck=528.557, mem=92M42
534.10/530.71 decisions=2462039, wrong=1229537, backtracks=12089, failedAssignments=1228249, nogoods=73527, foundSolutions=11, bestBound=61
534.10/530.71
536.00/532.67 num=535, depth=1..10, filters=2399922, revisions=(2770589,useless=350154), ccks=1910115432, wck=530.523, mem=110M162
536.00/532.67 decisions=2467608, wrong=1232317, backtracks=12165, failedAssignments=1231017, nogoods=73568, foundSolutions=11, bestBound=61
536.00/532.67
538.51/535.20 num=536, depth=1..6, filters=2410714, revisions=(2783976,useless=352508), ccks=1920416768, wck=533.044, mem=132M307
538.51/535.20 decisions=2473725, wrong=1235373, backtracks=12258, failedAssignments=1234061, nogoods=73851, foundSolutions=11, bestBound=61
538.51/535.20
541.52/538.16 num=537, depth=1..7, filters=2425656, revisions=(2803431,useless=356286), ccks=1934876947, wck=536.005, mem=55M880
541.52/538.16 decisions=2480458, wrong=1238736, backtracks=12388, failedAssignments=1237410, nogoods=74357, foundSolutions=11, bestBound=61
541.52/538.16
543.61/540.28 num=538, depth=1..10, filters=2435299, revisions=(2815682,useless=358357), ccks=1941973657, wck=538.131, mem=71M819
543.61/540.28 decisions=2487854, wrong=1242430, backtracks=12476, failedAssignments=1241094, nogoods=74418, foundSolutions=11, bestBound=61
543.61/540.28
546.52/543.14 num=539, depth=0..5, filters=2446902, revisions=(2830041,useless=360451), ccks=1953441739, wck=540.991, mem=89M749
546.52/543.14 decisions=2496035, wrong=1246519, backtracks=12573, failedAssignments=1245146, nogoods=74850, foundSolutions=11, bestBound=61
546.52/543.14
548.01/544.63 num=540, depth=2..7, filters=2452626, revisions=(2836182,useless=360904), ccks=1954673398, wck=542.475, mem=91M741
548.01/544.63 decisions=2504953, wrong=1250976, backtracks=12596, failedAssignments=1249603, nogoods=74923, foundSolutions=11, bestBound=61
548.01/544.63
550.61/547.20 num=541, depth=2..7, filters=2464159, revisions=(2850343,useless=362902), ccks=1961763942, wck=545.052, mem=107M680
550.61/547.20 decisions=2514779, wrong=1255887, backtracks=12681, failedAssignments=1254506, nogoods=75273, foundSolutions=11, bestBound=61
550.61/547.20
552.61/549.25 num=542, depth=1..7, filters=2473192, revisions=(2860561,useless=364088), ccks=1965109642, wck=547.096, mem=115M649
552.61/549.25 decisions=2525621, wrong=1261306, backtracks=12732, failedAssignments=1259900, nogoods=75295, foundSolutions=11, bestBound=61
552.61/549.25
555.31/551.92 num=543, depth=1..7, filters=2483866, revisions=(2872483,useless=365283), ccks=1971707908, wck=549.764, mem=125M610
555.31/551.92 decisions=2537501, wrong=1267243, backtracks=12770, failedAssignments=1265833, nogoods=75754, foundSolutions=11, bestBound=61
555.31/551.92
559.63/556.22 num=544, depth=1..7, filters=2502672, revisions=(2896522,useless=369504), ccks=1985525105, wck=554.073, mem=61M772
559.63/556.22 decisions=2550599, wrong=1273789, backtracks=12936, failedAssignments=1272359, nogoods=75901, foundSolutions=11, bestBound=61
559.63/556.22
572.24/568.89 num=545, depth=1..7, filters=2560258, revisions=(2969926,useless=384170), ccks=2064354558, wck=566.736, mem=53M697
572.24/568.89 decisions=2564970, wrong=1280973, backtracks=13080, failedAssignments=1279538, nogoods=75966, foundSolutions=11, bestBound=61
572.24/568.89
576.04/572.61 num=546, depth=2..6, filters=2575421, revisions=(2987767,useless=386349), ccks=2072151656, wck=570.463, mem=71M250
576.04/572.61 decisions=2580825, wrong=1288898, backtracks=13188, failedAssignments=1287435, nogoods=76400, foundSolutions=11, bestBound=61
576.04/572.61
581.85/578.48 num=547, depth=2..6, filters=2607744, revisions=(3028056,useless=393671), ccks=2092551521, wck=576.327, mem=121M959
581.85/578.48 decisions=2598373, wrong=1297670, backtracks=13417, failedAssignments=1296122, nogoods=76886, foundSolutions=11, bestBound=61
581.85/578.48
585.26/581.84 num=548, depth=2..9, filters=2620392, revisions=(3041900,useless=394917), ccks=2095611572, wck=579.686, mem=34M296
585.26/581.84 decisions=2617490, wrong=1307226, backtracks=13470, failedAssignments=1305677, nogoods=77364, foundSolutions=11, bestBound=61
585.26/581.84
588.66/585.28 num=549, depth=1..11, filters=2634251, revisions=(3057094,useless=396212), ccks=2099591634, wck=583.129, mem=43M943
588.66/585.28 decisions=2638527, wrong=1317740, backtracks=13541, failedAssignments=1316188, nogoods=77698, foundSolutions=11, bestBound=61
588.66/585.28
593.66/590.24 num=550, depth=0..7, filters=2653347, revisions=(3078649,useless=398900), ccks=2108517590, wck=588.084, mem=65M166
593.66/590.24 decisions=2661655, wrong=1329303, backtracks=13663, failedAssignments=1327750, nogoods=78171, foundSolutions=11, bestBound=61
593.66/590.24
599.26/595.85 num=551, depth=1..7, filters=2685575, revisions=(3117103,useless=404815), ccks=2128352047, wck=593.698, mem=99M894
599.26/595.85 decisions=2687155, wrong=1342050, backtracks=13855, failedAssignments=1340468, nogoods=78226, foundSolutions=11, bestBound=61
599.26/595.85
603.36/599.94 num=552, depth=1..15, filters=2705444, revisions=(3139361,useless=406854), ccks=2135962427, wck=597.788, mem=117M259
603.36/599.94 decisions=2715149, wrong=1356043, backtracks=13947, failedAssignments=1354458, nogoods=78501, foundSolutions=11, bestBound=61
603.36/599.94
610.70/607.23 num=553, depth=1..8, filters=2734710, revisions=(3173724,useless=411628), ccks=2155699365, wck=605.074, mem=57M356
610.70/607.23 decisions=2745964, wrong=1371447, backtracks=14140, failedAssignments=1369847, nogoods=78913, foundSolutions=11, bestBound=61
610.70/607.23
618.10/614.65 num=554, depth=1..9, filters=2771867, revisions=(3218218,useless=418799), ccks=2176207645, wck=612.495, mem=105M66
618.10/614.65 decisions=2779851, wrong=1388386, backtracks=14381, failedAssignments=1386775, nogoods=79030, foundSolutions=11, bestBound=61
618.10/614.65
628.13/624.63 num=555, depth=1..9, filters=2816646, revisions=(3273209,useless=429535), ccks=2204220927, wck=622.481, mem=87M388
628.13/624.63 decisions=2817127, wrong=1407020, backtracks=14754, failedAssignments=1405396, nogoods=79134, foundSolutions=11, bestBound=61
628.13/624.63
637.75/634.20 num=556, depth=1..10, filters=2857493, revisions=(3321507,useless=435795), ccks=2225872571, wck=632.054, mem=34M528
637.75/634.20 decisions=2858212, wrong=1427559, backtracks=15008, failedAssignments=1425880, nogoods=79609, foundSolutions=11, bestBound=61
637.75/634.20
657.96/654.47 num=557, depth=1..10, filters=2938014, revisions=(3422092,useless=454416), ccks=2308829341, wck=652.321, mem=78M897
657.96/654.47 decisions=2903371, wrong=1450135, backtracks=15733, failedAssignments=1448412, nogoods=80130, foundSolutions=11, bestBound=61
657.96/654.47
666.57/663.05 num=558, depth=1..10, filters=2974562, revisions=(3462098,useless=458006), ccks=2318825017, wck=660.904, mem=97M352
666.57/663.05 decisions=2952991, wrong=1474942, backtracks=15867, failedAssignments=1473197, nogoods=80648, foundSolutions=11, bestBound=61
666.57/663.05
675.77/672.27 num=559, depth=0..10, filters=3021854, revisions=(3515855,useless=464323), ccks=2335932940, wck=670.122, mem=45M654
675.77/672.27 decisions=3007585, wrong=1502236, backtracks=16143, failedAssignments=1500461, nogoods=80669, foundSolutions=11, bestBound=61
675.77/672.27
685.48/681.92 num=560, depth=1..13, filters=3080186, revisions=(3582203,useless=473190), ccks=2356771928, wck=679.768, mem=100M389
685.48/681.92 decisions=3067607, wrong=1532243, backtracks=16489, failedAssignments=1530451, nogoods=81150, foundSolutions=11, bestBound=61
685.48/681.92
696.09/692.51 num=561, depth=1..10, filters=3121521, revisions=(3626247,useless=476171), ccks=2362930534, wck=690.356, mem=122M284
696.09/692.51 decisions=3133599, wrong=1565237, backtracks=16661, failedAssignments=1563440, nogoods=81175, foundSolutions=11, bestBound=61
696.09/692.51
706.61/703.05 num=562, depth=0..13, filters=3182117, revisions=(3693781,useless=483092), ccks=2381779755, wck=700.903, mem=72M692
706.61/703.05 decisions=3206215, wrong=1601542, backtracks=16955, failedAssignments=1599728, nogoods=81230, foundSolutions=11, bestBound=61
706.61/703.05
724.20/720.61 num=563, depth=0..11, filters=3236114, revisions=(3752216,useless=487628), ccks=2400181582, wck=718.458, mem=105M155
724.20/720.61 decisions=3286090, wrong=1641476, backtracks=17131, failedAssignments=1639645, nogoods=81265, foundSolutions=11, bestBound=61
724.20/720.61
737.22/733.61 num=564, depth=0..14, filters=3299359, revisions=(3821811,useless=493586), ccks=2414800958, wck=731.464, mem=57M953
737.22/733.61 decisions=3374009, wrong=1685433, backtracks=17399, failedAssignments=1683554, nogoods=81344, foundSolutions=11, bestBound=61
737.22/733.61
757.53/753.92 num=565, depth=1..11, filters=3394623, revisions=(3933342,useless=510438), ccks=2462790770, wck=751.772, mem=84M116
757.53/753.92 decisions=3470724, wrong=1733787, backtracks=17955, failedAssignments=1731854, nogoods=81587, foundSolutions=11, bestBound=61
757.53/753.92
774.83/771.21 num=566, depth=1..9, filters=3460703, revisions=(4003867,useless=515216), ccks=2473214504, wck=769.062, mem=115M825
774.83/771.21 decisions=3577038, wrong=1786941, backtracks=18218, failedAssignments=1784984, nogoods=81882, foundSolutions=11, bestBound=61
774.83/771.21
794.35/790.76 num=567, depth=1..12, filters=3567499, revisions=(4125270,useless=529789), ccks=2507377584, wck=788.605, mem=120M160
794.35/790.76 decisions=3694026, wrong=1845432, backtracks=18806, failedAssignments=1843427, nogoods=81939, foundSolutions=11, bestBound=61
794.35/790.76
820.69/817.08 num=568, depth=1..13, filters=3674479, revisions=(4247277,useless=543609), ccks=2556068457, wck=814.925, mem=51M830
820.69/817.08 decisions=3822685, wrong=1909758, backtracks=19343, failedAssignments=1907714, nogoods=82442, foundSolutions=11, bestBound=61
820.69/817.08
844.50/840.80 num=569, depth=1..16, filters=3789315, revisions=(4377123,useless=557774), ccks=2592950082, wck=838.646, mem=53M367
844.50/840.80 decisions=3964262, wrong=1980540, backtracks=19919, failedAssignments=1978430, nogoods=82582, foundSolutions=11, bestBound=61
844.50/840.80
874.31/870.63 num=570, depth=1..17, filters=3955104, revisions=(4572632,useless=584814), ccks=2667229614, wck=868.477, mem=114M456
874.31/870.63 decisions=4120042, wrong=2058426, backtracks=20630, failedAssignments=2056217, nogoods=82764, foundSolutions=11, bestBound=61
874.31/870.63
899.32/895.60 num=571, depth=0..13, filters=4069076, revisions=(4695915,useless=594317), ccks=2690359737, wck=893.452, mem=100M375
899.32/895.60 decisions=4291223, wrong=2144010, backtracks=21156, failedAssignments=2141783, nogoods=83138, foundSolutions=11, bestBound=61
899.32/895.60
947.45/943.75 num=572, depth=0..12, filters=4276580, revisions=(4940504,useless=628312), ccks=2862951908, wck=941.597, mem=80M899
947.45/943.75 decisions=4479658, wrong=2238225, backtracks=21859, failedAssignments=2235906, nogoods=83605, foundSolutions=11, bestBound=61
947.45/943.75
986.79/983.02 num=573, depth=1..16, filters=4475550, revisions=(5170292,useless=656990), ccks=2936895255, wck=980.868, mem=88M188
986.79/983.02 decisions=4686905, wrong=2341844, backtracks=22574, failedAssignments=2339441, nogoods=83730, foundSolutions=11, bestBound=61
986.79/983.02
1024.80/1021.05 num=574, depth=1..18, filters=4652702, revisions=(5371350,useless=680230), ccks=2985163257, wck=1018.9, mem=82M854
1024.80/1021.05 decisions=4914865, wrong=2455821, backtracks=23533, failedAssignments=2453330, nogoods=83968, foundSolutions=11, bestBound=61
1024.80/1021.05
1073.72/1069.90 num=575, depth=0..11, filters=4863043, revisions=(5608752,useless=704581), ccks=3068942879, wck=1067.749, mem=91M322
1073.72/1069.90 decisions=5165683, wrong=2581227, backtracks=24506, failedAssignments=2578608, nogoods=84365, foundSolutions=11, bestBound=61
1073.72/1069.90
1131.66/1127.84 num=576, depth=1..17, filters=5074314, revisions=(5846995,useless=729173), ccks=3148196233, wck=1125.685, mem=57M501
1131.66/1127.84 decisions=5441446, wrong=2719106, backtracks=25708, failedAssignments=2716414, nogoods=84390, foundSolutions=11, bestBound=61
1131.66/1127.84
1179.90/1176.03 num=577, depth=0..15, filters=5288950, revisions=(6080446,useless=748374), ccks=3200035865, wck=1173.879, mem=107M609
1179.90/1176.03 decisions=5744807, wrong=2870784, backtracks=26644, failedAssignments=2868000, nogoods=84904, foundSolutions=11, bestBound=61
1179.90/1176.03
1244.12/1240.27 num=578, depth=1..15, filters=5572611, revisions=(6405100,useless=788535), ccks=3285730420, wck=1238.119, mem=88M795
1244.12/1240.27 decisions=6078611, wrong=3037682, backtracks=28067, failedAssignments=3034745, nogoods=85356, foundSolutions=11, bestBound=61
1244.12/1240.27
1299.44/1295.55 num=579, depth=1..19, filters=5797715, revisions=(6644117,useless=803993), ccks=3311423969, wck=1293.399, mem=55M199
1299.44/1295.55 decisions=6445498, wrong=3221123, backtracks=28971, failedAssignments=3218164, nogoods=85728, foundSolutions=11, bestBound=61
1299.44/1295.55
1360.17/1356.28 num=580, depth=1..18, filters=6033126, revisions=(6891519,useless=817032), ccks=3339159156, wck=1354.125, mem=80M587
1360.17/1356.28 decisions=6849040, wrong=3422889, backtracks=29747, failedAssignments=3419925, nogoods=86134, foundSolutions=11, bestBound=61
1360.17/1356.28
1488.27/1484.29 num=581, depth=1..18, filters=6542472, revisions=(7528918,useless=937424), ccks=3718460926, wck=1482.134, mem=61M277
1488.27/1484.29 decisions=7293216, wrong=3644973, backtracks=33217, failedAssignments=3641863, nogoods=86654, foundSolutions=11, bestBound=61
1488.27/1484.29
1571.62/1567.60 num=582, depth=1..14, filters=6923707, revisions=(7954055,useless=982498), ccks=3818706420, wck=1565.444, mem=88M209
1571.62/1567.60 decisions=7781782, wrong=3889253, backtracks=35111, failedAssignments=3885994, nogoods=87074, foundSolutions=11, bestBound=61
1571.62/1567.60
1671.08/1666.97 num=583, depth=0..15, filters=7346352, revisions=(8428876,useless=1033785), ccks=3952589238, wck=1664.822, mem=38M958
1671.08/1666.97 decisions=8319234, wrong=4157975, backtracks=36996, failedAssignments=4154539, nogoods=87476, foundSolutions=11, bestBound=61
1671.08/1666.97
1776.54/1772.32 num=584, depth=0..13, filters=7784746, revisions=(8916147,useless=1082364), ccks=4082909489, wck=1770.171, mem=65M69
1776.54/1772.32 decisions=8910470, wrong=4453590, backtracks=39301, failedAssignments=4449938, nogoods=87553, foundSolutions=11, bestBound=61
1776.54/1772.32
1879.11/1874.82 num=585, depth=1..16, filters=8248436, revisions=(9424182,useless=1126970), ccks=4190716686, wck=1872.664, mem=64M826
1879.11/1874.82 decisions=9560687, wrong=4778694, backtracks=41266, failedAssignments=4774877, nogoods=87750, foundSolutions=11, bestBound=61
1879.11/1874.82
1997.66/1993.36 num=586, depth=1..19, filters=8728596, revisions=(9945221,useless=1168179), ccks=4278438827, wck=1991.211, mem=77M460
1997.66/1993.36 decisions=10275688, wrong=5136190, backtracks=42794, failedAssignments=5132310, nogoods=88233, foundSolutions=11, bestBound=61
1997.66/1993.36
2196.28/2191.83 num=587, depth=0..11, filters=9420282, revisions=(10763086,useless=1289953), ccks=4714147990, wck=2189.682, mem=55M990
2196.28/2191.83 decisions=11062531, wrong=5529608, backtracks=46191, failedAssignments=5525486, nogoods=88588, foundSolutions=11, bestBound=61
2196.28/2191.83
2324.57/2320.06 num=588, depth=1..19, filters=10131065, revisions=(11554656,useless=1368692), ccks=4888944696, wck=2317.906, mem=45M264
2324.57/2320.06 decisions=11928344, wrong=5962511, backtracks=48890, failedAssignments=5957980, nogoods=88671, foundSolutions=11, bestBound=61
2324.57/2320.06
2520.00/2515.30
2520.00/2515.30 v <instantiation id='sol11' type='solution' cost='61'> <list> x[] y[][] </list> <values> 0 2 5 9 24 32 44 50 60 61 * 2 5 9 24 32 44 50 60 61 * * 3 7 22 30 42 48 58 59 * * * 4 19 27 39 45 55 56 * * * * 15 23 35 41 51 52 * * * * * 8 20 26 36 37 * * * * * * 12 18 28 29 * * * * * * * 6 16 17 * * * * * * * * 10 11 * * * * * * * * * 1 * * * * * * * * * * </values> </instantiation>
2520.00/2515.30 s SATISFIABLE