2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
2.89/2.02 Instance
2.89/2.02 name=instance-4391358-1568391783, framework=COP, bounds=-infty..+infty
2.89/2.02
2.89/2.02 Loading variables...
2.89/2.05 Loading constraints...
3.13/2.16
3.13/2.16 Domains
3.13/2.16 nTypes=2, nValues=15392, sizes=[169#78,170#13]
3.13/2.16 Variables
3.13/2.16 count=91, degrees=[2#78,12#12,13#1]
3.13/2.16 Objectives
3.13/2.16 way=min, type=ObjVarLE
3.13/2.16 Constraints
3.13/2.16 count=80, nSpecific=2, arities=[1#1,3#78,78#1]
3.13/2.16 distribution=[AllDifferent#1,CtrIntension#78,ObjVarLE#1]
3.13/2.16 nIntStructures=(1,shared:77)
3.13/2.16 wck=0.317, cpu=2.125, mem=26M512
3.13/2.17 Solver SolverBacktrack being built...
3.13/2.17
3.13/2.19
3.13/2.19 Solver
3.13/2.19 guaranteedGAC=false
3.13/2.19 wck=0.347, cpu=2.152, mem=39M798
3.13/2.20
3.13/2.20 Preprocessing
3.13/2.20 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.13/2.20 wck=0.009, cpu=2.162, mem=39M798
3.13/2.20
3.95/2.42 o 147
3.95/2.43 num=0, depth=92..90, filters=518, revisions=(871,useless=298), ccks=1444757, wck=0.244, mem=39M798
3.95/2.43 decisions=13, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=147
3.95/2.43
4.16/2.58 num=1, depth=11..11, filters=1333, revisions=(1993,useless=534), ccks=2629795, wck=0.397, mem=39M798
4.16/2.58 decisions=46, wrong=11, backtracks=0, failedAssignments=11, nogoods=11, foundSolutions=1, bestBound=147
4.16/2.58
4.61/2.93 num=2, depth=0..1, filters=1468, revisions=(2238,useless=534), ccks=5839029, wck=0.74, mem=42M440
4.61/2.93 decisions=69, wrong=22, backtracks=0, failedAssignments=22, nogoods=12, foundSolutions=1, bestBound=147
4.61/2.93
4.91/3.26 num=3, depth=1..1, filters=1621, revisions=(2503,useless=546), ccks=9016788, wck=1.073, mem=42M440
4.91/3.26 decisions=94, wrong=34, backtracks=0, failedAssignments=34, nogoods=24, foundSolutions=1, bestBound=147
4.91/3.26
5.22/3.54 num=4, depth=0..1, filters=1750, revisions=(2733,useless=546), ccks=12234080, wck=1.352, mem=42M440
5.22/3.54 decisions=121, wrong=47, backtracks=0, failedAssignments=47, nogoods=26, foundSolutions=1, bestBound=147
5.22/3.54
5.42/3.79 num=5, depth=1..2, filters=1983, revisions=(3117,useless=617), ccks=14986850, wck=1.604, mem=42M440
5.42/3.79 decisions=151, wrong=61, backtracks=0, failedAssignments=61, nogoods=40, foundSolutions=1, bestBound=147
5.42/3.79
5.52/3.84 num=6, depth=0..2, filters=2087, revisions=(3264,useless=644), ccks=15493489, wck=1.655, mem=42M440
5.52/3.84 decisions=185, wrong=77, backtracks=0, failedAssignments=77, nogoods=55, foundSolutions=1, bestBound=147
5.52/3.84
5.63/3.92 num=7, depth=0..5, filters=2232, revisions=(3495,useless=702), ccks=16299374, wck=1.737, mem=45M83
5.63/3.92 decisions=224, wrong=94, backtracks=0, failedAssignments=94, nogoods=70, foundSolutions=1, bestBound=147
5.63/3.92
5.63/3.99 num=8, depth=6..10, filters=2665, revisions=(4172,useless=898), ccks=16813498, wck=1.802, mem=45M83
5.63/3.99 decisions=270, wrong=113, backtracks=2, failedAssignments=113, nogoods=85, foundSolutions=1, bestBound=147
5.63/3.99
5.80/4.07 num=9, depth=0..10, filters=2889, revisions=(4523,useless=1012), ccks=17671866, wck=1.888, mem=45M83
5.80/4.07 decisions=322, wrong=134, backtracks=2, failedAssignments=134, nogoods=103, foundSolutions=1, bestBound=147
5.80/4.07
6.01/4.21 num=10, depth=2..3, filters=3132, revisions=(4888,useless=1093), ccks=19057181, wck=2.022, mem=45M83
6.01/4.21 decisions=371, wrong=157, backtracks=3, failedAssignments=157, nogoods=112, foundSolutions=1, bestBound=147
6.01/4.21
6.21/4.43 num=11, depth=0..3, filters=3449, revisions=(5368,useless=1183), ccks=21442467, wck=2.245, mem=45M83
6.21/4.43 decisions=424, wrong=182, backtracks=5, failedAssignments=182, nogoods=120, foundSolutions=1, bestBound=147
6.21/4.43
6.43/4.66 num=12, depth=1..3, filters=3973, revisions=(6177,useless=1371), ccks=23772495, wck=2.471, mem=47M725
6.43/4.66 decisions=482, wrong=210, backtracks=8, failedAssignments=210, nogoods=124, foundSolutions=1, bestBound=147
6.43/4.66
6.87/5.01 num=13, depth=1..4, filters=4740, revisions=(7337,useless=1608), ccks=27488664, wck=2.826, mem=47M725
6.87/5.01 decisions=547, wrong=241, backtracks=10, failedAssignments=241, nogoods=148, foundSolutions=1, bestBound=147
6.87/5.01
7.26/5.49 num=14, depth=2..5, filters=5605, revisions=(8666,useless=1914), ccks=32646320, wck=3.302, mem=50M368
7.26/5.49 decisions=620, wrong=275, backtracks=10, failedAssignments=275, nogoods=182, foundSolutions=1, bestBound=147
7.26/5.49
7.47/5.66 num=15, depth=0..4, filters=6203, revisions=(9552,useless=2151), ccks=34406327, wck=3.478, mem=50M368
7.47/5.66 decisions=700, wrong=313, backtracks=14, failedAssignments=312, nogoods=201, foundSolutions=1, bestBound=147
7.47/5.66
7.89/6.06 num=16, depth=0..5, filters=6919, revisions=(10585,useless=2352), ccks=38563537, wck=3.871, mem=50M368
7.89/6.06 decisions=791, wrong=357, backtracks=20, failedAssignments=353, nogoods=217, foundSolutions=1, bestBound=147
7.89/6.06
8.39/6.54 num=17, depth=0..6, filters=8094, revisions=(12274,useless=2711), ccks=43709196, wck=4.352, mem=53M10
8.39/6.54 decisions=887, wrong=402, backtracks=22, failedAssignments=398, nogoods=257, foundSolutions=1, bestBound=147
8.39/6.54
8.82/6.95 num=18, depth=0..6, filters=9230, revisions=(13913,useless=3060), ccks=48084985, wck=4.768, mem=55M652
8.82/6.95 decisions=997, wrong=454, backtracks=28, failedAssignments=448, nogoods=293, foundSolutions=1, bestBound=147
8.82/6.95
9.33/7.48 num=19, depth=0..7, filters=10397, revisions=(15581,useless=3360), ccks=53734836, wck=5.295, mem=55M652
9.33/7.48 decisions=1122, wrong=513, backtracks=33, failedAssignments=503, nogoods=336, foundSolutions=1, bestBound=147
9.33/7.48
9.96/8.09 num=20, depth=0..5, filters=11710, revisions=(17535,useless=3752), ccks=60225208, wck=5.905, mem=58M295
9.96/8.09 decisions=1253, wrong=576, backtracks=38, failedAssignments=564, nogoods=377, foundSolutions=1, bestBound=147
9.96/8.09
10.55/8.60 num=21, depth=0..9, filters=13469, revisions=(20049,useless=4297), ccks=65571763, wck=6.412, mem=60M937
10.55/8.60 decisions=1399, wrong=645, backtracks=47, failedAssignments=631, nogoods=392, foundSolutions=1, bestBound=147
10.55/8.60
11.16/9.27 num=22, depth=0..9, filters=15497, revisions=(22979,useless=4934), ccks=72815194, wck=7.088, mem=63M580
11.16/9.27 decisions=1561, wrong=722, backtracks=57, failedAssignments=705, nogoods=427, foundSolutions=1, bestBound=147
11.16/9.27
11.98/10.04 num=23, depth=0..3, filters=16783, revisions=(25005,useless=5426), ccks=81034461, wck=7.854, mem=66M222
11.98/10.04 decisions=1727, wrong=804, backtracks=66, failedAssignments=786, nogoods=431, foundSolutions=1, bestBound=147
11.98/10.04
12.37/10.42 num=24, depth=2..10, filters=18731, revisions=(27576,useless=5922), ccks=84884509, wck=8.233, mem=66M222
12.37/10.42 decisions=1919, wrong=895, backtracks=70, failedAssignments=875, nogoods=506, foundSolutions=1, bestBound=147
12.37/10.42
13.37/11.42 num=25, depth=2..2, filters=19627, revisions=(29071,useless=5964), ccks=96717657, wck=9.237, mem=68M865
13.37/11.42 decisions=2117, wrong=993, backtracks=70, failedAssignments=973, nogoods=604, foundSolutions=1, bestBound=147
13.37/11.42
13.77/11.87 num=26, depth=1..8, filters=20963, revisions=(30930,useless=6302), ccks=101321953, wck=9.687, mem=71M507
13.77/11.87 decisions=2341, wrong=1101, backtracks=74, failedAssignments=1081, nogoods=692, foundSolutions=1, bestBound=147
13.77/11.87
14.77/12.88 num=27, depth=1..3, filters=21925, revisions=(32474,useless=6364), ccks=112910559, wck=10.694, mem=74M149
14.77/12.88 decisions=2581, wrong=1220, backtracks=76, failedAssignments=1200, nogoods=799, foundSolutions=1, bestBound=147
14.77/12.88
15.09/13.16 num=28, depth=1..10, filters=24534, revisions=(36054,useless=7198), ccks=115572960, wck=10.971, mem=74M149
15.09/13.16 decisions=2871, wrong=1360, backtracks=91, failedAssignments=1331, nogoods=896, foundSolutions=1, bestBound=147
15.09/13.16
18.62/16.60 num=29, depth=1..1, filters=26381, revisions=(39592,useless=7200), ccks=155796593, wck=14.41, mem=82M77
18.62/16.60 decisions=3160, wrong=1504, backtracks=91, failedAssignments=1475, nogoods=1040, foundSolutions=1, bestBound=147
18.62/16.60
19.22/17.29 num=30, depth=0..10, filters=30358, revisions=(44718,useless=8116), ccks=162957357, wck=15.101, mem=84M719
19.22/17.29 decisions=3491, wrong=1665, backtracks=110, failedAssignments=1633, nogoods=1113, foundSolutions=1, bestBound=147
19.22/17.29
20.28/18.20 num=31, depth=0..9, filters=34644, revisions=(50314,useless=9074), ccks=172507479, wck=16.016, mem=90M4
20.28/18.20 decisions=3869, wrong=1850, backtracks=128, failedAssignments=1807, nogoods=1185, foundSolutions=1, bestBound=147
20.28/18.20
20.98/18.94 num=32, depth=0..9, filters=37153, revisions=(53977,useless=10019), ccks=179887052, wck=16.751, mem=92M646
20.98/18.94 decisions=4262, wrong=2042, backtracks=142, failedAssignments=1998, nogoods=1296, foundSolutions=1, bestBound=147
20.98/18.94
21.58/19.52 num=33, depth=1..9, filters=40640, revisions=(58706,useless=11003), ccks=185752258, wck=17.33, mem=95M289
21.58/19.52 decisions=4697, wrong=2255, backtracks=160, failedAssignments=2209, nogoods=1407, foundSolutions=1, bestBound=147
21.58/19.52
24.28/22.20 num=34, depth=1..4, filters=44449, revisions=(64882,useless=12198), ccks=215802788, wck=20.017, mem=103M216
24.28/22.20 decisions=5163, wrong=2487, backtracks=164, failedAssignments=2441, nogoods=1474, foundSolutions=1, bestBound=147
24.28/22.20
24.88/22.81 num=35, depth=0..8, filters=46459, revisions=(67702,useless=12828), ccks=221879082, wck=20.623, mem=105M858
24.88/22.81 decisions=5680, wrong=2742, backtracks=178, failedAssignments=2696, nogoods=1594, foundSolutions=1, bestBound=147
24.88/22.81
25.38/23.33 num=36, depth=1..8, filters=47959, revisions=(69829,useless=13241), ccks=227119214, wck=21.14, mem=108M501
25.38/23.33 decisions=6249, wrong=3023, backtracks=187, failedAssignments=2977, nogoods=1728, foundSolutions=1, bestBound=147
25.38/23.33
25.68/23.62 num=37, depth=2..11, filters=49335, revisions=(71676,useless=13602), ccks=229879543, wck=21.435, mem=108M501
25.68/23.62 decisions=6878, wrong=3333, backtracks=193, failedAssignments=3286, nogoods=1773, foundSolutions=1, bestBound=147
25.68/23.62
26.19/24.19 num=38, depth=2..10, filters=51066, revisions=(74059,useless=14038), ccks=235624095, wck=22.001, mem=111M143
26.19/24.19 decisions=7570, wrong=3675, backtracks=201, failedAssignments=3626, nogoods=1887, foundSolutions=1, bestBound=147
26.19/24.19
26.68/24.61 num=39, depth=2..10, filters=52824, revisions=(76441,useless=14511), ccks=239647761, wck=22.426, mem=113M786
26.68/24.61 decisions=8328, wrong=4050, backtracks=209, failedAssignments=4000, nogoods=2029, foundSolutions=1, bestBound=147
26.68/24.61
27.05/24.93 num=40, depth=2..10, filters=54545, revisions=(78709,useless=14948), ccks=242503080, wck=22.744, mem=113M786
27.05/24.93 decisions=9158, wrong=4462, backtracks=219, failedAssignments=4411, nogoods=2062, foundSolutions=1, bestBound=147
27.05/24.93
27.35/25.27 o 146
27.35/25.27 num=41, depth=3..90, filters=56061, revisions=(80752,useless=15378), ccks=245932027, wck=23.087, mem=116M428
27.35/25.27 decisions=9372, wrong=4563, backtracks=224, failedAssignments=4507, nogoods=2155, foundSolutions=2, bestBound=146
27.35/25.27
28.30/26.19 num=42, depth=1..12, filters=58880, revisions=(84508,useless=16060), ccks=253674409, wck=24.0, mem=119M71
28.30/26.19 decisions=10376, wrong=5060, backtracks=237, failedAssignments=5004, nogoods=2308, foundSolutions=2, bestBound=146
28.30/26.19
28.61/26.41 num=43, depth=4..4, filters=59353, revisions=(85186,useless=16154), ccks=255892201, wck=24.226, mem=119M71
28.61/26.41 decisions=10402, wrong=5071, backtracks=237, failedAssignments=5015, nogoods=2319, foundSolutions=2, bestBound=146
28.61/26.41
28.71/26.58 num=44, depth=0..2, filters=59670, revisions=(85652,useless=16244), ccks=257570446, wck=24.395, mem=119M71
28.71/26.58 decisions=10427, wrong=5083, backtracks=239, failedAssignments=5027, nogoods=2326, foundSolutions=2, bestBound=146
28.71/26.58
28.91/26.70 num=45, depth=2..4, filters=60011, revisions=(86160,useless=16361), ccks=258680587, wck=24.51, mem=119M71
28.91/26.70 decisions=10456, wrong=5096, backtracks=241, failedAssignments=5040, nogoods=2336, foundSolutions=2, bestBound=146
28.91/26.70
29.01/26.86 num=46, depth=0..5, filters=60393, revisions=(86713,useless=16480), ccks=260299666, wck=24.671, mem=121M713
29.01/26.86 decisions=10491, wrong=5111, backtracks=244, failedAssignments=5054, nogoods=2340, foundSolutions=2, bestBound=146
29.01/26.86
29.22/27.06 num=47, depth=0..2, filters=60813, revisions=(87357,useless=16654), ccks=262312120, wck=24.871, mem=121M713
29.22/27.06 decisions=10525, wrong=5127, backtracks=251, failedAssignments=5070, nogoods=2342, foundSolutions=2, bestBound=146
29.22/27.06
29.41/27.26 num=48, depth=0..0, filters=60895, revisions=(87504,useless=16654), ccks=264600537, wck=25.071, mem=121M713
29.41/27.26 decisions=10559, wrong=5144, backtracks=251, failedAssignments=5087, nogoods=2342, foundSolutions=2, bestBound=146
29.41/27.26
29.61/27.47 num=49, depth=0..3, filters=61449, revisions=(88359,useless=16863), ccks=266712442, wck=25.281, mem=121M713
29.61/27.47 decisions=10599, wrong=5163, backtracks=255, failedAssignments=5106, nogoods=2347, foundSolutions=2, bestBound=146
29.61/27.47
29.83/27.67 num=50, depth=0..3, filters=61850, revisions=(88974,useless=17033), ccks=268817458, wck=25.481, mem=124M355
29.83/27.67 decisions=10643, wrong=5184, backtracks=259, failedAssignments=5127, nogoods=2354, foundSolutions=2, bestBound=146
29.83/27.67
30.13/27.93 num=51, depth=0..3, filters=62492, revisions=(89942,useless=17290), ccks=271424046, wck=25.739, mem=124M355
30.13/27.93 decisions=10692, wrong=5207, backtracks=266, failedAssignments=5150, nogoods=2366, foundSolutions=2, bestBound=146
30.13/27.93
30.34/28.15 num=52, depth=0..3, filters=63017, revisions=(90727,useless=17454), ccks=273692795, wck=25.964, mem=124M355
30.34/28.15 decisions=10746, wrong=5233, backtracks=270, failedAssignments=5175, nogoods=2377, foundSolutions=2, bestBound=146
30.34/28.15
30.53/28.33 num=53, depth=2..7, filters=63829, revisions=(91849,useless=17698), ccks=275389470, wck=26.144, mem=124M355
30.53/28.33 decisions=10808, wrong=5261, backtracks=273, failedAssignments=5203, nogoods=2396, foundSolutions=2, bestBound=146
30.53/28.33
30.85/28.65 num=54, depth=0..2, filters=64385, revisions=(92724,useless=17874), ccks=278677136, wck=26.463, mem=126M998
30.85/28.65 decisions=10872, wrong=5292, backtracks=275, failedAssignments=5234, nogoods=2413, foundSolutions=2, bestBound=146
30.85/28.65
31.05/28.89 num=55, depth=3..8, filters=65549, revisions=(94348,useless=18220), ccks=281107116, wck=26.707, mem=126M998
31.05/28.89 decisions=10954, wrong=5329, backtracks=279, failedAssignments=5268, nogoods=2434, foundSolutions=2, bestBound=146
31.05/28.89
31.48/29.23 num=56, depth=0..3, filters=66414, revisions=(95726,useless=18591), ccks=284458928, wck=27.04, mem=129M640
31.48/29.23 decisions=11032, wrong=5367, backtracks=286, failedAssignments=5305, nogoods=2436, foundSolutions=2, bestBound=146
31.48/29.23
31.68/29.46 num=57, depth=2..8, filters=67528, revisions=(97319,useless=18926), ccks=286745037, wck=27.274, mem=129M640
31.68/29.46 decisions=11128, wrong=5411, backtracks=290, failedAssignments=5346, nogoods=2463, foundSolutions=2, bestBound=146
31.68/29.46
31.98/29.76 num=58, depth=5..10, filters=68695, revisions=(98877,useless=19210), ccks=289843890, wck=27.571, mem=132M283
31.98/29.76 decisions=11230, wrong=5457, backtracks=291, failedAssignments=5391, nogoods=2504, foundSolutions=2, bestBound=146
31.98/29.76
32.39/30.12 num=59, depth=0..3, filters=69763, revisions=(100458,useless=19584), ccks=293407882, wck=27.937, mem=132M283
32.39/30.12 decisions=11333, wrong=5508, backtracks=297, failedAssignments=5441, nogoods=2515, foundSolutions=2, bestBound=146
32.39/30.12
32.48/30.27 num=60, depth=2..8, filters=70499, revisions=(101483,useless=19804), ccks=294800984, wck=28.087, mem=134M925
32.48/30.27 decisions=11451, wrong=5563, backtracks=299, failedAssignments=5496, nogoods=2567, foundSolutions=2, bestBound=146
32.48/30.27
32.58/30.38 num=61, depth=5..11, filters=71001, revisions=(102208,useless=19992), ccks=295838745, wck=28.194, mem=134M925
32.58/30.38 decisions=11584, wrong=5624, backtracks=300, failedAssignments=5557, nogoods=2627, foundSolutions=2, bestBound=146
32.58/30.38
32.78/30.54 num=62, depth=6..11, filters=71984, revisions=(103521,useless=20252), ccks=297371995, wck=28.349, mem=134M925
32.78/30.54 decisions=11728, wrong=5691, backtracks=302, failedAssignments=5624, nogoods=2692, foundSolutions=2, bestBound=146
32.78/30.54
32.98/30.71 num=63, depth=4..10, filters=72876, revisions=(104696,useless=20464), ccks=299008396, wck=28.525, mem=134M925
32.98/30.71 decisions=11886, wrong=5765, backtracks=303, failedAssignments=5698, nogoods=2763, foundSolutions=2, bestBound=146
32.98/30.71
33.41/31.18 num=64, depth=4..11, filters=75192, revisions=(107701,useless=20918), ccks=303681894, wck=28.992, mem=137M568
33.41/31.18 decisions=12059, wrong=5847, backtracks=308, failedAssignments=5779, nogoods=2820, foundSolutions=2, bestBound=146
33.41/31.18
34.10/31.82 num=65, depth=0..3, filters=76895, revisions=(110418,useless=21440), ccks=310473419, wck=29.631, mem=140M210
34.10/31.82 decisions=12241, wrong=5937, backtracks=316, failedAssignments=5868, nogoods=2831, foundSolutions=2, bestBound=146
34.10/31.82
34.50/32.20 num=66, depth=3..9, filters=80127, revisions=(114800,useless=22352), ccks=314333379, wck=30.015, mem=142M778
34.50/32.20 decisions=12452, wrong=6038, backtracks=333, failedAssignments=5966, nogoods=2884, foundSolutions=2, bestBound=146
34.50/32.20
35.24/32.97 num=67, depth=0..8, filters=82627, revisions=(118482,useless=23228), ccks=321773400, wck=30.784, mem=24M660
35.24/32.97 decisions=12680, wrong=6148, backtracks=353, failedAssignments=6074, nogoods=2907, foundSolutions=2, bestBound=146
35.24/32.97
35.94/33.64 num=68, depth=0..10, filters=84326, revisions=(121037,useless=23814), ccks=328670867, wck=31.458, mem=27M250
35.94/33.64 decisions=12932, wrong=6269, backtracks=365, failedAssignments=6193, nogoods=2940, foundSolutions=2, bestBound=146
35.94/33.64
36.54/34.27 num=69, depth=0..9, filters=85636, revisions=(123016,useless=24199), ccks=335322058, wck=32.084, mem=29M839
36.54/34.27 decisions=13207, wrong=6402, backtracks=376, failedAssignments=6324, nogoods=3019, foundSolutions=2, bestBound=146
36.54/34.27
36.74/34.41 num=70, depth=4..11, filters=86415, revisions=(124049,useless=24430), ccks=336732135, wck=32.226, mem=29M839
36.74/34.41 decisions=13505, wrong=6546, backtracks=378, failedAssignments=6468, nogoods=3069, foundSolutions=2, bestBound=146
36.74/34.41
36.85/34.52 o 144
36.85/34.52 num=71, depth=5..90, filters=87119, revisions=(125029,useless=24666), ccks=337757423, wck=32.333, mem=31M160
36.85/34.52 decisions=13662, wrong=6618, backtracks=378, failedAssignments=6540, nogoods=3141, foundSolutions=3, bestBound=144
36.85/34.52
37.17/34.80 num=72, depth=9..13, filters=91649, revisions=(130619,useless=25449), ccks=340441055, wck=32.611, mem=33M750
37.17/34.80 decisions=14038, wrong=6800, backtracks=389, failedAssignments=6714, nogoods=3241, foundSolutions=3, bestBound=144
37.17/34.80
37.27/34.99 num=73, depth=5..5, filters=92178, revisions=(131369,useless=25572), ccks=342286972, wck=32.799, mem=33M750
37.27/34.99 decisions=14065, wrong=6811, backtracks=389, failedAssignments=6725, nogoods=3252, foundSolutions=3, bestBound=144
37.27/34.99
37.48/35.11 num=74, depth=1..3, filters=92619, revisions=(132032,useless=25722), ccks=343331154, wck=32.923, mem=33M750
37.48/35.11 decisions=14093, wrong=6824, backtracks=393, failedAssignments=6737, nogoods=3257, foundSolutions=3, bestBound=144
37.48/35.11
37.67/35.36 num=75, depth=0..5, filters=93160, revisions=(132870,useless=25965), ccks=346025362, wck=33.177, mem=36M340
37.67/35.36 decisions=14124, wrong=6837, backtracks=399, failedAssignments=6750, nogoods=3262, foundSolutions=3, bestBound=144
37.67/35.36
37.88/35.55 num=76, depth=0..3, filters=93735, revisions=(133755,useless=26195), ccks=347744315, wck=33.363, mem=36M340
37.88/35.55 decisions=14154, wrong=6851, backtracks=406, failedAssignments=6764, nogoods=3265, foundSolutions=3, bestBound=144
37.88/35.55
37.98/35.68 num=77, depth=1..4, filters=94078, revisions=(134236,useless=26295), ccks=349131862, wck=33.496, mem=36M340
37.98/35.68 decisions=14190, wrong=6867, backtracks=407, failedAssignments=6780, nogoods=3280, foundSolutions=3, bestBound=144
37.98/35.68
38.18/35.85 num=78, depth=1..3, filters=94675, revisions=(135149,useless=26481), ccks=350618959, wck=33.666, mem=36M340
38.18/35.85 decisions=14226, wrong=6884, backtracks=411, failedAssignments=6797, nogoods=3287, foundSolutions=3, bestBound=144
38.18/35.85
38.39/36.04 num=79, depth=1..3, filters=95192, revisions=(135921,useless=26691), ccks=352378518, wck=33.85, mem=36M340
38.39/36.04 decisions=14269, wrong=6905, backtracks=418, failedAssignments=6816, nogoods=3291, foundSolutions=3, bestBound=144
38.39/36.04
38.58/36.20 num=80, depth=5..9, filters=96088, revisions=(137125,useless=26946), ccks=354046887, wck=34.012, mem=38M929
38.58/36.20 decisions=14322, wrong=6927, backtracks=420, failedAssignments=6837, nogoods=3310, foundSolutions=3, bestBound=144
38.58/36.20
38.78/36.43 num=81, depth=0..3, filters=96704, revisions=(138045,useless=27153), ccks=356370271, wck=34.247, mem=38M929
38.78/36.43 decisions=14373, wrong=6952, backtracks=425, failedAssignments=6860, nogoods=3314, foundSolutions=3, bestBound=144
38.78/36.43
38.88/36.53 num=82, depth=6..8, filters=97498, revisions=(139072,useless=27349), ccks=357256259, wck=34.34, mem=38M929
38.88/36.53 decisions=14429, wrong=6977, backtracks=426, failedAssignments=6885, nogoods=3333, foundSolutions=3, bestBound=144
38.88/36.53
39.08/36.78 num=83, depth=0..3, filters=98109, revisions=(140038,useless=27567), ccks=359725927, wck=34.591, mem=41M519
39.08/36.78 decisions=14486, wrong=7005, backtracks=432, failedAssignments=6913, nogoods=3335, foundSolutions=3, bestBound=144
39.08/36.78
39.28/37.00 num=84, depth=5..7, filters=99091, revisions=(141400,useless=27820), ccks=362063999, wck=34.818, mem=41M519
39.28/37.00 decisions=14559, wrong=7039, backtracks=435, failedAssignments=6944, nogoods=3342, foundSolutions=3, bestBound=144
39.28/37.00
39.58/37.29 num=85, depth=0..5, filters=99961, revisions=(142707,useless=28178), ccks=364813684, wck=35.105, mem=41M519
39.58/37.29 decisions=14634, wrong=7074, backtracks=443, failedAssignments=6978, nogoods=3361, foundSolutions=3, bestBound=144
39.58/37.29
39.88/37.54 num=86, depth=1..3, filters=100936, revisions=(144211,useless=28529), ccks=366913315, wck=35.355, mem=44M108
39.88/37.54 decisions=14709, wrong=7111, backtracks=454, failedAssignments=7015, nogoods=3372, foundSolutions=3, bestBound=144
39.88/37.54
39.98/37.64 num=87, depth=4..9, filters=101486, revisions=(144962,useless=28697), ccks=367936485, wck=35.458, mem=44M108
39.98/37.64 decisions=14800, wrong=7152, backtracks=454, failedAssignments=7056, nogoods=3413, foundSolutions=3, bestBound=144
39.98/37.64
40.08/37.80 num=88, depth=6..10, filters=102876, revisions=(146829,useless=29109), ccks=369396434, wck=35.609, mem=44M108
40.08/37.80 decisions=14900, wrong=7198, backtracks=460, failedAssignments=7101, nogoods=3434, foundSolutions=3, bestBound=144
40.08/37.80
40.58/38.21 num=89, depth=0..3, filters=103953, revisions=(148533,useless=29500), ccks=373611714, wck=36.025, mem=46M698
40.58/38.21 decisions=15002, wrong=7248, backtracks=468, failedAssignments=7151, nogoods=3443, foundSolutions=3, bestBound=144
40.58/38.21
40.68/38.31 num=90, depth=7..11, filters=104561, revisions=(149332,useless=29661), ccks=374606067, wck=36.125, mem=46M698
40.68/38.31 decisions=15122, wrong=7303, backtracks=468, failedAssignments=7206, nogoods=3498, foundSolutions=3, bestBound=144
40.68/38.31
40.78/38.44 num=91, depth=7..9, filters=105981, revisions=(150903,useless=29779), ccks=375872335, wck=36.255, mem=46M698
40.78/38.44 decisions=15253, wrong=7364, backtracks=468, failedAssignments=7267, nogoods=3559, foundSolutions=3, bestBound=144
40.78/38.44
41.39/39.04 num=92, depth=0..5, filters=107990, revisions=(153905,useless=30398), ccks=381508728, wck=36.849, mem=49M287
41.39/39.04 decisions=15394, wrong=7432, backtracks=482, failedAssignments=7334, nogoods=3574, foundSolutions=3, bestBound=144
41.39/39.04
42.18/39.81 num=93, depth=0..4, filters=109558, revisions=(156303,useless=30935), ccks=389552681, wck=37.629, mem=51M877
42.18/39.81 decisions=15550, wrong=7508, backtracks=501, failedAssignments=7408, nogoods=3584, foundSolutions=3, bestBound=144
42.18/39.81
42.78/40.44 num=94, depth=0..4, filters=111526, revisions=(159313,useless=31617), ccks=395670332, wck=38.253, mem=54M466
42.78/40.44 decisions=15720, wrong=7592, backtracks=516, failedAssignments=7489, nogoods=3606, foundSolutions=3, bestBound=144
42.78/40.44
43.18/40.85 num=95, depth=0..8, filters=114002, revisions=(162819,useless=32512), ccks=399523934, wck=38.661, mem=57M56
43.18/40.85 decisions=15910, wrong=7684, backtracks=538, failedAssignments=7578, nogoods=3614, foundSolutions=3, bestBound=144
43.18/40.85
43.78/41.42 num=96, depth=0..3, filters=115952, revisions=(165864,useless=33105), ccks=405164470, wck=39.231, mem=59M646
43.78/41.42 decisions=16108, wrong=7782, backtracks=549, failedAssignments=7676, nogoods=3632, foundSolutions=3, bestBound=144
43.78/41.42
43.88/41.56 num=97, depth=3..11, filters=116657, revisions=(166781,useless=33277), ccks=406595283, wck=39.375, mem=59M646
43.88/41.56 decisions=16335, wrong=7890, backtracks=550, failedAssignments=7784, nogoods=3738, foundSolutions=3, bestBound=144
43.88/41.56
45.18/42.80 num=98, depth=2..2, filters=117742, revisions=(168591,useless=33281), ccks=421305262, wck=40.618, mem=62M235
45.18/42.80 decisions=16575, wrong=8009, backtracks=550, failedAssignments=7903, nogoods=3857, foundSolutions=3, bestBound=144
45.18/42.80
45.28/42.96 num=99, depth=2..8, filters=118503, revisions=(169630,useless=33496), ccks=422806796, wck=40.777, mem=64M825
45.28/42.96 decisions=16845, wrong=8141, backtracks=554, failedAssignments=8034, nogoods=3875, foundSolutions=3, bestBound=144
45.28/42.96
45.78/43.49 num=100, depth=4..11, filters=120250, revisions=(172047,useless=33961), ccks=428363582, wck=41.307, mem=64M825
45.78/43.49 decisions=17153, wrong=8290, backtracks=559, failedAssignments=8178, nogoods=3994, foundSolutions=3, bestBound=144
45.78/43.49
46.18/43.82 num=101, depth=3..10, filters=124808, revisions=(178266,useless=35472), ccks=431433131, wck=41.632, mem=67M414
46.18/43.82 decisions=17492, wrong=8455, backtracks=588, failedAssignments=8336, nogoods=4044, foundSolutions=3, bestBound=144
46.18/43.82
46.79/44.43 num=102, depth=0..8, filters=127665, revisions=(182439,useless=36514), ccks=436922765, wck=42.244, mem=70M4
46.79/44.43 decisions=17854, wrong=8632, backtracks=612, failedAssignments=8510, nogoods=4147, foundSolutions=3, bestBound=144
46.79/44.43
46.99/44.69 num=103, depth=2..11, filters=130243, revisions=(185687,useless=37091), ccks=439460528, wck=42.504, mem=72M593
46.99/44.69 decisions=18249, wrong=8825, backtracks=622, failedAssignments=8701, nogoods=4169, foundSolutions=3, bestBound=144
46.99/44.69
47.89/45.54 num=104, depth=3..10, filters=135748, revisions=(192663,useless=38097), ccks=447967013, wck=43.357, mem=77M773
47.89/45.54 decisions=18692, wrong=9042, backtracks=638, failedAssignments=8912, nogoods=4261, foundSolutions=3, bestBound=144
47.89/45.54
48.79/46.48 num=105, depth=0..10, filters=139202, revisions=(197746,useless=39243), ccks=457110270, wck=44.291, mem=80M362
48.79/46.48 decisions=19172, wrong=9278, backtracks=660, failedAssignments=9144, nogoods=4291, foundSolutions=3, bestBound=144
48.79/46.48
49.50/47.11 num=106, depth=3..10, filters=145878, revisions=(206625,useless=41017), ccks=463379250, wck=44.927, mem=85M541
49.50/47.11 decisions=19693, wrong=9535, backtracks=697, failedAssignments=9399, nogoods=4341, foundSolutions=3, bestBound=144
49.50/47.11
49.99/47.61 num=107, depth=0..7, filters=147847, revisions=(209487,useless=41684), ccks=467772913, wck=45.42, mem=88M131
49.99/47.61 decisions=20262, wrong=9817, backtracks=714, failedAssignments=9680, nogoods=4357, foundSolutions=3, bestBound=144
49.99/47.61
50.40/48.03 num=108, depth=2..8, filters=149673, revisions=(212016,useless=42163), ccks=471406380, wck=45.844, mem=88M131
50.40/48.03 decisions=20892, wrong=10129, backtracks=730, failedAssignments=9989, nogoods=4407, foundSolutions=3, bestBound=144
50.40/48.03
50.73/48.39 num=109, depth=3..11, filters=151481, revisions=(214376,useless=42571), ccks=474890129, wck=46.203, mem=90M720
50.73/48.39 decisions=21581, wrong=10469, backtracks=737, failedAssignments=10329, nogoods=4519, foundSolutions=3, bestBound=144
50.73/48.39
54.03/51.63 num=110, depth=3..6, filters=158358, revisions=(224033,useless=43874), ccks=511151085, wck=49.448, mem=101M79
54.03/51.63 decisions=22335, wrong=10844, backtracks=742, failedAssignments=10703, nogoods=4604, foundSolutions=3, bestBound=144
54.03/51.63
54.44/52.07 num=111, depth=0..9, filters=162075, revisions=(228827,useless=44821), ccks=515298254, wck=49.883, mem=103M668
54.44/52.07 decisions=23166, wrong=11256, backtracks=762, failedAssignments=11114, nogoods=4686, foundSolutions=3, bestBound=144
54.44/52.07
55.03/52.69 num=112, depth=3..9, filters=170745, revisions=(240311,useless=47197), ccks=521178923, wck=50.505, mem=108M847
55.03/52.69 decisions=24086, wrong=11712, backtracks=804, failedAssignments=11566, nogoods=4814, foundSolutions=3, bestBound=144
55.03/52.69
58.74/56.34 num=113, depth=0..9, filters=174215, revisions=(245961,useless=47589), ccks=564302512, wck=54.156, mem=116M616
58.74/56.34 decisions=25088, wrong=12209, backtracks=809, failedAssignments=12063, nogoods=4864, foundSolutions=3, bestBound=144
58.74/56.34
59.45/57.04 num=114, depth=4..14, filters=185771, revisions=(260427,useless=50019), ccks=570930179, wck=54.849, mem=121M795
59.45/57.04 decisions=26242, wrong=12779, backtracks=853, failedAssignments=12610, nogoods=5036, foundSolutions=3, bestBound=144
59.45/57.04
64.34/61.93 num=115, depth=3..9, filters=199467, revisions=(279114,useless=52429), ccks=624807547, wck=59.745, mem=139M922
64.34/61.93 decisions=27457, wrong=13384, backtracks=866, failedAssignments=13212, nogoods=5164, foundSolutions=3, bestBound=144
64.34/61.93
65.64/63.24 num=116, depth=0..9, filters=205011, revisions=(286961,useless=54176), ccks=636507935, wck=61.051, mem=145M101
65.64/63.24 decisions=28796, wrong=14051, backtracks=912, failedAssignments=13874, nogoods=5300, foundSolutions=3, bestBound=144
65.64/63.24
71.97/69.52 num=117, depth=0..4, filters=211892, revisions=(298014,useless=55092), ccks=708907969, wck=67.331, mem=30M137
71.97/69.52 decisions=30255, wrong=14779, backtracks=919, failedAssignments=14602, nogoods=5410, foundSolutions=3, bestBound=144
71.97/69.52
72.19/69.80 num=118, depth=3..9, filters=213621, revisions=(300121,useless=55429), ccks=710575631, wck=67.61, mem=30M137
72.19/69.80 decisions=31861, wrong=15580, backtracks=928, failedAssignments=15403, nogoods=5413, foundSolutions=3, bestBound=144
72.19/69.80
74.00/71.50 num=119, depth=2..9, filters=233623, revisions=(327381,useless=61092), ccks=726982492, wck=69.316, mem=43M131
74.00/71.50 decisions=33643, wrong=16467, backtracks=1022, failedAssignments=16284, nogoods=5571, foundSolutions=3, bestBound=144
74.00/71.50
75.30/72.81 num=120, depth=0..8, filters=239195, revisions=(335311,useless=62931), ccks=738513455, wck=70.62, mem=48M329
75.30/72.81 decisions=35593, wrong=17438, backtracks=1058, failedAssignments=17254, nogoods=5685, foundSolutions=3, bestBound=144
75.30/72.81
75.90/73.46 num=121, depth=2..14, filters=243930, revisions=(341280,useless=63965), ccks=743164458, wck=71.273, mem=53M527
75.90/73.46 decisions=37744, wrong=18507, backtracks=1080, failedAssignments=18321, nogoods=5846, foundSolutions=3, bestBound=144
75.90/73.46
85.30/82.85 num=122, depth=0..8, filters=255740, revisions=(360007,useless=65950), ccks=850386519, wck=80.659, mem=77M775
85.30/82.85 decisions=40113, wrong=19689, backtracks=1122, failedAssignments=19494, nogoods=5942, foundSolutions=3, bestBound=144
85.30/82.85
86.20/83.77 num=123, depth=1..11, filters=264365, revisions=(371476,useless=68399), ccks=857915760, wck=81.581, mem=82M972
86.20/83.77 decisions=42717, wrong=20986, backtracks=1168, failedAssignments=20785, nogoods=6029, foundSolutions=3, bestBound=144
86.20/83.77
90.30/87.82 num=124, depth=0..12, filters=271502, revisions=(381991,useless=69707), ccks=904527873, wck=85.633, mem=93M368
90.30/87.82 decisions=45566, wrong=22407, backtracks=1208, failedAssignments=22205, nogoods=6068, foundSolutions=3, bestBound=144
90.30/87.82
90.81/88.32 o 142
90.81/88.33 num=125, depth=2..90, filters=275531, revisions=(387123,useless=70639), ccks=908852822, wck=86.139, mem=95M966
90.81/88.33 decisions=47150, wrong=23191, backtracks=1216, failedAssignments=22986, nogoods=6273, foundSolutions=4, bestBound=142
90.81/88.33
92.52/90.06 o 141
92.52/90.07 num=126, depth=2..90, filters=287984, revisions=(402884,useless=73026), ccks=926334715, wck=87.879, mem=106M362
92.52/90.07 decisions=48434, wrong=23826, backtracks=1236, failedAssignments=23610, nogoods=6555, foundSolutions=5, bestBound=141
92.52/90.07
92.72/90.23 num=127, depth=2..5, filters=288225, revisions=(403225,useless=73102), ccks=928112059, wck=88.044, mem=106M362
92.72/90.23 decisions=48461, wrong=23837, backtracks=1237, failedAssignments=23621, nogoods=6564, foundSolutions=5, bestBound=141
92.72/90.23
92.82/90.37 num=128, depth=0..2, filters=288486, revisions=(403643,useless=73175), ccks=929556193, wck=88.185, mem=106M362
92.82/90.37 decisions=48485, wrong=23848, backtracks=1239, failedAssignments=23632, nogoods=6568, foundSolutions=5, bestBound=141
92.82/90.37
93.02/90.50 num=129, depth=1..3, filters=288860, revisions=(404228,useless=73333), ccks=930803542, wck=88.316, mem=106M362
93.02/90.50 decisions=48513, wrong=23861, backtracks=1243, failedAssignments=23644, nogoods=6573, foundSolutions=5, bestBound=141
93.02/90.50
93.12/90.62 num=130, depth=5..5, filters=289242, revisions=(404758,useless=73440), ccks=932046875, wck=88.435, mem=108M960
93.12/90.62 decisions=48544, wrong=23874, backtracks=1243, failedAssignments=23657, nogoods=6586, foundSolutions=5, bestBound=141
93.12/90.62
93.22/90.75 num=131, depth=0..3, filters=289722, revisions=(405465,useless=73614), ccks=933273838, wck=88.569, mem=108M960
93.22/90.75 decisions=48576, wrong=23889, backtracks=1246, failedAssignments=23671, nogoods=6597, foundSolutions=5, bestBound=141
93.22/90.75
93.44/90.95 num=132, depth=3..4, filters=290091, revisions=(406012,useless=73724), ccks=935256709, wck=88.76, mem=108M960
93.44/90.95 decisions=48613, wrong=23906, backtracks=1247, failedAssignments=23687, nogoods=6612, foundSolutions=5, bestBound=141
93.44/90.95
93.55/91.10 num=133, depth=1..3, filters=290621, revisions=(406838,useless=73925), ccks=936602254, wck=88.911, mem=108M960
93.55/91.10 decisions=48651, wrong=23924, backtracks=1251, failedAssignments=23704, nogoods=6625, foundSolutions=5, bestBound=141
93.55/91.10
93.74/91.24 num=134, depth=3..4, filters=291050, revisions=(407479,useless=74056), ccks=938059657, wck=89.056, mem=111M559
93.74/91.24 decisions=48693, wrong=23943, backtracks=1252, failedAssignments=23723, nogoods=6641, foundSolutions=5, bestBound=141
93.74/91.24
93.94/91.45 num=135, depth=1..3, filters=291852, revisions=(408702,useless=74344), ccks=939821020, wck=89.26, mem=111M559
93.94/91.45 decisions=48741, wrong=23966, backtracks=1261, failedAssignments=23744, nogoods=6647, foundSolutions=5, bestBound=141
93.94/91.45
94.14/91.67 num=136, depth=2..6, filters=292774, revisions=(410082,useless=74659), ccks=941925659, wck=89.484, mem=111M559
94.14/91.67 decisions=48795, wrong=23990, backtracks=1264, failedAssignments=23767, nogoods=6663, foundSolutions=5, bestBound=141
94.14/91.67
94.44/91.92 num=137, depth=0..2, filters=293366, revisions=(411065,useless=74878), ccks=944436849, wck=89.736, mem=114M158
94.44/91.92 decisions=48847, wrong=24015, backtracks=1271, failedAssignments=23792, nogoods=6669, foundSolutions=5, bestBound=141
94.44/91.92
94.74/92.24 num=138, depth=1..3, filters=294096, revisions=(412175,useless=75195), ccks=947684413, wck=90.055, mem=114M158
94.74/92.24 decisions=48910, wrong=24045, backtracks=1279, failedAssignments=23820, nogoods=6682, foundSolutions=5, bestBound=141
94.74/92.24
95.04/92.50 num=139, depth=0..3, filters=295033, revisions=(413643,useless=75561), ccks=950069688, wck=90.316, mem=114M158
95.04/92.50 decisions=48976, wrong=24077, backtracks=1285, failedAssignments=23851, nogoods=6688, foundSolutions=5, bestBound=141
95.04/92.50
95.34/92.82 num=140, depth=3..5, filters=295897, revisions=(414896,useless=75802), ccks=953298152, wck=90.632, mem=116M757
95.34/92.82 decisions=49051, wrong=24112, backtracks=1286, failedAssignments=23885, nogoods=6719, foundSolutions=5, bestBound=141
95.34/92.82
95.65/93.17 num=141, depth=1..3, filters=296944, revisions=(416379,useless=76211), ccks=956603993, wck=90.982, mem=116M757
95.65/93.17 decisions=49129, wrong=24150, backtracks=1300, failedAssignments=23922, nogoods=6724, foundSolutions=5, bestBound=141
95.65/93.17
95.94/93.40 num=142, depth=3..7, filters=298164, revisions=(418038,useless=76518), ccks=958901656, wck=91.218, mem=119M356
95.94/93.40 decisions=49222, wrong=24193, backtracks=1304, failedAssignments=23963, nogoods=6747, foundSolutions=5, bestBound=141
95.94/93.40
96.24/93.70 num=143, depth=1..3, filters=299256, revisions=(419718,useless=76885), ccks=961646494, wck=91.513, mem=119M356
96.24/93.70 decisions=49314, wrong=24238, backtracks=1311, failedAssignments=24008, nogoods=6753, foundSolutions=5, bestBound=141
96.24/93.70
96.55/94.05 num=144, depth=3..8, filters=301061, revisions=(422309,useless=77492), ccks=965035229, wck=91.861, mem=121M954
96.55/94.05 decisions=49427, wrong=24291, backtracks=1318, failedAssignments=24058, nogoods=6768, foundSolutions=5, bestBound=141
96.55/94.05
96.94/94.45 num=145, depth=0..3, filters=302420, revisions=(424483,useless=78014), ccks=968746374, wck=92.259, mem=124M553
96.94/94.45 decisions=49541, wrong=24347, backtracks=1331, failedAssignments=24113, nogoods=6781, foundSolutions=5, bestBound=141
96.94/94.45
97.55/95.03 num=146, depth=1..4, filters=304062, revisions=(426928,useless=78579), ccks=974729014, wck=92.84, mem=127M152
97.55/95.03 decisions=49666, wrong=24408, backtracks=1333, failedAssignments=24174, nogoods=6835, foundSolutions=5, bestBound=141
97.55/95.03
98.04/95.59 num=147, depth=0..4, filters=305873, revisions=(429727,useless=79289), ccks=980042772, wck=93.405, mem=127M152
98.04/95.59 decisions=49807, wrong=24478, backtracks=1354, failedAssignments=24241, nogoods=6838, foundSolutions=5, bestBound=141
98.04/95.59
98.34/95.83 num=148, depth=3..7, filters=307455, revisions=(431887,useless=79757), ccks=982398038, wck=93.649, mem=129M751
98.34/95.83 decisions=49963, wrong=24553, backtracks=1360, failedAssignments=24315, nogoods=6893, foundSolutions=5, bestBound=141
98.34/95.83
98.94/96.42 num=149, depth=0..3, filters=309143, revisions=(434564,useless=80443), ccks=988247781, wck=94.235, mem=132M350
98.94/96.42 decisions=50133, wrong=24637, backtracks=1376, failedAssignments=24396, nogoods=6907, foundSolutions=5, bestBound=141
98.94/96.42
99.24/96.73 num=150, depth=3..9, filters=311613, revisions=(437807,useless=81101), ccks=991227105, wck=94.541, mem=134M948
99.24/96.73 decisions=50331, wrong=24732, backtracks=1387, failedAssignments=24485, nogoods=6978, foundSolutions=5, bestBound=141
99.24/96.73
99.74/97.28 num=151, depth=0..3, filters=313779, revisions=(441295,useless=81857), ccks=996186778, wck=95.089, mem=137M547
99.74/97.28 decisions=50535, wrong=24833, backtracks=1409, failedAssignments=24583, nogoods=6982, foundSolutions=5, bestBound=141
99.74/97.28
100.24/97.71 num=152, depth=3..9, filters=316207, revisions=(444432,useless=82362), ccks=1000495004, wck=95.524, mem=140M146
100.24/97.71 decisions=50763, wrong=24943, backtracks=1416, failedAssignments=24691, nogoods=7059, foundSolutions=5, bestBound=141
100.24/97.71
101.24/98.74 num=153, depth=2..7, filters=319378, revisions=(448953,useless=83253), ccks=1011145828, wck=96.552, mem=142M745
101.24/98.74 decisions=51013, wrong=25065, backtracks=1421, failedAssignments=24810, nogoods=7149, foundSolutions=5, bestBound=141
101.24/98.74
101.96/99.48 num=154, depth=1..3, filters=321858, revisions=(452900,useless=84178), ccks=1018745161, wck=97.294, mem=147M942
101.96/99.48 decisions=51281, wrong=25198, backtracks=1434, failedAssignments=24941, nogoods=7162, foundSolutions=5, bestBound=141
101.96/99.48
102.36/99.83 num=155, depth=3..8, filters=324091, revisions=(456040,useless=84903), ccks=1022064783, wck=97.64, mem=150M541
102.36/99.83 decisions=51581, wrong=25344, backtracks=1440, failedAssignments=25085, nogoods=7278, foundSolutions=5, bestBound=141
102.36/99.83
103.86/101.33 num=156, depth=2..7, filters=328357, revisions=(462210,useless=86284), ccks=1037814015, wck=99.147, mem=25M225
103.86/101.33 decisions=51919, wrong=25510, backtracks=1449, failedAssignments=25243, nogoods=7375, foundSolutions=5, bestBound=141
103.86/101.33
104.78/102.29 num=157, depth=1..8, filters=332087, revisions=(467592,useless=87526), ccks=1047670278, wck=100.107, mem=27M839
104.78/102.29 decisions=52280, wrong=25687, backtracks=1461, failedAssignments=25417, nogoods=7470, foundSolutions=5, bestBound=141
104.78/102.29
106.08/103.52 num=158, depth=2..9, filters=336943, revisions=(474295,useless=88998), ccks=1060367854, wck=101.331, mem=35M682
106.08/103.52 decisions=52689, wrong=25887, backtracks=1472, failedAssignments=25608, nogoods=7571, foundSolutions=5, bestBound=141
106.08/103.52
107.28/104.70 num=159, depth=0..3, filters=342788, revisions=(483113,useless=90968), ccks=1070034611, wck=102.518, mem=40M910
107.28/104.70 decisions=53121, wrong=26102, backtracks=1518, failedAssignments=25819, nogoods=7582, foundSolutions=5, bestBound=141
107.28/104.70
107.78/105.29 num=160, depth=0..10, filters=346776, revisions=(488273,useless=91981), ccks=1076069781, wck=103.107, mem=43M524
107.78/105.29 decisions=53606, wrong=26340, backtracks=1536, failedAssignments=26051, nogoods=7637, foundSolutions=5, bestBound=141
107.78/105.29
111.59/109.01 num=161, depth=2..6, filters=352336, revisions=(496585,useless=92924), ccks=1116846289, wck=106.826, mem=53M980
111.59/109.01 decisions=54122, wrong=26596, backtracks=1539, failedAssignments=26306, nogoods=7734, foundSolutions=5, bestBound=141
111.59/109.01
113.29/110.73 num=162, depth=0..8, filters=358662, revisions=(506195,useless=95120), ccks=1133878917, wck=108.542, mem=61M822
113.29/110.73 decisions=54716, wrong=26889, backtracks=1589, failedAssignments=26587, nogoods=7758, foundSolutions=5, bestBound=141
113.29/110.73
116.99/114.49 num=163, depth=1..2, filters=361335, revisions=(510901,useless=95238), ccks=1177869331, wck=112.306, mem=69M665
116.99/114.49 decisions=55335, wrong=27198, backtracks=1590, failedAssignments=26896, nogoods=7910, foundSolutions=5, bestBound=141
116.99/114.49
117.29/114.70 num=164, depth=3..8, filters=362687, revisions=(512663,useless=95562), ccks=1179691920, wck=112.515, mem=69M665
117.29/114.70 decisions=56023, wrong=27539, backtracks=1596, failedAssignments=27236, nogoods=8026, foundSolutions=5, bestBound=141
117.29/114.70
118.10/115.54 num=165, depth=2..10, filters=371713, revisions=(524220,useless=97681), ccks=1188047801, wck=113.359, mem=77M507
118.10/115.54 decisions=56800, wrong=27923, backtracks=1629, failedAssignments=27610, nogoods=8113, foundSolutions=5, bestBound=141
118.10/115.54
118.71/116.17 num=166, depth=2..9, filters=375839, revisions=(529708,useless=98685), ccks=1194058660, wck=113.987, mem=80M121
118.71/116.17 decisions=57647, wrong=28343, backtracks=1642, failedAssignments=28021, nogoods=8228, foundSolutions=5, bestBound=141
118.71/116.17
120.61/118.05 num=167, depth=2..10, filters=389087, revisions=(547929,useless=102613), ccks=1213033756, wck=115.869, mem=91M135
120.61/118.05 decisions=58592, wrong=28811, backtracks=1702, failedAssignments=28473, nogoods=8402, foundSolutions=5, bestBound=141
120.61/118.05
121.80/119.24 num=168, depth=0..9, filters=394676, revisions=(556234,useless=104365), ccks=1224273385, wck=117.05, mem=98M978
121.80/119.24 decisions=59604, wrong=29314, backtracks=1739, failedAssignments=28970, nogoods=8476, foundSolutions=5, bestBound=141
121.80/119.24
122.00/119.44 num=169, depth=3..9, filters=396342, revisions=(558379,useless=104732), ccks=1225467467, wck=117.253, mem=98M978
122.00/119.44 decisions=60705, wrong=29862, backtracks=1750, failedAssignments=29517, nogoods=8524, foundSolutions=5, bestBound=141
122.00/119.44
123.20/120.66 num=170, depth=5..11, filters=402931, revisions=(567078,useless=106286), ccks=1237620494, wck=118.471, mem=106M820
123.20/120.66 decisions=61929, wrong=30469, backtracks=1766, failedAssignments=30119, nogoods=8650, foundSolutions=5, bestBound=141
123.20/120.66
126.00/123.42 num=171, depth=0..10, filters=418211, revisions=(588750,useless=110208), ccks=1264719619, wck=121.239, mem=122M504
126.00/123.42 decisions=63289, wrong=31145, backtracks=1813, failedAssignments=30781, nogoods=8830, foundSolutions=5, bestBound=141
126.00/123.42
127.30/124.73 num=172, depth=0..8, filters=428940, revisions=(603583,useless=112991), ccks=1276672568, wck=122.539, mem=130M346
127.30/124.73 decisions=64761, wrong=31878, backtracks=1862, failedAssignments=31509, nogoods=8918, foundSolutions=5, bestBound=141
127.30/124.73
128.10/125.51 num=173, depth=0..10, filters=432626, revisions=(608494,useless=113882), ccks=1284025107, wck=123.322, mem=135M575
128.10/125.51 decisions=66372, wrong=32681, backtracks=1883, failedAssignments=32310, nogoods=9004, foundSolutions=5, bestBound=141
128.10/125.51
135.10/132.53 num=174, depth=0..8, filters=441470, revisions=(621950,useless=115185), ccks=1364489441, wck=130.341, mem=151M259
135.10/132.53 decisions=68144, wrong=33564, backtracks=1898, failedAssignments=33191, nogoods=9086, foundSolutions=5, bestBound=141
135.10/132.53
136.24/133.60 num=175, depth=2..10, filters=449851, revisions=(632681,useless=117065), ccks=1374423410, wck=131.413, mem=27M973
136.24/133.60 decisions=70101, wrong=34538, backtracks=1918, failedAssignments=34161, nogoods=9213, foundSolutions=5, bestBound=141
136.24/133.60
136.84/134.20 o 138
136.84/134.20 num=176, depth=0..90, filters=452690, revisions=(636673,useless=117931), ccks=1380389479, wck=132.018, mem=30M551
136.84/134.20 decisions=70346, wrong=34655, backtracks=1931, failedAssignments=34271, nogoods=9284, foundSolutions=6, bestBound=138
136.84/134.20
137.99/135.33 num=177, depth=1..9, filters=457506, revisions=(642987,useless=118940), ccks=1389376742, wck=133.139, mem=35M708
137.99/135.33 decisions=72706, wrong=35834, backtracks=1949, failedAssignments=35444, nogoods=9330, foundSolutions=6, bestBound=138
137.99/135.33
138.09/135.46 num=178, depth=4..4, filters=457707, revisions=(643282,useless=118997), ccks=1390819522, wck=133.273, mem=35M708
138.09/135.46 decisions=72732, wrong=35845, backtracks=1949, failedAssignments=35455, nogoods=9341, foundSolutions=6, bestBound=138
138.09/135.46
138.29/135.60 num=179, depth=0..2, filters=458150, revisions=(643990,useless=119141), ccks=1392138551, wck=133.419, mem=35M708
138.29/135.60 decisions=72758, wrong=35857, backtracks=1952, failedAssignments=35467, nogoods=9346, foundSolutions=6, bestBound=138
138.29/135.60
138.39/135.75 num=180, depth=1..3, filters=458732, revisions=(644858,useless=119330), ccks=1393352707, wck=133.564, mem=35M708
138.39/135.75 decisions=72792, wrong=35873, backtracks=1958, failedAssignments=35480, nogoods=9351, foundSolutions=6, bestBound=138
138.39/135.75
138.59/135.98 num=181, depth=1..5, filters=459205, revisions=(645630,useless=119573), ccks=1395752516, wck=133.791, mem=38M287
138.59/135.98 decisions=72825, wrong=35887, backtracks=1959, failedAssignments=35494, nogoods=9363, foundSolutions=6, bestBound=138
138.59/135.98
138.70/136.10 num=182, depth=1..3, filters=459602, revisions=(646229,useless=119708), ccks=1396888051, wck=133.914, mem=38M287
138.70/136.10 decisions=72859, wrong=35903, backtracks=1962, failedAssignments=35510, nogoods=9367, foundSolutions=6, bestBound=138
138.70/136.10
138.89/136.27 num=183, depth=3..5, filters=460268, revisions=(647214,useless=119929), ccks=1398510664, wck=134.08, mem=38M287
138.89/136.27 decisions=72900, wrong=35921, backtracks=1964, failedAssignments=35527, nogoods=9381, foundSolutions=6, bestBound=138
138.89/136.27
139.09/136.45 num=184, depth=1..3, filters=460799, revisions=(648036,useless=120134), ccks=1400340453, wck=134.267, mem=38M287
139.09/136.45 decisions=72944, wrong=35942, backtracks=1968, failedAssignments=35546, nogoods=9387, foundSolutions=6, bestBound=138
139.09/136.45
139.39/136.78 num=185, depth=1..3, filters=461542, revisions=(649144,useless=120404), ccks=1403686434, wck=134.594, mem=40M865
139.39/136.78 decisions=72995, wrong=35966, backtracks=1973, failedAssignments=35567, nogoods=9403, foundSolutions=6, bestBound=138
139.39/136.78
139.59/136.96 num=186, depth=0..2, filters=462276, revisions=(650360,useless=120687), ccks=1405224313, wck=134.778, mem=40M865
139.59/136.96 decisions=73043, wrong=35989, backtracks=1982, failedAssignments=35590, nogoods=9404, foundSolutions=6, bestBound=138
139.59/136.96
139.80/137.19 num=187, depth=1..3, filters=462923, revisions=(651375,useless=120973), ccks=1407497787, wck=135.005, mem=41M223
139.80/137.19 decisions=73097, wrong=36015, backtracks=1988, failedAssignments=35615, nogoods=9410, foundSolutions=6, bestBound=138
139.80/137.19
139.99/137.35 num=188, depth=3..6, filters=463755, revisions=(652579,useless=121260), ccks=1409050252, wck=135.164, mem=43M801
139.99/137.35 decisions=73161, wrong=36044, backtracks=1991, failedAssignments=35643, nogoods=9429, foundSolutions=6, bestBound=138
139.99/137.35
140.29/137.62 num=189, depth=1..3, filters=465084, revisions=(654536,useless=121694), ccks=1411177308, wck=135.43, mem=43M801
140.29/137.62 decisions=73233, wrong=36079, backtracks=2004, failedAssignments=35674, nogoods=9434, foundSolutions=6, bestBound=138
140.29/137.62
140.49/137.81 num=190, depth=2..5, filters=465768, revisions=(655483,useless=121881), ccks=1413131891, wck=135.624, mem=43M801
140.49/137.81 decisions=73306, wrong=36114, backtracks=2007, failedAssignments=35708, nogoods=9446, foundSolutions=6, bestBound=138
140.49/137.81
140.90/138.24 num=191, depth=2..5, filters=466749, revisions=(656941,useless=122215), ccks=1417697804, wck=136.053, mem=46M380
140.90/138.24 decisions=73388, wrong=36153, backtracks=2009, failedAssignments=35745, nogoods=9477, foundSolutions=6, bestBound=138
140.90/138.24
141.10/138.49 num=192, depth=1..3, filters=468136, revisions=(659080,useless=122676), ccks=1419598784, wck=136.3, mem=48M958
141.10/138.49 decisions=73474, wrong=36195, backtracks=2018, failedAssignments=35786, nogoods=9482, foundSolutions=6, bestBound=138
141.10/138.49
141.50/138.86 num=193, depth=0..6, filters=469485, revisions=(661049,useless=123141), ccks=1423263149, wck=136.672, mem=48M958
141.50/138.86 decisions=73572, wrong=36241, backtracks=2030, failedAssignments=35831, nogoods=9492, foundSolutions=6, bestBound=138
141.50/138.86
141.71/139.10 num=194, depth=1..3, filters=470818, revisions=(663231,useless=123560), ccks=1425037528, wck=136.911, mem=51M536
141.71/139.10 decisions=73676, wrong=36292, backtracks=2040, failedAssignments=35881, nogoods=9504, foundSolutions=6, bestBound=138
141.71/139.10
142.10/139.45 num=195, depth=0..3, filters=471954, revisions=(664945,useless=123942), ccks=1428252842, wck=137.259, mem=51M536
142.10/139.45 decisions=73788, wrong=36347, backtracks=2054, failedAssignments=35936, nogoods=9510, foundSolutions=6, bestBound=138
142.10/139.45
142.40/139.79 num=196, depth=2..6, filters=473432, revisions=(666972,useless=124361), ccks=1431744840, wck=137.604, mem=54M115
142.40/139.79 decisions=73922, wrong=36411, backtracks=2060, failedAssignments=35997, nogoods=9544, foundSolutions=6, bestBound=138
142.40/139.79
142.81/140.14 num=197, depth=0..3, filters=475033, revisions=(669563,useless=124918), ccks=1434755433, wck=137.959, mem=56M693
142.81/140.14 decisions=74059, wrong=36479, backtracks=2076, failedAssignments=36064, nogoods=9547, foundSolutions=6, bestBound=138
142.81/140.14
143.10/140.46 num=198, depth=2..6, filters=477122, revisions=(672397,useless=125447), ccks=1437817930, wck=138.276, mem=59M272
143.10/140.46 decisions=74217, wrong=36556, backtracks=2079, failedAssignments=36138, nogoods=9574, foundSolutions=6, bestBound=138
143.10/140.46
143.60/140.95 num=199, depth=0..9, filters=479754, revisions=(676143,useless=126315), ccks=1442615161, wck=138.766, mem=59M272
143.60/140.95 decisions=74392, wrong=36640, backtracks=2096, failedAssignments=36219, nogoods=9615, foundSolutions=6, bestBound=138
143.60/140.95
144.00/141.39 num=200, depth=1..3, filters=482531, revisions=(680533,useless=127235), ccks=1445731345, wck=139.2, mem=64M430
144.00/141.39 decisions=74578, wrong=36732, backtracks=2117, failedAssignments=36308, nogoods=9626, foundSolutions=6, bestBound=138
144.00/141.39
144.60/141.91 num=201, depth=1..3, filters=484927, revisions=(684278,useless=127931), ccks=1450388648, wck=139.72, mem=67M8
144.60/141.91 decisions=74780, wrong=36832, backtracks=2130, failedAssignments=36406, nogoods=9641, foundSolutions=6, bestBound=138
144.60/141.91
144.90/142.27 num=202, depth=3..7, filters=487584, revisions=(687878,useless=128658), ccks=1453849263, wck=140.079, mem=69M587
144.90/142.27 decisions=75009, wrong=36943, backtracks=2142, failedAssignments=36514, nogoods=9679, foundSolutions=6, bestBound=138
144.90/142.27
145.30/142.63 num=203, depth=1..3, filters=489885, revisions=(691654,useless=129329), ccks=1456890335, wck=140.446, mem=72M165
145.30/142.63 decisions=75248, wrong=37062, backtracks=2155, failedAssignments=36633, nogoods=9691, foundSolutions=6, bestBound=138
145.30/142.63
145.60/142.99 num=204, depth=4..8, filters=491687, revisions=(694101,useless=129786), ccks=1460560367, wck=140.806, mem=74M744
145.60/142.99 decisions=75520, wrong=37194, backtracks=2158, failedAssignments=36764, nogoods=9812, foundSolutions=6, bestBound=138
145.60/142.99
146.60/143.95 num=205, depth=1..6, filters=495869, revisions=(699950,useless=130911), ccks=1469998465, wck=141.762, mem=79M901
146.60/143.95 decisions=75827, wrong=37345, backtracks=2167, failedAssignments=36908, nogoods=9877, foundSolutions=6, bestBound=138
146.60/143.95
146.90/144.26 num=206, depth=4..9, filters=498439, revisions=(703408,useless=131564), ccks=1472963514, wck=142.076, mem=82M479
146.90/144.26 decisions=76160, wrong=37507, backtracks=2172, failedAssignments=37066, nogoods=9988, foundSolutions=6, bestBound=138
146.90/144.26
147.20/144.55 num=207, depth=4..9, filters=501320, revisions=(707275,useless=132378), ccks=1475619297, wck=142.365, mem=82M479
147.20/144.55 decisions=76518, wrong=37682, backtracks=2182, failedAssignments=37240, nogoods=10069, foundSolutions=6, bestBound=138
147.20/144.55
147.40/144.76 num=208, depth=1..8, filters=502643, revisions=(709056,useless=132737), ccks=1477341391, wck=142.571, mem=85M58
147.40/144.76 decisions=76907, wrong=37873, backtracks=2189, failedAssignments=37431, nogoods=10127, foundSolutions=6, bestBound=138
147.40/144.76
148.10/145.44 num=209, depth=1..8, filters=507070, revisions=(715191,useless=134023), ccks=1484127518, wck=143.251, mem=90M215
148.10/145.44 decisions=77342, wrong=38088, backtracks=2200, failedAssignments=37642, nogoods=10161, foundSolutions=6, bestBound=138
148.10/145.44
149.00/146.36 num=210, depth=0..8, filters=511125, revisions=(721396,useless=135383), ccks=1492858774, wck=144.179, mem=92M793
149.00/146.36 decisions=77820, wrong=38323, backtracks=2225, failedAssignments=37874, nogoods=10260, foundSolutions=6, bestBound=138
149.00/146.36
149.30/146.65 num=211, depth=3..8, filters=513071, revisions=(724045,useless=135968), ccks=1495260417, wck=144.462, mem=95M372
149.30/146.65 decisions=78337, wrong=38578, backtracks=2237, failedAssignments=38129, nogoods=10365, foundSolutions=6, bestBound=138
149.30/146.65
154.60/151.91 num=212, depth=1..2, filters=516997, revisions=(731059,useless=136471), ccks=1556525991, wck=149.722, mem=108M264
154.60/151.91 decisions=78900, wrong=38859, backtracks=2238, failedAssignments=38410, nogoods=10488, foundSolutions=6, bestBound=138
154.60/151.91
154.90/152.25 num=213, depth=3..8, filters=519335, revisions=(734100,useless=137005), ccks=1559743013, wck=150.069, mem=108M264
154.90/152.25 decisions=79532, wrong=39172, backtracks=2249, failedAssignments=38719, nogoods=10520, foundSolutions=6, bestBound=138
154.90/152.25
155.30/152.70 num=214, depth=1..7, filters=524485, revisions=(741024,useless=138565), ccks=1563246735, wck=150.509, mem=113M421
155.30/152.70 decisions=80218, wrong=39513, backtracks=2261, failedAssignments=39059, nogoods=10650, foundSolutions=6, bestBound=138
155.30/152.70
157.71/155.09 num=215, depth=1..4, filters=533712, revisions=(754716,useless=141487), ccks=1586348320, wck=152.907, mem=123M735
157.71/155.09 decisions=80989, wrong=39897, backtracks=2322, failedAssignments=39433, nogoods=10684, foundSolutions=6, bestBound=138
157.71/155.09
158.00/155.37 num=216, depth=3..9, filters=536066, revisions=(757789,useless=142064), ccks=1588708731, wck=153.184, mem=123M735
158.00/155.37 decisions=81822, wrong=40309, backtracks=2332, failedAssignments=39844, nogoods=10823, foundSolutions=6, bestBound=138
158.00/155.37
160.50/157.87 num=217, depth=1..7, filters=543075, revisions=(768096,useless=144038), ccks=1615278910, wck=155.679, mem=136M627
160.50/157.87 decisions=82730, wrong=40762, backtracks=2340, failedAssignments=40296, nogoods=10851, foundSolutions=6, bestBound=138
160.50/157.87
162.01/159.33 num=218, depth=0..8, filters=549136, revisions=(777195,useless=145829), ccks=1629379771, wck=157.141, mem=141M784
162.01/159.33 decisions=83734, wrong=41261, backtracks=2368, failedAssignments=40793, nogoods=10912, foundSolutions=6, bestBound=138
162.01/159.33
166.45/163.73 num=219, depth=0..8, filters=554676, revisions=(786081,useless=146795), ccks=1680418873, wck=161.545, mem=25M538
166.45/163.73 decisions=84842, wrong=41812, backtracks=2388, failedAssignments=41340, nogoods=10976, foundSolutions=6, bestBound=138
166.45/163.73
168.15/165.49 num=220, depth=3..10, filters=568994, revisions=(805067,useless=150187), ccks=1698129383, wck=163.303, mem=35M706
168.15/165.49 decisions=86094, wrong=42434, backtracks=2436, failedAssignments=41942, nogoods=11116, foundSolutions=6, bestBound=138
168.15/165.49
171.65/168.97 num=221, depth=0..3, filters=584109, revisions=(828148,useless=154417), ccks=1730990969, wck=166.783, mem=50M958
171.65/168.97 decisions=87456, wrong=43114, backtracks=2531, failedAssignments=42604, nogoods=11140, foundSolutions=6, bestBound=138
171.65/168.97
172.35/169.68 num=222, depth=3..9, filters=593029, revisions=(839900,useless=156756), ccks=1737389853, wck=167.492, mem=58M584
172.35/169.68 decisions=88932, wrong=43848, backtracks=2570, failedAssignments=43332, nogoods=11225, foundSolutions=6, bestBound=138
172.35/169.68
181.05/178.31 num=223, depth=0..7, filters=605748, revisions=(859310,useless=159250), ccks=1833956663, wck=176.127, mem=81M462
181.05/178.31 decisions=90553, wrong=44657, backtracks=2601, failedAssignments=44133, nogoods=11246, foundSolutions=6, bestBound=138
181.05/178.31
181.45/178.71 num=224, depth=3..9, filters=609754, revisions=(864303,useless=159978), ccks=1836288840, wck=176.523, mem=84M4
181.45/178.71 decisions=92341, wrong=45549, backtracks=2628, failedAssignments=45014, nogoods=11402, foundSolutions=6, bestBound=138
181.45/178.71
182.25/179.58 num=225, depth=3..9, filters=613823, revisions=(869792,useless=161072), ccks=1843570903, wck=177.397, mem=86M546
182.25/179.58 decisions=94286, wrong=46520, backtracks=2647, failedAssignments=45984, nogoods=11432, foundSolutions=6, bestBound=138
182.25/179.58
182.78/180.06 num=226, depth=4..11, filters=619719, revisions=(877295,useless=162365), ccks=1847577906, wck=177.874, mem=91M630
182.78/180.06 decisions=96430, wrong=47588, backtracks=2677, failedAssignments=47051, nogoods=11481, foundSolutions=6, bestBound=138
182.78/180.06
186.88/184.16 num=227, depth=0..9, filters=625591, revisions=(886219,useless=163440), ccks=1894381921, wck=181.977, mem=101M798
186.88/184.16 decisions=98783, wrong=48761, backtracks=2696, failedAssignments=48224, nogoods=11638, foundSolutions=6, bestBound=138
186.88/184.16
189.17/186.45 num=228, depth=4..10, filters=651799, revisions=(922236,useless=170735), ccks=1916033496, wck=184.266, mem=119M593
189.17/186.45 decisions=101391, wrong=50062, backtracks=2822, failedAssignments=49515, nogoods=11694, foundSolutions=6, bestBound=138
189.17/186.45
190.37/187.61 num=229, depth=0..10, filters=660528, revisions=(934638,useless=173295), ccks=1925595460, wck=185.426, mem=127M219
190.37/187.61 decisions=104241, wrong=51483, backtracks=2887, failedAssignments=50935, nogoods=11749, foundSolutions=6, bestBound=138
190.37/187.61
192.27/189.60 num=230, depth=0..10, filters=671862, revisions=(951471,useless=176565), ccks=1942308336, wck=187.409, mem=139M929
192.27/189.60 decisions=107390, wrong=53053, backtracks=2941, failedAssignments=52497, nogoods=11872, foundSolutions=6, bestBound=138
192.27/189.60
194.32/191.56 num=231, depth=4..11, filters=698758, revisions=(987061,useless=183164), ccks=1960133329, wck=189.378, mem=28M148
194.32/191.56 decisions=110850, wrong=54779, backtracks=3056, failedAssignments=54215, nogoods=12067, foundSolutions=6, bestBound=138
194.32/191.56
196.32/193.54 num=232, depth=3..9, filters=733678, revisions=(1031066,useless=190262), ccks=1977644831, wck=191.35, mem=45M690
196.32/193.54 decisions=114667, wrong=56684, backtracks=3210, failedAssignments=56105, nogoods=12308, foundSolutions=6, bestBound=138
196.32/193.54
199.62/196.90 num=233, depth=0..10, filters=765297, revisions=(1075311,useless=198980), ccks=2006033980, wck=194.71, mem=70M750
199.62/196.90 decisions=118861, wrong=58778, backtracks=3367, failedAssignments=58184, nogoods=12377, foundSolutions=6, bestBound=138
199.62/196.90
202.52/199.76 num=234, depth=0..10, filters=784355, revisions=(1101916,useless=204521), ccks=2031336707, wck=197.575, mem=88M292
202.52/199.76 decisions=123470, wrong=61078, backtracks=3458, failedAssignments=60471, nogoods=12431, foundSolutions=6, bestBound=138
202.52/199.76
206.22/203.40 num=235, depth=1..9, filters=801653, revisions=(1125931,useless=208549), ccks=2062945353, wck=201.215, mem=105M834
206.22/203.40 decisions=128525, wrong=63604, backtracks=3517, failedAssignments=62987, nogoods=12439, foundSolutions=6, bestBound=138
206.22/203.40
208.13/205.37 num=236, depth=0..10, filters=832927, revisions=(1165794,useless=215466), ccks=2078778373, wck=203.183, mem=123M376
208.13/205.37 decisions=134085, wrong=66380, backtracks=3651, failedAssignments=65755, nogoods=12509, foundSolutions=6, bestBound=138
208.13/205.37
218.46/215.62 num=237, depth=0..11, filters=864691, revisions=(1211242,useless=222743), ccks=2185017050, wck=213.434, mem=30M637
218.46/215.62 decisions=140209, wrong=69438, backtracks=3813, failedAssignments=68799, nogoods=12593, foundSolutions=6, bestBound=138
218.46/215.62
222.37/219.53 num=238, depth=0..11, filters=885638, revisions=(1240363,useless=228481), ccks=2217058391, wck=217.342, mem=47M913
222.37/219.53 decisions=146954, wrong=72808, backtracks=3959, failedAssignments=72148, nogoods=12709, foundSolutions=6, bestBound=138
222.37/219.53
226.57/223.79 num=239, depth=2..11, filters=945318, revisions=(1316692,useless=240696), ccks=2256138890, wck=221.607, mem=87M399
226.57/223.79 decisions=154367, wrong=76510, backtracks=4099, failedAssignments=75832, nogoods=12889, foundSolutions=6, bestBound=138
226.57/223.79
229.27/226.44 num=240, depth=0..11, filters=983594, revisions=(1367076,useless=249867), ccks=2278498690, wck=224.252, mem=109M610
229.27/226.44 decisions=162496, wrong=80571, backtracks=4282, failedAssignments=79884, nogoods=13046, foundSolutions=6, bestBound=138
229.27/226.44
234.27/231.49 num=241, depth=2..14, filters=1033751, revisions=(1431530,useless=260639), ccks=2324707297, wck=229.301, mem=141M692
234.27/231.49 decisions=171462, wrong=85048, backtracks=4484, failedAssignments=84341, nogoods=13221, foundSolutions=6, bestBound=138
234.27/231.49
240.41/237.59 num=242, depth=2..11, filters=1136998, revisions=(1555327,useless=272618), ccks=2382132393, wck=235.403, mem=57M362
240.41/237.59 decisions=181502, wrong=90063, backtracks=4738, failedAssignments=89244, nogoods=13453, foundSolutions=6, bestBound=138
240.41/237.59
243.02/240.15 num=243, depth=2..11, filters=1195341, revisions=(1628039,useless=285888), ccks=2400055902, wck=237.959, mem=86M503
243.02/240.15 decisions=192332, wrong=95473, backtracks=4965, failedAssignments=94638, nogoods=13620, foundSolutions=6, bestBound=138
243.02/240.15
247.81/244.92 num=244, depth=1..12, filters=1227362, revisions=(1670790,useless=293916), ccks=2439113760, wck=242.736, mem=113M215
247.81/244.92 decisions=204230, wrong=101418, backtracks=5107, failedAssignments=100571, nogoods=13779, foundSolutions=6, bestBound=138
247.81/244.92
258.05/255.12 num=245, depth=0..12, filters=1280727, revisions=(1743817,useless=306955), ccks=2544963520, wck=252.936, mem=37M726
258.05/255.12 decisions=217330, wrong=107964, backtracks=5360, failedAssignments=107097, nogoods=13960, foundSolutions=6, bestBound=138
258.05/255.12
264.95/262.07 num=246, depth=0..12, filters=1397139, revisions=(1890247,useless=327415), ccks=2607350925, wck=259.882, mem=106M977
264.95/262.07 decisions=231788, wrong=115189, backtracks=5673, failedAssignments=114276, nogoods=14076, foundSolutions=6, bestBound=138
264.95/262.07
268.05/265.14 num=247, depth=0..14, filters=1443524, revisions=(1951116,useless=339668), ccks=2628646866, wck=262.95, mem=135M633
268.05/265.14 decisions=247627, wrong=123104, backtracks=5919, failedAssignments=122173, nogoods=14180, foundSolutions=6, bestBound=138
268.05/265.14
286.78/283.81 num=248, depth=0..9, filters=1564477, revisions=(2114577,useless=369117), ccks=2817377547, wck=281.624, mem=117M772
286.78/283.81 decisions=265061, wrong=131819, backtracks=6320, failedAssignments=130860, nogoods=14353, foundSolutions=6, bestBound=138
286.78/283.81
291.72/288.73 o 136
291.72/288.73 num=249, depth=1..90, filters=1635472, revisions=(2208165,useless=386630), ccks=2858902104, wck=286.548, mem=44M395
291.72/288.73 decisions=276352, wrong=137455, backtracks=6594, failedAssignments=136481, nogoods=14663, foundSolutions=7, bestBound=136
291.72/288.73
296.13/293.14 num=250, depth=1..15, filters=1710101, revisions=(2303006,useless=403168), ccks=2887862778, wck=290.958, mem=93M464
296.13/293.14 decisions=297431, wrong=147988, backtracks=6811, failedAssignments=146992, nogoods=14927, foundSolutions=7, bestBound=136
296.13/293.14
296.23/293.23 num=251, depth=3..4, filters=1710404, revisions=(2303482,useless=403229), ccks=2888558221, wck=291.039, mem=93M464
296.23/293.23 decisions=297456, wrong=147999, backtracks=6812, failedAssignments=147003, nogoods=14937, foundSolutions=7, bestBound=136
296.23/293.23
296.43/293.40 num=252, depth=1..3, filters=1710981, revisions=(2304360,useless=403467), ccks=2890192025, wck=291.211, mem=93M464
296.43/293.40 decisions=297486, wrong=148013, backtracks=6820, failedAssignments=147015, nogoods=14940, foundSolutions=7, bestBound=136
296.43/293.40
296.43/293.48 num=253, depth=4..5, filters=1711359, revisions=(2304928,useless=403584), ccks=2891017417, wck=291.297, mem=95M790
296.43/293.48 decisions=297516, wrong=148026, backtracks=6821, failedAssignments=147028, nogoods=14951, foundSolutions=7, bestBound=136
296.43/293.48
296.63/293.63 num=254, depth=2..4, filters=1712128, revisions=(2306057,useless=403824), ccks=2892154394, wck=291.441, mem=95M790
296.63/293.63 decisions=297551, wrong=148042, backtracks=6827, failedAssignments=147042, nogoods=14958, foundSolutions=7, bestBound=136
296.63/293.63
296.84/293.85 num=255, depth=2..4, filters=1712801, revisions=(2307028,useless=404078), ccks=2894428134, wck=291.668, mem=95M790
296.84/293.85 decisions=297594, wrong=148062, backtracks=6834, failedAssignments=147058, nogoods=14966, foundSolutions=7, bestBound=136
296.84/293.85
297.05/294.02 num=256, depth=2..4, filters=1713218, revisions=(2307657,useless=404211), ccks=2896160052, wck=291.837, mem=95M790
297.05/294.02 decisions=297631, wrong=148079, backtracks=6836, failedAssignments=147075, nogoods=14979, foundSolutions=7, bestBound=136
297.05/294.02
297.25/294.24 num=257, depth=2..4, filters=1714240, revisions=(2309219,useless=404586), ccks=2897943386, wck=292.049, mem=98M117
297.25/294.24 decisions=297676, wrong=148100, backtracks=6844, failedAssignments=147094, nogoods=14987, foundSolutions=7, bestBound=136
297.25/294.24
297.45/294.47 num=258, depth=1..3, filters=1715022, revisions=(2310359,useless=404876), ccks=2900185359, wck=292.288, mem=98M117
297.45/294.47 decisions=297723, wrong=148123, backtracks=6853, failedAssignments=147115, nogoods=14988, foundSolutions=7, bestBound=136
297.45/294.47
297.65/294.69 num=259, depth=1..4, filters=1716432, revisions=(2312490,useless=405352), ccks=2901744421, wck=292.502, mem=98M117
297.65/294.69 decisions=297774, wrong=148147, backtracks=6863, failedAssignments=147138, nogoods=14991, foundSolutions=7, bestBound=136
297.65/294.69
297.85/294.88 num=260, depth=1..3, filters=1717130, revisions=(2313537,useless=405562), ccks=2903551663, wck=292.693, mem=100M444
297.85/294.88 decisions=297829, wrong=148174, backtracks=6870, failedAssignments=147163, nogoods=14993, foundSolutions=7, bestBound=136
297.85/294.88
298.15/295.12 num=261, depth=3..6, filters=1718280, revisions=(2315184,useless=405894), ccks=2905933679, wck=292.935, mem=100M444
298.15/295.12 decisions=297894, wrong=148204, backtracks=6873, failedAssignments=147191, nogoods=15015, foundSolutions=7, bestBound=136
298.15/295.12
298.35/295.38 num=262, depth=3..6, filters=1719006, revisions=(2316242,useless=406088), ccks=2908621896, wck=293.192, mem=102M770
298.35/295.38 decisions=297961, wrong=148235, backtracks=6875, failedAssignments=147222, nogoods=15042, foundSolutions=7, bestBound=136
298.35/295.38
298.65/295.68 num=263, depth=1..3, filters=1720164, revisions=(2317988,useless=406470), ccks=2911310345, wck=293.495, mem=102M770
298.65/295.68 decisions=298035, wrong=148271, backtracks=6886, failedAssignments=147256, nogoods=15046, foundSolutions=7, bestBound=136
298.65/295.68
298.85/295.81 num=264, depth=2..5, filters=1720963, revisions=(2319157,useless=406693), ccks=2912458511, wck=293.624, mem=102M770
298.85/295.81 decisions=298112, wrong=148308, backtracks=6890, failedAssignments=147293, nogoods=15057, foundSolutions=7, bestBound=136
298.85/295.81
299.27/296.26 num=265, depth=2..5, filters=1722206, revisions=(2320994,useless=407109), ccks=2917118090, wck=294.074, mem=105M97
299.27/296.26 decisions=298201, wrong=148350, backtracks=6893, failedAssignments=147334, nogoods=15089, foundSolutions=7, bestBound=136
299.27/296.26
299.57/296.58 num=266, depth=1..3, filters=1723776, revisions=(2323371,useless=407636), ccks=2919694167, wck=294.395, mem=107M424
299.57/296.58 decisions=298299, wrong=148398, backtracks=6910, failedAssignments=147379, nogoods=15099, foundSolutions=7, bestBound=136
299.57/296.58
299.97/296.96 num=267, depth=1..4, filters=1725288, revisions=(2325594,useless=408147), ccks=2923290761, wck=294.774, mem=107M424
299.97/296.96 decisions=298410, wrong=148452, backtracks=6922, failedAssignments=147429, nogoods=15105, foundSolutions=7, bestBound=136
299.97/296.96
300.18/297.18 num=268, depth=3..8, filters=1727066, revisions=(2328072,useless=408703), ccks=2925462981, wck=294.999, mem=109M751
300.18/297.18 decisions=298528, wrong=148508, backtracks=6931, failedAssignments=147484, nogoods=15139, foundSolutions=7, bestBound=136
300.18/297.18
300.37/297.36 num=269, depth=1..4, filters=1728000, revisions=(2329529,useless=409082), ccks=2926883431, wck=295.177, mem=109M751
300.37/297.36 decisions=298654, wrong=148569, backtracks=6939, failedAssignments=147545, nogoods=15186, foundSolutions=7, bestBound=136
300.37/297.36
300.87/297.87 num=270, depth=1..5, filters=1730070, revisions=(2332772,useless=409837), ccks=2931529219, wck=295.687, mem=112M77
300.87/297.87 decisions=298796, wrong=148639, backtracks=6963, failedAssignments=147612, nogoods=15198, foundSolutions=7, bestBound=136
300.87/297.87
301.07/298.03 num=271, depth=3..8, filters=1731246, revisions=(2334435,useless=410171), ccks=2932954162, wck=295.844, mem=114M404
301.07/298.03 decisions=298956, wrong=148715, backtracks=6968, failedAssignments=147686, nogoods=15250, foundSolutions=7, bestBound=136
301.07/298.03
301.37/298.38 num=272, depth=1..6, filters=1733052, revisions=(2337337,useless=410751), ccks=2935877433, wck=296.193, mem=116M731
301.37/298.38 decisions=299124, wrong=148796, backtracks=6981, failedAssignments=147767, nogoods=15272, foundSolutions=7, bestBound=136
301.37/298.38
302.47/299.42 num=273, depth=0..6, filters=1734714, revisions=(2339937,useless=411121), ccks=2947871976, wck=297.233, mem=119M57
302.47/299.42 decisions=299310, wrong=148886, backtracks=6987, failedAssignments=147856, nogoods=15301, foundSolutions=7, bestBound=136
302.47/299.42
302.87/299.86 num=274, depth=2..4, filters=1736868, revisions=(2343137,useless=411704), ccks=2951911984, wck=297.678, mem=121M384
302.87/299.86 decisions=299510, wrong=148985, backtracks=6999, failedAssignments=147954, nogoods=15316, foundSolutions=7, bestBound=136
302.87/299.86
302.97/300.00 num=275, depth=3..7, filters=1737607, revisions=(2344157,useless=411904), ccks=2953137633, wck=297.814, mem=121M384
302.97/300.00 decisions=299733, wrong=149093, backtracks=7002, failedAssignments=148062, nogoods=15413, foundSolutions=7, bestBound=136
302.97/300.00
303.67/300.65 num=276, depth=1..4, filters=1740272, revisions=(2348374,useless=412720), ccks=2959131352, wck=298.46, mem=126M37
303.67/300.65 decisions=299978, wrong=149214, backtracks=7023, failedAssignments=148181, nogoods=15428, foundSolutions=7, bestBound=136
303.67/300.65
303.77/300.79 num=277, depth=3..7, filters=1741167, revisions=(2349604,useless=412963), ccks=2960306704, wck=298.601, mem=126M37
303.77/300.79 decisions=300248, wrong=149346, backtracks=7028, failedAssignments=148312, nogoods=15519, foundSolutions=7, bestBound=136
303.77/300.79
304.37/301.36 num=278, depth=2..4, filters=1744640, revisions=(2355207,useless=414048), ccks=2965028626, wck=299.175, mem=130M691
304.37/301.36 decisions=300540, wrong=149491, backtracks=7045, failedAssignments=148456, nogoods=15542, foundSolutions=7, bestBound=136
304.37/301.36
304.87/301.81 num=279, depth=4..7, filters=1747814, revisions=(2359436,useless=414862), ccks=2969303408, wck=299.62, mem=133M18
304.87/301.81 decisions=300873, wrong=149654, backtracks=7055, failedAssignments=148614, nogoods=15632, foundSolutions=7, bestBound=136
304.87/301.81
305.67/302.66 num=280, depth=1..4, filters=1752403, revisions=(2366526,useless=416385), ccks=2976379360, wck=300.475, mem=137M671
305.67/302.66 decisions=301236, wrong=149835, backtracks=7090, failedAssignments=148788, nogoods=15644, foundSolutions=7, bestBound=136
305.67/302.66
306.61/303.59 num=281, depth=0..8, filters=1756569, revisions=(2372471,useless=417658), ccks=2985768255, wck=301.402, mem=26M3
306.61/303.59 decisions=301627, wrong=150027, backtracks=7116, failedAssignments=148979, nogoods=15711, foundSolutions=7, bestBound=136
306.61/303.59
307.40/304.38 num=282, depth=1..3, filters=1760589, revisions=(2378396,useless=418885), ccks=2992766372, wck=302.198, mem=30M592
307.40/304.38 decisions=302059, wrong=150242, backtracks=7136, failedAssignments=149190, nogoods=15738, foundSolutions=7, bestBound=136
307.40/304.38
309.11/306.01 num=283, depth=1..4, filters=1766285, revisions=(2386762,useless=420799), ccks=3008566377, wck=303.823, mem=35M180
309.11/306.01 decisions=302551, wrong=150487, backtracks=7189, failedAssignments=149422, nogoods=15756, foundSolutions=7, bestBound=136
309.11/306.01
309.70/306.68 num=284, depth=2..8, filters=1771799, revisions=(2394080,useless=422163), ccks=3014980263, wck=304.49, mem=39M768
309.70/306.68 decisions=303075, wrong=150745, backtracks=7216, failedAssignments=149677, nogoods=15870, foundSolutions=7, bestBound=136
309.70/306.68
310.70/307.64 num=285, depth=1..7, filters=1776596, revisions=(2401456,useless=423666), ccks=3023815967, wck=305.456, mem=46M651
310.70/307.64 decisions=303650, wrong=151029, backtracks=7244, failedAssignments=149958, nogoods=15969, foundSolutions=7, bestBound=136
310.70/307.64
311.70/308.67 num=286, depth=1..8, filters=1780909, revisions=(2407765,useless=425127), ccks=3033389391, wck=306.481, mem=51M240
311.70/308.67 decisions=304285, wrong=151343, backtracks=7271, failedAssignments=150267, nogoods=16039, foundSolutions=7, bestBound=136
311.70/308.67
313.60/310.54 num=287, depth=1..10, filters=1790173, revisions=(2421253,useless=427688), ccks=3051281110, wck=308.354, mem=60M416
313.60/310.54 decisions=304997, wrong=151695, backtracks=7318, failedAssignments=150607, nogoods=16110, foundSolutions=7, bestBound=136
313.60/310.54
314.70/311.67 num=288, depth=0..10, filters=1802527, revisions=(2438288,useless=431340), ccks=3061992996, wck=309.483, mem=69M593
314.70/311.67 decisions=305794, wrong=152089, backtracks=7397, failedAssignments=150981, nogoods=16187, foundSolutions=7, bestBound=136
314.70/311.67
316.00/313.00 num=289, depth=1..4, filters=1811309, revisions=(2451690,useless=433889), ccks=3071746139, wck=310.812, mem=76M476
316.00/313.00 decisions=306646, wrong=152513, backtracks=7463, failedAssignments=151392, nogoods=16313, foundSolutions=7, bestBound=136
316.00/313.00
317.40/314.36 num=290, depth=1..8, filters=1818619, revisions=(2463192,useless=436018), ccks=3083928297, wck=312.173, mem=85M653
317.40/314.36 decisions=307564, wrong=152968, backtracks=7498, failedAssignments=151844, nogoods=16437, foundSolutions=7, bestBound=136
317.40/314.36
319.21/316.14 num=291, depth=1..7, filters=1830317, revisions=(2480705,useless=440064), ccks=3099318569, wck=313.956, mem=99M418
319.21/316.14 decisions=308592, wrong=153479, backtracks=7573, failedAssignments=152341, nogoods=16558, foundSolutions=7, bestBound=136
319.21/316.14
321.71/318.65 num=292, depth=1..4, filters=1844267, revisions=(2501981,useless=444080), ccks=3120398558, wck=316.46, mem=113M183
321.71/318.65 decisions=309727, wrong=154045, backtracks=7673, failedAssignments=152888, nogoods=16591, foundSolutions=7, bestBound=136
321.71/318.65
322.81/319.71 num=293, depth=1..9, filters=1850770, revisions=(2511381,useless=445928), ccks=3129051579, wck=317.525, mem=117M772
322.81/319.71 decisions=310954, wrong=154655, backtracks=7714, failedAssignments=153490, nogoods=16725, foundSolutions=7, bestBound=136
322.81/319.71
328.00/324.96 num=294, depth=0..9, filters=1860947, revisions=(2527246,useless=448621), ccks=3187131489, wck=322.774, mem=133M831
328.00/324.96 decisions=312299, wrong=155323, backtracks=7778, failedAssignments=154152, nogoods=16815, foundSolutions=7, bestBound=136
328.00/324.96
329.41/326.33 num=295, depth=1..8, filters=1867586, revisions=(2536744,useless=450877), ccks=3198854708, wck=324.141, mem=26M71
329.41/326.33 decisions=313781, wrong=156062, backtracks=7819, failedAssignments=154880, nogoods=17008, foundSolutions=7, bestBound=136
329.41/326.33
331.91/328.84 num=296, depth=1..10, filters=1882755, revisions=(2559286,useless=455027), ccks=3220943514, wck=326.651, mem=41M915
331.91/328.84 decisions=315441, wrong=156888, backtracks=7910, failedAssignments=155681, nogoods=17181, foundSolutions=7, bestBound=136
331.91/328.84
336.31/333.26 num=297, depth=0..10, filters=1890655, revisions=(2571712,useless=457000), ccks=3269224179, wck=331.072, mem=55M497
336.31/333.26 decisions=317214, wrong=157772, backtracks=7957, failedAssignments=156562, nogoods=17322, foundSolutions=7, bestBound=136
336.31/333.26
338.51/335.44 num=298, depth=1..10, filters=1902931, revisions=(2589409,useless=460757), ccks=3289105882, wck=333.255, mem=66M814
338.51/335.44 decisions=319184, wrong=158753, backtracks=8037, failedAssignments=157532, nogoods=17365, foundSolutions=7, bestBound=136
338.51/335.44
343.01/339.90 num=299, depth=0..8, filters=1910435, revisions=(2600950,useless=462514), ccks=3337471480, wck=337.71, mem=78M132
343.01/339.90 decisions=321337, wrong=159828, backtracks=8080, failedAssignments=158599, nogoods=17508, foundSolutions=7, bestBound=136
343.01/339.90
344.81/341.78 num=300, depth=1..9, filters=1925677, revisions=(2623290,useless=467229), ccks=3352796929, wck=339.592, mem=93M977
344.81/341.78 decisions=323700, wrong=161006, backtracks=8170, failedAssignments=159772, nogoods=17606, foundSolutions=7, bestBound=136
344.81/341.78
349.51/346.46 num=301, depth=0..7, filters=1945664, revisions=(2653291,useless=473171), ccks=3395745320, wck=344.276, mem=114M348
349.51/346.46 decisions=326342, wrong=162325, backtracks=8309, failedAssignments=161063, nogoods=17692, foundSolutions=7, bestBound=136
349.51/346.46
351.71/348.67 num=302, depth=1..10, filters=1962125, revisions=(2676348,useless=478365), ccks=3416267014, wck=346.488, mem=127M930
351.71/348.67 decisions=329213, wrong=163756, backtracks=8422, failedAssignments=162483, nogoods=17761, foundSolutions=7, bestBound=136
351.71/348.67
356.52/353.42 num=303, depth=0..9, filters=1975035, revisions=(2695282,useless=481889), ccks=3466854980, wck=351.232, mem=30M603
356.52/353.42 decisions=332361, wrong=165327, backtracks=8488, failedAssignments=164045, nogoods=17970, foundSolutions=7, bestBound=136
356.52/353.42
360.24/357.18 num=304, depth=1..10, filters=1999062, revisions=(2728889,useless=488505), ccks=3500849870, wck=354.989, mem=50M696
360.24/357.18 decisions=335837, wrong=167061, backtracks=8637, failedAssignments=165763, nogoods=18127, foundSolutions=7, bestBound=136
360.24/357.18
366.43/363.34 num=305, depth=0..7, filters=2026070, revisions=(2767797,useless=497207), ccks=3558810443, wck=361.153, mem=77M487
366.43/363.34 decisions=339692, wrong=168986, backtracks=8825, failedAssignments=167653, nogoods=18298, foundSolutions=7, bestBound=136
366.43/363.34
368.54/365.42 num=306, depth=1..10, filters=2037305, revisions=(2783940,useless=500250), ccks=3576088866, wck=363.233, mem=88M650
368.54/365.42 decisions=343859, wrong=171067, backtracks=8878, failedAssignments=169732, nogoods=18418, foundSolutions=7, bestBound=136
368.54/365.42
373.54/370.42 num=307, depth=1..10, filters=2090020, revisions=(2857288,useless=514573), ccks=3619516501, wck=368.234, mem=126M604
373.54/370.42 decisions=348515, wrong=173391, backtracks=9136, failedAssignments=172019, nogoods=18551, foundSolutions=7, bestBound=136
373.54/370.42
377.25/374.14 num=308, depth=0..9, filters=2125750, revisions=(2906520,useless=523632), ccks=3650375398, wck=371.958, mem=41M648
377.25/374.14 decisions=353577, wrong=175918, backtracks=9306, failedAssignments=174535, nogoods=18677, foundSolutions=7, bestBound=136
377.25/374.14
383.45/380.35 num=309, depth=0..10, filters=2165448, revisions=(2962798,useless=535280), ccks=3704048107, wck=378.168, mem=72M468
383.45/380.35 decisions=359258, wrong=178754, backtracks=9558, failedAssignments=177303, nogoods=18725, foundSolutions=7, bestBound=136
383.45/380.35
385.95/382.86 num=310, depth=0..9, filters=2194358, revisions=(3002160,useless=543696), ccks=3724384080, wck=380.675, mem=92M281
385.95/382.86 decisions=365370, wrong=181806, backtracks=9725, failedAssignments=180347, nogoods=18904, foundSolutions=7, bestBound=136
385.95/382.86
389.16/386.03 num=311, depth=0..11, filters=2232751, revisions=(3054935,useless=553120), ccks=3749310493, wck=383.842, mem=123M101
389.16/386.03 decisions=372097, wrong=185166, backtracks=9880, failedAssignments=183696, nogoods=18979, foundSolutions=7, bestBound=136
389.16/386.03
400.27/397.11 num=312, depth=0..9, filters=2294506, revisions=(3144907,useless=569840), ccks=3851620673, wck=394.928, mem=69M643
400.27/397.11 decisions=379600, wrong=188914, backtracks=10231, failedAssignments=187380, nogoods=19013, foundSolutions=7, bestBound=136
400.27/397.11
446.98/443.88 num=313, depth=1..9, filters=2342147, revisions=(3227559,useless=577112), ccks=4403731455, wck=441.695, mem=77M574
446.98/443.88 decisions=387736, wrong=192981, backtracks=10352, failedAssignments=191432, nogoods=19035, foundSolutions=7, bestBound=136
446.98/443.88
455.68/452.56 num=314, depth=1..10, filters=2418107, revisions=(3331635,useless=597525), ccks=4484524015, wck=450.373, mem=28M293
455.68/452.56 decisions=396727, wrong=197472, backtracks=10715, failedAssignments=195889, nogoods=19278, foundSolutions=7, bestBound=136
455.68/452.56
464.49/461.32 o 135
464.49/461.32 num=315, depth=0..90, filters=2478860, revisions=(3418428,useless=615596), ccks=4558140696, wck=459.13, mem=74M657
464.49/461.32 decisions=404484, wrong=201344, backtracks=11146, failedAssignments=199684, nogoods=19339, foundSolutions=8, bestBound=135
464.49/461.32
477.00/473.89 num=316, depth=1..15, filters=2559033, revisions=(3539579,useless=636154), ccks=4671082762, wck=471.701, mem=61M562
477.00/473.89 decisions=415380, wrong=206786, backtracks=11486, failedAssignments=205078, nogoods=19501, foundSolutions=8, bestBound=135
477.00/473.89
477.10/473.99 num=317, depth=2..4, filters=2559249, revisions=(3539977,useless=636282), ccks=4672136330, wck=471.805, mem=61M562
477.10/473.99 decisions=415404, wrong=206797, backtracks=11489, failedAssignments=205089, nogoods=19504, foundSolutions=8, bestBound=135
477.10/473.99
477.31/474.11 num=318, depth=2..4, filters=2559833, revisions=(3540879,useless=636480), ccks=4673192210, wck=471.927, mem=63M638
477.31/474.11 decisions=415435, wrong=206811, backtracks=11493, failedAssignments=205101, nogoods=19508, foundSolutions=8, bestBound=135
477.31/474.11
477.40/474.28 num=319, depth=4..5, filters=2560216, revisions=(3541438,useless=636600), ccks=4674919630, wck=472.09, mem=63M638
477.40/474.28 decisions=415467, wrong=206825, backtracks=11494, failedAssignments=205114, nogoods=19521, foundSolutions=8, bestBound=135
477.40/474.28
477.60/474.43 num=320, depth=2..4, filters=2561060, revisions=(3542699,useless=636856), ccks=4676100208, wck=472.244, mem=63M638
477.60/474.43 decisions=415500, wrong=206840, backtracks=11500, failedAssignments=205128, nogoods=19530, foundSolutions=8, bestBound=135
477.60/474.43
477.80/474.61 num=321, depth=2..4, filters=2561598, revisions=(3543525,useless=637080), ccks=4677903138, wck=472.426, mem=63M638
477.80/474.61 decisions=415537, wrong=206857, backtracks=11505, failedAssignments=205144, nogoods=19537, foundSolutions=8, bestBound=135
477.80/474.61
477.90/474.75 num=322, depth=3..4, filters=2562429, revisions=(3544745,useless=637307), ccks=4678988139, wck=472.559, mem=65M714
477.90/474.75 decisions=415574, wrong=206874, backtracks=11506, failedAssignments=205161, nogoods=19552, foundSolutions=8, bestBound=135
477.90/474.75
478.10/474.90 num=323, depth=1..3, filters=2562852, revisions=(3545377,useless=637475), ccks=4680571163, wck=472.717, mem=65M714
478.10/474.90 decisions=415616, wrong=206894, backtracks=11510, failedAssignments=205180, nogoods=19556, foundSolutions=8, bestBound=135
478.10/474.90
478.31/475.14 num=324, depth=2..4, filters=2563436, revisions=(3546291,useless=637673), ccks=4683029629, wck=472.958, mem=65M714
478.31/475.14 decisions=415661, wrong=206915, backtracks=11514, failedAssignments=205201, nogoods=19569, foundSolutions=8, bestBound=135
478.31/475.14
478.40/475.30 num=325, depth=2..4, filters=2564239, revisions=(3547505,useless=637898), ccks=4684265746, wck=473.109, mem=67M790
478.40/475.30 decisions=415710, wrong=206938, backtracks=11520, failedAssignments=205224, nogoods=19580, foundSolutions=8, bestBound=135
478.40/475.30
478.60/475.46 num=326, depth=4..5, filters=2564872, revisions=(3548402,useless=638066), ccks=4685986151, wck=473.276, mem=67M790
478.60/475.46 decisions=415765, wrong=206963, backtracks=11521, failedAssignments=205249, nogoods=19603, foundSolutions=8, bestBound=135
478.60/475.46
478.90/475.73 num=327, depth=2..4, filters=2566290, revisions=(3550513,useless=638532), ccks=4688199179, wck=473.541, mem=69M866
478.90/475.73 decisions=415837, wrong=206997, backtracks=11531, failedAssignments=205277, nogoods=19610, foundSolutions=8, bestBound=135
478.90/475.73
479.00/475.87 num=328, depth=4..7, filters=2567067, revisions=(3551605,useless=638731), ccks=4689624159, wck=473.686, mem=69M866
479.00/475.87 decisions=415906, wrong=207029, backtracks=11534, failedAssignments=205308, nogoods=19634, foundSolutions=8, bestBound=135
479.00/475.87
479.21/476.07 num=329, depth=1..3, filters=2568038, revisions=(3553021,useless=639046), ccks=4691330358, wck=473.889, mem=69M866
479.21/476.07 decisions=415983, wrong=207066, backtracks=11542, failedAssignments=205342, nogoods=19646, foundSolutions=8, bestBound=135
479.21/476.07
479.40/476.29 num=330, depth=2..5, filters=2569024, revisions=(3554484,useless=639339), ccks=4693342007, wck=474.102, mem=71M942
479.40/476.29 decisions=416062, wrong=207104, backtracks=11547, failedAssignments=205379, nogoods=19664, foundSolutions=8, bestBound=135
479.40/476.29
479.80/476.63 num=331, depth=3..4, filters=2569927, revisions=(3555815,useless=639643), ccks=4696875501, wck=474.44, mem=74M18
479.80/476.63 decisions=416149, wrong=207146, backtracks=11548, failedAssignments=205420, nogoods=19700, foundSolutions=8, bestBound=135
479.80/476.63
480.00/476.89 num=332, depth=1..4, filters=2571505, revisions=(3558365,useless=640256), ccks=4698912684, wck=474.701, mem=74M18
480.00/476.89 decisions=416241, wrong=207191, backtracks=11563, failedAssignments=205465, nogoods=19712, foundSolutions=8, bestBound=135
480.00/476.89
480.40/477.25 num=333, depth=1..4, filters=2573070, revisions=(3560707,useless=640817), ccks=4702220574, wck=475.063, mem=76M94
480.40/477.25 decisions=416350, wrong=207245, backtracks=11577, failedAssignments=205515, nogoods=19713, foundSolutions=8, bestBound=135
480.40/477.25
480.70/477.56 num=334, depth=2..6, filters=2574867, revisions=(3563226,useless=641328), ccks=4705130178, wck=475.372, mem=78M170
480.70/477.56 decisions=416473, wrong=207304, backtracks=11587, failedAssignments=205570, nogoods=19730, foundSolutions=8, bestBound=135
480.70/477.56
481.10/477.92 num=335, depth=1..4, filters=2577420, revisions=(3567193,useless=642209), ccks=4707544230, wck=475.736, mem=80M246
481.10/477.92 decisions=416602, wrong=207368, backtracks=11612, failedAssignments=205631, nogoods=19733, foundSolutions=8, bestBound=135
481.10/477.92
481.50/478.38 num=336, depth=2..4, filters=2579150, revisions=(3569731,useless=642737), ccks=4712037717, wck=476.191, mem=82M323
481.50/478.38 decisions=416747, wrong=207439, backtracks=11621, failedAssignments=205698, nogoods=19750, foundSolutions=8, bestBound=135
481.50/478.38
481.80/478.68 num=337, depth=2..7, filters=2581273, revisions=(3572689,useless=643334), ccks=4714876496, wck=476.499, mem=82M323
481.80/478.68 decisions=416907, wrong=207516, backtracks=11631, failedAssignments=205772, nogoods=19769, foundSolutions=8, bestBound=135
481.80/478.68
482.31/479.13 num=338, depth=1..3, filters=2583826, revisions=(3576514,useless=644081), ccks=4718402549, wck=476.943, mem=86M475
482.31/479.13 decisions=417075, wrong=207599, backtracks=11651, failedAssignments=205853, nogoods=19783, foundSolutions=8, bestBound=135
482.31/479.13
483.00/479.82 num=339, depth=1..4, filters=2586389, revisions=(3580401,useless=644876), ccks=4724899300, wck=477.629, mem=88M551
483.00/479.82 decisions=417263, wrong=207692, backtracks=11668, failedAssignments=205942, nogoods=19788, foundSolutions=8, bestBound=135
483.00/479.82
483.40/480.28 num=340, depth=4..9, filters=2589164, revisions=(3584026,useless=645417), ccks=4729590086, wck=478.097, mem=90M627
483.40/480.28 decisions=417473, wrong=207793, backtracks=11678, failedAssignments=206040, nogoods=19846, foundSolutions=8, bestBound=135
483.40/480.28
483.91/480.76 num=341, depth=1..3, filters=2591686, revisions=(3587913,useless=646103), ccks=4733786108, wck=478.575, mem=92M703
483.91/480.76 decisions=417696, wrong=207903, backtracks=11695, failedAssignments=206148, nogoods=19859, foundSolutions=8, bestBound=135
483.91/480.76
484.11/481.00 num=342, depth=4..8, filters=2594387, revisions=(3591472,useless=646816), ccks=4736092900, wck=478.816, mem=94M779
484.11/481.00 decisions=417942, wrong=208023, backtracks=11706, failedAssignments=206267, nogoods=19915, foundSolutions=8, bestBound=135
484.11/481.00
484.81/481.61 num=343, depth=1..3, filters=2597879, revisions=(3596767,useless=647863), ccks=4740899444, wck=479.421, mem=98M931
484.81/481.61 decisions=418217, wrong=208159, backtracks=11734, failedAssignments=206398, nogoods=19931, foundSolutions=8, bestBound=135
484.81/481.61
485.22/482.07 num=344, depth=4..8, filters=2601318, revisions=(3601254,useless=648592), ccks=4745437183, wck=479.88, mem=101M7
485.22/482.07 decisions=418518, wrong=208306, backtracks=11745, failedAssignments=206542, nogoods=19996, foundSolutions=8, bestBound=135
485.22/482.07
486.01/482.80 num=345, depth=2..4, filters=2604726, revisions=(3606287,useless=649559), ccks=4752462968, wck=480.619, mem=105M159
486.01/482.80 decisions=418841, wrong=208466, backtracks=11760, failedAssignments=206700, nogoods=20016, foundSolutions=8, bestBound=135
486.01/482.80
486.22/483.09 num=346, depth=2..9, filters=2606909, revisions=(3609385,useless=650222), ccks=4755141512, wck=480.907, mem=107M235
486.22/483.09 decisions=419200, wrong=208642, backtracks=11769, failedAssignments=206874, nogoods=20126, foundSolutions=8, bestBound=135
486.22/483.09
487.32/484.13 num=347, depth=1..5, filters=2613720, revisions=(3619919,useless=652291), ccks=4762586691, wck=481.939, mem=113M464
487.32/484.13 decisions=419610, wrong=208846, backtracks=11831, failedAssignments=207065, nogoods=20129, foundSolutions=8, bestBound=135
487.32/484.13
488.71/485.59 num=348, depth=1..4, filters=2619912, revisions=(3629020,useless=654255), ccks=4776255824, wck=483.405, mem=117M616
488.71/485.59 decisions=420065, wrong=209072, backtracks=11873, failedAssignments=207276, nogoods=20144, foundSolutions=8, bestBound=135
488.71/485.59
489.71/486.54 num=349, depth=0..8, filters=2623698, revisions=(3634504,useless=655472), ccks=4785910050, wck=484.352, mem=121M768
489.71/486.54 decisions=420540, wrong=209306, backtracks=11893, failedAssignments=207508, nogoods=20246, foundSolutions=8, bestBound=135
489.71/486.54
490.81/487.69 num=350, depth=1..4, filters=2629749, revisions=(3643904,useless=657090), ccks=4795696662, wck=485.499, mem=26M343
490.81/487.69 decisions=421066, wrong=209567, backtracks=11932, failedAssignments=207763, nogoods=20269, foundSolutions=8, bestBound=135
490.81/487.69
491.23/488.07 num=351, depth=4..8, filters=2635141, revisions=(3651498,useless=658958), ccks=4799043356, wck=485.883, mem=28M388
491.23/488.07 decisions=421637, wrong=209849, backtracks=11965, failedAssignments=208044, nogoods=20360, foundSolutions=8, bestBound=135
491.23/488.07
492.42/489.20 num=352, depth=1..9, filters=2641671, revisions=(3661504,useless=661120), ccks=4808687626, wck=487.017, mem=36M567
492.42/489.20 decisions=422266, wrong=210159, backtracks=11996, failedAssignments=208353, nogoods=20478, foundSolutions=8, bestBound=135
492.42/489.20
493.23/490.03 num=353, depth=2..4, filters=2649071, revisions=(3672834,useless=663174), ccks=4815067568, wck=487.84, mem=44M745
493.23/490.03 decisions=422961, wrong=210505, backtracks=12030, failedAssignments=208693, nogoods=20488, foundSolutions=8, bestBound=135
493.23/490.03
493.52/490.33 num=354, depth=3..7, filters=2651272, revisions=(3675801,useless=663862), ccks=4817634653, wck=488.141, mem=46M790
493.52/490.33 decisions=423713, wrong=210879, backtracks=12040, failedAssignments=209067, nogoods=20545, foundSolutions=8, bestBound=135
493.52/490.33
495.23/492.01 num=355, depth=1..5, filters=2664052, revisions=(3695150,useless=667671), ccks=4829769684, wck=489.824, mem=59M58
495.23/492.01 decisions=424580, wrong=211310, backtracks=12128, failedAssignments=209478, nogoods=20559, foundSolutions=8, bestBound=135
495.23/492.01
495.82/492.66 num=356, depth=1..4, filters=2667578, revisions=(3700300,useless=668620), ccks=4834580313, wck=490.473, mem=63M147
495.82/492.66 decisions=425494, wrong=211766, backtracks=12153, failedAssignments=209930, nogoods=20619, foundSolutions=8, bestBound=135
495.82/492.66
498.82/495.64 num=357, depth=1..9, filters=2678691, revisions=(3717019,useless=672663), ccks=4863761906, wck=493.455, mem=75M415
498.82/495.64 decisions=426520, wrong=212275, backtracks=12239, failedAssignments=210427, nogoods=20699, foundSolutions=8, bestBound=135
498.82/495.64
500.72/497.56 num=358, depth=1..8, filters=2687611, revisions=(3730223,useless=675604), ccks=4881382155, wck=495.371, mem=85M638
500.72/497.56 decisions=427635, wrong=212829, backtracks=12292, failedAssignments=210974, nogoods=20854, foundSolutions=8, bestBound=135
500.72/497.56
503.12/499.90 num=359, depth=1..5, filters=2704802, revisions=(3756850,useless=680161), ccks=4898807768, wck=497.717, mem=101M996
503.12/499.90 decisions=428863, wrong=213441, backtracks=12401, failedAssignments=211576, nogoods=20864, foundSolutions=8, bestBound=135
503.12/499.90
506.12/502.91 num=360, depth=1..7, filters=2724459, revisions=(3785185,useless=686039), ccks=4925891651, wck=500.727, mem=118M353
506.12/502.91 decisions=430242, wrong=214127, backtracks=12516, failedAssignments=212238, nogoods=20964, foundSolutions=8, bestBound=135
506.12/502.91
508.03/504.82 num=361, depth=0..8, filters=2736398, revisions=(3803134,useless=689929), ccks=4941585017, wck=502.638, mem=26M394
508.03/504.82 decisions=431773, wrong=214890, backtracks=12609, failedAssignments=212966, nogoods=21124, foundSolutions=8, bestBound=135
508.03/504.82
510.24/507.09 num=362, depth=2..5, filters=2756027, revisions=(3832967,useless=694937), ccks=4958730979, wck=504.909, mem=46M526
510.24/507.09 decisions=433412, wrong=215708, backtracks=12705, failedAssignments=213767, nogoods=21156, foundSolutions=8, bestBound=135
510.24/507.09
512.73/509.57 num=363, depth=0..8, filters=2773955, revisions=(3857824,useless=699486), ccks=4981861939, wck=507.381, mem=60M619
512.73/509.57 decisions=435224, wrong=216610, backtracks=12821, failedAssignments=214648, nogoods=21256, foundSolutions=8, bestBound=135
512.73/509.57
518.34/515.17 num=364, depth=1..4, filters=2802255, revisions=(3899760,useless=707114), ccks=5031794093, wck=512.981, mem=86M790
518.34/515.17 decisions=437238, wrong=217616, backtracks=12989, failedAssignments=215618, nogoods=21286, foundSolutions=8, bestBound=135
518.34/515.17
519.43/516.28 num=365, depth=4..8, filters=2815197, revisions=(3916960,useless=710125), ccks=5041659384, wck=514.098, mem=94M843
519.43/516.28 decisions=439384, wrong=218685, backtracks=13069, failedAssignments=216685, nogoods=21353, foundSolutions=8, bestBound=135
519.43/516.28
525.13/521.98 num=366, depth=0..6, filters=2843396, revisions=(3958552,useless=717895), ccks=5092656732, wck=519.792, mem=121M15
525.13/521.98 decisions=441804, wrong=219892, backtracks=13250, failedAssignments=217858, nogoods=21369, foundSolutions=8, bestBound=135
525.13/521.98
531.14/527.95 num=367, depth=1..4, filters=2874487, revisions=(4002962,useless=725038), ccks=5149610657, wck=525.765, mem=48M353
531.14/527.95 decisions=444465, wrong=221221, backtracks=13369, failedAssignments=219149, nogoods=21401, foundSolutions=8, bestBound=135
531.14/527.95
532.25/529.03 num=368, depth=2..9, filters=2884336, revisions=(4016252,useless=727672), ccks=5157113852, wck=526.846, mem=56M322
532.25/529.03 decisions=447313, wrong=222643, backtracks=13431, failedAssignments=220569, nogoods=21421, foundSolutions=8, bestBound=135
532.25/529.03
537.64/534.40 num=369, depth=1..10, filters=2914723, revisions=(4061326,useless=736340), ccks=5204740224, wck=532.215, mem=86M206
537.64/534.40 decisions=450514, wrong=224239, backtracks=13614, failedAssignments=222131, nogoods=21515, foundSolutions=8, bestBound=135
537.64/534.40
544.35/541.16 num=370, depth=0..9, filters=2958049, revisions=(4124586,useless=748135), ccks=5263615944, wck=538.978, mem=124M59
544.35/541.16 decisions=454068, wrong=226013, backtracks=13865, failedAssignments=223849, nogoods=21572, foundSolutions=8, bestBound=135
544.35/541.16
552.26/549.04 num=371, depth=1..4, filters=3003939, revisions=(4193419,useless=759948), ccks=5332305935, wck=546.852, mem=71M790
552.26/549.04 decisions=457974, wrong=227964, backtracks=14135, failedAssignments=225739, nogoods=21628, foundSolutions=8, bestBound=135
552.26/549.04
563.05/559.86 num=372, depth=0..8, filters=3055250, revisions=(4266970,useless=772759), ccks=5437609854, wck=557.676, mem=113M187
563.05/559.86 decisions=462305, wrong=230126, backtracks=14416, failedAssignments=227818, nogoods=21689, foundSolutions=8, bestBound=135
563.05/559.86
572.66/569.49 num=373, depth=1..6, filters=3097039, revisions=(4326575,useless=782546), ccks=5530739822, wck=567.304, mem=51M816
572.66/569.49 decisions=467065, wrong=232504, backtracks=14642, failedAssignments=230105, nogoods=21711, foundSolutions=8, bestBound=135
572.66/569.49
574.06/570.83 num=374, depth=3..9, filters=3131023, revisions=(4368302,useless=788858), ccks=5541781559, wck=568.646, mem=65M469
574.06/570.83 decisions=472128, wrong=235032, backtracks=14758, failedAssignments=232621, nogoods=21838, foundSolutions=8, bestBound=135
574.06/570.83
584.29/581.01 num=375, depth=1..6, filters=3200804, revisions=(4474533,useless=808718), ccks=5624156010, wck=578.825, mem=38M50
584.29/581.01 decisions=477796, wrong=237864, backtracks=15192, failedAssignments=235389, nogoods=21934, foundSolutions=8, bestBound=135
584.29/581.01
590.18/586.94 num=376, depth=0..9, filters=3234865, revisions=(4522387,useless=818368), ccks=5676134398, wck=584.758, mem=68M920
590.18/586.94 decisions=483955, wrong=240941, backtracks=15402, failedAssignments=238433, nogoods=21952, foundSolutions=8, bestBound=135
590.18/586.94
599.99/596.74 num=377, depth=0..7, filters=3308229, revisions=(4628473,useless=840501), ccks=5762773856, wck=594.555, mem=37M936
599.99/596.74 decisions=490775, wrong=244348, backtracks=15800, failedAssignments=241782, nogoods=22096, foundSolutions=8, bestBound=135
599.99/596.74
617.41/614.12 num=378, depth=0..7, filters=3373320, revisions=(4722432,useless=859133), ccks=5935649367, wck=611.938, mem=99M5
617.41/614.12 decisions=498381, wrong=248150, backtracks=16169, failedAssignments=245466, nogoods=22126, foundSolutions=8, bestBound=135
617.41/614.12
619.20/615.93 num=379, depth=2..10, filters=3389517, revisions=(4743013,useless=862661), ccks=5947145167, wck=613.744, mem=108M547
619.20/615.93 decisions=506504, wrong=252208, backtracks=16252, failedAssignments=249518, nogoods=22192, foundSolutions=8, bestBound=135
619.20/615.93
640.01/636.74 num=380, depth=0..8, filters=3504308, revisions=(4912887,useless=893803), ccks=6135487701, wck=634.555, mem=119M30
640.01/636.74 decisions=515711, wrong=256809, backtracks=16937, failedAssignments=253975, nogoods=22337, foundSolutions=8, bestBound=135
640.01/636.74
657.22/653.90 num=381, depth=0..7, filters=3601698, revisions=(5055887,useless=921050), ccks=6284013220, wck=651.714, mem=108M674
657.22/653.90 decisions=525824, wrong=261864, backtracks=17527, failedAssignments=258878, nogoods=22376, foundSolutions=8, bestBound=135
657.22/653.90
660.22/656.97 num=382, depth=3..10, filters=3642445, revisions=(5108363,useless=930016), ccks=6307913479, wck=654.779, mem=37M627
660.22/656.97 decisions=536671, wrong=267283, backtracks=17741, failedAssignments=264272, nogoods=22551, foundSolutions=8, bestBound=135
660.22/656.97
676.75/673.46 num=383, depth=0..9, filters=3745425, revisions=(5252800,useless=955776), ccks=6459984770, wck=671.271, mem=33M839
676.75/673.46 decisions=548761, wrong=273324, backtracks=18173, failedAssignments=270205, nogoods=22663, foundSolutions=8, bestBound=135
676.75/673.46
695.06/691.72 num=384, depth=1..10, filters=3859029, revisions=(5411266,useless=984322), ccks=6629433496, wck=689.529, mem=35M566
695.06/691.72 decisions=562055, wrong=279967, backtracks=18728, failedAssignments=276731, nogoods=22784, foundSolutions=8, bestBound=135
695.06/691.72
732.48/729.11 num=385, depth=1..5, filters=4052606, revisions=(5692748,useless=1028487), ccks=6982523140, wck=726.92, mem=110M323
732.48/729.11 decisions=576976, wrong=287426, backtracks=19622, failedAssignments=283910, nogoods=22827, foundSolutions=8, bestBound=135
732.48/729.11
741.39/738.09 num=386, depth=0..10, filters=4150284, revisions=(5820312,useless=1050300), ccks=7064369007, wck=735.901, mem=84M699
741.39/738.09 decisions=592851, wrong=295359, backtracks=19992, failedAssignments=291807, nogoods=22989, foundSolutions=8, bestBound=135
741.39/738.09
753.79/750.46 num=387, depth=1..14, filters=4225555, revisions=(5925894,useless=1070808), ccks=7170893044, wck=748.278, mem=64M869
753.79/750.46 decisions=610364, wrong=304109, backtracks=20348, failedAssignments=300494, nogoods=23235, foundSolutions=8, bestBound=135
753.79/750.46
796.71/793.36 num=388, depth=0..10, filters=4446980, revisions=(6255358,useless=1128751), ccks=7565029525, wck=791.169, mem=106M504
796.71/793.36 decisions=629928, wrong=313888, backtracks=21503, failedAssignments=310049, nogoods=23390, foundSolutions=8, bestBound=135
796.71/793.36
811.92/808.58 num=389, depth=1..11, filters=4545145, revisions=(6394168,useless=1157782), ccks=7695907019, wck=806.391, mem=107M209
811.92/808.58 decisions=651053, wrong=324447, backtracks=22101, failedAssignments=320560, nogoods=23497, foundSolutions=8, bestBound=135
811.92/808.58
832.74/829.31 num=390, depth=0..11, filters=4724527, revisions=(6635929,useless=1204381), ccks=7892465773, wck=827.119, mem=64M270
832.74/829.31 decisions=674398, wrong=336115, backtracks=22913, failedAssignments=332122, nogoods=23672, foundSolutions=8, bestBound=135
832.74/829.31
857.77/854.37 num=391, depth=0..10, filters=4933739, revisions=(6927797,useless=1260165), ccks=8109165221, wck=852.18, mem=64M931
857.77/854.37 decisions=700266, wrong=349045, backtracks=24045, failedAssignments=344840, nogoods=23859, foundSolutions=8, bestBound=135
857.77/854.37
886.59/883.16 num=392, depth=0..9, filters=5071702, revisions=(7120908,useless=1301030), ccks=8387419884, wck=880.97, mem=32M990
886.59/883.16 decisions=728470, wrong=363145, backtracks=24804, failedAssignments=358830, nogoods=24105, foundSolutions=8, bestBound=135
886.59/883.16
903.00/899.57 num=393, depth=0..11, filters=5295245, revisions=(7421021,useless=1356436), ccks=8535674517, wck=897.382, mem=50M22
903.00/899.57 decisions=759333, wrong=378573, backtracks=25443, failedAssignments=374219, nogoods=24344, foundSolutions=8, bestBound=135
903.00/899.57
972.74/969.29 num=394, depth=0..10, filters=5735981, revisions=(8041382,useless=1452901), ccks=9176617273, wck=967.108, mem=66M99
972.74/969.29 decisions=794552, wrong=396179, backtracks=27523, failedAssignments=391147, nogoods=24446, foundSolutions=8, bestBound=135
972.74/969.29
989.47/985.96 o 131
989.47/985.97 num=395, depth=1..90, filters=5937786, revisions=(8297647,useless=1491423), ccks=9323226023, wck=983.779, mem=38M773
989.47/985.97 decisions=827982, wrong=412887, backtracks=28045, failedAssignments=407764, nogoods=24754, foundSolutions=9, bestBound=131
989.47/985.97
1002.47/998.97 num=396, depth=1..18, filters=6021556, revisions=(8410558,useless=1512990), ccks=9411361776, wck=996.78, mem=26M924
1002.47/998.97 decisions=869053, wrong=433415, backtracks=28611, failedAssignments=428248, nogoods=25099, foundSolutions=9, bestBound=131
1002.47/998.97
1002.59/999.06 num=397, depth=3..5, filters=6022073, revisions=(8411342,useless=1513174), ccks=9412008439, wck=996.869, mem=26M924
1002.59/999.06 decisions=869080, wrong=433427, backtracks=28616, failedAssignments=428259, nogoods=25104, foundSolutions=9, bestBound=131
1002.59/999.06
1002.69/999.16 num=398, depth=4..5, filters=6022763, revisions=(8412368,useless=1513392), ccks=9412989719, wck=996.978, mem=26M924
1002.69/999.16 decisions=869110, wrong=433440, backtracks=28621, failedAssignments=428271, nogoods=25112, foundSolutions=9, bestBound=131
1002.69/999.16
1002.88/999.32 num=399, depth=2..4, filters=6023615, revisions=(8413583,useless=1513637), ccks=9414373358, wck=997.138, mem=28M403
1002.88/999.32 decisions=869145, wrong=433456, backtracks=28627, failedAssignments=428284, nogoods=25115, foundSolutions=9, bestBound=131
1002.88/999.32
1002.98/999.49 num=400, depth=1..4, filters=6023958, revisions=(8414105,useless=1513782), ccks=9416069801, wck=997.301, mem=28M403
1002.98/999.49 decisions=869176, wrong=433470, backtracks=28629, failedAssignments=428298, nogoods=25119, foundSolutions=9, bestBound=131
1002.98/999.49
1003.18/999.63 num=401, depth=2..4, filters=6024851, revisions=(8415509,useless=1514126), ccks=9417111368, wck=997.444, mem=28M403
1003.18/999.63 decisions=869211, wrong=433486, backtracks=28636, failedAssignments=428314, nogoods=25127, foundSolutions=9, bestBound=131
1003.18/999.63
1003.38/999.86 num=402, depth=2..5, filters=6025465, revisions=(8416428,useless=1514362), ccks=9419475909, wck=997.672, mem=29M881
1003.38/999.86 decisions=869252, wrong=433505, backtracks=28638, failedAssignments=428331, nogoods=25141, foundSolutions=9, bestBound=131
1003.38/999.86
1003.48/1000.00 num=403, depth=2..3, filters=6026329, revisions=(8417754,useless=1514634), ccks=9420560274, wck=997.818, mem=29M881
1003.48/1000.00 decisions=869293, wrong=433524, backtracks=28644, failedAssignments=428350, nogoods=25148, foundSolutions=9, bestBound=131
1003.48/1000.00
1003.78/1000.27 num=404, depth=1..4, filters=6027209, revisions=(8419068,useless=1514981), ccks=9423076935, wck=998.082, mem=31M360
1003.78/1000.27 decisions=869345, wrong=433549, backtracks=28655, failedAssignments=428371, nogoods=25158, foundSolutions=9, bestBound=131
1003.78/1000.27
1003.98/1000.43 num=405, depth=2..4, filters=6027879, revisions=(8420092,useless=1515197), ccks=9424625254, wck=998.248, mem=31M360
1003.98/1000.43 decisions=869395, wrong=433572, backtracks=28659, failedAssignments=428394, nogoods=25165, foundSolutions=9, bestBound=131
1003.98/1000.43
1004.18/1000.61 num=406, depth=2..4, filters=6028867, revisions=(8421623,useless=1515535), ccks=9425950469, wck=998.419, mem=32M838
1004.18/1000.61 decisions=869447, wrong=433597, backtracks=28668, failedAssignments=428419, nogoods=25173, foundSolutions=9, bestBound=131
1004.18/1000.61
1004.28/1000.77 num=407, depth=3..6, filters=6029805, revisions=(8422957,useless=1515796), ccks=9427401708, wck=998.579, mem=34M317
1004.28/1000.77 decisions=869511, wrong=433626, backtracks=28674, failedAssignments=428447, nogoods=25185, foundSolutions=9, bestBound=131
1004.28/1000.77
1004.59/1001.08 num=408, depth=1..4, filters=6030624, revisions=(8424200,useless=1516122), ccks=9430728901, wck=998.896, mem=34M317
1004.59/1001.08 decisions=869576, wrong=433657, backtracks=28678, failedAssignments=428478, nogoods=25205, foundSolutions=9, bestBound=131
1004.59/1001.08
1004.78/1001.29 num=409, depth=1..3, filters=6031747, revisions=(8426020,useless=1516541), ccks=9432335842, wck=999.108, mem=35M795
1004.78/1001.29 decisions=869648, wrong=433692, backtracks=28693, failedAssignments=428512, nogoods=25208, foundSolutions=9, bestBound=131
1004.78/1001.29
1005.08/1001.53 num=410, depth=1..4, filters=6033106, revisions=(8428067,useless=1516916), ccks=9434178125, wck=999.343, mem=37M274
1005.08/1001.53 decisions=869729, wrong=433731, backtracks=28703, failedAssignments=428549, nogoods=25219, foundSolutions=9, bestBound=131
1005.08/1001.53
1005.38/1001.84 num=411, depth=1..5, filters=6034197, revisions=(8429717,useless=1517352), ccks=9437338214, wck=999.657, mem=38M752
1005.38/1001.84 decisions=869818, wrong=433773, backtracks=28710, failedAssignments=428590, nogoods=25245, foundSolutions=9, bestBound=131
1005.38/1001.84
1005.69/1002.12 num=412, depth=2..4, filters=6035776, revisions=(8432193,useless=1517871), ccks=9439444203, wck=999.931, mem=40M230
1005.69/1002.12 decisions=869912, wrong=433819, backtracks=28726, failedAssignments=428635, nogoods=25267, foundSolutions=9, bestBound=131
1005.69/1002.12
1005.88/1002.33 num=413, depth=3..6, filters=6037418, revisions=(8434531,useless=1518305), ccks=9441262756, wck=1000.141, mem=41M709
1005.88/1002.33 decisions=870022, wrong=433871, backtracks=28736, failedAssignments=428685, nogoods=25282, foundSolutions=9, bestBound=131
1005.88/1002.33
1006.18/1002.64 num=414, depth=1..4, filters=6039380, revisions=(8437549,useless=1518904), ccks=9443615543, wck=1000.455, mem=43M187
1006.18/1002.64 decisions=870138, wrong=433928, backtracks=28753, failedAssignments=428740, nogoods=25292, foundSolutions=9, bestBound=131
1006.18/1002.64
1006.78/1003.26 num=415, depth=2..5, filters=6042344, revisions=(8441947,useless=1520006), ccks=9449385941, wck=1001.077, mem=44M666
1006.78/1003.26 decisions=870289, wrong=434002, backtracks=28783, failedAssignments=428801, nogoods=25308, foundSolutions=9, bestBound=131
1006.78/1003.26
1006.98/1003.46 num=416, depth=3..4, filters=6044269, revisions=(8444783,useless=1520575), ccks=9450966935, wck=1001.273, mem=46M144
1006.98/1003.46 decisions=870427, wrong=434069, backtracks=28789, failedAssignments=428868, nogoods=25315, foundSolutions=9, bestBound=131
1006.98/1003.46
1007.59/1004.09 num=417, depth=2..4, filters=6046547, revisions=(8448018,useless=1521254), ccks=9457411250, wck=1001.907, mem=49M101
1007.59/1004.09 decisions=870593, wrong=434150, backtracks=28800, failedAssignments=428942, nogoods=25327, foundSolutions=9, bestBound=131
1007.59/1004.09
1008.08/1004.50 num=418, depth=1..4, filters=6049123, revisions=(8451799,useless=1521950), ccks=9460704583, wck=1002.314, mem=50M580
1008.08/1004.50 decisions=870762, wrong=434233, backtracks=28811, failedAssignments=429023, nogoods=25349, foundSolutions=9, bestBound=131
1008.08/1004.50
1008.48/1004.96 num=419, depth=4..6, filters=6051283, revisions=(8454870,useless=1522626), ccks=9465393589, wck=1002.772, mem=53M537
1008.48/1004.96 decisions=870950, wrong=434324, backtracks=28818, failedAssignments=429112, nogoods=25394, foundSolutions=9, bestBound=131
1008.48/1004.96
1008.98/1005.46 num=420, depth=1..4, filters=6054874, revisions=(8460622,useless=1524043), ccks=9468698954, wck=1003.269, mem=56M494
1008.98/1005.46 decisions=871157, wrong=434426, backtracks=28858, failedAssignments=429210, nogoods=25405, foundSolutions=9, bestBound=131
1008.98/1005.46
1009.88/1006.32 num=421, depth=2..4, filters=6057970, revisions=(8465103,useless=1524998), ccks=9477405579, wck=1004.129, mem=59M451
1009.88/1006.32 decisions=871397, wrong=434544, backtracks=28875, failedAssignments=429318, nogoods=25422, foundSolutions=9, bestBound=131
1009.88/1006.32
1010.38/1006.83 num=422, depth=2..4, filters=6062973, revisions=(8472582,useless=1526394), ccks=9480732036, wck=1004.645, mem=62M408
1010.38/1006.83 decisions=871652, wrong=434670, backtracks=28909, failedAssignments=429437, nogoods=25435, foundSolutions=9, bestBound=131
1010.38/1006.83
1011.38/1007.81 num=423, depth=2..5, filters=6068841, revisions=(8481223,useless=1528258), ccks=9489077437, wck=1005.623, mem=66M843
1011.38/1007.81 decisions=871956, wrong=434820, backtracks=28952, failedAssignments=429568, nogoods=25448, foundSolutions=9, bestBound=131
1011.38/1007.81
1012.28/1008.76 num=424, depth=1..5, filters=6075224, revisions=(8490827,useless=1530128), ccks=9496779565, wck=1006.574, mem=71M279
1012.28/1008.76 decisions=872272, wrong=434976, backtracks=28993, failedAssignments=429712, nogoods=25459, foundSolutions=9, bestBound=131
1012.28/1008.76
1012.59/1009.08 num=425, depth=4..8, filters=6078706, revisions=(8495444,useless=1531084), ccks=9499813510, wck=1006.89, mem=72M757
1012.59/1009.08 decisions=872594, wrong=435134, backtracks=29006, failedAssignments=429870, nogoods=25535, foundSolutions=9, bestBound=131
1012.59/1009.08
1013.48/1009.95 num=426, depth=1..4, filters=6083974, revisions=(8503522,useless=1532771), ccks=9506902105, wck=1007.768, mem=78M671
1013.48/1009.95 decisions=872953, wrong=435312, backtracks=29044, failedAssignments=430044, nogoods=25556, foundSolutions=9, bestBound=131
1013.48/1009.95
1014.08/1010.52 num=427, depth=2..11, filters=6088182, revisions=(8509445,useless=1533976), ccks=9511939826, wck=1008.333, mem=81M628
1014.08/1010.52 decisions=873351, wrong=435506, backtracks=29067, failedAssignments=430235, nogoods=25592, foundSolutions=9, bestBound=131
1014.08/1010.52
1014.88/1011.32 num=428, depth=1..4, filters=6090978, revisions=(8513501,useless=1534677), ccks=9519328750, wck=1009.13, mem=84M585
1014.88/1011.32 decisions=873776, wrong=435717, backtracks=29092, failedAssignments=430446, nogoods=25735, foundSolutions=9, bestBound=131
1014.88/1011.32
1015.69/1012.15 num=429, depth=2..7, filters=6097469, revisions=(8522840,useless=1536915), ccks=9527197555, wck=1009.968, mem=90M499
1015.69/1012.15 decisions=874252, wrong=435952, backtracks=29133, failedAssignments=430678, nogoods=25805, foundSolutions=9, bestBound=131
1015.69/1012.15
1016.38/1012.87 num=430, depth=1..4, filters=6102823, revisions=(8531063,useless=1538387), ccks=9533117772, wck=1010.687, mem=96M413
1016.38/1012.87 decisions=874777, wrong=436213, backtracks=29158, failedAssignments=430933, nogoods=25812, foundSolutions=9, bestBound=131
1016.38/1012.87
1017.60/1014.07 num=431, depth=1..4, filters=6110072, revisions=(8541751,useless=1540359), ccks=9543074718, wck=1011.883, mem=28M480
1017.60/1014.07 decisions=875355, wrong=436500, backtracks=29201, failedAssignments=431214, nogoods=25829, foundSolutions=9, bestBound=131
1017.60/1014.07
1018.89/1015.36 num=432, depth=1..7, filters=6118276, revisions=(8553722,useless=1542922), ccks=9554834894, wck=1013.177, mem=37M288
1018.89/1015.36 decisions=875997, wrong=436818, backtracks=29247, failedAssignments=431523, nogoods=25949, foundSolutions=9, bestBound=131
1018.89/1015.36
1019.99/1016.43 num=433, depth=1..4, filters=6124959, revisions=(8563527,useless=1544605), ccks=9563694252, wck=1014.24, mem=43M160
1019.99/1016.43 decisions=876682, wrong=437159, backtracks=29279, failedAssignments=431863, nogoods=25969, foundSolutions=9, bestBound=131
1019.99/1016.43
1020.70/1017.19 num=434, depth=2..8, filters=6130881, revisions=(8571771,useless=1546305), ccks=9570655712, wck=1015.009, mem=49M32
1020.70/1017.19 decisions=877445, wrong=437538, backtracks=29314, failedAssignments=432237, nogoods=26070, foundSolutions=9, bestBound=131
1020.70/1017.19
1022.39/1018.85 num=435, depth=1..5, filters=6142142, revisions=(8588678,useless=1549544), ccks=9583674005, wck=1016.66, mem=59M308
1022.39/1018.85 decisions=878305, wrong=437967, backtracks=29404, failedAssignments=432648, nogoods=26089, foundSolutions=9, bestBound=131
1022.39/1018.85
1025.90/1022.31 num=436, depth=1..5, filters=6154921, revisions=(8607001,useless=1553468), ccks=9618449966, wck=1020.124, mem=69M584
1025.90/1022.31 decisions=879278, wrong=438452, backtracks=29479, failedAssignments=433100, nogoods=26123, foundSolutions=9, bestBound=131
1025.90/1022.31
1027.90/1024.33 num=437, depth=1..7, filters=6170850, revisions=(8630606,useless=1557807), ccks=9633673902, wck=1022.14, mem=79M860
1027.90/1024.33 decisions=880321, wrong=438970, backtracks=29586, failedAssignments=433597, nogoods=26257, foundSolutions=9, bestBound=131
1027.90/1024.33
1028.10/1024.58 num=438, depth=1..5, filters=6172328, revisions=(8632512,useless=1558165), ccks=9634844238, wck=1022.398, mem=81M328
1028.10/1024.58 decisions=881417, wrong=439517, backtracks=29592, failedAssignments=434144, nogoods=26334, foundSolutions=9, bestBound=131
1028.10/1024.58
1030.20/1026.61 num=439, depth=1..5, filters=6184776, revisions=(8650987,useless=1561192), ccks=9653092252, wck=1024.424, mem=93M72
1030.20/1026.61 decisions=882655, wrong=440134, backtracks=29655, failedAssignments=434746, nogoods=26373, foundSolutions=9, bestBound=131
1030.20/1026.61
1032.30/1028.73 num=440, depth=1..7, filters=6194516, revisions=(8664614,useless=1564091), ccks=9673478829, wck=1026.548, mem=28M557
1032.30/1028.73 decisions=884009, wrong=440809, backtracks=29705, failedAssignments=435408, nogoods=26490, foundSolutions=9, bestBound=131
1032.30/1028.73
1035.61/1032.09 num=441, depth=1..7, filters=6211609, revisions=(8688989,useless=1568248), ccks=9706271557, wck=1029.905, mem=43M132
1035.61/1032.09 decisions=885548, wrong=441575, backtracks=29792, failedAssignments=436136, nogoods=26538, foundSolutions=9, bestBound=131
1035.61/1032.09
1036.90/1033.31 num=442, depth=0..7, filters=6219166, revisions=(8700188,useless=1570631), ccks=9715350594, wck=1031.123, mem=48M962
1036.90/1033.31 decisions=887179, wrong=442389, backtracks=29861, failedAssignments=436937, nogoods=26667, foundSolutions=9, bestBound=131
1036.90/1033.31
1040.30/1036.73 num=443, depth=1..7, filters=6243310, revisions=(8737167,useless=1577861), ccks=9742700094, wck=1034.543, mem=73M740
1040.30/1036.73 decisions=889003, wrong=443298, backtracks=30024, failedAssignments=437818, nogoods=26724, foundSolutions=9, bestBound=131
1040.30/1036.73
1043.91/1040.30 num=444, depth=0..4, filters=6270559, revisions=(8778753,useless=1585725), ccks=9768721223, wck=1038.111, mem=27M122
1043.91/1040.30 decisions=891012, wrong=444301, backtracks=30211, failedAssignments=438788, nogoods=26746, foundSolutions=9, bestBound=131
1043.91/1040.30
1046.31/1042.72 num=445, depth=2..8, filters=6293109, revisions=(8809164,useless=1591105), ccks=9791399815, wck=1040.536, mem=43M39
1046.31/1042.72 decisions=893174, wrong=445379, backtracks=30296, failedAssignments=439855, nogoods=26807, foundSolutions=9, bestBound=131
1046.31/1042.72
1049.81/1046.21 num=446, depth=1..5, filters=6320900, revisions=(8851511,useless=1598763), ccks=9819112488, wck=1044.022, mem=74M874
1049.81/1046.21 decisions=895567, wrong=446574, backtracks=30423, failedAssignments=441028, nogoods=26852, foundSolutions=9, bestBound=131
1049.81/1046.21
1052.72/1049.14 num=447, depth=1..8, filters=6346416, revisions=(8889098,useless=1606288), ccks=9843210550, wck=1046.958, mem=95M132
1052.72/1049.14 decisions=898203, wrong=447889, backtracks=30583, failedAssignments=442319, nogoods=26973, foundSolutions=9, bestBound=131
1052.72/1049.14
1057.32/1053.73 num=448, depth=1..4, filters=6387484, revisions=(8950719,useless=1617925), ccks=9875747270, wck=1051.545, mem=60M185
1057.32/1053.73 decisions=901151, wrong=449362, backtracks=30823, failedAssignments=443739, nogoods=26993, foundSolutions=9, bestBound=131
1057.32/1053.73
1062.32/1058.77 num=449, depth=1..4, filters=6418110, revisions=(8995846,useless=1626301), ccks=9919747725, wck=1056.583, mem=90M352
1062.32/1058.77 decisions=904319, wrong=450945, backtracks=30992, failedAssignments=445301, nogoods=27027, foundSolutions=9, bestBound=131
1062.32/1058.77
1069.53/1065.92 num=450, depth=1..7, filters=6458795, revisions=(9054075,useless=1636865), ccks=9984445582, wck=1063.73, mem=47M107
1069.53/1065.92 decisions=907932, wrong=452750, backtracks=31230, failedAssignments=447019, nogoods=27083, foundSolutions=9, bestBound=131
1069.53/1065.92
1078.13/1074.55 num=451, depth=1..6, filters=6501146, revisions=(9115506,useless=1648071), ccks=10064663216, wck=1072.367, mem=85M610
1078.13/1074.55 decisions=911816, wrong=454690, backtracks=31464, failedAssignments=448909, nogoods=27132, foundSolutions=9, bestBound=131
1078.13/1074.55
1081.75/1078.17 num=452, depth=2..9, filters=6528563, revisions=(9152809,useless=1654201), ccks=10100236243, wck=1075.982, mem=38M456
1081.75/1078.17 decisions=915992, wrong=456774, backtracks=31539, failedAssignments=450988, nogoods=27235, foundSolutions=9, bestBound=131
1081.75/1078.17
1085.84/1082.24 num=453, depth=1..9, filters=6552428, revisions=(9186419,useless=1661284), ccks=10135333936, wck=1080.05, mem=58M274
1085.84/1082.24 decisions=920600, wrong=459074, backtracks=31684, failedAssignments=453275, nogoods=27304, foundSolutions=9, bestBound=131
1085.84/1082.24
1095.55/1091.94 num=454, depth=0..4, filters=6611429, revisions=(9272127,useless=1676015), ccks=10224690473, wck=1089.756, mem=42M651
1095.55/1091.94 decisions=925809, wrong=461677, backtracks=31937, failedAssignments=455791, nogoods=27328, foundSolutions=9, bestBound=131
1095.55/1091.94
1100.55/1096.95 num=455, depth=4..9, filters=6661218, revisions=(9340966,useless=1689849), ccks=10272089982, wck=1094.76, mem=79M183
1100.55/1096.95 decisions=931368, wrong=464453, backtracks=32159, failedAssignments=458559, nogoods=27469, foundSolutions=9, bestBound=131
1100.55/1096.95
1109.67/1106.04 num=456, depth=0..7, filters=6706957, revisions=(9407721,useless=1703605), ccks=10352253929, wck=1103.849, mem=49M498
1109.67/1106.04 decisions=937556, wrong=467545, backtracks=32502, failedAssignments=461603, nogoods=27502, foundSolutions=9, bestBound=131
1109.67/1106.04
1112.86/1109.29 num=457, depth=2..9, filters=6746246, revisions=(9462100,useless=1715726), ccks=10380092518, wck=1107.101, mem=77M390
1112.86/1109.29 decisions=944274, wrong=470901, backtracks=32730, failedAssignments=464952, nogoods=27572, foundSolutions=9, bestBound=131
1112.86/1109.29
1125.69/1122.02 num=458, depth=0..5, filters=6852801, revisions=(9624221,useless=1747166), ccks=10472666073, wck=1119.837, mem=38M169
1125.69/1122.02 decisions=951929, wrong=474727, backtracks=33434, failedAssignments=468636, nogoods=27585, foundSolutions=9, bestBound=131
1125.69/1122.02
1130.18/1126.56 num=459, depth=4..9, filters=6921181, revisions=(9714081,useless=1762889), ccks=10514095682, wck=1124.373, mem=86M246
1130.18/1126.56 decisions=960057, wrong=478787, backtracks=33620, failedAssignments=472688, nogoods=27660, foundSolutions=9, bestBound=131
1130.18/1126.56
1137.29/1133.61 num=460, depth=0..8, filters=6985319, revisions=(9802513,useless=1780806), ccks=10572991281, wck=1131.422, mem=69M459
1137.29/1133.61 decisions=969047, wrong=483279, backtracks=33905, failedAssignments=477145, nogoods=27776, foundSolutions=9, bestBound=131
1137.29/1133.61
1148.81/1145.15 num=461, depth=1..10, filters=7090098, revisions=(9952522,useless=1809227), ccks=10665203801, wck=1142.963, mem=84M36
1148.81/1145.15 decisions=979107, wrong=488305, backtracks=34524, failedAssignments=482048, nogoods=27846, foundSolutions=9, bestBound=131
1148.81/1145.15
1179.52/1175.88 num=462, depth=1..5, filters=7278423, revisions=(10223426,useless=1857595), ccks=10934544794, wck=1173.696, mem=80M471
1179.52/1175.88 decisions=990696, wrong=494098, backtracks=35689, failedAssignments=487442, nogoods=27918, foundSolutions=9, bestBound=131
1179.52/1175.88
1187.03/1183.37 num=463, depth=2..9, filters=7384941, revisions=(10363807,useless=1882554), ccks=11001372087, wck=1181.18, mem=77M431
1187.03/1183.37 decisions=1002792, wrong=500142, backtracks=36179, failedAssignments=493375, nogoods=28058, foundSolutions=9, bestBound=131
1187.03/1183.37
1210.55/1206.81 num=464, depth=1..7, filters=7515948, revisions=(10553003,useless=1916736), ccks=11208312471, wck=1204.628, mem=51M917
1210.55/1206.81 decisions=1016305, wrong=506897, backtracks=36946, failedAssignments=499901, nogoods=28083, foundSolutions=9, bestBound=131
1210.55/1206.81
1217.26/1213.55 num=465, depth=3..13, filters=7600215, revisions=(10666644,useless=1937946), ccks=11268219461, wck=1211.366, mem=51M757
1217.26/1213.55 decisions=1030687, wrong=514084, backtracks=37221, failedAssignments=507080, nogoods=28209, foundSolutions=9, bestBound=131
1217.26/1213.55
1231.57/1227.85 num=466, depth=1..13, filters=7726122, revisions=(10840691,useless=1966445), ccks=11390393057, wck=1225.66, mem=27M271
1231.57/1227.85 decisions=1046660, wrong=522066, backtracks=37745, failedAssignments=514977, nogoods=28385, foundSolutions=9, bestBound=131
1231.57/1227.85
1251.49/1247.75 num=467, depth=1..11, filters=7934212, revisions=(11104437,useless=1994801), ccks=11568877925, wck=1245.56, mem=33M563
1251.49/1247.75 decisions=1064316, wrong=530889, backtracks=38291, failedAssignments=523664, nogoods=28665, foundSolutions=9, bestBound=131
1251.49/1247.75
1274.82/1271.05 num=468, depth=1..13, filters=8096698, revisions=(11337942,useless=2038636), ccks=11773177062, wck=1268.866, mem=56M813
1274.82/1271.05 decisions=1083725, wrong=540589, backtracks=39099, failedAssignments=533219, nogoods=28890, foundSolutions=9, bestBound=131
1274.82/1271.05
1292.32/1288.56 num=469, depth=0..11, filters=8245230, revisions=(11546019,useless=2080559), ccks=11935560302, wck=1286.374, mem=59M971
1292.32/1288.56 decisions=1104837, wrong=551141, backtracks=39741, failedAssignments=543730, nogoods=28944, foundSolutions=9, bestBound=131
1292.32/1288.56
1319.05/1315.21 num=470, depth=0..7, filters=8475167, revisions=(11869481,useless=2144559), ccks=12170362843, wck=1313.026, mem=74M391
1319.05/1315.21 decisions=1128378, wrong=562909, backtracks=40687, failedAssignments=555292, nogoods=29223, foundSolutions=9, bestBound=131
1319.05/1315.21
1355.78/1351.95 num=471, depth=0..12, filters=8710089, revisions=(12194189,useless=2203392), ccks=12515570993, wck=1349.763, mem=75M452
1355.78/1351.95 decisions=1154439, wrong=575935, backtracks=41922, failedAssignments=568010, nogoods=29445, foundSolutions=9, bestBound=131
1355.78/1351.95
1381.01/1377.19 num=472, depth=1..11, filters=8864615, revisions=(12412228,useless=2244065), ccks=12740371345, wck=1375.005, mem=41M965
1381.01/1377.19 decisions=1182677, wrong=590050, backtracks=42679, failedAssignments=582000, nogoods=29598, foundSolutions=9, bestBound=131
1381.01/1377.19
1455.55/1451.62 num=473, depth=1..7, filters=9319035, revisions=(13060922,useless=2344705), ccks=13411397939, wck=1449.434, mem=28M597
1455.55/1451.62 decisions=1215203, wrong=606311, backtracks=44989, failedAssignments=597389, nogoods=29629, foundSolutions=9, bestBound=131
1455.55/1451.62
1477.09/1473.19 num=474, depth=2..10, filters=9588154, revisions=(13420189,useless=2411837), ccks=13610950985, wck=1471.003, mem=67M543
1477.09/1473.19 decisions=1249223, wrong=623317, backtracks=45815, failedAssignments=614317, nogoods=29779, foundSolutions=9, bestBound=131
1477.09/1473.19
1525.93/1521.95 num=475, depth=0..10, filters=9980563, revisions=(13961056,useless=2493939), ccks=14056894848, wck=1519.761, mem=41M647
1525.93/1521.95 decisions=1287148, wrong=642276, backtracks=47174, failedAssignments=632938, nogoods=29968, foundSolutions=9, bestBound=131
1525.93/1521.95
1545.66/1541.66 num=476, depth=1..17, filters=10221585, revisions=(14278621,useless=2543158), ccks=14216746838, wck=1539.47, mem=68M672
1545.66/1541.66 decisions=1328333, wrong=662860, backtracks=47860, failedAssignments=653422, nogoods=30307, foundSolutions=9, bestBound=131
1545.66/1541.66
1603.80/1599.79 num=477, depth=0..9, filters=10707672, revisions=(14946005,useless=2660788), ccks=14743964791, wck=1597.603, mem=80M643
1603.80/1599.79 decisions=1374373, wrong=685877, backtracks=49943, failedAssignments=675954, nogoods=30493, foundSolutions=9, bestBound=131
1603.80/1599.79
1664.68/1660.50 num=478, depth=0..10, filters=11146721, revisions=(15571395,useless=2774253), ccks=15264840190, wck=1658.318, mem=51M523
1664.68/1660.50 decisions=1425043, wrong=711210, backtracks=52124, failedAssignments=700739, nogoods=30521, foundSolutions=9, bestBound=131
1664.68/1660.50
1701.32/1697.19 num=479, depth=1..11, filters=11572552, revisions=(16128544,useless=2864941), ccks=15609149980, wck=1695.005, mem=47M228
1701.32/1697.19 decisions=1479739, wrong=738555, backtracks=53019, failedAssignments=728003, nogoods=30623, foundSolutions=9, bestBound=131
1701.32/1697.19
1835.50/1831.26 num=480, depth=0..10, filters=12402879, revisions=(17314765,useless=3052999), ccks=16818489844, wck=1829.071, mem=27M845
1835.50/1831.26 decisions=1542828, wrong=770095, backtracks=57242, failedAssignments=757993, nogoods=30894, foundSolutions=9, bestBound=131
1835.50/1831.26
1888.04/1883.77 o 130
1888.04/1883.77 num=481, depth=1..90, filters=12756319, revisions=(17828023,useless=3142301), ccks=17266907509, wck=1881.584, mem=28M949
1888.04/1883.77 decisions=1572780, wrong=785060, backtracks=59245, failedAssignments=772381, nogoods=31377, foundSolutions=10, bestBound=130
1888.04/1883.77
1962.11/1957.72 num=482, depth=0..11, filters=13245479, revisions=(18523705,useless=3284373), ccks=17925043506, wck=1955.529, mem=64M688
1962.11/1957.72 decisions=1646282, wrong=821806, backtracks=61853, failedAssignments=808669, nogoods=31530, foundSolutions=10, bestBound=130
1962.11/1957.72
1962.21/1957.86 num=483, depth=2..4, filters=13246098, revisions=(18524639,useless=3284608), ccks=17926411029, wck=1955.675, mem=64M688
1962.21/1957.86 decisions=1646313, wrong=821820, backtracks=61859, failedAssignments=808680, nogoods=31533, foundSolutions=10, bestBound=130
1962.21/1957.86
1962.31/1957.97 num=484, depth=4..6, filters=13246833, revisions=(18525680,useless=3284818), ccks=17927348289, wck=1955.779, mem=65M768
1962.31/1957.97 decisions=1646345, wrong=821834, backtracks=61865, failedAssignments=808692, nogoods=31537, foundSolutions=10, bestBound=130
1962.31/1957.97
1962.52/1958.12 num=485, depth=3..5, filters=13247798, revisions=(18527154,useless=3285164), ccks=17928605790, wck=1955.931, mem=65M768
1962.52/1958.12 decisions=1646383, wrong=821851, backtracks=61871, failedAssignments=808705, nogoods=31544, foundSolutions=10, bestBound=130
1962.52/1958.12
1962.61/1958.27 num=486, depth=4..5, filters=13248191, revisions=(18527731,useless=3285288), ccks=17930256813, wck=1956.088, mem=66M848
1962.61/1958.27 decisions=1646415, wrong=821865, backtracks=61872, failedAssignments=808719, nogoods=31557, foundSolutions=10, bestBound=130
1962.61/1958.27
1962.81/1958.44 num=487, depth=3..5, filters=13249118, revisions=(18529122,useless=3285621), ccks=17931640463, wck=1956.249, mem=66M848
1962.81/1958.44 decisions=1646454, wrong=821883, backtracks=61878, failedAssignments=808735, nogoods=31566, foundSolutions=10, bestBound=130
1962.81/1958.44
1962.92/1958.54 num=488, depth=4..5, filters=13249950, revisions=(18530343,useless=3285862), ccks=17932571038, wck=1956.357, mem=67M928
1962.92/1958.54 decisions=1646493, wrong=821900, backtracks=61882, failedAssignments=808752, nogoods=31572, foundSolutions=10, bestBound=130
1962.92/1958.54
1963.22/1958.81 num=489, depth=2..4, filters=13251287, revisions=(18532334,useless=3286374), ccks=17935020019, wck=1956.627, mem=69M8
1963.22/1958.81 decisions=1646549, wrong=821926, backtracks=61895, failedAssignments=808771, nogoods=31578, foundSolutions=10, bestBound=130
1963.22/1958.81
1963.32/1958.95 num=490, depth=3..5, filters=13251912, revisions=(18533271,useless=3286567), ccks=17936367999, wck=1956.768, mem=69M8
1963.32/1958.95 decisions=1646595, wrong=821947, backtracks=61897, failedAssignments=808792, nogoods=31584, foundSolutions=10, bestBound=130
1963.32/1958.95
1963.53/1959.17 num=491, depth=3..5, filters=13253462, revisions=(18535558,useless=3287051), ccks=17938067765, wck=1956.988, mem=70M88
1963.53/1959.17 decisions=1646656, wrong=821976, backtracks=61910, failedAssignments=808815, nogoods=31598, foundSolutions=10, bestBound=130
1963.53/1959.17
1963.62/1959.29 num=492, depth=4..5, filters=13254504, revisions=(18537054,useless=3287321), ccks=17939049360, wck=1957.107, mem=71M168
1963.62/1959.29 decisions=1646711, wrong=822001, backtracks=61915, failedAssignments=808840, nogoods=31608, foundSolutions=10, bestBound=130
1963.62/1959.29
1963.92/1959.51 num=493, depth=2..5, filters=13255832, revisions=(18538986,useless=3287666), ccks=17940799868, wck=1957.324, mem=71M168
1963.92/1959.51 decisions=1646778, wrong=822033, backtracks=61926, failedAssignments=808868, nogoods=31613, foundSolutions=10, bestBound=130
1963.92/1959.51
1964.02/1959.66 num=494, depth=4..6, filters=13256562, revisions=(18540019,useless=3287882), ccks=17942340517, wck=1957.478, mem=72M248
1964.02/1959.66 decisions=1646845, wrong=822064, backtracks=61928, failedAssignments=808899, nogoods=31641, foundSolutions=10, bestBound=130
1964.02/1959.66
1964.43/1960.03 num=495, depth=2..4, filters=13258039, revisions=(18542165,useless=3288371), ccks=17945910601, wck=1957.845, mem=73M328
1964.43/1960.03 decisions=1646926, wrong=822103, backtracks=61939, failedAssignments=808933, nogoods=31644, foundSolutions=10, bestBound=130
1964.43/1960.03
1964.62/1960.26 num=496, depth=2..4, filters=13259686, revisions=(18544730,useless=3288881), ccks=17947681882, wck=1958.073, mem=74M408
1964.62/1960.26 decisions=1647009, wrong=822143, backtracks=61952, failedAssignments=808970, nogoods=31649, foundSolutions=10, bestBound=130
1964.62/1960.26
1964.92/1960.51 num=497, depth=2..4, filters=13261273, revisions=(18546994,useless=3289286), ccks=17949901209, wck=1958.325, mem=76M569
1964.92/1960.51 decisions=1647107, wrong=822190, backtracks=61962, failedAssignments=809011, nogoods=31660, foundSolutions=10, bestBound=130
1964.92/1960.51
1965.12/1960.73 num=498, depth=1..5, filters=13262108, revisions=(18548242,useless=3289606), ccks=17952158274, wck=1958.545, mem=77M649
1965.12/1960.73 decisions=1647201, wrong=822235, backtracks=61965, failedAssignments=809056, nogoods=31697, foundSolutions=10, bestBound=130
1965.12/1960.73
1965.53/1961.15 num=499, depth=2..5, filters=13264018, revisions=(18551075,useless=3290197), ccks=17956064052, wck=1958.963, mem=78M729
1965.53/1961.15 decisions=1647313, wrong=822289, backtracks=61977, failedAssignments=809106, nogoods=31709, foundSolutions=10, bestBound=130
1965.53/1961.15
1965.82/1961.48 num=500, depth=2..4, filters=13265865, revisions=(18554066,useless=3290785), ccks=17958847170, wck=1959.292, mem=80M889
1965.82/1961.48 decisions=1647426, wrong=822344, backtracks=61992, failedAssignments=809161, nogoods=31722, foundSolutions=10, bestBound=130
1965.82/1961.48
1966.32/1961.93 num=501, depth=2..4, filters=13267860, revisions=(18557049,useless=3291521), ccks=17963151302, wck=1959.746, mem=27M967
1966.32/1961.93 decisions=1647561, wrong=822410, backtracks=62006, failedAssignments=809222, nogoods=31731, foundSolutions=10, bestBound=130
1966.32/1961.93
1966.62/1962.20 num=502, depth=2..5, filters=13269408, revisions=(18559285,useless=3291963), ccks=17965737937, wck=1960.017, mem=30M128
1966.62/1962.20 decisions=1647700, wrong=822477, backtracks=62011, failedAssignments=809289, nogoods=31765, foundSolutions=10, bestBound=130
1966.62/1962.20
1967.02/1962.63 num=503, depth=2..5, filters=13273043, revisions=(18564572,useless=3292938), ccks=17968866150, wck=1960.44, mem=32M288
1967.02/1962.63 decisions=1647879, wrong=822565, backtracks=62036, failedAssignments=809363, nogoods=31773, foundSolutions=10, bestBound=130
1967.02/1962.63
1967.32/1962.98 num=504, depth=4..7, filters=13274561, revisions=(18566614,useless=3293251), ccks=17972510163, wck=1960.793, mem=33M368
1967.32/1962.98 decisions=1648046, wrong=822646, backtracks=62040, failedAssignments=809444, nogoods=31815, foundSolutions=10, bestBound=130
1967.32/1962.98
1967.62/1963.22 num=505, depth=2..7, filters=13275999, revisions=(18568676,useless=3293765), ccks=17974707942, wck=1961.033, mem=35M528
1967.62/1963.22 decisions=1648231, wrong=822735, backtracks=62046, failedAssignments=809533, nogoods=31891, foundSolutions=10, bestBound=130
1967.62/1963.22
1967.92/1963.60 num=506, depth=2..6, filters=13279470, revisions=(18573765,useless=3294674), ccks=17977351909, wck=1961.41, mem=37M688
1967.92/1963.60 decisions=1648458, wrong=822847, backtracks=62072, failedAssignments=809631, nogoods=31901, foundSolutions=10, bestBound=130
1967.92/1963.60
1968.22/1963.89 num=507, depth=3..7, filters=13283014, revisions=(18578782,useless=3295752), ccks=17979775972, wck=1961.7, mem=39M848
1968.22/1963.89 decisions=1648688, wrong=822959, backtracks=62095, failedAssignments=809739, nogoods=31926, foundSolutions=10, bestBound=130
1968.22/1963.89
1968.82/1964.43 num=508, depth=3..5, filters=13286395, revisions=(18583712,useless=3296501), ccks=17984956530, wck=1962.248, mem=43M88
1968.82/1964.43 decisions=1648944, wrong=823085, backtracks=62109, failedAssignments=809858, nogoods=31946, foundSolutions=10, bestBound=130
1968.82/1964.43
1969.12/1964.72 num=509, depth=3..7, filters=13289194, revisions=(18587672,useless=3297256), ccks=17987345125, wck=1962.533, mem=45M248
1969.12/1964.72 decisions=1649215, wrong=823217, backtracks=62126, failedAssignments=809989, nogoods=32007, foundSolutions=10, bestBound=130
1969.12/1964.72
1969.82/1965.49 num=510, depth=1..6, filters=13294323, revisions=(18595209,useless=3298741), ccks=17993599456, wck=1963.308, mem=49M568
1969.82/1965.49 decisions=1649521, wrong=823368, backtracks=62163, failedAssignments=810133, nogoods=32022, foundSolutions=10, bestBound=130
1969.82/1965.49
1970.23/1965.87 num=511, depth=3..6, filters=13298699, revisions=(18601215,useless=3299795), ccks=17996498271, wck=1963.683, mem=51M728
1970.23/1965.87 decisions=1649846, wrong=823528, backtracks=62194, failedAssignments=810291, nogoods=32041, foundSolutions=10, bestBound=130
1970.23/1965.87
1970.74/1966.31 num=512, depth=4..8, filters=13302505, revisions=(18606182,useless=3300665), ccks=18000870780, wck=1964.128, mem=54M968
1970.74/1966.31 decisions=1650209, wrong=823707, backtracks=62210, failedAssignments=810465, nogoods=32079, foundSolutions=10, bestBound=130
1970.74/1966.31
1971.34/1966.93 num=513, depth=1..4, filters=13307148, revisions=(18613443,useless=3302085), ccks=18005459225, wck=1964.743, mem=59M288
1971.34/1966.93 decisions=1650604, wrong=823903, backtracks=62242, failedAssignments=810656, nogoods=32094, foundSolutions=10, bestBound=130
1971.34/1966.93
1971.64/1967.22 num=514, depth=1..7, filters=13308738, revisions=(18615656,useless=3302609), ccks=18008215939, wck=1965.03, mem=61M448
1971.64/1967.22 decisions=1651031, wrong=824114, backtracks=62249, failedAssignments=810867, nogoods=32160, foundSolutions=10, bestBound=130
1971.64/1967.22
1972.74/1968.33 num=515, depth=1..6, filters=13316081, revisions=(18626953,useless=3304787), ccks=18017152208, wck=1966.149, mem=67M928
1972.74/1968.33 decisions=1651531, wrong=824362, backtracks=62307, failedAssignments=811099, nogoods=32174, foundSolutions=10, bestBound=130
1972.74/1968.33
1973.14/1968.79 num=516, depth=3..8, filters=13319940, revisions=(18632344,useless=3305768), ccks=18021056692, wck=1966.603, mem=71M168
1973.14/1968.79 decisions=1652058, wrong=824622, backtracks=62331, failedAssignments=811354, nogoods=32232, foundSolutions=10, bestBound=130
1973.14/1968.79
1974.24/1969.83 num=517, depth=2..5, filters=13328880, revisions=(18645821,useless=3308390), ccks=18028539942, wck=1967.645, mem=78M729
1974.24/1969.83 decisions=1652652, wrong=824917, backtracks=62379, failedAssignments=811635, nogoods=32250, foundSolutions=10, bestBound=130
1974.24/1969.83
1974.85/1970.47 num=518, depth=4..7, filters=13336002, revisions=(18655258,useless=3310183), ccks=18034676859, wck=1968.282, mem=30M193
1974.85/1970.47 decisions=1653283, wrong=825229, backtracks=62409, failedAssignments=811944, nogoods=32296, foundSolutions=10, bestBound=130
1974.85/1970.47
1975.95/1971.56 num=519, depth=0..5, filters=13344778, revisions=(18668907,useless=3312867), ccks=18042888364, wck=1969.378, mem=38M833
1975.95/1971.56 decisions=1653991, wrong=825582, backtracks=62474, failedAssignments=812284, nogoods=32320, foundSolutions=10, bestBound=130
1975.95/1971.56
1976.85/1972.45 num=520, depth=4..7, filters=13352937, revisions=(18680076,useless=3315009), ccks=18051524614, wck=1970.264, mem=45M313
1976.85/1972.45 decisions=1654748, wrong=825958, backtracks=62511, failedAssignments=812658, nogoods=32360, foundSolutions=10, bestBound=130
1976.85/1972.45
1978.35/1973.96 num=521, depth=1..5, filters=13365556, revisions=(18698946,useless=3318571), ccks=18062764391, wck=1971.778, mem=56M114
1978.35/1973.96 decisions=1655653, wrong=826409, backtracks=62597, failedAssignments=813069, nogoods=32392, foundSolutions=10, bestBound=130
1978.35/1973.96
1980.56/1976.12 num=522, depth=1..5, filters=13385230, revisions=(18727629,useless=3323609), ccks=18078112593, wck=1973.929, mem=67M994
1980.56/1976.12 decisions=1656648, wrong=826905, backtracks=62738, failedAssignments=813521, nogoods=32417, foundSolutions=10, bestBound=130
1980.56/1976.12
1982.05/1977.68 num=523, depth=1..7, filters=13394248, revisions=(18739913,useless=3326214), ccks=18093465091, wck=1975.49, mem=75M554
1982.05/1977.68 decisions=1657666, wrong=827411, backtracks=62778, failedAssignments=814018, nogoods=32510, foundSolutions=10, bestBound=130
1982.05/1977.68
1983.76/1979.36 num=524, depth=1..5, filters=13407193, revisions=(18759523,useless=3329917), ccks=18106300184, wck=1977.173, mem=34M546
1983.76/1979.36 decisions=1658789, wrong=827970, backtracks=62855, failedAssignments=814565, nogoods=32516, foundSolutions=10, bestBound=130
1983.76/1979.36
1986.26/1981.86 num=525, depth=1..5, filters=13433803, revisions=(18799097,useless=3337469), ccks=18122268780, wck=1979.677, mem=51M826
1986.26/1981.86 decisions=1660139, wrong=828643, backtracks=63050, failedAssignments=815167, nogoods=32533, foundSolutions=10, bestBound=130
1986.26/1981.86
1986.66/1982.27 num=526, depth=3..8, filters=13438106, revisions=(18804872,useless=3338465), ccks=18125101582, wck=1980.083, mem=55M66
1986.66/1982.27 decisions=1661469, wrong=829306, backtracks=63073, failedAssignments=815829, nogoods=32675, foundSolutions=10, bestBound=130
1986.66/1982.27
1989.26/1984.80 num=527, depth=1..6, filters=13460126, revisions=(18838059,useless=3344906), ccks=18143274044, wck=1982.619, mem=74M507
1989.26/1984.80 decisions=1662981, wrong=830060, backtracks=63224, failedAssignments=816557, nogoods=32686, foundSolutions=10, bestBound=130
1989.26/1984.80
1991.67/1987.29 num=528, depth=1..7, filters=13473005, revisions=(18856656,useless=3348936), ccks=18164872209, wck=1985.099, mem=29M162
1991.67/1987.29 decisions=1664672, wrong=830904, backtracks=63330, failedAssignments=817358, nogoods=32713, foundSolutions=10, bestBound=130
1991.67/1987.29
1992.37/1987.90 num=529, depth=1..7, filters=13475907, revisions=(18860556,useless=3349779), ccks=18169449482, wck=1985.713, mem=31M322
1992.37/1987.90 decisions=1666441, wrong=831785, backtracks=63345, failedAssignments=818239, nogoods=32830, foundSolutions=10, bestBound=130
1992.37/1987.90
1994.48/1990.09 num=530, depth=1..9, filters=13486959, revisions=(18877358,useless=3353626), ccks=18188220425, wck=1987.907, mem=42M122
1994.48/1990.09 decisions=1668413, wrong=832769, backtracks=63446, failedAssignments=819209, nogoods=32878, foundSolutions=10, bestBound=130
1994.48/1990.09
2000.77/1996.36 num=531, depth=1..6, filters=13525189, revisions=(18932918,useless=3363773), ccks=18242573284, wck=1994.177, mem=70M203
2000.77/1996.36 decisions=1670709, wrong=833915, backtracks=63685, failedAssignments=820276, nogoods=32901, foundSolutions=10, bestBound=130
2000.77/1996.36
2006.40/2001.90 num=532, depth=1..5, filters=13569719, revisions=(18998208,useless=3374952), ccks=18287416971, wck=1999.716, mem=46M508
2006.40/2001.90 decisions=1673292, wrong=835205, backtracks=63935, failedAssignments=821449, nogoods=32912, foundSolutions=10, bestBound=130
2006.40/2001.90
2010.10/2005.62 num=533, depth=1..6, filters=13605908, revisions=(19051550,useless=3384329), ccks=18315680731, wck=2003.433, mem=77M829
2010.10/2005.62 decisions=1675999, wrong=836556, backtracks=64127, failedAssignments=822740, nogoods=32946, foundSolutions=10, bestBound=130
2010.10/2005.62
2015.91/2011.44 num=534, depth=2..5, filters=13646384, revisions=(19109133,useless=3392961), ccks=18369618574, wck=2009.252, mem=54M68
2015.91/2011.44 decisions=1679019, wrong=838064, backtracks=64291, failedAssignments=824160, nogoods=32979, foundSolutions=10, bestBound=130
2015.91/2011.44
2019.31/2014.82 num=535, depth=4..8, filters=13682205, revisions=(19158641,useless=3401716), ccks=18401748201, wck=2012.629, mem=78M909
2019.31/2014.82 decisions=1682161, wrong=839632, backtracks=64442, failedAssignments=825722, nogoods=33041, foundSolutions=10, bestBound=130
2019.31/2014.82
2023.02/2018.54 num=536, depth=1..8, filters=13701225, revisions=(19185235,useless=3406896), ccks=18435861468, wck=2016.355, mem=38M948
2023.02/2018.54 decisions=1685682, wrong=841390, backtracks=64557, failedAssignments=827440, nogoods=33221, foundSolutions=10, bestBound=130
2023.02/2018.54
2030.93/2026.47 num=537, depth=0..7, filters=13738476, revisions=(19239703,useless=3417324), ccks=18513514542, wck=2024.285, mem=78M909
2030.93/2026.47 decisions=1689518, wrong=843306, backtracks=64755, failedAssignments=829330, nogoods=33336, foundSolutions=10, bestBound=130
2030.93/2026.47
2037.83/2033.39 num=538, depth=1..4, filters=13795322, revisions=(19323974,useless=3433422), ccks=18565529378, wck=2031.207, mem=74M621
2037.83/2033.39 decisions=1693809, wrong=845451, backtracks=65087, failedAssignments=831409, nogoods=33360, foundSolutions=10, bestBound=130
2037.83/2033.39
2049.55/2045.03 num=539, depth=1..7, filters=13855502, revisions=(19409893,useless=3448565), ccks=18674140823, wck=2042.846, mem=60M606
2049.55/2045.03 decisions=1698730, wrong=847910, backtracks=65446, failedAssignments=833696, nogoods=33422, foundSolutions=10, bestBound=130
2049.55/2045.03
2057.85/2053.31 num=540, depth=1..7, filters=13915684, revisions=(19498023,useless=3464919), ccks=18739797693, wck=2051.121, mem=55M238
2057.85/2053.31 decisions=1703912, wrong=850499, backtracks=65813, failedAssignments=836212, nogoods=33458, foundSolutions=10, bestBound=130
2057.85/2053.31
2072.57/2068.03 num=541, depth=1..6, filters=14028603, revisions=(19661910,useless=3492352), ccks=18863633645, wck=2065.848, mem=71M439
2072.57/2068.03 decisions=1709957, wrong=853519, backtracks=66438, failedAssignments=838980, nogoods=33497, foundSolutions=10, bestBound=130
2072.57/2068.03
2075.97/2071.46 num=542, depth=3..9, filters=14071436, revisions=(19720374,useless=3503541), ccks=18893567102, wck=2069.275, mem=50M886
2075.97/2071.46 decisions=1716078, wrong=856576, backtracks=66592, failedAssignments=842024, nogoods=33569, foundSolutions=10, bestBound=130
2075.97/2071.46
2093.58/2089.09 num=543, depth=1..5, filters=14178110, revisions=(19872914,useless=3526750), ccks=19056019866, wck=2086.905, mem=69M279
2093.58/2089.09 decisions=1723173, wrong=860122, backtracks=67082, failedAssignments=845373, nogoods=33613, foundSolutions=10, bestBound=130
2093.58/2089.09
2102.39/2097.85 num=544, depth=1..9, filters=14254813, revisions=(19981827,useless=3546544), ccks=19123771744, wck=2095.662, mem=64M991
2102.39/2097.85 decisions=1730837, wrong=863951, backtracks=67582, failedAssignments=849057, nogoods=33703, foundSolutions=10, bestBound=130
2102.39/2097.85
2118.61/2114.01 num=545, depth=0..7, filters=14333915, revisions=(20098254,useless=3571355), ccks=19269234478, wck=2111.819, mem=79M32
2118.61/2114.01 decisions=1739215, wrong=868139, backtracks=68190, failedAssignments=853109, nogoods=33739, foundSolutions=10, bestBound=130
2118.61/2114.01
2129.22/2124.67 num=546, depth=1..10, filters=14420136, revisions=(20214248,useless=3589415), ccks=19376536557, wck=2122.485, mem=40M184
2129.22/2124.67 decisions=1748163, wrong=872610, backtracks=68380, failedAssignments=857566, nogoods=33878, foundSolutions=10, bestBound=130
2129.22/2124.67
2147.93/2143.37 num=547, depth=1..8, filters=14509863, revisions=(20341766,useless=3612590), ccks=19549297936, wck=2141.182, mem=55M329
2147.93/2143.37 decisions=1758359, wrong=877705, backtracks=68925, failedAssignments=862469, nogoods=34018, foundSolutions=10, bestBound=130
2147.93/2143.37
2161.54/2157.00 num=548, depth=1..8, filters=14595201, revisions=(20466567,useless=3635463), ccks=19664310598, wck=2154.816, mem=78M17
2161.54/2157.00 decisions=1769386, wrong=883215, backtracks=69462, failedAssignments=867863, nogoods=34141, foundSolutions=10, bestBound=130
2161.54/2157.00
2185.07/2180.43 num=549, depth=1..7, filters=14747797, revisions=(20685974,useless=3671877), ccks=19867423317, wck=2178.247, mem=32M763
2185.07/2180.43 decisions=1781746, wrong=889393, backtracks=70264, failedAssignments=873796, nogoods=34170, foundSolutions=10, bestBound=130
2185.07/2180.43
2192.57/2187.97 num=550, depth=0..11, filters=14842814, revisions=(20814354,useless=3697824), ccks=19936026564, wck=2185.783, mem=47M867
2192.57/2187.97 decisions=1794856, wrong=895944, backtracks=70654, failedAssignments=880322, nogoods=34336, foundSolutions=10, bestBound=130
2192.57/2187.97
2222.60/2217.97 num=551, depth=1..5, filters=15058114, revisions=(21125478,useless=3749630), ccks=20194050814, wck=2215.782, mem=49M78
2222.60/2217.97 decisions=1810129, wrong=903579, backtracks=71763, failedAssignments=887501, nogoods=34363, foundSolutions=10, bestBound=130
2222.60/2217.97
2245.83/2241.14 num=552, depth=0..9, filters=15198961, revisions=(21321786,useless=3786255), ccks=20410222748, wck=2238.958, mem=43M743
2245.83/2241.14 decisions=1826263, wrong=911643, backtracks=72506, failedAssignments=895398, nogoods=34505, foundSolutions=10, bestBound=130
2245.83/2241.14
2275.35/2270.67 num=553, depth=1..7, filters=15403240, revisions=(21621503,useless=3837253), ccks=20663620175, wck=2268.485, mem=65M442
2275.35/2270.67 decisions=1844119, wrong=920569, backtracks=73450, failedAssignments=904085, nogoods=34516, foundSolutions=10, bestBound=130
2275.35/2270.67
2286.88/2282.14 num=554, depth=2..10, filters=15566864, revisions=(21839979,useless=3878267), ccks=20763880267, wck=2279.954, mem=54M642
2286.88/2282.14 decisions=1863470, wrong=930242, backtracks=74193, failedAssignments=913640, nogoods=34699, foundSolutions=10, bestBound=130
2286.88/2282.14
2327.20/2322.48 num=555, depth=1..7, filters=15815580, revisions=(22190180,useless=3941677), ccks=21130390361, wck=2320.297, mem=58M986
2327.20/2322.48 decisions=1885570, wrong=941289, backtracks=75544, failedAssignments=924151, nogoods=34871, foundSolutions=10, bestBound=130
2327.20/2322.48
2368.53/2363.78 num=556, depth=1..8, filters=16102332, revisions=(22606507,useless=4019968), ccks=21473916327, wck=2361.598, mem=64M485
2368.53/2363.78 decisions=1909617, wrong=953310, backtracks=77231, failedAssignments=935713, nogoods=34883, foundSolutions=10, bestBound=130
2368.53/2363.78
2375.14/2370.38 num=557, depth=1..17, filters=16180849, revisions=(22712406,useless=4040924), ccks=21521833222, wck=2368.194, mem=66M645
2375.14/2370.38 decisions=1935124, wrong=966060, backtracks=77648, failedAssignments=948431, nogoods=35046, foundSolutions=10, bestBound=130
2375.14/2370.38
2389.07/2384.25 num=558, depth=0..13, filters=16265807, revisions=(22831440,useless=4062223), ccks=21635878253, wck=2382.065, mem=29M957
2389.07/2384.25 decisions=1963265, wrong=980127, backtracks=78151, failedAssignments=962421, nogoods=35091, foundSolutions=10, bestBound=130
2389.07/2384.25
2400.07/2395.20
2400.07/2395.20 v <instantiation id='sol10' type='solution' cost='130'> <list> x[] y[][] </list> <values> 0 2 5 9 15 23 34 58 75 91 103 129 130 * 2 5 9 15 23 34 58 75 91 103 129 130 * * 3 7 13 21 32 56 73 89 101 127 128 * * * 4 10 18 29 53 70 86 98 124 125 * * * * 6 14 25 49 66 82 94 120 121 * * * * * 8 19 43 60 76 88 114 115 * * * * * * 11 35 52 68 80 106 107 * * * * * * * 24 41 57 69 95 96 * * * * * * * * 17 33 45 71 72 * * * * * * * * * 16 28 54 55 * * * * * * * * * * 12 38 39 * * * * * * * * * * * 26 27 * * * * * * * * * * * * 1 * * * * * * * * * * * * * </values> </instantiation>
2400.07/2395.20 s SATISFIABLE