2.41/1.89
2.41/1.89 AbsCon 2
2.65/1.90
2.91/2.02 Instance
2.91/2.02 name=instance-4391050-1568387104, framework=COP, bounds=-infty..+infty
2.91/2.02
2.91/2.02 Loading variables...
2.91/2.05 Loading constraints...
3.16/2.14
3.16/2.14 Domains
3.16/2.14 nTypes=2, nValues=7997, sizes=[121#55,122#11]
3.16/2.14 Variables
3.16/2.14 count=66, degrees=[2#55,10#10,11#1]
3.16/2.14 Objectives
3.16/2.14 way=min, type=ObjVarLE
3.16/2.14 Constraints
3.16/2.14 count=57, nSpecific=2, arities=[1#1,3#55,55#1]
3.16/2.14 distribution=[AllDifferent#1,CtrIntension#55,ObjVarLE#1]
3.16/2.14 nIntStructures=(1,shared:54)
3.16/2.14 wck=0.286, cpu=2.114, mem=23M870
3.16/2.15 Solver SolverBacktrack being built...
3.16/2.15
3.16/2.17
3.16/2.17 Solver
3.16/2.17 guaranteedGAC=false
3.16/2.17 wck=0.315, cpu=2.141, mem=34M513
3.16/2.18
3.16/2.18 Preprocessing
3.16/2.18 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.16/2.18 wck=0.006, cpu=2.148, mem=34M513
3.16/2.18
3.42/2.28 o 96
3.42/2.29 num=0, depth=67..65, filters=329, revisions=(540,useless=175), ccks=527315, wck=0.119, mem=34M513
3.42/2.29 decisions=11, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=96
3.42/2.29
3.74/2.36 o 93
3.74/2.36 num=1, depth=67..65, filters=715, revisions=(1130,useless=331), ccks=925367, wck=0.184, mem=34M513
3.74/2.36 decisions=21, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=93
3.74/2.36
4.01/2.41 num=2, depth=9..10, filters=1294, revisions=(1905,useless=480), ccks=1158071, wck=0.239, mem=34M513
4.01/2.41 decisions=52, wrong=11, backtracks=1, failedAssignments=11, nogoods=8, foundSolutions=2, bestBound=93
4.01/2.41
4.15/2.54 num=3, depth=0..1, filters=1399, revisions=(2091,useless=480), ccks=2442388, wck=0.367, mem=34M513
4.15/2.54 decisions=75, wrong=22, backtracks=1, failedAssignments=22, nogoods=10, foundSolutions=2, bestBound=93
4.15/2.54
4.25/2.65 num=4, depth=0..1, filters=1498, revisions=(2262,useless=488), ccks=3531888, wck=0.475, mem=37M155
4.25/2.65 decisions=100, wrong=34, backtracks=1, failedAssignments=34, nogoods=14, foundSolutions=2, bestBound=93
4.25/2.65
4.36/2.74 num=5, depth=1..2, filters=1670, revisions=(2533,useless=537), ccks=4434413, wck=0.57, mem=37M155
4.36/2.74 decisions=128, wrong=47, backtracks=1, failedAssignments=47, nogoods=27, foundSolutions=2, bestBound=93
4.36/2.74
4.36/2.78 num=6, depth=0..2, filters=1804, revisions=(2725,useless=574), ccks=4804036, wck=0.612, mem=37M155
4.36/2.78 decisions=158, wrong=61, backtracks=2, failedAssignments=61, nogoods=29, foundSolutions=2, bestBound=93
4.36/2.78
4.46/2.84 num=7, depth=0..2, filters=1969, revisions=(2969,useless=616), ccks=5364620, wck=0.673, mem=37M155
4.46/2.84 decisions=192, wrong=77, backtracks=3, failedAssignments=77, nogoods=34, foundSolutions=2, bestBound=93
4.46/2.84
4.46/2.90 num=8, depth=0..2, filters=2126, revisions=(3202,useless=667), ccks=5842766, wck=0.724, mem=37M155
4.46/2.90 decisions=228, wrong=94, backtracks=4, failedAssignments=94, nogoods=41, foundSolutions=2, bestBound=93
4.46/2.90
4.56/2.95 num=9, depth=0..2, filters=2304, revisions=(3470,useless=739), ccks=6314746, wck=0.776, mem=37M155
4.56/2.95 decisions=268, wrong=113, backtracks=5, failedAssignments=113, nogoods=51, foundSolutions=2, bestBound=93
4.56/2.95
4.72/3.01 num=10, depth=0..4, filters=2570, revisions=(3872,useless=852), ccks=6916226, wck=0.841, mem=37M155
4.72/3.01 decisions=314, wrong=134, backtracks=5, failedAssignments=134, nogoods=67, foundSolutions=2, bestBound=93
4.72/3.01
4.91/3.22 num=11, depth=0..2, filters=2817, revisions=(4281,useless=894), ccks=9031571, wck=1.053, mem=37M155
4.91/3.22 decisions=362, wrong=157, backtracks=6, failedAssignments=157, nogoods=76, foundSolutions=2, bestBound=93
4.91/3.22
5.01/3.31 num=12, depth=0..3, filters=3119, revisions=(4729,useless=999), ccks=9927591, wck=1.143, mem=39M798
5.01/3.31 decisions=415, wrong=182, backtracks=8, failedAssignments=182, nogoods=91, foundSolutions=2, bestBound=93
5.01/3.31
5.01/3.39 num=13, depth=1..3, filters=3511, revisions=(5317,useless=1116), ccks=10667902, wck=1.22, mem=39M798
5.01/3.39 decisions=473, wrong=210, backtracks=10, failedAssignments=210, nogoods=99, foundSolutions=2, bestBound=93
5.01/3.39
5.25/3.51 num=14, depth=0..2, filters=3756, revisions=(5675,useless=1180), ccks=11928210, wck=1.342, mem=39M798
5.25/3.51 decisions=536, wrong=241, backtracks=12, failedAssignments=241, nogoods=105, foundSolutions=2, bestBound=93
5.25/3.51
5.36/3.61 num=15, depth=2..4, filters=4209, revisions=(6322,useless=1320), ccks=12836315, wck=1.437, mem=39M798
5.36/3.61 decisions=606, wrong=275, backtracks=15, failedAssignments=275, nogoods=114, foundSolutions=2, bestBound=93
5.36/3.61
5.48/3.72 num=16, depth=1..6, filters=4927, revisions=(7373,useless=1584), ccks=13884529, wck=1.548, mem=42M440
5.48/3.72 decisions=686, wrong=312, backtracks=20, failedAssignments=312, nogoods=135, foundSolutions=2, bestBound=93
5.48/3.72
5.60/3.85 num=17, depth=0..3, filters=5574, revisions=(8430,useless=1810), ccks=15159920, wck=1.678, mem=42M440
5.60/3.85 decisions=770, wrong=353, backtracks=25, failedAssignments=353, nogoods=149, foundSolutions=2, bestBound=93
5.60/3.85
5.70/3.99 num=18, depth=2..8, filters=6435, revisions=(9600,useless=2045), ccks=16559563, wck=1.82, mem=42M440
5.70/3.99 decisions=867, wrong=398, backtracks=28, failedAssignments=398, nogoods=186, foundSolutions=2, bestBound=93
5.70/3.99
5.92/4.15 num=19, depth=0..3, filters=7284, revisions=(11010,useless=2338), ccks=18115813, wck=1.982, mem=45M82
5.92/4.15 decisions=969, wrong=448, backtracks=34, failedAssignments=448, nogoods=190, foundSolutions=2, bestBound=93
5.92/4.15
6.01/4.23 num=20, depth=2..8, filters=8447, revisions=(12464,useless=2584), ccks=18888031, wck=2.063, mem=45M82
6.01/4.23 decisions=1089, wrong=505, backtracks=39, failedAssignments=503, nogoods=221, foundSolutions=2, bestBound=93
6.01/4.23
6.23/4.41 num=21, depth=0..3, filters=9331, revisions=(13842,useless=2869), ccks=20629718, wck=2.241, mem=45M82
6.23/4.41 decisions=1216, wrong=567, backtracks=45, failedAssignments=564, nogoods=235, foundSolutions=2, bestBound=93
6.23/4.41
6.33/4.56 num=22, depth=1..7, filters=10588, revisions=(15580,useless=3223), ccks=22058409, wck=2.39, mem=47M725
6.33/4.56 decisions=1359, wrong=635, backtracks=51, failedAssignments=631, nogoods=275, foundSolutions=2, bestBound=93
6.33/4.56
6.65/4.82 num=23, depth=0..7, filters=12061, revisions=(17649,useless=3604), ccks=24623312, wck=2.647, mem=47M725
6.65/4.82 decisions=1518, wrong=712, backtracks=60, failedAssignments=705, nogoods=304, foundSolutions=2, bestBound=93
6.65/4.82
6.86/5.11 num=24, depth=0..7, filters=13625, revisions=(19948,useless=4052), ccks=27473027, wck=2.935, mem=50M367
6.86/5.11 decisions=1689, wrong=794, backtracks=70, failedAssignments=786, nogoods=332, foundSolutions=2, bestBound=93
6.86/5.11
7.16/5.38 num=25, depth=0..8, filters=15309, revisions=(22368,useless=4551), ccks=30087567, wck=3.206, mem=53M10
7.16/5.38 decisions=1878, wrong=885, backtracks=79, failedAssignments=875, nogoods=365, foundSolutions=2, bestBound=93
7.16/5.38
7.46/5.67 num=26, depth=0..5, filters=17232, revisions=(25116,useless=5033), ccks=32989700, wck=3.502, mem=53M10
7.46/5.67 decisions=2085, wrong=986, backtracks=89, failedAssignments=973, nogoods=388, foundSolutions=2, bestBound=93
7.46/5.67
7.66/5.86 num=27, depth=0..7, filters=19604, revisions=(28326,useless=5757), ccks=34766539, wck=3.689, mem=55M652
7.66/5.86 decisions=2323, wrong=1102, backtracks=109, failedAssignments=1081, nogoods=418, foundSolutions=2, bestBound=93
7.66/5.86
7.98/6.11 num=28, depth=0..8, filters=21858, revisions=(31265,useless=6259), ccks=37169200, wck=3.939, mem=58M295
7.98/6.11 decisions=2571, wrong=1223, backtracks=121, failedAssignments=1200, nogoods=453, foundSolutions=2, bestBound=93
7.98/6.11
8.17/6.34 num=29, depth=0..8, filters=24286, revisions=(34267,useless=6691), ccks=39386683, wck=4.167, mem=58M295
8.17/6.34 decisions=2840, wrong=1354, backtracks=132, failedAssignments=1331, nogoods=484, foundSolutions=2, bestBound=93
8.17/6.34
8.50/6.61 num=30, depth=0..7, filters=26539, revisions=(37417,useless=7268), ccks=41884562, wck=4.44, mem=60M937
8.50/6.61 decisions=3139, wrong=1500, backtracks=146, failedAssignments=1475, nogoods=552, foundSolutions=2, bestBound=93
8.50/6.61
8.60/6.73 num=31, depth=1..7, filters=27273, revisions=(38407,useless=7458), ccks=42910187, wck=4.556, mem=60M937
8.60/6.73 decisions=3461, wrong=1658, backtracks=153, failedAssignments=1633, nogoods=610, foundSolutions=2, bestBound=93
8.60/6.73
9.87/7.99 num=32, depth=0..8, filters=29286, revisions=(41778,useless=7725), ccks=56818184, wck=5.822, mem=66M222
9.87/7.99 decisions=3818, wrong=1833, backtracks=162, failedAssignments=1807, nogoods=644, foundSolutions=2, bestBound=93
9.87/7.99
10.18/8.25 num=33, depth=1..8, filters=33039, revisions=(46816,useless=8844), ccks=59192277, wck=6.082, mem=68M864
10.18/8.25 decisions=4209, wrong=2025, backtracks=185, failedAssignments=1998, nogoods=694, foundSolutions=2, bestBound=93
10.18/8.25
10.38/8.43 num=34, depth=0..7, filters=34167, revisions=(48373,useless=9187), ccks=60887705, wck=6.264, mem=68M864
10.38/8.43 decisions=4638, wrong=2237, backtracks=195, failedAssignments=2209, nogoods=713, foundSolutions=2, bestBound=93
10.38/8.43
10.58/8.67 num=35, depth=1..10, filters=35837, revisions=(50542,useless=9586), ccks=63154097, wck=6.501, mem=71M507
10.58/8.67 decisions=5116, wrong=2471, backtracks=205, failedAssignments=2441, nogoods=775, foundSolutions=2, bestBound=93
10.58/8.67
10.68/8.74 num=36, depth=1..6, filters=36423, revisions=(51272,useless=9707), ccks=63661154, wck=6.573, mem=71M507
10.68/8.74 decisions=5630, wrong=2726, backtracks=209, failedAssignments=2696, nogoods=853, foundSolutions=2, bestBound=93
10.68/8.74
10.78/8.82 num=37, depth=1..8, filters=37089, revisions=(52095,useless=9835), ccks=64274631, wck=6.653, mem=71M507
10.78/8.82 decisions=6197, wrong=3007, backtracks=214, failedAssignments=2977, nogoods=868, foundSolutions=2, bestBound=93
10.78/8.82
10.88/8.94 num=38, depth=1..8, filters=37965, revisions=(53198,useless=10027), ccks=65218309, wck=6.765, mem=71M507
10.88/8.94 decisions=6820, wrong=3316, backtracks=219, failedAssignments=3286, nogoods=914, foundSolutions=2, bestBound=93
10.88/8.94
12.29/10.33 num=39, depth=0..7, filters=41485, revisions=(58570,useless=10684), ccks=80072832, wck=8.163, mem=76M792
12.29/10.33 decisions=7506, wrong=3656, backtracks=233, failedAssignments=3626, nogoods=948, foundSolutions=2, bestBound=93
12.29/10.33
12.49/10.53 num=40, depth=0..6, filters=42741, revisions=(60285,useless=10994), ccks=81772837, wck=8.363, mem=79M434
12.49/10.53 decisions=8259, wrong=4031, backtracks=243, failedAssignments=4000, nogoods=1015, foundSolutions=2, bestBound=93
12.49/10.53
12.66/10.67 num=41, depth=3..8, filters=45189, revisions=(63580,useless=11764), ccks=82789372, wck=8.495, mem=79M434
12.66/10.67 decisions=9091, wrong=4444, backtracks=266, failedAssignments=4411, nogoods=1122, foundSolutions=2, bestBound=93
12.66/10.67
15.07/13.03 num=42, depth=0..8, filters=49343, revisions=(70190,useless=12257), ccks=108165921, wck=10.861, mem=87M361
15.07/13.03 decisions=10003, wrong=4896, backtracks=271, failedAssignments=4863, nogoods=1216, foundSolutions=2, bestBound=93
15.07/13.03
15.21/13.14 num=43, depth=3..8, filters=51303, revisions=(72687,useless=12705), ccks=108860720, wck=10.965, mem=90M4
15.21/13.14 decisions=11002, wrong=5393, backtracks=290, failedAssignments=5360, nogoods=1224, foundSolutions=2, bestBound=93
15.21/13.14
15.45/13.31 num=44, depth=3..9, filters=54085, revisions=(76176,useless=13300), ccks=110307430, wck=11.141, mem=90M4
15.45/13.31 decisions=12105, wrong=5941, backtracks=308, failedAssignments=5907, nogoods=1250, foundSolutions=2, bestBound=93
15.45/13.31
15.65/13.57 num=45, depth=0..9, filters=56798, revisions=(79896,useless=14197), ccks=112498802, wck=11.397, mem=92M646
15.65/13.57 decisions=13318, wrong=6545, backtracks=339, failedAssignments=6509, nogoods=1268, foundSolutions=2, bestBound=93
15.65/13.57
16.26/14.12 num=46, depth=0..10, filters=65037, revisions=(90966,useless=16398), ccks=117711706, wck=11.945, mem=97M931
16.26/14.12 decisions=14660, wrong=7213, backtracks=395, failedAssignments=7171, nogoods=1410, foundSolutions=2, bestBound=93
16.26/14.12
18.56/16.40 num=47, depth=0..8, filters=72676, revisions=(102401,useless=18199), ccks=142138053, wck=14.23, mem=105M858
18.56/16.40 decisions=16122, wrong=7941, backtracks=428, failedAssignments=7899, nogoods=1432, foundSolutions=2, bestBound=93
18.56/16.40
18.66/16.52 num=48, depth=3..8, filters=74426, revisions=(104509,useless=18535), ccks=142732193, wck=14.347, mem=108M501
18.66/16.52 decisions=17731, wrong=8743, backtracks=440, failedAssignments=8700, nogoods=1497, foundSolutions=2, bestBound=93
18.66/16.52
18.66/16.58 o 91
18.66/16.58 num=49, depth=4..65, filters=75542, revisions=(105983,useless=18864), ccks=143233497, wck=14.41, mem=108M501
18.66/16.58 decisions=18193, wrong=8969, backtracks=447, failedAssignments=8925, nogoods=1559, foundSolutions=3, bestBound=91
18.66/16.58
18.97/16.84 num=50, depth=1..10, filters=80907, revisions=(112452,useless=19814), ccks=145350080, wck=14.673, mem=111M143
18.97/16.84 decisions=20151, wrong=9944, backtracks=477, failedAssignments=9895, nogoods=1736, foundSolutions=3, bestBound=91
18.97/16.84
18.97/16.88 num=51, depth=1..4, filters=81054, revisions=(112650,useless=19852), ccks=145707851, wck=14.708, mem=111M143
18.97/16.88 decisions=20177, wrong=9955, backtracks=477, failedAssignments=9906, nogoods=1747, foundSolutions=3, bestBound=91
18.97/16.88
19.07/16.94 num=52, depth=0..2, filters=81249, revisions=(112959,useless=19915), ccks=146315300, wck=14.767, mem=111M143
19.07/16.94 decisions=20202, wrong=9967, backtracks=479, failedAssignments=9918, nogoods=1754, foundSolutions=3, bestBound=91
19.07/16.94
19.18/17.03 num=53, depth=2..3, filters=81500, revisions=(113358,useless=20011), ccks=147292459, wck=14.86, mem=111M143
19.18/17.03 decisions=20231, wrong=9980, backtracks=479, failedAssignments=9931, nogoods=1767, foundSolutions=3, bestBound=91
19.18/17.03
19.18/17.10 num=54, depth=0..2, filters=81739, revisions=(113738,useless=20097), ccks=147947171, wck=14.927, mem=111M143
19.18/17.10 decisions=20260, wrong=9994, backtracks=482, failedAssignments=9945, nogoods=1773, foundSolutions=3, bestBound=91
19.18/17.10
19.28/17.17 num=55, depth=2..3, filters=82023, revisions=(114171,useless=20200), ccks=148687935, wck=15.0, mem=113M785
19.28/17.17 decisions=20295, wrong=10010, backtracks=483, failedAssignments=9961, nogoods=1784, foundSolutions=3, bestBound=91
19.28/17.17
19.37/17.25 num=56, depth=0..3, filters=82480, revisions=(114867,useless=20345), ccks=149476343, wck=15.083, mem=113M785
19.37/17.25 decisions=20333, wrong=10028, backtracks=487, failedAssignments=9978, nogoods=1789, foundSolutions=3, bestBound=91
19.37/17.25
19.37/17.29 num=57, depth=4..7, filters=82714, revisions=(115194,useless=20422), ccks=149787389, wck=15.116, mem=113M785
19.37/17.29 decisions=20378, wrong=10047, backtracks=487, failedAssignments=9997, nogoods=1808, foundSolutions=3, bestBound=91
19.37/17.29
19.47/17.39 num=58, depth=1..5, filters=83147, revisions=(115808,useless=20545), ccks=150875497, wck=15.221, mem=113M785
19.47/17.39 decisions=20425, wrong=10068, backtracks=487, failedAssignments=10018, nogoods=1829, foundSolutions=3, bestBound=91
19.47/17.39
19.57/17.48 num=59, depth=0..3, filters=83466, revisions=(116284,useless=20656), ccks=151742218, wck=15.307, mem=113M785
19.57/17.48 decisions=20474, wrong=10091, backtracks=490, failedAssignments=10041, nogoods=1837, foundSolutions=3, bestBound=91
19.57/17.48
19.67/17.58 num=60, depth=0..3, filters=83868, revisions=(116881,useless=20804), ccks=152729540, wck=15.406, mem=116M428
19.67/17.58 decisions=20527, wrong=10116, backtracks=493, failedAssignments=10066, nogoods=1856, foundSolutions=3, bestBound=91
19.67/17.58
19.80/17.67 num=61, depth=1..3, filters=84408, revisions=(117662,useless=20979), ccks=153654736, wck=15.502, mem=116M428
19.80/17.67 decisions=20585, wrong=10144, backtracks=495, failedAssignments=10094, nogoods=1876, foundSolutions=3, bestBound=91
19.80/17.67
20.01/17.80 num=62, depth=0..3, filters=84989, revisions=(118528,useless=21161), ccks=154856082, wck=15.628, mem=116M428
20.01/17.80 decisions=20651, wrong=10176, backtracks=503, failedAssignments=10125, nogoods=1885, foundSolutions=3, bestBound=91
20.01/17.80
20.01/17.83 num=63, depth=7..7, filters=85197, revisions=(118815,useless=21228), ccks=155160702, wck=15.661, mem=116M428
20.01/17.83 decisions=20726, wrong=10210, backtracks=503, failedAssignments=10159, nogoods=1919, foundSolutions=3, bestBound=91
20.01/17.83
20.11/17.91 num=64, depth=4..8, filters=85999, revisions=(119876,useless=21449), ccks=155924149, wck=15.742, mem=116M428
20.11/17.91 decisions=20810, wrong=10248, backtracks=506, failedAssignments=10196, nogoods=1950, foundSolutions=3, bestBound=91
20.11/17.91
20.22/18.07 num=65, depth=5..6, filters=87025, revisions=(121247,useless=21699), ccks=157514584, wck=15.897, mem=119M70
20.22/18.07 decisions=20900, wrong=10290, backtracks=507, failedAssignments=10237, nogoods=1982, foundSolutions=3, bestBound=91
20.22/18.07
20.41/18.20 num=66, depth=0..6, filters=87566, revisions=(122070,useless=21916), ccks=158969275, wck=16.034, mem=119M70
20.41/18.20 decisions=20996, wrong=10335, backtracks=508, failedAssignments=10282, nogoods=2011, foundSolutions=3, bestBound=91
20.41/18.20
20.41/18.25 num=67, depth=4..8, filters=88136, revisions=(122834,useless=22078), ccks=159392313, wck=16.082, mem=119M70
20.41/18.25 decisions=21106, wrong=10386, backtracks=510, failedAssignments=10332, nogoods=2054, foundSolutions=3, bestBound=91
20.41/18.25
20.41/18.29 num=68, depth=5..8, filters=88635, revisions=(123492,useless=22216), ccks=159721724, wck=16.118, mem=119M70
20.41/18.29 decisions=21226, wrong=10442, backtracks=512, failedAssignments=10387, nogoods=2103, foundSolutions=3, bestBound=91
20.41/18.29
20.51/18.33 num=69, depth=4..8, filters=89135, revisions=(124159,useless=22356), ccks=160044762, wck=16.157, mem=121M713
20.51/18.33 decisions=21357, wrong=10504, backtracks=515, failedAssignments=10448, nogoods=2117, foundSolutions=3, bestBound=91
20.51/18.33
20.51/18.37 num=70, depth=5..8, filters=89714, revisions=(124936,useless=22519), ccks=160447846, wck=16.201, mem=121M713
20.51/18.37 decisions=21500, wrong=10572, backtracks=518, failedAssignments=10515, nogoods=2149, foundSolutions=3, bestBound=91
20.51/18.37
20.61/18.41 num=71, depth=4..7, filters=90256, revisions=(125650,useless=22656), ccks=160780919, wck=16.242, mem=121M713
20.61/18.41 decisions=21657, wrong=10647, backtracks=520, failedAssignments=10589, nogoods=2213, foundSolutions=3, bestBound=91
20.61/18.41
20.61/18.48 num=72, depth=5..8, filters=91621, revisions=(127377,useless=22946), ccks=161460120, wck=16.314, mem=121M713
20.61/18.48 decisions=21829, wrong=10729, backtracks=523, failedAssignments=10670, nogoods=2241, foundSolutions=3, bestBound=91
20.61/18.48
20.72/18.53 num=73, depth=4..7, filters=92207, revisions=(128150,useless=23093), ccks=161819044, wck=16.36, mem=121M713
20.72/18.53 decisions=22015, wrong=10819, backtracks=526, failedAssignments=10759, nogoods=2316, foundSolutions=3, bestBound=91
20.72/18.53
20.72/18.57 num=74, depth=5..8, filters=92751, revisions=(128851,useless=23222), ccks=162133453, wck=16.398, mem=121M713
20.72/18.57 decisions=22220, wrong=10918, backtracks=528, failedAssignments=10857, nogoods=2333, foundSolutions=3, bestBound=91
20.72/18.57
20.82/18.63 num=75, depth=4..10, filters=94008, revisions=(130471,useless=23543), ccks=162594412, wck=16.456, mem=124M355
20.82/18.63 decisions=22448, wrong=11027, backtracks=534, failedAssignments=10965, nogoods=2351, foundSolutions=3, bestBound=91
20.82/18.63
21.23/19.08 num=76, depth=1..2, filters=94780, revisions=(131676,useless=23553), ccks=167498208, wck=16.912, mem=124M355
21.23/19.08 decisions=22687, wrong=11146, backtracks=535, failedAssignments=11084, nogoods=2364, foundSolutions=3, bestBound=91
21.23/19.08
21.42/19.29 num=77, depth=2..6, filters=97167, revisions=(134646,useless=23943), ccks=169521209, wck=17.115, mem=126M998
21.42/19.29 decisions=22965, wrong=11282, backtracks=544, failedAssignments=11215, nogoods=2400, foundSolutions=3, bestBound=91
21.42/19.29
21.52/19.37 num=78, depth=0..6, filters=97718, revisions=(135446,useless=24101), ccks=170316068, wck=17.204, mem=126M998
21.52/19.37 decisions=23258, wrong=11426, backtracks=551, failedAssignments=11359, nogoods=2451, foundSolutions=3, bestBound=91
21.52/19.37
21.82/19.62 num=79, depth=4..7, filters=100996, revisions=(139881,useless=25014), ccks=172681408, wck=17.448, mem=129M640
21.82/19.62 decisions=23582, wrong=11585, backtracks=575, failedAssignments=11517, nogoods=2506, foundSolutions=3, bestBound=91
21.82/19.62
22.02/19.85 num=80, depth=0..7, filters=102396, revisions=(141907,useless=25465), ccks=174840321, wck=17.676, mem=129M640
22.02/19.85 decisions=23938, wrong=11760, backtracks=589, failedAssignments=11691, nogoods=2557, foundSolutions=3, bestBound=91
22.02/19.85
22.33/20.19 num=81, depth=4..9, filters=108201, revisions=(149181,useless=26632), ccks=178199192, wck=18.02, mem=132M282
22.33/20.19 decisions=24358, wrong=11966, backtracks=611, failedAssignments=11882, nogoods=2622, foundSolutions=3, bestBound=91
22.33/20.19
22.72/20.53 num=82, depth=0..7, filters=111995, revisions=(154016,useless=27320), ccks=181563907, wck=18.355, mem=137M568
22.72/20.53 decisions=24786, wrong=12177, backtracks=625, failedAssignments=12093, nogoods=2664, foundSolutions=3, bestBound=91
22.72/20.53
22.92/20.77 num=83, depth=0..7, filters=116602, revisions=(160276,useless=28766), ccks=183828848, wck=18.603, mem=137M568
22.92/20.77 decisions=25258, wrong=12410, backtracks=656, failedAssignments=12325, nogoods=2707, foundSolutions=3, bestBound=91
22.92/20.77
23.31/21.09 num=84, depth=0..7, filters=121796, revisions=(167165,useless=30188), ccks=186797800, wck=18.921, mem=142M778
23.31/21.09 decisions=25786, wrong=12671, backtracks=689, failedAssignments=12580, nogoods=2749, foundSolutions=3, bestBound=91
23.31/21.09
23.83/21.57 num=85, depth=0..8, filters=127940, revisions=(175271,useless=31716), ccks=191142925, wck=19.396, mem=23M560
23.83/21.57 decisions=26368, wrong=12960, backtracks=729, failedAssignments=12861, nogoods=2779, foundSolutions=3, bestBound=91
23.83/21.57
24.03/21.74 num=86, depth=0..6, filters=129190, revisions=(176937,useless=32042), ccks=192538336, wck=19.566, mem=26M176
24.03/21.74 decisions=26990, wrong=13269, backtracks=739, failedAssignments=13170, nogoods=2878, foundSolutions=3, bestBound=91
24.03/21.74
24.13/21.82 num=87, depth=2..8, filters=130053, revisions=(178016,useless=32220), ccks=193110304, wck=19.648, mem=26M176
24.13/21.82 decisions=27677, wrong=13610, backtracks=745, failedAssignments=13510, nogoods=2974, foundSolutions=3, bestBound=91
24.13/21.82
24.25/21.97 num=88, depth=1..7, filters=132010, revisions=(180543,useless=32725), ccks=194363257, wck=19.8, mem=26M176
24.25/21.97 decisions=28431, wrong=13984, backtracks=752, failedAssignments=13884, nogoods=3007, foundSolutions=3, bestBound=91
24.25/21.97
24.95/22.60 num=89, depth=0..6, filters=139626, revisions=(190758,useless=34575), ccks=200400798, wck=20.431, mem=31M408
24.95/22.60 decisions=29272, wrong=14402, backtracks=801, failedAssignments=14295, nogoods=3068, foundSolutions=3, bestBound=91
24.95/22.60
25.36/23.06 num=90, depth=0..7, filters=148027, revisions=(201958,useless=36940), ccks=204616747, wck=20.886, mem=36M640
25.36/23.06 decisions=30204, wrong=14865, backtracks=863, failedAssignments=14747, nogoods=3211, foundSolutions=3, bestBound=91
25.36/23.06
25.85/23.51 num=91, depth=3..8, filters=156098, revisions=(212480,useless=38848), ccks=208898587, wck=21.338, mem=41M872
25.85/23.51 decisions=31212, wrong=15366, backtracks=887, failedAssignments=15244, nogoods=3311, foundSolutions=3, bestBound=91
25.85/23.51
26.05/23.79 num=92, depth=1..7, filters=165237, revisions=(223522,useless=40583), ccks=211003974, wck=21.622, mem=44M488
26.05/23.79 decisions=32314, wrong=15914, backtracks=898, failedAssignments=15791, nogoods=3338, foundSolutions=3, bestBound=91
26.05/23.79
26.26/23.95 num=93, depth=1..9, filters=167362, revisions=(226250,useless=41083), ccks=212112563, wck=21.782, mem=47M104
26.26/23.95 decisions=33522, wrong=16516, backtracks=920, failedAssignments=16393, nogoods=3454, foundSolutions=3, bestBound=91
26.26/23.95
26.56/24.20 num=94, depth=2..10, filters=171132, revisions=(231306,useless=42281), ccks=214139597, wck=22.033, mem=49M720
26.56/24.20 decisions=34858, wrong=17180, backtracks=949, failedAssignments=17055, nogoods=3534, foundSolutions=3, bestBound=91
26.56/24.20
27.76/25.46 num=95, depth=0..7, filters=173533, revisions=(235061,useless=42564), ccks=227289623, wck=23.289, mem=52M336
27.76/25.46 decisions=36316, wrong=17908, backtracks=959, failedAssignments=17783, nogoods=3631, foundSolutions=3, bestBound=91
27.76/25.46
27.86/25.56 num=96, depth=5..9, filters=175988, revisions=(237984,useless=42980), ccks=227768078, wck=23.392, mem=54M952
27.86/25.56 decisions=37928, wrong=18711, backtracks=981, failedAssignments=18584, nogoods=3646, foundSolutions=3, bestBound=91
27.86/25.56
28.47/26.12 num=97, depth=0..10, filters=182794, revisions=(246978,useless=44636), ccks=232482261, wck=23.944, mem=57M568
28.47/26.12 decisions=39701, wrong=19593, backtracks=1025, failedAssignments=19465, nogoods=3684, foundSolutions=3, bestBound=91
28.47/26.12
30.76/28.47 num=98, depth=0..8, filters=189041, revisions=(256424,useless=45614), ccks=257482727, wck=26.301, mem=68M32
30.76/28.47 decisions=41646, wrong=20563, backtracks=1037, failedAssignments=20435, nogoods=3794, foundSolutions=3, bestBound=91
30.76/28.47
31.06/28.70 num=99, depth=2..10, filters=192722, revisions=(261099,useless=46557), ccks=258905804, wck=26.534, mem=70M648
31.06/28.70 decisions=43793, wrong=21633, backtracks=1069, failedAssignments=21502, nogoods=3857, foundSolutions=3, bestBound=91
31.06/28.70
31.47/29.17 num=100, depth=0..11, filters=199385, revisions=(269874,useless=48402), ccks=262735075, wck=27.001, mem=73M264
31.47/29.17 decisions=46154, wrong=22811, backtracks=1114, failedAssignments=22675, nogoods=3889, foundSolutions=3, bestBound=91
31.47/29.17
31.66/29.38 o 90
31.66/29.38 num=101, depth=0..65, filters=202756, revisions=(274281,useless=49261), ccks=264557490, wck=27.205, mem=77M201
31.66/29.38 decisions=46534, wrong=22997, backtracks=1135, failedAssignments=22858, nogoods=3965, foundSolutions=4, bestBound=90
31.66/29.38
32.09/29.79 o 88
32.09/29.79 num=102, depth=2..65, filters=207757, revisions=(280503,useless=50144), ccks=268566100, wck=27.618, mem=79M817
32.09/29.79 decisions=46999, wrong=23224, backtracks=1151, failedAssignments=23080, nogoods=4032, foundSolutions=5, bestBound=88
32.09/29.79
32.19/29.83 num=103, depth=1..3, filters=208048, revisions=(280967,useless=50236), ccks=268897832, wck=27.658, mem=79M817
32.19/29.83 decisions=47022, wrong=23235, backtracks=1156, failedAssignments=23091, nogoods=4033, foundSolutions=5, bestBound=88
32.19/29.83
32.19/29.89 num=104, depth=1..3, filters=208408, revisions=(281484,useless=50352), ccks=269431310, wck=27.718, mem=79M817
32.19/29.89 decisions=47048, wrong=23247, backtracks=1160, failedAssignments=23102, nogoods=4038, foundSolutions=5, bestBound=88
32.19/29.89
32.29/29.95 num=105, depth=1..3, filters=208702, revisions=(281911,useless=50468), ccks=270022224, wck=27.779, mem=79M817
32.29/29.95 decisions=47078, wrong=23261, backtracks=1163, failedAssignments=23114, nogoods=4042, foundSolutions=5, bestBound=88
32.29/29.95
32.40/30.02 num=106, depth=3..5, filters=209315, revisions=(282738,useless=50602), ccks=270718534, wck=27.853, mem=82M433
32.40/30.02 decisions=47114, wrong=23277, backtracks=1167, failedAssignments=23127, nogoods=4044, foundSolutions=5, bestBound=88
32.40/30.02
32.40/30.07 num=107, depth=1..4, filters=209582, revisions=(283104,useless=50688), ccks=271126208, wck=27.897, mem=82M433
32.40/30.07 decisions=47145, wrong=23291, backtracks=1169, failedAssignments=23141, nogoods=4055, foundSolutions=5, bestBound=88
32.40/30.07
32.50/30.13 num=108, depth=1..3, filters=209972, revisions=(283670,useless=50831), ccks=271644056, wck=27.956, mem=82M433
32.50/30.13 decisions=47181, wrong=23308, backtracks=1173, failedAssignments=23157, nogoods=4060, foundSolutions=5, bestBound=88
32.50/30.13
32.59/30.20 num=109, depth=3..5, filters=210711, revisions=(284663,useless=50982), ccks=272365177, wck=28.034, mem=82M433
32.59/30.20 decisions=47227, wrong=23329, backtracks=1178, failedAssignments=23174, nogoods=4062, foundSolutions=5, bestBound=88
32.59/30.20
32.59/30.27 num=110, depth=1..3, filters=211053, revisions=(285140,useless=51103), ccks=272937460, wck=28.095, mem=82M433
32.59/30.27 decisions=47268, wrong=23348, backtracks=1181, failedAssignments=23193, nogoods=4075, foundSolutions=5, bestBound=88
32.59/30.27
32.69/30.35 num=111, depth=1..3, filters=211600, revisions=(285964,useless=51290), ccks=273703176, wck=28.181, mem=82M433
32.69/30.35 decisions=47318, wrong=23372, backtracks=1187, failedAssignments=23214, nogoods=4084, foundSolutions=5, bestBound=88
32.69/30.35
32.80/30.43 num=112, depth=1..6, filters=212177, revisions=(286743,useless=51449), ccks=274427429, wck=28.254, mem=85M49
32.80/30.43 decisions=47370, wrong=23395, backtracks=1189, failedAssignments=23237, nogoods=4102, foundSolutions=5, bestBound=88
32.80/30.43
32.90/30.51 num=113, depth=0..3, filters=212797, revisions=(287688,useless=51674), ccks=275196836, wck=28.342, mem=85M49
32.90/30.51 decisions=47423, wrong=23421, backtracks=1197, failedAssignments=23262, nogoods=4111, foundSolutions=5, bestBound=88
32.90/30.51
33.00/30.63 num=114, depth=0..4, filters=213428, revisions=(288597,useless=51883), ccks=276274933, wck=28.457, mem=85M49
33.00/30.63 decisions=47483, wrong=23449, backtracks=1205, failedAssignments=23290, nogoods=4115, foundSolutions=5, bestBound=88
33.00/30.63
33.10/30.71 num=115, depth=1..5, filters=214124, revisions=(289553,useless=52115), ccks=277057361, wck=28.542, mem=85M49
33.10/30.71 decisions=47550, wrong=23480, backtracks=1210, failedAssignments=23321, nogoods=4137, foundSolutions=5, bestBound=88
33.10/30.71
33.20/30.84 num=116, depth=0..4, filters=214897, revisions=(290721,useless=52371), ccks=278284284, wck=28.673, mem=87M665
33.20/30.84 decisions=47626, wrong=23517, backtracks=1220, failedAssignments=23355, nogoods=4147, foundSolutions=5, bestBound=88
33.20/30.84
33.30/30.95 num=117, depth=4..6, filters=216237, revisions=(292457,useless=52602), ccks=279284900, wck=28.783, mem=87M665
33.30/30.95 decisions=47719, wrong=23561, backtracks=1228, failedAssignments=23392, nogoods=4162, foundSolutions=5, bestBound=88
33.30/30.95
33.43/31.04 num=118, depth=2..6, filters=216972, revisions=(293447,useless=52810), ccks=280187272, wck=28.874, mem=87M665
33.43/31.04 decisions=47807, wrong=23602, backtracks=1229, failedAssignments=23433, nogoods=4201, foundSolutions=5, bestBound=88
33.43/31.04
33.53/31.20 num=119, depth=0..4, filters=218050, revisions=(295026,useless=53164), ccks=281547848, wck=29.025, mem=90M281
33.53/31.20 decisions=47905, wrong=23650, backtracks=1241, failedAssignments=23478, nogoods=4205, foundSolutions=5, bestBound=88
33.53/31.20
33.62/31.29 num=120, depth=3..8, filters=219414, revisions=(296762,useless=53474), ccks=282435329, wck=29.121, mem=90M281
33.62/31.29 decisions=48013, wrong=23701, backtracks=1249, failedAssignments=23528, nogoods=4222, foundSolutions=5, bestBound=88
33.62/31.29
33.83/31.47 num=121, depth=0..4, filters=220760, revisions=(298739,useless=53933), ccks=283958957, wck=29.295, mem=90M281
33.83/31.47 decisions=48132, wrong=23760, backtracks=1264, failedAssignments=23583, nogoods=4230, foundSolutions=5, bestBound=88
33.83/31.47
33.93/31.54 num=122, depth=3..7, filters=222042, revisions=(300373,useless=54211), ccks=284616971, wck=29.366, mem=92M897
33.93/31.54 decisions=48262, wrong=23822, backtracks=1270, failedAssignments=23644, nogoods=4239, foundSolutions=5, bestBound=88
33.93/31.54
34.03/31.66 num=123, depth=2..8, filters=223472, revisions=(302220,useless=54530), ccks=285854341, wck=29.493, mem=92M897
34.03/31.66 decisions=48407, wrong=23891, backtracks=1278, failedAssignments=23711, nogoods=4303, foundSolutions=5, bestBound=88
34.03/31.66
34.33/31.97 num=124, depth=0..4, filters=225284, revisions=(304771,useless=55137), ccks=288650285, wck=29.799, mem=95M513
34.33/31.97 decisions=48570, wrong=23971, backtracks=1299, failedAssignments=23785, nogoods=4314, foundSolutions=5, bestBound=88
34.33/31.97
34.44/32.04 num=125, depth=3..7, filters=225997, revisions=(305738,useless=55327), ccks=289263662, wck=29.866, mem=95M513
34.44/32.04 decisions=48738, wrong=24052, backtracks=1301, failedAssignments=23866, nogoods=4393, foundSolutions=5, bestBound=88
34.44/32.04
34.54/32.16 num=126, depth=2..8, filters=227716, revisions=(307982,useless=55761), ccks=290483240, wck=29.991, mem=95M513
34.54/32.16 decisions=48922, wrong=24141, backtracks=1312, failedAssignments=23955, nogoods=4417, foundSolutions=5, bestBound=88
34.54/32.16
34.73/32.35 num=127, depth=1..3, filters=229251, revisions=(310356,useless=56250), ccks=292165350, wck=30.181, mem=98M129
34.73/32.35 decisions=49122, wrong=24240, backtracks=1325, failedAssignments=24053, nogoods=4430, foundSolutions=5, bestBound=88
34.73/32.35
34.93/32.51 num=128, depth=3..8, filters=231958, revisions=(313773,useless=56819), ccks=293600837, wck=30.335, mem=98M129
34.93/32.51 decisions=49353, wrong=24353, backtracks=1342, failedAssignments=24161, nogoods=4452, foundSolutions=5, bestBound=88
34.93/32.51
35.13/32.73 num=129, depth=0..7, filters=233561, revisions=(316052,useless=57320), ccks=295701185, wck=30.563, mem=100M745
35.13/32.73 decisions=49598, wrong=24472, backtracks=1357, failedAssignments=24280, nogoods=4507, foundSolutions=5, bestBound=88
35.13/32.73
35.25/32.80 num=130, depth=5..8, filters=234242, revisions=(316944,useless=57500), ccks=296340973, wck=30.631, mem=100M745
35.25/32.80 decisions=49866, wrong=24603, backtracks=1361, failedAssignments=24411, nogoods=4562, foundSolutions=5, bestBound=88
35.25/32.80
35.35/33.01 num=131, depth=2..8, filters=237662, revisions=(321422,useless=58374), ccks=298334315, wck=30.835, mem=103M361
35.35/33.01 decisions=50173, wrong=24753, backtracks=1376, failedAssignments=24555, nogoods=4628, foundSolutions=5, bestBound=88
35.35/33.01
35.65/33.27 num=132, depth=0..7, filters=241197, revisions=(326307,useless=59369), ccks=300741152, wck=31.099, mem=105M977
35.65/33.27 decisions=50501, wrong=24914, backtracks=1404, failedAssignments=24713, nogoods=4651, foundSolutions=5, bestBound=88
35.65/33.27
36.05/33.63 num=133, depth=0..7, filters=244377, revisions=(330824,useless=60330), ccks=304059674, wck=31.46, mem=108M593
36.05/33.63 decisions=50855, wrong=25089, backtracks=1433, failedAssignments=24887, nogoods=4658, foundSolutions=5, bestBound=88
36.05/33.63
36.35/33.90 num=134, depth=0..7, filters=248585, revisions=(336583,useless=61535), ccks=306652624, wck=31.734, mem=111M209
36.35/33.90 decisions=51241, wrong=25280, backtracks=1465, failedAssignments=25078, nogoods=4722, foundSolutions=5, bestBound=88
36.35/33.90
36.65/34.29 num=135, depth=0..7, filters=252284, revisions=(341938,useless=62643), ccks=310285904, wck=32.123, mem=113M825
36.65/34.29 decisions=51673, wrong=25494, backtracks=1488, failedAssignments=25289, nogoods=4726, foundSolutions=5, bestBound=88
36.65/34.29
37.35/34.92 num=136, depth=0..6, filters=256781, revisions=(348595,useless=64072), ccks=316088318, wck=32.749, mem=119M56
37.35/34.92 decisions=52150, wrong=25730, backtracks=1523, failedAssignments=25521, nogoods=4734, foundSolutions=5, bestBound=88
37.35/34.92
37.75/35.31 num=137, depth=0..6, filters=261482, revisions=(355507,useless=65657), ccks=319579405, wck=33.136, mem=121M672
37.75/35.31 decisions=52665, wrong=25986, backtracks=1561, failedAssignments=25776, nogoods=4766, foundSolutions=5, bestBound=88
37.75/35.31
37.95/35.52 num=138, depth=0..6, filters=263468, revisions=(358395,useless=66274), ccks=321311688, wck=33.349, mem=124M288
37.95/35.52 decisions=53235, wrong=26269, backtracks=1578, failedAssignments=26057, nogoods=4839, foundSolutions=5, bestBound=88
37.95/35.52
38.05/35.69 num=139, depth=4..8, filters=267037, revisions=(363267,useless=67373), ccks=322794387, wck=33.52, mem=126M904
38.05/35.69 decisions=53858, wrong=26578, backtracks=1615, failedAssignments=26366, nogoods=4919, foundSolutions=5, bestBound=88
38.05/35.69
38.65/36.24 num=140, depth=0..8, filters=273853, revisions=(372795,useless=69323), ccks=327787459, wck=34.07, mem=132M136
38.65/36.24 decisions=54559, wrong=26925, backtracks=1653, failedAssignments=26706, nogoods=4963, foundSolutions=5, bestBound=88
38.65/36.24
39.46/37.01 num=141, depth=1..4, filters=280772, revisions=(382858,useless=71350), ccks=334595078, wck=34.837, mem=137M368
39.46/37.01 decisions=55337, wrong=27313, backtracks=1700, failedAssignments=27080, nogoods=4979, foundSolutions=5, bestBound=88
39.46/37.01
40.05/37.64 num=142, depth=0..10, filters=286362, revisions=(390630,useless=73067), ccks=340385792, wck=35.474, mem=142M600
40.05/37.64 decisions=56190, wrong=27735, backtracks=1753, failedAssignments=27491, nogoods=5064, foundSolutions=5, bestBound=88
40.05/37.64
41.56/39.13 num=143, depth=0..7, filters=290114, revisions=(396199,useless=73564), ccks=356192456, wck=36.959, mem=147M832
41.56/39.13 decisions=57101, wrong=28187, backtracks=1758, failedAssignments=27943, nogoods=5092, foundSolutions=5, bestBound=88
41.56/39.13
41.95/39.53 num=144, depth=0..6, filters=294798, revisions=(402590,useless=74857), ccks=359385973, wck=37.355, mem=150M448
41.95/39.53 decisions=58106, wrong=28687, backtracks=1808, failedAssignments=28440, nogoods=5114, foundSolutions=5, bestBound=88
41.95/39.53
42.35/39.99 num=145, depth=1..5, filters=299755, revisions=(409710,useless=76346), ccks=362689968, wck=37.815, mem=153M64
42.35/39.99 decisions=59218, wrong=29242, backtracks=1859, failedAssignments=28987, nogoods=5244, foundSolutions=5, bestBound=88
42.35/39.99
42.68/40.28 num=146, depth=2..8, filters=304295, revisions=(415696,useless=77672), ccks=365014892, wck=38.108, mem=23M845
42.68/40.28 decisions=60430, wrong=29844, backtracks=1885, failedAssignments=29589, nogoods=5333, foundSolutions=5, bestBound=88
42.68/40.28
45.10/42.64 num=147, depth=0..6, filters=314627, revisions=(430119,useless=79599), ccks=390129366, wck=40.465, mem=34M309
45.10/42.64 decisions=61770, wrong=30511, backtracks=1921, failedAssignments=30251, nogoods=5428, foundSolutions=5, bestBound=88
45.10/42.64
46.00/43.57 num=148, depth=0..7, filters=323668, revisions=(442630,useless=82101), ccks=398436949, wck=41.4, mem=42M157
46.00/43.57 decisions=63262, wrong=31254, backtracks=1995, failedAssignments=30979, nogoods=5552, foundSolutions=5, bestBound=88
46.00/43.57
46.30/43.86 num=149, depth=2..9, filters=328830, revisions=(449141,useless=83300), ccks=400506103, wck=41.687, mem=44M773
46.30/43.86 decisions=64875, wrong=32057, backtracks=2025, failedAssignments=31780, nogoods=5636, foundSolutions=5, bestBound=88
46.30/43.86
50.52/48.08 num=150, depth=0..9, filters=343966, revisions=(470974,useless=85977), ccks=445358807, wck=45.908, mem=63M85
50.52/48.08 decisions=66654, wrong=32945, backtracks=2061, failedAssignments=32661, nogoods=5653, foundSolutions=5, bestBound=88
50.52/48.08
51.32/48.84 num=151, depth=2..7, filters=353210, revisions=(483690,useless=88437), ccks=452243794, wck=46.668, mem=68M317
51.32/48.84 decisions=68602, wrong=33917, backtracks=2105, failedAssignments=33631, nogoods=5739, foundSolutions=5, bestBound=88
51.32/48.84
52.72/50.29 num=152, depth=0..7, filters=367177, revisions=(502991,useless=92562), ccks=464681089, wck=48.114, mem=78M780
52.72/50.29 decisions=70792, wrong=35009, backtracks=2236, failedAssignments=34698, nogoods=5778, foundSolutions=5, bestBound=88
52.72/50.29
53.72/51.25 num=153, depth=0..7, filters=380290, revisions=(520889,useless=96427), ccks=472515520, wck=49.081, mem=89M244
53.72/51.25 decisions=73178, wrong=36199, backtracks=2324, failedAssignments=35871, nogoods=5867, foundSolutions=5, bestBound=88
53.72/51.25
57.32/54.81 num=154, depth=0..7, filters=403538, revisions=(554430,useless=102773), ccks=506544490, wck=52.638, mem=110M172
57.32/54.81 decisions=75837, wrong=37526, backtracks=2484, failedAssignments=37162, nogoods=5958, foundSolutions=5, bestBound=88
57.32/54.81
59.12/56.62 num=155, depth=0..11, filters=414805, revisions=(570215,useless=105629), ccks=524794331, wck=54.445, mem=120M636
59.12/56.62 decisions=78709, wrong=38957, backtracks=2568, failedAssignments=38582, nogoods=6065, foundSolutions=5, bestBound=88
59.12/56.62
60.72/58.21 num=156, depth=1..8, filters=427171, revisions=(586016,useless=108234), ccks=538682491, wck=56.038, mem=131M100
60.72/58.21 decisions=81849, wrong=40525, backtracks=2620, failedAssignments=40144, nogoods=6145, foundSolutions=5, bestBound=88
60.72/58.21
61.32/58.85 num=157, depth=1..8, filters=433867, revisions=(594788,useless=109959), ccks=542887187, wck=56.678, mem=133M716
61.32/58.85 decisions=85298, wrong=42248, backtracks=2689, failedAssignments=41862, nogoods=6160, foundSolutions=5, bestBound=88
61.32/58.85
62.63/60.16 num=158, depth=4..7, filters=463367, revisions=(630905,useless=114125), ccks=555349120, wck=57.986, mem=149M412
62.63/60.16 decisions=89087, wrong=44139, backtracks=2745, failedAssignments=43752, nogoods=6248, foundSolutions=5, bestBound=88
62.63/60.16
65.55/63.10 num=159, depth=1..5, filters=491006, revisions=(669989,useless=121683), ccks=579990821, wck=60.926, mem=37M79
65.55/63.10 decisions=93331, wrong=46260, backtracks=2967, failedAssignments=45831, nogoods=6288, foundSolutions=5, bestBound=88
65.55/63.10
66.65/64.19 num=160, depth=1..8, filters=505147, revisions=(689107,useless=125641), ccks=588788360, wck=62.018, mem=47M580
66.65/64.19 decisions=97919, wrong=48552, backtracks=3076, failedAssignments=48118, nogoods=6410, foundSolutions=5, bestBound=88
66.65/64.19
67.74/65.23 num=161, depth=1..10, filters=519071, revisions=(708673,useless=130857), ccks=596683870, wck=63.062, mem=58M80
67.74/65.23 decisions=102961, wrong=51069, backtracks=3163, failedAssignments=50634, nogoods=6504, foundSolutions=5, bestBound=88
67.74/65.23
68.84/66.35 num=162, depth=1..8, filters=533964, revisions=(728835,useless=135500), ccks=604778773, wck=64.177, mem=68M581
68.84/66.35 decisions=108509, wrong=53840, backtracks=3300, failedAssignments=53402, nogoods=6580, foundSolutions=5, bestBound=88
68.84/66.35
69.85/67.39 num=163, depth=1..8, filters=546295, revisions=(744991,useless=138722), ccks=611676155, wck=65.215, mem=76M457
69.85/67.39 decisions=114608, wrong=56888, backtracks=3392, failedAssignments=56446, nogoods=6637, foundSolutions=5, bestBound=88
69.85/67.39
71.95/69.47 num=164, depth=1..10, filters=587692, revisions=(797462,useless=146083), ccks=630869426, wck=67.304, mem=97M459
71.95/69.47 decisions=121325, wrong=60242, backtracks=3563, failedAssignments=59795, nogoods=6780, foundSolutions=5, bestBound=88
71.95/69.47
74.07/71.51 o 87
74.07/71.51 num=165, depth=1..65, filters=617969, revisions=(838933,useless=154879), ccks=648098772, wck=69.343, mem=118M461
74.07/71.51 decisions=128015, wrong=63579, backtracks=3755, failedAssignments=63118, nogoods=6947, foundSolutions=6, bestBound=87
74.07/71.51
74.97/72.41 num=166, depth=1..9, filters=657370, revisions=(886382,useless=162149), ccks=653853995, wck=70.24, mem=136M837
74.97/72.41 decisions=136137, wrong=67636, backtracks=3870, failedAssignments=67170, nogoods=7064, foundSolutions=6, bestBound=87
74.97/72.41
74.97/72.47 num=167, depth=1..3, filters=657656, revisions=(886850,useless=162244), ccks=654381207, wck=70.295, mem=136M837
74.97/72.47 decisions=136162, wrong=67647, backtracks=3873, failedAssignments=67181, nogoods=7068, foundSolutions=6, bestBound=87
74.97/72.47
75.07/72.53 num=168, depth=1..3, filters=658073, revisions=(887453,useless=162401), ccks=654950221, wck=70.36, mem=136M837
75.07/72.53 decisions=136193, wrong=67661, backtracks=3878, failedAssignments=67193, nogoods=7073, foundSolutions=6, bestBound=87
75.07/72.53
75.17/72.61 num=169, depth=2..4, filters=658397, revisions=(887954,useless=162536), ccks=655792079, wck=70.441, mem=136M837
75.17/72.61 decisions=136222, wrong=67674, backtracks=3879, failedAssignments=67206, nogoods=7085, foundSolutions=6, bestBound=87
75.17/72.61
75.17/72.68 num=170, depth=1..3, filters=658833, revisions=(888618,useless=162704), ccks=656349443, wck=70.506, mem=136M837
75.17/72.68 decisions=136253, wrong=67688, backtracks=3885, failedAssignments=67220, nogoods=7088, foundSolutions=6, bestBound=87
75.17/72.68
75.27/72.72 num=171, depth=2..3, filters=659271, revisions=(889325,useless=162868), ccks=656758114, wck=70.554, mem=136M837
75.27/72.72 decisions=136287, wrong=67704, backtracks=3889, failedAssignments=67236, nogoods=7094, foundSolutions=6, bestBound=87
75.27/72.72
75.27/72.78 num=172, depth=1..3, filters=659692, revisions=(889928,useless=162988), ccks=657261951, wck=70.612, mem=139M462
75.27/72.78 decisions=136322, wrong=67721, backtracks=3893, failedAssignments=67253, nogoods=7097, foundSolutions=6, bestBound=87
75.27/72.78
75.37/72.87 num=173, depth=3..4, filters=659991, revisions=(890343,useless=163039), ccks=658139077, wck=70.695, mem=139M462
75.37/72.87 decisions=136364, wrong=67740, backtracks=3893, failedAssignments=67272, nogoods=7116, foundSolutions=6, bestBound=87
75.37/72.87
75.50/72.93 num=174, depth=1..3, filters=660508, revisions=(891153,useless=163220), ccks=658665027, wck=70.758, mem=139M462
75.50/72.93 decisions=136409, wrong=67762, backtracks=3900, failedAssignments=67293, nogoods=7121, foundSolutions=6, bestBound=87
75.50/72.93
75.61/73.03 num=175, depth=2..3, filters=661217, revisions=(892186,useless=163429), ccks=659584360, wck=70.863, mem=139M462
75.61/73.03 decisions=136461, wrong=67787, backtracks=3906, failedAssignments=67316, nogoods=7128, foundSolutions=6, bestBound=87
75.61/73.03
75.61/73.11 num=176, depth=1..4, filters=661877, revisions=(893161,useless=163624), ccks=660189547, wck=70.935, mem=139M462
75.61/73.11 decisions=136513, wrong=67812, backtracks=3912, failedAssignments=67341, nogoods=7134, foundSolutions=6, bestBound=87
75.61/73.11
75.80/73.22 num=177, depth=1..3, filters=662517, revisions=(894055,useless=163858), ccks=661250386, wck=71.05, mem=142M88
75.80/73.22 decisions=136572, wrong=67840, backtracks=3920, failedAssignments=67369, nogoods=7142, foundSolutions=6, bestBound=87
75.80/73.22
75.80/73.29 num=178, depth=1..4, filters=663410, revisions=(895361,useless=164120), ccks=661785728, wck=71.119, mem=142M88
75.80/73.29 decisions=136639, wrong=67872, backtracks=3925, failedAssignments=67400, nogoods=7156, foundSolutions=6, bestBound=87
75.80/73.29
75.90/73.38 num=179, depth=4..6, filters=664313, revisions=(896597,useless=164357), ccks=662662396, wck=71.21, mem=142M88
75.90/73.38 decisions=136714, wrong=67907, backtracks=3928, failedAssignments=67434, nogoods=7180, foundSolutions=6, bestBound=87
75.90/73.38
76.10/73.53 num=180, depth=1..3, filters=665335, revisions=(898048,useless=164664), ccks=664000937, wck=71.361, mem=142M88
76.10/73.53 decisions=136799, wrong=67948, backtracks=3940, failedAssignments=67471, nogoods=7187, foundSolutions=6, bestBound=87
76.10/73.53
76.20/73.65 num=181, depth=3..6, filters=666048, revisions=(899032,useless=164807), ccks=665212172, wck=71.479, mem=144M713
76.20/73.65 decisions=136885, wrong=67989, backtracks=3943, failedAssignments=67512, nogoods=7218, foundSolutions=6, bestBound=87
76.20/73.65
76.40/73.85 num=182, depth=1..4, filters=667444, revisions=(901013,useless=165217), ccks=667059268, wck=71.683, mem=144M713
76.40/73.85 decisions=136998, wrong=68044, backtracks=3956, failedAssignments=67557, nogoods=7226, foundSolutions=6, bestBound=87
76.40/73.85
76.50/73.96 num=183, depth=3..7, filters=668761, revisions=(902785,useless=165569), ccks=668065902, wck=71.788, mem=144M713
76.50/73.96 decisions=137110, wrong=68097, backtracks=3967, failedAssignments=67607, nogoods=7261, foundSolutions=6, bestBound=87
76.50/73.96
76.61/74.07 num=184, depth=1..3, filters=669756, revisions=(904299,useless=165887), ccks=669040420, wck=71.904, mem=147M338
76.61/74.07 decisions=137224, wrong=68153, backtracks=3976, failedAssignments=67662, nogoods=7275, foundSolutions=6, bestBound=87
76.61/74.07
76.80/74.28 num=185, depth=3..6, filters=671886, revisions=(907129,useless=166332), ccks=670947209, wck=72.107, mem=147M338
76.80/74.28 decisions=137367, wrong=68222, backtracks=3989, failedAssignments=67723, nogoods=7295, foundSolutions=6, bestBound=87
76.80/74.28
77.00/74.44 num=186, depth=0..6, filters=673362, revisions=(909219,useless=166781), ccks=672447865, wck=72.27, mem=149M963
77.00/74.44 decisions=137512, wrong=68292, backtracks=4005, failedAssignments=67790, nogoods=7317, foundSolutions=6, bestBound=87
77.00/74.44
77.31/74.71 num=187, depth=1..4, filters=675165, revisions=(911793,useless=167350), ccks=674789405, wck=72.536, mem=150M822
77.31/74.71 decisions=137670, wrong=68370, backtracks=4022, failedAssignments=67864, nogoods=7325, foundSolutions=6, bestBound=87
77.31/74.71
77.41/74.80 num=188, depth=4..6, filters=677056, revisions=(914241,useless=167746), ccks=675668974, wck=72.632, mem=153M447
77.41/74.80 decisions=137852, wrong=68458, backtracks=4030, failedAssignments=67945, nogoods=7341, foundSolutions=6, bestBound=87
77.41/74.80
77.62/75.10 num=189, depth=1..5, filters=679960, revisions=(918403,useless=168616), ccks=678014477, wck=72.927, mem=24M50
77.62/75.10 decisions=138051, wrong=68556, backtracks=4058, failedAssignments=68034, nogoods=7354, foundSolutions=6, bestBound=87
77.62/75.10
77.94/75.30 num=190, depth=1..5, filters=681723, revisions=(920878,useless=169243), ccks=679937712, wck=73.13, mem=24M50
77.94/75.30 decisions=138252, wrong=68654, backtracks=4069, failedAssignments=68132, nogoods=7407, foundSolutions=6, bestBound=87
77.94/75.30
78.14/75.54 num=191, depth=0..7, filters=684167, revisions=(924284,useless=169968), ccks=682084115, wck=73.368, mem=26M634
78.14/75.54 decisions=138480, wrong=68765, backtracks=4092, failedAssignments=68240, nogoods=7475, foundSolutions=6, bestBound=87
78.14/75.54
78.35/75.77 num=192, depth=1..4, filters=686668, revisions=(927861,useless=170686), ccks=684033758, wck=73.604, mem=29M217
78.35/75.77 decisions=138729, wrong=68888, backtracks=4110, failedAssignments=68359, nogoods=7482, foundSolutions=6, bestBound=87
78.35/75.77
78.76/76.19 num=193, depth=1..5, filters=690893, revisions=(933993,useless=171785), ccks=687526866, wck=74.023, mem=31M801
78.76/76.19 decisions=139008, wrong=69026, backtracks=4138, failedAssignments=68490, nogoods=7505, foundSolutions=6, bestBound=87
78.76/76.19
78.95/76.33 num=194, depth=3..7, filters=694054, revisions=(938063,useless=172510), ccks=688688051, wck=74.157, mem=31M801
78.95/76.33 decisions=139312, wrong=69175, backtracks=4156, failedAssignments=68634, nogoods=7528, foundSolutions=6, bestBound=87
78.95/76.33
79.25/76.60 num=195, depth=0..6, filters=697331, revisions=(942735,useless=173424), ccks=691014173, wck=74.427, mem=34M384
79.25/76.60 decisions=139642, wrong=69337, backtracks=4184, failedAssignments=68792, nogoods=7544, foundSolutions=6, bestBound=87
79.25/76.60
79.25/76.69 num=196, depth=3..6, filters=698328, revisions=(944090,useless=173738), ccks=691855428, wck=74.521, mem=36M968
79.25/76.69 decisions=139995, wrong=69511, backtracks=4188, failedAssignments=68966, nogoods=7637, foundSolutions=6, bestBound=87
79.25/76.69
79.66/77.02 num=197, depth=1..7, filters=702546, revisions=(949802,useless=174865), ccks=694669850, wck=74.845, mem=39M551
79.66/77.02 decisions=140399, wrong=69710, backtracks=4217, failedAssignments=69157, nogoods=7693, foundSolutions=6, bestBound=87
79.66/77.02
79.95/77.39 num=198, depth=1..4, filters=706539, revisions=(955535,useless=176003), ccks=697778759, wck=75.22, mem=42M135
79.95/77.39 decisions=140832, wrong=69925, backtracks=4249, failedAssignments=69368, nogoods=7712, foundSolutions=6, bestBound=87
79.95/77.39
80.15/77.57 num=199, depth=2..6, filters=709268, revisions=(959128,useless=176700), ccks=699460518, wck=75.401, mem=44M718
80.15/77.57 decisions=141302, wrong=70157, backtracks=4262, failedAssignments=69600, nogoods=7822, foundSolutions=6, bestBound=87
80.15/77.57
80.45/77.80 num=200, depth=1..8, filters=711494, revisions=(962277,useless=177353), ccks=701484938, wck=75.631, mem=47M302
80.45/77.80 decisions=141821, wrong=70413, backtracks=4284, failedAssignments=69855, nogoods=7899, foundSolutions=6, bestBound=87
80.45/77.80
80.66/78.04 num=201, depth=1..7, filters=714747, revisions=(966855,useless=178499), ccks=703617007, wck=75.869, mem=49M886
80.66/78.04 decisions=142390, wrong=70695, backtracks=4306, failedAssignments=70136, nogoods=7983, foundSolutions=6, bestBound=87
80.66/78.04
81.25/78.65 num=202, depth=1..8, filters=719726, revisions=(974134,useless=180057), ccks=709140391, wck=76.477, mem=55M53
81.25/78.65 decisions=143022, wrong=71007, backtracks=4336, failedAssignments=70445, nogoods=8008, foundSolutions=6, bestBound=87
81.25/78.65
81.76/79.17 num=203, depth=0..7, filters=724220, revisions=(980312,useless=181237), ccks=714035738, wck=76.997, mem=57M636
81.76/79.17 decisions=143716, wrong=71351, backtracks=4374, failedAssignments=70785, nogoods=8106, foundSolutions=6, bestBound=87
81.76/79.17
82.05/79.41 num=204, depth=1..7, filters=727171, revisions=(984574,useless=182177), ccks=715943061, wck=77.24, mem=60M220
82.05/79.41 decisions=144470, wrong=71725, backtracks=4399, failedAssignments=71159, nogoods=8133, foundSolutions=6, bestBound=87
82.05/79.41
82.66/80.09 num=205, depth=1..7, filters=735930, revisions=(996806,useless=184968), ccks=721917319, wck=77.915, mem=67M970
82.66/80.09 decisions=145315, wrong=72145, backtracks=4462, failedAssignments=71570, nogoods=8175, foundSolutions=6, bestBound=87
82.66/80.09
83.46/80.80 num=206, depth=0..7, filters=745856, revisions=(1010807,useless=187802), ccks=727913206, wck=78.632, mem=75M721
83.46/80.80 decisions=146275, wrong=72622, backtracks=4554, failedAssignments=72022, nogoods=8191, foundSolutions=6, bestBound=87
83.46/80.80
83.96/81.34 num=207, depth=0..8, filters=752000, revisions=(1019891,useless=189616), ccks=732341500, wck=79.167, mem=80M888
83.96/81.34 decisions=147294, wrong=73128, backtracks=4600, failedAssignments=72519, nogoods=8282, foundSolutions=6, bestBound=87
83.96/81.34
84.86/82.24 num=208, depth=1..5, filters=761732, revisions=(1033664,useless=191988), ccks=740027756, wck=80.073, mem=88M639
84.86/82.24 decisions=148416, wrong=73687, backtracks=4660, failedAssignments=73066, nogoods=8317, foundSolutions=6, bestBound=87
84.86/82.24
85.56/82.91 num=209, depth=1..7, filters=772558, revisions=(1048670,useless=194958), ccks=745594840, wck=80.741, mem=96M390
85.56/82.91 decisions=149651, wrong=74302, backtracks=4752, failedAssignments=73668, nogoods=8356, foundSolutions=6, bestBound=87
85.56/82.91
86.37/83.73 num=210, depth=0..7, filters=785382, revisions=(1066533,useless=197978), ccks=752763741, wck=81.561, mem=104M140
86.37/83.73 decisions=150994, wrong=74971, backtracks=4831, failedAssignments=74330, nogoods=8373, foundSolutions=6, bestBound=87
86.37/83.73
87.07/84.41 num=211, depth=0..8, filters=794015, revisions=(1079267,useless=200806), ccks=757591785, wck=82.235, mem=111M891
87.07/84.41 decisions=152485, wrong=75713, backtracks=4923, failedAssignments=75058, nogoods=8411, foundSolutions=6, bestBound=87
87.07/84.41
88.07/85.45 num=212, depth=1..7, filters=799542, revisions=(1087504,useless=202314), ccks=767600956, wck=83.277, mem=117M58
88.07/85.45 decisions=154095, wrong=76517, backtracks=4962, failedAssignments=75859, nogoods=8487, foundSolutions=6, bestBound=87
88.07/85.45
89.07/86.43 num=213, depth=1..7, filters=813088, revisions=(1106212,useless=206095), ccks=776615808, wck=84.261, mem=124M809
89.07/86.43 decisions=155876, wrong=77405, backtracks=5041, failedAssignments=76740, nogoods=8541, foundSolutions=6, bestBound=87
89.07/86.43
90.37/87.74 num=214, depth=1..8, filters=832809, revisions=(1133564,useless=211617), ccks=788535971, wck=85.57, mem=137M726
90.37/87.74 decisions=157869, wrong=78398, backtracks=5165, failedAssignments=77710, nogoods=8637, foundSolutions=6, bestBound=87
90.37/87.74
92.20/89.50 num=215, depth=0..4, filters=853791, revisions=(1164099,useless=217073), ccks=803145129, wck=87.328, mem=29M241
92.20/89.50 decisions=160090, wrong=79507, backtracks=5293, failedAssignments=78777, nogoods=8656, foundSolutions=6, bestBound=87
92.20/89.50
93.81/91.18 num=216, depth=1..8, filters=878739, revisions=(1198588,useless=222948), ccks=817863078, wck=89.008, mem=44M527
93.81/91.18 decisions=162494, wrong=80706, backtracks=5452, failedAssignments=79950, nogoods=8732, foundSolutions=6, bestBound=87
93.81/91.18
96.30/93.62 num=217, depth=0..4, filters=900294, revisions=(1229889,useless=228635), ccks=839079567, wck=91.45, mem=62M361
96.30/93.62 decisions=165135, wrong=82025, backtracks=5620, failedAssignments=81241, nogoods=8765, foundSolutions=6, bestBound=87
96.30/93.62
97.10/94.45 num=218, depth=3..10, filters=915358, revisions=(1250807,useless=232905), ccks=846229861, wck=92.28, mem=70M4
97.10/94.45 decisions=168008, wrong=83459, backtracks=5748, failedAssignments=82661, nogoods=8835, foundSolutions=6, bestBound=87
97.10/94.45
99.11/96.44 num=219, depth=0..9, filters=929879, revisions=(1271135,useless=236180), ccks=866198350, wck=94.267, mem=82M743
99.11/96.44 decisions=171165, wrong=85034, backtracks=5842, failedAssignments=84223, nogoods=8940, foundSolutions=6, bestBound=87
99.11/96.44
100.01/97.39 num=220, depth=0..8, filters=942383, revisions=(1288869,useless=240137), ccks=872935459, wck=95.216, mem=90M386
100.01/97.39 decisions=174632, wrong=86765, backtracks=5970, failedAssignments=85941, nogoods=9012, foundSolutions=6, bestBound=87
100.01/97.39
102.01/99.31 num=221, depth=0..5, filters=970006, revisions=(1327635,useless=247427), ccks=888475534, wck=97.143, mem=110M767
102.01/99.31 decisions=178481, wrong=88687, backtracks=6158, failedAssignments=87831, nogoods=9109, foundSolutions=6, bestBound=87
102.01/99.31
103.82/101.18 num=222, depth=1..10, filters=1010993, revisions=(1379400,useless=255695), ccks=904422741, wck=99.008, mem=128M601
103.82/101.18 decisions=182849, wrong=90866, backtracks=6386, failedAssignments=89910, nogoods=9226, foundSolutions=6, bestBound=87
103.82/101.18
106.51/103.83 num=223, depth=0..8, filters=1036917, revisions=(1415129,useless=262402), ccks=930205532, wck=101.661, mem=148M983
106.51/103.83 decisions=187445, wrong=93161, backtracks=6531, failedAssignments=92197, nogoods=9389, foundSolutions=6, bestBound=87
106.51/103.83
107.75/105.10 num=224, depth=0..7, filters=1059269, revisions=(1445511,useless=268504), ccks=939709521, wck=102.934, mem=34M270
107.75/105.10 decisions=192532, wrong=95702, backtracks=6701, failedAssignments=94713, nogoods=9400, foundSolutions=6, bestBound=87
107.75/105.10
108.95/106.22 num=225, depth=1..11, filters=1088003, revisions=(1483690,useless=276602), ccks=948553747, wck=104.054, mem=51M838
108.95/106.22 decisions=198090, wrong=98477, backtracks=6852, failedAssignments=97481, nogoods=9540, foundSolutions=6, bestBound=87
108.95/106.22
111.86/109.19 num=226, depth=1..9, filters=1136524, revisions=(1549753,useless=288149), ccks=974086562, wck=107.015, mem=84M464
111.86/109.19 decisions=204259, wrong=101558, backtracks=7141, failedAssignments=100525, nogoods=9696, foundSolutions=6, bestBound=87
111.86/109.19
115.76/113.06 num=227, depth=1..7, filters=1177790, revisions=(1606385,useless=298203), ccks=1006364930, wck=110.886, mem=112M70
115.76/113.06 decisions=211099, wrong=104977, backtracks=7434, failedAssignments=103874, nogoods=9707, foundSolutions=6, bestBound=87
115.76/113.06
119.48/116.78 num=228, depth=1..9, filters=1250174, revisions=(1700835,useless=314613), ccks=1039666548, wck=114.608, mem=24M207
119.48/116.78 decisions=218615, wrong=108732, backtracks=7789, failedAssignments=107558, nogoods=9774, foundSolutions=6, bestBound=87
119.48/116.78
121.68/118.99 num=229, depth=0..9, filters=1285481, revisions=(1750025,useless=324830), ccks=1056494147, wck=116.816, mem=51M380
121.68/118.99 decisions=226788, wrong=112815, backtracks=8076, failedAssignments=111610, nogoods=9920, foundSolutions=6, bestBound=87
121.68/118.99
123.38/120.63 num=230, depth=1..11, filters=1310793, revisions=(1782397,useless=330079), ccks=1069226364, wck=118.463, mem=66M201
123.38/120.63 decisions=235765, wrong=117299, backtracks=8243, failedAssignments=116067, nogoods=10060, foundSolutions=6, bestBound=87
123.38/120.63
129.38/126.60 num=231, depth=0..9, filters=1387719, revisions=(1880297,useless=342449), ccks=1126939478, wck=124.426, mem=110M665
129.38/126.60 decisions=245763, wrong=122294, backtracks=8588, failedAssignments=120970, nogoods=10128, foundSolutions=6, bestBound=87
129.38/126.60
133.18/130.46 num=232, depth=0..8, filters=1428777, revisions=(1936241,useless=352175), ccks=1158998229, wck=128.291, mem=137M837
133.18/130.46 decisions=256708, wrong=127764, backtracks=8892, failedAssignments=126364, nogoods=10249, foundSolutions=6, bestBound=87
133.18/130.46
144.69/142.00 num=233, depth=0..7, filters=1550109, revisions=(2105499,useless=380496), ccks=1259504556, wck=139.828, mem=94M716
144.69/142.00 decisions=269109, wrong=133961, backtracks=9754, failedAssignments=132297, nogoods=10386, foundSolutions=6, bestBound=87
144.69/142.00
147.29/144.56 num=234, depth=1..11, filters=1598440, revisions=(2171672,useless=395709), ccks=1279978921, wck=142.389, mem=126M305
147.29/144.56 decisions=282175, wrong=140490, backtracks=10039, failedAssignments=138823, nogoods=10531, foundSolutions=6, bestBound=87
147.29/144.56
154.10/151.39 num=235, depth=0..8, filters=1699139, revisions=(2309405,useless=422733), ccks=1344234532, wck=149.22, mem=72M54
154.10/151.39 decisions=296601, wrong=147701, backtracks=10625, failedAssignments=146002, nogoods=10731, foundSolutions=6, bestBound=87
154.10/151.39
170.11/167.36 num=236, depth=0..7, filters=1857733, revisions=(2529849,useless=456767), ccks=1487948255, wck=165.194, mem=57M273
170.11/167.36 decisions=312981, wrong=155888, backtracks=11622, failedAssignments=153899, nogoods=10848, foundSolutions=6, bestBound=87
170.11/167.36
174.42/171.65 num=237, depth=1..10, filters=1934417, revisions=(2629071,useless=471212), ccks=1525580458, wck=169.477, mem=104M435
174.42/171.65 decisions=330390, wrong=164588, backtracks=11903, failedAssignments=162586, nogoods=11052, foundSolutions=6, bestBound=87
174.42/171.65
179.73/176.97 num=238, depth=0..9, filters=2006564, revisions=(2727122,useless=490490), ccks=1570850721, wck=174.794, mem=31M260
179.73/176.97 decisions=349570, wrong=174174, backtracks=12400, failedAssignments=172141, nogoods=11133, foundSolutions=6, bestBound=87
179.73/176.97
186.43/183.60 num=239, depth=0..9, filters=2119907, revisions=(2867194,useless=506295), ccks=1630254424, wck=181.428, mem=84M783
186.43/183.60 decisions=370917, wrong=184844, backtracks=12927, failedAssignments=182652, nogoods=11195, foundSolutions=6, bestBound=87
186.43/183.60
189.84/187.05 num=240, depth=1..13, filters=2174434, revisions=(2937749,useless=517748), ccks=1655357671, wck=184.881, mem=115M35
189.84/187.05 decisions=394077, wrong=196418, backtracks=13190, failedAssignments=194214, nogoods=11258, foundSolutions=6, bestBound=87
189.84/187.05
193.95/191.15 o 84
193.95/191.15 num=241, depth=0..65, filters=2222290, revisions=(3005527,useless=530114), ccks=1688537413, wck=188.975, mem=33M431
193.95/191.15 decisions=402615, wrong=200681, backtracks=13608, failedAssignments=198417, nogoods=11340, foundSolutions=7, bestBound=84
193.95/191.15
196.04/193.25 o 83
196.04/193.25 num=242, depth=1..65, filters=2270794, revisions=(3067200,useless=539000), ccks=1705961161, wck=191.078, mem=59M171
196.04/193.25 decisions=409403, wrong=204069, backtracks=13827, failedAssignments=201776, nogoods=11460, foundSolutions=8, bestBound=83
196.04/193.25
196.15/193.34 num=243, depth=1..2, filters=2270919, revisions=(3067428,useless=539009), ccks=1706926757, wck=191.165, mem=59M171
196.15/193.34 decisions=409426, wrong=204080, backtracks=13828, failedAssignments=201787, nogoods=11468, foundSolutions=8, bestBound=83
196.15/193.34
196.15/193.37 num=244, depth=2..3, filters=2271305, revisions=(3068012,useless=539128), ccks=1707220774, wck=191.202, mem=61M467
196.15/193.37 decisions=409451, wrong=204091, backtracks=13830, failedAssignments=201798, nogoods=11474, foundSolutions=8, bestBound=83
196.15/193.37
196.25/193.44 num=245, depth=1..4, filters=2271643, revisions=(3068501,useless=539254), ccks=1707830354, wck=191.265, mem=61M467
196.25/193.44 decisions=409481, wrong=204104, backtracks=13833, failedAssignments=201810, nogoods=11483, foundSolutions=8, bestBound=83
196.25/193.44
196.25/193.49 num=246, depth=2..4, filters=2272145, revisions=(3069207,useless=539403), ccks=1708317641, wck=191.323, mem=61M467
196.25/193.49 decisions=409514, wrong=204119, backtracks=13836, failedAssignments=201823, nogoods=11488, foundSolutions=8, bestBound=83
196.25/193.49
196.35/193.53 num=247, depth=4..7, filters=2272576, revisions=(3069809,useless=539539), ccks=1708647072, wck=191.36, mem=61M467
196.35/193.53 decisions=409550, wrong=204134, backtracks=13839, failedAssignments=201837, nogoods=11498, foundSolutions=8, bestBound=83
196.35/193.53
196.35/193.59 num=248, depth=2..4, filters=2273110, revisions=(3070610,useless=539692), ccks=1709080107, wck=191.415, mem=61M467
196.35/193.59 decisions=409587, wrong=204151, backtracks=13843, failedAssignments=201853, nogoods=11504, foundSolutions=8, bestBound=83
196.35/193.59
196.46/193.64 num=249, depth=2..3, filters=2273726, revisions=(3071555,useless=539906), ccks=1709503619, wck=191.469, mem=61M467
196.46/193.64 decisions=409625, wrong=204169, backtracks=13849, failedAssignments=201870, nogoods=11514, foundSolutions=8, bestBound=83
196.46/193.64
196.56/193.71 num=250, depth=1..2, filters=2274038, revisions=(3072025,useless=540046), ccks=1710161771, wck=191.538, mem=63M763
196.56/193.71 decisions=409665, wrong=204188, backtracks=13855, failedAssignments=201889, nogoods=11522, foundSolutions=8, bestBound=83
196.56/193.71
196.56/193.78 num=251, depth=1..4, filters=2274752, revisions=(3073100,useless=540275), ccks=1710743553, wck=191.608, mem=63M763
196.56/193.78 decisions=409710, wrong=204209, backtracks=13860, failedAssignments=201910, nogoods=11526, foundSolutions=8, bestBound=83
196.56/193.78
196.66/193.84 num=252, depth=1..5, filters=2275265, revisions=(3073837,useless=540446), ccks=1711386332, wck=191.674, mem=63M763
196.66/193.84 decisions=409761, wrong=204233, backtracks=13862, failedAssignments=201933, nogoods=11545, foundSolutions=8, bestBound=83
196.66/193.84
196.76/193.97 num=253, depth=2..4, filters=2276537, revisions=(3075642,useless=540846), ccks=1712433908, wck=191.798, mem=63M763
196.76/193.97 decisions=409832, wrong=204267, backtracks=13874, failedAssignments=201958, nogoods=11554, foundSolutions=8, bestBound=83
196.76/193.97
196.87/194.08 num=254, depth=3..6, filters=2277696, revisions=(3077254,useless=541196), ccks=1713486455, wck=191.91, mem=66M59
196.87/194.08 decisions=409900, wrong=204299, backtracks=13879, failedAssignments=201986, nogoods=11562, foundSolutions=8, bestBound=83
196.87/194.08
196.97/194.18 num=255, depth=0..6, filters=2278350, revisions=(3078162,useless=541373), ccks=1714432843, wck=192.005, mem=66M59
196.97/194.18 decisions=409969, wrong=204331, backtracks=13882, failedAssignments=202017, nogoods=11588, foundSolutions=8, bestBound=83
196.97/194.18
197.16/194.31 num=256, depth=2..5, filters=2279785, revisions=(3080205,useless=541755), ccks=1715547478, wck=192.141, mem=66M59
197.16/194.31 decisions=410054, wrong=204372, backtracks=13895, failedAssignments=202051, nogoods=11601, foundSolutions=8, bestBound=83
197.16/194.31
197.26/194.40 num=257, depth=3..7, filters=2281071, revisions=(3081937,useless=542089), ccks=1716367895, wck=192.23, mem=68M355
197.26/194.40 decisions=410143, wrong=204414, backtracks=13900, failedAssignments=202088, nogoods=11623, foundSolutions=8, bestBound=83
197.26/194.40
197.36/194.58 num=258, depth=1..6, filters=2282239, revisions=(3083558,useless=542470), ccks=1718012362, wck=192.405, mem=68M355
197.36/194.58 decisions=410244, wrong=204462, backtracks=13913, failedAssignments=202129, nogoods=11645, foundSolutions=8, bestBound=83
197.36/194.58
197.56/194.73 num=259, depth=2..4, filters=2283678, revisions=(3085622,useless=542923), ccks=1719266376, wck=192.556, mem=70M650
197.56/194.73 decisions=410343, wrong=204510, backtracks=13927, failedAssignments=202174, nogoods=11658, foundSolutions=8, bestBound=83
197.56/194.73
197.66/194.86 num=260, depth=2..4, filters=2285867, revisions=(3088825,useless=543490), ccks=1720227037, wck=192.692, mem=70M650
197.66/194.86 decisions=410457, wrong=204566, backtracks=13945, failedAssignments=202224, nogoods=11664, foundSolutions=8, bestBound=83
197.66/194.86
197.87/195.07 num=261, depth=0..4, filters=2287694, revisions=(3091483,useless=544111), ccks=1721922307, wck=192.899, mem=72M946
197.87/195.07 decisions=410579, wrong=204625, backtracks=13970, failedAssignments=202279, nogoods=11672, foundSolutions=8, bestBound=83
197.87/195.07
198.06/195.22 num=262, depth=1..4, filters=2289631, revisions=(3094405,useless=544769), ccks=1723007892, wck=193.046, mem=75M242
198.06/195.22 decisions=410705, wrong=204687, backtracks=13990, failedAssignments=202340, nogoods=11687, foundSolutions=8, bestBound=83
198.06/195.22
198.16/195.34 num=263, depth=1..6, filters=2290495, revisions=(3095615,useless=545086), ccks=1724117701, wck=193.167, mem=75M242
198.16/195.34 decisions=410844, wrong=204754, backtracks=13997, failedAssignments=202407, nogoods=11728, foundSolutions=8, bestBound=83
198.16/195.34
198.36/195.52 num=264, depth=1..4, filters=2292717, revisions=(3098981,useless=545736), ccks=1725494082, wck=193.347, mem=77M538
198.36/195.52 decisions=411013, wrong=204837, backtracks=14023, failedAssignments=202481, nogoods=11740, foundSolutions=8, bestBound=83
198.36/195.52
198.56/195.79 num=265, depth=2..5, filters=2296256, revisions=(3104062,useless=546833), ccks=1727630457, wck=193.616, mem=79M834
198.56/195.79 decisions=411212, wrong=204934, backtracks=14054, failedAssignments=202562, nogoods=11749, foundSolutions=8, bestBound=83
198.56/195.79
198.76/195.96 num=266, depth=2..6, filters=2298025, revisions=(3106387,useless=547304), ccks=1729307428, wck=193.791, mem=79M834
198.76/195.96 decisions=411399, wrong=205025, backtracks=14063, failedAssignments=202651, nogoods=11802, foundSolutions=8, bestBound=83
198.76/195.96
198.97/196.11 num=267, depth=2..4, filters=2300025, revisions=(3109332,useless=547807), ccks=1730478171, wck=193.941, mem=82M130
198.97/196.11 decisions=411599, wrong=205124, backtracks=14078, failedAssignments=202749, nogoods=11821, foundSolutions=8, bestBound=83
198.97/196.11
198.97/196.16 num=268, depth=3..7, filters=2300514, revisions=(3109994,useless=547943), ccks=1730949227, wck=193.993, mem=82M130
198.97/196.16 decisions=411821, wrong=205232, backtracks=14080, failedAssignments=202857, nogoods=11854, foundSolutions=8, bestBound=83
198.97/196.16
199.06/196.23 num=269, depth=1..5, filters=2301026, revisions=(3110717,useless=548078), ccks=1731461009, wck=194.058, mem=82M130
199.06/196.23 decisions=412063, wrong=205351, backtracks=14084, failedAssignments=202976, nogoods=11881, foundSolutions=8, bestBound=83
199.06/196.23
199.36/196.53 num=270, depth=1..5, filters=2304712, revisions=(3116069,useless=549090), ccks=1733733823, wck=194.359, mem=86M722
199.36/196.53 decisions=412341, wrong=205488, backtracks=14121, failedAssignments=203107, nogoods=11896, foundSolutions=8, bestBound=83
199.36/196.53
199.76/196.90 num=271, depth=1..5, filters=2309271, revisions=(3122768,useless=550320), ccks=1736756648, wck=194.729, mem=89M18
199.76/196.90 decisions=412689, wrong=205660, backtracks=14163, failedAssignments=203251, nogoods=11912, foundSolutions=8, bestBound=83
199.76/196.90
200.06/197.24 num=272, depth=0..6, filters=2313409, revisions=(3128658,useless=551718), ccks=1739530221, wck=195.066, mem=93M609
200.06/197.24 decisions=413026, wrong=205826, backtracks=14197, failedAssignments=203409, nogoods=11980, foundSolutions=8, bestBound=83
200.06/197.24
200.36/197.59 num=273, depth=2..5, filters=2317608, revisions=(3134515,useless=552672), ccks=1742535716, wck=195.419, mem=95M905
200.36/197.59 decisions=413396, wrong=206009, backtracks=14220, failedAssignments=203583, nogoods=11993, foundSolutions=8, bestBound=83
200.36/197.59
200.46/197.67 num=274, depth=4..7, filters=2318605, revisions=(3135854,useless=552950), ccks=1743181290, wck=195.496, mem=95M905
200.46/197.67 decisions=413784, wrong=206200, backtracks=14229, failedAssignments=203774, nogoods=12002, foundSolutions=8, bestBound=83
200.46/197.67
200.76/197.98 num=275, depth=1..4, filters=2323293, revisions=(3142818,useless=554375), ccks=1745479926, wck=195.81, mem=100M497
200.76/197.98 decisions=414218, wrong=206416, backtracks=14263, failedAssignments=203985, nogoods=12008, foundSolutions=8, bestBound=83
200.76/197.98
201.16/198.32 num=276, depth=1..3, filters=2327903, revisions=(3149538,useless=555718), ccks=1747987832, wck=196.147, mem=105M89
201.16/198.32 decisions=414697, wrong=206654, backtracks=14304, failedAssignments=204217, nogoods=12027, foundSolutions=8, bestBound=83
201.16/198.32
201.66/198.81 num=277, depth=1..5, filters=2334662, revisions=(3159076,useless=557336), ccks=1751735288, wck=196.635, mem=109M681
201.66/198.81 decisions=415236, wrong=206922, backtracks=14360, failedAssignments=204472, nogoods=12055, foundSolutions=8, bestBound=83
201.66/198.81
201.97/199.12 num=278, depth=4..7, filters=2338887, revisions=(3164970,useless=558617), ccks=1754672345, wck=196.947, mem=111M977
201.97/199.12 decisions=415803, wrong=207203, backtracks=14392, failedAssignments=204753, nogoods=12118, foundSolutions=8, bestBound=83
201.97/199.12
202.16/199.30 num=279, depth=2..5, filters=2341782, revisions=(3169047,useless=559657), ccks=1756093231, wck=197.127, mem=114M273
202.16/199.30 decisions=416424, wrong=207512, backtracks=14419, failedAssignments=205062, nogoods=12128, foundSolutions=8, bestBound=83
202.16/199.30
202.97/200.12 num=280, depth=1..6, filters=2349541, revisions=(3180099,useless=561836), ccks=1763238229, wck=197.947, mem=121M160
202.97/200.12 decisions=417128, wrong=207862, backtracks=14466, failedAssignments=205402, nogoods=12143, foundSolutions=8, bestBound=83
202.97/200.12
203.56/200.73 num=281, depth=1..6, filters=2357793, revisions=(3191681,useless=564350), ccks=1768513421, wck=198.557, mem=125M752
203.56/200.73 decisions=417899, wrong=208246, backtracks=14524, failedAssignments=205776, nogoods=12171, foundSolutions=8, bestBound=83
203.56/200.73
204.36/201.56 num=282, depth=1..4, filters=2367802, revisions=(3206112,useless=567120), ccks=1775073221, wck=199.389, mem=134M936
204.36/201.56 decisions=418747, wrong=208669, backtracks=14605, failedAssignments=206187, nogoods=12190, foundSolutions=8, bestBound=83
204.36/201.56
205.07/202.21 num=283, depth=3..7, filters=2379994, revisions=(3222250,useless=570056), ccks=1780923136, wck=200.036, mem=26M613
205.07/202.21 decisions=419701, wrong=209143, backtracks=14660, failedAssignments=206639, nogoods=12289, foundSolutions=8, bestBound=83
205.07/202.21
205.27/202.49 num=284, depth=2..7, filters=2383503, revisions=(3226903,useless=570977), ccks=1782999907, wck=200.315, mem=28M874
205.27/202.49 decisions=420714, wrong=209646, backtracks=14688, failedAssignments=207136, nogoods=12360, foundSolutions=8, bestBound=83
205.27/202.49
205.67/202.81 num=285, depth=1..7, filters=2387332, revisions=(3232022,useless=571933), ccks=1785261635, wck=200.643, mem=31M136
205.67/202.81 decisions=421817, wrong=210196, backtracks=14730, failedAssignments=207683, nogoods=12435, foundSolutions=8, bestBound=83
205.67/202.81
206.07/203.23 num=286, depth=1..6, filters=2393197, revisions=(3240326,useless=573618), ccks=1788101195, wck=201.064, mem=35M658
206.07/203.23 decisions=423038, wrong=210805, backtracks=14784, failedAssignments=208285, nogoods=12553, foundSolutions=8, bestBound=83
206.07/203.23
207.37/204.55 num=287, depth=1..5, filters=2410523, revisions=(3264992,useless=578090), ccks=1798284739, wck=202.374, mem=46M965
207.37/204.55 decisions=424452, wrong=211510, backtracks=14923, failedAssignments=208947, nogoods=12580, foundSolutions=8, bestBound=83
207.37/204.55
208.17/205.37 num=288, depth=3..7, filters=2420398, revisions=(3279155,useless=581172), ccks=1805892578, wck=203.195, mem=56M10
208.17/205.37 decisions=425919, wrong=212241, backtracks=15008, failedAssignments=209675, nogoods=12612, foundSolutions=8, bestBound=83
208.17/205.37
208.98/206.15 num=289, depth=3..6, filters=2434228, revisions=(3298563,useless=585750), ccks=1812825569, wck=203.978, mem=65M55
208.98/206.15 decisions=427538, wrong=213048, backtracks=15111, failedAssignments=210476, nogoods=12714, foundSolutions=8, bestBound=83
208.98/206.15
210.07/207.25 num=290, depth=0..6, filters=2449436, revisions=(3319590,useless=590133), ccks=1821970681, wck=205.079, mem=76M361
210.07/207.25 decisions=429327, wrong=213940, backtracks=15228, failedAssignments=211357, nogoods=12768, foundSolutions=8, bestBound=83
210.07/207.25
212.17/209.38 num=291, depth=1..6, filters=2473996, revisions=(3353805,useless=596170), ccks=1839952168, wck=207.213, mem=92M190
212.17/209.38 decisions=431376, wrong=214962, backtracks=15409, failedAssignments=212327, nogoods=12849, foundSolutions=8, bestBound=83
212.17/209.38
213.67/210.85 num=292, depth=1..5, filters=2490622, revisions=(3377622,useless=600566), ccks=1851619246, wck=208.682, mem=105M758
213.67/210.85 decisions=433548, wrong=216047, backtracks=15541, failedAssignments=213394, nogoods=12875, foundSolutions=8, bestBound=83
213.67/210.85
214.37/211.51 num=293, depth=3..7, filters=2507245, revisions=(3398830,useless=603982), ccks=1857417532, wck=209.342, mem=114M803
214.37/211.51 decisions=435914, wrong=217228, backtracks=15600, failedAssignments=214567, nogoods=12942, foundSolutions=8, bestBound=83
214.37/211.51
215.68/212.80 num=294, depth=1..6, filters=2524996, revisions=(3423383,useless=609364), ccks=1867761023, wck=210.629, mem=126M109
215.68/212.80 decisions=438564, wrong=218550, backtracks=15748, failedAssignments=215858, nogoods=13027, foundSolutions=8, bestBound=83
215.68/212.80
216.89/214.09 num=295, depth=1..6, filters=2537753, revisions=(3440140,useless=612965), ccks=1876017229, wck=211.924, mem=135M154
216.89/214.09 decisions=441443, wrong=219988, backtracks=15787, failedAssignments=217278, nogoods=13051, foundSolutions=8, bestBound=83
216.89/214.09
218.00/215.11 num=296, depth=1..9, filters=2552699, revisions=(3461476,useless=617356), ccks=1883687794, wck=212.944, mem=33M294
218.00/215.11 decisions=444604, wrong=221564, backtracks=15912, failedAssignments=218840, nogoods=13133, foundSolutions=8, bestBound=83
218.00/215.11
219.50/216.69 num=297, depth=0..8, filters=2563035, revisions=(3475861,useless=619858), ccks=1898786826, wck=214.524, mem=42M218
219.50/216.69 decisions=448061, wrong=223290, backtracks=15987, failedAssignments=220558, nogoods=13234, foundSolutions=8, bestBound=83
219.50/216.69
221.30/218.47 num=298, depth=0..6, filters=2588167, revisions=(3512046,useless=627008), ccks=1912617864, wck=216.297, mem=64M529
221.30/218.47 decisions=451874, wrong=225194, backtracks=16159, failedAssignments=222448, nogoods=13332, foundSolutions=8, bestBound=83
221.30/218.47
222.20/219.37 num=299, depth=1..8, filters=2598372, revisions=(3525843,useless=629976), ccks=1919045790, wck=217.195, mem=71M223
222.20/219.37 decisions=456051, wrong=227279, backtracks=16279, failedAssignments=224527, nogoods=13443, foundSolutions=8, bestBound=83
222.20/219.37
224.30/221.40 num=300, depth=1..6, filters=2625050, revisions=(3563392,useless=637460), ccks=1934409773, wck=219.23, mem=91M303
224.30/221.40 decisions=460717, wrong=229609, backtracks=16509, failedAssignments=226814, nogoods=13575, foundSolutions=8, bestBound=83
224.30/221.40
226.30/223.42 num=301, depth=1..7, filters=2649730, revisions=(3598697,useless=644861), ccks=1950523046, wck=221.247, mem=111M383
226.30/223.42 decisions=465784, wrong=232140, backtracks=16717, failedAssignments=229330, nogoods=13683, foundSolutions=8, bestBound=83
226.30/223.42
229.02/226.19 num=302, depth=1..5, filters=2692299, revisions=(3659844,useless=656501), ccks=1970406323, wck=224.02, mem=33M224
229.02/226.19 decisions=471447, wrong=234970, backtracks=17053, failedAssignments=232098, nogoods=13748, foundSolutions=8, bestBound=83
229.02/226.19
232.21/229.35 num=303, depth=1..6, filters=2743461, revisions=(3728551,useless=670765), ccks=1998510597, wck=227.183, mem=66M232
232.21/229.35 decisions=477628, wrong=238059, backtracks=17316, failedAssignments=235142, nogoods=13774, foundSolutions=8, bestBound=83
232.21/229.35
234.81/231.90 num=304, depth=1..7, filters=2777817, revisions=(3777371,useless=681482), ccks=2017774640, wck=229.728, mem=92M638
234.81/231.90 decisions=484401, wrong=241443, backtracks=17591, failedAssignments=238491, nogoods=13890, foundSolutions=8, bestBound=83
234.81/231.90
236.61/233.78 num=305, depth=0..6, filters=2807444, revisions=(3815696,useless=687278), ccks=2032514325, wck=231.605, mem=112M442
236.61/233.78 decisions=491787, wrong=245133, backtracks=17753, failedAssignments=242175, nogoods=13964, foundSolutions=8, bestBound=83
236.61/233.78
240.22/237.32 num=306, depth=0..7, filters=2856858, revisions=(3881586,useless=700155), ccks=2063732112, wck=235.149, mem=33M127
240.22/237.32 decisions=500003, wrong=249238, backtracks=18086, failedAssignments=246227, nogoods=14021, foundSolutions=8, bestBound=83
240.22/237.32
242.62/239.75 num=307, depth=1..10, filters=2902872, revisions=(3942628,useless=712205), ccks=2083122349, wck=237.575, mem=61M332
242.62/239.75 decisions=508966, wrong=253716, backtracks=18328, failedAssignments=250684, nogoods=14096, foundSolutions=8, bestBound=83
242.62/239.75
245.52/242.69 num=308, depth=1..9, filters=2946451, revisions=(4001507,useless=723711), ccks=2106100083, wck=240.523, mem=89M536
245.52/242.69 decisions=518911, wrong=258684, backtracks=18658, failedAssignments=255587, nogoods=14192, foundSolutions=8, bestBound=83
245.52/242.69
250.13/247.24 num=309, depth=0..8, filters=3002369, revisions=(4080833,useless=739699), ccks=2144654022, wck=245.064, mem=26M589
250.13/247.24 decisions=529763, wrong=264107, backtracks=19045, failedAssignments=260981, nogoods=14307, foundSolutions=8, bestBound=83
250.13/247.24
252.53/249.69 num=310, depth=1..11, filters=3035462, revisions=(4126573,useless=749286), ccks=2161161439, wck=247.519, mem=50M112
252.53/249.69 decisions=541690, wrong=270068, backtracks=19335, failedAssignments=266914, nogoods=14381, foundSolutions=8, bestBound=83
252.53/249.69
256.43/253.55 num=311, depth=0..8, filters=3090085, revisions=(4206869,useless=771832), ccks=2193345932, wck=251.38, mem=99M297
256.43/253.55 decisions=554756, wrong=276598, backtracks=19562, failedAssignments=273440, nogoods=14501, foundSolutions=8, bestBound=83
256.43/253.55
261.24/258.34 num=312, depth=1..8, filters=3181092, revisions=(4325827,useless=793831), ccks=2233057941, wck=256.17, mem=47M705
261.24/258.34 decisions=569209, wrong=283821, backtracks=19975, failedAssignments=280619, nogoods=14653, foundSolutions=8, bestBound=83
261.24/258.34
265.34/262.44 num=313, depth=0..10, filters=3224272, revisions=(4384687,useless=806101), ccks=2266530934, wck=260.266, mem=79M314
265.34/262.44 decisions=585047, wrong=291738, backtracks=20286, failedAssignments=288516, nogoods=14731, foundSolutions=8, bestBound=83
265.34/262.44
270.24/267.36 o 82
270.24/267.36 num=314, depth=1..65, filters=3312376, revisions=(4502127,useless=827594), ccks=2308924725, wck=265.186, mem=24M511
270.24/267.36 decisions=599580, wrong=298994, backtracks=20827, failedAssignments=295718, nogoods=14945, foundSolutions=9, bestBound=82
270.24/267.36
274.95/272.07 num=315, depth=1..9, filters=3377135, revisions=(4587907,useless=842919), ccks=2343823346, wck=269.895, mem=61M877
274.95/272.07 decisions=618821, wrong=308611, backtracks=21358, failedAssignments=305273, nogoods=15046, foundSolutions=9, bestBound=82
274.95/272.07
275.05/272.12 num=316, depth=1..3, filters=3377435, revisions=(4588346,useless=843023), ccks=2344260537, wck=269.945, mem=61M877
275.05/272.12 decisions=618846, wrong=308622, backtracks=21361, failedAssignments=305284, nogoods=15051, foundSolutions=9, bestBound=82
275.05/272.12
275.05/272.18 num=317, depth=0..4, filters=3377928, revisions=(4589090,useless=843157), ccks=2344784347, wck=270.006, mem=61M877
275.05/272.18 decisions=618877, wrong=308636, backtracks=21367, failedAssignments=305296, nogoods=15058, foundSolutions=9, bestBound=82
275.05/272.18
275.14/272.23 num=318, depth=2..4, filters=3378393, revisions=(4589768,useless=843303), ccks=2345235973, wck=270.059, mem=63M953
275.14/272.23 decisions=618908, wrong=308650, backtracks=21369, failedAssignments=305309, nogoods=15063, foundSolutions=9, bestBound=82
275.14/272.23
275.14/272.27 num=319, depth=3..4, filters=3378779, revisions=(4590331,useless=843393), ccks=2345582002, wck=270.098, mem=63M953
275.14/272.27 decisions=618941, wrong=308665, backtracks=21370, failedAssignments=305323, nogoods=15076, foundSolutions=9, bestBound=82
275.14/272.27
275.24/272.32 num=320, depth=3..6, filters=3379220, revisions=(4590983,useless=843549), ccks=2346069381, wck=270.149, mem=63M953
275.24/272.32 decisions=618978, wrong=308681, backtracks=21372, failedAssignments=305339, nogoods=15081, foundSolutions=9, bestBound=82
275.24/272.32
275.34/272.40 num=321, depth=2..4, filters=3379814, revisions=(4591852,useless=843761), ccks=2346815113, wck=270.232, mem=63M953
275.34/272.40 decisions=619018, wrong=308700, backtracks=21378, failedAssignments=305356, nogoods=15084, foundSolutions=9, bestBound=82
275.34/272.40
275.34/272.45 num=322, depth=4..5, filters=3380386, revisions=(4592667,useless=843947), ccks=2347206710, wck=270.275, mem=63M953
275.34/272.45 decisions=619062, wrong=308720, backtracks=21381, failedAssignments=305375, nogoods=15096, foundSolutions=9, bestBound=82
275.34/272.45
275.44/272.52 num=323, depth=2..4, filters=3381219, revisions=(4593840,useless=844210), ccks=2347863492, wck=270.353, mem=66M29
275.44/272.52 decisions=619120, wrong=308747, backtracks=21388, failedAssignments=305396, nogoods=15107, foundSolutions=9, bestBound=82
275.44/272.52
275.44/272.57 num=324, depth=2..4, filters=3381841, revisions=(4594783,useless=844404), ccks=2348248630, wck=270.403, mem=66M29
275.44/272.57 decisions=619170, wrong=308771, backtracks=21393, failedAssignments=305419, nogoods=15111, foundSolutions=9, bestBound=82
275.44/272.57
275.54/272.63 num=325, depth=3..6, filters=3382485, revisions=(4595680,useless=844596), ccks=2348742282, wck=270.457, mem=66M29
275.54/272.63 decisions=619226, wrong=308796, backtracks=21398, failedAssignments=305444, nogoods=15123, foundSolutions=9, bestBound=82
275.54/272.63
275.64/272.71 num=326, depth=2..4, filters=3383680, revisions=(4597400,useless=844940), ccks=2349361085, wck=270.538, mem=68M105
275.64/272.71 decisions=619298, wrong=308831, backtracks=21409, failedAssignments=305472, nogoods=15126, foundSolutions=9, bestBound=82
275.64/272.71
275.64/272.75 num=327, depth=4..5, filters=3384488, revisions=(4598537,useless=845184), ccks=2349719733, wck=270.58, mem=68M105
275.64/272.75 decisions=619365, wrong=308862, backtracks=21413, failedAssignments=305503, nogoods=15138, foundSolutions=9, bestBound=82
275.64/272.75
275.74/272.84 num=328, depth=2..6, filters=3385556, revisions=(4600057,useless=845556), ccks=2350490038, wck=270.672, mem=68M105
275.74/272.84 decisions=619449, wrong=308901, backtracks=21423, failedAssignments=305537, nogoods=15157, foundSolutions=9, bestBound=82
275.74/272.84
275.84/272.94 num=329, depth=3..5, filters=3386575, revisions=(4601652,useless=845911), ccks=2351246833, wck=270.765, mem=70M181
275.84/272.94 decisions=619528, wrong=308939, backtracks=21437, failedAssignments=305574, nogoods=15180, foundSolutions=9, bestBound=82
275.84/272.94
275.84/273.00 num=330, depth=3..6, filters=3387513, revisions=(4602970,useless=846211), ccks=2351844254, wck=270.831, mem=70M181
275.84/273.00 decisions=619617, wrong=308981, backtracks=21443, failedAssignments=305615, nogoods=15201, foundSolutions=9, bestBound=82
275.84/273.00
276.06/273.11 num=331, depth=2..5, filters=3388528, revisions=(4604409,useless=846521), ccks=2352761068, wck=270.936, mem=70M181
276.06/273.11 decisions=619726, wrong=309033, backtracks=21452, failedAssignments=305660, nogoods=15227, foundSolutions=9, bestBound=82
276.06/273.11
276.15/273.22 num=332, depth=3..5, filters=3389907, revisions=(4606516,useless=846998), ccks=2353572616, wck=271.045, mem=72M257
276.15/273.22 decisions=619835, wrong=309086, backtracks=21469, failedAssignments=305710, nogoods=15246, foundSolutions=9, bestBound=82
276.15/273.22
276.25/273.37 num=333, depth=1..6, filters=3391073, revisions=(4608107,useless=847323), ccks=2355072486, wck=271.198, mem=72M257
276.25/273.37 decisions=619957, wrong=309145, backtracks=21474, failedAssignments=305765, nogoods=15290, foundSolutions=9, bestBound=82
276.25/273.37
276.45/273.55 num=334, depth=2..5, filters=3393408, revisions=(4611383,useless=847862), ccks=2356497771, wck=271.378, mem=74M333
276.45/273.55 decisions=620097, wrong=309213, backtracks=21493, failedAssignments=305826, nogoods=15309, foundSolutions=9, bestBound=82
276.45/273.55
276.55/273.66 num=335, depth=2..5, filters=3394683, revisions=(4613067,useless=848188), ccks=2357516280, wck=271.485, mem=76M409
276.55/273.66 decisions=620236, wrong=309280, backtracks=21498, failedAssignments=305893, nogoods=15342, foundSolutions=9, bestBound=82
276.55/273.66
276.75/273.88 num=336, depth=2..4, filters=3397081, revisions=(4616450,useless=848895), ccks=2359412164, wck=271.714, mem=76M409
276.75/273.88 decisions=620400, wrong=309360, backtracks=21518, failedAssignments=305967, nogoods=15356, foundSolutions=9, bestBound=82
276.75/273.88
276.96/274.09 num=337, depth=3..6, filters=3399838, revisions=(4620110,useless=849453), ccks=2361264756, wck=271.921, mem=78M485
276.96/274.09 decisions=620595, wrong=309455, backtracks=21537, failedAssignments=306048, nogoods=15375, foundSolutions=9, bestBound=82
276.96/274.09
277.06/274.19 num=338, depth=3..6, filters=3401632, revisions=(4622554,useless=849945), ccks=2362083971, wck=272.015, mem=80M561
277.06/274.19 decisions=620778, wrong=309544, backtracks=21546, failedAssignments=306137, nogoods=15397, foundSolutions=9, bestBound=82
277.06/274.19
277.25/274.36 num=339, depth=2..5, filters=3404303, revisions=(4626397,useless=850647), ccks=2363404735, wck=272.186, mem=82M636
277.25/274.36 decisions=620999, wrong=309653, backtracks=21565, failedAssignments=306235, nogoods=15408, foundSolutions=9, bestBound=82
277.25/274.36
277.35/274.46 num=340, depth=3..6, filters=3406605, revisions=(4629554,useless=851288), ccks=2364233004, wck=272.287, mem=82M636
277.35/274.46 decisions=621220, wrong=309761, backtracks=21578, failedAssignments=306343, nogoods=15420, foundSolutions=9, bestBound=82
277.35/274.46
277.65/274.72 num=341, depth=1..5, filters=3410568, revisions=(4635284,useless=852407), ccks=2366083495, wck=272.545, mem=86M788
277.65/274.72 decisions=621490, wrong=309894, backtracks=21615, failedAssignments=306462, nogoods=15433, foundSolutions=9, bestBound=82
277.65/274.72
277.96/275.03 num=342, depth=1..6, filters=3413151, revisions=(4638916,useless=853312), ccks=2368974738, wck=272.864, mem=88M864
277.96/275.03 decisions=621776, wrong=310034, backtracks=21642, failedAssignments=306593, nogoods=15489, foundSolutions=9, bestBound=82
277.96/275.03
278.25/275.34 num=343, depth=2..5, filters=3417340, revisions=(4645284,useless=854642), ccks=2371285023, wck=273.168, mem=90M940
278.25/275.34 decisions=622079, wrong=310184, backtracks=21680, failedAssignments=306737, nogoods=15502, foundSolutions=9, bestBound=82
278.25/275.34
278.35/275.40 num=344, depth=4..7, filters=3418693, revisions=(4647062,useless=854966), ccks=2371769858, wck=273.233, mem=93M16
278.35/275.40 decisions=622404, wrong=310344, backtracks=21689, failedAssignments=306895, nogoods=15554, foundSolutions=9, bestBound=82
278.35/275.40
278.65/275.70 num=345, depth=2..4, filters=3422335, revisions=(4652760,useless=856067), ccks=2374119714, wck=273.53, mem=95M92
278.65/275.70 decisions=622755, wrong=310518, backtracks=21712, failedAssignments=307069, nogoods=15578, foundSolutions=9, bestBound=82
278.65/275.70
278.86/275.90 num=346, depth=3..7, filters=3426491, revisions=(4658425,useless=856965), ccks=2375826832, wck=273.729, mem=97M168
278.86/275.90 decisions=623152, wrong=310714, backtracks=21734, failedAssignments=307260, nogoods=15606, foundSolutions=9, bestBound=82
278.86/275.90
279.16/276.23 num=347, depth=1..5, filters=3431744, revisions=(4666088,useless=858457), ccks=2378364847, wck=274.063, mem=101M320
279.16/276.23 decisions=623608, wrong=310941, backtracks=21771, failedAssignments=307471, nogoods=15614, foundSolutions=9, bestBound=82
279.16/276.23
279.36/276.49 num=348, depth=3..7, filters=3438250, revisions=(4674951,useless=860096), ccks=2380387171, wck=274.316, mem=105M472
279.36/276.49 decisions=624105, wrong=311187, backtracks=21824, failedAssignments=307703, nogoods=15655, foundSolutions=9, bestBound=82
279.36/276.49
279.97/277.06 num=349, depth=2..6, filters=3444898, revisions=(4684228,useless=862161), ccks=2385655907, wck=274.884, mem=109M623
279.97/277.06 decisions=624630, wrong=311448, backtracks=21873, failedAssignments=307958, nogoods=15668, foundSolutions=9, bestBound=82
279.97/277.06
280.16/277.25 num=350, depth=3..6, filters=3447233, revisions=(4687345,useless=862691), ccks=2387498272, wck=275.083, mem=111M699
280.16/277.25 decisions=625197, wrong=311729, backtracks=21880, failedAssignments=308239, nogoods=15752, foundSolutions=9, bestBound=82
280.16/277.25
280.46/277.51 num=351, depth=1..7, filters=3449865, revisions=(4691180,useless=863612), ccks=2389611736, wck=275.341, mem=113M775
280.46/277.51 decisions=625830, wrong=312043, backtracks=21910, failedAssignments=308548, nogoods=15824, foundSolutions=9, bestBound=82
280.46/277.51
280.97/278.02 num=352, depth=2..5, filters=3458054, revisions=(4703294,useless=865994), ccks=2393260831, wck=275.85, mem=120M3
280.97/278.02 decisions=626538, wrong=312395, backtracks=21977, failedAssignments=308888, nogoods=15840, foundSolutions=9, bestBound=82
280.97/278.02
281.46/278.55 num=353, depth=1..6, filters=3463760, revisions=(4711079,useless=867468), ccks=2397753381, wck=276.384, mem=124M155
281.46/278.55 decisions=627316, wrong=312782, backtracks=22021, failedAssignments=309262, nogoods=15957, foundSolutions=9, bestBound=82
281.46/278.55
281.66/278.76 num=354, depth=1..7, filters=3466995, revisions=(4715444,useless=868304), ccks=2399216584, wck=276.587, mem=126M231
281.66/278.76 decisions=628156, wrong=313200, backtracks=22047, failedAssignments=309673, nogoods=15970, foundSolutions=9, bestBound=82
281.66/278.76
282.26/279.35 num=355, depth=1..6, filters=3475030, revisions=(4727042,useless=871200), ccks=2404348980, wck=277.178, mem=30M785
282.26/279.35 decisions=629068, wrong=313653, backtracks=22114, failedAssignments=310125, nogoods=16035, foundSolutions=9, bestBound=82
282.26/279.35
282.56/279.70 num=356, depth=2..5, filters=3479903, revisions=(4733699,useless=872416), ccks=2406766483, wck=277.525, mem=32M830
282.56/279.70 decisions=630096, wrong=314165, backtracks=22155, failedAssignments=310622, nogoods=16052, foundSolutions=9, bestBound=82
282.56/279.70
283.46/280.58 num=357, depth=2..5, filters=3494260, revisions=(4755099,useless=876703), ccks=2413268597, wck=278.413, mem=45M97
283.46/280.58 decisions=631254, wrong=314743, backtracks=22284, failedAssignments=311169, nogoods=16071, foundSolutions=9, bestBound=82
283.46/280.58
284.08/281.16 num=358, depth=3..7, filters=3510422, revisions=(4776771,useless=880531), ccks=2417907116, wck=278.994, mem=51M231
284.08/281.16 decisions=632554, wrong=315390, backtracks=22398, failedAssignments=311771, nogoods=16120, foundSolutions=9, bestBound=82
284.08/281.16
284.47/281.58 num=359, depth=2..6, filters=3515765, revisions=(4784025,useless=881764), ccks=2420786395, wck=279.406, mem=55M320
284.47/281.58 decisions=633907, wrong=316065, backtracks=22444, failedAssignments=312433, nogoods=16125, foundSolutions=9, bestBound=82
284.47/281.58
284.77/281.89 num=360, depth=3..7, filters=3524998, revisions=(4795940,useless=883819), ccks=2423032769, wck=279.719, mem=59M409
284.77/281.89 decisions=635429, wrong=316823, backtracks=22520, failedAssignments=313161, nogoods=16183, foundSolutions=9, bestBound=82
284.77/281.89
285.77/282.84 num=361, depth=1..7, filters=3534333, revisions=(4809314,useless=886456), ccks=2431023369, wck=280.673, mem=67M587
285.77/282.84 decisions=637063, wrong=317637, backtracks=22597, failedAssignments=313962, nogoods=16216, foundSolutions=9, bestBound=82
285.77/282.84
286.27/283.33 num=362, depth=0..6, filters=3540869, revisions=(4818588,useless=888237), ccks=2434470581, wck=281.16, mem=73M721
286.27/283.33 decisions=638837, wrong=318522, backtracks=22654, failedAssignments=314843, nogoods=16275, foundSolutions=9, bestBound=82
286.27/283.33
287.37/284.47 num=363, depth=1..6, filters=3556721, revisions=(4841060,useless=892473), ccks=2443173132, wck=282.302, mem=83M943
287.37/284.47 decisions=640848, wrong=319525, backtracks=22788, failedAssignments=315813, nogoods=16297, foundSolutions=9, bestBound=82
287.37/284.47
288.58/285.64 num=364, depth=1..7, filters=3568717, revisions=(4857962,useless=896276), ccks=2452937621, wck=283.466, mem=94M166
288.58/285.64 decisions=643004, wrong=320600, backtracks=22888, failedAssignments=316880, nogoods=16372, foundSolutions=9, bestBound=82
288.58/285.64
289.58/286.65 num=365, depth=1..10, filters=3583696, revisions=(4879285,useless=900260), ccks=2460695224, wck=284.477, mem=104M389
289.58/286.65 decisions=645388, wrong=321789, backtracks=22990, failedAssignments=318053, nogoods=16449, foundSolutions=9, bestBound=82
289.58/286.65
291.09/288.17 num=366, depth=1..9, filters=3605527, revisions=(4910384,useless=906187), ccks=2473359339, wck=286.001, mem=122M790
291.09/288.17 decisions=648023, wrong=323103, backtracks=23157, failedAssignments=319344, nogoods=16541, foundSolutions=9, bestBound=82
291.09/288.17
293.28/290.31 num=367, depth=1..5, filters=3639162, revisions=(4958984,useless=915453), ccks=2489371218, wck=288.14, mem=46M806
293.28/290.31 decisions=651000, wrong=324590, backtracks=23400, failedAssignments=320764, nogoods=16578, foundSolutions=9, bestBound=82
293.28/290.31
295.49/292.51 num=368, depth=1..7, filters=3675051, revisions=(5008712,useless=924547), ccks=2507868739, wck=290.338, mem=70M963
295.49/292.51 decisions=654245, wrong=326210, backtracks=23578, failedAssignments=322326, nogoods=16648, foundSolutions=9, bestBound=82
295.49/292.51
297.59/294.62 num=369, depth=1..6, filters=3699833, revisions=(5043500,useless=930464), ccks=2524808876, wck=292.447, mem=89M82
297.59/294.62 decisions=657773, wrong=327972, backtracks=23754, failedAssignments=324044, nogoods=16669, foundSolutions=9, bestBound=82
297.59/294.62
299.59/296.68 num=370, depth=1..7, filters=3740558, revisions=(5096975,useless=938488), ccks=2542634501, wck=294.508, mem=113M240
299.59/296.68 decisions=661631, wrong=329899, backtracks=23922, failedAssignments=325934, nogoods=16705, foundSolutions=9, bestBound=82
299.59/296.68
302.59/299.61 num=371, depth=1..7, filters=3777794, revisions=(5148669,useless=947946), ccks=2567097760, wck=297.438, mem=36M683
302.59/299.61 decisions=666002, wrong=332083, backtracks=24176, failedAssignments=328013, nogoods=16800, foundSolutions=9, bestBound=82
302.59/299.61
303.69/300.76 num=372, depth=1..8, filters=3793863, revisions=(5171048,useless=952030), ccks=2574562008, wck=298.588, mem=46M645
303.69/300.76 decisions=670619, wrong=334388, backtracks=24319, failedAssignments=330300, nogoods=16865, foundSolutions=9, bestBound=82
303.69/300.76
306.29/303.37 num=373, depth=0..9, filters=3823042, revisions=(5212240,useless=959834), ccks=2598558183, wck=301.196, mem=70M551
306.29/303.37 decisions=675717, wrong=336934, backtracks=24461, failedAssignments=332816, nogoods=16916, foundSolutions=9, bestBound=82
306.29/303.37
309.39/306.49 num=374, depth=0..6, filters=3864220, revisions=(5269560,useless=969956), ccks=2624461734, wck=304.324, mem=102M427
309.39/306.49 decisions=681312, wrong=339729, backtracks=24714, failedAssignments=335584, nogoods=16983, foundSolutions=9, bestBound=82
309.39/306.49
312.30/309.32 num=375, depth=1..8, filters=3900057, revisions=(5318787,useless=979220), ccks=2647725388, wck=307.146, mem=26M762
312.30/309.32 decisions=687536, wrong=342838, backtracks=24996, failedAssignments=338628, nogoods=17114, foundSolutions=9, bestBound=82
312.30/309.32
315.50/312.50 num=376, depth=1..6, filters=3946216, revisions=(5383799,useless=990712), ccks=2671482879, wck=310.328, mem=60M274
315.50/312.50 decisions=694399, wrong=346268, backtracks=25323, failedAssignments=341977, nogoods=17218, foundSolutions=9, bestBound=82
315.50/312.50
318.30/315.33 num=377, depth=1..8, filters=3989024, revisions=(5445148,useless=1002615), ccks=2691336094, wck=313.16, mem=91M814
318.30/315.33 decisions=701915, wrong=350024, backtracks=25709, failedAssignments=345661, nogoods=17325, foundSolutions=9, bestBound=82
318.30/315.33
321.21/318.25 num=378, depth=1..8, filters=4031013, revisions=(5504658,useless=1013312), ccks=2712121154, wck=316.08, mem=24M786
321.21/318.25 decisions=710160, wrong=354145, backtracks=26029, failedAssignments=349713, nogoods=17406, foundSolutions=9, bestBound=82
321.21/318.25
325.51/322.53 num=379, depth=1..8, filters=4108230, revisions=(5615611,useless=1035997), ccks=2743579703, wck=320.361, mem=83M296
325.51/322.53 decisions=719284, wrong=358704, backtracks=26566, failedAssignments=354170, nogoods=17511, foundSolutions=9, bestBound=82
325.51/322.53
329.92/326.92 num=380, depth=1..8, filters=4167577, revisions=(5696634,useless=1050703), ccks=2779225702, wck=324.749, mem=120M352
329.92/326.92 decisions=729318, wrong=363719, backtracks=27022, failedAssignments=359073, nogoods=17548, foundSolutions=9, bestBound=82
329.92/326.92
334.14/331.17 num=381, depth=1..6, filters=4249413, revisions=(5804628,useless=1070329), ccks=2818665181, wck=328.999, mem=73M32
334.14/331.17 decisions=740131, wrong=369124, backtracks=27233, failedAssignments=364467, nogoods=17665, foundSolutions=9, bestBound=82
334.14/331.17
339.93/336.94 num=382, depth=1..7, filters=4346856, revisions=(5941342,useless=1096036), ccks=2859607404, wck=334.768, mem=41M945
339.93/336.94 decisions=752391, wrong=375252, backtracks=27975, failedAssignments=370400, nogoods=17684, foundSolutions=9, bestBound=82
339.93/336.94
345.33/342.39 num=383, depth=1..7, filters=4441268, revisions=(6063726,useless=1114603), ccks=2910957961, wck=340.221, mem=99M196
345.33/342.39 decisions=765463, wrong=381785, backtracks=28200, failedAssignments=376926, nogoods=17852, foundSolutions=9, bestBound=82
345.33/342.39
349.05/346.10 num=384, depth=1..11, filters=4506435, revisions=(6146605,useless=1127659), ccks=2941514239, wck=343.933, mem=38M11
349.05/346.10 decisions=779980, wrong=389039, backtracks=28617, failedAssignments=384105, nogoods=17998, foundSolutions=9, bestBound=82
349.05/346.10
356.15/353.17 num=385, depth=0..7, filters=4604003, revisions=(6275939,useless=1153527), ccks=3002804737, wck=351.004, mem=100M236
356.15/353.17 decisions=795962, wrong=397027, backtracks=29148, failedAssignments=392002, nogoods=17999, foundSolutions=9, bestBound=82
356.15/353.17
359.35/356.32 num=386, depth=1..11, filters=4655377, revisions=(6344299,useless=1168188), ccks=3026205861, wck=354.153, mem=37M906
359.35/356.32 decisions=813373, wrong=405727, backtracks=29514, failedAssignments=400689, nogoods=18138, foundSolutions=9, bestBound=82
359.35/356.32
364.55/361.55 num=387, depth=1..10, filters=4734003, revisions=(6449965,useless=1188586), ccks=3066045749, wck=359.381, mem=88M269
364.55/361.55 decisions=832583, wrong=415329, backtracks=29974, failedAssignments=410244, nogoods=18173, foundSolutions=9, bestBound=82
364.55/361.55
371.96/368.98 num=388, depth=0..7, filters=4862768, revisions=(6629271,useless=1224984), ccks=3123334901, wck=366.811, mem=85M713
371.96/368.98 decisions=853938, wrong=426004, backtracks=30889, failedAssignments=420755, nogoods=18289, foundSolutions=9, bestBound=82
371.96/368.98
377.27/374.28 num=389, depth=1..11, filters=4959996, revisions=(6766705,useless=1255229), ccks=3159666094, wck=372.108, mem=66M793
377.27/374.28 decisions=877167, wrong=437615, backtracks=31498, failedAssignments=432317, nogoods=18389, foundSolutions=9, bestBound=82
377.27/374.28
387.58/384.56 num=390, depth=1..9, filters=5073625, revisions=(6928903,useless=1294612), ccks=3252058012, wck=382.393, mem=71M753
387.58/384.56 decisions=902672, wrong=450364, backtracks=32095, failedAssignments=445035, nogoods=18569, foundSolutions=9, bestBound=82
387.58/384.56
396.99/393.97 num=391, depth=1..12, filters=5202561, revisions=(7098233,useless=1322673), ccks=3336641036, wck=391.803, mem=64M101
396.99/393.97 decisions=930891, wrong=464470, backtracks=32688, failedAssignments=459025, nogoods=18650, foundSolutions=9, bestBound=82
396.99/393.97
405.00/401.90 num=392, depth=0..10, filters=5321558, revisions=(7267604,useless=1363003), ccks=3393257824, wck=399.73, mem=67M127
405.00/401.90 decisions=961908, wrong=479976, backtracks=33681, failedAssignments=474414, nogoods=18698, foundSolutions=9, bestBound=82
405.00/401.90
418.51/415.48 num=393, depth=1..9, filters=5533570, revisions=(7560051,useless=1419876), ccks=3509041413, wck=413.306, mem=38M632
418.51/415.48 decisions=996074, wrong=497057, backtracks=34787, failedAssignments=491342, nogoods=18769, foundSolutions=9, bestBound=82
418.51/415.48
436.83/433.78 num=394, depth=0..8, filters=5840042, revisions=(7989311,useless=1500246), ccks=3657974099, wck=431.611, mem=90M263
436.83/433.78 decisions=1034140, wrong=516087, backtracks=36562, failedAssignments=509963, nogoods=18840, foundSolutions=9, bestBound=82
436.83/433.78
453.74/450.62 num=395, depth=1..8, filters=6079823, revisions=(8313284,useless=1569042), ccks=3798898611, wck=448.446, mem=80M407
453.74/450.62 decisions=1075702, wrong=536866, backtracks=38235, failedAssignments=530447, nogoods=18962, foundSolutions=9, bestBound=82
453.74/450.62
471.96/468.80 num=396, depth=0..8, filters=6344217, revisions=(8674056,useless=1634866), ccks=3948862332, wck=466.631, mem=99M725
471.96/468.80 decisions=1121267, wrong=559645, backtracks=39798, failedAssignments=552979, nogoods=19012, foundSolutions=9, bestBound=82
471.96/468.80
487.29/484.17 num=397, depth=0..10, filters=6587650, revisions=(9002478,useless=1698386), ccks=4075917148, wck=482.0, mem=98M751
487.29/484.17 decisions=1171216, wrong=584616, backtracks=41442, failedAssignments=577764, nogoods=19100, foundSolutions=9, bestBound=82
487.29/484.17
512.92/509.79 num=398, depth=0..9, filters=6950282, revisions=(9515024,useless=1802392), ccks=4291398700, wck=507.62, mem=63M115
512.92/509.79 decisions=1226596, wrong=612303, backtracks=43406, failedAssignments=605028, nogoods=19219, foundSolutions=9, bestBound=82
512.92/509.79
544.14/540.92 num=399, depth=0..9, filters=7366915, revisions=(10080685,useless=1907017), ccks=4545248196, wck=538.752, mem=93M835
544.14/540.92 decisions=1288341, wrong=643172, backtracks=46572, failedAssignments=635018, nogoods=19387, foundSolutions=9, bestBound=82
544.14/540.92
558.56/555.32 num=400, depth=1..9, filters=7575831, revisions=(10359885,useless=1966381), ccks=4652351791, wck=553.145, mem=76M610
558.56/555.32 decisions=1354577, wrong=676287, backtracks=48219, failedAssignments=668007, nogoods=19529, foundSolutions=9, bestBound=82
558.56/555.32
575.58/572.32 num=401, depth=1..17, filters=7900935, revisions=(10810169,useless=2066785), ccks=4777609860, wck=570.149, mem=81M315
575.58/572.32 decisions=1427507, wrong=712746, backtracks=50016, failedAssignments=704295, nogoods=19700, foundSolutions=9, bestBound=82
575.58/572.32
604.93/601.67 num=402, depth=0..10, filters=8366418, revisions=(11451085,useless=2203229), ccks=5011673059, wck=599.502, mem=48M586
604.93/601.67 decisions=1508251, wrong=753116, backtracks=52960, failedAssignments=744212, nogoods=19784, foundSolutions=9, bestBound=82
604.93/601.67
624.05/620.72 num=403, depth=1..13, filters=8685962, revisions=(11887498,useless=2293269), ccks=5144397470, wck=618.549, mem=54M860
624.05/620.72 decisions=1596852, wrong=797411, backtracks=55229, failedAssignments=788121, nogoods=19878, foundSolutions=9, bestBound=82
624.05/620.72
627.56/624.26 o 81
627.56/624.26 num=404, depth=1..65, filters=8731729, revisions=(11950574,useless=2306001), ccks=5172927309, wck=622.092, mem=86M213
627.56/624.26 decisions=1604232, wrong=801093, backtracks=55582, failedAssignments=791732, nogoods=20040, foundSolutions=10, bestBound=81
627.56/624.26
647.59/644.22 num=405, depth=1..17, filters=9044086, revisions=(12379266,useless=2397108), ccks=5302926323, wck=642.051, mem=28M817
647.59/644.22 decisions=1710945, wrong=854445, backtracks=57475, failedAssignments=844862, nogoods=20227, foundSolutions=10, bestBound=81
647.59/644.22
647.59/644.27 num=406, depth=3..4, filters=9044620, revisions=(12380097,useless=2397307), ccks=5303335820, wck=642.102, mem=28M817
647.59/644.27 decisions=1710970, wrong=854456, backtracks=57482, failedAssignments=844873, nogoods=20236, foundSolutions=10, bestBound=81
647.59/644.27
647.69/644.35 num=407, depth=2..4, filters=9045174, revisions=(12380908,useless=2397535), ccks=5304003521, wck=642.18, mem=28M817
647.69/644.35 decisions=1710998, wrong=854469, backtracks=57488, failedAssignments=844885, nogoods=20243, foundSolutions=10, bestBound=81
647.69/644.35
647.79/644.40 num=408, depth=3..5, filters=9045843, revisions=(12381930,useless=2397752), ccks=5304419264, wck=642.234, mem=30M138
647.79/644.40 decisions=1711029, wrong=854483, backtracks=57496, failedAssignments=844898, nogoods=20255, foundSolutions=10, bestBound=81
647.79/644.40
647.79/644.47 num=409, depth=1..3, filters=9046187, revisions=(12382428,useless=2397886), ccks=5305049095, wck=642.301, mem=30M138
647.79/644.47 decisions=1711059, wrong=854497, backtracks=57499, failedAssignments=844912, nogoods=20264, foundSolutions=10, bestBound=81
647.79/644.47
647.89/644.53 num=410, depth=3..4, filters=9046901, revisions=(12383492,useless=2398134), ccks=5305477171, wck=642.356, mem=30M138
647.89/644.53 decisions=1711097, wrong=854514, backtracks=57503, failedAssignments=844928, nogoods=20272, foundSolutions=10, bestBound=81
647.89/644.53
647.99/644.60 num=411, depth=0..4, filters=9047318, revisions=(12384146,useless=2398317), ccks=5306133165, wck=642.427, mem=31M460
647.99/644.60 decisions=1711134, wrong=854531, backtracks=57510, failedAssignments=844945, nogoods=20276, foundSolutions=10, bestBound=81
647.99/644.60
647.99/644.68 num=412, depth=2..4, filters=9048028, revisions=(12385155,useless=2398540), ccks=5306801196, wck=642.505, mem=31M460
647.99/644.68 decisions=1711184, wrong=854555, backtracks=57517, failedAssignments=844964, nogoods=20278, foundSolutions=10, bestBound=81
647.99/644.68
648.09/644.74 num=413, depth=3..5, filters=9049039, revisions=(12386702,useless=2398889), ccks=5307284154, wck=642.569, mem=32M781
648.09/644.74 decisions=1711232, wrong=854577, backtracks=57525, failedAssignments=844985, nogoods=20286, foundSolutions=10, bestBound=81
648.09/644.74
648.19/644.84 num=414, depth=1..4, filters=9049794, revisions=(12387741,useless=2399093), ccks=5308131162, wck=642.666, mem=32M781
648.19/644.84 decisions=1711287, wrong=854603, backtracks=57532, failedAssignments=845008, nogoods=20291, foundSolutions=10, bestBound=81
648.19/644.84
648.19/644.89 num=415, depth=3..4, filters=9050405, revisions=(12388645,useless=2399254), ccks=5308596614, wck=642.721, mem=32M781
648.19/644.89 decisions=1711340, wrong=854628, backtracks=57533, failedAssignments=845033, nogoods=20307, foundSolutions=10, bestBound=81
648.19/644.89
648.29/645.00 num=416, depth=1..6, filters=9051079, revisions=(12389602,useless=2399462), ccks=5309700292, wck=642.833, mem=34M102
648.29/645.00 decisions=1711403, wrong=854657, backtracks=57536, failedAssignments=845061, nogoods=20329, foundSolutions=10, bestBound=81
648.29/645.00
648.40/645.07 num=417, depth=3..5, filters=9052067, revisions=(12391003,useless=2399750), ccks=5310198541, wck=642.894, mem=34M102
648.40/645.07 decisions=1711479, wrong=854693, backtracks=57542, failedAssignments=845092, nogoods=20337, foundSolutions=10, bestBound=81
648.40/645.07
648.50/645.19 num=418, depth=1..6, filters=9052959, revisions=(12392249,useless=2400022), ccks=5311463084, wck=643.023, mem=35M423
648.50/645.19 decisions=1711554, wrong=854728, backtracks=57546, failedAssignments=845126, nogoods=20362, foundSolutions=10, bestBound=81
648.50/645.19
648.59/645.28 num=419, depth=2..6, filters=9053952, revisions=(12393654,useless=2400347), ccks=5312228036, wck=643.113, mem=36M745
648.59/645.28 decisions=1711647, wrong=854772, backtracks=57554, failedAssignments=845163, nogoods=20391, foundSolutions=10, bestBound=81
648.59/645.28
648.69/645.36 num=420, depth=3..5, filters=9055213, revisions=(12395420,useless=2400726), ccks=5312755385, wck=643.186, mem=36M745
648.69/645.36 decisions=1711737, wrong=854815, backtracks=57560, failedAssignments=845204, nogoods=20404, foundSolutions=10, bestBound=81
648.69/645.36
648.79/645.44 num=421, depth=4..7, filters=9056185, revisions=(12396688,useless=2400942), ccks=5313566136, wck=643.271, mem=38M66
648.79/645.44 decisions=1711834, wrong=854860, backtracks=57564, failedAssignments=845249, nogoods=20427, foundSolutions=10, bestBound=81
648.79/645.44
648.89/645.56 num=422, depth=2..5, filters=9058140, revisions=(12399516,useless=2401554), ccks=5314471118, wck=643.393, mem=39M387
648.89/645.56 decisions=1711950, wrong=854916, backtracks=57582, failedAssignments=845299, nogoods=20443, foundSolutions=10, bestBound=81
648.89/645.56
648.99/645.64 num=423, depth=3..6, filters=9059739, revisions=(12401731,useless=2402009), ccks=5315058019, wck=643.468, mem=40M708
648.99/645.64 decisions=1712071, wrong=854974, backtracks=57593, failedAssignments=845354, nogoods=20456, foundSolutions=10, bestBound=81
648.99/645.64
649.09/645.72 num=424, depth=4..6, filters=9060925, revisions=(12403291,useless=2402312), ccks=5315808629, wck=643.549, mem=40M708
649.09/645.72 decisions=1712200, wrong=855036, backtracks=57597, failedAssignments=845415, nogoods=20513, foundSolutions=10, bestBound=81
649.09/645.72
649.19/645.87 num=425, depth=2..4, filters=9062997, revisions=(12406116,useless=2402819), ccks=5317063718, wck=643.704, mem=42M29
649.19/645.87 decisions=1712352, wrong=855110, backtracks=57610, failedAssignments=845482, nogoods=20532, foundSolutions=10, bestBound=81
649.19/645.87
649.29/646.00 num=426, depth=2..6, filters=9065555, revisions=(12409575,useless=2403464), ccks=5318013094, wck=643.829, mem=44M672
649.29/646.00 decisions=1712518, wrong=855191, backtracks=57627, failedAssignments=845556, nogoods=20540, foundSolutions=10, bestBound=81
649.29/646.00
649.50/646.15 num=427, depth=4..6, filters=9067617, revisions=(12412515,useless=2404116), ccks=5319428951, wck=643.982, mem=45M993
649.50/646.15 decisions=1712689, wrong=855274, backtracks=57644, failedAssignments=845637, nogoods=20553, foundSolutions=10, bestBound=81
649.50/646.15
649.69/646.33 num=428, depth=2..4, filters=9070365, revisions=(12416562,useless=2404955), ccks=5320727383, wck=644.164, mem=47M314
649.69/646.33 decisions=1712886, wrong=855371, backtracks=57674, failedAssignments=845726, nogoods=20574, foundSolutions=10, bestBound=81
649.69/646.33
649.79/646.48 num=429, depth=2..5, filters=9072434, revisions=(12419504,useless=2405693), ccks=5321961471, wck=644.307, mem=48M635
649.79/646.48 decisions=1713093, wrong=855473, backtracks=57691, failedAssignments=845824, nogoods=20586, foundSolutions=10, bestBound=81
649.79/646.48
649.89/646.59 num=430, depth=4..6, filters=9074509, revisions=(12422219,useless=2406201), ccks=5323004808, wck=644.423, mem=49M957
649.89/646.59 decisions=1713316, wrong=855582, backtracks=57698, failedAssignments=845932, nogoods=20623, foundSolutions=10, bestBound=81
649.89/646.59
650.19/646.88 num=431, depth=2..5, filters=9077748, revisions=(12426826,useless=2407242), ccks=5325385093, wck=644.706, mem=52M599
650.19/646.88 decisions=1713566, wrong=855705, backtracks=57727, failedAssignments=846051, nogoods=20665, foundSolutions=10, bestBound=81
650.19/646.88
650.50/647.19 num=432, depth=2..5, filters=9082409, revisions=(12433368,useless=2408460), ccks=5327965599, wck=645.023, mem=55M241
650.50/647.19 decisions=1713874, wrong=855857, backtracks=57756, failedAssignments=846182, nogoods=20687, foundSolutions=10, bestBound=81
650.50/647.19
650.79/647.50 num=433, depth=2..6, filters=9086592, revisions=(12439321,useless=2409788), ccks=5330591276, wck=645.325, mem=59M205
650.79/647.50 decisions=1714183, wrong=856009, backtracks=57799, failedAssignments=846326, nogoods=20726, foundSolutions=10, bestBound=81
650.79/647.50
651.09/647.74 num=434, depth=1..4, filters=9090468, revisions=(12445144,useless=2411026), ccks=5332366439, wck=645.574, mem=61M847
651.09/647.74 decisions=1714509, wrong=856170, backtracks=57834, failedAssignments=846484, nogoods=20731, foundSolutions=10, bestBound=81
651.09/647.74
651.29/647.99 num=435, depth=2..5, filters=9094369, revisions=(12450562,useless=2411986), ccks=5334347479, wck=645.815, mem=64M490
651.29/647.99 decisions=1714894, wrong=856361, backtracks=57854, failedAssignments=846658, nogoods=20739, foundSolutions=10, bestBound=81
651.29/647.99
651.50/648.17 num=436, depth=2..7, filters=9097709, revisions=(12455235,useless=2412838), ccks=5335746077, wck=645.995, mem=67M132
651.50/648.17 decisions=1715292, wrong=856557, backtracks=57873, failedAssignments=846849, nogoods=20809, foundSolutions=10, bestBound=81
651.50/648.17
651.79/648.46 num=437, depth=2..6, filters=9103146, revisions=(12463145,useless=2414443), ccks=5337782056, wck=646.293, mem=71M96
651.79/648.46 decisions=1715748, wrong=856783, backtracks=57923, failedAssignments=847060, nogoods=20830, foundSolutions=10, bestBound=81
651.79/648.46
652.29/648.93 num=438, depth=2..5, filters=9109384, revisions=(12471800,useless=2415836), ccks=5341681520, wck=646.762, mem=76M381
652.29/648.93 decisions=1716263, wrong=857039, backtracks=57958, failedAssignments=847292, nogoods=20856, foundSolutions=10, bestBound=81
652.29/648.93
652.69/649.34 num=439, depth=2..5, filters=9117061, revisions=(12482818,useless=2417756), ccks=5344713891, wck=647.17, mem=80M344
652.69/649.34 decisions=1716820, wrong=857316, backtracks=58004, failedAssignments=847547, nogoods=20869, foundSolutions=10, bestBound=81
652.69/649.34
653.29/649.93 num=440, depth=2..5, filters=9125160, revisions=(12494105,useless=2419555), ccks=5349507891, wck=647.761, mem=86M950
653.29/649.93 decisions=1717449, wrong=857628, backtracks=58056, failedAssignments=847828, nogoods=20893, foundSolutions=10, bestBound=81
653.29/649.93
653.70/650.36 num=441, depth=2..6, filters=9133708, revisions=(12506603,useless=2422069), ccks=5352375538, wck=648.19, mem=26M285
653.70/650.36 decisions=1718098, wrong=857950, backtracks=58118, failedAssignments=848137, nogoods=20909, foundSolutions=10, bestBound=81
653.70/650.36
654.40/651.08 num=442, depth=1..6, filters=9141670, revisions=(12517566,useless=2424563), ccks=5358787944, wck=648.91, mem=31M528
654.40/651.08 decisions=1718807, wrong=858302, backtracks=58183, failedAssignments=848477, nogoods=20952, foundSolutions=10, bestBound=81
654.40/651.08
655.10/651.73 num=443, depth=2..5, filters=9150094, revisions=(12529291,useless=2426422), ccks=5364185864, wck=649.563, mem=38M81
655.10/651.73 decisions=1719604, wrong=858699, backtracks=58231, failedAssignments=848851, nogoods=20990, foundSolutions=10, bestBound=81
655.10/651.73
655.51/652.14 num=444, depth=2..6, filters=9156587, revisions=(12537649,useless=2427902), ccks=5368052986, wck=649.971, mem=42M14
655.51/652.14 decisions=1720430, wrong=859110, backtracks=58241, failedAssignments=849262, nogoods=21065, foundSolutions=10, bestBound=81
655.51/652.14
655.80/652.48 num=445, depth=1..6, filters=9162152, revisions=(12545444,useless=2429766), ccks=5370628297, wck=650.308, mem=45M946
655.80/652.48 decisions=1721347, wrong=859566, backtracks=58287, failedAssignments=849714, nogoods=21118, foundSolutions=10, bestBound=81
655.80/652.48
656.60/653.20 num=446, depth=1..5, filters=9175661, revisions=(12564596,useless=2433640), ccks=5375399900, wck=651.029, mem=55M121
656.60/653.20 decisions=1722446, wrong=860114, backtracks=58411, failedAssignments=850211, nogoods=21169, foundSolutions=10, bestBound=81
656.60/653.20
657.10/653.74 num=447, depth=2..6, filters=9186513, revisions=(12580198,useless=2436768), ccks=5378871961, wck=651.573, mem=61M674
657.10/653.74 decisions=1723608, wrong=860693, backtracks=58498, failedAssignments=850758, nogoods=21190, foundSolutions=10, bestBound=81
657.10/653.74
658.00/654.64 num=448, depth=2..6, filters=9200942, revisions=(12601836,useless=2441480), ccks=5385075024, wck=652.47, mem=73M471
658.00/654.64 decisions=1724861, wrong=861318, backtracks=58659, failedAssignments=851360, nogoods=21231, foundSolutions=10, bestBound=81
658.00/654.64
658.60/655.28 num=449, depth=4..7, filters=9214796, revisions=(12619852,useless=2444475), ccks=5390808167, wck=653.113, mem=81M335
658.60/655.28 decisions=1726225, wrong=861997, backtracks=58722, failedAssignments=852022, nogoods=21300, foundSolutions=10, bestBound=81
658.60/655.28
659.70/656.36 num=450, depth=2..7, filters=9228181, revisions=(12638225,useless=2447996), ccks=5399731813, wck=654.185, mem=89M199
659.70/656.36 decisions=1727757, wrong=862761, backtracks=58824, failedAssignments=852750, nogoods=21327, foundSolutions=10, bestBound=81
659.70/656.36
660.41/657.07 num=451, depth=2..6, filters=9245896, revisions=(12662033,useless=2452699), ccks=5405136280, wck=654.899, mem=35M464
660.41/657.07 decisions=1729428, wrong=863594, backtracks=58907, failedAssignments=853551, nogoods=21390, foundSolutions=10, bestBound=81
660.41/657.07
661.90/658.59 num=452, depth=1..8, filters=9263785, revisions=(12687024,useless=2457543), ccks=5417937796, wck=656.42, mem=47M166
661.90/658.59 decisions=1731284, wrong=864520, backtracks=59035, failedAssignments=854432, nogoods=21433, foundSolutions=10, bestBound=81
661.90/658.59
663.20/659.81 num=453, depth=1..6, filters=9285474, revisions=(12717979,useless=2463520), ccks=5426424506, wck=657.636, mem=64M69
663.20/659.81 decisions=1733332, wrong=865542, backtracks=59200, failedAssignments=855402, nogoods=21460, foundSolutions=10, bestBound=81
663.20/659.81
664.91/661.58 num=454, depth=1..7, filters=9315032, revisions=(12758712,useless=2471268), ccks=5440650431, wck=659.411, mem=82M272
664.91/661.58 decisions=1735637, wrong=866691, backtracks=59391, failedAssignments=856469, nogoods=21514, foundSolutions=10, bestBound=81
664.91/661.58
666.42/663.04 num=455, depth=2..5, filters=9342919, revisions=(12797963,useless=2478243), ccks=5451212244, wck=660.874, mem=39M239
666.42/663.04 decisions=1738095, wrong=867918, backtracks=59558, failedAssignments=857642, nogoods=21542, foundSolutions=10, bestBound=81
666.42/663.04
667.31/663.93 num=456, depth=2..7, filters=9366002, revisions=(12828720,useless=2484014), ccks=5458412452, wck=661.764, mem=52M136
667.31/663.93 decisions=1740724, wrong=869230, backtracks=59648, failedAssignments=858933, nogoods=21594, foundSolutions=10, bestBound=81
667.31/663.93
669.21/665.88 num=457, depth=2..7, filters=9391579, revisions=(12864076,useless=2491063), ccks=5474334914, wck=663.705, mem=67M613
669.21/665.88 decisions=1743716, wrong=870724, backtracks=59834, failedAssignments=860353, nogoods=21612, foundSolutions=10, bestBound=81
669.21/665.88
670.61/667.23 num=458, depth=4..7, filters=9422110, revisions=(12904003,useless=2496913), ccks=5486310286, wck=665.06, mem=83M90
670.61/667.23 decisions=1746893, wrong=872310, backtracks=59965, failedAssignments=861915, nogoods=21679, foundSolutions=10, bestBound=81
670.61/667.23
673.32/669.95 num=459, depth=1..7, filters=9462535, revisions=(12959563,useless=2508080), ccks=5508233838, wck=667.775, mem=43M24
673.32/669.95 decisions=1750519, wrong=874121, backtracks=60284, failedAssignments=863633, nogoods=21705, foundSolutions=10, bestBound=81
673.32/669.95
676.72/673.37 num=460, depth=1..5, filters=9514258, revisions=(13031818,useless=2520987), ccks=5533953979, wck=671.202, mem=75M6
676.72/673.37 decisions=1754528, wrong=876123, backtracks=60697, failedAssignments=865523, nogoods=21736, foundSolutions=10, bestBound=81
676.72/673.37
679.44/676.04 num=461, depth=1..8, filters=9552460, revisions=(13084961,useless=2531364), ccks=5556355079, wck=673.873, mem=37M759
679.44/676.04 decisions=1758856, wrong=878283, backtracks=61000, failedAssignments=867602, nogoods=21842, foundSolutions=10, bestBound=81
679.44/676.04
680.63/677.27 num=462, depth=2..5, filters=9571649, revisions=(13112221,useless=2536544), ccks=5563681276, wck=675.097, mem=51M716
680.63/677.27 decisions=1763498, wrong=880602, backtracks=61185, failedAssignments=869889, nogoods=21963, foundSolutions=10, bestBound=81
680.63/677.27
683.55/680.12 num=463, depth=1..7, filters=9627547, revisions=(13189983,useless=2550128), ccks=5586074502, wck=677.949, mem=26M352
683.55/680.12 decisions=1768745, wrong=883223, backtracks=61467, failedAssignments=872405, nogoods=21997, foundSolutions=10, bestBound=81
683.55/680.12
686.74/683.34 num=464, depth=1..6, filters=9690576, revisions=(13278485,useless=2566762), ccks=5608674310, wck=681.173, mem=70M392
686.74/683.34 decisions=1774648, wrong=886173, backtracks=61908, failedAssignments=875173, nogoods=22012, foundSolutions=10, bestBound=81
686.74/683.34
689.24/685.88 num=465, depth=1..9, filters=9715574, revisions=(13312211,useless=2572738), ccks=5630630496, wck=683.709, mem=86M750
689.24/685.88 decisions=1780814, wrong=889253, backtracks=62060, failedAssignments=878217, nogoods=22056, foundSolutions=10, bestBound=81
689.24/685.88
694.34/690.95 num=466, depth=0..7, filters=9775632, revisions=(13394511,useless=2589210), ccks=5676360280, wck=688.783, mem=66M228
694.34/690.95 decisions=1787690, wrong=892688, backtracks=62456, failedAssignments=881566, nogoods=22169, foundSolutions=10, bestBound=81
694.34/690.95
696.85/693.43 num=467, depth=1..8, filters=9815847, revisions=(13449376,useless=2600551), ccks=5693857498, wck=691.256, mem=31M259
696.85/693.43 decisions=1795128, wrong=896404, backtracks=62759, failedAssignments=885250, nogoods=22214, foundSolutions=10, bestBound=81
696.85/693.43
702.25/698.86 num=468, depth=1..6, filters=9891854, revisions=(13554451,useless=2617824), ccks=5736608062, wck=696.686, mem=81M989
702.25/698.86 decisions=1803547, wrong=900612, backtracks=63236, failedAssignments=889302, nogoods=22308, foundSolutions=10, bestBound=81
702.25/698.86
706.66/703.25 num=469, depth=1..10, filters=9970724, revisions=(13658808,useless=2635954), ccks=5772851185, wck=701.08, mem=66M799
706.66/703.25 decisions=1812622, wrong=905146, backtracks=63695, failedAssignments=893759, nogoods=22348, foundSolutions=10, bestBound=81
706.66/703.25
711.16/707.70 num=470, depth=2..8, filters=10044169, revisions=(13754667,useless=2652513), ccks=5811664116, wck=705.534, mem=49M436
711.16/707.70 decisions=1822471, wrong=910068, backtracks=63973, failedAssignments=898662, nogoods=22479, foundSolutions=10, bestBound=81
711.16/707.70
717.77/714.35 num=471, depth=1..6, filters=10144170, revisions=(13895709,useless=2678014), ccks=5860328091, wck=712.179, mem=58M896
717.77/714.35 decisions=1833675, wrong=915668, backtracks=64735, failedAssignments=904056, nogoods=22578, foundSolutions=10, bestBound=81
717.77/714.35
723.48/720.02 num=472, depth=1..8, filters=10244596, revisions=(14036543,useless=2704437), ccks=5899467102, wck=717.85, mem=68M138
723.48/720.02 decisions=1846008, wrong=921832, backtracks=65440, failedAssignments=909989, nogoods=22663, foundSolutions=10, bestBound=81
723.48/720.02
729.08/725.68 num=473, depth=1..8, filters=10344623, revisions=(14174851,useless=2733613), ccks=5944167126, wck=723.507, mem=76M77
729.08/725.68 decisions=1859258, wrong=928454, backtracks=66039, failedAssignments=916515, nogoods=22756, foundSolutions=10, bestBound=81
729.08/725.68
735.21/731.78 num=474, depth=1..11, filters=10444524, revisions=(14313829,useless=2760204), ccks=5992453644, wck=729.613, mem=33M253
735.21/731.78 decisions=1873884, wrong=935762, backtracks=66620, failedAssignments=923694, nogoods=22890, foundSolutions=10, bestBound=81
735.21/731.78
744.63/741.17 num=475, depth=0..6, filters=10565243, revisions=(14478724,useless=2790514), ccks=6069451186, wck=738.995, mem=50M487
744.63/741.17 decisions=1890332, wrong=943984, backtracks=67547, failedAssignments=931591, nogoods=22945, foundSolutions=10, bestBound=81
744.63/741.17
746.72/743.29 num=476, depth=2..9, filters=10633315, revisions=(14568073,useless=2808838), ccks=6081652708, wck=741.121, mem=27M412
746.72/743.29 decisions=1907832, wrong=952731, backtracks=67998, failedAssignments=940278, nogoods=23053, foundSolutions=10, bestBound=81
746.72/743.29
752.73/749.24 num=477, depth=1..8, filters=10728964, revisions=(14701947,useless=2835311), ccks=6124435994, wck=747.072, mem=43M259
752.73/749.24 decisions=1927220, wrong=962423, backtracks=68685, failedAssignments=949833, nogoods=23168, foundSolutions=10, bestBound=81
752.73/749.24
760.04/756.51 num=478, depth=1..9, filters=10844329, revisions=(14859443,useless=2865956), ccks=6183589859, wck=754.338, mem=61M24
760.04/756.51 decisions=1948446, wrong=973032, backtracks=69500, failedAssignments=960344, nogoods=23267, foundSolutions=10, bestBound=81
760.04/756.51
773.36/769.87 num=479, depth=1..8, filters=11051057, revisions=(15148202,useless=2918581), ccks=6284346007, wck=767.703, mem=36M85
773.36/769.87 decisions=1972204, wrong=984908, backtracks=70933, failedAssignments=971906, nogoods=23363, foundSolutions=10, bestBound=81
773.36/769.87
786.69/783.19 num=480, depth=1..8, filters=11232945, revisions=(15397370,useless=2967549), ccks=6389092330, wck=781.018, mem=42M499
786.69/783.19 decisions=1998306, wrong=997957, backtracks=72435, failedAssignments=984624, nogoods=23414, foundSolutions=10, bestBound=81
786.69/783.19
792.08/788.51 num=481, depth=1..11, filters=11348036, revisions=(15558327,useless=3006607), ccks=6426632289, wck=786.341, mem=72M764
792.08/788.51 decisions=2026345, wrong=1011972, backtracks=73113, failedAssignments=998614, nogoods=23505, foundSolutions=10, bestBound=81
792.08/788.51
804.81/801.25 num=482, depth=0..10, filters=11539039, revisions=(15816244,useless=3060887), ccks=6535038403, wck=799.077, mem=37M132
804.81/801.25 decisions=2057385, wrong=1027491, backtracks=74212, failedAssignments=1014003, nogoods=23531, foundSolutions=10, bestBound=81
804.81/801.25
825.74/822.19 num=483, depth=2..8, filters=11787686, revisions=(16137717,useless=3099528), ccks=6742317699, wck=820.024, mem=38M228
825.74/822.19 decisions=2091281, wrong=1044436, backtracks=74618, failedAssignments=1030931, nogoods=23608, foundSolutions=10, bestBound=81
825.74/822.19
834.05/830.42 num=484, depth=0..10, filters=11997118, revisions=(16413738,useless=3156591), ccks=6807600034, wck=828.247, mem=52M318
834.05/830.42 decisions=2128662, wrong=1063124, backtracks=75518, failedAssignments=1049552, nogoods=23776, foundSolutions=10, bestBound=81
834.05/830.42
846.16/842.57 num=485, depth=1..10, filters=12199173, revisions=(16685513,useless=3208743), ccks=6901560276, wck=840.401, mem=73M984
846.16/842.57 decisions=2170030, wrong=1083805, backtracks=76673, failedAssignments=1070036, nogoods=23888, foundSolutions=10, bestBound=81
846.16/842.57
870.30/866.64 num=486, depth=1..8, filters=12490300, revisions=(17067667,useless=3269441), ccks=7101392876, wck=864.465, mem=41M607
870.30/866.64 decisions=2215478, wrong=1106527, backtracks=78275, failedAssignments=1092568, nogoods=23942, foundSolutions=10, bestBound=81
870.30/866.64
884.84/881.12 num=487, depth=1..11, filters=12774441, revisions=(17439782,useless=3329290), ccks=7212807901, wck=878.95, mem=45M977
884.84/881.12 decisions=2265922, wrong=1131745, backtracks=79792, failedAssignments=1117353, nogoods=24066, foundSolutions=10, bestBound=81
884.84/881.12
900.86/897.13 num=488, depth=0..10, filters=13007584, revisions=(17759885,useless=3395950), ccks=7337889299, wck=894.957, mem=48M161
900.86/897.13 decisions=2320835, wrong=1159199, backtracks=81305, failedAssignments=1144617, nogoods=24089, foundSolutions=10, bestBound=81
900.86/897.13
911.56/907.89 num=489, depth=1..13, filters=13147897, revisions=(17947467,useless=3428377), ccks=7403494963, wck=905.72, mem=26M585
911.56/907.89 decisions=2381127, wrong=1189341, backtracks=82584, failedAssignments=1174607, nogoods=24257, foundSolutions=10, bestBound=81
911.56/907.89
929.90/926.17 num=490, depth=0..10, filters=13475171, revisions=(18394489,useless=3524049), ccks=7541296482, wck=924.001, mem=25M563
929.90/926.17 decisions=2447699, wrong=1222624, backtracks=84855, failedAssignments=1207596, nogoods=24308, foundSolutions=10, bestBound=81
929.90/926.17
947.42/943.68 num=491, depth=1..15, filters=13735586, revisions=(18755961,useless=3600288), ccks=7666532320, wck=941.511, mem=52M563
947.42/943.68 decisions=2520867, wrong=1259202, backtracks=86821, failedAssignments=1243884, nogoods=24512, foundSolutions=10, bestBound=81
947.42/943.68
988.66/984.86 num=492, depth=1..13, filters=14182140, revisions=(19344023,useless=3694117), ccks=8004626384, wck=982.685, mem=69M893
988.66/984.86 decisions=2601313, wrong=1299419, backtracks=89285, failedAssignments=1283801, nogoods=24604, foundSolutions=10, bestBound=81
988.66/984.86
1015.30/1011.46 num=493, depth=0..12, filters=14506725, revisions=(19807323,useless=3805007), ccks=8227892401, wck=1009.293, mem=71M39
1015.30/1011.46 decisions=2689225, wrong=1343371, backtracks=91006, failedAssignments=1327710, nogoods=24667, foundSolutions=10, bestBound=81
1015.30/1011.46
1048.76/1044.85 num=494, depth=1..15, filters=15097443, revisions=(20578782,useless=3926622), ccks=8499173471, wck=1042.677, mem=27M903
1048.76/1044.85 decisions=2787522, wrong=1392516, backtracks=94264, failedAssignments=1376010, nogoods=24785, foundSolutions=10, bestBound=81
1048.76/1044.85
1063.59/1059.68 num=495, depth=1..13, filters=15445635, revisions=(21055764,useless=4046452), ccks=8592132286, wck=1057.51, mem=45M208
1063.59/1059.68 decisions=2893869, wrong=1445687, backtracks=96118, failedAssignments=1429140, nogoods=24829, foundSolutions=10, bestBound=81
1063.59/1059.68
1078.32/1074.39 o 80
1078.32/1074.40 num=496, depth=1..65, filters=15719092, revisions=(21429696,useless=4123955), ccks=8690003722, wck=1072.224, mem=65M728
1078.32/1074.40 decisions=2959584, wrong=1478537, backtracks=97896, failedAssignments=1461722, nogoods=24938, foundSolutions=11, bestBound=80
1078.32/1074.40
1108.89/1104.84 num=497, depth=1..14, filters=16290855, revisions=(22225603,useless=4304821), ccks=8898595580, wck=1102.67, mem=39M832
1108.89/1104.84 decisions=3089337, wrong=1543408, backtracks=100798, failedAssignments=1526009, nogoods=25006, foundSolutions=11, bestBound=80
1108.89/1104.84
1108.89/1104.88 num=498, depth=3..5, filters=16291338, revisions=(22226311,useless=4304956), ccks=8898906638, wck=1102.711, mem=40M912
1108.89/1104.88 decisions=3089367, wrong=1543421, backtracks=100802, failedAssignments=1526020, nogoods=25010, foundSolutions=11, bestBound=80
1108.89/1104.88
1109.00/1104.92 num=499, depth=5..6, filters=16291726, revisions=(22226861,useless=4305069), ccks=8899220336, wck=1102.746, mem=40M912
1109.00/1104.92 decisions=3089398, wrong=1543434, backtracks=100803, failedAssignments=1526032, nogoods=25022, foundSolutions=11, bestBound=80
1109.00/1104.92
1109.00/1104.98 num=500, depth=2..4, filters=16292113, revisions=(22227425,useless=4305228), ccks=8899844844, wck=1102.814, mem=40M912
1109.00/1104.98 decisions=3089429, wrong=1543448, backtracks=100809, failedAssignments=1526045, nogoods=25030, foundSolutions=11, bestBound=80
1109.00/1104.98
1109.11/1105.04 num=501, depth=3..5, filters=16292811, revisions=(22228518,useless=4305498), ccks=8900284892, wck=1102.869, mem=41M993
1109.11/1105.04 decisions=3089462, wrong=1543463, backtracks=100815, failedAssignments=1526059, nogoods=25036, foundSolutions=11, bestBound=80
1109.11/1105.04
1109.11/1105.09 num=502, depth=1..3, filters=16293088, revisions=(22228913,useless=4305600), ccks=8900713367, wck=1102.917, mem=41M993
1109.11/1105.09 decisions=3089495, wrong=1543479, backtracks=100821, failedAssignments=1526075, nogoods=25037, foundSolutions=11, bestBound=80
1109.11/1105.09
1109.21/1105.16 num=503, depth=3..5, filters=16294164, revisions=(22230497,useless=4305913), ccks=8901248008, wck=1102.987, mem=43M73
1109.21/1105.16 decisions=3089537, wrong=1543498, backtracks=100829, failedAssignments=1526092, nogoods=25046, foundSolutions=11, bestBound=80
1109.21/1105.16
1109.30/1105.24 num=504, depth=2..4, filters=16294966, revisions=(22231622,useless=4306155), ccks=8901913294, wck=1103.067, mem=43M73
1109.30/1105.24 decisions=3089588, wrong=1543522, backtracks=100836, failedAssignments=1526111, nogoods=25053, foundSolutions=11, bestBound=80
1109.30/1105.24
1109.40/1105.31 num=505, depth=2..5, filters=16296245, revisions=(22233478,useless=4306506), ccks=8902418419, wck=1103.139, mem=44M153
1109.40/1105.31 decisions=3089640, wrong=1543546, backtracks=100849, failedAssignments=1526132, nogoods=25057, foundSolutions=11, bestBound=80
1109.40/1105.31
1109.50/1105.40 num=506, depth=2..4, filters=16296959, revisions=(22234499,useless=4306736), ccks=8903187173, wck=1103.226, mem=44M153
1109.50/1105.40 decisions=3089695, wrong=1543572, backtracks=100856, failedAssignments=1526155, nogoods=25064, foundSolutions=11, bestBound=80
1109.50/1105.40
1109.50/1105.44 num=507, depth=4..6, filters=16297630, revisions=(22235459,useless=4306945), ccks=8903519531, wck=1103.267, mem=45M233
1109.50/1105.44 decisions=3089753, wrong=1543599, backtracks=100863, failedAssignments=1526180, nogoods=25071, foundSolutions=11, bestBound=80
1109.50/1105.44
1109.60/1105.56 num=508, depth=2..4, filters=16299021, revisions=(22237376,useless=4307359), ccks=8904525024, wck=1103.392, mem=45M233
1109.60/1105.56 decisions=3089828, wrong=1543635, backtracks=100877, failedAssignments=1526208, nogoods=25077, foundSolutions=11, bestBound=80
1109.60/1105.56
1109.70/1105.64 num=509, depth=2..4, filters=16300095, revisions=(22238993,useless=4307699), ccks=8905096545, wck=1103.467, mem=46M313
1109.70/1105.64 decisions=3089895, wrong=1543667, backtracks=100886, failedAssignments=1526239, nogoods=25082, foundSolutions=11, bestBound=80
1109.70/1105.64
1109.80/1105.73 num=510, depth=4..6, filters=16300892, revisions=(22240072,useless=4307908), ccks=8905973910, wck=1103.557, mem=47M393
1109.80/1105.73 decisions=3089970, wrong=1543702, backtracks=100890, failedAssignments=1526273, nogoods=25104, foundSolutions=11, bestBound=80
1109.80/1105.73
1109.90/1105.81 num=511, depth=2..4, filters=16301721, revisions=(22241300,useless=4308154), ccks=8906610335, wck=1103.635, mem=47M393
1109.90/1105.81 decisions=3090051, wrong=1543741, backtracks=100896, failedAssignments=1526310, nogoods=25116, foundSolutions=11, bestBound=80
1109.90/1105.81
1109.90/1105.87 num=512, depth=3..6, filters=16302768, revisions=(22242745,useless=4308451), ccks=8907089549, wck=1103.695, mem=48M473
1109.90/1105.87 decisions=3090144, wrong=1543785, backtracks=100904, failedAssignments=1526351, nogoods=25124, foundSolutions=11, bestBound=80
1109.90/1105.87
1110.12/1106.03 num=513, depth=2..5, filters=16304537, revisions=(22245194,useless=4308970), ccks=8908474106, wck=1103.861, mem=49M553
1110.12/1106.03 decisions=3090254, wrong=1543838, backtracks=100920, failedAssignments=1526396, nogoods=25135, foundSolutions=11, bestBound=80
1110.12/1106.03
1110.22/1106.11 num=514, depth=3..5, filters=16306290, revisions=(22247654,useless=4309487), ccks=8909025543, wck=1103.938, mem=50M633
1110.22/1106.11 decisions=3090372, wrong=1543895, backtracks=100932, failedAssignments=1526446, nogoods=25146, foundSolutions=11, bestBound=80
1110.22/1106.11
1110.31/1106.23 num=515, depth=2..5, filters=16308282, revisions=(22250438,useless=4309953), ccks=8909933388, wck=1104.06, mem=51M713
1110.31/1106.23 decisions=3090508, wrong=1543961, backtracks=100947, failedAssignments=1526501, nogoods=25161, foundSolutions=11, bestBound=80
1110.31/1106.23
1110.41/1106.34 num=516, depth=4..7, filters=16309893, revisions=(22252558,useless=4310365), ccks=8910971491, wck=1104.172, mem=52M793
1110.41/1106.34 decisions=3090652, wrong=1544030, backtracks=100959, failedAssignments=1526562, nogoods=25183, foundSolutions=11, bestBound=80
1110.41/1106.34
1110.51/1106.47 num=517, depth=2..4, filters=16311610, revisions=(22255098,useless=4310837), ccks=8912001121, wck=1104.302, mem=53M873
1110.51/1106.47 decisions=3090797, wrong=1544101, backtracks=100971, failedAssignments=1526629, nogoods=25209, foundSolutions=11, bestBound=80
1110.51/1106.47
1110.61/1106.54 num=518, depth=4..6, filters=16313334, revisions=(22257502,useless=4311346), ccks=8912552058, wck=1104.372, mem=54M953
1110.61/1106.54 decisions=3090959, wrong=1544180, backtracks=100984, failedAssignments=1526703, nogoods=25225, foundSolutions=11, bestBound=80
1110.61/1106.54
1110.81/1106.72 num=519, depth=2..6, filters=16315529, revisions=(22260482,useless=4311968), ccks=8914134633, wck=1104.546, mem=57M113
1110.81/1106.72 decisions=3091129, wrong=1544263, backtracks=100998, failedAssignments=1526784, nogoods=25263, foundSolutions=11, bestBound=80
1110.81/1106.72
1111.01/1106.98 num=520, depth=2..5, filters=16318517, revisions=(22264622,useless=4312755), ccks=8916395849, wck=1104.812, mem=58M193
1111.01/1106.98 decisions=3091338, wrong=1544366, backtracks=101021, failedAssignments=1526873, nogoods=25274, foundSolutions=11, bestBound=80
1111.01/1106.98
1111.12/1107.08 num=521, depth=4..6, filters=16320370, revisions=(22266953,useless=4313098), ccks=8917288087, wck=1104.908, mem=59M273
1111.12/1107.08 decisions=3091540, wrong=1544464, backtracks=101027, failedAssignments=1526971, nogoods=25300, foundSolutions=11, bestBound=80
1111.12/1107.08
1111.41/1107.35 num=522, depth=2..5, filters=16323422, revisions=(22271165,useless=4313959), ccks=8919631882, wck=1105.183, mem=61M433
1111.41/1107.35 decisions=3091784, wrong=1544584, backtracks=101047, failedAssignments=1527079, nogoods=25327, foundSolutions=11, bestBound=80
1111.41/1107.35
1111.61/1107.53 num=523, depth=2..4, filters=16325799, revisions=(22274592,useless=4314565), ccks=8921021218, wck=1105.355, mem=63M593
1111.61/1107.53 decisions=3092027, wrong=1544704, backtracks=101057, failedAssignments=1527198, nogoods=25349, foundSolutions=11, bestBound=80
1111.61/1107.53
1111.81/1107.75 num=524, depth=3..5, filters=16328302, revisions=(22278066,useless=4315317), ccks=8923127752, wck=1105.577, mem=65M753
1111.81/1107.75 decisions=3092295, wrong=1544836, backtracks=101071, failedAssignments=1527329, nogoods=25359, foundSolutions=11, bestBound=80
1111.81/1107.75
1112.01/1107.93 num=525, depth=1..5, filters=16331652, revisions=(22282768,useless=4316403), ccks=8924312227, wck=1105.755, mem=67M913
1112.01/1107.93 decisions=3092598, wrong=1544986, backtracks=101105, failedAssignments=1527473, nogoods=25393, foundSolutions=11, bestBound=80
1112.01/1107.93
1112.22/1108.19 num=526, depth=2..5, filters=16336173, revisions=(22289124,useless=4317579), ccks=8926401915, wck=1106.021, mem=71M153
1112.22/1108.19 decisions=3092962, wrong=1545166, backtracks=101138, failedAssignments=1527631, nogoods=25406, foundSolutions=11, bestBound=80
1112.22/1108.19
1112.41/1108.32 num=527, depth=3..6, filters=16339863, revisions=(22294052,useless=4318532), ccks=8927289450, wck=1106.148, mem=73M313
1112.41/1108.32 decisions=3093326, wrong=1545346, backtracks=101167, failedAssignments=1527805, nogoods=25439, foundSolutions=11, bestBound=80
1112.41/1108.32
1112.81/1108.70 num=528, depth=2..6, filters=16344388, revisions=(22300252,useless=4319935), ccks=8930673736, wck=1106.532, mem=76M553
1112.81/1108.70 decisions=3093747, wrong=1545554, backtracks=101200, failedAssignments=1527996, nogoods=25458, foundSolutions=11, bestBound=80
1112.81/1108.70
1113.12/1109.04 num=529, depth=1..4, filters=16349148, revisions=(22307259,useless=4321229), ccks=8933204535, wck=1106.874, mem=26M930
1113.12/1109.04 decisions=3094179, wrong=1545769, backtracks=101231, failedAssignments=1528207, nogoods=25484, foundSolutions=11, bestBound=80
1113.12/1109.04
1113.51/1109.50 num=530, depth=1..6, filters=16354306, revisions=(22314522,useless=4322985), ccks=8937173629, wck=1107.325, mem=30M170
1113.51/1109.50 decisions=3094660, wrong=1546008, backtracks=101286, failedAssignments=1528439, nogoods=25488, foundSolutions=11, bestBound=80
1113.51/1109.50
1113.82/1109.73 num=531, depth=4..7, filters=16358955, revisions=(22320457,useless=4323914), ccks=8939260168, wck=1107.557, mem=33M410
1113.82/1109.73 decisions=3095185, wrong=1546268, backtracks=101308, failedAssignments=1528694, nogoods=25528, foundSolutions=11, bestBound=80
1113.82/1109.73
1114.22/1110.12 num=532, depth=1..7, filters=16364375, revisions=(22327428,useless=4325261), ccks=8942882616, wck=1107.95, mem=36M650
1114.22/1110.12 decisions=3095763, wrong=1546554, backtracks=101333, failedAssignments=1528975, nogoods=25594, foundSolutions=11, bestBound=80
1114.22/1110.12
1114.71/1110.69 num=533, depth=2..5, filters=16372958, revisions=(22339076,useless=4326987), ccks=8947576631, wck=1108.519, mem=40M970
1114.71/1110.69 decisions=3096450, wrong=1546896, backtracks=101386, failedAssignments=1529284, nogoods=25614, foundSolutions=11, bestBound=80
1114.71/1110.69
1115.12/1111.02 num=534, depth=4..6, filters=16378840, revisions=(22346777,useless=4328486), ccks=8950525071, wck=1108.845, mem=45M290
1115.12/1111.02 decisions=3097141, wrong=1547239, backtracks=101408, failedAssignments=1529624, nogoods=25689, foundSolutions=11, bestBound=80
1115.12/1111.02
1115.52/1111.44 num=535, depth=1..5, filters=16386102, revisions=(22357078,useless=4330474), ccks=8953460141, wck=1109.268, mem=50M690
1115.52/1111.44 decisions=3097936, wrong=1547634, backtracks=101464, failedAssignments=1529998, nogoods=25726, foundSolutions=11, bestBound=80
1115.52/1111.44
1115.92/1111.88 num=536, depth=2..6, filters=16394745, revisions=(22369418,useless=4333006), ccks=8956208707, wck=1109.71, mem=56M90
1115.92/1111.88 decisions=3098788, wrong=1548058, backtracks=101535, failedAssignments=1530409, nogoods=25758, foundSolutions=11, bestBound=80
1115.92/1111.88
1116.22/1112.16 num=537, depth=2..7, filters=16401659, revisions=(22378902,useless=4334878), ccks=8958097194, wck=1109.991, mem=60M410
1116.22/1112.16 decisions=3099732, wrong=1548527, backtracks=101578, failedAssignments=1530861, nogoods=25828, foundSolutions=11, bestBound=80
1116.22/1112.16
1117.04/1112.90 num=538, depth=2..5, filters=16413442, revisions=(22396192,useless=4338006), ccks=8963344245, wck=1110.732, mem=70M130
1117.04/1112.90 decisions=3100756, wrong=1549037, backtracks=101685, failedAssignments=1531358, nogoods=25853, foundSolutions=11, bestBound=80
1117.04/1112.90
1117.44/1113.36 num=539, depth=2..6, filters=16421761, revisions=(22407153,useless=4340050), ccks=8967372548, wck=1111.193, mem=74M451
1117.44/1113.36 decisions=3101893, wrong=1549603, backtracks=101752, failedAssignments=1531905, nogoods=25933, foundSolutions=11, bestBound=80
1117.44/1113.36
1118.05/1113.92 num=540, depth=2..6, filters=16433003, revisions=(22422750,useless=4343002), ccks=8971006444, wck=1111.746, mem=29M155
1118.05/1113.92 decisions=3103212, wrong=1550260, backtracks=101836, failedAssignments=1532507, nogoods=25947, foundSolutions=11, bestBound=80
1118.05/1113.92
1119.06/1114.92 num=541, depth=1..5, filters=16456094, revisions=(22455912,useless=4349396), ccks=8977507642, wck=1112.753, mem=43M195
1119.06/1114.92 decisions=3104674, wrong=1550989, backtracks=102035, failedAssignments=1533169, nogoods=25953, foundSolutions=11, bestBound=80
1119.06/1114.92
1119.86/1115.78 num=542, depth=2..6, filters=16468837, revisions=(22472728,useless=4352309), ccks=8985601662, wck=1113.613, mem=51M836
1119.86/1115.78 decisions=3106147, wrong=1551723, backtracks=102080, failedAssignments=1533897, nogoods=26012, foundSolutions=11, bestBound=80
1119.86/1115.78
1120.56/1116.40 num=543, depth=1..5, filters=16476846, revisions=(22483716,useless=4354667), ccks=8990334317, wck=1114.227, mem=57M236
1120.56/1116.40 decisions=3107785, wrong=1552540, backtracks=102156, failedAssignments=1534698, nogoods=26066, foundSolutions=11, bestBound=80
1120.56/1116.40
1121.56/1117.40 num=544, depth=1..6, filters=16491120, revisions=(22502311,useless=4357784), ccks=8999789934, wck=1115.227, mem=66M956
1121.56/1117.40 decisions=3109566, wrong=1553428, backtracks=102197, failedAssignments=1535579, nogoods=26139, foundSolutions=11, bestBound=80
1121.56/1117.40
1122.37/1118.24 num=545, depth=1..6, filters=16502112, revisions=(22517395,useless=4361134), ccks=9006313663, wck=1116.069, mem=74M516
1122.37/1118.24 decisions=3111532, wrong=1554409, backtracks=102300, failedAssignments=1536549, nogoods=26171, foundSolutions=11, bestBound=80
1122.37/1118.24
1123.78/1119.65 num=546, depth=2..5, filters=16521975, revisions=(22545045,useless=4366153), ccks=9017379981, wck=1117.484, mem=33M475
1123.78/1119.65 decisions=3113803, wrong=1555543, backtracks=102436, failedAssignments=1537616, nogoods=26205, foundSolutions=11, bestBound=80
1123.78/1119.65
1124.08/1119.99 num=547, depth=2..7, filters=16531929, revisions=(22558381,useless=4368809), ccks=9019324433, wck=1117.822, mem=37M795
1124.08/1119.99 decisions=3116171, wrong=1556725, backtracks=102533, failedAssignments=1538789, nogoods=26217, foundSolutions=11, bestBound=80
1124.08/1119.99
1125.19/1121.01 num=548, depth=3..7, filters=16546997, revisions=(22578675,useless=4372619), ccks=9028332668, wck=1118.843, mem=48M596
1125.19/1121.01 decisions=3118771, wrong=1558023, backtracks=102623, failedAssignments=1540080, nogoods=26314, foundSolutions=11, bestBound=80
1125.19/1121.01
1126.08/1121.91 num=549, depth=1..6, filters=16559681, revisions=(22595897,useless=4375669), ccks=9034245063, wck=1119.744, mem=56M156
1126.08/1121.91 decisions=3121665, wrong=1559468, backtracks=102735, failedAssignments=1541500, nogoods=26359, foundSolutions=11, bestBound=80
1126.08/1121.91
1126.98/1122.88 num=550, depth=1..7, filters=16572025, revisions=(22612873,useless=4379423), ccks=9042434519, wck=1120.713, mem=64M796
1126.98/1122.88 decisions=3124797, wrong=1561031, backtracks=102824, failedAssignments=1543062, nogoods=26510, foundSolutions=11, bestBound=80
1126.98/1122.88
1128.69/1124.51 num=551, depth=2..7, filters=16607085, revisions=(22661356,useless=4387862), ccks=9053991464, wck=1122.343, mem=35M668
1128.69/1124.51 decisions=3128435, wrong=1562848, backtracks=103021, failedAssignments=1544780, nogoods=26537, foundSolutions=11, bestBound=80
1128.69/1124.51
1131.09/1127.00 num=552, depth=2..6, filters=16650441, revisions=(22722967,useless=4398690), ccks=9072770178, wck=1124.829, mem=71M309
1131.09/1127.00 decisions=3132370, wrong=1564814, backtracks=103233, failedAssignments=1546670, nogoods=26564, foundSolutions=11, bestBound=80
1131.09/1127.00
1134.09/1129.93 num=553, depth=1..7, filters=16698082, revisions=(22787347,useless=4411537), ccks=9098700428, wck=1127.759, mem=46M493
1134.09/1129.93 decisions=3136713, wrong=1566983, backtracks=103544, failedAssignments=1548749, nogoods=26636, foundSolutions=11, bestBound=80
1134.09/1129.93
1135.89/1131.79 num=554, depth=1..6, filters=16721730, revisions=(22819983,useless=4418526), ccks=9113181431, wck=1129.618, mem=63M773
1135.89/1131.79 decisions=3141359, wrong=1569304, backtracks=103744, failedAssignments=1551036, nogoods=26706, foundSolutions=11, bestBound=80
1135.89/1131.79
1140.32/1136.19 num=555, depth=1..6, filters=16788936, revisions=(22913160,useless=4433895), ccks=9147672778, wck=1134.016, mem=50M879
1140.32/1136.19 decisions=3146870, wrong=1572058, backtracks=104210, failedAssignments=1553552, nogoods=26809, foundSolutions=11, bestBound=80
1140.32/1136.19
1143.22/1139.08 num=556, depth=1..8, filters=16830727, revisions=(22974936,useless=4447078), ccks=9169828850, wck=1136.907, mem=29M278
1143.22/1139.08 decisions=3152468, wrong=1574854, backtracks=104603, failedAssignments=1556320, nogoods=26895, foundSolutions=11, bestBound=80
1143.22/1139.08
1146.51/1142.36 num=557, depth=1..6, filters=16891786, revisions=(23060542,useless=4462399), ccks=9193139484, wck=1140.185, mem=71M399
1146.51/1142.36 decisions=3158913, wrong=1578076, backtracks=105047, failedAssignments=1559364, nogoods=26900, foundSolutions=11, bestBound=80
1146.51/1142.36
1149.23/1145.08 num=558, depth=2..6, filters=16926034, revisions=(23107172,useless=4471597), ccks=9217566753, wck=1142.912, mem=43M310
1149.23/1145.08 decisions=3165622, wrong=1581428, backtracks=105177, failedAssignments=1562713, nogoods=26957, foundSolutions=11, bestBound=80
1149.23/1145.08
1153.62/1149.47 num=559, depth=1..5, filters=17011142, revisions=(23226755,useless=4493283), ccks=9247876947, wck=1147.3, mem=48M710
1153.62/1149.47 decisions=3173493, wrong=1585362, backtracks=105804, failedAssignments=1566397, nogoods=26972, foundSolutions=11, bestBound=80
1153.62/1149.47
1155.92/1151.79 num=560, depth=3..7, filters=17056867, revisions=(23285284,useless=4502826), ccks=9267342914, wck=1149.624, mem=74M631
1155.92/1151.79 decisions=3181671, wrong=1589448, backtracks=106039, failedAssignments=1570449, nogoods=27050, foundSolutions=11, bestBound=80
1155.92/1151.79
1158.03/1153.83 num=561, depth=1..7, filters=17105853, revisions=(23350325,useless=4516881), ccks=9283541408, wck=1151.66, mem=51M983
1158.03/1153.83 decisions=3190598, wrong=1593908, backtracks=106158, failedAssignments=1574906, nogoods=27156, foundSolutions=11, bestBound=80
1158.03/1153.83
1163.14/1158.91 num=562, depth=2..6, filters=17216648, revisions=(23505003,useless=4545267), ccks=9318875655, wck=1156.735, mem=75M744
1163.14/1158.91 decisions=3200827, wrong=1599021, backtracks=106778, failedAssignments=1579809, nogoods=27185, foundSolutions=11, bestBound=80
1163.14/1158.91
1165.75/1161.51 num=563, depth=1..7, filters=17262243, revisions=(23568499,useless=4558048), ccks=9336990179, wck=1159.341, mem=50M903
1165.75/1161.51 decisions=3211756, wrong=1604483, backtracks=107124, failedAssignments=1585203, nogoods=27262, foundSolutions=11, bestBound=80
1165.75/1161.51
1170.87/1166.63 num=564, depth=0..9, filters=17351094, revisions=(23685249,useless=4577952), ccks=9381278240, wck=1164.463, mem=49M823
1170.87/1166.63 decisions=3223726, wrong=1610464, backtracks=107577, failedAssignments=1591136, nogoods=27323, foundSolutions=11, bestBound=80
1170.87/1166.63
1176.07/1171.86 num=565, depth=1..8, filters=17448085, revisions=(23820502,useless=4603047), ccks=9419612317, wck=1169.693, mem=66M23
1176.07/1171.86 decisions=3237146, wrong=1617171, backtracks=108159, failedAssignments=1597662, nogoods=27372, foundSolutions=11, bestBound=80
1176.07/1171.86
1183.48/1179.27 num=566, depth=0..7, filters=17557006, revisions=(23968629,useless=4630859), ccks=9478533775, wck=1177.097, mem=77M904
1183.48/1179.27 decisions=3252117, wrong=1624654, backtracks=108976, failedAssignments=1604841, nogoods=27457, foundSolutions=11, bestBound=80
1183.48/1179.27
1191.50/1187.26 num=567, depth=1..7, filters=17681397, revisions=(24141326,useless=4662566), ccks=9537045687, wck=1185.089, mem=52M57
1191.50/1187.26 decisions=3268435, wrong=1632811, backtracks=109931, failedAssignments=1612738, nogoods=27558, foundSolutions=11, bestBound=80
1191.50/1187.26
1197.71/1193.44 num=568, depth=1..7, filters=17772036, revisions=(24266049,useless=4687026), ccks=9592073643, wck=1191.268, mem=67M218
1197.71/1193.44 decisions=3285821, wrong=1641502, backtracks=110128, failedAssignments=1621425, nogoods=27611, foundSolutions=11, bestBound=80
1197.71/1193.44
1204.22/1199.93 num=569, depth=1..8, filters=17866001, revisions=(24394088,useless=4710330), ccks=9635314103, wck=1197.763, mem=72M668
1204.22/1199.93 decisions=3305309, wrong=1651244, backtracks=110969, failedAssignments=1630980, nogoods=27624, foundSolutions=11, bestBound=80
1204.22/1199.93
1210.53/1206.22 num=570, depth=2..9, filters=17974952, revisions=(24540063,useless=4737583), ccks=9689090698, wck=1204.053, mem=31M610
1210.53/1206.22 decisions=3326476, wrong=1661824, backtracks=111630, failedAssignments=1641491, nogoods=27691, foundSolutions=11, bestBound=80
1210.53/1206.22
1219.94/1215.63 num=571, depth=0..9, filters=18120474, revisions=(24733372,useless=4768019), ccks=9769679851, wck=1213.455, mem=72M643
1219.94/1215.63 decisions=3349780, wrong=1673473, backtracks=112298, failedAssignments=1653053, nogoods=27746, foundSolutions=11, bestBound=80
1219.94/1215.63
1225.75/1221.47 num=572, depth=1..11, filters=18201293, revisions=(24848377,useless=4796644), ccks=9811427728, wck=1219.303, mem=27M298
1225.75/1221.47 decisions=3375318, wrong=1686239, backtracks=113060, failedAssignments=1665771, nogoods=27841, foundSolutions=11, bestBound=80
1225.75/1221.47
1237.27/1232.91 num=573, depth=0..7, filters=18402238, revisions=(25122943,useless=4851430), ccks=9900765067, wck=1230.738, mem=52M188
1237.27/1232.91 decisions=3403839, wrong=1700498, backtracks=114335, failedAssignments=1679761, nogoods=27983, foundSolutions=11, bestBound=80
1237.27/1232.91
1248.28/1244.00 num=574, depth=1..9, filters=18582470, revisions=(25373253,useless=4898198), ccks=9977514652, wck=1241.825, mem=68M438
1248.28/1244.00 decisions=3435229, wrong=1716191, backtracks=115660, failedAssignments=1695150, nogoods=28061, foundSolutions=11, bestBound=80
1248.28/1244.00
1257.10/1252.73 num=575, depth=1..10, filters=18728332, revisions=(25570042,useless=4941165), ccks=10044731823, wck=1250.562, mem=56M639
1257.10/1252.73 decisions=3469256, wrong=1733202, backtracks=116541, failedAssignments=1712078, nogoods=28103, foundSolutions=11, bestBound=80
1257.10/1252.73
1272.23/1267.87 num=576, depth=1..8, filters=18951289, revisions=(25882650,useless=5003653), ccks=10164471787, wck=1265.703, mem=55M575
1272.23/1267.87 decisions=3507009, wrong=1752075, backtracks=117993, failedAssignments=1730699, nogoods=28192, foundSolutions=11, bestBound=80
1272.23/1267.87
1285.85/1281.48 num=577, depth=1..9, filters=19192267, revisions=(26213310,useless=5070862), ccks=10268214234, wck=1279.309, mem=58M865
1285.85/1281.48 decisions=3548425, wrong=1772780, backtracks=119380, failedAssignments=1751183, nogoods=28235, foundSolutions=11, bestBound=80
1285.85/1281.48
1301.37/1296.97 num=578, depth=0..9, filters=19439237, revisions=(26552836,useless=5140792), ccks=10382753311, wck=1294.799, mem=61M74
1301.37/1296.97 decisions=3594118, wrong=1795624, backtracks=121382, failedAssignments=1773715, nogoods=28302, foundSolutions=11, bestBound=80
1301.37/1296.97
1310.19/1305.74 num=579, depth=1..13, filters=19606532, revisions=(26796773,useless=5210921), ccks=10442274830, wck=1303.574, mem=40M603
1310.19/1305.74 decisions=3643704, wrong=1820414, backtracks=122310, failedAssignments=1798500, nogoods=28430, foundSolutions=11, bestBound=80
1310.19/1305.74
1331.54/1327.07 num=580, depth=1..11, filters=19920937, revisions=(27240180,useless=5302764), ccks=10611946317, wck=1324.896, mem=60M84
1331.54/1327.07 decisions=3698871, wrong=1847993, backtracks=124302, failedAssignments=1825764, nogoods=28600, foundSolutions=11, bestBound=80
1331.54/1327.07
1350.67/1346.12 num=581, depth=1..11, filters=20241738, revisions=(27679051,useless=5387319), ccks=10749120775, wck=1343.948, mem=52M548
1350.67/1346.12 decisions=3759563, wrong=1878335, backtracks=126473, failedAssignments=1855754, nogoods=28751, foundSolutions=11, bestBound=80
1350.67/1346.12
1374.19/1369.66 num=582, depth=1..13, filters=20624347, revisions=(28211307,useless=5493150), ccks=10931956937, wck=1367.489, mem=51M550
1374.19/1369.66 decisions=3826399, wrong=1911749, backtracks=128577, failedAssignments=1888743, nogoods=28898, foundSolutions=11, bestBound=80
1374.19/1369.66
1390.13/1385.52 num=583, depth=0..12, filters=20903101, revisions=(28599263,useless=5589112), ccks=11051115831, wck=1383.347, mem=45M78
1390.13/1385.52 decisions=3899052, wrong=1948073, backtracks=130460, failedAssignments=1925031, nogoods=28980, foundSolutions=11, bestBound=80
1390.13/1385.52
1419.56/1414.96 num=584, depth=1..9, filters=21357097, revisions=(29215754,useless=5705607), ccks=11294708619, wck=1412.791, mem=26M751
1419.56/1414.96 decisions=3979738, wrong=1988413, backtracks=132778, failedAssignments=1964948, nogoods=29087, foundSolutions=11, bestBound=80
1419.56/1414.96
1448.02/1443.38 o 76
1448.02/1443.38 num=585, depth=1..65, filters=21800017, revisions=(29826084,useless=5821847), ccks=11513136585, wck=1441.208, mem=61M369
1448.02/1443.38 decisions=4064991, wrong=2031032, backtracks=135354, failedAssignments=2006935, nogoods=29224, foundSolutions=12, bestBound=76
1448.02/1443.38
1482.07/1477.39 num=586, depth=1..12, filters=22442722, revisions=(30697479,useless=5976637), ccks=11756279855, wck=1475.217, mem=74M354
1482.07/1477.39 decisions=4163482, wrong=2080274, backtracks=139390, failedAssignments=2055235, nogoods=29336, foundSolutions=12, bestBound=76
1482.07/1477.39
1482.17/1477.43 num=587, depth=4..6, filters=22443326, revisions=(30698375,useless=5976836), ccks=11756597433, wck=1475.26, mem=74M354
1482.17/1477.43 decisions=4163510, wrong=2080286, backtracks=139395, failedAssignments=2055246, nogoods=29344, foundSolutions=12, bestBound=76
1482.17/1477.43
1482.17/1477.48 num=588, depth=1..6, filters=22443818, revisions=(30699064,useless=5977003), ccks=11757063668, wck=1475.31, mem=75M434
1482.17/1477.48 decisions=4163541, wrong=2080299, backtracks=139397, failedAssignments=2055258, nogoods=29354, foundSolutions=12, bestBound=76
1482.17/1477.48
1482.27/1477.54 num=589, depth=3..4, filters=22444391, revisions=(30699860,useless=5977169), ccks=11757575365, wck=1475.37, mem=75M434
1482.27/1477.54 decisions=4163576, wrong=2080315, backtracks=139402, failedAssignments=2055271, nogoods=29361, foundSolutions=12, bestBound=76
1482.27/1477.54
1482.27/1477.58 num=590, depth=4..6, filters=22444856, revisions=(30700525,useless=5977309), ccks=11757897264, wck=1475.406, mem=75M434
1482.27/1477.58 decisions=4163612, wrong=2080331, backtracks=139404, failedAssignments=2055285, nogoods=29366, foundSolutions=12, bestBound=76
1482.27/1477.58
1482.37/1477.63 num=591, depth=4..5, filters=22445233, revisions=(30701054,useless=5977424), ccks=11758437385, wck=1475.461, mem=76M514
1482.37/1477.63 decisions=4163649, wrong=2080347, backtracks=139404, failedAssignments=2055301, nogoods=29382, foundSolutions=12, bestBound=76
1482.37/1477.63
1482.47/1477.70 num=592, depth=3..4, filters=22446180, revisions=(30702436,useless=5977737), ccks=11759016133, wck=1475.533, mem=76M514
1482.47/1477.70 decisions=4163692, wrong=2080367, backtracks=139411, failedAssignments=2055318, nogoods=29390, foundSolutions=12, bestBound=76
1482.47/1477.70
1482.47/1477.76 num=593, depth=2..6, filters=22446768, revisions=(30703274,useless=5977928), ccks=11759522736, wck=1475.588, mem=77M594
1482.47/1477.76 decisions=4163737, wrong=2080387, backtracks=139414, failedAssignments=2055337, nogoods=29397, foundSolutions=12, bestBound=76
1482.47/1477.76
1482.57/1477.85 num=594, depth=2..4, filters=22447640, revisions=(30704529,useless=5978196), ccks=11760247395, wck=1475.674, mem=77M594
1482.57/1477.85 decisions=4163790, wrong=2080412, backtracks=139420, failedAssignments=2055358, nogoods=29405, foundSolutions=12, bestBound=76
1482.57/1477.85
1482.57/1477.88 num=595, depth=4..5, filters=22448201, revisions=(30705312,useless=5978356), ccks=11760558673, wck=1475.711, mem=77M594
1482.57/1477.88 decisions=4163842, wrong=2080436, backtracks=139425, failedAssignments=2055381, nogoods=29418, foundSolutions=12, bestBound=76
1482.57/1477.88
1482.67/1477.92 num=596, depth=3..6, filters=22448530, revisions=(30705793,useless=5978483), ccks=11760865515, wck=1475.746, mem=78M674
1482.67/1477.92 decisions=4163897, wrong=2080461, backtracks=139426, failedAssignments=2055406, nogoods=29437, foundSolutions=12, bestBound=76
1482.67/1477.92
1482.67/1477.97 num=597, depth=3..5, filters=22449523, revisions=(30707189,useless=5978785), ccks=11761262926, wck=1475.803, mem=78M674
1482.67/1477.97 decisions=4163963, wrong=2080492, backtracks=139432, failedAssignments=2055434, nogoods=29442, foundSolutions=12, bestBound=76
1482.67/1477.97
1482.78/1478.01 num=598, depth=4..6, filters=22450109, revisions=(30708004,useless=5978960), ccks=11761541733, wck=1475.837, mem=79M754
1482.78/1478.01 decisions=4164029, wrong=2080523, backtracks=139437, failedAssignments=2055465, nogoods=29456, foundSolutions=12, bestBound=76
1482.78/1478.01
1482.78/1478.09 num=599, depth=4..5, filters=22450853, revisions=(30709065,useless=5979216), ccks=11762278229, wck=1475.915, mem=79M754
1482.78/1478.09 decisions=4164103, wrong=2080558, backtracks=139443, failedAssignments=2055499, nogoods=29489, foundSolutions=12, bestBound=76
1482.78/1478.09
1482.88/1478.19 num=600, depth=2..5, filters=22451992, revisions=(30710694,useless=5979515), ccks=11763090980, wck=1476.019, mem=26M865
1482.88/1478.19 decisions=4164185, wrong=2080597, backtracks=139452, failedAssignments=2055536, nogoods=29506, foundSolutions=12, bestBound=76
1482.88/1478.19
1482.98/1478.29 num=601, depth=3..4, filters=22453332, revisions=(30712633,useless=5979932), ccks=11763917961, wck=1476.119, mem=27M945
1482.98/1478.29 decisions=4164274, wrong=2080640, backtracks=139461, failedAssignments=2055577, nogoods=29516, foundSolutions=12, bestBound=76
1482.98/1478.29
1483.18/1478.40 num=602, depth=2..5, filters=22455194, revisions=(30715308,useless=5980467), ccks=11764765825, wck=1476.233, mem=29M25
1483.18/1478.40 decisions=4164385, wrong=2080694, backtracks=139477, failedAssignments=2055622, nogoods=29530, foundSolutions=12, bestBound=76
1483.18/1478.40
1483.28/1478.59 num=603, depth=2..6, filters=22456867, revisions=(30717619,useless=5980956), ccks=11766379688, wck=1476.415, mem=30M105
1483.28/1478.59 decisions=4164499, wrong=2080748, backtracks=139489, failedAssignments=2055672, nogoods=29558, foundSolutions=12, bestBound=76
1483.28/1478.59
1483.48/1478.75 num=604, depth=2..6, filters=22459021, revisions=(30720555,useless=5981548), ccks=11767764172, wck=1476.582, mem=32M265
1483.48/1478.75 decisions=4164636, wrong=2080814, backtracks=139506, failedAssignments=2055727, nogoods=29578, foundSolutions=12, bestBound=76
1483.48/1478.75
1483.58/1478.84 num=605, depth=3..5, filters=22460442, revisions=(30722559,useless=5981960), ccks=11768491430, wck=1476.67, mem=33M345
1483.58/1478.84 decisions=4164774, wrong=2080881, backtracks=139515, failedAssignments=2055788, nogoods=29589, foundSolutions=12, bestBound=76
1483.58/1478.84
1483.68/1478.95 num=606, depth=4..6, filters=22462416, revisions=(30725239,useless=5982532), ccks=11769464062, wck=1476.779, mem=34M425
1483.68/1478.95 decisions=4164929, wrong=2080956, backtracks=139527, failedAssignments=2055855, nogoods=29601, foundSolutions=12, bestBound=76
1483.68/1478.95
1483.89/1479.14 num=607, depth=2..5, filters=22465030, revisions=(30728848,useless=5983189), ccks=11770969770, wck=1476.968, mem=35M506
1483.89/1479.14 decisions=4165117, wrong=2081048, backtracks=139548, failedAssignments=2055929, nogoods=29607, foundSolutions=12, bestBound=76
1483.89/1479.14
1483.98/1479.24 num=608, depth=3..6, filters=22467632, revisions=(30732502,useless=5983884), ccks=11771658510, wck=1477.066, mem=37M666
1483.98/1479.24 decisions=4165299, wrong=2081137, backtracks=139565, failedAssignments=2056010, nogoods=29624, foundSolutions=12, bestBound=76
1483.98/1479.24
1484.28/1479.50 num=609, depth=2..5, filters=22470789, revisions=(30736864,useless=5984718), ccks=11773891046, wck=1477.333, mem=38M746
1484.28/1479.50 decisions=4165503, wrong=2081237, backtracks=139585, failedAssignments=2056099, nogoods=29642, foundSolutions=12, bestBound=76
1484.28/1479.50
1484.28/1479.54 num=610, depth=3..6, filters=22471091, revisions=(30737276,useless=5984811), ccks=11774170244, wck=1477.368, mem=39M826
1484.28/1479.54 decisions=4165703, wrong=2081335, backtracks=139587, failedAssignments=2056197, nogoods=29668, foundSolutions=12, bestBound=76
1484.28/1479.54
1484.48/1479.71 num=611, depth=3..6, filters=22474861, revisions=(30742470,useless=5985826), ccks=11775308838, wck=1477.544, mem=41M986
1484.48/1479.71 decisions=4165954, wrong=2081458, backtracks=139613, failedAssignments=2056305, nogoods=29683, foundSolutions=12, bestBound=76
1484.48/1479.71
1484.58/1479.88 num=612, depth=3..6, filters=22479468, revisions=(30748824,useless=5986953), ccks=11776426097, wck=1477.708, mem=44M146
1484.58/1479.88 decisions=4166232, wrong=2081595, backtracks=139649, failedAssignments=2056424, nogoods=29689, foundSolutions=12, bestBound=76
1484.58/1479.88
1484.89/1480.15 num=613, depth=2..5, filters=22483261, revisions=(30754148,useless=5988097), ccks=11778689470, wck=1477.982, mem=47M386
1484.89/1480.15 decisions=4166521, wrong=2081738, backtracks=139679, failedAssignments=2056555, nogoods=29707, foundSolutions=12, bestBound=76
1484.89/1480.15
1484.98/1480.29 num=614, depth=3..6, filters=22487195, revisions=(30759557,useless=5989279), ccks=11779616434, wck=1478.115, mem=49M546
1484.98/1480.29 decisions=4166838, wrong=2081894, backtracks=139713, failedAssignments=2056699, nogoods=29733, foundSolutions=12, bestBound=76
1484.98/1480.29
1485.38/1480.65 num=615, depth=2..6, filters=22491552, revisions=(30765555,useless=5990493), ccks=11782921711, wck=1478.477, mem=51M706
1485.38/1480.65 decisions=4167171, wrong=2082058, backtracks=139747, failedAssignments=2056857, nogoods=29760, foundSolutions=12, bestBound=76
1485.38/1480.65
1485.89/1481.19 num=616, depth=2..5, filters=22497956, revisions=(30774535,useless=5992563), ccks=11787396176, wck=1479.017, mem=56M26
1485.89/1481.19 decisions=4167573, wrong=2082257, backtracks=139800, failedAssignments=2057031, nogoods=29783, foundSolutions=12, bestBound=76
1485.89/1481.19
1486.18/1481.43 num=617, depth=2..5, filters=22502073, revisions=(30780373,useless=5993648), ccks=11789287621, wck=1479.264, mem=59M266
1486.18/1481.43 decisions=4167980, wrong=2082459, backtracks=139825, failedAssignments=2057222, nogoods=29797, foundSolutions=12, bestBound=76
1486.18/1481.43
1486.58/1481.89 num=618, depth=2..5, filters=22506892, revisions=(30787099,useless=5995135), ccks=11793381819, wck=1479.722, mem=62M506
1486.58/1481.89 decisions=4168427, wrong=2082680, backtracks=139866, failedAssignments=2057433, nogoods=29824, foundSolutions=12, bestBound=76
1486.58/1481.89
1486.98/1482.21 num=619, depth=2..6, filters=22514914, revisions=(30798336,useless=5997226), ccks=11795553213, wck=1480.04, mem=66M826
1486.98/1482.21 decisions=4168930, wrong=2082930, backtracks=139929, failedAssignments=2057665, nogoods=29830, foundSolutions=12, bestBound=76
1486.98/1482.21
1487.18/1482.48 num=620, depth=4..7, filters=22521845, revisions=(30807567,useless=5999023), ccks=11797838038, wck=1480.311, mem=70M66
1487.18/1482.48 decisions=4169474, wrong=2083200, backtracks=139969, failedAssignments=2057920, nogoods=29840, foundSolutions=12, bestBound=76
1487.18/1482.48
1487.58/1482.84 num=621, depth=2..4, filters=22528260, revisions=(30816650,useless=6000813), ccks=11800384589, wck=1480.666, mem=74M387
1487.58/1482.84 decisions=4170083, wrong=2083503, backtracks=140011, failedAssignments=2058201, nogoods=29873, foundSolutions=12, bestBound=76
1487.58/1482.84
1488.18/1483.46 num=622, depth=1..6, filters=22535035, revisions=(30826122,useless=6002980), ccks=11806057993, wck=1481.29, mem=79M787
1488.18/1483.46 decisions=4170724, wrong=2083822, backtracks=140072, failedAssignments=2058510, nogoods=29879, foundSolutions=12, bestBound=76
1488.18/1483.46
1488.38/1483.63 num=623, depth=3..6, filters=22539898, revisions=(30832653,useless=6004234), ccks=11807226572, wck=1481.461, mem=27M978
1488.38/1483.63 decisions=4171415, wrong=2084165, backtracks=140106, failedAssignments=2058850, nogoods=29904, foundSolutions=12, bestBound=76
1488.38/1483.63
1488.89/1484.19 num=624, depth=2..5, filters=22549844, revisions=(30847106,useless=6007156), ccks=11811091030, wck=1482.022, mem=35M538
1488.89/1484.19 decisions=4172210, wrong=2084561, backtracks=140198, failedAssignments=2059224, nogoods=29921, foundSolutions=12, bestBound=76
1488.89/1484.19
1489.79/1485.04 num=625, depth=2..7, filters=22559591, revisions=(30860450,useless=6009883), ccks=11818786688, wck=1482.864, mem=42M18
1489.79/1485.04 decisions=4173075, wrong=2084991, backtracks=140272, failedAssignments=2059635, nogoods=29948, foundSolutions=12, bestBound=76
1489.79/1485.04
1490.79/1486.04 num=626, depth=1..6, filters=22572930, revisions=(30878936,useless=6013480), ccks=11826614295, wck=1483.867, mem=50M659
1490.79/1486.04 decisions=4174039, wrong=2085471, backtracks=140408, failedAssignments=2060087, nogoods=29983, foundSolutions=12, bestBound=76
1490.79/1486.04
1491.79/1487.06 num=627, depth=1..5, filters=22587746, revisions=(30899707,useless=6017390), ccks=11834493689, wck=1484.89, mem=59M299
1491.79/1487.06 decisions=4175143, wrong=2086021, backtracks=140528, failedAssignments=2060584, nogoods=30024, foundSolutions=12, bestBound=76
1491.79/1487.06
1492.08/1487.35 num=628, depth=3..8, filters=22595639, revisions=(30910572,useless=6019646), ccks=11836488005, wck=1485.177, mem=63M619
1492.08/1487.35 decisions=4176264, wrong=2086579, backtracks=140595, failedAssignments=2061131, nogoods=30039, foundSolutions=12, bestBound=76
1492.08/1487.35
1492.58/1487.87 num=629, depth=4..7, filters=22604932, revisions=(30923059,useless=6021867), ccks=11841019534, wck=1485.696, mem=69M19
1492.58/1487.87 decisions=4177526, wrong=2087207, backtracks=140659, failedAssignments=2061733, nogoods=30076, foundSolutions=12, bestBound=76
1492.58/1487.87
1493.58/1488.82 num=630, depth=2..5, filters=22618254, revisions=(30941454,useless=6024940), ccks=11848592766, wck=1486.652, mem=77M659
1493.58/1488.82 decisions=4178939, wrong=2087912, backtracks=140749, failedAssignments=2062395, nogoods=30094, foundSolutions=12, bestBound=76
1493.58/1488.82
1494.29/1489.50 num=631, depth=1..7, filters=22627163, revisions=(30953555,useless=6027357), ccks=11854645732, wck=1487.326, mem=30M171
1494.29/1489.50 decisions=4180429, wrong=2088654, backtracks=140793, failedAssignments=2063123, nogoods=30203, foundSolutions=12, bestBound=76
1494.29/1489.50
1495.39/1490.63 num=632, depth=2..6, filters=22650510, revisions=(30987279,useless=6034098), ccks=11862095856, wck=1488.459, mem=46M371
1495.39/1490.63 decisions=4182118, wrong=2089496, backtracks=140990, failedAssignments=2063924, nogoods=30222, foundSolutions=12, bestBound=76
1495.39/1490.63
1497.39/1492.69 num=633, depth=2..6, filters=22677211, revisions=(31024381,useless=6040565), ccks=11879422065, wck=1490.518, mem=62M572
1497.39/1492.69 decisions=4184066, wrong=2090468, backtracks=141165, failedAssignments=2064805, nogoods=30247, foundSolutions=12, bestBound=76
1497.39/1492.69
1498.80/1494.02 num=634, depth=1..5, filters=22700831, revisions=(31058164,useless=6046562), ccks=11889019754, wck=1491.852, mem=79M852
1498.80/1494.02 decisions=4186181, wrong=2091524, backtracks=141362, failedAssignments=2065775, nogoods=30282, foundSolutions=12, bestBound=76
1498.80/1494.02
1499.70/1494.91 num=635, depth=2..6, filters=22716212, revisions=(31079193,useless=6051130), ccks=11896625973, wck=1492.743, mem=36M643
1499.70/1494.91 decisions=4188367, wrong=2092614, backtracks=141492, failedAssignments=2066842, nogoods=30304, foundSolutions=12, bestBound=76
1499.70/1494.91
1501.70/1496.98 num=636, depth=1..6, filters=22742606, revisions=(31115506,useless=6057584), ccks=11913726313, wck=1494.81, mem=51M763
1501.70/1496.98 decisions=4190893, wrong=2093875, backtracks=141685, failedAssignments=2068015, nogoods=30331, foundSolutions=12, bestBound=76
1501.70/1496.98
1503.10/1498.39 num=637, depth=0..4, filters=22765218, revisions=(31147780,useless=6063426), ccks=11923765299, wck=1496.217, mem=70M124
1503.10/1498.39 decisions=4193533, wrong=2095193, backtracks=141850, failedAssignments=2069306, nogoods=30340, foundSolutions=12, bestBound=76
1503.10/1498.39
1503.70/1498.91 num=638, depth=2..6, filters=22779622, revisions=(31167258,useless=6067313), ccks=11927055244, wck=1496.739, mem=77M684
1503.70/1498.91 decisions=4196395, wrong=2096622, backtracks=141966, failedAssignments=2070726, nogoods=30376, foundSolutions=12, bestBound=76
1503.70/1498.91
1505.31/1500.58 num=639, depth=2..5, filters=22814784, revisions=(31216895,useless=6077291), ccks=11937849533, wck=1498.412, mem=51M796
1505.31/1500.58 decisions=4199660, wrong=2098252, backtracks=142199, failedAssignments=2072288, nogoods=30404, foundSolutions=12, bestBound=76
1505.31/1500.58
1508.01/1503.27 num=640, depth=1..7, filters=22862502, revisions=(31284659,useless=6090345), ccks=11958240723, wck=1501.1, mem=26M955
1508.01/1503.27 decisions=4203281, wrong=2100061, backtracks=142582, failedAssignments=2074006, nogoods=30418, foundSolutions=12, bestBound=76
1508.01/1503.27
1509.61/1504.89 num=641, depth=2..6, filters=22905159, revisions=(31342276,useless=6100869), ccks=11970767275, wck=1502.723, mem=50M716
1509.61/1504.89 decisions=4207258, wrong=2102047, backtracks=142818, failedAssignments=2075896, nogoods=30475, foundSolutions=12, bestBound=76
1509.61/1504.89
1513.32/1508.59 num=642, depth=1..6, filters=22954290, revisions=(31409918,useless=6113239), ccks=12001346401, wck=1506.423, mem=26M955
1513.32/1508.59 decisions=4211766, wrong=2104299, backtracks=143181, failedAssignments=2077975, nogoods=30525, foundSolutions=12, bestBound=76
1513.32/1508.59
1516.12/1511.34 num=643, depth=1..7, filters=23000673, revisions=(31476682,useless=6126515), ccks=12020477509, wck=1509.168, mem=60M436
1516.12/1511.34 decisions=4216562, wrong=2106695, backtracks=143578, failedAssignments=2080262, nogoods=30544, foundSolutions=12, bestBound=76
1516.12/1511.34
1518.43/1513.66 num=644, depth=2..7, filters=23057219, revisions=(31554389,useless=6141633), ccks=12037198130, wck=1511.492, mem=37M756
1518.43/1513.66 decisions=4221879, wrong=2109351, backtracks=144015, failedAssignments=2082778, nogoods=30600, foundSolutions=12, bestBound=76
1518.43/1513.66
1522.54/1517.70 num=645, depth=1..6, filters=23122178, revisions=(31644475,useless=6156701), ccks=12067752847, wck=1515.533, mem=77M717
1522.54/1517.70 decisions=4227697, wrong=2112258, backtracks=144508, failedAssignments=2085546, nogoods=30663, foundSolutions=12, bestBound=76
1522.54/1517.70
1526.04/1521.23 num=646, depth=1..5, filters=23189972, revisions=(31740967,useless=6174489), ccks=12092613440, wck=1519.056, mem=73M421
1526.04/1521.23 decisions=4233999, wrong=2115407, backtracks=144951, failedAssignments=2088590, nogoods=30686, foundSolutions=12, bestBound=76
1526.04/1521.23
1530.45/1525.66 num=647, depth=1..6, filters=23263369, revisions=(31842702,useless=6192205), ccks=12125545192, wck=1523.486, mem=64M781
1530.45/1525.66 decisions=4241079, wrong=2118945, backtracks=145512, failedAssignments=2091939, nogoods=30740, foundSolutions=12, bestBound=76
1530.45/1525.66
1532.96/1528.16 num=648, depth=2..6, filters=23310843, revisions=(31906743,useless=6203434), ccks=12147594800, wck=1525.988, mem=42M100
1532.96/1528.16 decisions=4248456, wrong=2122631, backtracks=145626, failedAssignments=2095623, nogoods=30772, foundSolutions=12, bestBound=76
1532.96/1528.16
1538.36/1533.53 num=649, depth=1..6, filters=23397580, revisions=(32028238,useless=6226226), ccks=12186910879, wck=1531.362, mem=45M340
1538.36/1533.53 decisions=4257022, wrong=2126912, backtracks=146341, failedAssignments=2099675, nogoods=30835, foundSolutions=12, bestBound=76
1538.36/1533.53
1544.07/1539.23 num=650, depth=1..7, filters=23509532, revisions=(32184366,useless=6255115), ccks=12227839615, wck=1537.057, mem=69M101
1544.07/1539.23 decisions=4266609, wrong=2131703, backtracks=147076, failedAssignments=2104132, nogoods=30867, foundSolutions=12, bestBound=76
1544.07/1539.23
1547.48/1542.68 num=651, depth=2..7, filters=23619113, revisions=(32332273,useless=6282437), ccks=12250745935, wck=1540.511, mem=71M261
1547.48/1542.68 decisions=4276908, wrong=2136850, backtracks=147763, failedAssignments=2109035, nogoods=30961, foundSolutions=12, bestBound=76
1547.48/1542.68
1552.90/1548.03 num=652, depth=2..6, filters=23732942, revisions=(32491429,useless=6312920), ccks=12285320299, wck=1545.856, mem=37M829
1552.90/1548.03 decisions=4288366, wrong=2142577, backtracks=148652, failedAssignments=2114429, nogoods=31020, foundSolutions=12, bestBound=76
1552.90/1548.03
1560.50/1555.64 num=653, depth=1..7, filters=23861008, revisions=(32666726,useless=6344617), ccks=12349610447, wck=1553.47, mem=67M39
1560.50/1555.64 decisions=4300577, wrong=2148680, backtracks=149358, failedAssignments=2120362, nogoods=31151, foundSolutions=12, bestBound=76
1560.50/1555.64
1570.52/1565.67 num=654, depth=1..7, filters=24008505, revisions=(32868994,useless=6381423), ccks=12431123920, wck=1563.501, mem=48M679
1570.52/1565.67 decisions=4314381, wrong=2155580, backtracks=150431, failedAssignments=2126888, nogoods=31191, foundSolutions=12, bestBound=76
1570.52/1565.67
1578.14/1573.25 num=655, depth=0..7, filters=24136036, revisions=(33048252,useless=6417696), ccks=12488913738, wck=1571.075, mem=35M800
1578.14/1573.25 decisions=4329241, wrong=2163007, backtracks=151362, failedAssignments=2134067, nogoods=31265, foundSolutions=12, bestBound=76
1578.14/1573.25
1588.75/1583.86 num=656, depth=1..6, filters=24281266, revisions=(33249174,useless=6458977), ccks=12574170664, wck=1581.691, mem=80M106
1588.75/1583.86 decisions=4345582, wrong=2171175, backtracks=152626, failedAssignments=2141964, nogoods=31326, foundSolutions=12, bestBound=76
1588.75/1583.86
1599.37/1594.41 num=657, depth=1..7, filters=24468765, revisions=(33510588,useless=6508944), ccks=12648868314, wck=1592.238, mem=37M993
1599.37/1594.41 decisions=4364007, wrong=2180385, backtracks=154207, failedAssignments=2150651, nogoods=31469, foundSolutions=12, bestBound=76
1599.37/1594.41
1613.00/1608.07 num=658, depth=1..7, filters=24717080, revisions=(33854048,useless=6570461), ccks=12747556572, wck=1605.899, mem=33M747
1613.00/1608.07 decisions=4384433, wrong=2190596, backtracks=155894, failedAssignments=2160206, nogoods=31517, foundSolutions=12, bestBound=76
1613.00/1608.07
1620.90/1615.94 num=659, depth=1..8, filters=24856146, revisions=(34041221,useless=6609357), ccks=12816496009, wck=1613.765, mem=74M812
1620.90/1615.94 decisions=4405554, wrong=2201154, backtracks=156432, failedAssignments=2170717, nogoods=31647, foundSolutions=12, bestBound=76
1620.90/1615.94
1628.42/1623.44 num=660, depth=0..7, filters=24971169, revisions=(34196536,useless=6636164), ccks=12881389281, wck=1621.269, mem=49M996
1628.42/1623.44 decisions=4428744, wrong=2212746, backtracks=156846, failedAssignments=2182279, nogoods=31694, foundSolutions=12, bestBound=76
1628.42/1623.44
1643.24/1638.26 num=661, depth=1..7, filters=25258068, revisions=(34602564,useless=6710740), ccks=12987904340, wck=1636.084, mem=42M510
1643.24/1638.26 decisions=4455343, wrong=2226043, backtracks=158504, failedAssignments=2194997, nogoods=31798, foundSolutions=12, bestBound=76
1643.24/1638.26
1660.57/1655.53 num=662, depth=1..8, filters=25532111, revisions=(34985433,useless=6784037), ccks=13118060230, wck=1653.357, mem=62M0
1660.57/1655.53 decisions=4484526, wrong=2240633, backtracks=160563, failedAssignments=2208987, nogoods=31819, foundSolutions=12, bestBound=76
1660.57/1655.53
1675.29/1670.23 num=663, depth=1..7, filters=25735685, revisions=(35265846,useless=6839209), ccks=13255047971, wck=1668.055, mem=59M872
1675.29/1670.23 decisions=4515403, wrong=2256069, backtracks=160955, failedAssignments=2224376, nogoods=31900, foundSolutions=12, bestBound=76
1675.29/1670.23
1692.61/1687.55 num=664, depth=1..8, filters=26049500, revisions=(35698579,useless=6924068), ccks=13383338431, wck=1685.383, mem=44M801
1692.61/1687.55 decisions=4550644, wrong=2273687, backtracks=163217, failedAssignments=2241304, nogoods=32045, foundSolutions=12, bestBound=76
1692.61/1687.55
1704.13/1699.06 num=665, depth=1..9, filters=26233289, revisions=(35958942,useless=6981847), ccks=13478544010, wck=1696.886, mem=77M226
1704.13/1699.06 decisions=4588004, wrong=2292364, backtracks=164221, failedAssignments=2259925, nogoods=32146, foundSolutions=12, bestBound=76
1704.13/1699.06
1723.47/1718.35 num=666, depth=0..7, filters=26603833, revisions=(36471171,useless=7080063), ccks=13625056740, wck=1716.18, mem=57M811
1723.47/1718.35 decisions=4630233, wrong=2313476, backtracks=166645, failedAssignments=2280409, nogoods=32258, foundSolutions=12, bestBound=76
1723.47/1718.35
1750.71/1745.55 num=667, depth=1..7, filters=26974476, revisions=(36982848,useless=7191706), ccks=13862480518, wck=1743.381, mem=48M139
1750.71/1745.55 decisions=4676330, wrong=2336523, backtracks=169520, failedAssignments=2302941, nogoods=32334, foundSolutions=12, bestBound=76
1750.71/1745.55
1771.44/1766.24 num=668, depth=1..11, filters=27280698, revisions=(37421788,useless=7287541), ccks=14026871564, wck=1764.073, mem=71M933
1771.44/1766.24 decisions=4726802, wrong=2361755, backtracks=171621, failedAssignments=2327726, nogoods=32487, foundSolutions=12, bestBound=76
1771.44/1766.24
1799.19/1794.00 num=669, depth=1..8, filters=27774722, revisions=(38108932,useless=7418985), ccks=14234004784, wck=1791.825, mem=27M701
1799.19/1794.00 decisions=4783337, wrong=2390020, backtracks=175005, failedAssignments=2354990, nogoods=32604, foundSolutions=12, bestBound=76
1799.19/1794.00
1820.63/1815.34 num=670, depth=1..10, filters=28129464, revisions=(38597889,useless=7510940), ccks=14395454994, wck=1813.17, mem=53M621
1820.63/1815.34 decisions=4844105, wrong=2420400, backtracks=177201, failedAssignments=2384980, nogoods=32773, foundSolutions=12, bestBound=76
1820.63/1815.34
1833.15/1827.86 num=671, depth=1..11, filters=28356074, revisions=(38924003,useless=7601049), ccks=14479771811, wck=1825.685, mem=80M647
1833.15/1827.86 decisions=4910178, wrong=2453433, backtracks=178295, failedAssignments=2417969, nogoods=32877, foundSolutions=12, bestBound=76
1833.15/1827.86
1868.61/1863.22 num=672, depth=1..8, filters=29060033, revisions=(39896358,useless=7784857), ccks=14734002366, wck=1861.05, mem=50M455
1868.61/1863.22 decisions=4985828, wrong=2491256, backtracks=182908, failedAssignments=2454257, nogoods=32918, foundSolutions=12, bestBound=76
1868.61/1863.22
1895.06/1889.69 num=673, depth=1..10, filters=29549260, revisions=(40580208,useless=7938627), ccks=14945453900, wck=1887.522, mem=27M832
1895.06/1889.69 decisions=5066577, wrong=2531628, backtracks=185693, failedAssignments=2494174, nogoods=33031, foundSolutions=12, bestBound=76
1895.06/1889.69
1927.01/1921.55 num=674, depth=1..10, filters=30064027, revisions=(41294013,useless=8085016), ccks=15187900222, wck=1919.383, mem=59M153
1927.01/1921.55 decisions=5155422, wrong=2576047, backtracks=188275, failedAssignments=2538083, nogoods=33072, foundSolutions=12, bestBound=76
1927.01/1921.55
1971.08/1965.51 num=675, depth=0..8, filters=30841108, revisions=(42378704,useless=8300607), ccks=15527636933, wck=1963.342, mem=48M402
1971.08/1965.51 decisions=5254559, wrong=2625612, backtracks=193476, failedAssignments=2586383, nogoods=33188, foundSolutions=12, bestBound=76
1971.08/1965.51
2020.56/2014.94 num=676, depth=1..14, filters=31782855, revisions=(43684987,useless=8539470), ccks=15900108109, wck=2012.766, mem=66M778
2020.56/2014.94 decisions=5364306, wrong=2680482, backtracks=199322, failedAssignments=2639513, nogoods=33326, foundSolutions=12, bestBound=76
2020.56/2014.94
2064.73/2059.10 num=677, depth=1..12, filters=32251695, revisions=(44341254,useless=8695488), ccks=16258500337, wck=2056.927, mem=68M963
2064.73/2059.10 decisions=5481434, wrong=2739043, backtracks=202114, failedAssignments=2697956, nogoods=33408, foundSolutions=12, bestBound=76
2064.73/2059.10
2120.21/2114.42 num=678, depth=1..12, filters=33286288, revisions=(45736626,useless=8963941), ccks=16715331242, wck=2112.252, mem=32M275
2120.21/2114.42 decisions=5612568, wrong=2804606, backtracks=207156, failedAssignments=2762243, nogoods=33608, foundSolutions=12, bestBound=76
2120.21/2114.42
2163.57/2157.79 num=679, depth=1..11, filters=34036431, revisions=(46743617,useless=9157919), ccks=17016252518, wck=2155.623, mem=29M59
2163.57/2157.79 decisions=5755646, wrong=2876141, backtracks=213009, failedAssignments=2832959, nogoods=33675, foundSolutions=12, bestBound=76
2163.57/2157.79
2229.37/2223.44 num=680, depth=1..10, filters=35092450, revisions=(48204602,useless=9446197), ccks=17550589309, wck=2221.269, mem=72M334
2229.37/2223.44 decisions=5914159, wrong=2955394, backtracks=218785, failedAssignments=2910746, nogoods=33795, foundSolutions=12, bestBound=76
2229.37/2223.44
2281.53/2275.59 num=681, depth=0..16, filters=35838388, revisions=(49201770,useless=9627843), ccks=17956139428, wck=2273.424, mem=58M286
2281.53/2275.59 decisions=6085632, wrong=3041127, backtracks=221978, failedAssignments=2996312, nogoods=33873, foundSolutions=12, bestBound=76
2281.53/2275.59
2361.94/2355.82 num=682, depth=1..13, filters=37098739, revisions=(50865527,useless=9905450), ccks=18639582481, wck=2353.65, mem=69M111
2361.94/2355.82 decisions=6276339, wrong=3136476, backtracks=228344, failedAssignments=3090435, nogoods=34026, foundSolutions=12, bestBound=76
2361.94/2355.82
2433.24/2427.07 num=683, depth=1..10, filters=38023534, revisions=(52154988,useless=10173796), ccks=19230579809, wck=2424.902, mem=52M935
2433.24/2427.07 decisions=6484115, wrong=3240361, backtracks=232541, failedAssignments=3193970, nogoods=34148, foundSolutions=12, bestBound=76
2433.24/2427.07
2500.63/2494.31 num=684, depth=1..12, filters=39034485, revisions=(53560946,useless=10491553), ccks=19781997299, wck=2492.138, mem=67M8
2500.63/2494.31 decisions=6712683, wrong=3354642, backtracks=238186, failedAssignments=3307859, nogoods=34234, foundSolutions=12, bestBound=76
2500.63/2494.31
2520.07/2513.70
2520.07/2513.70 v <instantiation id='sol12' type='solution' cost='76'> <list> x[] y[][] </list> <values> 0 2 5 11 18 28 42 43 64 72 76 * 2 5 11 18 28 42 43 64 72 76 * * 3 9 16 26 40 41 62 70 74 * * * 6 13 23 37 38 59 67 71 * * * * 7 17 31 32 53 61 65 * * * * * 10 24 25 46 54 58 * * * * * * 14 15 36 44 48 * * * * * * * 1 22 30 34 * * * * * * * * 21 29 33 * * * * * * * * * 8 12 * * * * * * * * * * 4 * * * * * * * * * * * </values> </instantiation>
2520.07/2513.70 s SATISFIABLE