2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.88
3.14/2.15 Instance
3.14/2.15 name=instance-4391192-1568389382, framework=COP, bounds=-infty..+infty
3.14/2.15
3.14/2.15 Loading variables...
3.14/2.15 Loading constraints...
3.14/2.15
3.14/2.15 Domains
3.14/2.15 nTypes=2, nValues=27510, sizes=[500#45,501#10]
3.14/2.15 Variables
3.14/2.15 count=55, degrees=[2#45,10#8,11#2]
3.14/2.15 Objectives
3.14/2.15 way=min, type=ObjVarLE
3.14/2.15 Constraints
3.14/2.15 count=49, nSpecific=3, arities=[1#2,3#45,10#1,45#1]
3.14/2.15 distribution=[AllDifferent#1,CtrIntension#46,ObjVarLE#1,OrderedLT#1]
3.14/2.15 nIntStructures=(2,shared:44)
3.14/2.15 wck=0.281, cpu=2.088, mem=23M872
3.14/2.15 Solver SolverBacktrack being built...
3.14/2.15
3.14/2.15
3.14/2.15 Solver
3.14/2.15 guaranteedGAC=false
3.14/2.15 wck=0.314, cpu=2.119, mem=37M157
3.14/2.17
3.14/2.17 Preprocessing
3.14/2.17 filters=2, revisions=(1,useless=0), ccks=501, nACremovedValues=581, nTotalRemovedValues=581, inconcistency=false
3.14/2.17 wck=0.015, cpu=2.136, mem=37M157
3.14/2.17
4.14/2.76 o 80
4.14/2.77 num=0, depth=56..54, filters=235, revisions=(327,useless=89), ccks=5013505, wck=0.62, mem=37M157
4.14/2.77 decisions=9, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=80
4.14/2.77
4.43/2.90 num=1, depth=1..8, filters=537, revisions=(738,useless=190), ccks=6016769, wck=0.754, mem=37M157
4.43/2.90 decisions=39, wrong=11, backtracks=0, failedAssignments=11, nogoods=11, foundSolutions=1, bestBound=80
4.43/2.90
4.43/2.91 num=2, depth=0..1, filters=561, revisions=(771,useless=201), ccks=6024403, wck=0.762, mem=37M157
4.43/2.91 decisions=62, wrong=22, backtracks=0, failedAssignments=22, nogoods=15, foundSolutions=1, bestBound=80
4.43/2.91
4.56/3.02 num=3, depth=0..2, filters=629, revisions=(890,useless=239), ccks=6880271, wck=0.867, mem=37M157
4.56/3.02 decisions=88, wrong=34, backtracks=1, failedAssignments=34, nogoods=24, foundSolutions=1, bestBound=80
4.56/3.02
4.56/3.07 num=4, depth=1..3, filters=673, revisions=(965,useless=263), ccks=7344006, wck=0.925, mem=39M799
4.56/3.07 decisions=117, wrong=47, backtracks=1, failedAssignments=47, nogoods=37, foundSolutions=1, bestBound=80
4.56/3.07
4.66/3.14 num=5, depth=0..3, filters=721, revisions=(1042,useless=287), ccks=7769933, wck=0.99, mem=39M799
4.66/3.14 decisions=148, wrong=61, backtracks=1, failedAssignments=61, nogoods=50, foundSolutions=1, bestBound=80
4.66/3.14
4.87/3.35 num=6, depth=1..3, filters=950, revisions=(1345,useless=350), ccks=9667074, wck=1.204, mem=39M799
4.87/3.35 decisions=182, wrong=77, backtracks=2, failedAssignments=77, nogoods=61, foundSolutions=1, bestBound=80
4.87/3.35
4.87/3.39 num=7, depth=3..3, filters=997, revisions=(1416,useless=373), ccks=9980817, wck=1.244, mem=39M799
4.87/3.39 decisions=219, wrong=94, backtracks=2, failedAssignments=94, nogoods=78, foundSolutions=1, bestBound=80
4.87/3.39
5.18/3.65 num=8, depth=2..5, filters=1307, revisions=(1838,useless=481), ccks=12249135, wck=1.503, mem=39M799
5.18/3.65 decisions=262, wrong=113, backtracks=3, failedAssignments=113, nogoods=93, foundSolutions=1, bestBound=80
5.18/3.65
5.70/4.13 num=9, depth=0..1, filters=1677, revisions=(2351,useless=605), ccks=17047696, wck=1.977, mem=42M442
5.70/4.13 decisions=305, wrong=134, backtracks=3, failedAssignments=134, nogoods=113, foundSolutions=1, bestBound=80
5.70/4.13
5.79/4.29 num=10, depth=2..4, filters=2029, revisions=(2811,useless=733), ccks=18334864, wck=2.139, mem=42M442
5.79/4.29 decisions=354, wrong=157, backtracks=5, failedAssignments=157, nogoods=129, foundSolutions=1, bestBound=80
5.79/4.29
5.89/4.34 num=11, depth=3..3, filters=2098, revisions=(2912,useless=764), ccks=18706058, wck=2.188, mem=45M84
5.89/4.34 decisions=407, wrong=182, backtracks=5, failedAssignments=182, nogoods=154, foundSolutions=1, bestBound=80
5.89/4.34
6.06/4.46 num=12, depth=1..7, filters=2324, revisions=(3216,useless=849), ccks=19678055, wck=2.307, mem=45M84
6.06/4.46 decisions=470, wrong=210, backtracks=6, failedAssignments=210, nogoods=181, foundSolutions=1, bestBound=80
6.06/4.46
6.16/4.52 num=13, depth=2..8, filters=2556, revisions=(3514,useless=909), ccks=20151861, wck=2.373, mem=45M84
6.16/4.52 decisions=540, wrong=241, backtracks=6, failedAssignments=241, nogoods=212, foundSolutions=1, bestBound=80
6.16/4.52
6.16/4.60 num=14, depth=8..8, filters=2728, revisions=(3743,useless=967), ccks=20773631, wck=2.449, mem=45M84
6.16/4.60 decisions=616, wrong=275, backtracks=6, failedAssignments=275, nogoods=246, foundSolutions=1, bestBound=80
6.16/4.60
6.29/4.68 num=15, depth=1..7, filters=2934, revisions=(4014,useless=1033), ccks=21410094, wck=2.531, mem=45M84
6.29/4.68 decisions=697, wrong=312, backtracks=6, failedAssignments=312, nogoods=283, foundSolutions=1, bestBound=80
6.29/4.68
6.41/4.77 num=16, depth=8..8, filters=3141, revisions=(4293,useless=1100), ccks=22185352, wck=2.623, mem=45M84
6.41/4.77 decisions=787, wrong=353, backtracks=6, failedAssignments=353, nogoods=324, foundSolutions=1, bestBound=80
6.41/4.77
6.64/4.96 num=17, depth=5..7, filters=4190, revisions=(5543,useless=1322), ccks=23742306, wck=2.809, mem=47M727
6.64/4.96 decisions=882, wrong=398, backtracks=9, failedAssignments=398, nogoods=336, foundSolutions=1, bestBound=80
6.64/4.96
6.76/5.01 num=18, depth=2..2, filters=4262, revisions=(5642,useless=1345), ccks=24027844, wck=2.859, mem=47M727
6.76/5.01 decisions=984, wrong=448, backtracks=9, failedAssignments=448, nogoods=386, foundSolutions=1, bestBound=80
6.76/5.01
6.96/5.26 num=19, depth=2..6, filters=4795, revisions=(6388,useless=1549), ccks=26285520, wck=3.113, mem=50M369
6.96/5.26 decisions=1100, wrong=503, backtracks=12, failedAssignments=503, nogoods=437, foundSolutions=1, bestBound=80
6.96/5.26
7.16/5.40 num=20, depth=3..6, filters=5192, revisions=(6893,useless=1667), ccks=27425628, wck=3.253, mem=50M369
7.16/5.40 decisions=1228, wrong=564, backtracks=12, failedAssignments=564, nogoods=498, foundSolutions=1, bestBound=80
7.16/5.40
7.57/5.86 num=21, depth=0..5, filters=5946, revisions=(7850,useless=1859), ccks=31815704, wck=3.715, mem=53M11
7.57/5.86 decisions=1367, wrong=631, backtracks=13, failedAssignments=631, nogoods=560, foundSolutions=1, bestBound=80
7.57/5.86
7.67/5.95 num=22, depth=2..6, filters=6152, revisions=(8110,useless=1923), ccks=32442979, wck=3.801, mem=53M11
7.67/5.95 decisions=1520, wrong=705, backtracks=14, failedAssignments=705, nogoods=633, foundSolutions=1, bestBound=80
7.67/5.95
7.78/6.10 num=23, depth=3..10, filters=6593, revisions=(8665,useless=2045), ccks=33640791, wck=3.947, mem=53M11
7.78/6.10 decisions=1692, wrong=786, backtracks=15, failedAssignments=786, nogoods=708, foundSolutions=1, bestBound=80
7.78/6.10
7.99/6.21 num=24, depth=1..6, filters=6925, revisions=(9082,useless=2138), ccks=34489583, wck=4.061, mem=55M654
7.99/6.21 decisions=1876, wrong=875, backtracks=15, failedAssignments=875, nogoods=797, foundSolutions=1, bestBound=80
7.99/6.21
7.99/6.29 num=25, depth=1..8, filters=7158, revisions=(9381,useless=2206), ccks=35137398, wck=4.144, mem=55M654
7.99/6.29 decisions=2080, wrong=973, backtracks=15, failedAssignments=973, nogoods=895, foundSolutions=1, bestBound=80
7.99/6.29
8.12/6.35 num=26, depth=0..5, filters=7413, revisions=(9696,useless=2279), ccks=35346611, wck=4.201, mem=55M654
8.12/6.35 decisions=2301, wrong=1081, backtracks=15, failedAssignments=1081, nogoods=999, foundSolutions=1, bestBound=80
8.12/6.35
8.23/6.44 num=27, depth=2..7, filters=7683, revisions=(10022,useless=2339), ccks=36024615, wck=4.293, mem=55M654
8.23/6.44 decisions=2546, wrong=1200, backtracks=16, failedAssignments=1200, nogoods=1117, foundSolutions=1, bestBound=80
8.23/6.44
8.33/6.54 num=28, depth=3..8, filters=8133, revisions=(10570,useless=2434), ccks=36714791, wck=4.394, mem=58M296
8.33/6.54 decisions=2816, wrong=1331, backtracks=17, failedAssignments=1331, nogoods=1247, foundSolutions=1, bestBound=80
8.33/6.54
8.43/6.61 num=29, depth=7..7, filters=8385, revisions=(10865,useless=2480), ccks=37195184, wck=4.465, mem=58M296
8.43/6.61 decisions=3111, wrong=1475, backtracks=17, failedAssignments=1475, nogoods=1391, foundSolutions=1, bestBound=80
8.43/6.61
8.43/6.69 num=30, depth=4..7, filters=8715, revisions=(11248,useless=2531), ccks=37612479, wck=4.537, mem=58M296
8.43/6.69 decisions=3434, wrong=1633, backtracks=17, failedAssignments=1633, nogoods=1549, foundSolutions=1, bestBound=80
8.43/6.69
8.55/6.76 num=31, depth=7..7, filters=8997, revisions=(11573,useless=2577), ccks=38088869, wck=4.61, mem=58M296
8.55/6.76 decisions=3789, wrong=1807, backtracks=17, failedAssignments=1807, nogoods=1723, foundSolutions=1, bestBound=80
8.55/6.76
8.65/6.83 num=32, depth=7..7, filters=9313, revisions=(11936,useless=2619), ccks=38497413, wck=4.682, mem=58M296
8.65/6.83 decisions=4178, wrong=1998, backtracks=17, failedAssignments=1998, nogoods=1914, foundSolutions=1, bestBound=80
8.65/6.83
8.75/6.92 num=33, depth=6..7, filters=9638, revisions=(12303,useless=2665), ccks=38973566, wck=4.772, mem=58M296
8.75/6.92 decisions=4606, wrong=2209, backtracks=18, failedAssignments=2209, nogoods=2119, foundSolutions=1, bestBound=80
8.75/6.92
8.75/7.00 num=34, depth=6..7, filters=10002, revisions=(12712,useless=2707), ccks=39382156, wck=4.855, mem=58M296
8.75/7.00 decisions=5076, wrong=2441, backtracks=19, failedAssignments=2441, nogoods=2236, foundSolutions=1, bestBound=80
8.75/7.00
8.89/7.09 num=35, depth=7..7, filters=10365, revisions=(13118,useless=2753), ccks=39857918, wck=4.937, mem=60M939
8.89/7.09 decisions=5593, wrong=2696, backtracks=19, failedAssignments=2696, nogoods=2491, foundSolutions=1, bestBound=80
8.89/7.09
8.99/7.18 num=36, depth=6..6, filters=10761, revisions=(13556,useless=2789), ccks=40264168, wck=5.033, mem=60M939
8.99/7.18 decisions=6161, wrong=2977, backtracks=19, failedAssignments=2977, nogoods=2772, foundSolutions=1, bestBound=80
8.99/7.18
9.08/7.29 num=37, depth=5..7, filters=11194, revisions=(14029,useless=2835), ccks=40739907, wck=5.14, mem=60M939
9.08/7.29 decisions=6784, wrong=3286, backtracks=21, failedAssignments=3286, nogoods=2805, foundSolutions=1, bestBound=80
9.08/7.29
9.35/7.42 num=38, depth=5..6, filters=11659, revisions=(14534,useless=2871), ccks=41146249, wck=5.266, mem=60M939
9.35/7.42 decisions=7469, wrong=3626, backtracks=22, failedAssignments=3626, nogoods=3078, foundSolutions=1, bestBound=80
9.35/7.42
9.45/7.51 num=39, depth=7..7, filters=12141, revisions=(15060,useless=2918), ccks=41621605, wck=5.361, mem=60M939
9.45/7.51 decisions=8224, wrong=4000, backtracks=22, failedAssignments=4000, nogoods=3452, foundSolutions=1, bestBound=80
9.45/7.51
9.58/7.64 num=40, depth=5..6, filters=12679, revisions=(15639,useless=2957), ccks=42028145, wck=5.492, mem=60M939
9.58/7.64 decisions=9051, wrong=4411, backtracks=23, failedAssignments=4411, nogoods=3658, foundSolutions=1, bestBound=80
9.58/7.64
9.73/7.77 num=41, depth=6..7, filters=13245, revisions=(16248,useless=3004), ccks=42503383, wck=5.617, mem=63M581
9.73/7.77 decisions=9961, wrong=4863, backtracks=24, failedAssignments=4863, nogoods=4044, foundSolutions=1, bestBound=80
9.73/7.77
9.98/7.90 num=42, depth=5..6, filters=13969, revisions=(17047,useless=3084), ccks=42932805, wck=5.749, mem=63M581
9.98/7.90 decisions=10960, wrong=5360, backtracks=26, failedAssignments=5360, nogoods=4073, foundSolutions=1, bestBound=80
9.98/7.90
10.92/8.80 num=43, depth=0..7, filters=16017, revisions=(19528,useless=3528), ccks=50382981, wck=6.655, mem=68M866
10.92/8.80 decisions=12060, wrong=5907, backtracks=30, failedAssignments=5907, nogoods=4092, foundSolutions=1, bestBound=80
10.92/8.80
11.02/8.97 num=44, depth=1..6, filters=16717, revisions=(20273,useless=3576), ccks=50909360, wck=6.818, mem=68M866
11.02/8.97 decisions=13269, wrong=6509, backtracks=31, failedAssignments=6509, nogoods=4230, foundSolutions=1, bestBound=80
11.02/8.97
11.13/9.10 num=45, depth=1..8, filters=17542, revisions=(21156,useless=3638), ccks=51582330, wck=6.947, mem=68M866
11.13/9.10 decisions=14600, wrong=7171, backtracks=32, failedAssignments=7171, nogoods=4435, foundSolutions=1, bestBound=80
11.13/9.10
11.33/9.23 num=46, depth=0..7, filters=18438, revisions=(22114,useless=3703), ccks=51999693, wck=7.082, mem=68M866
11.33/9.23 decisions=16062, wrong=7899, backtracks=33, failedAssignments=7899, nogoods=4703, foundSolutions=1, bestBound=80
11.33/9.23
11.43/9.39 num=47, depth=6..8, filters=19403, revisions=(23132,useless=3761), ccks=52621458, wck=7.24, mem=68M866
11.43/9.39 decisions=17670, wrong=8700, backtracks=35, failedAssignments=8700, nogoods=4975, foundSolutions=1, bestBound=80
11.43/9.39
11.63/9.59 num=48, depth=5..7, filters=20406, revisions=(24187,useless=3812), ccks=53024711, wck=7.438, mem=68M866
11.63/9.59 decisions=19437, wrong=9581, backtracks=37, failedAssignments=9581, nogoods=5439, foundSolutions=1, bestBound=80
11.63/9.59
11.95/9.81 num=49, depth=5..8, filters=21553, revisions=(25384,useless=3869), ccks=53646677, wck=7.659, mem=71M508
11.95/9.81 decisions=21382, wrong=10551, backtracks=40, failedAssignments=10551, nogoods=5798, foundSolutions=1, bestBound=80
11.95/9.81
12.35/10.24 num=50, depth=2..7, filters=22777, revisions=(26656,useless=3922), ccks=54052853, wck=8.087, mem=71M508
12.35/10.24 decisions=23518, wrong=11618, backtracks=45, failedAssignments=11618, nogoods=5854, foundSolutions=1, bestBound=80
12.35/10.24
12.75/10.61 num=51, depth=3..8, filters=24152, revisions=(28081,useless=3981), ccks=54673801, wck=8.463, mem=71M508
12.75/10.61 decisions=25867, wrong=12791, backtracks=50, failedAssignments=12791, nogoods=6044, foundSolutions=1, bestBound=80
12.75/10.61
12.95/10.86 num=52, depth=3..7, filters=25606, revisions=(29589,useless=4037), ccks=55080860, wck=8.708, mem=71M508
12.95/10.86 decisions=28454, wrong=14082, backtracks=52, failedAssignments=14082, nogoods=6461, foundSolutions=1, bestBound=80
12.95/10.86
13.35/11.26 num=53, depth=3..7, filters=27247, revisions=(31280,useless=4096), ccks=55712630, wck=9.112, mem=71M508
13.35/11.26 decisions=31297, wrong=15502, backtracks=56, failedAssignments=15502, nogoods=6664, foundSolutions=1, bestBound=80
13.35/11.26
14.05/11.96 num=54, depth=1..7, filters=28959, revisions=(33034,useless=4145), ccks=56112335, wck=9.81, mem=74M151
14.05/11.96 decisions=34422, wrong=17064, backtracks=62, failedAssignments=17064, nogoods=6829, foundSolutions=1, bestBound=80
14.05/11.96
14.45/12.30 num=55, depth=2..9, filters=31023, revisions=(35198,useless=4252), ccks=57109488, wck=10.151, mem=74M151
14.45/12.30 decisions=37865, wrong=18782, backtracks=70, failedAssignments=18782, nogoods=7014, foundSolutions=1, bestBound=80
14.45/12.30
14.75/12.67 num=56, depth=0..8, filters=33219, revisions=(37464,useless=4325), ccks=57966174, wck=10.523, mem=74M151
14.75/12.67 decisions=41649, wrong=20672, backtracks=74, failedAssignments=20672, nogoods=7021, foundSolutions=1, bestBound=80
14.75/12.67
15.26/13.12 num=57, depth=4..8, filters=35520, revisions=(39830,useless=4392), ccks=58765476, wck=10.97, mem=74M151
15.26/13.12 decisions=45811, wrong=22751, backtracks=78, failedAssignments=22751, nogoods=7245, foundSolutions=1, bestBound=80
15.26/13.12
15.35/13.21 o 75
15.35/13.22 num=58, depth=6..54, filters=35962, revisions=(40383,useless=4516), ccks=59596405, wck=11.066, mem=76M794
15.35/13.22 decisions=45845, wrong=22764, backtracks=79, failedAssignments=22763, nogoods=7251, foundSolutions=2, bestBound=75
15.35/13.22
16.15/13.94 num=59, depth=1..8, filters=38837, revisions=(43365,useless=4630), ccks=60385718, wck=11.794, mem=76M794
16.15/13.94 decisions=50879, wrong=25280, backtracks=86, failedAssignments=25279, nogoods=7357, foundSolutions=2, bestBound=75
16.15/13.94
16.25/14.03 num=60, depth=5..6, filters=39213, revisions=(43847,useless=4737), ccks=61140829, wck=11.881, mem=76M794
16.25/14.03 decisions=50906, wrong=25291, backtracks=87, failedAssignments=25290, nogoods=7358, foundSolutions=2, bestBound=75
16.25/14.03
16.25/14.06 num=61, depth=2..2, filters=39247, revisions=(43908,useless=4760), ccks=61406502, wck=11.913, mem=76M794
16.25/14.06 decisions=50932, wrong=25303, backtracks=87, failedAssignments=25302, nogoods=7370, foundSolutions=2, bestBound=75
16.25/14.06
16.35/14.13 num=62, depth=1..7, filters=39415, revisions=(44141,useless=4826), ccks=62026329, wck=11.985, mem=76M794
16.35/14.13 decisions=50965, wrong=25316, backtracks=87, failedAssignments=25315, nogoods=7383, foundSolutions=2, bestBound=75
16.35/14.13
16.54/14.38 num=63, depth=0..1, filters=39694, revisions=(44495,useless=4893), ccks=64553858, wck=12.231, mem=79M437
16.54/14.38 decisions=50994, wrong=25330, backtracks=87, failedAssignments=25329, nogoods=7395, foundSolutions=2, bestBound=75
16.54/14.38
16.65/14.47 num=64, depth=6..7, filters=39917, revisions=(44791,useless=4960), ccks=65324058, wck=12.316, mem=79M437
16.65/14.47 decisions=51033, wrong=25346, backtracks=87, failedAssignments=25345, nogoods=7411, foundSolutions=2, bestBound=75
16.65/14.47
16.75/14.56 num=65, depth=6..7, filters=40406, revisions=(45381,useless=5074), ccks=66113982, wck=12.408, mem=79M437
16.75/14.56 decisions=51073, wrong=25363, backtracks=88, failedAssignments=25362, nogoods=7424, foundSolutions=2, bestBound=75
16.75/14.56
16.75/14.59 num=66, depth=2..2, filters=40447, revisions=(45449,useless=5097), ccks=66377817, wck=12.442, mem=79M437
16.75/14.59 decisions=51113, wrong=25382, backtracks=88, failedAssignments=25381, nogoods=7443, foundSolutions=2, bestBound=75
16.75/14.59
16.85/14.66 num=67, depth=6..7, filters=40672, revisions=(45752,useless=5175), ccks=66991432, wck=12.515, mem=79M437
16.85/14.66 decisions=51162, wrong=25403, backtracks=88, failedAssignments=25402, nogoods=7464, foundSolutions=2, bestBound=75
16.85/14.66
17.26/15.04 num=68, depth=1..1, filters=41058, revisions=(46297,useless=5328), ccks=70818339, wck=12.886, mem=82M79
17.26/15.04 decisions=51209, wrong=25426, backtracks=88, failedAssignments=25425, nogoods=7487, foundSolutions=2, bestBound=75
17.26/15.04
17.36/15.12 num=69, depth=7..7, filters=41253, revisions=(46562,useless=5391), ccks=71577274, wck=12.971, mem=82M79
17.36/15.12 decisions=51266, wrong=25451, backtracks=88, failedAssignments=25450, nogoods=7512, foundSolutions=2, bestBound=75
17.36/15.12
17.45/15.27 num=70, depth=5..6, filters=42170, revisions=(47715,useless=5663), ccks=72799135, wck=13.118, mem=82M79
17.45/15.27 decisions=51338, wrong=25484, backtracks=96, failedAssignments=25478, nogoods=7525, foundSolutions=2, bestBound=75
17.45/15.27
17.55/15.31 num=71, depth=2..2, filters=42223, revisions=(47795,useless=5686), ccks=73063657, wck=13.158, mem=84M722
17.55/15.31 decisions=51402, wrong=25515, backtracks=96, failedAssignments=25509, nogoods=7556, foundSolutions=2, bestBound=75
17.55/15.31
17.55/15.38 num=72, depth=7..7, filters=42396, revisions=(48031,useless=5749), ccks=73645329, wck=13.228, mem=84M722
17.55/15.38 decisions=51477, wrong=25549, backtracks=96, failedAssignments=25543, nogoods=7590, foundSolutions=2, bestBound=75
17.55/15.38
17.85/15.64 num=73, depth=0..2, filters=42973, revisions=(48813,useless=5964), ccks=76049235, wck=13.488, mem=87M364
17.85/15.64 decisions=51553, wrong=25586, backtracks=98, failedAssignments=25580, nogoods=7595, foundSolutions=2, bestBound=75
17.85/15.64
17.95/15.77 num=74, depth=0..7, filters=43214, revisions=(49136,useless=6042), ccks=77263395, wck=13.617, mem=87M364
17.95/15.77 decisions=51642, wrong=25627, backtracks=99, failedAssignments=25621, nogoods=7633, foundSolutions=2, bestBound=75
17.95/15.77
18.15/15.91 num=75, depth=5..6, filters=44373, revisions=(50564,useless=6319), ccks=78417632, wck=13.761, mem=87M364
18.15/15.91 decisions=51738, wrong=25672, backtracks=104, failedAssignments=25666, nogoods=7643, foundSolutions=2, bestBound=75
18.15/15.91
18.36/16.19 num=76, depth=0..6, filters=44938, revisions=(51288,useless=6482), ccks=80846674, wck=14.04, mem=90M6
18.36/16.19 decisions=51844, wrong=25722, backtracks=107, failedAssignments=25716, nogoods=7686, foundSolutions=2, bestBound=75
18.36/16.19
18.45/16.28 num=77, depth=0..6, filters=45178, revisions=(51594,useless=6560), ccks=81500033, wck=14.13, mem=90M6
18.45/16.28 decisions=51960, wrong=25777, backtracks=109, failedAssignments=25771, nogoods=7735, foundSolutions=2, bestBound=75
18.45/16.28
18.55/16.36 num=78, depth=1..9, filters=45505, revisions=(52015,useless=6660), ccks=82189284, wck=14.214, mem=90M6
18.55/16.36 decisions=52090, wrong=25838, backtracks=110, failedAssignments=25832, nogoods=7795, foundSolutions=2, bestBound=75
18.55/16.36
19.36/17.14 num=79, depth=0..1, filters=46686, revisions=(53601,useless=6993), ccks=90028010, wck=14.993, mem=95M291
19.36/17.14 decisions=52224, wrong=25905, backtracks=111, failedAssignments=25899, nogoods=7795, foundSolutions=2, bestBound=75
19.36/17.14
19.45/17.23 num=80, depth=6..9, filters=47013, revisions=(54003,useless=7067), ccks=90771808, wck=15.078, mem=95M291
19.45/17.23 decisions=52380, wrong=25979, backtracks=111, failedAssignments=25973, nogoods=7869, foundSolutions=2, bestBound=75
19.45/17.23
19.66/17.41 num=81, depth=5..6, filters=49006, revisions=(56500,useless=7622), ccks=92111844, wck=15.262, mem=97M934
19.66/17.41 decisions=52548, wrong=26060, backtracks=125, failedAssignments=26054, nogoods=7884, foundSolutions=2, bestBound=75
19.66/17.41
19.86/17.61 num=82, depth=0..6, filters=49429, revisions=(57043,useless=7740), ccks=93726208, wck=15.458, mem=97M934
19.86/17.61 decisions=52734, wrong=26150, backtracks=128, failedAssignments=26143, nogoods=7968, foundSolutions=2, bestBound=75
19.86/17.61
19.96/17.75 num=83, depth=0..7, filters=49948, revisions=(57713,useless=7911), ccks=94806394, wck=15.602, mem=100M576
19.96/17.75 decisions=52937, wrong=26248, backtracks=132, failedAssignments=26241, nogoods=8057, foundSolutions=2, bestBound=75
19.96/17.75
20.06/17.85 num=84, depth=4..9, filters=50366, revisions=(58233,useless=8019), ccks=95608559, wck=15.702, mem=100M576
20.06/17.85 decisions=53162, wrong=26356, backtracks=133, failedAssignments=26349, nogoods=8164, foundSolutions=2, bestBound=75
20.06/17.85
20.29/18.01 num=85, depth=1..6, filters=50839, revisions=(58854,useless=8179), ccks=96830582, wck=15.863, mem=103M219
20.29/18.01 decisions=53406, wrong=26475, backtracks=135, failedAssignments=26468, nogoods=8281, foundSolutions=2, bestBound=75
20.29/18.01
20.39/18.11 num=86, depth=4..7, filters=51224, revisions=(59319,useless=8267), ccks=97599285, wck=15.965, mem=103M219
20.39/18.11 decisions=53675, wrong=26606, backtracks=135, failedAssignments=26599, nogoods=8412, foundSolutions=2, bestBound=75
20.39/18.11
20.48/18.25 num=87, depth=1..7, filters=51676, revisions=(59872,useless=8377), ccks=98572660, wck=16.096, mem=103M219
20.48/18.25 decisions=53970, wrong=26750, backtracks=136, failedAssignments=26743, nogoods=8555, foundSolutions=2, bestBound=75
20.48/18.25
20.58/18.33 num=88, depth=7..7, filters=51973, revisions=(60225,useless=8439), ccks=99140207, wck=16.176, mem=103M219
20.58/18.33 decisions=54293, wrong=26908, backtracks=136, failedAssignments=26901, nogoods=8713, foundSolutions=2, bestBound=75
20.58/18.33
20.68/18.40 num=89, depth=6..6, filters=52246, revisions=(60538,useless=8484), ccks=99566182, wck=16.251, mem=103M219
20.68/18.40 decisions=54647, wrong=27082, backtracks=136, failedAssignments=27075, nogoods=8887, foundSolutions=2, bestBound=75
20.68/18.40
20.68/18.49 num=90, depth=6..7, filters=52582, revisions=(60929,useless=8546), ccks=100133995, wck=16.338, mem=105M861
20.68/18.49 decisions=55035, wrong=27273, backtracks=137, failedAssignments=27266, nogoods=8961, foundSolutions=2, bestBound=75
20.68/18.49
20.78/18.57 num=91, depth=6..6, filters=52892, revisions=(61279,useless=8591), ccks=100559753, wck=16.417, mem=105M861
20.78/18.57 decisions=55463, wrong=27484, backtracks=137, failedAssignments=27477, nogoods=9172, foundSolutions=2, bestBound=75
20.78/18.57
20.98/18.77 num=92, depth=1..8, filters=53590, revisions=(62095,useless=8723), ccks=102190286, wck=16.617, mem=105M861
20.98/18.77 decisions=55935, wrong=27716, backtracks=139, failedAssignments=27709, nogoods=9402, foundSolutions=2, bestBound=75
20.98/18.77
21.11/18.89 num=93, depth=0..7, filters=54113, revisions=(62697,useless=8809), ccks=103024531, wck=16.745, mem=105M861
21.11/18.89 decisions=56452, wrong=27971, backtracks=141, failedAssignments=27964, nogoods=9648, foundSolutions=2, bestBound=75
21.11/18.89
21.36/19.03 num=94, depth=1..7, filters=54639, revisions=(63314,useless=8898), ccks=103931325, wck=16.879, mem=108M503
21.36/19.03 decisions=57021, wrong=28252, backtracks=142, failedAssignments=28245, nogoods=9928, foundSolutions=2, bestBound=75
21.36/19.03
21.46/19.13 num=95, depth=4..7, filters=55220, revisions=(63960,useless=8964), ccks=104415582, wck=16.977, mem=108M503
21.46/19.13 decisions=57646, wrong=28561, backtracks=142, failedAssignments=28554, nogoods=10237, foundSolutions=2, bestBound=75
21.46/19.13
21.59/19.22 num=96, depth=2..7, filters=55679, revisions=(64472,useless=9015), ccks=104877483, wck=17.07, mem=108M503
21.59/19.22 decisions=58333, wrong=28901, backtracks=142, failedAssignments=28894, nogoods=10577, foundSolutions=2, bestBound=75
21.59/19.22
21.69/19.32 num=97, depth=6..7, filters=56207, revisions=(65049,useless=9060), ccks=105258864, wck=17.17, mem=108M503
21.69/19.32 decisions=59087, wrong=29275, backtracks=143, failedAssignments=29268, nogoods=10791, foundSolutions=2, bestBound=75
21.69/19.32
21.79/19.43 num=98, depth=6..7, filters=56734, revisions=(65626,useless=9109), ccks=105703187, wck=17.281, mem=108M503
21.79/19.43 decisions=59915, wrong=29686, backtracks=144, failedAssignments=29679, nogoods=11081, foundSolutions=2, bestBound=75
21.79/19.43
21.89/19.54 num=99, depth=5..7, filters=57528, revisions=(66526,useless=9217), ccks=106131602, wck=17.387, mem=111M146
21.89/19.54 decisions=60826, wrong=30138, backtracks=148, failedAssignments=30131, nogoods=11526, foundSolutions=2, bestBound=75
21.89/19.54
21.99/19.67 num=100, depth=5..7, filters=58151, revisions=(67197,useless=9266), ccks=106576531, wck=17.518, mem=111M146
21.99/19.67 decisions=61825, wrong=30635, backtracks=150, failedAssignments=30628, nogoods=11662, foundSolutions=2, bestBound=75
21.99/19.67
22.20/19.81 num=101, depth=5..7, filters=58852, revisions=(67946,useless=9311), ccks=106953238, wck=17.657, mem=111M146
22.20/19.81 decisions=62924, wrong=31182, backtracks=152, failedAssignments=31175, nogoods=11715, foundSolutions=2, bestBound=75
22.20/19.81
22.30/19.93 num=102, depth=6..7, filters=59570, revisions=(68715,useless=9361), ccks=107396843, wck=17.785, mem=111M146
22.30/19.93 decisions=64134, wrong=31784, backtracks=153, failedAssignments=31777, nogoods=11975, foundSolutions=2, bestBound=75
22.30/19.93
22.51/20.16 num=103, depth=4..6, filters=61018, revisions=(70398,useless=9601), ccks=108152554, wck=18.009, mem=113M788
22.51/20.16 decisions=65465, wrong=32447, backtracks=160, failedAssignments=32439, nogoods=12147, foundSolutions=2, bestBound=75
22.51/20.16
22.70/20.35 num=104, depth=3..7, filters=62072, revisions=(71557,useless=9717), ccks=108936514, wck=18.198, mem=113M788
22.70/20.35 decisions=66926, wrong=33175, backtracks=162, failedAssignments=33167, nogoods=12190, foundSolutions=2, bestBound=75
22.70/20.35
22.90/20.58 num=105, depth=4..6, filters=63341, revisions=(72993,useless=9862), ccks=109591955, wck=18.432, mem=113M788
22.90/20.58 decisions=68533, wrong=33976, backtracks=166, failedAssignments=33968, nogoods=12515, foundSolutions=2, bestBound=75
22.90/20.58
23.20/20.83 num=106, depth=4..6, filters=64337, revisions=(74029,useless=9908), ccks=110011811, wck=18.68, mem=116M431
23.20/20.83 decisions=70299, wrong=34857, backtracks=168, failedAssignments=34849, nogoods=12763, foundSolutions=2, bestBound=75
23.20/20.83
23.51/21.12 num=107, depth=4..6, filters=65662, revisions=(75470,useless=10015), ccks=110465729, wck=18.967, mem=116M431
23.51/21.12 decisions=72243, wrong=35827, backtracks=173, failedAssignments=35819, nogoods=13081, foundSolutions=2, bestBound=75
23.51/21.12
23.80/21.47 num=108, depth=3..6, filters=66839, revisions=(76682,useless=10057), ccks=110867443, wck=19.323, mem=116M431
23.80/21.47 decisions=74380, wrong=36894, backtracks=176, failedAssignments=36886, nogoods=13444, foundSolutions=2, bestBound=75
23.80/21.47
24.30/21.94 num=109, depth=3..6, filters=69693, revisions=(80166,useless=10706), ccks=112038921, wck=19.792, mem=121M716
24.30/21.94 decisions=76729, wrong=38067, backtracks=197, failedAssignments=38059, nogoods=13568, foundSolutions=2, bestBound=75
24.30/21.94
25.11/22.72 num=110, depth=1..8, filters=71835, revisions=(82563,useless=10980), ccks=115411096, wck=20.57, mem=121M716
25.11/22.72 decisions=79319, wrong=39358, backtracks=204, failedAssignments=39350, nogoods=13664, foundSolutions=2, bestBound=75
25.11/22.72
25.41/23.10 num=111, depth=3..8, filters=73471, revisions=(84243,useless=11037), ccks=116076784, wck=20.951, mem=124M358
25.41/23.10 decisions=82162, wrong=40778, backtracks=209, failedAssignments=40770, nogoods=13844, foundSolutions=2, bestBound=75
25.41/23.10
25.71/23.39 o 74
25.71/23.39 num=112, depth=4..54, filters=75150, revisions=(86374,useless=11513), ccks=118354107, wck=21.239, mem=127M0
25.71/23.39 decisions=82421, wrong=40903, backtracks=220, failedAssignments=40895, nogoods=13924, foundSolutions=3, bestBound=74
25.71/23.39
26.01/23.69 num=113, depth=4..9, filters=77208, revisions=(88536,useless=11626), ccks=119136650, wck=21.538, mem=127M0
26.01/23.69 decisions=85861, wrong=42621, backtracks=225, failedAssignments=42613, nogoods=14009, foundSolutions=3, bestBound=74
26.01/23.69
26.11/23.76 num=114, depth=5..7, filters=77569, revisions=(88987,useless=11734), ccks=119781037, wck=21.614, mem=127M0
26.11/23.76 decisions=85888, wrong=42632, backtracks=227, failedAssignments=42624, nogoods=14011, foundSolutions=3, bestBound=74
26.11/23.76
26.31/23.95 num=115, depth=0..2, filters=77819, revisions=(89341,useless=11818), ccks=121426830, wck=21.799, mem=127M0
26.31/23.95 decisions=85914, wrong=42644, backtracks=229, failedAssignments=42636, nogoods=14018, foundSolutions=3, bestBound=74
26.31/23.95
26.42/24.02 num=116, depth=7..7, filters=77992, revisions=(89574,useless=11877), ccks=122098538, wck=21.873, mem=127M0
26.42/24.02 decisions=85947, wrong=42657, backtracks=229, failedAssignments=42649, nogoods=14031, foundSolutions=3, bestBound=74
26.42/24.02
26.52/24.11 num=117, depth=5..7, filters=78397, revisions=(90070,useless=11986), ccks=122814717, wck=21.956, mem=129M643
26.52/24.11 decisions=85980, wrong=42671, backtracks=231, failedAssignments=42663, nogoods=14035, foundSolutions=3, bestBound=74
26.52/24.11
26.61/24.29 num=118, depth=0..3, filters=78725, revisions=(90511,useless=12079), ccks=124398020, wck=22.136, mem=129M643
26.61/24.29 decisions=86017, wrong=42688, backtracks=234, failedAssignments=42679, nogoods=14041, foundSolutions=3, bestBound=74
26.61/24.29
26.71/24.36 num=119, depth=0..7, filters=79007, revisions=(90892,useless=12175), ccks=125042895, wck=22.21, mem=129M643
26.71/24.36 decisions=86058, wrong=42705, backtracks=234, failedAssignments=42696, nogoods=14057, foundSolutions=3, bestBound=74
26.71/24.36
26.81/24.43 num=120, depth=8..8, filters=79186, revisions=(91126,useless=12235), ccks=125678155, wck=22.282, mem=129M643
26.81/24.43 decisions=86104, wrong=42724, backtracks=234, failedAssignments=42715, nogoods=14076, foundSolutions=3, bestBound=74
26.81/24.43
26.92/24.56 num=121, depth=5..7, filters=79891, revisions=(92054,useless=12466), ccks=126772698, wck=22.414, mem=132M285
26.92/24.56 decisions=86153, wrong=42745, backtracks=242, failedAssignments=42736, nogoods=14091, foundSolutions=3, bestBound=74
26.92/24.56
27.32/24.94 num=122, depth=0..1, filters=80348, revisions=(92641,useless=12562), ccks=130581065, wck=22.788, mem=132M285
27.32/24.94 decisions=86200, wrong=42768, backtracks=242, failedAssignments=42759, nogoods=14110, foundSolutions=3, bestBound=74
27.32/24.94
27.43/25.01 num=123, depth=7..7, filters=80532, revisions=(92880,useless=12620), ccks=131264731, wck=22.864, mem=132M285
27.43/25.01 decisions=86257, wrong=42793, backtracks=242, failedAssignments=42784, nogoods=14135, foundSolutions=3, bestBound=74
27.43/25.01
27.43/25.08 num=124, depth=7..10, filters=80721, revisions=(93124,useless=12684), ccks=131848852, wck=22.932, mem=134M928
27.43/25.08 decisions=86323, wrong=42821, backtracks=242, failedAssignments=42812, nogoods=14163, foundSolutions=3, bestBound=74
27.43/25.08
27.92/25.50 num=125, depth=0..1, filters=81241, revisions=(93796,useless=12741), ccks=136049162, wck=23.353, mem=134M928
27.92/25.50 decisions=86386, wrong=42852, backtracks=242, failedAssignments=42843, nogoods=14187, foundSolutions=3, bestBound=74
27.92/25.50
27.92/25.58 num=126, depth=6..8, filters=81477, revisions=(94095,useless=12808), ccks=136744878, wck=23.432, mem=134M928
27.92/25.58 decisions=86462, wrong=42886, backtracks=242, failedAssignments=42877, nogoods=14221, foundSolutions=3, bestBound=74
27.92/25.58
28.43/26.10 num=127, depth=0..1, filters=82100, revisions=(94943,useless=12886), ccks=142044402, wck=23.955, mem=137M570
28.43/26.10 decisions=86537, wrong=42923, backtracks=242, failedAssignments=42914, nogoods=14252, foundSolutions=3, bestBound=74
28.43/26.10
28.53/26.18 num=128, depth=8..9, filters=82307, revisions=(95209,useless=12950), ccks=142709942, wck=24.03, mem=137M570
28.53/26.18 decisions=86628, wrong=42964, backtracks=242, failedAssignments=42955, nogoods=14293, foundSolutions=3, bestBound=74
28.53/26.18
28.62/26.25 num=129, depth=10..11, filters=82514, revisions=(95472,useless=13016), ccks=143294071, wck=24.098, mem=140M212
28.62/26.25 decisions=86729, wrong=43009, backtracks=242, failedAssignments=43000, nogoods=14338, foundSolutions=3, bestBound=74
28.62/26.25
28.73/26.34 num=130, depth=0..4, filters=82757, revisions=(95800,useless=13117), ccks=143856174, wck=24.191, mem=140M212
28.73/26.34 decisions=86837, wrong=43061, backtracks=246, failedAssignments=43050, nogoods=14368, foundSolutions=3, bestBound=74
28.73/26.34
28.83/26.43 num=131, depth=1..7, filters=83020, revisions=(96137,useless=13185), ccks=144564617, wck=24.276, mem=140M212
28.83/26.43 decisions=86954, wrong=43116, backtracks=246, failedAssignments=43105, nogoods=14423, foundSolutions=3, bestBound=74
28.83/26.43
28.93/26.52 num=132, depth=1..9, filters=83363, revisions=(96556,useless=13265), ccks=145333521, wck=24.366, mem=140M212
28.93/26.52 decisions=87085, wrong=43177, backtracks=246, failedAssignments=43166, nogoods=14484, foundSolutions=3, bestBound=74
28.93/26.52
29.23/26.80 num=133, depth=0..4, filters=84151, revisions=(97646,useless=13461), ccks=147710654, wck=24.651, mem=142M778
29.23/26.80 decisions=87223, wrong=43245, backtracks=251, failedAssignments=43233, nogoods=14507, foundSolutions=3, bestBound=74
29.23/26.80
29.33/26.97 num=134, depth=0..7, filters=84555, revisions=(98157,useless=13567), ccks=149068897, wck=24.82, mem=27M388
29.33/26.97 decisions=87380, wrong=43320, backtracks=253, failedAssignments=43307, nogoods=14576, foundSolutions=3, bestBound=74
29.33/26.97
29.48/27.06 num=135, depth=5..9, filters=84910, revisions=(98568,useless=13640), ccks=149789493, wck=24.907, mem=27M388
29.48/27.06 decisions=87551, wrong=43401, backtracks=253, failedAssignments=43388, nogoods=14657, foundSolutions=3, bestBound=74
29.48/27.06
29.58/27.12 o 73
29.58/27.12 num=136, depth=11..54, filters=85078, revisions=(98823,useless=13738), ccks=150371800, wck=24.974, mem=27M388
29.58/27.12 decisions=87577, wrong=43408, backtracks=253, failedAssignments=43395, nogoods=14664, foundSolutions=4, bestBound=73
29.58/27.12
29.68/27.23 num=137, depth=5..10, filters=85549, revisions=(99414,useless=13863), ccks=151179189, wck=25.076, mem=27M388
29.68/27.23 decisions=87785, wrong=43507, backtracks=254, failedAssignments=43493, nogoods=14761, foundSolutions=4, bestBound=73
29.68/27.23
29.78/27.33 num=138, depth=4..5, filters=85845, revisions=(99792,useless=13937), ccks=152136929, wck=25.182, mem=27M388
29.78/27.33 decisions=87811, wrong=43518, backtracks=255, failedAssignments=43504, nogoods=14766, foundSolutions=4, bestBound=73
29.78/27.33
29.88/27.47 num=139, depth=0..3, filters=86101, revisions=(100159,useless=14034), ccks=153303848, wck=25.318, mem=30M4
29.88/27.47 decisions=87838, wrong=43530, backtracks=257, failedAssignments=43516, nogoods=14771, foundSolutions=4, bestBound=73
29.88/27.47
29.98/27.53 num=140, depth=6..6, filters=86240, revisions=(100354,useless=14089), ccks=153838050, wck=25.376, mem=30M4
29.98/27.53 decisions=87870, wrong=43543, backtracks=257, failedAssignments=43529, nogoods=14784, foundSolutions=4, bestBound=73
29.98/27.53
29.98/27.59 num=141, depth=9..9, filters=86397, revisions=(100561,useless=14150), ccks=154422521, wck=25.441, mem=30M4
29.98/27.59 decisions=87907, wrong=43557, backtracks=257, failedAssignments=43543, nogoods=14798, foundSolutions=4, bestBound=73
29.98/27.59
30.08/27.68 num=142, depth=5..7, filters=86829, revisions=(101107,useless=14278), ccks=155238626, wck=25.534, mem=31M326
30.08/27.68 decisions=87944, wrong=43573, backtracks=259, failedAssignments=43559, nogoods=14808, foundSolutions=4, bestBound=73
30.08/27.68
30.29/27.86 num=143, depth=0..3, filters=87195, revisions=(101607,useless=14401), ccks=156739301, wck=25.709, mem=33M942
30.29/27.86 decisions=87983, wrong=43591, backtracks=262, failedAssignments=43576, nogoods=14812, foundSolutions=4, bestBound=73
30.29/27.86
30.39/27.92 num=144, depth=6..6, filters=87339, revisions=(101807,useless=14456), ccks=157270354, wck=25.767, mem=33M942
30.39/27.92 decisions=88027, wrong=43610, backtracks=262, failedAssignments=43595, nogoods=14831, foundSolutions=4, bestBound=73
30.39/27.92
30.39/27.98 num=145, depth=9..9, filters=87500, revisions=(102018,useless=14517), ccks=157849853, wck=25.832, mem=33M942
30.39/27.98 decisions=88078, wrong=43631, backtracks=262, failedAssignments=43616, nogoods=14852, foundSolutions=4, bestBound=73
30.39/27.98
30.50/28.08 num=146, depth=5..6, filters=88165, revisions=(102882,useless=14728), ccks=158663072, wck=25.931, mem=33M942
30.50/28.08 decisions=88132, wrong=43655, backtracks=266, failedAssignments=43639, nogoods=14862, foundSolutions=4, bestBound=73
30.50/28.08
30.79/28.33 num=147, depth=0..3, filters=88594, revisions=(103470,useless=14864), ccks=160919519, wck=26.18, mem=36M558
30.79/28.33 decisions=88185, wrong=43680, backtracks=269, failedAssignments=43664, nogoods=14875, foundSolutions=4, bestBound=73
30.79/28.33
30.79/28.39 num=148, depth=6..6, filters=88747, revisions=(103679,useless=14920), ccks=161447096, wck=26.239, mem=36M558
30.79/28.39 decisions=88247, wrong=43708, backtracks=269, failedAssignments=43692, nogoods=14903, foundSolutions=4, bestBound=73
30.79/28.39
30.89/28.45 num=149, depth=9..9, filters=88916, revisions=(103896,useless=14980), ccks=162015554, wck=26.303, mem=36M558
30.89/28.45 decisions=88318, wrong=43739, backtracks=269, failedAssignments=43723, nogoods=14934, foundSolutions=4, bestBound=73
30.89/28.45
30.99/28.59 num=150, depth=4..6, filters=89716, revisions=(104856,useless=15145), ccks=163139593, wck=26.44, mem=39M174
30.99/28.59 decisions=88397, wrong=43776, backtracks=275, failedAssignments=43757, nogoods=14946, foundSolutions=4, bestBound=73
30.99/28.59
31.29/28.84 num=151, depth=0..4, filters=90384, revisions=(105754,useless=15359), ccks=165295693, wck=26.695, mem=39M174
31.29/28.84 decisions=88477, wrong=43814, backtracks=278, failedAssignments=43794, nogoods=14963, foundSolutions=4, bestBound=73
31.29/28.84
31.39/28.92 num=152, depth=1..8, filters=90628, revisions=(106065,useless=15428), ccks=165951644, wck=26.772, mem=41M790
31.39/28.92 decisions=88567, wrong=43855, backtracks=278, failedAssignments=43835, nogoods=15004, foundSolutions=4, bestBound=73
31.39/28.92
31.69/29.29 num=153, depth=0..1, filters=91331, revisions=(107031,useless=15619), ccks=169572924, wck=27.144, mem=44M406
31.69/29.29 decisions=88658, wrong=43900, backtracks=279, failedAssignments=43880, nogoods=15008, foundSolutions=4, bestBound=73
31.69/29.29
31.79/29.36 num=154, depth=6..8, filters=91516, revisions=(107264,useless=15676), ccks=170164267, wck=27.212, mem=44M406
31.79/29.36 decisions=88766, wrong=43950, backtracks=279, failedAssignments=43930, nogoods=15058, foundSolutions=4, bestBound=73
31.79/29.36
31.89/29.46 num=155, depth=0..6, filters=91745, revisions=(107572,useless=15750), ccks=170967458, wck=27.31, mem=44M406
31.89/29.46 decisions=88882, wrong=44005, backtracks=282, failedAssignments=43985, nogoods=15099, foundSolutions=4, bestBound=73
31.89/29.46
31.99/29.52 num=156, depth=9..9, filters=91942, revisions=(107817,useless=15809), ccks=171522386, wck=27.375, mem=44M406
31.99/29.52 decisions=89013, wrong=44066, backtracks=282, failedAssignments=44046, nogoods=15160, foundSolutions=4, bestBound=73
31.99/29.52
32.09/29.69 num=157, depth=0..9, filters=92314, revisions=(108340,useless=15943), ccks=173105134, wck=27.544, mem=47M22
32.09/29.69 decisions=89156, wrong=44133, backtracks=288, failedAssignments=44113, nogoods=15214, foundSolutions=4, bestBound=73
32.09/29.69
32.19/29.76 num=158, depth=7..9, filters=92539, revisions=(108613,useless=15997), ccks=173671161, wck=27.612, mem=47M22
32.19/29.76 decisions=89313, wrong=44207, backtracks=288, failedAssignments=44187, nogoods=15288, foundSolutions=4, bestBound=73
32.19/29.76
32.39/29.99 num=159, depth=0..9, filters=93034, revisions=(109303,useless=16169), ccks=175776283, wck=27.84, mem=47M22
32.39/29.99 decisions=89484, wrong=44288, backtracks=296, failedAssignments=44268, nogoods=15347, foundSolutions=4, bestBound=73
32.39/29.99
32.50/30.10 num=160, depth=5..7, filters=93782, revisions=(110258,useless=16387), ccks=176609214, wck=27.947, mem=49M638
32.50/30.10 decisions=89669, wrong=44377, backtracks=301, failedAssignments=44357, nogoods=15417, foundSolutions=4, bestBound=73
32.50/30.10
32.99/30.59 num=161, depth=0..6, filters=96024, revisions=(112822,useless=16678), ccks=181044198, wck=28.444, mem=52M253
32.99/30.59 decisions=89868, wrong=44475, backtracks=304, failedAssignments=44455, nogoods=15431, foundSolutions=4, bestBound=73
32.99/30.59
33.29/30.83 num=162, depth=0..8, filters=96900, revisions=(113950,useless=16923), ccks=182986682, wck=28.683, mem=54M869
33.29/30.83 decisions=90091, wrong=44583, backtracks=313, failedAssignments=44563, nogoods=15513, foundSolutions=4, bestBound=73
33.29/30.83
33.70/31.20 num=163, depth=0..7, filters=99841, revisions=(117559,useless=17629), ccks=186202338, wck=29.048, mem=57M485
33.70/31.20 decisions=90350, wrong=44710, backtracks=331, failedAssignments=44682, nogoods=15548, foundSolutions=4, bestBound=73
33.70/31.20
33.90/31.40 num=164, depth=0..3, filters=100226, revisions=(118065,useless=17737), ccks=187644433, wck=29.248, mem=57M485
33.90/31.40 decisions=90614, wrong=44841, backtracks=333, failedAssignments=44813, nogoods=15670, foundSolutions=4, bestBound=73
33.90/31.40
33.90/31.48 num=165, depth=6..7, filters=100552, revisions=(118463,useless=17809), ccks=188278435, wck=29.332, mem=57M485
33.90/31.48 decisions=90909, wrong=44985, backtracks=333, failedAssignments=44957, nogoods=15814, foundSolutions=4, bestBound=73
33.90/31.48
34.00/31.58 num=166, depth=1..5, filters=100963, revisions=(118994,useless=17940), ccks=188845208, wck=29.435, mem=60M101
34.00/31.58 decisions=91230, wrong=45143, backtracks=334, failedAssignments=45115, nogoods=15971, foundSolutions=4, bestBound=73
34.00/31.58
34.10/31.67 num=167, depth=1..7, filters=101333, revisions=(119429,useless=18005), ccks=189427569, wck=29.524, mem=60M101
34.10/31.67 decisions=91585, wrong=45317, backtracks=334, failedAssignments=45289, nogoods=16145, foundSolutions=4, bestBound=73
34.10/31.67
34.20/31.74 num=168, depth=7..7, filters=101636, revisions=(119780,useless=18054), ccks=189850781, wck=29.59, mem=60M101
34.20/31.74 decisions=91974, wrong=45508, backtracks=334, failedAssignments=45480, nogoods=16336, foundSolutions=4, bestBound=73
34.20/31.74
34.30/31.82 num=169, depth=7..7, filters=101980, revisions=(120185,useless=18113), ccks=190380542, wck=29.67, mem=60M101
34.30/31.82 decisions=92403, wrong=45719, backtracks=334, failedAssignments=45691, nogoods=16547, foundSolutions=4, bestBound=73
34.30/31.82
34.30/31.89 num=170, depth=6..7, filters=102330, revisions=(120582,useless=18162), ccks=190801382, wck=29.743, mem=62M717
34.30/31.89 decisions=92873, wrong=45951, backtracks=335, failedAssignments=45923, nogoods=16640, foundSolutions=4, bestBound=73
34.30/31.89
34.40/32.00 num=171, depth=1..8, filters=102767, revisions=(121091,useless=18237), ccks=191544218, wck=29.849, mem=62M717
34.40/32.00 decisions=93391, wrong=46206, backtracks=337, failedAssignments=46178, nogoods=16814, foundSolutions=4, bestBound=73
34.40/32.00
34.51/32.06 num=172, depth=2..8, filters=103162, revisions=(121532,useless=18285), ccks=191889463, wck=29.913, mem=62M717
34.51/32.06 decisions=93961, wrong=46487, backtracks=337, failedAssignments=46459, nogoods=17095, foundSolutions=4, bestBound=73
34.51/32.06
34.61/32.16 num=173, depth=6..10, filters=103870, revisions=(122349,useless=18407), ccks=192660235, wck=30.014, mem=62M717
34.61/32.16 decisions=94588, wrong=46796, backtracks=338, failedAssignments=46768, nogoods=17399, foundSolutions=4, bestBound=73
34.61/32.16
34.80/32.31 o 72
34.80/32.31 num=174, depth=5..54, filters=104883, revisions=(123710,useless=18739), ccks=193810948, wck=30.158, mem=65M333
34.80/32.31 decisions=94770, wrong=46883, backtracks=346, failedAssignments=46854, nogoods=17463, foundSolutions=5, bestBound=72
34.80/32.31
34.90/32.40 num=175, depth=8..11, filters=105442, revisions=(124343,useless=18812), ccks=194440887, wck=30.249, mem=65M333
34.90/32.40 decisions=95528, wrong=47257, backtracks=347, failedAssignments=47228, nogoods=17589, foundSolutions=5, bestBound=72
34.90/32.40
34.90/32.48 num=176, depth=5..6, filters=105878, revisions=(124965,useless=19000), ccks=195136033, wck=30.334, mem=65M333
34.90/32.48 decisions=95555, wrong=47268, backtracks=354, failedAssignments=47239, nogoods=17597, foundSolutions=5, bestBound=72
34.90/32.48
35.11/32.66 num=177, depth=0..3, filters=106131, revisions=(125318,useless=19083), ccks=196724869, wck=30.508, mem=67M949
35.11/32.66 decisions=95582, wrong=47280, backtracks=357, failedAssignments=47251, nogoods=17599, foundSolutions=5, bestBound=72
35.11/32.66
35.21/32.76 num=178, depth=0..6, filters=106311, revisions=(125570,useless=19144), ccks=197651221, wck=30.611, mem=67M949
35.21/32.76 decisions=95616, wrong=47294, backtracks=358, failedAssignments=47264, nogoods=17610, foundSolutions=5, bestBound=72
35.21/32.76
35.31/32.82 num=179, depth=4..6, filters=106678, revisions=(126036,useless=19247), ccks=198088633, wck=30.673, mem=67M949
35.31/32.82 decisions=95648, wrong=47308, backtracks=360, failedAssignments=47278, nogoods=17613, foundSolutions=5, bestBound=72
35.31/32.82
35.52/33.07 num=180, depth=0..3, filters=107098, revisions=(126605,useless=19377), ccks=200285726, wck=30.919, mem=70M565
35.52/33.07 decisions=95685, wrong=47325, backtracks=362, failedAssignments=47294, nogoods=17623, foundSolutions=5, bestBound=72
35.52/33.07
35.62/33.13 num=181, depth=0..7, filters=107283, revisions=(126863,useless=19447), ccks=200832822, wck=30.983, mem=70M565
35.62/33.13 decisions=95726, wrong=47342, backtracks=362, failedAssignments=47311, nogoods=17639, foundSolutions=5, bestBound=72
35.62/33.13
35.71/33.20 num=182, depth=5..8, filters=107644, revisions=(127336,useless=19571), ccks=201369832, wck=31.05, mem=70M565
35.71/33.20 decisions=95771, wrong=47361, backtracks=363, failedAssignments=47330, nogoods=17653, foundSolutions=5, bestBound=72
35.71/33.20
35.81/33.39 num=183, depth=0..3, filters=107946, revisions=(127705,useless=19597), ccks=203264288, wck=31.244, mem=70M565
35.81/33.39 decisions=95816, wrong=47382, backtracks=363, failedAssignments=47351, nogoods=17668, foundSolutions=5, bestBound=72
35.81/33.39
35.91/33.47 num=184, depth=7..8, filters=108142, revisions=(127976,useless=19666), ccks=203896324, wck=31.316, mem=70M565
35.91/33.47 decisions=95870, wrong=47405, backtracks=363, failedAssignments=47374, nogoods=17691, foundSolutions=5, bestBound=72
35.91/33.47
36.01/33.52 num=185, depth=0..4, filters=108361, revisions=(128301,useless=19760), ccks=204270551, wck=31.371, mem=73M181
36.01/33.52 decisions=95924, wrong=47430, backtracks=364, failedAssignments=47399, nogoods=17703, foundSolutions=5, bestBound=72
36.01/33.52
36.01/33.59 num=186, depth=7..7, filters=108533, revisions=(128536,useless=19823), ccks=204869050, wck=31.439, mem=73M181
36.01/33.59 decisions=95987, wrong=47458, backtracks=364, failedAssignments=47427, nogoods=17731, foundSolutions=5, bestBound=72
36.01/33.59
36.11/33.63 num=187, depth=4..4, filters=108621, revisions=(128645,useless=19849), ccks=205151010, wck=31.481, mem=73M181
36.11/33.63 decisions=96053, wrong=47489, backtracks=364, failedAssignments=47458, nogoods=17762, foundSolutions=5, bestBound=72
36.11/33.63
36.21/33.74 num=188, depth=1..8, filters=108820, revisions=(128924,useless=19925), ccks=206135351, wck=31.589, mem=73M181
36.21/33.74 decisions=96129, wrong=47523, backtracks=365, failedAssignments=47492, nogoods=17794, foundSolutions=5, bestBound=72
36.21/33.74
36.41/33.91 num=189, depth=0..11, filters=109094, revisions=(129326,useless=20050), ccks=207738065, wck=31.757, mem=75M797
36.41/33.91 decisions=96214, wrong=47560, backtracks=370, failedAssignments=47529, nogoods=17823, foundSolutions=5, bestBound=72
36.41/33.91
36.41/33.97 num=190, depth=5..7, filters=109323, revisions=(129621,useless=20116), ccks=208307094, wck=31.824, mem=75M797
36.41/33.97 decisions=96302, wrong=47601, backtracks=370, failedAssignments=47570, nogoods=17864, foundSolutions=5, bestBound=72
36.41/33.97
36.52/34.04 num=191, depth=9..9, filters=109542, revisions=(129909,useless=20183), ccks=208930107, wck=31.894, mem=75M797
36.52/34.04 decisions=96401, wrong=47646, backtracks=370, failedAssignments=47615, nogoods=17909, foundSolutions=5, bestBound=72
36.52/34.04
36.52/34.09 num=192, depth=2..3, filters=109676, revisions=(130088,useless=20231), ccks=209164721, wck=31.942, mem=75M797
36.52/34.09 decisions=96504, wrong=47696, backtracks=370, failedAssignments=47665, nogoods=17959, foundSolutions=5, bestBound=72
36.52/34.09
36.62/34.17 num=193, depth=2..7, filters=109957, revisions=(130443,useless=20303), ccks=209824937, wck=32.023, mem=75M797
36.62/34.17 decisions=96621, wrong=47751, backtracks=370, failedAssignments=47720, nogoods=18014, foundSolutions=5, bestBound=72
36.62/34.17
36.73/34.23 num=194, depth=7..7, filters=110127, revisions=(130661,useless=20352), ccks=210238414, wck=32.077, mem=75M797
36.73/34.23 decisions=96750, wrong=47812, backtracks=370, failedAssignments=47781, nogoods=18075, foundSolutions=5, bestBound=72
36.73/34.23
36.73/34.29 num=195, depth=7..7, filters=110331, revisions=(130925,useless=20406), ccks=210739038, wck=32.141, mem=78M413
36.73/34.29 decisions=96891, wrong=47879, backtracks=370, failedAssignments=47848, nogoods=18142, foundSolutions=5, bestBound=72
36.73/34.29
36.83/34.34 num=196, depth=7..7, filters=110514, revisions=(131156,useless=20455), ccks=211146804, wck=32.195, mem=78M413
36.83/34.34 decisions=97046, wrong=47953, backtracks=370, failedAssignments=47922, nogoods=18216, foundSolutions=5, bestBound=72
36.83/34.34
36.93/34.41 num=197, depth=7..7, filters=110732, revisions=(131434,useless=20509), ccks=211647442, wck=32.259, mem=78M413
36.93/34.41 decisions=97215, wrong=48034, backtracks=370, failedAssignments=48003, nogoods=18297, foundSolutions=5, bestBound=72
36.93/34.41
36.93/34.46 num=198, depth=7..7, filters=110930, revisions=(131680,useless=20558), ccks=212055223, wck=32.315, mem=78M413
36.93/34.46 decisions=97400, wrong=48123, backtracks=370, failedAssignments=48092, nogoods=18386, foundSolutions=5, bestBound=72
36.93/34.46
37.03/34.53 num=199, depth=7..7, filters=111165, revisions=(131975,useless=20612), ccks=212555878, wck=32.381, mem=78M413
37.03/34.53 decisions=97603, wrong=48221, backtracks=370, failedAssignments=48190, nogoods=18484, foundSolutions=5, bestBound=72
37.03/34.53
37.03/34.59 num=200, depth=7..7, filters=111382, revisions=(132240,useless=20661), ccks=212963678, wck=32.437, mem=78M413
37.03/34.59 decisions=97826, wrong=48329, backtracks=370, failedAssignments=48298, nogoods=18592, foundSolutions=5, bestBound=72
37.03/34.59
37.13/34.65 num=201, depth=7..7, filters=111638, revisions=(132556,useless=20715), ccks=213464354, wck=32.505, mem=78M413
37.13/34.65 decisions=98071, wrong=48448, backtracks=370, failedAssignments=48417, nogoods=18711, foundSolutions=5, bestBound=72
37.13/34.65
37.23/34.77 num=202, depth=1..6, filters=111945, revisions=(132925,useless=20774), ccks=214321158, wck=32.621, mem=81M29
37.23/34.77 decisions=98339, wrong=48579, backtracks=370, failedAssignments=48548, nogoods=18842, foundSolutions=5, bestBound=72
37.23/34.77
37.33/34.87 num=203, depth=4..7, filters=112630, revisions=(133792,useless=20961), ccks=214870892, wck=32.716, mem=81M29
37.33/34.87 decisions=98634, wrong=48723, backtracks=374, failedAssignments=48692, nogoods=18971, foundSolutions=5, bestBound=72
37.33/34.87
37.43/34.94 num=204, depth=6..7, filters=112937, revisions=(134157,useless=21015), ccks=215374083, wck=32.795, mem=81M29
37.43/34.94 decisions=98956, wrong=48881, backtracks=375, failedAssignments=48850, nogoods=19082, foundSolutions=5, bestBound=72
37.43/34.94
37.54/35.02 num=205, depth=6..6, filters=113221, revisions=(134488,useless=21060), ccks=215777395, wck=32.868, mem=81M29
37.54/35.02 decisions=99310, wrong=49055, backtracks=375, failedAssignments=49024, nogoods=19256, foundSolutions=5, bestBound=72
37.54/35.02
37.54/35.08 num=206, depth=7..7, filters=113545, revisions=(134862,useless=21103), ccks=216124706, wck=32.931, mem=81M29
37.54/35.08 decisions=99699, wrong=49246, backtracks=375, failedAssignments=49215, nogoods=19447, foundSolutions=5, bestBound=72
37.54/35.08
37.64/35.18 num=207, depth=5..7, filters=114132, revisions=(135577,useless=21240), ccks=216758698, wck=33.029, mem=83M645
37.64/35.18 decisions=100127, wrong=49457, backtracks=378, failedAssignments=49426, nogoods=19655, foundSolutions=5, bestBound=72
37.64/35.18
37.73/35.26 num=208, depth=5..6, filters=114484, revisions=(135974,useless=21285), ccks=217162075, wck=33.114, mem=83M645
37.73/35.26 decisions=100596, wrong=49689, backtracks=379, failedAssignments=49658, nogoods=19723, foundSolutions=5, bestBound=72
37.73/35.26
37.83/35.34 num=209, depth=6..7, filters=114879, revisions=(136417,useless=21328), ccks=217510196, wck=33.195, mem=83M645
37.83/35.34 decisions=101112, wrong=49944, backtracks=380, failedAssignments=49913, nogoods=19920, foundSolutions=5, bestBound=72
37.83/35.34
37.93/35.44 num=210, depth=5..6, filters=115288, revisions=(136878,useless=21376), ccks=217999392, wck=33.292, mem=83M645
37.93/35.44 decisions=101679, wrong=50225, backtracks=381, failedAssignments=50194, nogoods=19935, foundSolutions=5, bestBound=72
37.93/35.44
38.03/35.54 num=211, depth=5..6, filters=115775, revisions=(137422,useless=21435), ccks=218424250, wck=33.388, mem=83M645
38.03/35.54 decisions=102303, wrong=50534, backtracks=381, failedAssignments=50503, nogoods=20244, foundSolutions=5, bestBound=72
38.03/35.54
38.13/35.64 num=212, depth=5..6, filters=116250, revisions=(137940,useless=21474), ccks=218769517, wck=33.495, mem=83M645
38.13/35.64 decisions=102988, wrong=50874, backtracks=382, failedAssignments=50843, nogoods=20409, foundSolutions=5, bestBound=72
38.13/35.64
38.23/35.74 num=213, depth=7..7, filters=116754, revisions=(138503,useless=21529), ccks=219260079, wck=33.589, mem=86M261
38.23/35.74 decisions=103743, wrong=51248, backtracks=382, failedAssignments=51217, nogoods=20783, foundSolutions=5, bestBound=72
38.23/35.74
38.33/35.86 num=214, depth=5..6, filters=117288, revisions=(139080,useless=21572), ccks=219658535, wck=33.715, mem=86M261
38.33/35.86 decisions=104570, wrong=51659, backtracks=383, failedAssignments=51628, nogoods=21090, foundSolutions=5, bestBound=72
38.33/35.86
38.43/35.99 num=215, depth=4..7, filters=117937, revisions=(139783,useless=21627), ccks=220016275, wck=33.838, mem=86M261
38.43/35.99 decisions=105478, wrong=52111, backtracks=386, failedAssignments=52080, nogoods=21123, foundSolutions=5, bestBound=72
38.43/35.99
38.65/36.11 num=216, depth=6..7, filters=118571, revisions=(140474,useless=21682), ccks=220507171, wck=33.965, mem=86M261
38.65/36.11 decisions=106478, wrong=52608, backtracks=387, failedAssignments=52577, nogoods=21542, foundSolutions=5, bestBound=72
38.65/36.11
38.84/36.30 num=217, depth=4..6, filters=119252, revisions=(141197,useless=21726), ccks=220904958, wck=34.15, mem=86M261
38.84/36.30 decisions=107576, wrong=53155, backtracks=389, failedAssignments=53124, nogoods=21882, foundSolutions=5, bestBound=72
38.84/36.30
38.94/36.45 num=218, depth=5..6, filters=120032, revisions=(142022,useless=21769), ccks=221256483, wck=34.305, mem=86M261
38.94/36.45 decisions=108785, wrong=53757, backtracks=390, failedAssignments=53726, nogoods=22145, foundSolutions=5, bestBound=72
38.94/36.45
39.14/36.67 num=219, depth=4..6, filters=120838, revisions=(142881,useless=21821), ccks=221745544, wck=34.524, mem=88M877
39.14/36.67 decisions=110113, wrong=54419, backtracks=392, failedAssignments=54388, nogoods=22302, foundSolutions=5, bestBound=72
39.14/36.67
39.44/36.93 num=220, depth=3..6, filters=121719, revisions=(143803,useless=21865), ccks=222149273, wck=34.78, mem=88M877
39.44/36.93 decisions=111572, wrong=55147, backtracks=395, failedAssignments=55116, nogoods=22595, foundSolutions=5, bestBound=72
39.44/36.93
39.94/37.46 num=221, depth=3..6, filters=126107, revisions=(149499,useless=23235), ccks=224646348, wck=35.306, mem=94M109
39.94/37.46 decisions=113187, wrong=55952, backtracks=442, failedAssignments=55917, nogoods=22870, foundSolutions=5, bestBound=72
39.94/37.46
40.14/37.65 num=222, depth=5..7, filters=127181, revisions=(150635,useless=23295), ccks=225156647, wck=35.498, mem=96M725
40.14/37.65 decisions=114954, wrong=56833, backtracks=444, failedAssignments=56798, nogoods=23087, foundSolutions=5, bestBound=72
40.14/37.65
40.44/37.91 num=223, depth=3..7, filters=128326, revisions=(151826,useless=23346), ccks=225554122, wck=35.757, mem=96M725
40.44/37.91 decisions=116897, wrong=57803, backtracks=448, failedAssignments=57768, nogoods=23265, foundSolutions=5, bestBound=72
40.44/37.91
40.74/38.27 num=224, depth=3..6, filters=130353, revisions=(154260,useless=23758), ccks=226442358, wck=36.121, mem=99M341
40.74/38.27 decisions=119035, wrong=58870, backtracks=463, failedAssignments=58835, nogoods=23545, foundSolutions=5, bestBound=72
40.74/38.27
41.24/38.74 num=225, depth=4..7, filters=133434, revisions=(157935,useless=24384), ccks=228429567, wck=36.589, mem=101M957
41.24/38.74 decisions=121390, wrong=60044, backtracks=486, failedAssignments=60008, nogoods=23703, foundSolutions=5, bestBound=72
41.24/38.74
44.44/41.98 num=226, depth=0..6, filters=138696, revisions=(164975,useless=25840), ccks=253288218, wck=39.831, mem=117M653
44.44/41.98 decisions=123974, wrong=61335, backtracks=497, failedAssignments=61299, nogoods=23714, foundSolutions=5, bestBound=72
44.44/41.98
45.04/42.57 num=227, depth=4..7, filters=144658, revisions=(171770,useless=26695), ccks=256916093, wck=40.422, mem=122M885
45.04/42.57 decisions=126849, wrong=62770, backtracks=538, failedAssignments=62719, nogoods=24034, foundSolutions=5, bestBound=72
45.04/42.57
45.65/43.11 num=228, depth=4..7, filters=148428, revisions=(175969,useless=27120), ccks=259217440, wck=40.962, mem=125M501
45.65/43.11 decisions=129984, wrong=64334, backtracks=549, failedAssignments=64281, nogoods=24119, foundSolutions=5, bestBound=72
45.65/43.11
46.24/43.73 num=229, depth=2..8, filters=150523, revisions=(178162,useless=27231), ccks=259964685, wck=41.578, mem=125M501
46.24/43.73 decisions=133422, wrong=66052, backtracks=555, failedAssignments=65999, nogoods=24484, foundSolutions=5, bestBound=72
46.24/43.73
47.14/44.64 num=230, depth=3..7, filters=156724, revisions=(185878,useless=28583), ccks=264967312, wck=42.495, mem=135M965
47.14/44.64 decisions=137209, wrong=67942, backtracks=586, failedAssignments=67889, nogoods=24759, foundSolutions=5, bestBound=72
47.14/44.64
52.58/50.07 num=231, depth=0..6, filters=173914, revisions=(206265,useless=31024), ccks=307152406, wck=47.924, mem=33M808
52.58/50.07 decisions=141386, wrong=70029, backtracks=614, failedAssignments=69968, nogoods=24847, foundSolutions=5, bestBound=72
52.58/50.07
53.21/50.67 num=232, depth=4..7, filters=177516, revisions=(210042,useless=31264), ccks=308482483, wck=48.517, mem=36M424
53.21/50.67 decisions=145967, wrong=72316, backtracks=628, failedAssignments=72255, nogoods=25217, foundSolutions=5, bestBound=72
53.21/50.67
53.81/51.22 num=233, depth=4..7, filters=180800, revisions=(213510,useless=31460), ccks=309303877, wck=49.066, mem=36M424
53.81/51.22 decisions=151008, wrong=74834, backtracks=638, failedAssignments=74771, nogoods=25438, foundSolutions=5, bestBound=72
53.81/51.22
54.01/51.44 o 71
54.01/51.44 num=234, depth=1..54, filters=181689, revisions=(214623,useless=31691), ccks=310781779, wck=49.292, mem=39M40
54.01/51.44 decisions=151444, wrong=75047, backtracks=643, failedAssignments=74984, nogoods=25500, foundSolutions=6, bestBound=71
54.01/51.44
60.92/58.37 num=235, depth=0..7, filters=195059, revisions=(231130,useless=33480), ccks=370346562, wck=56.216, mem=68M675
60.92/58.37 decisions=157543, wrong=78094, backtracks=673, failedAssignments=78028, nogoods=25606, foundSolutions=6, bestBound=71
60.92/58.37
61.02/58.47 num=236, depth=4..4, filters=195308, revisions=(231459,useless=33553), ccks=371342816, wck=56.32, mem=68M675
61.02/58.47 decisions=157569, wrong=78105, backtracks=673, failedAssignments=78039, nogoods=25617, foundSolutions=6, bestBound=71
61.02/58.47
61.22/58.62 num=237, depth=0..3, filters=195595, revisions=(231855,useless=33639), ccks=372603815, wck=56.466, mem=68M675
61.22/58.62 decisions=157596, wrong=78117, backtracks=675, failedAssignments=78051, nogoods=25620, foundSolutions=6, bestBound=71
61.22/58.62
61.22/58.67 num=238, depth=0..5, filters=195717, revisions=(232037,useless=33700), ccks=373154461, wck=56.525, mem=68M675
61.22/58.67 decisions=157627, wrong=78130, backtracks=675, failedAssignments=78064, nogoods=25632, foundSolutions=6, bestBound=71
61.22/58.67
61.34/58.76 num=239, depth=4..7, filters=196018, revisions=(232437,useless=33799), ccks=373865273, wck=56.606, mem=71M291
61.34/58.76 decisions=157662, wrong=78144, backtracks=677, failedAssignments=78078, nogoods=25638, foundSolutions=6, bestBound=71
61.34/58.76
61.56/58.90 num=240, depth=4..4, filters=196373, revisions=(232859,useless=33858), ccks=375193970, wck=56.748, mem=71M291
61.56/58.90 decisions=157698, wrong=78160, backtracks=677, failedAssignments=78094, nogoods=25654, foundSolutions=6, bestBound=71
61.56/58.90
61.67/59.04 num=241, depth=0..3, filters=196701, revisions=(233309,useless=33962), ccks=376331602, wck=56.886, mem=71M291
61.67/59.04 decisions=157737, wrong=78178, backtracks=679, failedAssignments=78111, nogoods=25662, foundSolutions=6, bestBound=71
61.67/59.04
61.86/59.22 num=242, depth=0..3, filters=197065, revisions=(233820,useless=34103), ccks=377906616, wck=57.074, mem=73M907
61.86/59.22 decisions=157777, wrong=78197, backtracks=685, failedAssignments=78130, nogoods=25663, foundSolutions=6, bestBound=71
61.86/59.22
62.06/59.42 num=243, depth=0..4, filters=197562, revisions=(234469,useless=34259), ccks=379579560, wck=57.268, mem=73M907
62.06/59.42 decisions=157825, wrong=78219, backtracks=691, failedAssignments=78151, nogoods=25675, foundSolutions=6, bestBound=71
62.06/59.42
62.26/59.65 num=244, depth=0..3, filters=198058, revisions=(235141,useless=34407), ccks=381506925, wck=57.497, mem=76M523
62.26/59.65 decisions=157878, wrong=78244, backtracks=698, failedAssignments=78174, nogoods=25679, foundSolutions=6, bestBound=71
62.26/59.65
62.46/59.84 num=245, depth=0..5, filters=198594, revisions=(235880,useless=34597), ccks=383066744, wck=57.687, mem=76M523
62.46/59.84 decisions=157935, wrong=78270, backtracks=703, failedAssignments=78199, nogoods=25686, foundSolutions=6, bestBound=71
62.46/59.84
62.77/60.12 num=246, depth=0..4, filters=199156, revisions=(236691,useless=34784), ccks=385627633, wck=57.971, mem=79M139
62.77/60.12 decisions=157999, wrong=78300, backtracks=706, failedAssignments=78227, nogoods=25705, foundSolutions=6, bestBound=71
62.77/60.12
63.07/60.42 num=247, depth=0..4, filters=199854, revisions=(237708,useless=35027), ccks=388202582, wck=58.275, mem=81M755
63.07/60.42 decisions=158067, wrong=78332, backtracks=714, failedAssignments=78258, nogoods=25712, foundSolutions=6, bestBound=71
63.07/60.42
63.27/60.60 num=248, depth=1..5, filters=200444, revisions=(238486,useless=35198), ccks=389587844, wck=58.45, mem=81M755
63.27/60.60 decisions=158140, wrong=78366, backtracks=717, failedAssignments=78292, nogoods=25741, foundSolutions=6, bestBound=71
63.27/60.60
63.27/60.67 num=249, depth=4..9, filters=200695, revisions=(238812,useless=35284), ccks=390189363, wck=58.525, mem=81M755
63.27/60.67 decisions=158223, wrong=78403, backtracks=718, failedAssignments=78329, nogoods=25777, foundSolutions=6, bestBound=71
63.27/60.67
63.37/60.73 num=250, depth=2..4, filters=200815, revisions=(238972,useless=35328), ccks=390583869, wck=58.581, mem=84M371
63.37/60.73 decisions=158309, wrong=78444, backtracks=718, failedAssignments=78370, nogoods=25818, foundSolutions=6, bestBound=71
63.37/60.73
63.57/60.91 num=251, depth=3..6, filters=201358, revisions=(239676,useless=35501), ccks=392096847, wck=58.765, mem=84M371
63.57/60.91 decisions=158405, wrong=78489, backtracks=719, failedAssignments=78415, nogoods=25860, foundSolutions=6, bestBound=71
63.57/60.91
63.68/61.04 num=252, depth=4..8, filters=201933, revisions=(240442,useless=35697), ccks=393105317, wck=58.886, mem=86M987
63.68/61.04 decisions=158512, wrong=78539, backtracks=722, failedAssignments=78465, nogoods=25907, foundSolutions=6, bestBound=71
63.68/61.04
63.68/61.08 num=253, depth=4..4, filters=202037, revisions=(240568,useless=35723), ccks=393386013, wck=58.934, mem=86M987
63.68/61.08 decisions=158626, wrong=78594, backtracks=722, failedAssignments=78520, nogoods=25962, foundSolutions=6, bestBound=71
63.68/61.08
63.78/61.17 num=254, depth=3..8, filters=202471, revisions=(241119,useless=35857), ccks=394056351, wck=59.021, mem=86M987
63.78/61.17 decisions=158755, wrong=78655, backtracks=724, failedAssignments=78581, nogoods=26013, foundSolutions=6, bestBound=71
63.78/61.17
64.88/62.26 num=255, depth=1..2, filters=204067, revisions=(243452,useless=36395), ccks=404695564, wck=60.107, mem=92M219
64.88/62.26 decisions=158890, wrong=78722, backtracks=757, failedAssignments=78648, nogoods=26048, foundSolutions=6, bestBound=71
64.88/62.26
65.18/62.53 num=256, depth=0..5, filters=204691, revisions=(244279,useless=36601), ccks=407199317, wck=60.385, mem=94M835
65.18/62.53 decisions=159045, wrong=78797, backtracks=762, failedAssignments=78722, nogoods=26116, foundSolutions=6, bestBound=71
65.18/62.53
65.28/62.61 num=257, depth=4..7, filters=204964, revisions=(244634,useless=36684), ccks=407776713, wck=60.463, mem=94M835
65.28/62.61 decisions=159214, wrong=78878, backtracks=763, failedAssignments=78803, nogoods=26196, foundSolutions=6, bestBound=71
65.28/62.61
66.08/63.46 num=258, depth=2..4, filters=206454, revisions=(246505,useless=36904), ccks=415610043, wck=61.308, mem=100M67
66.08/63.46 decisions=159394, wrong=78967, backtracks=765, failedAssignments=78892, nogoods=26217, foundSolutions=6, bestBound=71
66.08/63.46
66.38/63.79 num=259, depth=0..5, filters=207439, revisions=(247809,useless=37217), ccks=418169985, wck=61.638, mem=102M682
66.38/63.79 decisions=159597, wrong=79066, backtracks=772, failedAssignments=78990, nogoods=26288, foundSolutions=6, bestBound=71
66.38/63.79
66.48/63.87 num=260, depth=5..6, filters=207703, revisions=(248136,useless=37278), ccks=418721904, wck=61.716, mem=102M682
66.48/63.87 decisions=159819, wrong=79174, backtracks=772, failedAssignments=79098, nogoods=26396, foundSolutions=6, bestBound=71
66.48/63.87
66.58/63.94 num=261, depth=4..10, filters=208034, revisions=(248548,useless=37367), ccks=419267512, wck=61.787, mem=102M682
66.58/63.94 decisions=160067, wrong=79293, backtracks=774, failedAssignments=79217, nogoods=26513, foundSolutions=6, bestBound=71
66.58/63.94
66.69/64.02 num=262, depth=0..5, filters=208383, revisions=(248978,useless=37456), ccks=419654443, wck=61.874, mem=102M682
66.69/64.02 decisions=160334, wrong=79424, backtracks=776, failedAssignments=79348, nogoods=26623, foundSolutions=6, bestBound=71
66.69/64.02
66.69/64.10 num=263, depth=6..6, filters=208658, revisions=(249306,useless=37506), ccks=420167829, wck=61.953, mem=102M682
66.69/64.10 decisions=160628, wrong=79568, backtracks=776, failedAssignments=79492, nogoods=26767, foundSolutions=6, bestBound=71
66.69/64.10
66.79/64.17 num=264, depth=8..12, filters=208946, revisions=(249646,useless=37566), ccks=420651456, wck=62.019, mem=105M298
66.79/64.17 decisions=160956, wrong=79726, backtracks=776, failedAssignments=79650, nogoods=26925, foundSolutions=6, bestBound=71
66.79/64.17
67.08/64.41 num=265, depth=0..4, filters=209619, revisions=(250576,useless=37781), ccks=422430204, wck=62.257, mem=105M298
67.08/64.41 decisions=161308, wrong=79900, backtracks=785, failedAssignments=79824, nogoods=27076, foundSolutions=6, bestBound=71
67.08/64.41
67.08/64.49 num=266, depth=6..6, filters=209941, revisions=(250951,useless=37831), ccks=422955065, wck=62.343, mem=107M914
67.08/64.49 decisions=161696, wrong=80091, backtracks=785, failedAssignments=80015, nogoods=27267, foundSolutions=6, bestBound=71
67.08/64.49
67.18/64.56 num=267, depth=12..12, filters=210282, revisions=(251344,useless=37891), ccks=423439116, wck=62.411, mem=107M914
67.18/64.56 decisions=162130, wrong=80302, backtracks=785, failedAssignments=80226, nogoods=27478, foundSolutions=6, bestBound=71
67.18/64.56
67.58/64.99 num=268, depth=1..5, filters=211590, revisions=(253124,useless=38301), ccks=426417597, wck=62.837, mem=110M530
67.58/64.99 decisions=162601, wrong=80535, backtracks=811, failedAssignments=80458, nogoods=27650, foundSolutions=6, bestBound=71
67.58/64.99
67.79/65.16 num=269, depth=2..6, filters=212173, revisions=(253798,useless=38397), ccks=427635217, wck=63.01, mem=113M146
67.79/65.16 decisions=163117, wrong=80790, backtracks=811, failedAssignments=80713, nogoods=27905, foundSolutions=6, bestBound=71
67.79/65.16
67.88/65.27 num=270, depth=5..7, filters=212731, revisions=(254449,useless=38485), ccks=428188952, wck=63.116, mem=113M146
67.88/65.27 decisions=163685, wrong=81071, backtracks=815, failedAssignments=80994, nogoods=28163, foundSolutions=6, bestBound=71
67.88/65.27
68.18/65.51 num=271, depth=0..4, filters=213322, revisions=(255170,useless=38594), ccks=429725554, wck=63.355, mem=113M146
68.18/65.51 decisions=164307, wrong=81380, backtracks=820, failedAssignments=81303, nogoods=28464, foundSolutions=6, bestBound=71
68.18/65.51
68.28/65.63 num=272, depth=4..9, filters=214502, revisions=(256613,useless=38873), ccks=430468482, wck=63.478, mem=115M762
68.28/65.63 decisions=164996, wrong=81720, backtracks=829, failedAssignments=81643, nogoods=28768, foundSolutions=6, bestBound=71
68.28/65.63
68.88/66.28 num=273, depth=0..5, filters=215816, revisions=(258341,useless=39102), ccks=436071629, wck=64.126, mem=118M378
68.88/66.28 decisions=165749, wrong=82094, backtracks=830, failedAssignments=82017, nogoods=29086, foundSolutions=6, bestBound=71
68.88/66.28
69.08/66.45 num=274, depth=4..9, filters=216744, revisions=(259440,useless=39278), ccks=437417891, wck=64.3, mem=120M994
69.08/66.45 decisions=166579, wrong=82505, backtracks=831, failedAssignments=82428, nogoods=29496, foundSolutions=6, bestBound=71
69.08/66.45
69.28/66.64 num=275, depth=0..5, filters=217389, revisions=(260163,useless=39344), ccks=438252976, wck=64.487, mem=120M994
69.28/66.64 decisions=167488, wrong=82957, backtracks=831, failedAssignments=82880, nogoods=29944, foundSolutions=6, bestBound=71
69.28/66.64
69.38/66.80 num=276, depth=4..8, filters=218194, revisions=(261048,useless=39424), ccks=439120299, wck=64.646, mem=120M994
69.38/66.80 decisions=168489, wrong=83454, backtracks=833, failedAssignments=83377, nogoods=29977, foundSolutions=6, bestBound=71
69.38/66.80
73.08/70.45 num=277, depth=1..4, filters=223966, revisions=(268651,useless=40616), ccks=471595156, wck=68.302, mem=139M306
73.08/70.45 decisions=169589, wrong=84002, backtracks=851, failedAssignments=83924, nogoods=30216, foundSolutions=6, bestBound=71
73.08/70.45
73.28/70.63 num=278, depth=5..6, filters=224691, revisions=(269416,useless=40667), ccks=472128494, wck=68.478, mem=139M306
73.28/70.63 decisions=170798, wrong=84604, backtracks=852, failedAssignments=84526, nogoods=30594, foundSolutions=6, bestBound=71
73.28/70.63
73.38/70.75 num=279, depth=6..11, filters=225750, revisions=(270626,useless=40832), ccks=472724987, wck=68.604, mem=139M306
73.38/70.75 decisions=172135, wrong=85268, backtracks=857, failedAssignments=85188, nogoods=30632, foundSolutions=6, bestBound=71
73.38/70.75
73.69/71.02 num=280, depth=2..4, filters=226592, revisions=(271509,useless=40886), ccks=472968907, wck=68.871, mem=139M306
73.69/71.02 decisions=173594, wrong=85996, backtracks=858, failedAssignments=85916, nogoods=30886, foundSolutions=6, bestBound=71
73.69/71.02
73.79/71.18 num=281, depth=3..8, filters=227691, revisions=(272690,useless=40982), ccks=473501167, wck=69.031, mem=141M922
73.79/71.18 decisions=175203, wrong=86798, backtracks=863, failedAssignments=86717, nogoods=31050, foundSolutions=6, bestBound=71
73.79/71.18
74.38/71.77 num=282, depth=0..6, filters=230061, revisions=(275612,useless=41404), ccks=476958482, wck=69.62, mem=147M154
74.38/71.77 decisions=176970, wrong=87679, backtracks=891, failedAssignments=87598, nogoods=31419, foundSolutions=6, bestBound=71
74.38/71.77
75.38/72.75 num=283, depth=0..7, filters=232555, revisions=(278790,useless=42090), ccks=485282599, wck=70.604, mem=152M386
75.38/72.75 decisions=178917, wrong=88649, backtracks=901, failedAssignments=88568, nogoods=31863, foundSolutions=6, bestBound=71
75.38/72.75
75.58/73.00 num=284, depth=0..8, filters=234101, revisions=(280507,useless=42266), ccks=486493467, wck=70.854, mem=155M2
75.58/73.00 decisions=181056, wrong=89716, backtracks=906, failedAssignments=89635, nogoods=32006, foundSolutions=6, bestBound=71
75.58/73.00
75.88/73.22 num=285, depth=4..8, filters=235606, revisions=(282095,useless=42358), ccks=487322952, wck=71.067, mem=155M2
75.88/73.22 decisions=183408, wrong=90889, backtracks=908, failedAssignments=90808, nogoods=32249, foundSolutions=6, bestBound=71
75.88/73.22
76.18/73.55 num=286, depth=3..6, filters=237192, revisions=(283757,useless=42455), ccks=487808411, wck=71.401, mem=155M2
76.18/73.55 decisions=185994, wrong=92180, backtracks=914, failedAssignments=92099, nogoods=32604, foundSolutions=6, bestBound=71
76.18/73.55
84.12/81.49 num=287, depth=0..5, filters=268323, revisions=(321069,useless=48577), ccks=544985030, wck=79.341, mem=71M445
84.12/81.49 decisions=188882, wrong=93622, backtracks=1163, failedAssignments=93519, nogoods=32641, foundSolutions=6, bestBound=71
84.12/81.49
84.73/82.08 num=288, depth=0..10, filters=270903, revisions=(324023,useless=48916), ccks=547893054, wck=79.932, mem=74M65
84.73/82.08 decisions=192016, wrong=95184, backtracks=1173, failedAssignments=95081, nogoods=32771, foundSolutions=6, bestBound=71
84.73/82.08
85.22/82.50 num=289, depth=3..8, filters=273643, revisions=(327148,useless=49313), ccks=549016902, wck=80.349, mem=76M684
85.22/82.50 decisions=195460, wrong=96902, backtracks=1186, failedAssignments=96799, nogoods=33070, foundSolutions=6, bestBound=71
85.22/82.50
87.32/84.63 num=290, depth=0..5, filters=279232, revisions=(333742,useless=50133), ccks=563749998, wck=82.479, mem=84M542
87.32/84.63 decisions=199244, wrong=98793, backtracks=1196, failedAssignments=98689, nogoods=33349, foundSolutions=6, bestBound=71
87.32/84.63
88.12/85.42 num=291, depth=4..9, filters=288577, revisions=(344619,useless=51587), ccks=567772726, wck=83.272, mem=95M18
88.12/85.42 decisions=203414, wrong=100874, backtracks=1218, failedAssignments=100768, nogoods=33761, foundSolutions=6, bestBound=71
88.12/85.42
91.32/88.64 num=292, depth=1..5, filters=298018, revisions=(355944,useless=53279), ccks=589374538, wck=86.494, mem=113M353
91.32/88.64 decisions=207993, wrong=103162, backtracks=1243, failedAssignments=103055, nogoods=33793, foundSolutions=6, bestBound=71
91.32/88.64
91.83/89.12 num=293, depth=3..8, filters=301212, revisions=(359400,useless=53548), ccks=590762938, wck=86.975, mem=113M353
91.83/89.12 decisions=213031, wrong=105678, backtracks=1253, failedAssignments=105571, nogoods=33977, foundSolutions=6, bestBound=71
91.83/89.12
94.02/91.38 num=294, depth=0..9, filters=306251, revisions=(365261,useless=54195), ccks=602986534, wck=89.229, mem=123M830
94.02/91.38 decisions=218576, wrong=108446, backtracks=1260, failedAssignments=108339, nogoods=34217, foundSolutions=6, bestBound=71
94.02/91.38
94.62/91.92 num=295, depth=0..10, filters=309907, revisions=(369124,useless=54437), ccks=603782459, wck=89.769, mem=123M830
94.62/91.92 decisions=224674, wrong=111490, backtracks=1270, failedAssignments=111383, nogoods=34449, foundSolutions=6, bestBound=71
94.62/91.92
95.73/93.05 num=296, depth=1..7, filters=313870, revisions=(373264,useless=54641), ccks=605748001, wck=90.896, mem=126M449
95.73/93.05 decisions=231379, wrong=114839, backtracks=1281, failedAssignments=114732, nogoods=34889, foundSolutions=6, bestBound=71
95.73/93.05
96.62/93.91 num=297, depth=2..8, filters=317931, revisions=(377432,useless=54761), ccks=606563812, wck=91.756, mem=126M449
96.62/93.91 decisions=238752, wrong=118523, backtracks=1288, failedAssignments=118416, nogoods=35262, foundSolutions=6, bestBound=71
96.62/93.91
98.12/95.46 num=298, depth=0..8, filters=323497, revisions=(383525,useless=55275), ccks=613549721, wck=93.309, mem=131M687
98.12/95.46 decisions=246860, wrong=122575, backtracks=1302, failedAssignments=122468, nogoods=35678, foundSolutions=6, bestBound=71
98.12/95.46
101.22/98.51 num=299, depth=1..8, filters=340627, revisions=(403797,useless=58468), ccks=629196534, wck=96.357, mem=155M261
101.22/98.51 decisions=255828, wrong=127057, backtracks=1392, failedAssignments=126925, nogoods=36141, foundSolutions=6, bestBound=71
101.22/98.51
102.12/99.45 num=300, depth=1..10, filters=349029, revisions=(413236,useless=59575), ccks=632227036, wck=97.298, mem=157M880
102.12/99.45 decisions=265647, wrong=131962, backtracks=1441, failedAssignments=131828, nogoods=36277, foundSolutions=6, bestBound=71
102.12/99.45
107.55/104.87 num=301, depth=1..11, filters=368810, revisions=(437282,useless=63263), ccks=670069338, wck=102.725, mem=55M795
107.55/104.87 decisions=276473, wrong=137370, backtracks=1494, failedAssignments=137222, nogoods=36404, foundSolutions=6, bestBound=71
107.55/104.87
116.35/113.68 num=302, depth=0..8, filters=397763, revisions=(472074,useless=67734), ccks=728295229, wck=111.527, mem=104M922
116.35/113.68 decisions=288367, wrong=143316, backtracks=1725, failedAssignments=143155, nogoods=36515, foundSolutions=6, bestBound=71
116.35/113.68
118.35/115.69 num=303, depth=0..11, filters=408645, revisions=(484406,useless=68987), ccks=736608233, wck=113.543, mem=115M264
118.35/115.69 decisions=301426, wrong=149842, backtracks=1794, failedAssignments=149681, nogoods=36614, foundSolutions=6, bestBound=71
118.35/115.69
121.86/119.14 num=304, depth=3..12, filters=437815, revisions=(520423,useless=75698), ccks=754562244, wck=116.988, mem=151M463
121.86/119.14 decisions=315814, wrong=157033, backtracks=1993, failedAssignments=156860, nogoods=37055, foundSolutions=6, bestBound=71
121.86/119.14
124.69/121.97 num=305, depth=1..9, filters=460527, revisions=(546728,useless=79435), ccks=768741209, wck=119.821, mem=37M647
124.69/121.97 decisions=331684, wrong=164964, backtracks=2083, failedAssignments=164757, nogoods=37363, foundSolutions=6, bestBound=71
124.69/121.97
129.09/126.33 num=306, depth=0..11, filters=476903, revisions=(565516,useless=81517), ccks=794068712, wck=124.182, mem=58M40
129.09/126.33 decisions=349072, wrong=173655, backtracks=2192, failedAssignments=173444, nogoods=37728, foundSolutions=6, bestBound=71
129.09/126.33
131.29/128.52 o 68
131.29/128.52 num=307, depth=0..54, filters=491432, revisions=(582706,useless=84105), ccks=804571014, wck=126.366, mem=73M335
131.29/128.52 decisions=358675, wrong=178452, backtracks=2275, failedAssignments=178212, nogoods=37817, foundSolutions=7, bestBound=68
131.29/128.52
132.49/129.79 o 66
132.49/129.79 num=308, depth=1..54, filters=505732, revisions=(598663,useless=85852), ccks=808967998, wck=127.644, mem=78M433
132.49/129.79 decisions=368842, wrong=183528, backtracks=2306, failedAssignments=183269, nogoods=37935, foundSolutions=8, bestBound=66
132.49/129.79
132.69/129.91 num=309, depth=0..5, filters=506116, revisions=(599109,useless=85917), ccks=809962978, wck=127.762, mem=80M982
132.69/129.91 decisions=368869, wrong=183539, backtracks=2307, failedAssignments=183280, nogoods=37943, foundSolutions=8, bestBound=66
132.69/129.91
132.80/130.06 num=310, depth=1..3, filters=506464, revisions=(599590,useless=85997), ccks=811039684, wck=127.91, mem=80M982
132.80/130.06 decisions=368896, wrong=183552, backtracks=2311, failedAssignments=183291, nogoods=37946, foundSolutions=8, bestBound=66
132.80/130.06
132.90/130.14 num=311, depth=4..5, filters=506884, revisions=(600088,useless=86080), ccks=811651074, wck=127.99, mem=80M982
132.90/130.14 decisions=368926, wrong=183565, backtracks=2312, failedAssignments=183303, nogoods=37951, foundSolutions=8, bestBound=66
132.90/130.14
132.99/130.30 num=312, depth=1..3, filters=507294, revisions=(600659,useless=86205), ccks=812777682, wck=128.146, mem=83M531
132.99/130.30 decisions=368956, wrong=183579, backtracks=2317, failedAssignments=183316, nogoods=37957, foundSolutions=8, bestBound=66
132.99/130.30
133.10/130.38 num=313, depth=3..6, filters=507684, revisions=(601150,useless=86308), ccks=813471457, wck=128.232, mem=83M531
133.10/130.38 decisions=368988, wrong=183593, backtracks=2321, failedAssignments=183330, nogoods=37962, foundSolutions=8, bestBound=66
133.10/130.38
133.30/130.57 num=314, depth=0..3, filters=508109, revisions=(601720,useless=86399), ccks=814932807, wck=128.424, mem=83M531
133.30/130.57 decisions=369028, wrong=183612, backtracks=2325, failedAssignments=183346, nogoods=37971, foundSolutions=8, bestBound=66
133.30/130.57
133.40/130.66 num=315, depth=4..5, filters=508736, revisions=(602515,useless=86570), ccks=815609463, wck=128.514, mem=86M80
133.40/130.66 decisions=369067, wrong=183629, backtracks=2327, failedAssignments=183363, nogoods=37981, foundSolutions=8, bestBound=66
133.40/130.66
133.60/130.82 num=316, depth=1..5, filters=509160, revisions=(603121,useless=86712), ccks=816871083, wck=128.668, mem=86M80
133.60/130.82 decisions=369114, wrong=183651, backtracks=2331, failedAssignments=183382, nogoods=37997, foundSolutions=8, bestBound=66
133.60/130.82
133.81/131.08 num=317, depth=0..3, filters=509864, revisions=(604124,useless=86928), ccks=818650797, wck=128.929, mem=88M629
133.81/131.08 decisions=369170, wrong=183678, backtracks=2342, failedAssignments=183403, nogoods=38004, foundSolutions=8, bestBound=66
133.81/131.08
133.91/131.18 num=318, depth=4..5, filters=510721, revisions=(605157,useless=87121), ccks=819391862, wck=129.033, mem=88M629
133.91/131.18 decisions=369228, wrong=183705, backtracks=2347, failedAssignments=183426, nogoods=38021, foundSolutions=8, bestBound=66
133.91/131.18
134.10/131.39 num=319, depth=0..5, filters=511276, revisions=(605917,useless=87304), ccks=820961397, wck=129.236, mem=91M178
134.10/131.39 decisions=369283, wrong=183730, backtracks=2357, failedAssignments=183451, nogoods=38024, foundSolutions=8, bestBound=66
134.10/131.39
134.40/131.60 num=320, depth=1..3, filters=512163, revisions=(607153,useless=87615), ccks=822032226, wck=129.448, mem=93M727
134.40/131.60 decisions=369345, wrong=183760, backtracks=2369, failedAssignments=183479, nogoods=38037, foundSolutions=8, bestBound=66
134.40/131.60
134.40/131.67 num=321, depth=3..7, filters=512552, revisions=(607642,useless=87718), ccks=822607995, wck=129.525, mem=93M727
134.40/131.67 decisions=369416, wrong=183792, backtracks=2370, failedAssignments=183510, nogoods=38067, foundSolutions=8, bestBound=66
134.40/131.67
134.51/131.76 num=322, depth=2..6, filters=512937, revisions=(608145,useless=87844), ccks=823234925, wck=129.608, mem=93M727
134.51/131.76 decisions=369489, wrong=183826, backtracks=2370, failedAssignments=183544, nogoods=38101, foundSolutions=8, bestBound=66
134.51/131.76
134.61/131.86 num=323, depth=2..7, filters=513503, revisions=(608860,useless=87995), ccks=824073760, wck=129.714, mem=93M727
134.61/131.86 decisions=369568, wrong=183863, backtracks=2372, failedAssignments=183581, nogoods=38127, foundSolutions=8, bestBound=66
134.61/131.86
135.01/132.30 num=324, depth=1..1, filters=514315, revisions=(609923,useless=88146), ccks=827826604, wck=130.146, mem=98M825
135.01/132.30 decisions=369651, wrong=183904, backtracks=2372, failedAssignments=183622, nogoods=38168, foundSolutions=8, bestBound=66
135.01/132.30
135.11/132.36 num=325, depth=7..7, filters=514523, revisions=(610188,useless=88204), ccks=828328627, wck=130.211, mem=98M825
135.11/132.36 decisions=369748, wrong=183949, backtracks=2372, failedAssignments=183667, nogoods=38213, foundSolutions=8, bestBound=66
135.11/132.36
135.31/132.58 num=326, depth=1..7, filters=516376, revisions=(612467,useless=88647), ccks=830044118, wck=130.429, mem=98M825
135.31/132.58 decisions=369868, wrong=184006, backtracks=2383, failedAssignments=183717, nogoods=38230, foundSolutions=8, bestBound=66
135.31/132.58
135.51/132.71 num=327, depth=1..5, filters=516989, revisions=(613290,useless=88848), ccks=830911472, wck=130.56, mem=101M374
135.51/132.71 decisions=369981, wrong=184061, backtracks=2388, failedAssignments=183772, nogoods=38270, foundSolutions=8, bestBound=66
135.51/132.71
135.51/132.77 num=328, depth=3..8, filters=517205, revisions=(613573,useless=88910), ccks=831357271, wck=130.622, mem=101M374
135.51/132.77 decisions=370111, wrong=184122, backtracks=2388, failedAssignments=183833, nogoods=38331, foundSolutions=8, bestBound=66
135.51/132.77
135.71/132.98 num=329, depth=3..6, filters=518616, revisions=(615517,useless=89442), ccks=832789774, wck=130.831, mem=103M923
135.71/132.98 decisions=370250, wrong=184189, backtracks=2401, failedAssignments=183900, nogoods=38354, foundSolutions=8, bestBound=66
135.71/132.98
136.21/133.49 num=330, depth=0..7, filters=520461, revisions=(617962,useless=89938), ccks=836574717, wck=131.345, mem=109M21
136.21/133.49 decisions=370413, wrong=184269, backtracks=2420, failedAssignments=183974, nogoods=38370, foundSolutions=8, bestBound=66
136.21/133.49
136.61/133.89 num=331, depth=0..5, filters=521829, revisions=(619850,useless=90404), ccks=839054564, wck=131.737, mem=111M570
136.61/133.89 decisions=370586, wrong=184353, backtracks=2436, failedAssignments=184055, nogoods=38405, foundSolutions=8, bestBound=66
136.61/133.89
137.01/134.23 num=332, depth=1..6, filters=523646, revisions=(622134,useless=90865), ccks=841724984, wck=132.08, mem=116M668
137.01/134.23 decisions=370792, wrong=184454, backtracks=2451, failedAssignments=184144, nogoods=38429, foundSolutions=8, bestBound=66
137.01/134.23
137.11/134.32 num=333, depth=2..3, filters=523960, revisions=(622514,useless=90909), ccks=842068701, wck=132.17, mem=116M668
137.11/134.32 decisions=370990, wrong=184552, backtracks=2451, failedAssignments=184242, nogoods=38527, foundSolutions=8, bestBound=66
137.11/134.32
137.21/134.40 num=334, depth=3..6, filters=524313, revisions=(622957,useless=90998), ccks=842530566, wck=132.25, mem=116M668
137.21/134.40 decisions=371212, wrong=184660, backtracks=2452, failedAssignments=184350, nogoods=38634, foundSolutions=8, bestBound=66
137.21/134.40
137.51/134.71 num=335, depth=1..9, filters=527038, revisions=(626224,useless=91562), ccks=844861763, wck=132.558, mem=119M217
137.51/134.71 decisions=371474, wrong=184787, backtracks=2465, failedAssignments=184469, nogoods=38671, foundSolutions=8, bestBound=66
137.51/134.71
138.82/136.04 num=336, depth=1..4, filters=530011, revisions=(629950,useless=92093), ccks=855534865, wck=133.893, mem=126M864
138.82/136.04 decisions=371743, wrong=184921, backtracks=2488, failedAssignments=184600, nogoods=38691, foundSolutions=8, bestBound=66
138.82/136.04
139.11/136.30 num=337, depth=0..6, filters=530782, revisions=(631021,useless=92342), ccks=857345747, wck=134.148, mem=129M413
139.11/136.30 decisions=372035, wrong=185065, backtracks=2497, failedAssignments=184744, nogoods=38811, foundSolutions=8, bestBound=66
139.11/136.30
139.11/136.37 num=338, depth=2..6, filters=531109, revisions=(631405,useless=92404), ccks=857702212, wck=134.221, mem=129M413
139.11/136.37 decisions=372357, wrong=185223, backtracks=2497, failedAssignments=184902, nogoods=38969, foundSolutions=8, bestBound=66
139.11/136.37
139.52/136.75 num=339, depth=1..7, filters=534012, revisions=(635378,useless=93524), ccks=860133130, wck=134.597, mem=134M511
139.52/136.75 decisions=372713, wrong=185398, backtracks=2532, failedAssignments=185076, nogoods=39045, foundSolutions=8, bestBound=66
139.52/136.75
140.11/137.31 num=340, depth=2..6, filters=538069, revisions=(640529,useless=94556), ccks=864138904, wck=135.157, mem=142M158
140.11/137.31 decisions=373118, wrong=185598, backtracks=2551, failedAssignments=185267, nogoods=39087, foundSolutions=8, bestBound=66
140.11/137.31
140.61/137.83 num=341, depth=0..7, filters=539447, revisions=(642480,useless=95036), ccks=867878588, wck=135.678, mem=144M707
140.61/137.83 decisions=373553, wrong=185812, backtracks=2569, failedAssignments=185478, nogoods=39254, foundSolutions=8, bestBound=66
140.61/137.83
140.71/137.94 num=342, depth=1..7, filters=539896, revisions=(643005,useless=95114), ccks=868643155, wck=135.792, mem=144M707
140.71/137.94 decisions=374024, wrong=186044, backtracks=2570, failedAssignments=185710, nogoods=39485, foundSolutions=8, bestBound=66
140.71/137.94
141.41/138.69 num=343, depth=0..5, filters=542111, revisions=(645857,useless=95672), ccks=874556728, wck=136.537, mem=152M355
141.41/138.69 decisions=374542, wrong=186301, backtracks=2583, failedAssignments=185965, nogoods=39664, foundSolutions=8, bestBound=66
141.41/138.69
142.64/139.84 num=344, depth=1..6, filters=547088, revisions=(652320,useless=97268), ccks=882488454, wck=137.686, mem=35M286
142.64/139.84 decisions=375110, wrong=186583, backtracks=2615, failedAssignments=186246, nogoods=39706, foundSolutions=8, bestBound=66
142.64/139.84
143.24/140.47 num=345, depth=0..7, filters=549312, revisions=(655345,useless=97916), ccks=887183981, wck=138.323, mem=40M307
143.24/140.47 decisions=375743, wrong=186896, backtracks=2632, failedAssignments=186555, nogoods=39928, foundSolutions=8, bestBound=66
143.24/140.47
143.44/140.61 num=346, depth=2..6, filters=549984, revisions=(656108,useless=98009), ccks=887960957, wck=138.463, mem=40M307
143.44/140.61 decisions=376428, wrong=187236, backtracks=2632, failedAssignments=186895, nogoods=40268, foundSolutions=8, bestBound=66
143.44/140.61
143.54/140.75 num=347, depth=5..7, filters=550966, revisions=(657263,useless=98182), ccks=888768704, wck=138.596, mem=40M307
143.54/140.75 decisions=377185, wrong=187611, backtracks=2636, failedAssignments=187269, nogoods=40633, foundSolutions=8, bestBound=66
143.54/140.75
144.25/141.44 num=348, depth=2..6, filters=554385, revisions=(661266,useless=98647), ccks=893913428, wck=139.294, mem=47M838
144.25/141.44 decisions=378018, wrong=188025, backtracks=2645, failedAssignments=187680, nogoods=40927, foundSolutions=8, bestBound=66
144.25/141.44
144.65/141.81 num=349, depth=2..8, filters=556485, revisions=(663916,useless=99194), ccks=896468848, wck=139.657, mem=50M349
144.65/141.81 decisions=378928, wrong=188477, backtracks=2657, failedAssignments=188132, nogoods=41332, foundSolutions=8, bestBound=66
144.65/141.81
145.15/142.39 num=350, depth=0..6, filters=558191, revisions=(666019,useless=99504), ccks=901045405, wck=140.237, mem=55M370
145.15/142.39 decisions=379930, wrong=188975, backtracks=2663, failedAssignments=188629, nogoods=41779, foundSolutions=8, bestBound=66
145.15/142.39
145.35/142.51 num=351, depth=2..6, filters=558909, revisions=(666781,useless=99555), ccks=901395494, wck=140.365, mem=55M370
145.35/142.51 decisions=381029, wrong=189522, backtracks=2664, failedAssignments=189176, nogoods=41863, foundSolutions=8, bestBound=66
145.35/142.51
145.65/142.81 num=352, depth=2..6, filters=560864, revisions=(669167,useless=100043), ccks=902829022, wck=140.659, mem=57M880
145.65/142.81 decisions=382247, wrong=190129, backtracks=2683, failedAssignments=189778, nogoods=41969, foundSolutions=8, bestBound=66
145.65/142.81
145.86/143.07 num=353, depth=1..8, filters=562762, revisions=(671431,useless=100419), ccks=904668362, wck=140.92, mem=60M391
145.86/143.07 decisions=383582, wrong=190793, backtracks=2692, failedAssignments=190440, nogoods=42156, foundSolutions=8, bestBound=66
145.86/143.07
146.86/144.06 num=354, depth=1..7, filters=570752, revisions=(681410,useless=102378), ccks=912435578, wck=141.91, mem=67M922
146.86/144.06 decisions=385078, wrong=191538, backtracks=2719, failedAssignments=191168, nogoods=42612, foundSolutions=8, bestBound=66
146.86/144.06
149.35/146.58 num=355, depth=1..6, filters=579137, revisions=(691851,useless=103825), ccks=931121811, wck=144.433, mem=88M6
149.35/146.58 decisions=386695, wrong=192344, backtracks=2757, failedAssignments=191969, nogoods=43050, foundSolutions=8, bestBound=66
149.35/146.58
149.55/146.77 num=356, depth=1..7, filters=580242, revisions=(693027,useless=103899), ccks=931848507, wck=144.624, mem=88M6
149.55/146.77 decisions=388463, wrong=193225, backtracks=2759, failedAssignments=192850, nogoods=43470, foundSolutions=8, bestBound=66
149.55/146.77
152.45/149.60 num=357, depth=1..6, filters=590020, revisions=(705528,useless=106743), ccks=951792662, wck=147.447, mem=105M580
152.45/149.60 decisions=390420, wrong=194202, backtracks=2851, failedAssignments=193820, nogoods=43880, foundSolutions=8, bestBound=66
152.45/149.60
152.65/149.86 num=358, depth=2..9, filters=591461, revisions=(707057,useless=106845), ccks=952306079, wck=147.711, mem=105M580
152.65/149.86 decisions=392565, wrong=195270, backtracks=2859, failedAssignments=194887, nogoods=44089, foundSolutions=8, bestBound=66
152.65/149.86
153.55/150.70 num=359, depth=0..7, filters=594890, revisions=(711328,useless=107587), ccks=958155571, wck=148.553, mem=113M112
153.55/150.70 decisions=394916, wrong=196443, backtracks=2876, failedAssignments=196060, nogoods=44227, foundSolutions=8, bestBound=66
153.55/150.70
154.35/151.57 num=360, depth=1..6, filters=598642, revisions=(715756,useless=108203), ccks=962751104, wck=149.423, mem=118M133
154.35/151.57 decisions=397504, wrong=197735, backtracks=2896, failedAssignments=197351, nogoods=44466, foundSolutions=8, bestBound=66
154.35/151.57
154.55/151.77 num=361, depth=2..9, filters=600329, revisions=(717524,useless=108297), ccks=963401886, wck=149.622, mem=118M133
154.55/151.77 decisions=400349, wrong=199155, backtracks=2901, failedAssignments=198771, nogoods=44491, foundSolutions=8, bestBound=66
154.55/151.77
159.78/156.90 num=362, depth=0..5, filters=616831, revisions=(738335,useless=112083), ccks=1000958640, wck=154.751, mem=30M782
159.78/156.90 decisions=403509, wrong=200733, backtracks=3003, failedAssignments=200333, nogoods=44814, foundSolutions=8, bestBound=66
159.78/156.90
160.48/157.64 num=363, depth=1..7, filters=622000, revisions=(744303,useless=112947), ccks=1004557989, wck=155.489, mem=35M724
160.48/157.64 decisions=406975, wrong=202463, backtracks=3031, failedAssignments=202051, nogoods=45018, foundSolutions=8, bestBound=66
160.48/157.64
161.08/158.29 num=364, depth=1..8, filters=626547, revisions=(749658,useless=113767), ccks=1007304499, wck=156.14, mem=38M194
161.08/158.29 decisions=410769, wrong=204357, backtracks=3050, failedAssignments=203941, nogoods=45441, foundSolutions=8, bestBound=66
161.08/158.29
161.58/158.76 num=365, depth=4..11, filters=630267, revisions=(753854,useless=114287), ccks=1009087073, wck=156.609, mem=43M136
161.58/158.76 decisions=414941, wrong=206439, backtracks=3064, failedAssignments=206020, nogoods=45615, foundSolutions=8, bestBound=66
161.58/158.76
162.28/159.48 num=366, depth=1..10, filters=634143, revisions=(758401,useless=114893), ccks=1011604503, wck=157.334, mem=45M607
162.28/159.48 decisions=419529, wrong=208728, backtracks=3089, failedAssignments=208307, nogoods=45985, foundSolutions=8, bestBound=66
162.28/159.48
164.18/161.35 num=367, depth=0..9, filters=641856, revisions=(768062,useless=116444), ccks=1024579143, wck=159.203, mem=60M431
164.18/161.35 decisions=424591, wrong=211256, backtracks=3149, failedAssignments=210823, nogoods=46424, foundSolutions=8, bestBound=66
164.18/161.35
165.18/162.32 num=368, depth=1..6, filters=645213, revisions=(771652,useless=116696), ccks=1025379744, wck=160.167, mem=62M902
165.18/162.32 decisions=430132, wrong=214024, backtracks=3170, failedAssignments=213591, nogoods=46787, foundSolutions=8, bestBound=66
165.18/162.32
166.48/163.68 num=369, depth=1..7, filters=650153, revisions=(777422,useless=117384), ccks=1029451411, wck=161.534, mem=67M843
166.48/163.68 decisions=436227, wrong=217069, backtracks=3204, failedAssignments=216635, nogoods=46891, foundSolutions=8, bestBound=66
166.48/163.68
168.89/166.05 num=370, depth=1..7, filters=661104, revisions=(790979,useless=119858), ccks=1040718525, wck=163.898, mem=82M668
168.89/166.05 decisions=442940, wrong=220423, backtracks=3241, failedAssignments=219984, nogoods=47086, foundSolutions=8, bestBound=66
168.89/166.05
170.88/168.02 num=371, depth=0..6, filters=666077, revisions=(796406,useless=120182), ccks=1047689557, wck=165.866, mem=87M609
170.88/168.02 decisions=450315, wrong=224108, backtracks=3256, failedAssignments=223668, nogoods=47341, foundSolutions=8, bestBound=66
170.88/168.02
172.28/169.49 num=372, depth=1..7, filters=673438, revisions=(805094,useless=121419), ccks=1052690781, wck=167.337, mem=95M22
172.28/169.49 decisions=458433, wrong=228164, backtracks=3313, failedAssignments=227720, nogoods=47480, foundSolutions=8, bestBound=66
172.28/169.49
173.90/171.07 num=373, depth=0..9, filters=681221, revisions=(814093,useless=122546), ccks=1057061031, wck=168.918, mem=104M905
173.90/171.07 decisions=467388, wrong=232638, backtracks=3368, failedAssignments=232177, nogoods=47546, foundSolutions=8, bestBound=66
173.90/171.07
177.19/174.39 num=374, depth=0..6, filters=691370, revisions=(826332,useless=124195), ccks=1072400268, wck=172.245, mem=117M259
177.19/174.39 decisions=477207, wrong=237546, backtracks=3462, failedAssignments=237080, nogoods=47991, foundSolutions=8, bestBound=66
177.19/174.39
179.69/176.83 num=375, depth=0..11, filters=698878, revisions=(834593,useless=124977), ccks=1080791710, wck=174.678, mem=124M671
179.69/176.83 decisions=488008, wrong=242941, backtracks=3487, failedAssignments=242474, nogoods=48468, foundSolutions=8, bestBound=66
179.69/176.83
184.39/181.51 num=376, depth=0..7, filters=715627, revisions=(854634,useless=127731), ccks=1103926576, wck=179.364, mem=151M849
184.39/181.51 decisions=499893, wrong=248881, backtracks=3603, failedAssignments=248407, nogoods=48545, foundSolutions=8, bestBound=66
184.39/181.51
186.52/183.63 num=377, depth=1..11, filters=724022, revisions=(863710,useless=128331), ccks=1108645256, wck=181.477, mem=33M696
186.52/183.63 decisions=512956, wrong=255408, backtracks=3637, failedAssignments=254933, nogoods=48806, foundSolutions=8, bestBound=66
186.52/183.63
186.72/183.80 o 65
186.72/183.80 num=378, depth=1..54, filters=725095, revisions=(864969,useless=128533), ccks=1109682628, wck=181.652, mem=33M696
186.72/183.80 decisions=514096, wrong=255971, backtracks=3641, failedAssignments=255496, nogoods=48906, foundSolutions=9, bestBound=65
186.72/183.80
194.72/191.89 num=379, depth=1..8, filters=769077, revisions=(920002,useless=139047), ccks=1155967992, wck=189.743, mem=99M312
194.72/191.89 decisions=529921, wrong=263881, backtracks=3749, failedAssignments=263393, nogoods=49410, foundSolutions=9, bestBound=65
194.72/191.89
194.93/192.01 num=380, depth=2..3, filters=769399, revisions=(920463,useless=139152), ccks=1156833745, wck=189.861, mem=99M312
194.93/192.01 decisions=529945, wrong=263892, backtracks=3754, failedAssignments=263404, nogoods=49415, foundSolutions=9, bestBound=65
194.93/192.01
194.93/192.09 num=381, depth=2..4, filters=769667, revisions=(920825,useless=139241), ccks=1157498743, wck=189.943, mem=99M312
194.93/192.09 decisions=529972, wrong=263904, backtracks=3756, failedAssignments=263416, nogoods=49421, foundSolutions=9, bestBound=65
194.93/192.09
195.12/192.20 num=382, depth=1..3, filters=770078, revisions=(921402,useless=139333), ccks=1158248464, wck=190.048, mem=101M742
195.12/192.20 decisions=530002, wrong=263918, backtracks=3759, failedAssignments=263429, nogoods=49428, foundSolutions=9, bestBound=65
195.12/192.20
195.12/192.26 num=383, depth=4..5, filters=770428, revisions=(921844,useless=139433), ccks=1158794302, wck=190.114, mem=101M742
195.12/192.26 decisions=530034, wrong=263932, backtracks=3760, failedAssignments=263443, nogoods=49439, foundSolutions=9, bestBound=65
195.12/192.26
195.23/192.37 num=384, depth=1..2, filters=770756, revisions=(922320,useless=139530), ccks=1159487305, wck=190.216, mem=104M686
195.23/192.37 decisions=530072, wrong=263950, backtracks=3764, failedAssignments=263459, nogoods=49444, foundSolutions=9, bestBound=65
195.23/192.37
195.33/192.50 num=385, depth=2..4, filters=771135, revisions=(922838,useless=139647), ccks=1160579617, wck=190.347, mem=104M686
195.33/192.50 decisions=530108, wrong=263967, backtracks=3768, failedAssignments=263476, nogoods=49454, foundSolutions=9, bestBound=65
195.33/192.50
195.43/192.59 num=386, depth=3..4, filters=771552, revisions=(923360,useless=139757), ccks=1161344656, wck=190.439, mem=104M686
195.43/192.59 decisions=530150, wrong=263986, backtracks=3769, failedAssignments=263495, nogoods=49465, foundSolutions=9, bestBound=65
195.43/192.59
195.63/192.79 num=387, depth=0..3, filters=772152, revisions=(924253,useless=139963), ccks=1162720878, wck=190.639, mem=107M116
195.63/192.79 decisions=530200, wrong=264010, backtracks=3781, failedAssignments=263516, nogoods=49466, foundSolutions=9, bestBound=65
195.63/192.79
195.83/192.98 num=388, depth=1..4, filters=772795, revisions=(925136,useless=140163), ccks=1164054470, wck=190.828, mem=109M547
195.83/192.98 decisions=530252, wrong=264034, backtracks=3789, failedAssignments=263539, nogoods=49475, foundSolutions=9, bestBound=65
195.83/192.98
196.04/193.15 num=389, depth=1..3, filters=773446, revisions=(926057,useless=140359), ccks=1165120870, wck=190.999, mem=109M547
196.04/193.15 decisions=530308, wrong=264061, backtracks=3796, failedAssignments=263564, nogoods=49482, foundSolutions=9, bestBound=65
196.04/193.15
196.13/193.25 num=390, depth=2..5, filters=773821, revisions=(926554,useless=140475), ccks=1165880275, wck=191.096, mem=111M977
196.13/193.25 decisions=530369, wrong=264089, backtracks=3799, failedAssignments=263592, nogoods=49500, foundSolutions=9, bestBound=65
196.13/193.25
196.23/193.33 num=391, depth=1..6, filters=774062, revisions=(926875,useless=140546), ccks=1166588827, wck=191.185, mem=111M977
196.23/193.33 decisions=530437, wrong=264120, backtracks=3801, failedAssignments=263623, nogoods=49525, foundSolutions=9, bestBound=65
196.23/193.33
196.33/193.43 num=392, depth=2..6, filters=774388, revisions=(927342,useless=140650), ccks=1167190565, wck=191.278, mem=111M977
196.33/193.43 decisions=530511, wrong=264154, backtracks=3803, failedAssignments=263657, nogoods=49556, foundSolutions=9, bestBound=65
196.33/193.43
196.43/193.60 num=393, depth=2..6, filters=775064, revisions=(928274,useless=140834), ccks=1168287150, wck=191.446, mem=114M407
196.43/193.60 decisions=530593, wrong=264192, backtracks=3808, failedAssignments=263694, nogoods=49582, foundSolutions=9, bestBound=65
196.43/193.60
196.63/193.75 num=394, depth=1..6, filters=775492, revisions=(928884,useless=140971), ccks=1169512803, wck=191.603, mem=114M407
196.63/193.75 decisions=530681, wrong=264233, backtracks=3813, failedAssignments=263735, nogoods=49615, foundSolutions=9, bestBound=65
196.63/193.75
197.04/194.15 num=395, depth=1..5, filters=776787, revisions=(930742,useless=141353), ccks=1172438829, wck=192.001, mem=119M267
197.04/194.15 decisions=530796, wrong=264288, backtracks=3830, failedAssignments=263780, nogoods=49619, foundSolutions=9, bestBound=65
197.04/194.15
197.33/194.47 num=396, depth=1..3, filters=778116, revisions=(932676,useless=141771), ccks=1174514601, wck=192.323, mem=121M698
197.33/194.47 decisions=530906, wrong=264342, backtracks=3845, failedAssignments=263830, nogoods=49629, foundSolutions=9, bestBound=65
197.33/194.47
197.53/194.68 num=397, depth=3..5, filters=779195, revisions=(934078,useless=142068), ccks=1176194639, wck=192.533, mem=124M128
197.53/194.68 decisions=531024, wrong=264399, backtracks=3853, failedAssignments=263885, nogoods=49653, foundSolutions=9, bestBound=65
197.53/194.68
197.73/194.86 num=398, depth=0..5, filters=779809, revisions=(934962,useless=142247), ccks=1177440952, wck=192.713, mem=126M558
197.73/194.86 decisions=531159, wrong=264464, backtracks=3860, failedAssignments=263946, nogoods=49694, foundSolutions=9, bestBound=65
197.73/194.86
197.93/195.02 num=399, depth=2..6, filters=780421, revisions=(935817,useless=142437), ccks=1178613718, wck=192.874, mem=126M558
197.93/195.02 decisions=531300, wrong=264532, backtracks=3864, failedAssignments=264013, nogoods=49751, foundSolutions=9, bestBound=65
197.93/195.02
198.33/195.49 num=400, depth=2..4, filters=782185, revisions=(938313,useless=142995), ccks=1181774387, wck=193.339, mem=131M418
198.33/195.49 decisions=531456, wrong=264608, backtracks=3880, failedAssignments=264087, nogoods=49767, foundSolutions=9, bestBound=65
198.33/195.49
198.63/195.70 num=401, depth=1..5, filters=782858, revisions=(939232,useless=143175), ccks=1183312180, wck=193.553, mem=131M418
198.63/195.70 decisions=531624, wrong=264690, backtracks=3886, failedAssignments=264168, nogoods=49838, foundSolutions=9, bestBound=65
198.63/195.70
198.63/195.76 num=402, depth=6..6, filters=783084, revisions=(939519,useless=143219), ccks=1183646150, wck=193.611, mem=133M849
198.63/195.76 decisions=531808, wrong=264779, backtracks=3886, failedAssignments=264257, nogoods=49927, foundSolutions=9, bestBound=65
198.63/195.76
198.73/195.88 num=403, depth=2..8, filters=783579, revisions=(940185,useless=143347), ccks=1184375297, wck=193.731, mem=133M849
198.73/195.88 decisions=532012, wrong=264877, backtracks=3889, failedAssignments=264355, nogoods=50019, foundSolutions=9, bestBound=65
198.73/195.88
198.83/195.97 num=404, depth=1..7, filters=783849, revisions=(940517,useless=143408), ccks=1184950620, wck=193.82, mem=133M849
198.83/195.97 decisions=532235, wrong=264985, backtracks=3890, failedAssignments=264463, nogoods=50126, foundSolutions=9, bestBound=65
198.83/195.97
198.93/196.03 num=405, depth=6..6, filters=784105, revisions=(940834,useless=143452), ccks=1185282128, wck=193.881, mem=133M849
198.93/196.03 decisions=532479, wrong=265104, backtracks=3890, failedAssignments=264582, nogoods=50245, foundSolutions=9, bestBound=65
198.93/196.03
199.13/196.20 num=406, depth=1..6, filters=784653, revisions=(941586,useless=143594), ccks=1186412520, wck=194.049, mem=136M279
199.13/196.20 decisions=532747, wrong=265235, backtracks=3895, failedAssignments=264713, nogoods=50364, foundSolutions=9, bestBound=65
199.13/196.20
199.13/196.26 num=407, depth=6..6, filters=784934, revisions=(941928,useless=143638), ccks=1186746527, wck=194.113, mem=136M279
199.13/196.26 decisions=533041, wrong=265379, backtracks=3895, failedAssignments=264857, nogoods=50508, foundSolutions=9, bestBound=65
199.13/196.26
199.63/196.71 num=408, depth=2..6, filters=786970, revisions=(944647,useless=144210), ccks=1189486082, wck=194.561, mem=141M139
199.63/196.71 decisions=533368, wrong=265540, backtracks=3917, failedAssignments=265015, nogoods=50613, foundSolutions=9, bestBound=65
199.63/196.71
199.63/196.79 num=409, depth=5..6, filters=787294, revisions=(945030,useless=144253), ccks=1189815811, wck=194.638, mem=141M139
199.63/196.79 decisions=533721, wrong=265714, backtracks=3918, failedAssignments=265189, nogoods=50723, foundSolutions=9, bestBound=65
199.63/196.79
200.53/197.61 num=410, depth=1..6, filters=790335, revisions=(949283,useless=145126), ccks=1195587258, wck=195.46, mem=148M430
200.53/197.61 decisions=534117, wrong=265909, backtracks=3947, failedAssignments=265380, nogoods=50805, foundSolutions=9, bestBound=65
200.53/197.61
200.63/197.76 num=411, depth=2..6, filters=790872, revisions=(949963,useless=145215), ccks=1196453415, wck=195.607, mem=148M430
200.63/197.76 decisions=534544, wrong=266120, backtracks=3949, failedAssignments=265591, nogoods=51013, foundSolutions=9, bestBound=65
200.63/197.76
200.73/197.84 num=412, depth=5..6, filters=791273, revisions=(950428,useless=145263), ccks=1196793124, wck=195.686, mem=148M430
200.73/197.84 decisions=535014, wrong=266352, backtracks=3949, failedAssignments=265823, nogoods=51245, foundSolutions=9, bestBound=65
200.73/197.84
201.55/198.67 num=413, depth=2..6, filters=795220, revisions=(955650,useless=146366), ccks=1201937796, wck=196.519, mem=33M910
201.55/198.67 decisions=535550, wrong=266617, backtracks=3987, failedAssignments=266078, nogoods=51356, foundSolutions=9, bestBound=65
201.55/198.67
201.65/198.76 num=414, depth=5..6, filters=795651, revisions=(956145,useless=146415), ccks=1202267744, wck=196.611, mem=33M910
201.65/198.76 decisions=536117, wrong=266898, backtracks=3988, failedAssignments=266359, nogoods=51500, foundSolutions=9, bestBound=65
201.65/198.76
201.85/198.96 num=415, depth=2..6, filters=796597, revisions=(957330,useless=146585), ccks=1203273423, wck=196.809, mem=36M296
201.85/198.96 decisions=536746, wrong=267210, backtracks=3994, failedAssignments=266668, nogoods=51795, foundSolutions=9, bestBound=65
201.85/198.96
201.96/199.08 num=416, depth=4..5, filters=797070, revisions=(957853,useless=146621), ccks=1203599531, wck=196.932, mem=36M296
201.96/199.08 decisions=537430, wrong=267550, backtracks=3995, failedAssignments=267008, nogoods=51911, foundSolutions=9, bestBound=65
201.96/199.08
202.25/199.32 num=417, depth=2..5, filters=798080, revisions=(959068,useless=146761), ccks=1204611619, wck=197.171, mem=38M681
202.25/199.32 decisions=538184, wrong=267925, backtracks=4000, failedAssignments=267382, nogoods=52087, foundSolutions=9, bestBound=65
202.25/199.32
203.06/200.17 num=418, depth=1..7, filters=803221, revisions=(965860,useless=148412), ccks=1210504881, wck=198.023, mem=48M224
203.06/200.17 decisions=539024, wrong=268342, backtracks=4053, failedAssignments=267793, nogoods=52290, foundSolutions=9, bestBound=65
203.06/200.17
203.25/200.36 num=419, depth=1..7, filters=804295, revisions=(967139,useless=148628), ccks=1211364185, wck=198.211, mem=50M609
203.25/200.36 decisions=539937, wrong=268795, backtracks=4065, failedAssignments=268245, nogoods=52728, foundSolutions=9, bestBound=65
203.25/200.36
203.35/200.48 num=420, depth=5..6, filters=804911, revisions=(967813,useless=148671), ccks=1211674400, wck=198.326, mem=50M609
203.35/200.48 decisions=540936, wrong=269292, backtracks=4066, failedAssignments=268742, nogoods=52790, foundSolutions=9, bestBound=65
203.35/200.48
203.55/200.67 num=421, depth=3..6, filters=805914, revisions=(968986,useless=148779), ccks=1212394253, wck=198.522, mem=50M609
203.55/200.67 decisions=542036, wrong=269840, backtracks=4070, failedAssignments=269289, nogoods=52871, foundSolutions=9, bestBound=65
203.55/200.67
203.75/200.82 num=422, depth=3..6, filters=806715, revisions=(969870,useless=148853), ccks=1212810170, wck=198.671, mem=50M609
203.75/200.82 decisions=543245, wrong=270442, backtracks=4071, failedAssignments=269891, nogoods=53010, foundSolutions=9, bestBound=65
203.75/200.82
203.85/200.98 num=423, depth=6..7, filters=807470, revisions=(970667,useless=148894), ccks=1213092533, wck=198.829, mem=50M609
203.85/200.98 decisions=544575, wrong=271104, backtracks=4072, failedAssignments=270553, nogoods=53311, foundSolutions=9, bestBound=65
203.85/200.98
204.06/201.15 num=424, depth=4..6, filters=808349, revisions=(971607,useless=148947), ccks=1213430978, wck=199.004, mem=52M995
204.06/201.15 decisions=546035, wrong=271832, backtracks=4074, failedAssignments=271281, nogoods=53356, foundSolutions=9, bestBound=65
204.06/201.15
204.25/201.36 num=425, depth=4..6, filters=809250, revisions=(972547,useless=148986), ccks=1213711724, wck=199.215, mem=52M995
204.25/201.36 decisions=547641, wrong=272633, backtracks=4076, failedAssignments=272082, nogoods=53522, foundSolutions=9, bestBound=65
204.25/201.36
204.45/201.56 num=426, depth=5..6, filters=810322, revisions=(973693,useless=149052), ccks=1214063145, wck=199.414, mem=52M995
204.45/201.56 decisions=549408, wrong=273514, backtracks=4077, failedAssignments=272963, nogoods=53964, foundSolutions=9, bestBound=65
204.45/201.56
204.75/201.82 num=427, depth=3..6, filters=811401, revisions=(974808,useless=149091), ccks=1214343336, wck=199.672, mem=52M995
204.75/201.82 decisions=551351, wrong=274484, backtracks=4080, failedAssignments=273933, nogoods=53990, foundSolutions=9, bestBound=65
204.75/201.82
205.06/202.15 num=428, depth=3..6, filters=812841, revisions=(976388,useless=149247), ccks=1214789352, wck=200.005, mem=52M995
205.06/202.15 decisions=553488, wrong=275551, backtracks=4088, failedAssignments=275000, nogoods=54171, foundSolutions=9, bestBound=65
205.06/202.15
205.25/202.34 num=429, depth=4..8, filters=814204, revisions=(977837,useless=149335), ccks=1215114323, wck=200.193, mem=55M381
205.25/202.34 decisions=555839, wrong=276724, backtracks=4091, failedAssignments=276173, nogoods=54437, foundSolutions=9, bestBound=65
205.25/202.34
206.15/203.24 num=430, depth=2..6, filters=818858, revisions=(983791,useless=150504), ccks=1219698480, wck=201.09, mem=60M152
206.15/203.24 decisions=558451, wrong=278028, backtracks=4132, failedAssignments=277464, nogoods=54705, foundSolutions=9, bestBound=65
206.15/203.24
207.35/204.41 num=431, depth=0..5, filters=822782, revisions=(988739,useless=151306), ccks=1226894318, wck=202.256, mem=67M309
207.35/204.41 decisions=561301, wrong=279451, backtracks=4192, failedAssignments=278884, nogoods=55069, foundSolutions=9, bestBound=65
207.35/204.41
208.65/205.70 num=432, depth=1..4, filters=828056, revisions=(995424,useless=152419), ccks=1232230288, wck=203.552, mem=76M851
208.65/205.70 decisions=564452, wrong=281026, backtracks=4234, failedAssignments=280446, nogoods=55547, foundSolutions=9, bestBound=65
208.65/205.70
209.25/206.37 num=433, depth=2..5, filters=830518, revisions=(998140,useless=152658), ccks=1233168597, wck=204.222, mem=79M237
209.25/206.37 decisions=567894, wrong=282745, backtracks=4247, failedAssignments=282164, nogoods=55874, foundSolutions=9, bestBound=65
209.25/206.37
210.96/208.06 num=434, depth=1..5, filters=841405, revisions=(1011480,useless=155238), ccks=1242650522, wck=205.914, mem=95M936
210.96/208.06 decisions=571693, wrong=284643, backtracks=4312, failedAssignments=284054, nogoods=55895, foundSolutions=9, bestBound=65
210.96/208.06
211.85/208.95 num=435, depth=0..5, filters=845093, revisions=(1015757,useless=155756), ccks=1245316206, wck=206.796, mem=100M708
211.85/208.95 decisions=575862, wrong=286726, backtracks=4336, failedAssignments=286133, nogoods=56016, foundSolutions=9, bestBound=65
211.85/208.95
212.65/209.70 num=436, depth=3..7, filters=848796, revisions=(1020063,useless=156379), ccks=1247019171, wck=207.548, mem=105M479
212.65/209.70 decisions=580441, wrong=289013, backtracks=4362, failedAssignments=288420, nogoods=56345, foundSolutions=9, bestBound=65
212.65/209.70
213.55/210.64 num=437, depth=3..7, filters=854538, revisions=(1027129,useless=157718), ccks=1250596390, wck=208.488, mem=110M250
213.55/210.64 decisions=585482, wrong=291530, backtracks=4406, failedAssignments=290936, nogoods=56409, foundSolutions=9, bestBound=65
213.55/210.64
214.55/211.66 num=438, depth=4..11, filters=864194, revisions=(1038967,useless=159842), ccks=1256109266, wck=209.509, mem=119M793
214.55/211.66 decisions=591052, wrong=294311, backtracks=4463, failedAssignments=293704, nogoods=56568, foundSolutions=9, bestBound=65
214.55/211.66
215.45/212.59 num=439, depth=1..8, filters=868780, revisions=(1044103,useless=160433), ccks=1258579858, wck=210.439, mem=124M564
215.45/212.59 decisions=597144, wrong=297355, backtracks=4490, failedAssignments=296748, nogoods=56719, foundSolutions=9, bestBound=65
215.45/212.59
216.45/213.50 num=440, depth=3..7, filters=872688, revisions=(1048132,useless=160581), ccks=1259150140, wck=211.352, mem=124M564
216.45/213.50 decisions=603845, wrong=300704, backtracks=4499, failedAssignments=300097, nogoods=57191, foundSolutions=9, bestBound=65
216.45/213.50
217.75/214.80 num=441, depth=2..7, filters=878948, revisions=(1055402,useless=161610), ccks=1261562581, wck=212.652, mem=131M721
217.75/214.80 decisions=611223, wrong=304391, backtracks=4533, failedAssignments=303781, nogoods=57430, foundSolutions=9, bestBound=65
217.75/214.80
220.47/217.57 num=442, depth=1..6, filters=893148, revisions=(1073431,useless=164987), ccks=1274338221, wck=215.417, mem=34M539
220.47/217.57 decisions=619360, wrong=308457, backtracks=4636, failedAssignments=307833, nogoods=57673, foundSolutions=9, bestBound=65
220.47/217.57
222.08/219.15 num=443, depth=3..8, filters=903863, revisions=(1085956,useless=166994), ccks=1279315354, wck=217.005, mem=48M675
222.08/219.15 decisions=628296, wrong=312921, backtracks=4689, failedAssignments=312290, nogoods=58024, foundSolutions=9, bestBound=65
222.08/219.15
223.08/220.14 num=444, depth=4..12, filters=913776, revisions=(1097293,useless=168416), ccks=1282586023, wck=217.993, mem=53M387
223.08/220.14 decisions=638147, wrong=317842, backtracks=4741, failedAssignments=317193, nogoods=58090, foundSolutions=9, bestBound=65
223.08/220.14
225.77/222.83 num=445, depth=0..8, filters=930224, revisions=(1117611,useless=172510), ccks=1293342737, wck=220.677, mem=79M303
225.77/222.83 decisions=648948, wrong=323239, backtracks=4860, failedAssignments=322587, nogoods=58562, foundSolutions=9, bestBound=65
225.77/222.83
229.17/226.28 num=446, depth=0..7, filters=944812, revisions=(1134800,useless=174998), ccks=1310800103, wck=224.134, mem=98M151
229.17/226.28 decisions=660842, wrong=329183, backtracks=4917, failedAssignments=328520, nogoods=58888, foundSolutions=9, bestBound=65
229.17/226.28
230.47/227.58 num=447, depth=1..9, filters=954520, revisions=(1145454,useless=175892), ccks=1313669648, wck=225.426, mem=102M863
230.47/227.58 decisions=673908, wrong=335713, backtracks=4963, failedAssignments=335046, nogoods=59278, foundSolutions=9, bestBound=65
230.47/227.58
237.27/234.33 num=448, depth=0..8, filters=986404, revisions=(1183474,useless=182106), ccks=1351013044, wck=232.168, mem=147M792
237.27/234.33 decisions=688312, wrong=342911, backtracks=5123, failedAssignments=342225, nogoods=59576, foundSolutions=9, bestBound=65
237.27/234.33
246.80/243.80 num=449, depth=1..9, filters=1023946, revisions=(1228727,useless=189007), ccks=1408237513, wck=241.648, mem=92M925
246.80/243.80 decisions=704159, wrong=350832, backtracks=5366, failedAssignments=350122, nogoods=59758, foundSolutions=9, bestBound=65
246.80/243.80
250.00/247.10 num=450, depth=2..7, filters=1039468, revisions=(1246823,useless=191452), ccks=1415167520, wck=244.95, mem=106M880
250.00/247.10 decisions=721569, wrong=359534, backtracks=5459, failedAssignments=358809, nogoods=60043, foundSolutions=9, bestBound=65
250.00/247.10
253.59/250.67 num=451, depth=1..9, filters=1058335, revisions=(1268594,useless=194119), ccks=1423003385, wck=248.524, mem=127M811
253.59/250.67 decisions=740689, wrong=369091, backtracks=5527, failedAssignments=368364, nogoods=60272, foundSolutions=9, bestBound=65
253.59/250.67
256.00/253.07 num=452, depth=1..9, filters=1070108, revisions=(1280880,useless=194701), ccks=1424057668, wck=250.918, mem=132M463
256.00/253.07 decisions=761714, wrong=379602, backtracks=5564, failedAssignments=378875, nogoods=60752, foundSolutions=9, bestBound=65
256.00/253.07
261.79/258.87 num=453, depth=1..7, filters=1085659, revisions=(1297981,useless=196137), ccks=1436520151, wck=256.72, mem=144M91
261.79/258.87 decisions=784849, wrong=391168, backtracks=5610, failedAssignments=390437, nogoods=60990, foundSolutions=9, bestBound=65
261.79/258.87
264.82/261.88 num=454, depth=1..12, filters=1107406, revisions=(1322579,useless=199118), ccks=1442776819, wck=259.727, mem=44M31
264.82/261.88 decisions=810321, wrong=403899, backtracks=5710, failedAssignments=403155, nogoods=61074, foundSolutions=9, bestBound=65
264.82/261.88
269.03/266.10 num=455, depth=0..7, filters=1129976, revisions=(1348407,useless=202331), ccks=1455444870, wck=263.953, mem=66M982
269.03/266.10 decisions=838313, wrong=417892, backtracks=5867, failedAssignments=417145, nogoods=61137, foundSolutions=9, bestBound=65
269.03/266.10
272.62/269.61 num=456, depth=0..11, filters=1150807, revisions=(1370881,useless=204155), ccks=1460262233, wck=267.462, mem=78M457
272.62/269.61 decisions=869116, wrong=433290, backtracks=5962, failedAssignments=432534, nogoods=61275, foundSolutions=9, bestBound=65
272.62/269.61
277.63/274.66 num=457, depth=0..8, filters=1172706, revisions=(1394687,useless=206008), ccks=1464828514, wck=272.511, mem=92M227
277.63/274.66 decisions=902991, wrong=450224, backtracks=6077, failedAssignments=449462, nogoods=61324, foundSolutions=9, bestBound=65
277.63/274.66
282.43/279.47 num=458, depth=1..11, filters=1197171, revisions=(1420970,useless=207971), ccks=1470763102, wck=277.322, mem=105M997
282.43/279.47 decisions=940257, wrong=468853, backtracks=6173, failedAssignments=468083, nogoods=61833, foundSolutions=9, bestBound=65
282.43/279.47
288.32/285.38 num=459, depth=0..14, filters=1224572, revisions=(1450923,useless=210689), ccks=1478897227, wck=283.229, mem=124M357
288.32/285.38 decisions=981240, wrong=489340, backtracks=6316, failedAssignments=488567, nogoods=62012, foundSolutions=9, bestBound=65
288.32/285.38
296.16/293.18 num=460, depth=2..9, filters=1262542, revisions=(1496091,useless=217826), ccks=1494375655, wck=291.033, mem=59M858
296.16/293.18 decisions=1026312, wrong=511873, backtracks=6590, failedAssignments=511099, nogoods=62473, foundSolutions=9, bestBound=65
296.16/293.18
303.45/300.40 num=461, depth=1..14, filters=1300737, revisions=(1539376,useless=223073), ccks=1508957476, wck=298.255, mem=96M83
303.45/300.40 decisions=1075895, wrong=536660, backtracks=6791, failedAssignments=535884, nogoods=62732, foundSolutions=9, bestBound=65
303.45/300.40
315.08/312.09 num=462, depth=1..13, filters=1369012, revisions=(1617818,useless=233012), ccks=1549792980, wck=309.943, mem=41M589
315.08/312.09 decisions=1130524, wrong=563969, backtracks=7047, failedAssignments=563148, nogoods=62912, foundSolutions=9, bestBound=65
315.08/312.09
323.47/320.46 num=463, depth=0..13, filters=1407720, revisions=(1659456,useless=235885), ccks=1558884924, wck=318.308, mem=66M151
323.47/320.46 decisions=1190518, wrong=593960, backtracks=7180, failedAssignments=593138, nogoods=63425, foundSolutions=9, bestBound=65
323.47/320.46
332.08/329.06 num=464, depth=0..16, filters=1446714, revisions=(1700450,useless=238029), ccks=1566222612, wck=326.908, mem=84M15
332.08/329.06 decisions=1256508, wrong=626952, backtracks=7318, failedAssignments=626127, nogoods=63705, foundSolutions=9, bestBound=65
332.08/329.06
340.78/337.77 num=465, depth=0..10, filters=1493000, revisions=(1749649,useless=241358), ccks=1572906952, wck=335.625, mem=101M878
340.78/337.77 decisions=1329106, wrong=663248, backtracks=7532, failedAssignments=662415, nogoods=64049, foundSolutions=9, bestBound=65
340.78/337.77
352.90/349.86 num=466, depth=0..10, filters=1552730, revisions=(1815697,useless=247237), ccks=1597408313, wck=347.713, mem=32M856
352.90/349.86 decisions=1409003, wrong=703195, backtracks=7820, failedAssignments=702332, nogoods=64486, foundSolutions=9, bestBound=65
352.90/349.86
367.41/364.35 num=467, depth=1..22, filters=1613397, revisions=(1882968,useless=254703), ccks=1612101560, wck=362.195, mem=83M494
367.41/364.35 decisions=1496847, wrong=747106, backtracks=8138, failedAssignments=746241, nogoods=64733, foundSolutions=9, bestBound=65
367.41/364.35
384.54/381.47 num=468, depth=2..12, filters=1688327, revisions=(1969050,useless=266713), ccks=1632632529, wck=379.316, mem=59M86
384.54/381.47 decisions=1593464, wrong=795412, backtracks=8617, failedAssignments=794541, nogoods=64995, foundSolutions=9, bestBound=65
384.54/381.47
398.64/395.55 num=469, depth=1..14, filters=1753092, revisions=(2038423,useless=271961), ccks=1641511703, wck=393.405, mem=93M811
398.64/395.55 decisions=1699733, wrong=848543, backtracks=8918, failedAssignments=847671, nogoods=65252, foundSolutions=9, bestBound=65
398.64/395.55
414.33/411.27 num=470, depth=0..13, filters=1837502, revisions=(2129006,useless=277869), ccks=1663460612, wck=409.125, mem=137M217
414.33/411.27 decisions=1816785, wrong=907066, backtracks=9225, failedAssignments=906114, nogoods=65300, foundSolutions=9, bestBound=65
414.33/411.27
431.26/428.12 num=471, depth=0..19, filters=1919561, revisions=(2216855,useless=284124), ccks=1679724696, wck=425.974, mem=71M561
431.26/428.12 decisions=1945397, wrong=971368, backtracks=9531, failedAssignments=970401, nogoods=65691, foundSolutions=9, bestBound=65
431.26/428.12
459.47/456.34 num=472, depth=1..11, filters=2025272, revisions=(2334616,useless=295767), ccks=1729828747, wck=454.186, mem=58M401
459.47/456.34 decisions=2086875, wrong=1042104, backtracks=10086, failedAssignments=1041117, nogoods=65770, foundSolutions=9, bestBound=65
459.47/456.34
481.97/478.89 num=473, depth=1..18, filters=2131069, revisions=(2448788,useless=304817), ccks=1751257297, wck=476.742, mem=123M734
481.97/478.89 decisions=2242490, wrong=1119907, backtracks=10529, failedAssignments=1118904, nogoods=65868, foundSolutions=9, bestBound=65
481.97/478.89
487.38/484.26 o 62
487.38/484.26 num=474, depth=1..54, filters=2160935, revisions=(2482372,useless=308303), ccks=1764754907, wck=482.11, mem=39M299
487.38/484.26 decisions=2275827, wrong=1136567, backtracks=10643, failedAssignments=1135560, nogoods=65980, foundSolutions=10, bestBound=62
487.38/484.26
509.37/506.27 o 61
509.37/506.27 num=475, depth=1..54, filters=2283346, revisions=(2620614,useless=323410), ccks=1806795443, wck=504.124, mem=126M496
509.37/506.27 decisions=2406304, wrong=1201798, backtracks=11115, failedAssignments=1200695, nogoods=66104, foundSolutions=11, bestBound=61
509.37/506.27
509.48/506.35 num=476, depth=2..4, filters=2283623, revisions=(2621004,useless=323495), ccks=1807302291, wck=504.199, mem=126M496
509.48/506.35 decisions=2406330, wrong=1201810, backtracks=11117, failedAssignments=1200706, nogoods=66105, foundSolutions=11, bestBound=61
509.48/506.35
509.58/506.46 num=477, depth=1..5, filters=2283959, revisions=(2621455,useless=323604), ccks=1808178863, wck=504.313, mem=126M496
509.58/506.46 decisions=2406357, wrong=1201821, backtracks=11120, failedAssignments=1200717, nogoods=66110, foundSolutions=11, bestBound=61
509.58/506.46
509.68/506.57 num=478, depth=2..4, filters=2284438, revisions=(2622126,useless=323728), ccks=1808869433, wck=504.425, mem=128M572
509.68/506.57 decisions=2406389, wrong=1201836, backtracks=11125, failedAssignments=1200729, nogoods=66116, foundSolutions=11, bestBound=61
509.68/506.57
509.78/506.67 num=479, depth=1..5, filters=2284781, revisions=(2622549,useless=323813), ccks=1809694212, wck=504.523, mem=128M572
509.78/506.67 decisions=2406419, wrong=1201849, backtracks=11126, failedAssignments=1200742, nogoods=66128, foundSolutions=11, bestBound=61
509.78/506.67
509.98/506.81 num=480, depth=2..4, filters=2285363, revisions=(2623360,useless=323960), ccks=1810568292, wck=504.659, mem=130M648
509.98/506.81 decisions=2406458, wrong=1201867, backtracks=11132, failedAssignments=1200756, nogoods=66137, foundSolutions=11, bestBound=61
509.98/506.81
509.98/506.86 num=481, depth=4..5, filters=2285513, revisions=(2623567,useless=324015), ccks=1810964309, wck=504.709, mem=130M648
509.98/506.86 decisions=2406494, wrong=1201883, backtracks=11132, failedAssignments=1200772, nogoods=66153, foundSolutions=11, bestBound=61
509.98/506.86
510.08/506.92 num=482, depth=4..5, filters=2285865, revisions=(2624016,useless=324115), ccks=1811389071, wck=504.773, mem=130M648
510.08/506.92 decisions=2406532, wrong=1201900, backtracks=11133, failedAssignments=1200789, nogoods=66167, foundSolutions=11, bestBound=61
510.08/506.92
510.19/507.09 num=483, depth=1..3, filters=2286606, revisions=(2625076,useless=324315), ccks=1812344785, wck=504.944, mem=132M724
510.19/507.09 decisions=2406580, wrong=1201923, backtracks=11143, failedAssignments=1200808, nogoods=66173, foundSolutions=11, bestBound=61
510.19/507.09
510.38/507.26 num=484, depth=1..5, filters=2287277, revisions=(2625936,useless=324496), ccks=1813656654, wck=505.113, mem=134M800
510.38/507.26 decisions=2406632, wrong=1201948, backtracks=11150, failedAssignments=1200829, nogoods=66184, foundSolutions=11, bestBound=61
510.38/507.26
510.58/507.46 num=485, depth=1..3, filters=2288070, revisions=(2627022,useless=324710), ccks=1814848105, wck=505.307, mem=33M146
510.58/507.46 decisions=2406681, wrong=1201971, backtracks=11157, failedAssignments=1200852, nogoods=66191, foundSolutions=11, bestBound=61
510.58/507.46
510.79/507.65 num=486, depth=1..5, filters=2288776, revisions=(2628008,useless=324921), ccks=1816149901, wck=505.499, mem=33M146
510.79/507.65 decisions=2406740, wrong=1201998, backtracks=11165, failedAssignments=1200877, nogoods=66204, foundSolutions=11, bestBound=61
510.79/507.65
510.99/507.85 num=487, depth=2..4, filters=2289670, revisions=(2629293,useless=325204), ccks=1817449198, wck=505.698, mem=35M190
510.99/507.85 decisions=2406802, wrong=1202027, backtracks=11172, failedAssignments=1200905, nogoods=66210, foundSolutions=11, bestBound=61
510.99/507.85
511.20/508.03 num=488, depth=1..4, filters=2290512, revisions=(2630431,useless=325482), ccks=1818660772, wck=505.881, mem=37M235
511.20/508.03 decisions=2406871, wrong=1202060, backtracks=11185, failedAssignments=1200936, nogoods=66224, foundSolutions=11, bestBound=61
511.20/508.03
511.40/508.20 num=489, depth=2..4, filters=2291434, revisions=(2631686,useless=325728), ccks=1819637741, wck=506.054, mem=39M280
511.40/508.20 decisions=2406948, wrong=1202097, backtracks=11193, failedAssignments=1200970, nogoods=66237, foundSolutions=11, bestBound=61
511.40/508.20
511.49/508.36 num=490, depth=1..5, filters=2292373, revisions=(2632902,useless=326008), ccks=1820660527, wck=506.206, mem=41M324
511.49/508.36 decisions=2407030, wrong=1202136, backtracks=11202, failedAssignments=1201007, nogoods=66248, foundSolutions=11, bestBound=61
511.49/508.36
511.79/508.67 num=491, depth=1..4, filters=2293900, revisions=(2634993,useless=326388), ccks=1822436545, wck=506.521, mem=43M369
511.79/508.67 decisions=2407135, wrong=1202187, backtracks=11224, failedAssignments=1201048, nogoods=66254, foundSolutions=11, bestBound=61
511.79/508.67
511.89/508.73 num=492, depth=4..4, filters=2294041, revisions=(2635177,useless=326427), ccks=1822823738, wck=506.578, mem=43M369
511.89/508.73 decisions=2407229, wrong=1202232, backtracks=11224, failedAssignments=1201093, nogoods=66299, foundSolutions=11, bestBound=61
511.89/508.73
512.09/508.90 num=493, depth=2..5, filters=2294831, revisions=(2636266,useless=326724), ccks=1823779116, wck=506.749, mem=45M414
512.09/508.90 decisions=2407334, wrong=1202282, backtracks=11246, failedAssignments=1201143, nogoods=66318, foundSolutions=11, bestBound=61
512.09/508.90
512.20/509.04 num=494, depth=2..5, filters=2295527, revisions=(2637211,useless=326931), ccks=1824522975, wck=506.892, mem=47M459
512.20/509.04 decisions=2407449, wrong=1202337, backtracks=11252, failedAssignments=1201198, nogoods=66355, foundSolutions=11, bestBound=61
512.20/509.04
512.39/509.27 num=495, depth=3..5, filters=2297157, revisions=(2639440,useless=327426), ccks=1825811270, wck=507.121, mem=51M548
512.39/509.27 decisions=2407583, wrong=1202402, backtracks=11265, failedAssignments=1201259, nogoods=66374, foundSolutions=11, bestBound=61
512.39/509.27
512.59/509.48 num=496, depth=0..5, filters=2298088, revisions=(2640730,useless=327679), ccks=1827008179, wck=507.331, mem=53M593
512.59/509.48 decisions=2407726, wrong=1202471, backtracks=11277, failedAssignments=1201326, nogoods=66422, foundSolutions=11, bestBound=61
512.59/509.48
512.99/509.87 num=497, depth=2..4, filters=2299846, revisions=(2643075,useless=328155), ccks=1829448376, wck=507.72, mem=57M682
512.99/509.87 decisions=2407886, wrong=1202549, backtracks=11295, failedAssignments=1201400, nogoods=66435, foundSolutions=11, bestBound=61
512.99/509.87
513.09/510.00 num=498, depth=1..5, filters=2300251, revisions=(2643608,useless=328277), ccks=1830410333, wck=507.852, mem=57M682
513.09/510.00 decisions=2408053, wrong=1202630, backtracks=11298, failedAssignments=1201481, nogoods=66508, foundSolutions=11, bestBound=61
513.09/510.00
513.30/510.17 num=499, depth=2..4, filters=2300993, revisions=(2644612,useless=328473), ccks=1831194691, wck=508.017, mem=59M727
513.30/510.17 decisions=2408235, wrong=1202719, backtracks=11304, failedAssignments=1201570, nogoods=66576, foundSolutions=11, bestBound=61
513.30/510.17
513.69/510.52 num=500, depth=2..6, filters=2302693, revisions=(2646916,useless=328875), ccks=1833180515, wck=508.371, mem=61M771
513.69/510.52 decisions=2408447, wrong=1202822, backtracks=11326, failedAssignments=1201668, nogoods=66628, foundSolutions=11, bestBound=61
513.69/510.52
513.89/510.80 num=501, depth=1..6, filters=2303658, revisions=(2648353,useless=329209), ccks=1835018492, wck=508.645, mem=65M861
513.89/510.80 decisions=2408667, wrong=1202930, backtracks=11336, failedAssignments=1201776, nogoods=66701, foundSolutions=11, bestBound=61
513.89/510.80
513.99/510.87 num=502, depth=4..4, filters=2303859, revisions=(2648584,useless=329232), ccks=1835244072, wck=508.716, mem=65M861
513.99/510.87 decisions=2408909, wrong=1203049, backtracks=11336, failedAssignments=1201895, nogoods=66820, foundSolutions=11, bestBound=61
513.99/510.87
514.09/510.93 num=503, depth=5..5, filters=2304098, revisions=(2648876,useless=329270), ccks=1835511452, wck=508.782, mem=65M861
514.09/510.93 decisions=2409176, wrong=1203180, backtracks=11336, failedAssignments=1202026, nogoods=66951, foundSolutions=11, bestBound=61
514.09/510.93
514.20/511.03 num=504, depth=3..6, filters=2304571, revisions=(2649507,useless=329377), ccks=1835991990, wck=508.881, mem=65M861
514.20/511.03 decisions=2409471, wrong=1203325, backtracks=11338, failedAssignments=1202170, nogoods=67093, foundSolutions=11, bestBound=61
514.20/511.03
514.20/511.10 num=505, depth=5..5, filters=2304837, revisions=(2649826,useless=329415), ccks=1836259033, wck=508.951, mem=67M905
514.20/511.10 decisions=2409792, wrong=1203483, backtracks=11338, failedAssignments=1202328, nogoods=67251, foundSolutions=11, bestBound=61
514.20/511.10
514.89/511.79 num=506, depth=2..6, filters=2308563, revisions=(2654995,useless=330507), ccks=1839954147, wck=509.643, mem=74M39
514.89/511.79 decisions=2410156, wrong=1203662, backtracks=11377, failedAssignments=1202502, nogoods=67347, foundSolutions=11, bestBound=61
514.89/511.79
515.20/512.04 num=507, depth=2..6, filters=2309925, revisions=(2656815,useless=330946), ccks=1841130096, wck=509.892, mem=76M84
515.20/512.04 decisions=2410546, wrong=1203854, backtracks=11398, failedAssignments=1202693, nogoods=67489, foundSolutions=11, bestBound=61
515.20/512.04
515.30/512.13 num=508, depth=3..5, filters=2310249, revisions=(2657198,useless=330992), ccks=1841397680, wck=509.976, mem=76M84
515.30/512.13 decisions=2410973, wrong=1204065, backtracks=11398, failedAssignments=1202904, nogoods=67700, foundSolutions=11, bestBound=61
515.30/512.13
515.39/512.22 num=509, depth=4..5, filters=2310597, revisions=(2657597,useless=331030), ccks=1841665480, wck=510.07, mem=78M129
515.39/512.22 decisions=2411441, wrong=1204297, backtracks=11399, failedAssignments=1203136, nogoods=67796, foundSolutions=11, bestBound=61
515.39/512.22
515.49/512.31 num=510, depth=5..5, filters=2310951, revisions=(2658002,useless=331071), ccks=1841908902, wck=510.157, mem=78M129
515.49/512.31 decisions=2411956, wrong=1204552, backtracks=11399, failedAssignments=1203391, nogoods=68051, foundSolutions=11, bestBound=61
515.49/512.31
515.60/512.40 num=511, depth=4..5, filters=2311355, revisions=(2658463,useless=331113), ccks=1842177696, wck=510.255, mem=78M129
515.60/512.40 decisions=2412523, wrong=1204833, backtracks=11399, failedAssignments=1203672, nogoods=68332, foundSolutions=11, bestBound=61
515.60/512.40
515.71/512.53 num=512, depth=4..5, filters=2311768, revisions=(2658925,useless=331154), ccks=1842421161, wck=510.381, mem=78M129
515.71/512.53 decisions=2413145, wrong=1205142, backtracks=11400, failedAssignments=1203981, nogoods=68637, foundSolutions=11, bestBound=61
515.71/512.53
515.81/512.66 num=513, depth=4..5, filters=2312224, revisions=(2659432,useless=331191), ccks=1842684622, wck=510.51, mem=78M129
515.81/512.66 decisions=2413829, wrong=1205482, backtracks=11401, failedAssignments=1204321, nogoods=68872, foundSolutions=11, bestBound=61
515.81/512.66
516.01/512.88 num=514, depth=3..4, filters=2313107, revisions=(2660512,useless=331358), ccks=1843157895, wck=510.735, mem=80M173
516.01/512.88 decisions=2414580, wrong=1205856, backtracks=11413, failedAssignments=1204695, nogoods=69058, foundSolutions=11, bestBound=61
516.01/512.88
516.61/513.49 num=515, depth=2..5, filters=2315975, revisions=(2664291,useless=332091), ccks=1846385684, wck=511.336, mem=86M307
516.61/513.49 decisions=2415415, wrong=1206272, backtracks=11437, failedAssignments=1205106, nogoods=69080, foundSolutions=11, bestBound=61
516.61/513.49
517.12/513.90 num=516, depth=1..5, filters=2317927, revisions=(2666933,useless=332510), ccks=1848325902, wck=511.749, mem=88M352
517.12/513.90 decisions=2416332, wrong=1206728, backtracks=11451, failedAssignments=1205558, nogoods=69485, foundSolutions=11, bestBound=61
517.12/513.90
517.23/514.07 num=517, depth=2..6, filters=2318772, revisions=(2667917,useless=332618), ccks=1848908402, wck=511.918, mem=90M397
517.23/514.07 decisions=2417333, wrong=1207226, backtracks=11455, failedAssignments=1206055, nogoods=69512, foundSolutions=11, bestBound=61
517.23/514.07
517.72/514.59 num=518, depth=1..6, filters=2321853, revisions=(2671932,useless=333463), ccks=1851763597, wck=512.443, mem=94M486
517.72/514.59 decisions=2418439, wrong=1207776, backtracks=11494, failedAssignments=1206602, nogoods=69963, foundSolutions=11, bestBound=61
517.72/514.59
518.02/514.86 num=519, depth=1..7, filters=2323125, revisions=(2673490,useless=333674), ccks=1853023863, wck=512.714, mem=96M531
518.02/514.86 decisions=2419650, wrong=1208378, backtracks=11503, failedAssignments=1207204, nogoods=70083, foundSolutions=11, bestBound=61
518.02/514.86
518.42/515.20 num=520, depth=2..5, filters=2324688, revisions=(2675447,useless=333969), ccks=1854153376, wck=513.05, mem=98M576
518.42/515.20 decisions=2420982, wrong=1209042, backtracks=11511, failedAssignments=1207866, nogoods=70258, foundSolutions=11, bestBound=61
518.42/515.20
519.12/515.97 num=521, depth=1..6, filters=2327900, revisions=(2679848,useless=334799), ccks=1858390580, wck=513.817, mem=106M754
519.12/515.97 decisions=2422452, wrong=1209775, backtracks=11535, failedAssignments=1208594, nogoods=70415, foundSolutions=11, bestBound=61
519.12/515.97
520.12/517.00 num=522, depth=2..5, filters=2333359, revisions=(2687025,useless=336092), ccks=1863150228, wck=514.846, mem=114M933
520.12/517.00 decisions=2424093, wrong=1210594, backtracks=11592, failedAssignments=1209395, nogoods=70596, foundSolutions=11, bestBound=61
520.12/517.00
521.23/518.06 num=523, depth=2..5, filters=2338741, revisions=(2694166,useless=337367), ccks=1868445901, wck=515.906, mem=125M156
521.23/518.06 decisions=2425887, wrong=1211489, backtracks=11642, failedAssignments=1210276, nogoods=70870, foundSolutions=11, bestBound=61
521.23/518.06
521.92/518.76 num=524, depth=1..7, filters=2342566, revisions=(2699140,useless=338376), ccks=1871873513, wck=516.607, mem=131M290
521.92/518.76 decisions=2427841, wrong=1212463, backtracks=11686, failedAssignments=1211246, nogoods=71198, foundSolutions=11, bestBound=61
521.92/518.76
522.93/519.78 num=525, depth=1..7, filters=2347331, revisions=(2705308,useless=339601), ccks=1876177185, wck=517.635, mem=37M739
522.93/519.78 decisions=2429996, wrong=1213537, backtracks=11735, failedAssignments=1212313, nogoods=71340, foundSolutions=11, bestBound=61
522.93/519.78
523.53/520.38 num=526, depth=1..6, filters=2349970, revisions=(2708575,useless=340104), ccks=1878646051, wck=518.229, mem=41M765
523.53/520.38 decisions=2432349, wrong=1214711, backtracks=11757, failedAssignments=1213486, nogoods=71540, foundSolutions=11, bestBound=61
523.53/520.38
524.13/520.92 num=527, depth=2..5, filters=2351956, revisions=(2710821,useless=340331), ccks=1879499291, wck=518.772, mem=43M778
524.13/520.92 decisions=2434936, wrong=1216003, backtracks=11770, failedAssignments=1214777, nogoods=71864, foundSolutions=11, bestBound=61
524.13/520.92
525.13/521.91 num=528, depth=2..5, filters=2357092, revisions=(2717347,useless=341390), ccks=1882797441, wck=519.763, mem=51M831
525.13/521.91 decisions=2437793, wrong=1217430, backtracks=11816, failedAssignments=1216197, nogoods=72209, foundSolutions=11, bestBound=61
525.13/521.91
525.63/522.43 num=529, depth=2..6, filters=2359622, revisions=(2720184,useless=341700), ccks=1883808642, wck=520.28, mem=51M831
525.63/522.43 decisions=2440927, wrong=1218994, backtracks=11825, failedAssignments=1217759, nogoods=72324, foundSolutions=11, bestBound=61
525.63/522.43
526.34/523.13 num=530, depth=1..6, filters=2362588, revisions=(2723675,useless=342133), ccks=1885512389, wck=520.982, mem=55M858
526.34/523.13 decisions=2444380, wrong=1220718, backtracks=11845, failedAssignments=1219477, nogoods=72587, foundSolutions=11, bestBound=61
526.34/523.13
527.24/524.04 num=531, depth=2..5, filters=2366454, revisions=(2728314,useless=342701), ccks=1888037669, wck=521.894, mem=59M884
527.24/524.04 decisions=2448168, wrong=1222610, backtracks=11876, failedAssignments=1221367, nogoods=72958, foundSolutions=11, bestBound=61
527.24/524.04
527.83/524.66 num=532, depth=2..7, filters=2369421, revisions=(2731661,useless=343025), ccks=1888890253, wck=522.512, mem=61M898
527.83/524.66 decisions=2452334, wrong=1224690, backtracks=11892, failedAssignments=1223446, nogoods=73137, foundSolutions=11, bestBound=61
527.83/524.66
528.93/525.77 num=533, depth=2..6, filters=2375277, revisions=(2738828,useless=344193), ccks=1891650447, wck=523.624, mem=69M951
528.93/525.77 decisions=2456919, wrong=1226980, backtracks=11938, failedAssignments=1225733, nogoods=73376, foundSolutions=11, bestBound=61
528.93/525.77
531.43/528.22 num=534, depth=1..6, filters=2390268, revisions=(2758203,useless=347784), ccks=1902871907, wck=526.066, mem=92M96
531.43/528.22 decisions=2462039, wrong=1229537, backtracks=12089, failedAssignments=1228249, nogoods=73527, foundSolutions=11, bestBound=61
531.43/528.22
533.34/530.19 num=535, depth=1..10, filters=2399922, revisions=(2770589,useless=350154), ccks=1910115432, wck=528.041, mem=110M215
533.34/530.19 decisions=2467608, wrong=1232317, backtracks=12165, failedAssignments=1231017, nogoods=73568, foundSolutions=11, bestBound=61
533.34/530.19
535.93/532.73 num=536, depth=1..6, filters=2410714, revisions=(2783976,useless=352508), ccks=1920416768, wck=530.578, mem=132M361
535.93/532.73 decisions=2473725, wrong=1235373, backtracks=12258, failedAssignments=1234061, nogoods=73851, foundSolutions=11, bestBound=61
535.93/532.73
538.94/535.71 num=537, depth=1..7, filters=2425656, revisions=(2803431,useless=356286), ccks=1934876947, wck=533.559, mem=55M901
538.94/535.71 decisions=2480458, wrong=1238736, backtracks=12388, failedAssignments=1237410, nogoods=74357, foundSolutions=11, bestBound=61
538.94/535.71
541.04/537.84 num=538, depth=1..10, filters=2435299, revisions=(2815682,useless=358357), ccks=1941973657, wck=535.694, mem=71M839
541.04/537.84 decisions=2487854, wrong=1242430, backtracks=12476, failedAssignments=1241094, nogoods=74418, foundSolutions=11, bestBound=61
541.04/537.84
543.94/540.72 num=539, depth=0..5, filters=2446902, revisions=(2830041,useless=360451), ccks=1953441739, wck=538.57, mem=89M770
543.94/540.72 decisions=2496035, wrong=1246519, backtracks=12573, failedAssignments=1245146, nogoods=74850, foundSolutions=11, bestBound=61
543.94/540.72
545.44/542.20 num=540, depth=2..7, filters=2452626, revisions=(2836182,useless=360904), ccks=1954673398, wck=540.053, mem=91M762
545.44/542.20 decisions=2504953, wrong=1250976, backtracks=12596, failedAssignments=1249603, nogoods=74923, foundSolutions=11, bestBound=61
545.44/542.20
547.94/544.79 num=541, depth=2..7, filters=2464159, revisions=(2850343,useless=362902), ccks=1961763942, wck=542.64, mem=107M700
547.94/544.79 decisions=2514779, wrong=1255887, backtracks=12681, failedAssignments=1254506, nogoods=75273, foundSolutions=11, bestBound=61
547.94/544.79
550.04/546.83 num=542, depth=1..7, filters=2473192, revisions=(2860561,useless=364088), ccks=1965109642, wck=544.682, mem=115M669
550.04/546.83 decisions=2525621, wrong=1261306, backtracks=12732, failedAssignments=1259900, nogoods=75295, foundSolutions=11, bestBound=61
550.04/546.83
552.74/549.51 num=543, depth=1..7, filters=2483866, revisions=(2872483,useless=365283), ccks=1971707908, wck=547.357, mem=125M631
552.74/549.51 decisions=2537501, wrong=1267243, backtracks=12770, failedAssignments=1265833, nogoods=75754, foundSolutions=11, bestBound=61
552.74/549.51
557.06/553.84 num=544, depth=1..7, filters=2502672, revisions=(2896522,useless=369504), ccks=1985525105, wck=551.686, mem=61M801
557.06/553.84 decisions=2550599, wrong=1273789, backtracks=12936, failedAssignments=1272359, nogoods=75901, foundSolutions=11, bestBound=61
557.06/553.84
569.87/566.61 num=545, depth=1..7, filters=2560258, revisions=(2969926,useless=384170), ccks=2064354558, wck=564.463, mem=53M702
569.87/566.61 decisions=2564970, wrong=1280973, backtracks=13080, failedAssignments=1279538, nogoods=75966, foundSolutions=11, bestBound=61
569.87/566.61
573.57/570.35 num=546, depth=2..6, filters=2575421, revisions=(2987767,useless=386349), ccks=2072151656, wck=568.202, mem=71M255
573.57/570.35 decisions=2580825, wrong=1288898, backtracks=13188, failedAssignments=1287435, nogoods=76400, foundSolutions=11, bestBound=61
573.57/570.35
579.47/576.24 num=547, depth=2..6, filters=2607744, revisions=(3028056,useless=393671), ccks=2092551521, wck=574.094, mem=121M963
579.47/576.24 decisions=2598373, wrong=1297670, backtracks=13417, failedAssignments=1296122, nogoods=76886, foundSolutions=11, bestBound=61
579.47/576.24
582.88/579.61 num=548, depth=2..9, filters=2620392, revisions=(3041900,useless=394917), ccks=2095611572, wck=577.456, mem=34M341
582.88/579.61 decisions=2617490, wrong=1307226, backtracks=13470, failedAssignments=1305677, nogoods=77364, foundSolutions=11, bestBound=61
582.88/579.61
586.29/583.05 num=549, depth=1..11, filters=2634251, revisions=(3057094,useless=396212), ccks=2099591634, wck=580.901, mem=43M988
586.29/583.05 decisions=2638527, wrong=1317740, backtracks=13541, failedAssignments=1316188, nogoods=77698, foundSolutions=11, bestBound=61
586.29/583.05
591.29/588.02 num=550, depth=0..7, filters=2653347, revisions=(3078649,useless=398900), ccks=2108517590, wck=585.867, mem=65M211
591.29/588.02 decisions=2661655, wrong=1329303, backtracks=13663, failedAssignments=1327750, nogoods=78171, foundSolutions=11, bestBound=61
591.29/588.02
596.88/593.65 num=551, depth=1..7, filters=2685575, revisions=(3117103,useless=404815), ccks=2128352047, wck=591.499, mem=99M940
596.88/593.65 decisions=2687155, wrong=1342050, backtracks=13855, failedAssignments=1340468, nogoods=78226, foundSolutions=11, bestBound=61
596.88/593.65
600.99/597.74 num=552, depth=1..15, filters=2705444, revisions=(3139361,useless=406854), ccks=2135962427, wck=595.591, mem=117M304
600.99/597.74 decisions=2715149, wrong=1356043, backtracks=13947, failedAssignments=1354458, nogoods=78501, foundSolutions=11, bestBound=61
600.99/597.74
608.34/605.06 num=553, depth=1..8, filters=2734710, revisions=(3173724,useless=411628), ccks=2155699365, wck=602.91, mem=57M426
608.34/605.06 decisions=2745964, wrong=1371447, backtracks=14140, failedAssignments=1369847, nogoods=78913, foundSolutions=11, bestBound=61
608.34/605.06
615.83/612.50 num=554, depth=1..9, filters=2771867, revisions=(3218218,useless=418799), ccks=2176207645, wck=610.355, mem=105M136
615.83/612.50 decisions=2779851, wrong=1388386, backtracks=14381, failedAssignments=1386775, nogoods=79030, foundSolutions=11, bestBound=61
615.83/612.50
625.84/622.53 num=555, depth=1..9, filters=2816646, revisions=(3273209,useless=429535), ccks=2204220927, wck=620.385, mem=87M434
625.84/622.53 decisions=2817127, wrong=1407020, backtracks=14754, failedAssignments=1405396, nogoods=79134, foundSolutions=11, bestBound=61
625.84/622.53
635.47/632.14 num=556, depth=1..10, filters=2857493, revisions=(3321507,useless=435795), ccks=2225872571, wck=629.992, mem=34M614
635.47/632.14 decisions=2858212, wrong=1427559, backtracks=15008, failedAssignments=1425880, nogoods=79609, foundSolutions=11, bestBound=61
635.47/632.14
655.88/652.53 num=557, depth=1..10, filters=2938014, revisions=(3422092,useless=454416), ccks=2308829341, wck=650.385, mem=78M950
655.88/652.53 decisions=2903371, wrong=1450135, backtracks=15733, failedAssignments=1448412, nogoods=80130, foundSolutions=11, bestBound=61
655.88/652.53
664.49/661.13 num=558, depth=1..10, filters=2974562, revisions=(3462098,useless=458006), ccks=2318825017, wck=658.977, mem=97M405
664.49/661.13 decisions=2952991, wrong=1474942, backtracks=15867, failedAssignments=1473197, nogoods=80648, foundSolutions=11, bestBound=61
664.49/661.13
673.69/670.36 num=559, depth=0..10, filters=3021854, revisions=(3515855,useless=464323), ccks=2335932940, wck=668.208, mem=45M699
673.69/670.36 decisions=3007585, wrong=1502236, backtracks=16143, failedAssignments=1500461, nogoods=80669, foundSolutions=11, bestBound=61
673.69/670.36
683.40/680.02 num=560, depth=1..13, filters=3080186, revisions=(3582203,useless=473190), ccks=2356771928, wck=677.866, mem=100M435
683.40/680.02 decisions=3067607, wrong=1532243, backtracks=16489, failedAssignments=1530451, nogoods=81150, foundSolutions=11, bestBound=61
683.40/680.02
693.99/690.60 num=561, depth=1..10, filters=3121521, revisions=(3626247,useless=476171), ccks=2362930534, wck=688.452, mem=122M329
693.99/690.60 decisions=3133599, wrong=1565237, backtracks=16661, failedAssignments=1563440, nogoods=81175, foundSolutions=11, bestBound=61
693.99/690.60
704.51/701.15 num=562, depth=0..13, filters=3182117, revisions=(3693781,useless=483092), ccks=2381779755, wck=699.005, mem=72M712
704.51/701.15 decisions=3206215, wrong=1601542, backtracks=16955, failedAssignments=1599728, nogoods=81230, foundSolutions=11, bestBound=61
704.51/701.15
722.11/718.76 num=563, depth=0..11, filters=3236114, revisions=(3752216,useless=487628), ccks=2400181582, wck=716.615, mem=105M176
722.11/718.76 decisions=3286090, wrong=1641476, backtracks=17131, failedAssignments=1639645, nogoods=81265, foundSolutions=11, bestBound=61
722.11/718.76
735.12/731.78 num=564, depth=0..14, filters=3299359, revisions=(3821811,useless=493586), ccks=2414800958, wck=729.626, mem=58M7
735.12/731.78 decisions=3374009, wrong=1685433, backtracks=17399, failedAssignments=1683554, nogoods=81344, foundSolutions=11, bestBound=61
735.12/731.78
755.54/752.14 num=565, depth=1..11, filters=3394623, revisions=(3933342,useless=510438), ccks=2462790770, wck=749.995, mem=84M170
755.54/752.14 decisions=3470724, wrong=1733787, backtracks=17955, failedAssignments=1731854, nogoods=81587, foundSolutions=11, bestBound=61
755.54/752.14
772.84/769.43 num=566, depth=1..9, filters=3460703, revisions=(4003867,useless=515216), ccks=2473214504, wck=767.284, mem=115M879
772.84/769.43 decisions=3577038, wrong=1786941, backtracks=18218, failedAssignments=1784984, nogoods=81882, foundSolutions=11, bestBound=61
772.84/769.43
792.45/789.01 num=567, depth=1..12, filters=3567499, revisions=(4125270,useless=529789), ccks=2507377584, wck=786.856, mem=120M213
792.45/789.01 decisions=3694026, wrong=1845432, backtracks=18806, failedAssignments=1843427, nogoods=81939, foundSolutions=11, bestBound=61
792.45/789.01
818.77/815.38 num=568, depth=1..13, filters=3674479, revisions=(4247277,useless=543609), ccks=2556068457, wck=813.227, mem=51M900
818.77/815.38 decisions=3822685, wrong=1909758, backtracks=19343, failedAssignments=1907714, nogoods=82442, foundSolutions=11, bestBound=61
818.77/815.38
842.59/839.13 num=569, depth=1..16, filters=3789315, revisions=(4377123,useless=557774), ccks=2592950082, wck=836.979, mem=53M437
842.59/839.13 decisions=3964262, wrong=1980540, backtracks=19919, failedAssignments=1978430, nogoods=82582, foundSolutions=11, bestBound=61
842.59/839.13
872.51/869.01 num=570, depth=1..17, filters=3955104, revisions=(4572632,useless=584814), ccks=2667229614, wck=866.864, mem=114M518
872.51/869.01 decisions=4120042, wrong=2058426, backtracks=20630, failedAssignments=2056217, nogoods=82764, foundSolutions=11, bestBound=61
872.51/869.01
897.41/893.98 num=571, depth=0..13, filters=4069076, revisions=(4695915,useless=594317), ccks=2690359737, wck=891.827, mem=100M404
897.41/893.98 decisions=4291223, wrong=2144010, backtracks=21156, failedAssignments=2141783, nogoods=83138, foundSolutions=11, bestBound=61
897.41/893.98
945.83/942.36 num=572, depth=0..12, filters=4276580, revisions=(4940504,useless=628312), ccks=2862951908, wck=940.21, mem=80M985
945.83/942.36 decisions=4479658, wrong=2238225, backtracks=21859, failedAssignments=2235906, nogoods=83605, foundSolutions=11, bestBound=61
945.83/942.36
985.15/981.68 num=573, depth=1..16, filters=4475550, revisions=(5170292,useless=656990), ccks=2936895255, wck=979.53, mem=88M233
985.15/981.68 decisions=4686905, wrong=2341844, backtracks=22574, failedAssignments=2339441, nogoods=83730, foundSolutions=11, bestBound=61
985.15/981.68
1023.26/1019.76 num=574, depth=1..18, filters=4652702, revisions=(5371350,useless=680230), ccks=2985163257, wck=1017.606, mem=82M900
1023.26/1019.76 decisions=4914865, wrong=2455821, backtracks=23533, failedAssignments=2453330, nogoods=83968, foundSolutions=11, bestBound=61
1023.26/1019.76
1072.18/1068.69 num=575, depth=0..11, filters=4863043, revisions=(5608752,useless=704581), ccks=3068942879, wck=1066.541, mem=91M433
1072.18/1068.69 decisions=5165683, wrong=2581227, backtracks=24506, failedAssignments=2578608, nogoods=84365, foundSolutions=11, bestBound=61
1072.18/1068.69
1130.31/1126.75 num=576, depth=1..17, filters=5074314, revisions=(5846995,useless=729173), ccks=3148196233, wck=1124.603, mem=57M554
1130.31/1126.75 decisions=5441446, wrong=2719106, backtracks=25708, failedAssignments=2716414, nogoods=84390, foundSolutions=11, bestBound=61
1130.31/1126.75
1178.51/1174.95 num=577, depth=0..15, filters=5288950, revisions=(6080446,useless=748374), ccks=3200035865, wck=1172.796, mem=107M704
1178.51/1174.95 decisions=5744807, wrong=2870784, backtracks=26644, failedAssignments=2868000, nogoods=84904, foundSolutions=11, bestBound=61
1178.51/1174.95
1242.93/1239.31 num=578, depth=1..15, filters=5572611, revisions=(6405100,useless=788535), ccks=3285730420, wck=1237.159, mem=88M849
1242.93/1239.31 decisions=6078611, wrong=3037682, backtracks=28067, failedAssignments=3034745, nogoods=85356, foundSolutions=11, bestBound=61
1242.93/1239.31
1298.14/1294.56 num=579, depth=1..19, filters=5797715, revisions=(6644117,useless=803993), ccks=3311423969, wck=1292.41, mem=55M318
1298.14/1294.56 decisions=6445498, wrong=3221123, backtracks=28971, failedAssignments=3218164, nogoods=85728, foundSolutions=11, bestBound=61
1298.14/1294.56
1358.85/1355.29 num=580, depth=1..18, filters=6033126, revisions=(6891519,useless=817032), ccks=3339159156, wck=1353.138, mem=80M707
1358.85/1355.29 decisions=6849040, wrong=3422889, backtracks=29747, failedAssignments=3419925, nogoods=86134, foundSolutions=11, bestBound=61
1358.85/1355.29
1487.45/1483.76 num=581, depth=1..18, filters=6542472, revisions=(7528918,useless=937424), ccks=3718460926, wck=1481.609, mem=61M470
1487.45/1483.76 decisions=7293216, wrong=3644973, backtracks=33217, failedAssignments=3641863, nogoods=86654, foundSolutions=11, bestBound=61
1487.45/1483.76
1570.90/1567.14 num=582, depth=1..14, filters=6923707, revisions=(7954055,useless=982498), ccks=3818706420, wck=1564.994, mem=88M304
1570.90/1567.14 decisions=7781782, wrong=3889253, backtracks=35111, failedAssignments=3885994, nogoods=87074, foundSolutions=11, bestBound=61
1570.90/1567.14
1670.43/1666.68 num=583, depth=0..15, filters=7346352, revisions=(8428876,useless=1033785), ccks=3952589238, wck=1664.534, mem=39M77
1670.43/1666.68 decisions=8319234, wrong=4157975, backtracks=36996, failedAssignments=4154539, nogoods=87476, foundSolutions=11, bestBound=61
1670.43/1666.68
1775.99/1772.13 num=584, depth=0..13, filters=7784746, revisions=(8916147,useless=1082364), ccks=4082909489, wck=1769.984, mem=65M188
1775.99/1772.13 decisions=8910470, wrong=4453590, backtracks=39301, failedAssignments=4449938, nogoods=87553, foundSolutions=11, bestBound=61
1775.99/1772.13
1878.52/1874.65 num=585, depth=1..16, filters=8248436, revisions=(9424182,useless=1126970), ccks=4190716686, wck=1872.501, mem=64M912
1878.52/1874.65 decisions=9560687, wrong=4778694, backtracks=41266, failedAssignments=4774877, nogoods=87750, foundSolutions=11, bestBound=61
1878.52/1874.65
1997.25/1993.32 num=586, depth=1..19, filters=8728596, revisions=(9945221,useless=1168179), ccks=4278438827, wck=1991.166, mem=78M229
1997.25/1993.32 decisions=10275688, wrong=5136190, backtracks=42794, failedAssignments=5132310, nogoods=88233, foundSolutions=11, bestBound=61
1997.25/1993.32
2196.53/2192.60 num=587, depth=0..11, filters=9420282, revisions=(10763086,useless=1289953), ccks=4714147990, wck=2190.446, mem=64M481
2196.53/2192.60 decisions=11062531, wrong=5529608, backtracks=46191, failedAssignments=5525486, nogoods=88588, foundSolutions=11, bestBound=61
2196.53/2192.60
2324.98/2320.99 num=588, depth=1..19, filters=10131065, revisions=(11554656,useless=1368692), ccks=4888944696, wck=2318.841, mem=58M145
2324.98/2320.99 decisions=11928344, wrong=5962511, backtracks=48890, failedAssignments=5957980, nogoods=88671, foundSolutions=11, bestBound=61
2324.98/2320.99
2400.03/2395.90
2400.03/2395.90 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>
2400.03/2395.90 s SATISFIABLE