2.38/1.89
2.38/1.89 AbsCon 2
2.62/1.90
2.90/2.08 Instance
2.90/2.08 name=instance-4391038-1568380550, framework=COP, bounds=-infty..+infty
2.90/2.08
2.90/2.08 Loading variables...
3.20/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a4eec4a
3.20/2.19 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a1cb81b
3.52/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@517bad5
3.52/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b41921a
3.52/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f70622a
3.52/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de680ff
3.52/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b807afd
3.52/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28953f88
3.52/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e813b9f
3.52/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.52/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179c1f9
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.52/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b7921a
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.52/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33900509
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8815ec
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ab6c7
3.52/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ab6c7
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ab6c7
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ab6c7
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ae8ddf
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ae8ddf
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ae8ddf
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c0a5bbd
3.52/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c0a5bbd
3.52/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6373f5dc
3.84/2.36
3.84/2.36
3.84/2.36 Domains
3.84/2.36 nTypes=2, nValues=6630, sizes=[2#3150,330#1]
3.84/2.36 Variables
3.84/2.36 count=3151, degrees=[11#4,12#710,13#2436,37#1]
3.84/2.36 Objectives
3.84/2.36 way=min, type=ObjVarLE
3.84/2.36 Constraints
3.84/2.36 count=403, nSpecific=403, arities=[1#1,18#349,350#9,700#8,701#36]
3.84/2.36 distribution=[LexicographicLe#357,ObjVarLE#1,SumScalarBooleanLEVar#36,SumSimpleEQ#9]
3.84/2.36 wck=0.494, cpu=2.318, mem=60M864
3.84/2.37 Solver SolverBacktrack being built...
3.84/2.37
4.20/2.42
4.20/2.42 Solver
4.20/2.42 guaranteedGAC=true
4.20/2.42 wck=0.565, cpu=2.385, mem=79M446
4.37/2.53
4.37/2.53 Preprocessing
4.37/2.53 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.37/2.53 wck=0.053, cpu=2.441, mem=79M446
4.37/2.53
4.59/2.62 num=0, depth=491..501, filters=468, wck=0.197, mem=79M446
4.59/2.62 decisions=545, wrong=27, backtracks=26, failedAssignments=10, nogoods=1
4.59/2.62
4.90/2.77 num=1, depth=1..219, filters=3233, wck=0.347, mem=79M446
4.90/2.77 decisions=784, wrong=43, backtracks=33, failedAssignments=21, nogoods=10
4.90/2.77
5.20/2.89 num=2, depth=1..301, filters=5712, wck=0.469, mem=79M446
5.20/2.89 decisions=1106, wrong=61, backtracks=40, failedAssignments=33, nogoods=19
5.20/2.89
5.43/2.99 num=3, depth=5..366, filters=8001, wck=0.57, mem=79M446
5.43/2.99 decisions=1488, wrong=75, backtracks=41, failedAssignments=46, nogoods=32
5.43/2.99
5.62/3.09 o 100
5.80/3.11 num=4, depth=3..3150, filters=9620, ccks=403, wck=0.684, mem=82M88
5.80/3.11 decisions=1892, wrong=78, backtracks=41, failedAssignments=49, nogoods=35, foundSolutions=1, bestBound=100
5.80/3.11
6.03/3.23 o 99
6.03/3.24 num=5, depth=3..3150, filters=11352, ccks=806, wck=0.814, mem=82M88
6.03/3.24 decisions=2281, wrong=87, backtracks=41, failedAssignments=58, nogoods=44, foundSolutions=2, bestBound=99
6.03/3.24
6.29/3.36 o 96
6.29/3.37 num=6, depth=3..3150, filters=13369, ccks=1209, wck=0.944, mem=82M88
6.29/3.37 decisions=2559, wrong=93, backtracks=41, failedAssignments=64, nogoods=50, foundSolutions=3, bestBound=96
6.29/3.37
6.60/3.49 o 95
6.60/3.50 num=7, depth=6..3150, filters=14938, ccks=1612, wck=1.076, mem=84M732
6.60/3.50 decisions=2786, wrong=95, backtracks=41, failedAssignments=66, nogoods=52, foundSolutions=4, bestBound=95
6.60/3.50
7.15/3.74 num=8, depth=66..247, filters=20664, ccks=1612, wck=1.319, mem=84M732
7.15/3.74 decisions=3340, wrong=298, backtracks=235, failedAssignments=77, nogoods=60, foundSolutions=4, bestBound=95
7.15/3.74
7.25/3.83 num=9, depth=1..295, filters=22927, ccks=1612, wck=1.41, mem=84M732
7.25/3.83 decisions=3647, wrong=309, backtracks=235, failedAssignments=88, nogoods=71, foundSolutions=4, bestBound=95
7.25/3.83
7.35/3.91 num=10, depth=1..297, filters=24806, ccks=1612, wck=1.493, mem=84M732
7.35/3.91 decisions=3960, wrong=323, backtracks=240, failedAssignments=100, nogoods=79, foundSolutions=4, bestBound=95
7.35/3.91
7.46/4.02 num=11, depth=1..341, filters=27360, ccks=1612, wck=1.601, mem=84M732
7.46/4.02 decisions=4315, wrong=336, backtracks=240, failedAssignments=113, nogoods=92, foundSolutions=4, bestBound=95
7.46/4.02
7.56/4.12 num=12, depth=1..317, filters=29797, ccks=1612, wck=1.701, mem=84M732
7.56/4.12 decisions=4655, wrong=353, backtracks=243, failedAssignments=127, nogoods=104, foundSolutions=4, bestBound=95
7.56/4.12
7.68/4.24 num=13, depth=1..210, filters=32735, ccks=1612, wck=1.815, mem=84M732
7.68/4.24 decisions=4899, wrong=375, backtracks=259, failedAssignments=143, nogoods=109, foundSolutions=4, bestBound=95
7.68/4.24
7.91/4.35 num=14, depth=0..359, filters=35342, ccks=1612, wck=1.925, mem=84M732
7.91/4.35 decisions=5290, wrong=399, backtracks=266, failedAssignments=160, nogoods=125, foundSolutions=4, bestBound=95
7.91/4.35
8.03/4.44 num=15, depth=131..154, filters=37911, ccks=1612, wck=2.018, mem=84M732
8.03/4.44 decisions=5513, wrong=435, backtracks=284, failedAssignments=179, nogoods=129, foundSolutions=4, bestBound=95
8.03/4.44
8.13/4.55 num=16, depth=33..114, filters=41136, ccks=1612, wck=2.126, mem=84M732
8.13/4.55 decisions=5684, wrong=474, backtracks=303, failedAssignments=200, nogoods=132, foundSolutions=4, bestBound=95
8.13/4.55
8.24/4.62 num=17, depth=16..234, filters=42598, ccks=1612, wck=2.194, mem=84M732
8.24/4.62 decisions=5942, wrong=497, backtracks=303, failedAssignments=223, nogoods=155, foundSolutions=4, bestBound=95
8.24/4.62
8.24/4.69 num=18, depth=132..268, filters=44397, ccks=1612, wck=2.268, mem=84M732
8.24/4.69 decisions=6274, wrong=535, backtracks=319, failedAssignments=248, nogoods=168, foundSolutions=4, bestBound=95
8.24/4.69
8.33/4.78 num=19, depth=17..313, filters=46587, ccks=1612, wck=2.355, mem=84M732
8.33/4.78 decisions=6633, wrong=573, backtracks=330, failedAssignments=276, nogoods=188, foundSolutions=4, bestBound=95
8.33/4.78
8.44/4.84 num=20, depth=17..250, filters=48285, ccks=1612, wck=2.423, mem=84M732
8.44/4.84 decisions=6933, wrong=609, backtracks=343, failedAssignments=307, nogoods=207, foundSolutions=4, bestBound=95
8.44/4.84
8.54/4.95 num=21, depth=17..269, filters=51004, ccks=1612, wck=2.526, mem=84M732
8.54/4.95 decisions=7277, wrong=658, backtracks=365, failedAssignments=341, nogoods=222, foundSolutions=4, bestBound=95
8.54/4.95
8.65/5.04 num=22, depth=17..229, filters=53459, ccks=1612, wck=2.618, mem=84M732
8.65/5.04 decisions=7587, wrong=717, backtracks=392, failedAssignments=378, nogoods=233, foundSolutions=4, bestBound=95
8.65/5.04
8.76/5.12 num=23, depth=17..253, filters=55463, ccks=1612, wck=2.7, mem=84M732
8.76/5.12 decisions=7904, wrong=768, backtracks=411, failedAssignments=419, nogoods=257, foundSolutions=4, bestBound=95
8.76/5.12
8.85/5.21 num=24, depth=105..241, filters=57785, ccks=1612, wck=2.793, mem=84M732
8.85/5.21 decisions=8244, wrong=835, backtracks=445, failedAssignments=464, nogoods=271, foundSolutions=4, bestBound=95
8.85/5.21
8.96/5.32 num=25, depth=17..213, filters=60334, ccks=1612, wck=2.894, mem=84M732
8.96/5.32 decisions=8586, wrong=915, backtracks=487, failedAssignments=514, nogoods=282, foundSolutions=4, bestBound=95
8.96/5.32
9.16/5.54 num=26, depth=17..135, filters=68217, ccks=1612, wck=3.122, mem=84M732
9.16/5.54 decisions=8882, wrong=1025, backtracks=543, failedAssignments=569, nogoods=286, foundSolutions=4, bestBound=95
9.16/5.54
9.26/5.62 num=27, depth=48..103, filters=70363, ccks=1612, wck=3.194, mem=84M732
9.26/5.62 decisions=9162, wrong=1141, backtracks=607, failedAssignments=630, nogoods=290, foundSolutions=4, bestBound=95
9.26/5.62
9.36/5.75 num=28, depth=31..105, filters=73638, ccks=1612, wck=3.325, mem=84M732
9.36/5.75 decisions=9524, wrong=1276, backtracks=698, failedAssignments=697, nogoods=296, foundSolutions=4, bestBound=95
9.36/5.75
9.56/6.00 num=29, depth=14..99, filters=81649, ccks=1612, wck=3.581, mem=84M732
9.56/6.00 decisions=9836, wrong=1398, backtracks=769, failedAssignments=771, nogoods=314, foundSolutions=4, bestBound=95
9.56/6.00
9.77/6.14 num=30, depth=41..152, filters=85695, ccks=1612, wck=3.716, mem=84M732
9.77/6.14 decisions=10273, wrong=1552, backtracks=892, failedAssignments=852, nogoods=330, foundSolutions=4, bestBound=95
9.77/6.14
9.86/6.26 num=31, depth=34..125, filters=89689, ccks=1612, wck=3.843, mem=84M732
9.86/6.26 decisions=10676, wrong=1706, backtracks=990, failedAssignments=941, nogoods=353, foundSolutions=4, bestBound=95
9.86/6.26
10.06/6.49 num=32, depth=19..204, filters=97415, ccks=1612, wck=4.066, mem=84M732
10.06/6.49 decisions=11137, wrong=1858, backtracks=1073, failedAssignments=1039, nogoods=378, foundSolutions=4, bestBound=95
10.06/6.49
10.26/6.69 num=33, depth=20..86, filters=104781, ccks=1612, wck=4.272, mem=84M732
10.26/6.69 decisions=11491, wrong=2008, backtracks=1195, failedAssignments=1147, nogoods=387, foundSolutions=4, bestBound=95
10.26/6.69
10.46/6.82 num=34, depth=17..222, filters=108732, ccks=1612, wck=4.394, mem=84M732
10.46/6.82 decisions=11967, wrong=2161, backtracks=1290, failedAssignments=1266, nogoods=421, foundSolutions=4, bestBound=95
10.46/6.82
10.56/7.01 o 88
10.68/7.01 num=35, depth=17..3150, filters=115088, ccks=2015, wck=4.585, mem=87M375
10.68/7.01 decisions=12629, wrong=2345, backtracks=1405, failedAssignments=1365, nogoods=472, foundSolutions=5, bestBound=88
10.68/7.01
10.79/7.18 num=36, depth=18..195, filters=119954, ccks=2015, wck=4.756, mem=87M375
10.79/7.18 decisions=13181, wrong=2569, backtracks=1541, failedAssignments=1509, nogoods=491, foundSolutions=5, bestBound=88
10.79/7.18
10.89/7.24 num=37, depth=186..195, filters=121370, ccks=2015, wck=4.816, mem=87M375
10.89/7.24 decisions=13417, wrong=2594, backtracks=1558, failedAssignments=1520, nogoods=492, foundSolutions=5, bestBound=88
10.89/7.24
10.99/7.30 num=38, depth=78..137, filters=122914, ccks=2015, wck=4.877, mem=87M375
10.99/7.30 decisions=13606, wrong=2629, backtracks=1584, failedAssignments=1532, nogoods=495, foundSolutions=5, bestBound=88
10.99/7.30
10.99/7.38 num=39, depth=79..96, filters=125340, ccks=2015, wck=4.956, mem=87M375
10.99/7.38 decisions=13816, wrong=2693, backtracks=1643, failedAssignments=1545, nogoods=497, foundSolutions=5, bestBound=88
10.99/7.38
11.08/7.43 num=40, depth=65..91, filters=126641, ccks=2015, wck=5.007, mem=87M375
11.08/7.43 decisions=13989, wrong=2740, backtracks=1685, failedAssignments=1559, nogoods=499, foundSolutions=5, bestBound=88
11.08/7.43
11.18/7.50 num=41, depth=86..100, filters=128930, ccks=2015, wck=5.082, mem=87M375
11.18/7.50 decisions=14197, wrong=2801, backtracks=1739, failedAssignments=1575, nogoods=500, foundSolutions=5, bestBound=88
11.18/7.50
11.18/7.55 num=42, depth=88..104, filters=130128, ccks=2015, wck=5.131, mem=87M375
11.18/7.55 decisions=14371, wrong=2844, backtracks=1776, failedAssignments=1592, nogoods=501, foundSolutions=5, bestBound=88
11.18/7.55
11.18/7.59 num=43, depth=147..155, filters=130935, ccks=2015, wck=5.173, mem=87M375
11.18/7.59 decisions=14575, wrong=2872, backtracks=1802, failedAssignments=1611, nogoods=503, foundSolutions=5, bestBound=88
11.18/7.59
11.28/7.70 num=44, depth=139..170, filters=132814, ccks=2015, wck=5.274, mem=87M375
11.28/7.70 decisions=14804, wrong=2912, backtracks=1822, failedAssignments=1632, nogoods=505, foundSolutions=5, bestBound=88
11.28/7.70
11.38/7.76 num=45, depth=0..84, filters=134599, ccks=2015, wck=5.343, mem=87M375
11.38/7.76 decisions=14983, wrong=2963, backtracks=1869, failedAssignments=1655, nogoods=508, foundSolutions=5, bestBound=88
11.38/7.76
11.48/7.83 num=46, depth=79..96, filters=136551, ccks=2015, wck=5.411, mem=87M375
11.48/7.83 decisions=15223, wrong=3039, backtracks=1937, failedAssignments=1680, nogoods=510, foundSolutions=5, bestBound=88
11.48/7.83
11.48/7.89 num=47, depth=80..90, filters=138011, ccks=2015, wck=5.466, mem=87M375
11.48/7.89 decisions=15424, wrong=3098, backtracks=1990, failedAssignments=1708, nogoods=517, foundSolutions=5, bestBound=88
11.48/7.89
11.59/7.95 num=48, depth=15..143, filters=139440, ccks=2015, wck=5.524, mem=87M375
11.59/7.95 decisions=15650, wrong=3149, backtracks=2020, failedAssignments=1739, nogoods=537, foundSolutions=5, bestBound=88
11.59/7.95
11.59/7.99 num=49, depth=16..81, filters=140767, ccks=2015, wck=5.573, mem=87M375
11.59/7.99 decisions=15801, wrong=3192, backtracks=2058, failedAssignments=1773, nogoods=542, foundSolutions=5, bestBound=88
11.59/7.99
11.70/8.04 num=50, depth=16..88, filters=141967, ccks=2015, wck=5.62, mem=87M375
11.70/8.04 decisions=15994, wrong=3254, backtracks=2109, failedAssignments=1810, nogoods=551, foundSolutions=5, bestBound=88
11.70/8.04
11.82/8.11 num=51, depth=26..58, filters=143708, ccks=2015, wck=5.688, mem=87M375
11.82/8.11 decisions=16225, wrong=3349, backtracks=2196, failedAssignments=1851, nogoods=554, foundSolutions=5, bestBound=88
11.82/8.11
11.91/8.23 num=52, depth=15..74, filters=147699, ccks=2015, wck=5.811, mem=87M375
11.91/8.23 decisions=16519, wrong=3468, backtracks=2298, failedAssignments=1896, nogoods=558, foundSolutions=5, bestBound=88
11.91/8.23
12.01/8.34 num=53, depth=20..55, filters=150713, ccks=2015, wck=5.917, mem=87M375
12.01/8.34 decisions=16830, wrong=3603, backtracks=2425, failedAssignments=1946, nogoods=563, foundSolutions=5, bestBound=88
12.01/8.34
12.51/8.84 num=54, depth=19..255, filters=170401, ccks=2015, wck=6.417, mem=87M375
12.51/8.84 decisions=17666, wrong=3910, backtracks=2722, failedAssignments=2001, nogoods=568, foundSolutions=5, bestBound=88
12.51/8.84
12.61/8.97 num=55, depth=51..116, filters=174195, ccks=2015, wck=6.549, mem=87M375
12.61/8.97 decisions=18074, wrong=4062, backtracks=2855, failedAssignments=2062, nogoods=573, foundSolutions=5, bestBound=88
12.61/8.97
12.82/9.14 num=56, depth=35..248, filters=178744, ccks=2015, wck=6.718, mem=87M375
12.82/9.14 decisions=18569, wrong=4197, backtracks=2933, failedAssignments=2129, nogoods=595, foundSolutions=5, bestBound=88
12.82/9.14
12.91/9.23 num=57, depth=50..147, filters=180843, ccks=2015, wck=6.804, mem=87M375
12.91/9.23 decisions=18959, wrong=4328, backtracks=3043, failedAssignments=2203, nogoods=609, foundSolutions=5, bestBound=88
12.91/9.23
13.01/9.32 num=58, depth=44..150, filters=183173, ccks=2015, wck=6.896, mem=87M375
13.01/9.32 decisions=19337, wrong=4455, backtracks=3145, failedAssignments=2284, nogoods=631, foundSolutions=5, bestBound=88
13.01/9.32
13.14/9.46 num=59, depth=38..213, filters=187407, ccks=2015, wck=7.043, mem=87M375
13.14/9.46 decisions=19828, wrong=4612, backtracks=3261, failedAssignments=2373, nogoods=671, foundSolutions=5, bestBound=88
13.14/9.46
13.24/9.54 num=60, depth=50..89, filters=189543, ccks=2015, wck=7.123, mem=87M375
13.24/9.54 decisions=20199, wrong=4765, backtracks=3393, failedAssignments=2471, nogoods=679, foundSolutions=5, bestBound=88
13.24/9.54
13.34/9.69 num=61, depth=29..150, filters=193879, ccks=2015, wck=7.27, mem=87M375
13.34/9.69 decisions=20720, wrong=4971, backtracks=3552, failedAssignments=2579, nogoods=709, foundSolutions=5, bestBound=88
13.34/9.69
13.95/10.20 num=62, depth=43..345, filters=212108, ccks=2015, wck=7.783, mem=87M375
13.95/10.20 decisions=21995, wrong=5442, backtracks=3974, failedAssignments=2698, nogoods=718, foundSolutions=5, bestBound=88
13.95/10.20
14.05/10.34 num=63, depth=85..136, filters=215766, ccks=2015, wck=7.918, mem=87M375
14.05/10.34 decisions=22557, wrong=5662, backtracks=4163, failedAssignments=2829, nogoods=731, foundSolutions=5, bestBound=88
14.05/10.34
14.25/10.59 num=64, depth=77..105, filters=223400, ccks=2015, wck=8.168, mem=87M375
14.25/10.59 decisions=23246, wrong=5962, backtracks=4400, failedAssignments=2973, nogoods=739, foundSolutions=5, bestBound=88
14.25/10.59
14.86/11.12 num=65, depth=82..352, filters=241457, ccks=2015, wck=8.703, mem=87M375
14.86/11.12 decisions=24648, wrong=6510, backtracks=4890, failedAssignments=3131, nogoods=761, foundSolutions=5, bestBound=88
14.86/11.12
15.05/11.30 num=66, depth=157..216, filters=246573, ccks=2015, wck=8.882, mem=87M375
15.05/11.30 decisions=25507, wrong=6848, backtracks=5177, failedAssignments=3305, nogoods=769, foundSolutions=5, bestBound=88
15.05/11.30
17.05/13.36 num=67, depth=218..352, filters=300649, ccks=2015, wck=10.94, mem=87M375
17.05/13.36 decisions=26718, wrong=7343, backtracks=5537, failedAssignments=3496, nogoods=773, foundSolutions=5, bestBound=88
17.05/13.36
17.35/13.60 num=68, depth=38..107, filters=308947, ccks=2015, wck=11.179, mem=87M375
17.35/13.60 decisions=27486, wrong=7701, backtracks=5766, failedAssignments=3707, nogoods=796, foundSolutions=5, bestBound=88
17.35/13.60
18.45/14.72 num=69, depth=22..385, filters=348926, ccks=2015, wck=12.295, mem=87M375
18.45/14.72 decisions=29470, wrong=8522, backtracks=6523, failedAssignments=3939, nogoods=816, foundSolutions=5, bestBound=88
18.45/14.72
18.86/15.13 num=70, depth=60..299, filters=361166, ccks=2015, wck=12.706, mem=87M375
18.86/15.13 decisions=30799, wrong=9071, backtracks=6997, failedAssignments=4194, nogoods=858, foundSolutions=5, bestBound=88
18.86/15.13
19.36/15.61 num=71, depth=131..290, filters=377693, ccks=2015, wck=13.193, mem=87M375
19.36/15.61 decisions=32075, wrong=9595, backtracks=7468, failedAssignments=4475, nogoods=891, foundSolutions=5, bestBound=88
19.36/15.61
22.88/19.12 num=72, depth=139..280, filters=474126, ccks=2015, wck=16.695, mem=87M375
22.88/19.12 decisions=36228, wrong=11570, backtracks=9338, failedAssignments=4784, nogoods=895, foundSolutions=5, bestBound=88
22.88/19.12
23.47/19.77 num=73, depth=144..450, filters=494753, ccks=2015, wck=17.353, mem=87M375
23.47/19.77 decisions=38196, wrong=12367, backtracks=9997, failedAssignments=5124, nogoods=957, foundSolutions=5, bestBound=88
23.47/19.77
25.17/21.44 num=74, depth=142..413, filters=541070, ccks=2015, wck=19.018, mem=87M375
25.17/21.44 decisions=40275, wrong=13243, backtracks=10658, failedAssignments=5498, nogoods=1044, foundSolutions=5, bestBound=88
25.17/21.44
25.78/22.05 num=75, depth=28..139, filters=563408, ccks=2015, wck=19.633, mem=87M375
25.78/22.05 decisions=41756, wrong=13947, backtracks=11188, failedAssignments=5909, nogoods=1067, foundSolutions=5, bestBound=88
25.78/22.05
26.08/22.33 num=76, depth=44..315, filters=571902, ccks=2015, wck=19.913, mem=87M375
26.08/22.33 decisions=43156, wrong=14525, backtracks=11661, failedAssignments=6361, nogoods=1141, foundSolutions=5, bestBound=88
26.08/22.33
26.68/23.00 num=77, depth=51..79, filters=597030, ccks=2015, wck=20.579, mem=87M375
26.68/23.00 decisions=44852, wrong=15346, backtracks=12370, failedAssignments=6858, nogoods=1148, foundSolutions=5, bestBound=88
26.68/23.00
27.08/23.32 num=78, depth=186..270, filters=606746, ccks=2015, wck=20.898, mem=87M375
27.08/23.32 decisions=46611, wrong=16114, backtracks=13022, failedAssignments=7405, nogoods=1180, foundSolutions=5, bestBound=88
27.08/23.32
31.68/27.98 num=79, depth=101..207, filters=757933, ccks=2015, wck=25.559, mem=87M375
31.68/27.98 decisions=51627, wrong=18553, backtracks=15242, failedAssignments=8007, nogoods=1185, foundSolutions=5, bestBound=88
31.68/27.98
33.18/29.41 num=80, depth=46..292, filters=796672, ccks=2015, wck=26.986, mem=90M17
33.18/29.41 decisions=54231, wrong=19790, backtracks=16234, failedAssignments=8669, nogoods=1188, foundSolutions=5, bestBound=88
33.18/29.41
33.68/29.94 num=81, depth=26..280, filters=812034, ccks=2015, wck=27.519, mem=90M17
33.68/29.94 decisions=56811, wrong=20973, backtracks=17084, failedAssignments=9397, nogoods=1209, foundSolutions=5, bestBound=88
33.68/29.94
34.18/30.42 num=82, depth=11..153, filters=826809, ccks=2015, wck=28.002, mem=90M17
34.18/30.42 decisions=59272, wrong=22160, backtracks=18122, failedAssignments=10198, nogoods=1255, foundSolutions=5, bestBound=88
34.18/30.42
34.79/31.10 num=83, depth=16..215, filters=849581, ccks=2015, wck=28.683, mem=90M17
34.79/31.10 decisions=62200, wrong=23542, backtracks=19391, failedAssignments=11079, nogoods=1302, foundSolutions=5, bestBound=88
34.79/31.10
35.61/31.86 num=84, depth=22..193, filters=873646, ccks=2015, wck=29.44, mem=90M17
35.61/31.86 decisions=65326, wrong=25051, backtracks=20674, failedAssignments=12049, nogoods=1330, foundSolutions=5, bestBound=88
35.61/31.86
39.21/35.43 num=85, depth=70..197, filters=974934, ccks=2015, wck=33.011, mem=90M17
39.21/35.43 decisions=70237, wrong=27468, backtracks=22429, failedAssignments=13116, nogoods=1338, foundSolutions=5, bestBound=88
39.21/35.43
39.61/35.84 num=86, depth=25..165, filters=985044, ccks=2015, wck=33.422, mem=90M17
39.61/35.84 decisions=73187, wrong=28886, backtracks=23741, failedAssignments=14289, nogoods=1384, foundSolutions=5, bestBound=88
39.61/35.84
39.92/36.17 num=87, depth=48..301, filters=992998, ccks=2015, wck=33.746, mem=90M17
39.92/36.17 decisions=76426, wrong=30403, backtracks=25077, failedAssignments=15580, nogoods=1454, foundSolutions=5, bestBound=88
39.92/36.17
40.01/36.27 o 87
40.01/36.27 num=88, depth=44..3150, filters=995162, ccks=2418, wck=33.846, mem=90M17
40.01/36.27 decisions=76830, wrong=30489, backtracks=25136, failedAssignments=15637, nogoods=1475, foundSolutions=6, bestBound=87
40.01/36.27
40.13/36.40 o 85
40.23/36.40 num=89, depth=40..3150, filters=997297, ccks=2821, wck=33.977, mem=92M672
40.23/36.40 decisions=77143, wrong=30549, backtracks=25174, failedAssignments=15669, nogoods=1493, foundSolutions=7, bestBound=85
40.23/36.40
40.23/36.46 num=90, depth=35..49, filters=997904, ccks=2821, wck=34.038, mem=92M672
40.23/36.46 decisions=77222, wrong=30569, backtracks=25188, failedAssignments=15680, nogoods=1496, foundSolutions=7, bestBound=85
40.23/36.46
40.23/36.49 num=91, depth=41..59, filters=998465, ccks=2821, wck=34.064, mem=92M672
40.23/36.49 decisions=77298, wrong=30583, backtracks=25197, failedAssignments=15691, nogoods=1501, foundSolutions=7, bestBound=85
40.23/36.49
40.33/36.52 num=92, depth=41..66, filters=999179, ccks=2821, wck=34.095, mem=92M672
40.33/36.52 decisions=77386, wrong=30598, backtracks=25203, failedAssignments=15703, nogoods=1510, foundSolutions=7, bestBound=85
40.33/36.52
40.33/36.54 num=93, depth=41..65, filters=999808, ccks=2821, wck=34.123, mem=92M672
40.33/36.54 decisions=77471, wrong=30614, backtracks=25211, failedAssignments=15716, nogoods=1517, foundSolutions=7, bestBound=85
40.33/36.54
40.33/36.58 num=94, depth=41..84, filters=1000563, ccks=2821, wck=34.156, mem=92M672
40.33/36.58 decisions=77570, wrong=30628, backtracks=25211, failedAssignments=15730, nogoods=1531, foundSolutions=7, bestBound=85
40.33/36.58
40.43/36.61 num=95, depth=41..86, filters=1001437, ccks=2821, wck=34.191, mem=92M672
40.43/36.61 decisions=77679, wrong=30647, backtracks=25219, failedAssignments=15746, nogoods=1542, foundSolutions=7, bestBound=85
40.43/36.61
40.43/36.68 num=96, depth=41..187, filters=1002918, ccks=2821, wck=34.259, mem=92M672
40.43/36.68 decisions=77900, wrong=30671, backtracks=25231, failedAssignments=15763, nogoods=1551, foundSolutions=7, bestBound=85
40.43/36.68
40.53/36.72 num=97, depth=41..58, filters=1003982, ccks=2821, wck=34.301, mem=92M672
40.53/36.72 decisions=78022, wrong=30706, backtracks=25258, failedAssignments=15782, nogoods=1558, foundSolutions=7, bestBound=85
40.53/36.72
40.53/36.77 num=98, depth=41..58, filters=1005482, ccks=2821, wck=34.353, mem=92M672
40.53/36.77 decisions=78159, wrong=30752, backtracks=25297, failedAssignments=15803, nogoods=1561, foundSolutions=7, bestBound=85
40.53/36.77
40.63/36.85 num=99, depth=21..169, filters=1007384, ccks=2821, wck=34.427, mem=92M672
40.63/36.85 decisions=78386, wrong=30790, backtracks=25317, failedAssignments=15826, nogoods=1577, foundSolutions=7, bestBound=85
40.63/36.85
40.63/36.89 num=100, depth=43..62, filters=1008580, ccks=2821, wck=34.47, mem=92M672
40.63/36.89 decisions=78520, wrong=30830, backtracks=25347, failedAssignments=15851, nogoods=1586, foundSolutions=7, bestBound=85
40.63/36.89
40.74/36.94 num=101, depth=15..41, filters=1009985, ccks=2821, wck=34.515, mem=92M672
40.74/36.94 decisions=78634, wrong=30873, backtracks=25376, failedAssignments=15879, nogoods=1597, foundSolutions=7, bestBound=85
40.74/36.94
40.74/36.97 num=102, depth=48..98, filters=1010832, ccks=2821, wck=34.552, mem=92M672
40.74/36.97 decisions=78797, wrong=30916, backtracks=25395, failedAssignments=15910, nogoods=1619, foundSolutions=7, bestBound=85
40.74/36.97
40.85/37.02 num=103, depth=41..93, filters=1011925, ccks=2821, wck=34.596, mem=92M672
40.85/37.02 decisions=78952, wrong=30957, backtracks=25413, failedAssignments=15944, nogoods=1640, foundSolutions=7, bestBound=85
40.85/37.02
40.85/37.09 num=104, depth=44..206, filters=1013775, ccks=2821, wck=34.672, mem=92M672
40.85/37.09 decisions=79215, wrong=31001, backtracks=25426, failedAssignments=15981, nogoods=1670, foundSolutions=7, bestBound=85
40.85/37.09
40.95/37.15 num=105, depth=46..113, filters=1015207, ccks=2821, wck=34.727, mem=92M672
40.95/37.15 decisions=79408, wrong=31056, backtracks=25451, failedAssignments=16022, nogoods=1695, foundSolutions=7, bestBound=85
40.95/37.15
41.04/37.24 num=106, depth=45..70, filters=1017877, ccks=2821, wck=34.815, mem=92M672
41.04/37.24 decisions=79655, wrong=31149, backtracks=25523, failedAssignments=16067, nogoods=1703, foundSolutions=7, bestBound=85
41.04/37.24
41.04/37.30 num=107, depth=48..88, filters=1019417, ccks=2821, wck=34.874, mem=92M672
41.04/37.30 decisions=79887, wrong=31227, backtracks=25581, failedAssignments=16117, nogoods=1716, foundSolutions=7, bestBound=85
41.04/37.30
41.14/37.36 num=108, depth=55..84, filters=1021285, ccks=2821, wck=34.941, mem=92M672
41.14/37.36 decisions=80157, wrong=31329, backtracks=25663, failedAssignments=16172, nogoods=1725, foundSolutions=7, bestBound=85
41.14/37.36
41.24/37.45 num=109, depth=43..100, filters=1023794, ccks=2821, wck=35.024, mem=92M672
41.24/37.45 decisions=80424, wrong=31423, backtracks=25734, failedAssignments=16233, nogoods=1737, foundSolutions=7, bestBound=85
41.24/37.45
41.34/37.57 num=110, depth=39..71, filters=1027928, ccks=2821, wck=35.146, mem=92M672
41.34/37.57 decisions=80730, wrong=31554, backtracks=25835, failedAssignments=16300, nogoods=1744, foundSolutions=7, bestBound=85
41.34/37.57
41.54/37.78 num=111, depth=53..76, filters=1034841, ccks=2821, wck=35.359, mem=92M672
41.54/37.78 decisions=81171, wrong=31744, backtracks=25998, failedAssignments=16374, nogoods=1751, foundSolutions=7, bestBound=85
41.54/37.78
41.74/37.93 num=112, depth=15..229, filters=1039035, ccks=2821, wck=35.506, mem=92M672
41.74/37.93 decisions=81696, wrong=31912, backtracks=26130, failedAssignments=16455, nogoods=1766, foundSolutions=7, bestBound=85
41.74/37.93
41.85/38.06 num=113, depth=6..277, filters=1042637, ccks=2821, wck=35.634, mem=92M672
41.85/38.06 decisions=82138, wrong=32031, backtracks=26171, failedAssignments=16544, nogoods=1839, foundSolutions=7, bestBound=85
41.85/38.06
41.95/38.15 num=114, depth=7..301, filters=1045361, ccks=2821, wck=35.731, mem=92M672
41.95/38.15 decisions=82564, wrong=32137, backtracks=26183, failedAssignments=16642, nogoods=1927, foundSolutions=7, bestBound=85
41.95/38.15
42.14/38.39 num=115, depth=8..192, filters=1052570, ccks=2821, wck=35.969, mem=92M672
42.14/38.39 decisions=83208, wrong=32384, backtracks=26374, failedAssignments=16750, nogoods=1958, foundSolutions=7, bestBound=85
42.14/38.39
42.24/38.49 num=116, depth=8..264, filters=1055188, ccks=2821, wck=36.065, mem=92M672
42.24/38.49 decisions=83654, wrong=32517, backtracks=26412, failedAssignments=16869, nogoods=2042, foundSolutions=7, bestBound=85
42.24/38.49
42.34/38.59 num=117, depth=8..285, filters=1058079, ccks=2821, wck=36.17, mem=92M672
42.34/38.59 decisions=84161, wrong=32672, backtracks=26469, failedAssignments=17000, nogoods=2127, foundSolutions=7, bestBound=85
42.34/38.59
42.54/38.70 num=118, depth=8..334, filters=1060917, ccks=2821, wck=36.276, mem=92M672
42.54/38.70 decisions=84704, wrong=32831, backtracks=26518, failedAssignments=17144, nogoods=2231, foundSolutions=7, bestBound=85
42.54/38.70
42.64/38.80 num=119, depth=8..336, filters=1063681, ccks=2821, wck=36.382, mem=92M672
42.64/38.80 decisions=85287, wrong=33001, backtracks=26599, failedAssignments=17302, nogoods=2319, foundSolutions=7, bestBound=85
42.64/38.80
42.96/39.18 num=120, depth=8..307, filters=1076114, ccks=2821, wck=36.757, mem=92M672
42.96/39.18 decisions=86271, wrong=33362, backtracks=26917, failedAssignments=17476, nogoods=2350, foundSolutions=7, bestBound=85
42.96/39.18
43.25/39.42 num=121, depth=6..169, filters=1083752, ccks=2821, wck=37.001, mem=92M672
43.25/39.42 decisions=87019, wrong=33689, backtracks=27112, failedAssignments=17667, nogoods=2379, foundSolutions=7, bestBound=85
43.25/39.42
43.86/40.04 num=122, depth=6..314, filters=1108126, ccks=2821, wck=37.615, mem=92M672
43.86/40.04 decisions=88351, wrong=34219, backtracks=27595, failedAssignments=17878, nogoods=2405, foundSolutions=7, bestBound=85
43.86/40.04
45.35/41.59 num=123, depth=17..331, filters=1171429, ccks=2821, wck=39.171, mem=92M672
45.35/41.59 decisions=91045, wrong=35420, backtracks=28716, failedAssignments=18110, nogoods=2426, foundSolutions=7, bestBound=85
45.35/41.59
45.75/41.95 num=124, depth=15..33, filters=1184085, ccks=2821, wck=39.533, mem=92M672
45.75/41.95 decisions=91932, wrong=35855, backtracks=29109, failedAssignments=18365, nogoods=2433, foundSolutions=7, bestBound=85
45.75/41.95
45.96/42.18 num=125, depth=6..53, filters=1191751, ccks=2821, wck=39.754, mem=92M672
45.96/42.18 decisions=92789, wrong=36269, backtracks=29510, failedAssignments=18646, nogoods=2447, foundSolutions=7, bestBound=85
45.96/42.18
46.16/42.30 num=126, depth=26..67, filters=1195936, ccks=2821, wck=39.883, mem=92M672
46.16/42.30 decisions=93642, wrong=36677, backtracks=29904, failedAssignments=18955, nogoods=2456, foundSolutions=7, bestBound=85
46.16/42.30
46.76/42.98 num=127, depth=28..148, filters=1219790, ccks=2821, wck=40.561, mem=92M672
46.76/42.98 decisions=94929, wrong=37287, backtracks=30286, failedAssignments=19295, nogoods=2489, foundSolutions=7, bestBound=85
46.76/42.98
47.07/43.29 num=128, depth=19..160, filters=1229393, ccks=2821, wck=40.871, mem=92M672
47.07/43.29 decisions=96174, wrong=37869, backtracks=30690, failedAssignments=19669, nogoods=2524, foundSolutions=7, bestBound=85
47.07/43.29
47.37/43.60 num=129, depth=29..150, filters=1239407, ccks=2821, wck=41.175, mem=92M672
47.37/43.60 decisions=97320, wrong=38396, backtracks=31155, failedAssignments=20080, nogoods=2581, foundSolutions=7, bestBound=85
47.37/43.60
49.58/45.73 num=130, depth=44..234, filters=1284606, ccks=2821, wck=43.313, mem=92M672
49.58/45.73 decisions=99239, wrong=39309, backtracks=31689, failedAssignments=20532, nogoods=2595, foundSolutions=7, bestBound=85
49.58/45.73
50.18/46.36 num=131, depth=3..72, filters=1303809, ccks=2821, wck=43.942, mem=92M672
50.18/46.36 decisions=100666, wrong=40003, backtracks=32309, failedAssignments=21029, nogoods=2613, foundSolutions=7, bestBound=85
50.18/46.36
50.99/47.12 num=132, depth=3..108, filters=1321298, ccks=2821, wck=44.703, mem=92M672
50.99/47.12 decisions=102539, wrong=40913, backtracks=33064, failedAssignments=21576, nogoods=2629, foundSolutions=7, bestBound=85
50.99/47.12
52.19/48.33 num=133, depth=3..472, filters=1360618, ccks=2821, wck=45.904, mem=92M672
52.19/48.33 decisions=105979, wrong=42435, backtracks=34393, failedAssignments=22178, nogoods=2684, foundSolutions=7, bestBound=85
52.19/48.33
52.71/48.85 num=134, depth=6..181, filters=1375582, ccks=2821, wck=46.428, mem=95M315
52.71/48.85 decisions=107981, wrong=43376, backtracks=35239, failedAssignments=22840, nogoods=2726, foundSolutions=7, bestBound=85
52.71/48.85
55.21/51.31 num=135, depth=6..307, filters=1452407, ccks=2821, wck=48.889, mem=95M315
55.21/51.31 decisions=111799, wrong=45149, backtracks=36790, failedAssignments=23568, nogoods=2731, foundSolutions=7, bestBound=85
55.21/51.31
56.31/52.48 num=136, depth=52..101, filters=1492616, ccks=2821, wck=50.063, mem=95M315
56.31/52.48 decisions=115190, wrong=46813, backtracks=38344, failedAssignments=24369, nogoods=2746, foundSolutions=7, bestBound=85
56.31/52.48
61.95/58.09 num=137, depth=77..269, filters=1664973, ccks=2821, wck=55.672, mem=95M315
61.95/58.09 decisions=119965, wrong=49128, backtracks=40278, failedAssignments=25250, nogoods=2748, foundSolutions=7, bestBound=85
61.95/58.09
63.24/59.39 num=138, depth=24..62, filters=1705448, ccks=2821, wck=56.973, mem=95M315
63.24/59.39 decisions=124076, wrong=51167, backtracks=42132, failedAssignments=26220, nogoods=2751, foundSolutions=7, bestBound=85
63.24/59.39
63.54/59.69 num=139, depth=76..129, filters=1713974, ccks=2821, wck=57.272, mem=95M315
63.54/59.69 decisions=126533, wrong=52355, backtracks=43290, failedAssignments=27287, nogoods=2766, foundSolutions=7, bestBound=85
63.54/59.69
64.95/61.04 num=140, depth=55..224, filters=1762644, ccks=2821, wck=58.616, mem=95M315
64.95/61.04 decisions=131495, wrong=54742, backtracks=45502, failedAssignments=28460, nogoods=2777, foundSolutions=7, bestBound=85
64.95/61.04
73.25/69.34 num=141, depth=115..227, filters=2056617, ccks=2821, wck=66.916, mem=95M315
73.25/69.34 decisions=143829, wrong=60831, backtracks=51100, failedAssignments=29751, nogoods=2784, foundSolutions=7, bestBound=85
73.25/69.34
79.85/75.91 num=142, depth=50..215, filters=2272496, ccks=2821, wck=73.491, mem=95M315
79.85/75.91 decisions=153348, wrong=65549, backtracks=55310, failedAssignments=31171, nogoods=2790, foundSolutions=7, bestBound=85
79.85/75.91
81.35/77.47 num=143, depth=36..157, filters=2321466, ccks=2821, wck=75.047, mem=95M315
81.35/77.47 decisions=158067, wrong=67854, backtracks=57340, failedAssignments=32733, nogoods=2804, foundSolutions=7, bestBound=85
81.35/77.47
82.35/78.49 num=144, depth=47..168, filters=2352201, ccks=2821, wck=76.066, mem=95M315
82.35/78.49 decisions=163141, wrong=70340, backtracks=59512, failedAssignments=34451, nogoods=2817, foundSolutions=7, bestBound=85
82.35/78.49
83.06/79.11 num=145, depth=30..103, filters=2371624, ccks=2821, wck=76.692, mem=95M315
83.06/79.11 decisions=168042, wrong=72757, backtracks=61901, failedAssignments=36341, nogoods=2828, foundSolutions=7, bestBound=85
83.06/79.11
83.45/79.60 num=146, depth=74..213, filters=2386711, ccks=2821, wck=77.174, mem=95M315
83.45/79.60 decisions=173259, wrong=75281, backtracks=64307, failedAssignments=38420, nogoods=2853, foundSolutions=7, bestBound=85
83.45/79.60
87.00/83.06 num=147, depth=48..402, filters=2503556, ccks=2821, wck=80.638, mem=95M315
87.00/83.06 decisions=181875, wrong=79440, backtracks=68038, failedAssignments=40707, nogoods=2931, foundSolutions=7, bestBound=85
87.00/83.06
87.59/83.69 num=148, depth=60..128, filters=2521619, ccks=2821, wck=81.264, mem=95M315
87.59/83.69 decisions=188544, wrong=82736, backtracks=71241, failedAssignments=43223, nogoods=2950, foundSolutions=7, bestBound=85
87.59/83.69
88.19/84.22 num=149, depth=164..299, filters=2538358, ccks=2821, wck=81.803, mem=95M315
88.19/84.22 decisions=195250, wrong=85965, backtracks=74439, failedAssignments=45991, nogoods=2971, foundSolutions=7, bestBound=85
88.19/84.22
89.79/85.82 num=150, depth=82..474, filters=2591931, ccks=2821, wck=83.4, mem=95M315
89.79/85.82 decisions=203598, wrong=89943, backtracks=78283, failedAssignments=49035, nogoods=3015, foundSolutions=7, bestBound=85
89.79/85.82
102.30/98.31 num=151, depth=3..487, filters=3070667, ccks=2821, wck=95.887, mem=97M957
102.30/98.31 decisions=226736, wrong=101297, backtracks=89093, failedAssignments=52384, nogoods=3044, foundSolutions=7, bestBound=85
102.30/98.31
104.70/100.76 num=152, depth=10..79, filters=3147167, ccks=2821, wck=98.336, mem=97M957
104.70/100.76 decisions=238111, wrong=106969, backtracks=93731, failedAssignments=56068, nogoods=3050, foundSolutions=7, bestBound=85
104.70/100.76
106.60/102.67 num=153, depth=13..106, filters=3203139, ccks=2821, wck=100.253, mem=97M957
106.60/102.67 decisions=248536, wrong=112155, backtracks=98276, failedAssignments=60120, nogoods=3092, foundSolutions=7, bestBound=85
106.60/102.67
109.70/105.76 num=154, depth=50..168, filters=3312494, ccks=2821, wck=103.34, mem=97M957
109.70/105.76 decisions=264178, wrong=119919, backtracks=105656, failedAssignments=64577, nogoods=3101, foundSolutions=7, bestBound=85
109.70/105.76
111.11/107.19 num=155, depth=133..279, filters=3360359, ccks=2821, wck=104.772, mem=97M957
111.11/107.19 decisions=279017, wrong=127236, backtracks=112547, failedAssignments=69480, nogoods=3151, foundSolutions=7, bestBound=85
111.11/107.19
146.61/142.69 num=156, depth=202..378, filters=4480853, ccks=2821, wck=140.271, mem=97M957
146.61/142.69 decisions=320321, wrong=147758, backtracks=131131, failedAssignments=74874, nogoods=3154, foundSolutions=7, bestBound=85
146.61/142.69
174.14/170.16 num=157, depth=110..197, filters=5523650, ccks=2821, wck=167.74, mem=97M957
174.14/170.16 decisions=363341, wrong=169197, backtracks=150615, failedAssignments=80807, nogoods=3156, foundSolutions=7, bestBound=85
174.14/170.16
185.74/181.79 num=158, depth=103..382, filters=5929936, ccks=2821, wck=179.366, mem=100M599
185.74/181.79 decisions=390703, wrong=182745, backtracks=162656, failedAssignments=87333, nogoods=3239, foundSolutions=7, bestBound=85
185.74/181.79
199.35/195.30 num=159, depth=113..298, filters=6339119, ccks=2821, wck=192.879, mem=100M599
199.35/195.30 decisions=425264, wrong=199964, backtracks=177041, failedAssignments=94512, nogoods=3248, foundSolutions=7, bestBound=85
199.35/195.30
222.16/218.14 num=160, depth=4..252, filters=7044150, ccks=2821, wck=215.723, mem=100M599
222.16/218.14 decisions=458523, wrong=216548, backtracks=189592, failedAssignments=102409, nogoods=3300, foundSolutions=7, bestBound=85
222.16/218.14
230.26/226.24 num=161, depth=1..274, filters=7363690, ccks=2821, wck=223.817, mem=100M599
230.26/226.24 decisions=490955, wrong=232660, backtracks=204578, failedAssignments=111096, nogoods=3342, foundSolutions=7, bestBound=85
230.26/226.24
238.26/234.21 num=162, depth=7..183, filters=7606997, ccks=2821, wck=231.791, mem=103M242
238.26/234.21 decisions=520947, wrong=247614, backtracks=217007, failedAssignments=120651, nogoods=3414, foundSolutions=7, bestBound=85
238.26/234.21
240.86/236.83 num=163, depth=2..300, filters=7698388, ccks=2821, wck=234.405, mem=103M242
240.86/236.83 decisions=547375, wrong=260722, backtracks=229441, failedAssignments=131162, nogoods=3471, foundSolutions=7, bestBound=85
240.86/236.83
279.09/275.05 num=164, depth=42..341, filters=9101126, ccks=2821, wck=272.631, mem=103M242
279.09/275.05 decisions=629026, wrong=301410, backtracks=267625, failedAssignments=142724, nogoods=3498, foundSolutions=7, bestBound=85
279.09/275.05
291.29/287.27 num=165, depth=187..318, filters=9500161, ccks=2821, wck=284.849, mem=105M884
291.29/287.27 decisions=665368, wrong=319463, backtracks=284906, failedAssignments=155442, nogoods=3511, foundSolutions=7, bestBound=85
291.29/287.27
316.00/311.95 o 83
316.00/311.95 num=166, depth=102..3150, filters=10399478, ccks=3224, wck=309.528, mem=105M884
316.00/311.95 decisions=715298, wrong=344156, backtracks=307343, failedAssignments=167058, nogoods=3592, foundSolutions=8, bestBound=83
316.00/311.95
397.24/393.15 num=167, depth=69..332, filters=13132299, ccks=3224, wck=390.727, mem=108M527
397.24/393.15 decisions=809327, wrong=391062, backtracks=347295, failedAssignments=182447, nogoods=3612, foundSolutions=8, bestBound=83
397.24/393.15
397.34/393.20 num=168, depth=185..198, filters=13133461, ccks=3224, wck=390.783, mem=108M527
397.34/393.20 decisions=809560, wrong=391086, backtracks=347308, failedAssignments=182458, nogoods=3613, foundSolutions=8, bestBound=83
397.34/393.20
397.44/393.33 num=169, depth=25..405, filters=13135420, ccks=3224, wck=390.904, mem=108M527
397.44/393.33 decisions=809983, wrong=391100, backtracks=347310, failedAssignments=182470, nogoods=3624, foundSolutions=8, bestBound=83
397.44/393.33
397.44/393.37 num=170, depth=114..214, filters=13136294, ccks=3224, wck=390.953, mem=108M527
397.44/393.37 decisions=810237, wrong=391122, backtracks=347320, failedAssignments=182483, nogoods=3629, foundSolutions=8, bestBound=83
397.44/393.37
397.54/393.44 num=171, depth=114..201, filters=13137812, ccks=3224, wck=391.019, mem=108M527
397.54/393.44 decisions=810491, wrong=391152, backtracks=347339, failedAssignments=182497, nogoods=3632, foundSolutions=8, bestBound=83
397.54/393.44
397.54/393.49 num=172, depth=111..219, filters=13138706, ccks=3224, wck=391.066, mem=108M527
397.54/393.49 decisions=810757, wrong=391180, backtracks=347352, failedAssignments=182513, nogoods=3638, foundSolutions=8, bestBound=83
397.54/393.49
397.64/393.54 num=173, depth=71..232, filters=13139847, ccks=3224, wck=391.118, mem=108M527
397.64/393.54 decisions=811032, wrong=391211, backtracks=347367, failedAssignments=182530, nogoods=3643, foundSolutions=8, bestBound=83
397.64/393.54
397.74/393.60 num=174, depth=74..233, filters=13141062, ccks=3224, wck=391.176, mem=108M527
397.74/393.60 decisions=811311, wrong=391244, backtracks=347382, failedAssignments=182549, nogoods=3649, foundSolutions=8, bestBound=83
397.74/393.60
397.74/393.65 num=175, depth=74..248, filters=13142150, ccks=3224, wck=391.232, mem=108M527
397.74/393.65 decisions=811605, wrong=391278, backtracks=347398, failedAssignments=182570, nogoods=3656, foundSolutions=8, bestBound=83
397.74/393.65
397.84/393.72 num=176, depth=74..254, filters=13143447, ccks=3224, wck=391.295, mem=108M527
397.84/393.72 decisions=811910, wrong=391317, backtracks=347419, failedAssignments=182593, nogoods=3663, foundSolutions=8, bestBound=83
397.84/393.72
397.94/393.80 num=177, depth=74..281, filters=13145274, ccks=3224, wck=391.375, mem=108M527
397.94/393.80 decisions=812274, wrong=391372, backtracks=347452, failedAssignments=182618, nogoods=3669, foundSolutions=8, bestBound=83
397.94/393.80
397.94/393.87 num=178, depth=26..262, filters=13146840, ccks=3224, wck=391.445, mem=108M527
397.94/393.87 decisions=812605, wrong=391413, backtracks=347472, failedAssignments=182646, nogoods=3680, foundSolutions=8, bestBound=83
397.94/393.87
398.15/394.01 num=179, depth=75..212, filters=13151961, ccks=3224, wck=391.587, mem=108M527
398.15/394.01 decisions=812936, wrong=391475, backtracks=347503, failedAssignments=182677, nogoods=3685, foundSolutions=8, bestBound=83
398.15/394.01
398.15/394.08 num=180, depth=75..255, filters=13153584, ccks=3224, wck=391.659, mem=108M527
398.15/394.08 decisions=813273, wrong=391534, backtracks=347534, failedAssignments=182711, nogoods=3691, foundSolutions=8, bestBound=83
398.15/394.08
398.25/394.15 num=181, depth=75..252, filters=13155228, ccks=3224, wck=391.732, mem=108M527
398.25/394.15 decisions=813621, wrong=391602, backtracks=347570, failedAssignments=182748, nogoods=3696, foundSolutions=8, bestBound=83
398.25/394.15
398.34/394.23 num=182, depth=75..239, filters=13156945, ccks=3224, wck=391.806, mem=108M527
398.34/394.23 decisions=813988, wrong=391679, backtracks=347609, failedAssignments=182789, nogoods=3703, foundSolutions=8, bestBound=83
398.34/394.23
398.44/394.32 num=183, depth=205..251, filters=13158939, ccks=3224, wck=391.895, mem=108M527
398.44/394.32 decisions=814387, wrong=391760, backtracks=347651, failedAssignments=182834, nogoods=3711, foundSolutions=8, bestBound=83
398.44/394.32
398.54/394.42 num=184, depth=74..219, filters=13161313, ccks=3224, wck=391.994, mem=108M527
398.54/394.42 decisions=814787, wrong=391855, backtracks=347703, failedAssignments=182884, nogoods=3716, foundSolutions=8, bestBound=83
398.54/394.42
398.64/394.56 num=185, depth=70..228, filters=13165923, ccks=3224, wck=392.141, mem=108M527
398.64/394.56 decisions=815181, wrong=391969, backtracks=347764, failedAssignments=182939, nogoods=3718, foundSolutions=8, bestBound=83
398.64/394.56
398.74/394.65 num=186, depth=75..248, filters=13168124, ccks=3224, wck=392.229, mem=108M527
398.74/394.65 decisions=815629, wrong=392085, backtracks=347829, failedAssignments=183000, nogoods=3725, foundSolutions=8, bestBound=83
398.74/394.65
398.84/394.78 num=187, depth=75..245, filters=13171608, ccks=3224, wck=392.354, mem=108M527
398.84/394.78 decisions=816093, wrong=392222, backtracks=347907, failedAssignments=183067, nogoods=3727, foundSolutions=8, bestBound=83
398.84/394.78
399.04/394.94 num=188, depth=74..243, filters=13176404, ccks=3224, wck=392.518, mem=108M527
399.04/394.94 decisions=816550, wrong=392369, backtracks=347986, failedAssignments=183141, nogoods=3729, foundSolutions=8, bestBound=83
399.04/394.94
399.25/395.16 num=189, depth=75..224, filters=13182764, ccks=3224, wck=392.74, mem=108M527
399.25/395.16 decisions=817129, wrong=392568, backtracks=348112, failedAssignments=183222, nogoods=3733, foundSolutions=8, bestBound=83
399.25/395.16
399.64/395.58 num=190, depth=73..235, filters=13196728, ccks=3224, wck=393.159, mem=108M527
399.64/395.58 decisions=817685, wrong=392765, backtracks=348227, failedAssignments=183311, nogoods=3737, foundSolutions=8, bestBound=83
399.64/395.58
399.84/395.70 num=191, depth=77..233, filters=13199927, ccks=3224, wck=393.278, mem=108M527
399.84/395.70 decisions=818262, wrong=392947, backtracks=348336, failedAssignments=183409, nogoods=3748, foundSolutions=8, bestBound=83
399.84/395.70
400.16/396.06 num=192, depth=77..240, filters=13212024, ccks=3224, wck=393.64, mem=108M527
400.16/396.06 decisions=818831, wrong=393175, backtracks=348463, failedAssignments=183517, nogoods=3751, foundSolutions=8, bestBound=83
400.16/396.06
400.45/396.31 num=193, depth=77..210, filters=13219847, ccks=3224, wck=393.891, mem=108M527
400.45/396.31 decisions=819466, wrong=393418, backtracks=348598, failedAssignments=183636, nogoods=3754, foundSolutions=8, bestBound=83
400.45/396.31
400.85/396.71 num=194, depth=64..240, filters=13233400, ccks=3224, wck=394.286, mem=108M527
400.85/396.71 decisions=820119, wrong=393697, backtracks=348755, failedAssignments=183767, nogoods=3758, foundSolutions=8, bestBound=83
400.85/396.71
401.16/397.10 num=195, depth=64..217, filters=13246188, ccks=3224, wck=394.674, mem=108M527
401.16/397.10 decisions=820843, wrong=393992, backtracks=348918, failedAssignments=183911, nogoods=3768, foundSolutions=8, bestBound=83
401.16/397.10
401.55/397.46 num=196, depth=64..215, filters=13257909, ccks=3224, wck=395.042, mem=108M527
401.55/397.46 decisions=821696, wrong=394359, backtracks=349152, failedAssignments=184069, nogoods=3778, foundSolutions=8, bestBound=83
401.55/397.46
401.95/397.84 num=197, depth=65..190, filters=13270593, ccks=3224, wck=395.415, mem=108M527
401.95/397.84 decisions=822603, wrong=394752, backtracks=349389, failedAssignments=184243, nogoods=3784, foundSolutions=8, bestBound=83
401.95/397.84
402.35/398.28 num=198, depth=72..191, filters=13285063, ccks=3224, wck=395.856, mem=108M527
402.35/398.28 decisions=823671, wrong=395230, backtracks=349725, failedAssignments=184434, nogoods=3790, foundSolutions=8, bestBound=83
402.35/398.28
402.85/398.71 num=199, depth=73..127, filters=13300390, ccks=3224, wck=396.285, mem=108M527
402.85/398.71 decisions=824752, wrong=395722, backtracks=350104, failedAssignments=184645, nogoods=3797, foundSolutions=8, bestBound=83
402.85/398.71
403.16/399.09 num=200, depth=49..179, filters=13312402, ccks=3224, wck=396.673, mem=108M527
403.16/399.09 decisions=825867, wrong=396228, backtracks=350450, failedAssignments=184877, nogoods=3805, foundSolutions=8, bestBound=83
403.16/399.09
403.65/399.56 num=201, depth=56..153, filters=13328447, ccks=3224, wck=397.142, mem=108M527
403.65/399.56 decisions=826945, wrong=396712, backtracks=350774, failedAssignments=185132, nogoods=3817, foundSolutions=8, bestBound=83
403.65/399.56
404.05/399.91 num=202, depth=60..157, filters=13337858, ccks=3224, wck=397.489, mem=108M527
404.05/399.91 decisions=828106, wrong=397228, backtracks=351078, failedAssignments=185413, nogoods=3830, foundSolutions=8, bestBound=83
404.05/399.91
404.75/400.60 num=203, depth=55..151, filters=13360376, ccks=3224, wck=398.182, mem=108M527
404.75/400.60 decisions=829536, wrong=397906, backtracks=351529, failedAssignments=185722, nogoods=3840, foundSolutions=8, bestBound=83
404.75/400.60
405.65/401.52 num=204, depth=61..138, filters=13390526, ccks=3224, wck=399.1, mem=108M527
405.65/401.52 decisions=831032, wrong=398606, backtracks=352006, failedAssignments=186062, nogoods=3851, foundSolutions=8, bestBound=83
405.65/401.52
406.26/402.15 num=205, depth=66..151, filters=13412480, ccks=3224, wck=399.732, mem=108M527
406.26/402.15 decisions=832678, wrong=399371, backtracks=352435, failedAssignments=186436, nogoods=3860, foundSolutions=8, bestBound=83
406.26/402.15
407.36/403.24 num=206, depth=67..118, filters=13453276, ccks=3224, wck=400.816, mem=108M527
407.36/403.24 decisions=835021, wrong=400497, backtracks=353349, failedAssignments=186847, nogoods=3871, foundSolutions=8, bestBound=83
407.36/403.24
407.98/403.84 num=207, depth=72..182, filters=13476977, ccks=3224, wck=401.416, mem=108M527
407.98/403.84 decisions=836981, wrong=401423, backtracks=353964, failedAssignments=187299, nogoods=3883, foundSolutions=8, bestBound=83
407.98/403.84
408.68/404.55 num=208, depth=80..318, filters=13501165, ccks=3224, wck=402.133, mem=108M527
408.68/404.55 decisions=839631, wrong=402601, backtracks=354993, failedAssignments=187796, nogoods=3904, foundSolutions=8, bestBound=83
408.68/404.55
409.57/405.49 num=209, depth=82..210, filters=13536485, ccks=3224, wck=403.071, mem=108M527
409.57/405.49 decisions=842086, wrong=403742, backtracks=355765, failedAssignments=188343, nogoods=3911, foundSolutions=8, bestBound=83
409.57/405.49
410.28/406.13 num=210, depth=50..304, filters=13559033, ccks=3224, wck=403.71, mem=108M527
410.28/406.13 decisions=844553, wrong=404839, backtracks=356802, failedAssignments=188945, nogoods=3933, foundSolutions=8, bestBound=83
410.28/406.13
411.48/407.35 num=211, depth=88..362, filters=13601572, ccks=3224, wck=404.926, mem=111M170
411.48/407.35 decisions=848624, wrong=406717, backtracks=358607, failedAssignments=189607, nogoods=3948, foundSolutions=8, bestBound=83
411.48/407.35
412.78/408.69 num=212, depth=94..362, filters=13651301, ccks=3224, wck=406.269, mem=111M170
412.78/408.69 decisions=852501, wrong=408488, backtracks=360261, failedAssignments=190335, nogoods=3963, foundSolutions=8, bestBound=83
412.78/408.69
415.58/411.43 num=213, depth=86..346, filters=13747894, ccks=3224, wck=409.011, mem=111M170
415.58/411.43 decisions=858856, wrong=411505, backtracks=363074, failedAssignments=191136, nogoods=3974, foundSolutions=8, bestBound=83
415.58/411.43
416.98/412.85 num=214, depth=88..362, filters=13803398, ccks=3224, wck=410.426, mem=111M170
416.98/412.85 decisions=863238, wrong=413529, backtracks=364937, failedAssignments=192017, nogoods=3986, foundSolutions=8, bestBound=83
416.98/412.85
419.20/415.02 num=215, depth=92..362, filters=13888371, ccks=3224, wck=412.596, mem=111M170
419.20/415.02 decisions=868848, wrong=416166, backtracks=367429, failedAssignments=192987, nogoods=4007, foundSolutions=8, bestBound=83
419.20/415.02
420.99/416.82 num=216, depth=108..359, filters=13959766, ccks=3224, wck=414.396, mem=111M170
420.99/416.82 decisions=874761, wrong=418971, backtracks=369942, failedAssignments=194054, nogoods=4016, foundSolutions=8, bestBound=83
420.99/416.82
422.79/418.60 num=217, depth=47..352, filters=14024128, ccks=3224, wck=416.179, mem=111M170
422.79/418.60 decisions=879034, wrong=421069, backtracks=371560, failedAssignments=195227, nogoods=4038, foundSolutions=8, bestBound=83
422.79/418.60
428.49/424.38 num=218, depth=74..333, filters=14193983, ccks=3224, wck=421.955, mem=111M170
428.49/424.38 decisions=884856, wrong=423883, backtracks=373340, failedAssignments=196518, nogoods=4042, foundSolutions=8, bestBound=83
428.49/424.38
429.69/425.53 num=219, depth=39..93, filters=14236494, ccks=3224, wck=423.104, mem=111M170
429.69/425.53 decisions=890055, wrong=426456, backtracks=375752, failedAssignments=197938, nogoods=4049, foundSolutions=8, bestBound=83
429.69/425.53
434.40/430.25 num=220, depth=74..327, filters=14394755, ccks=3224, wck=427.827, mem=111M170
434.40/430.25 decisions=896918, wrong=429824, backtracks=378262, failedAssignments=199500, nogoods=4052, foundSolutions=8, bestBound=83
434.40/430.25
442.50/438.30 num=221, depth=153..321, filters=14625955, ccks=3224, wck=435.882, mem=111M170
442.50/438.30 decisions=904804, wrong=433689, backtracks=381043, failedAssignments=201218, nogoods=4054, foundSolutions=8, bestBound=83
442.50/438.30
451.30/447.18 num=222, depth=134..361, filters=14940241, ccks=3224, wck=444.758, mem=111M170
451.30/447.18 decisions=917383, wrong=439824, backtracks=386451, failedAssignments=203108, nogoods=4064, foundSolutions=8, bestBound=83
451.30/447.18
454.90/450.74 num=223, depth=33..306, filters=15065786, ccks=3224, wck=448.322, mem=111M170
454.90/450.74 decisions=926846, wrong=444428, backtracks=390756, failedAssignments=205187, nogoods=4088, foundSolutions=8, bestBound=83
454.90/450.74
461.21/457.08 num=224, depth=49..348, filters=15309254, ccks=3224, wck=454.657, mem=111M170
461.21/457.08 decisions=939954, wrong=450826, backtracks=396469, failedAssignments=207474, nogoods=4121, foundSolutions=8, bestBound=83
461.21/457.08
475.91/471.79 num=225, depth=20..304, filters=15856489, ccks=3224, wck=469.371, mem=111M170
475.91/471.79 decisions=961265, wrong=461347, backtracks=406047, failedAssignments=209990, nogoods=4137, foundSolutions=8, bestBound=83
475.91/471.79
487.32/483.11 num=226, depth=62..252, filters=16240511, ccks=3224, wck=480.693, mem=111M170
487.32/483.11 decisions=984580, wrong=472902, backtracks=417073, failedAssignments=212758, nogoods=4142, foundSolutions=8, bestBound=83
487.32/483.11
506.83/502.69 num=227, depth=35..310, filters=16970379, ccks=3224, wck=500.264, mem=113M813
506.83/502.69 decisions=1007820, wrong=484412, backtracks=427156, failedAssignments=215802, nogoods=4152, foundSolutions=8, bestBound=83
506.83/502.69
517.83/513.65 num=228, depth=46..525, filters=17307542, ccks=3224, wck=511.23, mem=113M813
517.83/513.65 decisions=1023411, wrong=492148, backtracks=432789, failedAssignments=219151, nogoods=4168, foundSolutions=8, bestBound=83
517.83/513.65
542.14/537.95 num=229, depth=111..403, filters=18225963, ccks=3224, wck=535.528, mem=113M813
542.14/537.95 decisions=1052641, wrong=506577, backtracks=446103, failedAssignments=222835, nogoods=4189, foundSolutions=8, bestBound=83
542.14/537.95
560.05/555.85 num=230, depth=59..415, filters=18876403, ccks=3224, wck=553.43, mem=113M813
560.05/555.85 decisions=1079301, wrong=519735, backtracks=458231, failedAssignments=226887, nogoods=4199, foundSolutions=8, bestBound=83
560.05/555.85
565.05/560.85 num=231, depth=26..133, filters=19042755, ccks=3224, wck=558.43, mem=113M813
565.05/560.85 decisions=1095449, wrong=527780, backtracks=464456, failedAssignments=231344, nogoods=4208, foundSolutions=8, bestBound=83
565.05/560.85
581.16/576.97 num=232, depth=33..258, filters=19590827, ccks=3224, wck=574.552, mem=113M813
581.16/576.97 decisions=1127749, wrong=543832, backtracks=478972, failedAssignments=236247, nogoods=4236, foundSolutions=8, bestBound=83
581.16/576.97
596.16/591.96 num=233, depth=36..393, filters=19947139, ccks=3224, wck=589.536, mem=113M813
596.16/591.96 decisions=1153547, wrong=556670, backtracks=487914, failedAssignments=241641, nogoods=4242, foundSolutions=8, bestBound=83
596.16/591.96
613.98/609.80 num=234, depth=27..453, filters=20589341, ccks=3224, wck=607.375, mem=116M455
613.98/609.80 decisions=1184657, wrong=572056, backtracks=501709, failedAssignments=247574, nogoods=4324, foundSolutions=8, bestBound=83
613.98/609.80
629.48/625.27 num=235, depth=49..383, filters=21129657, ccks=3224, wck=622.85, mem=116M455
629.48/625.27 decisions=1221985, wrong=590568, backtracks=518288, failedAssignments=254100, nogoods=4369, foundSolutions=8, bestBound=83
629.48/625.27
650.30/646.02 num=236, depth=7..201, filters=21862675, ccks=3224, wck=643.602, mem=116M455
650.30/646.02 decisions=1256626, wrong=607861, backtracks=530459, failedAssignments=261279, nogoods=4378, foundSolutions=8, bestBound=83
650.30/646.02
668.00/663.74 num=237, depth=14..258, filters=22452991, ccks=3224, wck=661.321, mem=116M455
668.00/663.74 decisions=1291357, wrong=625115, backtracks=544919, failedAssignments=269176, nogoods=4404, foundSolutions=8, bestBound=83
668.00/663.74
699.21/694.94 num=238, depth=96..234, filters=23524456, ccks=3224, wck=692.516, mem=119M97
699.21/694.94 decisions=1323255, wrong=640999, backtracks=558886, failedAssignments=277863, nogoods=4424, foundSolutions=8, bestBound=83
699.21/694.94
732.63/728.34 num=239, depth=190..449, filters=24666944, ccks=3224, wck=725.918, mem=119M97
732.63/728.34 decisions=1388672, wrong=673527, backtracks=589034, failedAssignments=287418, nogoods=4449, foundSolutions=8, bestBound=83
732.63/728.34
745.64/741.35 num=240, depth=83..260, filters=25118512, ccks=3224, wck=738.927, mem=119M97
745.64/741.35 decisions=1426796, wrong=692491, backtracks=605300, failedAssignments=297929, nogoods=4478, foundSolutions=8, bestBound=83
745.64/741.35
782.05/777.74 num=241, depth=37..246, filters=26230825, ccks=3224, wck=775.324, mem=119M97
782.05/777.74 decisions=1474195, wrong=716117, backtracks=624194, failedAssignments=309491, nogoods=4484, foundSolutions=8, bestBound=83
782.05/777.74
835.58/831.25 num=242, depth=17..280, filters=28122321, ccks=3224, wck=828.825, mem=121M740
835.58/831.25 decisions=1531256, wrong=744538, backtracks=649548, failedAssignments=322209, nogoods=4528, foundSolutions=8, bestBound=83
835.58/831.25
887.71/883.37 num=243, depth=120..541, filters=30091061, ccks=3224, wck=880.952, mem=121M740
887.71/883.37 decisions=1598142, wrong=777749, backtracks=675888, failedAssignments=336199, nogoods=4585, foundSolutions=8, bestBound=83
887.71/883.37
894.32/889.93 num=244, depth=70..614, filters=30312472, ccks=3224, wck=887.508, mem=124M382
894.32/889.93 decisions=1639746, wrong=798316, backtracks=693352, failedAssignments=351588, nogoods=4707, foundSolutions=8, bestBound=83
894.32/889.93
898.72/894.36 num=245, depth=68..563, filters=30428403, ccks=3224, wck=891.94, mem=124M382
898.72/894.36 decisions=1680973, wrong=818719, backtracks=712801, failedAssignments=368516, nogoods=4795, foundSolutions=8, bestBound=83
898.72/894.36
902.92/898.60 num=246, depth=84..657, filters=30547980, ccks=3224, wck=896.174, mem=127M27
902.92/898.60 decisions=1722100, wrong=839017, backtracks=732988, failedAssignments=387137, nogoods=4898, foundSolutions=8, bestBound=83
902.92/898.60
915.03/910.67 o 82
915.03/910.67 num=247, depth=60..3150, filters=30993194, ccks=3627, wck=908.246, mem=127M27
915.03/910.67 decisions=1741090, wrong=848267, backtracks=741505, failedAssignments=390978, nogoods=4938, foundSolutions=9, bestBound=82
915.03/910.67
923.44/919.08 num=248, depth=69..488, filters=31259834, ccks=3627, wck=916.663, mem=129M669
923.44/919.08 decisions=1797540, wrong=876321, backtracks=768268, failedAssignments=413510, nogoods=5045, foundSolutions=9, bestBound=82
923.44/919.08
923.54/919.12 num=249, depth=41..56, filters=31260925, ccks=3627, wck=916.7, mem=129M669
923.54/919.12 decisions=1797633, wrong=876347, backtracks=768286, failedAssignments=413521, nogoods=5047, foundSolutions=9, bestBound=82
923.54/919.12
923.54/919.16 num=250, depth=35..144, filters=31261623, ccks=3627, wck=916.737, mem=129M669
923.54/919.16 decisions=1797791, wrong=876360, backtracks=768287, failedAssignments=413533, nogoods=5059, foundSolutions=9, bestBound=82
923.54/919.16
923.54/919.19 num=251, depth=36..63, filters=31262494, ccks=3627, wck=916.768, mem=129M669
923.54/919.19 decisions=1797870, wrong=876374, backtracks=768288, failedAssignments=413546, nogoods=5072, foundSolutions=9, bestBound=82
923.54/919.19
923.64/919.25 num=252, depth=36..149, filters=31263971, ccks=3627, wck=916.826, mem=129M669
923.64/919.25 decisions=1798052, wrong=876396, backtracks=768297, failedAssignments=413560, nogoods=5083, foundSolutions=9, bestBound=82
923.64/919.25
923.74/919.30 num=253, depth=51..147, filters=31265153, ccks=3627, wck=916.877, mem=129M669
923.74/919.30 decisions=1798239, wrong=876420, backtracks=768310, failedAssignments=413576, nogoods=5091, foundSolutions=9, bestBound=82
923.74/919.30
923.74/919.36 num=254, depth=36..153, filters=31266582, ccks=3627, wck=916.934, mem=129M669
923.74/919.36 decisions=1798424, wrong=876443, backtracks=768316, failedAssignments=413593, nogoods=5106, foundSolutions=9, bestBound=82
923.74/919.36
923.84/919.42 num=255, depth=37..153, filters=31268176, ccks=3627, wck=916.996, mem=129M669
923.84/919.42 decisions=1798617, wrong=876471, backtracks=768329, failedAssignments=413612, nogoods=5120, foundSolutions=9, bestBound=82
923.84/919.42
923.84/919.48 num=256, depth=38..157, filters=31269648, ccks=3627, wck=917.054, mem=129M669
923.84/919.48 decisions=1798812, wrong=876499, backtracks=768339, failedAssignments=413633, nogoods=5138, foundSolutions=9, bestBound=82
923.84/919.48
923.95/919.53 num=257, depth=136..154, filters=31270998, ccks=3627, wck=917.11, mem=129M669
923.95/919.53 decisions=1799022, wrong=876533, backtracks=768370, failedAssignments=413656, nogoods=5141, foundSolutions=9, bestBound=82
923.95/919.53
923.95/919.59 num=258, depth=38..163, filters=31272494, ccks=3627, wck=917.168, mem=129M669
923.95/919.59 decisions=1799223, wrong=876563, backtracks=768387, failedAssignments=413681, nogoods=5155, foundSolutions=9, bestBound=82
923.95/919.59
924.05/919.65 num=259, depth=137..153, filters=31274073, ccks=3627, wck=917.23, mem=129M669
924.05/919.65 decisions=1799445, wrong=876603, backtracks=768415, failedAssignments=413709, nogoods=5167, foundSolutions=9, bestBound=82
924.05/919.65
924.15/919.72 num=260, depth=39..161, filters=31276026, ccks=3627, wck=917.301, mem=129M669
924.15/919.72 decisions=1799679, wrong=876649, backtracks=768447, failedAssignments=413740, nogoods=5181, foundSolutions=9, bestBound=82
924.15/919.72
924.25/919.80 num=261, depth=39..165, filters=31278248, ccks=3627, wck=917.378, mem=129M669
924.25/919.80 decisions=1799937, wrong=876707, backtracks=768490, failedAssignments=413774, nogoods=5195, foundSolutions=9, bestBound=82
924.25/919.80
924.25/919.87 num=262, depth=39..161, filters=31280282, ccks=3627, wck=917.45, mem=129M669
924.25/919.87 decisions=1800192, wrong=876763, backtracks=768528, failedAssignments=413811, nogoods=5213, foundSolutions=9, bestBound=82
924.25/919.87
924.35/919.95 num=263, depth=39..158, filters=31282632, ccks=3627, wck=917.53, mem=129M669
924.35/919.95 decisions=1800474, wrong=876835, backtracks=768585, failedAssignments=413852, nogoods=5227, foundSolutions=9, bestBound=82
924.35/919.95
924.46/920.03 num=264, depth=136..164, filters=31284937, ccks=3627, wck=917.612, mem=129M669
924.46/920.03 decisions=1800762, wrong=876907, backtracks=768635, failedAssignments=413897, nogoods=5248, foundSolutions=9, bestBound=82
924.46/920.03
924.56/920.13 num=265, depth=39..158, filters=31287666, ccks=3627, wck=917.704, mem=129M669
924.56/920.13 decisions=1801069, wrong=876990, backtracks=768696, failedAssignments=413947, nogoods=5264, foundSolutions=9, bestBound=82
924.56/920.13
924.65/920.23 num=266, depth=137..163, filters=31290739, ccks=3627, wck=917.806, mem=129M669
924.65/920.23 decisions=1801422, wrong=877095, backtracks=768787, failedAssignments=414002, nogoods=5270, foundSolutions=9, bestBound=82
924.65/920.23
924.75/920.31 num=267, depth=39..182, filters=31293274, ccks=3627, wck=917.892, mem=129M669
924.75/920.31 decisions=1801727, wrong=877175, backtracks=768834, failedAssignments=414063, nogoods=5301, foundSolutions=9, bestBound=82
924.75/920.31
924.85/920.42 num=268, depth=39..165, filters=31296441, ccks=3627, wck=917.996, mem=129M669
924.85/920.42 decisions=1802099, wrong=877289, backtracks=768921, failedAssignments=414130, nogoods=5320, foundSolutions=9, bestBound=82
924.85/920.42
924.95/920.53 num=269, depth=139..155, filters=31299988, ccks=3627, wck=918.109, mem=129M669
924.95/920.53 decisions=1802490, wrong=877414, backtracks=769032, failedAssignments=414204, nogoods=5325, foundSolutions=9, bestBound=82
924.95/920.53
925.05/920.64 num=270, depth=39..169, filters=31303515, ccks=3627, wck=918.222, mem=129M669
925.05/920.64 decisions=1802873, wrong=877534, backtracks=769134, failedAssignments=414285, nogoods=5342, foundSolutions=9, bestBound=82
925.05/920.64
925.15/920.79 num=271, depth=39..170, filters=31307997, ccks=3627, wck=918.364, mem=129M669
925.15/920.79 decisions=1803364, wrong=877705, backtracks=769282, failedAssignments=414374, nogoods=5360, foundSolutions=9, bestBound=82
925.15/920.79
925.35/920.96 num=272, depth=55..175, filters=31313560, ccks=3627, wck=918.54, mem=129M669
925.35/920.96 decisions=1803905, wrong=877900, backtracks=769469, failedAssignments=414472, nogoods=5365, foundSolutions=9, bestBound=82
925.35/920.96
925.56/921.13 num=273, depth=39..192, filters=31319251, ccks=3627, wck=918.709, mem=129M669
925.56/921.13 decisions=1804379, wrong=878059, backtracks=769598, failedAssignments=414580, nogoods=5393, foundSolutions=9, bestBound=82
925.56/921.13
925.75/921.36 num=274, depth=39..196, filters=31327130, ccks=3627, wck=918.941, mem=129M669
925.75/921.36 decisions=1804978, wrong=878280, backtracks=769772, failedAssignments=414699, nogoods=5434, foundSolutions=9, bestBound=82
925.75/921.36
925.95/921.54 num=275, depth=39..222, filters=31333596, ccks=3627, wck=919.123, mem=129M669
925.95/921.54 decisions=1805441, wrong=878431, backtracks=769903, failedAssignments=414830, nogoods=5450, foundSolutions=9, bestBound=82
925.95/921.54
926.15/921.77 num=276, depth=39..293, filters=31340901, ccks=3627, wck=919.348, mem=129M669
926.15/921.77 decisions=1806129, wrong=878643, backtracks=770084, failedAssignments=414974, nogoods=5481, foundSolutions=9, bestBound=82
926.15/921.77
926.35/921.96 num=277, depth=39..334, filters=31346565, ccks=3627, wck=919.536, mem=129M669
926.35/921.96 decisions=1806866, wrong=878877, backtracks=770252, failedAssignments=415132, nogoods=5544, foundSolutions=9, bestBound=82
926.35/921.96
926.56/922.18 num=278, depth=40..403, filters=31352990, ccks=3627, wck=919.756, mem=129M669
926.56/922.18 decisions=1807781, wrong=879168, backtracks=770510, failedAssignments=415306, nogoods=5585, foundSolutions=9, bestBound=82
926.56/922.18
926.85/922.41 num=279, depth=40..329, filters=31360506, ccks=3627, wck=919.993, mem=129M669
926.85/922.41 decisions=1808600, wrong=879444, backtracks=770727, failedAssignments=415497, nogoods=5629, foundSolutions=9, bestBound=82
926.85/922.41
927.05/922.60 num=280, depth=40..344, filters=31365839, ccks=3627, wck=920.178, mem=129M669
927.05/922.60 decisions=1809403, wrong=879708, backtracks=770934, failedAssignments=415708, nogoods=5683, foundSolutions=9, bestBound=82
927.05/922.60
927.15/922.79 num=281, depth=40..347, filters=31371427, ccks=3627, wck=920.369, mem=129M669
927.15/922.79 decisions=1810266, wrong=880000, backtracks=771140, failedAssignments=415940, nogoods=5743, foundSolutions=9, bestBound=82
927.15/922.79
927.35/922.92 num=282, depth=40..362, filters=31374752, ccks=3627, wck=920.503, mem=129M669
927.35/922.92 decisions=1811108, wrong=880277, backtracks=771360, failedAssignments=416195, nogoods=5798, foundSolutions=9, bestBound=82
927.35/922.92
927.56/923.13 num=283, depth=40..351, filters=31380931, ccks=3627, wck=920.71, mem=129M669
927.56/923.13 decisions=1812067, wrong=880613, backtracks=771623, failedAssignments=416476, nogoods=5856, foundSolutions=9, bestBound=82
927.56/923.13
927.75/923.34 num=284, depth=40..357, filters=31387214, ccks=3627, wck=920.924, mem=129M669
927.75/923.34 decisions=1813123, wrong=880998, backtracks=771918, failedAssignments=416785, nogoods=5921, foundSolutions=9, bestBound=82
927.75/923.34
927.95/923.51 num=285, depth=40..346, filters=31391505, ccks=3627, wck=921.09, mem=129M669
927.95/923.51 decisions=1814178, wrong=881390, backtracks=772248, failedAssignments=417125, nogoods=5975, foundSolutions=9, bestBound=82
927.95/923.51
928.15/923.77 num=286, depth=40..360, filters=31399521, ccks=3627, wck=921.352, mem=129M669
928.15/923.77 decisions=1815431, wrong=881872, backtracks=772668, failedAssignments=417499, nogoods=6009, foundSolutions=9, bestBound=82
928.15/923.77
928.56/924.18 num=287, depth=40..362, filters=31412827, ccks=3627, wck=921.761, mem=129M669
928.56/924.18 decisions=1817047, wrong=882532, backtracks=773260, failedAssignments=417910, nogoods=6064, foundSolutions=9, bestBound=82
928.56/924.18
929.25/924.88 num=288, depth=40..447, filters=31436373, ccks=3627, wck=922.459, mem=132M313
929.25/924.88 decisions=1819271, wrong=883477, backtracks=774060, failedAssignments=418362, nogoods=6150, foundSolutions=9, bestBound=82
929.25/924.88
929.65/925.24 num=289, depth=40..398, filters=31447403, ccks=3627, wck=922.821, mem=132M313
929.65/925.24 decisions=1821030, wrong=884192, backtracks=774712, failedAssignments=418859, nogoods=6191, foundSolutions=9, bestBound=82
929.65/925.24
929.85/925.47 num=290, depth=41..444, filters=31453184, ccks=3627, wck=923.047, mem=132M313
929.85/925.47 decisions=1822556, wrong=884782, backtracks=775208, failedAssignments=419406, nogoods=6278, foundSolutions=9, bestBound=82
929.85/925.47
930.05/925.69 num=291, depth=41..439, filters=31458698, ccks=3627, wck=923.269, mem=132M313
930.05/925.69 decisions=1824221, wrong=885440, backtracks=775789, failedAssignments=420008, nogoods=6345, foundSolutions=9, bestBound=82
930.05/925.69
930.35/925.97 num=292, depth=41..462, filters=31466381, ccks=3627, wck=923.551, mem=132M313
930.35/925.97 decisions=1826086, wrong=886196, backtracks=776409, failedAssignments=420670, nogoods=6452, foundSolutions=9, bestBound=82
930.35/925.97
930.75/926.30 num=293, depth=42..464, filters=31476226, ccks=3627, wck=923.88, mem=132M313
930.75/926.30 decisions=1828218, wrong=887080, backtracks=777197, failedAssignments=421398, nogoods=6535, foundSolutions=9, bestBound=82
930.75/926.30
931.05/926.66 num=294, depth=42..468, filters=31486529, ccks=3627, wck=924.237, mem=132M313
931.05/926.66 decisions=1830462, wrong=888017, backtracks=778023, failedAssignments=422199, nogoods=6611, foundSolutions=9, bestBound=82
931.05/926.66
931.46/927.02 num=295, depth=42..388, filters=31495833, ccks=3627, wck=924.596, mem=132M313
931.46/927.02 decisions=1832865, wrong=889050, backtracks=779007, failedAssignments=423080, nogoods=6643, foundSolutions=9, bestBound=82
931.46/927.02
931.95/927.51 num=296, depth=44..460, filters=31509998, ccks=3627, wck=925.089, mem=132M313
931.95/927.51 decisions=1835632, wrong=890240, backtracks=780063, failedAssignments=424050, nogoods=6722, foundSolutions=9, bestBound=82
931.95/927.51
932.46/928.10 num=297, depth=49..441, filters=31527431, ccks=3627, wck=925.683, mem=132M313
932.46/928.10 decisions=1838776, wrong=891627, backtracks=781281, failedAssignments=425117, nogoods=6784, foundSolutions=9, bestBound=82
932.46/928.10
933.75/929.31 num=298, depth=43..414, filters=31565721, ccks=3627, wck=926.887, mem=132M313
933.75/929.31 decisions=1843144, wrong=893641, backtracks=783191, failedAssignments=426290, nogoods=6843, foundSolutions=9, bestBound=82
933.75/929.31
937.76/933.39 num=299, depth=44..334, filters=31720897, ccks=3627, wck=930.969, mem=132M313
937.76/933.39 decisions=1851324, wrong=897581, backtracks=786955, failedAssignments=427581, nogoods=6850, foundSolutions=9, bestBound=82
937.76/933.39
940.26/935.83 num=300, depth=43..281, filters=31803866, ccks=3627, wck=933.406, mem=132M313
940.26/935.83 decisions=1859096, wrong=901345, backtracks=790548, failedAssignments=429001, nogoods=6867, foundSolutions=9, bestBound=82
940.26/935.83
941.16/936.76 num=301, depth=21..54, filters=31837334, ccks=3627, wck=934.336, mem=132M313
941.16/936.76 decisions=1863983, wrong=903776, backtracks=792789, failedAssignments=430563, nogoods=6883, foundSolutions=9, bestBound=82
941.16/936.76
947.76/943.37 num=302, depth=25..307, filters=32073655, ccks=3627, wck=940.949, mem=132M313
947.76/943.37 decisions=1875646, wrong=909490, backtracks=798118, failedAssignments=432281, nogoods=6895, foundSolutions=9, bestBound=82
947.76/943.37
948.96/944.53 num=303, depth=40..75, filters=32116222, ccks=3627, wck=942.107, mem=132M313
948.96/944.53 decisions=1881650, wrong=912466, backtracks=800863, failedAssignments=434171, nogoods=6909, foundSolutions=9, bestBound=82
948.96/944.53
960.37/955.90 num=304, depth=38..331, filters=32557286, ccks=3627, wck=953.481, mem=134M956
960.37/955.90 decisions=1899484, wrong=921239, backtracks=808954, failedAssignments=436250, nogoods=6927, foundSolutions=9, bestBound=82
960.37/955.90
973.88/969.47 num=305, depth=57..357, filters=33058197, ccks=3627, wck=967.052, mem=134M956
973.88/969.47 decisions=1917846, wrong=930296, backtracks=817261, failedAssignments=438537, nogoods=6940, foundSolutions=9, bestBound=82
973.88/969.47
978.68/974.23 num=306, depth=88..389, filters=33223392, ccks=3627, wck=971.804, mem=134M956
978.68/974.23 decisions=1930399, wrong=936415, backtracks=822972, failedAssignments=441053, nogoods=6982, foundSolutions=9, bestBound=82
978.68/974.23
985.28/980.86 num=307, depth=50..336, filters=33461148, ccks=3627, wck=978.436, mem=134M956
985.28/980.86 decisions=1946280, wrong=944202, backtracks=830253, failedAssignments=443821, nogoods=6996, foundSolutions=9, bestBound=82
985.28/980.86
987.89/983.49 num=308, depth=54..345, filters=33552593, ccks=3627, wck=981.071, mem=134M956
987.89/983.49 decisions=1958495, wrong=950158, backtracks=835777, failedAssignments=446865, nogoods=7029, foundSolutions=9, bestBound=82
987.89/983.49
1000.29/995.85 num=309, depth=60..335, filters=34028023, ccks=3627, wck=993.426, mem=134M956
1000.29/995.85 decisions=1982534, wrong=962025, backtracks=846879, failedAssignments=450214, nogoods=7034, foundSolutions=9, bestBound=82
1000.29/995.85
1017.40/1012.92 num=310, depth=31..318, filters=34669614, ccks=3627, wck=1010.497, mem=134M956
1017.40/1012.92 decisions=2006233, wrong=973739, backtracks=856744, failedAssignments=453898, nogoods=7069, foundSolutions=9, bestBound=82
1017.40/1012.92
1048.12/1043.61 num=311, depth=104..436, filters=35815444, ccks=3627, wck=1041.186, mem=134M956
1048.12/1043.61 decisions=2039170, wrong=990029, backtracks=871587, failedAssignments=457950, nogoods=7084, foundSolutions=9, bestBound=82
1048.12/1043.61
1070.92/1066.43 num=312, depth=156..523, filters=36671589, ccks=3627, wck=1064.009, mem=137M598
1070.92/1066.43 decisions=2077010, wrong=1008721, backtracks=889046, failedAssignments=462407, nogoods=7100, foundSolutions=9, bestBound=82
1070.92/1066.43
1098.93/1094.40 num=313, depth=9..291, filters=37691842, ccks=3627, wck=1091.976, mem=137M598
1098.93/1094.40 decisions=2110638, wrong=1025421, backtracks=904220, failedAssignments=467310, nogoods=7121, foundSolutions=9, bestBound=82
1098.93/1094.40
1122.15/1117.63 num=314, depth=32..321, filters=38522528, ccks=3627, wck=1115.209, mem=137M598
1122.15/1117.63 decisions=2147624, wrong=1043770, backtracks=920333, failedAssignments=472704, nogoods=7130, foundSolutions=9, bestBound=82
1122.15/1117.63
1131.56/1127.04 num=315, depth=19..464, filters=38783699, ccks=3627, wck=1124.618, mem=137M598
1131.56/1127.04 decisions=2174214, wrong=1056980, backtracks=929558, failedAssignments=478637, nogoods=7153, foundSolutions=9, bestBound=82
1131.56/1127.04
1163.57/1159.07 num=316, depth=6..313, filters=40017947, ccks=3627, wck=1156.652, mem=140M241
1163.57/1159.07 decisions=2228798, wrong=1084148, backtracks=953691, failedAssignments=485163, nogoods=7188, foundSolutions=9, bestBound=82
1163.57/1159.07
1178.58/1174.06 num=317, depth=14..141, filters=40473622, ccks=3627, wck=1171.638, mem=140M241
1178.58/1174.06 decisions=2257627, wrong=1098550, backtracks=962477, failedAssignments=492342, nogoods=7213, foundSolutions=9, bestBound=82
1178.58/1174.06
1200.58/1196.08 num=318, depth=47..233, filters=41249637, ccks=3627, wck=1193.663, mem=140M241
1200.58/1196.08 decisions=2310426, wrong=1124858, backtracks=987570, failedAssignments=500239, nogoods=7239, foundSolutions=9, bestBound=82
1200.58/1196.08
1204.88/1200.36 num=319, depth=47..501, filters=41361400, ccks=3627, wck=1197.939, mem=140M241
1204.88/1200.36 decisions=2342829, wrong=1140887, backtracks=998775, failedAssignments=508926, nogoods=7244, foundSolutions=9, bestBound=82
1204.88/1200.36
1242.62/1238.07 num=320, depth=14..308, filters=42775655, ccks=3627, wck=1235.652, mem=142M778
1242.62/1238.07 decisions=2398881, wrong=1168806, backtracks=1022401, failedAssignments=518481, nogoods=7261, foundSolutions=9, bestBound=82
1242.62/1238.07
1270.92/1266.39 num=321, depth=53..276, filters=43785337, ccks=3627, wck=1263.969, mem=142M778
1270.92/1266.39 decisions=2464244, wrong=1201370, backtracks=1053498, failedAssignments=528992, nogoods=7274, foundSolutions=9, bestBound=82
1270.92/1266.39
1293.03/1288.45 num=322, depth=8..240, filters=44545031, ccks=3627, wck=1286.029, mem=142M778
1293.03/1288.45 decisions=2525989, wrong=1232138, backtracks=1080990, failedAssignments=540554, nogoods=7294, foundSolutions=9, bestBound=82
1293.03/1288.45
1385.83/1381.19 num=323, depth=14..303, filters=47545538, ccks=3627, wck=1378.769, mem=40M936
1385.83/1381.19 decisions=2639013, wrong=1288519, backtracks=1133237, failedAssignments=553272, nogoods=7307, foundSolutions=9, bestBound=82
1385.83/1381.19
1475.36/1470.61 num=324, depth=12..285, filters=50345198, ccks=3627, wck=1468.192, mem=43M552
1475.36/1470.61 decisions=2757527, wrong=1347661, backtracks=1188894, failedAssignments=567262, nogoods=7323, foundSolutions=9, bestBound=82
1475.36/1470.61
1545.91/1541.18 num=325, depth=28..519, filters=51867983, ccks=3627, wck=1538.758, mem=43M552
1545.91/1541.18 decisions=2823380, wrong=1380503, backtracks=1210327, failedAssignments=582651, nogoods=7336, foundSolutions=9, bestBound=82
1545.91/1541.18
1555.60/1550.81 num=326, depth=10..367, filters=52106827, ccks=3627, wck=1548.386, mem=43M552
1555.60/1550.81 decisions=2876522, wrong=1406948, backtracks=1231111, failedAssignments=599579, nogoods=7412, foundSolutions=9, bestBound=82
1555.60/1550.81
1597.62/1592.82 num=327, depth=14..260, filters=53273133, ccks=3627, wck=1590.395, mem=46M168
1597.62/1592.82 decisions=2960210, wrong=1448721, backtracks=1264967, failedAssignments=618200, nogoods=7437, foundSolutions=9, bestBound=82
1597.62/1592.82
1606.62/1601.80 num=328, depth=27..415, filters=53491773, ccks=3627, wck=1599.376, mem=46M168
1606.62/1601.80 decisions=3015899, wrong=1476391, backtracks=1289437, failedAssignments=638684, nogoods=7486, foundSolutions=9, bestBound=82
1606.62/1601.80
1676.96/1672.16 num=329, depth=6..671, filters=55956294, ccks=3627, wck=1669.739, mem=48M784
1676.96/1672.16 decisions=3133395, wrong=1534852, backtracks=1345092, failedAssignments=661216, nogoods=7557, foundSolutions=9, bestBound=82
1676.96/1672.16
1854.24/1849.38 num=330, depth=58..331, filters=61591039, ccks=3627, wck=1846.959, mem=51M400
1854.24/1849.38 decisions=3294566, wrong=1615362, backtracks=1416696, failedAssignments=686001, nogoods=7567, foundSolutions=9, bestBound=82
1854.24/1849.38
1876.34/1871.49 num=331, depth=66..483, filters=62192457, ccks=3627, wck=1869.066, mem=54M16
1876.34/1871.49 decisions=3366945, wrong=1651363, backtracks=1449880, failedAssignments=713265, nogoods=7618, foundSolutions=9, bestBound=82
1876.34/1871.49
1923.17/1918.27 num=332, depth=103..689, filters=63647204, ccks=3627, wck=1915.844, mem=54M16
1923.17/1918.27 decisions=3471152, wrong=1703196, backtracks=1496431, failedAssignments=743255, nogoods=7761, foundSolutions=9, bestBound=82
1923.17/1918.27
2146.77/2141.76 num=333, depth=140..448, filters=70922361, ccks=3627, wck=2139.338, mem=59M247
2146.77/2141.76 decisions=3715152, wrong=1825022, backtracks=1607190, failedAssignments=776244, nogoods=7782, foundSolutions=9, bestBound=82
2146.77/2141.76
2226.41/2221.35 num=334, depth=245..344, filters=73126681, ccks=3627, wck=2218.925, mem=61M863
2226.41/2221.35 decisions=3871373, wrong=1903000, backtracks=1678254, failedAssignments=812532, nogoods=7791, foundSolutions=9, bestBound=82
2226.41/2221.35
2255.12/2250.07 num=335, depth=71..184, filters=73841186, ccks=3627, wck=2247.652, mem=64M479
2255.12/2250.07 decisions=3974123, wrong=1954332, backtracks=1727396, failedAssignments=852449, nogoods=7808, foundSolutions=9, bestBound=82
2255.12/2250.07
2267.23/2262.15 num=336, depth=3..268, filters=74148979, ccks=3627, wck=2259.73, mem=64M479
2267.23/2262.15 decisions=4073269, wrong=2003826, backtracks=1775988, failedAssignments=896358, nogoods=7878, foundSolutions=9, bestBound=82
2267.23/2262.15
2363.47/2358.34 num=337, depth=164..461, filters=76833828, ccks=3627, wck=2355.923, mem=69M711
2363.47/2358.34 decisions=4243573, wrong=2088800, backtracks=1855486, failedAssignments=944658, nogoods=7894, foundSolutions=9, bestBound=82
2363.47/2358.34
2372.07/2367.00 num=338, depth=60..156, filters=76982259, ccks=3627, wck=2364.582, mem=72M327
2372.07/2367.00 decisions=4354753, wrong=2144357, backtracks=1910364, failedAssignments=997788, nogoods=7976, foundSolutions=9, bestBound=82
2372.07/2367.00
2520.04/2514.80
2520.04/2514.80 v <instantiation id='sol9' type='solution' cost='82'> <list> z x[][] </list> <values> 82 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 </values> </instantiation>
2520.04/2514.80 s SATISFIABLE