2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.89
2.91/2.01 Instance
2.91/2.01 name=instance-4390811-1568384867, framework=COP, bounds=-infty..+infty
2.91/2.01
2.91/2.01 Loading variables...
2.91/2.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6ef281
2.91/2.04 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21096f0e
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a045ec3
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e59c32b
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3b2c0c
2.91/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf180cc
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0172bb
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12a2321c
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c83890
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@587c96f3
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8d14b0
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716dad56
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d21694b
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb6d368
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17eaef8e
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53143275
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f377049
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c27fa9
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aca3091
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@307966e8
2.91/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524821b9
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@730fa700
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2776d120
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@775d108a
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@517b9cbd
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13fc1549
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7345ef21
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ea809d
2.91/2.10
2.91/2.10
2.91/2.10 Domains
2.91/2.10 nTypes=1, nValues=178, sizes=[2#89]
2.91/2.10 Variables
2.91/2.10 count=89, degrees=[2#8,3#13,4#23,5#27,6#16,8#2]
2.91/2.10 Objectives
2.91/2.10 way=min, type=SumWeightedLE
2.91/2.10 Constraints
2.91/2.10 count=29, nSpecific=29, arities=[2#2,3#5,4#5,5#5...30#1,33#1,47#2,85#1]
2.91/2.10 distribution=[SumSimpleLE#17,SumWeightedGE#11,SumWeightedLE#1]
2.91/2.10 wck=0.25, cpu=2.061, mem=21M227
2.91/2.10 Solver SolverBacktrack being built...
2.91/2.10
3.18/2.12
3.18/2.12 Solver
3.18/2.12 guaranteedGAC=true
3.18/2.12 wck=0.277, cpu=2.087, mem=31M869
3.18/2.12
3.18/2.12 Preprocessing
3.18/2.12 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.18/2.12 wck=0.001, cpu=2.09, mem=31M869
3.18/2.12
3.18/2.14 num=0, depth=55..64, filters=113, wck=0.017, mem=31M869
3.18/2.14 decisions=100, wrong=21, backtracks=14, failedAssignments=10, nogoods=4
3.18/2.14
3.18/2.15 num=1, depth=51..59, filters=232, wck=0.023, mem=31M869
3.18/2.15 decisions=205, wrong=48, backtracks=39, failedAssignments=21, nogoods=5
3.18/2.15
3.18/2.15 num=2, depth=43..53, filters=317, wck=0.026, mem=31M869
3.18/2.15 decisions=302, wrong=72, backtracks=57, failedAssignments=33, nogoods=8
3.18/2.15
3.18/2.15 o 3275
3.18/2.15 num=3, depth=90..88, filters=330, ccks=29, wck=0.033, mem=31M869
3.18/2.15 decisions=367, wrong=72, backtracks=57, failedAssignments=33, nogoods=8, foundSolutions=1, bestBound=3275
3.18/2.15
3.18/2.16 o 3041
3.18/2.16 num=4, depth=90..88, filters=342, ccks=58, wck=0.037, mem=31M869
3.18/2.16 decisions=432, wrong=72, backtracks=57, failedAssignments=33, nogoods=8, foundSolutions=2, bestBound=3041
3.18/2.16
3.18/2.16 num=5, depth=47..58, filters=405, ccks=58, wck=0.039, mem=31M869
3.18/2.16 decisions=518, wrong=88, backtracks=70, failedAssignments=44, nogoods=10, foundSolutions=2, bestBound=3041
3.18/2.16
3.18/2.17 o 2680
3.18/2.17 num=6, depth=42..88, filters=423, ccks=87, wck=0.042, mem=31M869
3.18/2.17 decisions=581, wrong=89, backtracks=70, failedAssignments=45, nogoods=11, foundSolutions=3, bestBound=2680
3.18/2.17
3.18/2.17 o 2578
3.18/2.17 num=7, depth=90..88, filters=439, ccks=116, wck=0.044, mem=31M869
3.18/2.17 decisions=638, wrong=89, backtracks=70, failedAssignments=45, nogoods=11, foundSolutions=4, bestBound=2578
3.18/2.17
3.18/2.17 o 2455
3.18/2.17 num=8, depth=38..88, filters=495, ccks=145, wck=0.047, mem=31M869
3.18/2.17 decisions=724, wrong=101, backtracks=77, failedAssignments=52, nogoods=14, foundSolutions=5, bestBound=2455
3.18/2.17
3.18/2.17 o 2396
3.18/2.17 num=9, depth=49..88, filters=560, ccks=174, wck=0.05, mem=31M869
3.18/2.17 decisions=812, wrong=114, backtracks=87, failedAssignments=57, nogoods=17, foundSolutions=6, bestBound=2396
3.18/2.17
3.18/2.17 num=10, depth=43..61, filters=694, ccks=174, wck=0.052, mem=31M869
3.18/2.17 decisions=912, wrong=142, backtracks=105, failedAssignments=68, nogoods=19, foundSolutions=6, bestBound=2396
3.18/2.17
3.18/2.17 o 2391
3.18/2.17 num=11, depth=90..88, filters=709, ccks=203, wck=0.054, mem=31M869
3.18/2.17 decisions=974, wrong=142, backtracks=105, failedAssignments=68, nogoods=19, foundSolutions=7, bestBound=2391
3.18/2.17
3.18/2.18 o 2236
3.18/2.18 num=12, depth=90..88, filters=724, ccks=232, wck=0.055, mem=31M869
3.18/2.18 decisions=1036, wrong=142, backtracks=105, failedAssignments=68, nogoods=19, foundSolutions=8, bestBound=2236
3.18/2.18
3.18/2.18 o 2121
3.18/2.18 num=13, depth=52..88, filters=799, ccks=261, wck=0.057, mem=31M869
3.18/2.18 decisions=1122, wrong=157, backtracks=119, failedAssignments=74, nogoods=21, foundSolutions=9, bestBound=2121
3.18/2.18
3.18/2.18 o 2099
3.18/2.19 num=14, depth=62..88, filters=816, ccks=290, wck=0.07, mem=31M869
3.18/2.19 decisions=1188, wrong=158, backtracks=119, failedAssignments=75, nogoods=22, foundSolutions=10, bestBound=2099
3.18/2.19
3.18/2.19 o 2075
3.18/2.19 num=15, depth=62..88, filters=877, ccks=319, wck=0.072, mem=31M869
3.18/2.19 decisions=1275, wrong=169, backtracks=128, failedAssignments=82, nogoods=23, foundSolutions=11, bestBound=2075
3.18/2.19
3.18/2.20 num=16, depth=62..67, filters=935, ccks=319, wck=0.073, mem=31M869
3.18/2.20 decisions=1369, wrong=185, backtracks=142, failedAssignments=93, nogoods=24, foundSolutions=11, bestBound=2075
3.18/2.20
3.45/2.20 o 1981
3.45/2.20 num=17, depth=62..88, filters=1000, ccks=348, wck=0.075, mem=31M869
3.45/2.20 decisions=1464, wrong=201, backtracks=154, failedAssignments=100, nogoods=27, foundSolutions=12, bestBound=1981
3.45/2.20
3.45/2.20 o 1966
3.45/2.20 num=18, depth=53..88, filters=1094, ccks=377, wck=0.077, mem=31M869
3.45/2.20 decisions=1551, wrong=216, backtracks=167, failedAssignments=108, nogoods=30, foundSolutions=13, bestBound=1966
3.45/2.20
3.45/2.20 num=19, depth=53..63, filters=1180, ccks=377, wck=0.078, mem=31M869
3.45/2.20 decisions=1647, wrong=236, backtracks=182, failedAssignments=119, nogoods=34, foundSolutions=13, bestBound=1966
3.45/2.20
3.45/2.20 num=20, depth=55..62, filters=1241, ccks=377, wck=0.08, mem=31M869
3.45/2.20 decisions=1728, wrong=249, backtracks=194, failedAssignments=130, nogoods=35, foundSolutions=13, bestBound=1966
3.45/2.20
3.45/2.20 num=21, depth=53..60, filters=1338, ccks=377, wck=0.081, mem=31M869
3.45/2.20 decisions=1821, wrong=269, backtracks=211, failedAssignments=142, nogoods=37, foundSolutions=13, bestBound=1966
3.45/2.20
3.45/2.21 num=22, depth=57..64, filters=1451, ccks=377, wck=0.083, mem=31M869
3.45/2.21 decisions=1921, wrong=290, backtracks=227, failedAssignments=155, nogoods=41, foundSolutions=13, bestBound=1966
3.45/2.21
3.45/2.21 o 1896
3.45/2.21 num=23, depth=58..88, filters=1480, ccks=406, wck=0.084, mem=31M869
3.45/2.21 decisions=1986, wrong=293, backtracks=227, failedAssignments=158, nogoods=44, foundSolutions=14, bestBound=1896
3.45/2.21
3.45/2.21 num=24, depth=52..61, filters=1593, ccks=406, wck=0.086, mem=31M869
3.45/2.21 decisions=2100, wrong=324, backtracks=250, failedAssignments=174, nogoods=45, foundSolutions=14, bestBound=1896
3.45/2.21
3.45/2.21 num=25, depth=55..66, filters=1747, ccks=406, wck=0.087, mem=31M869
3.45/2.21 decisions=2216, wrong=354, backtracks=275, failedAssignments=185, nogoods=48, foundSolutions=14, bestBound=1896
3.45/2.21
3.45/2.21 o 1868
3.45/2.21 num=26, depth=59..88, filters=1781, ccks=435, wck=0.088, mem=31M869
3.45/2.21 decisions=2297, wrong=362, backtracks=278, failedAssignments=190, nogoods=53, foundSolutions=15, bestBound=1868
3.45/2.21
3.45/2.21 num=27, depth=65..70, filters=1843, ccks=435, wck=0.09, mem=31M869
3.45/2.21 decisions=2399, wrong=380, backtracks=292, failedAssignments=203, nogoods=56, foundSolutions=15, bestBound=1868
3.45/2.21
3.45/2.21 num=28, depth=59..66, filters=1969, ccks=435, wck=0.091, mem=31M869
3.45/2.21 decisions=2511, wrong=405, backtracks=312, failedAssignments=214, nogoods=60, foundSolutions=15, bestBound=1868
3.45/2.21
3.45/2.21 num=29, depth=53..66, filters=2093, ccks=435, wck=0.093, mem=31M869
3.45/2.21 decisions=2626, wrong=436, backtracks=340, failedAssignments=226, nogoods=61, foundSolutions=15, bestBound=1868
3.45/2.21
3.45/2.22 num=30, depth=63..69, filters=2215, ccks=435, wck=0.094, mem=31M869
3.45/2.22 decisions=2743, wrong=463, backtracks=365, failedAssignments=239, nogoods=65, foundSolutions=15, bestBound=1868
3.45/2.22
3.45/2.22 num=31, depth=61..70, filters=2399, ccks=435, wck=0.095, mem=31M869
3.45/2.22 decisions=2874, wrong=497, backtracks=394, failedAssignments=253, nogoods=68, foundSolutions=15, bestBound=1868
3.45/2.22
3.45/2.22 num=32, depth=51..61, filters=2500, ccks=435, wck=0.097, mem=31M869
3.45/2.22 decisions=2985, wrong=525, backtracks=415, failedAssignments=269, nogoods=74, foundSolutions=15, bestBound=1868
3.45/2.22
3.45/2.22 num=33, depth=54..60, filters=2599, ccks=435, wck=0.098, mem=31M869
3.45/2.22 decisions=3092, wrong=551, backtracks=437, failedAssignments=286, nogoods=77, foundSolutions=15, bestBound=1868
3.45/2.22
3.45/2.22 o 1843
3.45/2.22 num=34, depth=90..88, filters=2614, ccks=464, wck=0.099, mem=31M869
3.45/2.22 decisions=3158, wrong=551, backtracks=437, failedAssignments=286, nogoods=77, foundSolutions=16, bestBound=1843
3.45/2.22
3.45/2.22 o 1829
3.45/2.22 num=35, depth=63..88, filters=2739, ccks=493, wck=0.101, mem=31M869
3.45/2.22 decisions=3276, wrong=577, backtracks=461, failedAssignments=304, nogoods=81, foundSolutions=17, bestBound=1829
3.45/2.22
3.45/2.22 num=36, depth=56..63, filters=2827, ccks=493, wck=0.102, mem=31M869
3.45/2.22 decisions=3376, wrong=598, backtracks=480, failedAssignments=315, nogoods=83, foundSolutions=17, bestBound=1829
3.45/2.22
3.45/2.23 num=37, depth=46..58, filters=2896, ccks=493, wck=0.104, mem=31M869
3.45/2.23 decisions=3466, wrong=615, backtracks=493, failedAssignments=326, nogoods=86, foundSolutions=17, bestBound=1829
3.45/2.23
3.45/2.23 num=38, depth=50..59, filters=2995, ccks=493, wck=0.105, mem=31M869
3.45/2.23 decisions=3566, wrong=640, backtracks=516, failedAssignments=338, nogoods=87, foundSolutions=17, bestBound=1829
3.45/2.23
3.45/2.23 num=39, depth=49..56, filters=3092, ccks=493, wck=0.106, mem=34M512
3.45/2.23 decisions=3653, wrong=659, backtracks=533, failedAssignments=351, nogoods=89, foundSolutions=17, bestBound=1829
3.45/2.23
3.45/2.23 num=40, depth=44..52, filters=3236, ccks=493, wck=0.107, mem=34M512
3.45/2.23 decisions=3748, wrong=683, backtracks=551, failedAssignments=365, nogoods=92, foundSolutions=17, bestBound=1829
3.45/2.23
3.45/2.23 num=41, depth=45..52, filters=3338, ccks=493, wck=0.108, mem=34M512
3.45/2.23 decisions=3844, wrong=708, backtracks=571, failedAssignments=381, nogoods=95, foundSolutions=17, bestBound=1829
3.45/2.23
3.45/2.23 num=42, depth=49..57, filters=3539, ccks=493, wck=0.11, mem=34M512
3.45/2.23 decisions=3963, wrong=742, backtracks=598, failedAssignments=398, nogoods=99, foundSolutions=17, bestBound=1829
3.45/2.23
3.45/2.23 num=43, depth=56..68, filters=3735, ccks=493, wck=0.111, mem=34M512
3.45/2.23 decisions=4110, wrong=787, backtracks=641, failedAssignments=417, nogoods=102, foundSolutions=17, bestBound=1829
3.45/2.23
3.45/2.23 num=44, depth=58..68, filters=3843, ccks=493, wck=0.112, mem=34M512
3.45/2.23 decisions=4228, wrong=816, backtracks=664, failedAssignments=438, nogoods=106, foundSolutions=17, bestBound=1829
3.45/2.23
3.45/2.24 num=45, depth=56..64, filters=4050, ccks=493, wck=0.114, mem=34M512
3.45/2.24 decisions=4377, wrong=860, backtracks=704, failedAssignments=461, nogoods=110, foundSolutions=17, bestBound=1829
3.45/2.24
3.45/2.24 num=46, depth=60..69, filters=4220, ccks=493, wck=0.115, mem=34M512
3.45/2.24 decisions=4513, wrong=898, backtracks=741, failedAssignments=486, nogoods=113, foundSolutions=17, bestBound=1829
3.45/2.24
3.45/2.24 num=47, depth=48..59, filters=4480, ccks=493, wck=0.117, mem=34M512
3.45/2.24 decisions=4688, wrong=959, backtracks=793, failedAssignments=514, nogoods=116, foundSolutions=17, bestBound=1829
3.45/2.24
3.45/2.24 num=48, depth=53..63, filters=4767, ccks=493, wck=0.118, mem=34M512
3.45/2.24 decisions=4860, wrong=1018, backtracks=847, failedAssignments=545, nogoods=119, foundSolutions=17, bestBound=1829
3.45/2.24
3.45/2.24 num=49, depth=59..69, filters=5038, ccks=493, wck=0.12, mem=34M512
3.45/2.24 decisions=5030, wrong=1073, backtracks=896, failedAssignments=579, nogoods=123, foundSolutions=17, bestBound=1829
3.45/2.24
3.45/2.24 o 1771
3.45/2.24 num=50, depth=58..88, filters=5263, ccks=522, wck=0.122, mem=34M512
3.45/2.24 decisions=5164, wrong=1109, backtracks=928, failedAssignments=595, nogoods=126, foundSolutions=18, bestBound=1771
3.45/2.24
3.45/2.25 num=51, depth=51..62, filters=5600, ccks=522, wck=0.124, mem=34M512
3.45/2.25 decisions=5393, wrong=1197, backtracks=1009, failedAssignments=636, nogoods=129, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.25 num=52, depth=53..62, filters=5676, ccks=522, wck=0.125, mem=34M512
3.45/2.25 decisions=5487, wrong=1216, backtracks=1020, failedAssignments=647, nogoods=131, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.25 num=53, depth=59..67, filters=5808, ccks=522, wck=0.126, mem=34M512
3.45/2.25 decisions=5603, wrong=1243, backtracks=1042, failedAssignments=659, nogoods=136, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.25 num=54, depth=63..69, filters=5929, ccks=522, wck=0.127, mem=34M512
3.45/2.25 decisions=5722, wrong=1271, backtracks=1068, failedAssignments=672, nogoods=138, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.25 num=55, depth=58..64, filters=6012, ccks=522, wck=0.128, mem=34M512
3.45/2.25 decisions=5826, wrong=1294, backtracks=1087, failedAssignments=686, nogoods=140, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.25 num=56, depth=50..59, filters=6130, ccks=522, wck=0.129, mem=34M512
3.45/2.25 decisions=5932, wrong=1322, backtracks=1110, failedAssignments=702, nogoods=143, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.25 num=57, depth=58..66, filters=6249, ccks=522, wck=0.131, mem=34M512
3.45/2.25 decisions=6042, wrong=1348, backtracks=1134, failedAssignments=719, nogoods=144, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.25 num=58, depth=62..69, filters=6386, ccks=522, wck=0.132, mem=34M512
3.45/2.25 decisions=6167, wrong=1379, backtracks=1160, failedAssignments=738, nogoods=147, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.25 num=59, depth=57..67, filters=6580, ccks=522, wck=0.133, mem=34M512
3.45/2.25 decisions=6302, wrong=1417, backtracks=1191, failedAssignments=759, nogoods=151, foundSolutions=18, bestBound=1771
3.45/2.25
3.45/2.26 num=60, depth=58..68, filters=6785, ccks=522, wck=0.135, mem=34M512
3.45/2.26 decisions=6457, wrong=1465, backtracks=1231, failedAssignments=782, nogoods=155, foundSolutions=18, bestBound=1771
3.45/2.26
3.45/2.26 num=61, depth=56..66, filters=7033, ccks=522, wck=0.136, mem=34M512
3.45/2.26 decisions=6629, wrong=1521, backtracks=1280, failedAssignments=807, nogoods=160, foundSolutions=18, bestBound=1771
3.45/2.26
3.45/2.26 num=62, depth=57..67, filters=7239, ccks=522, wck=0.138, mem=34M512
3.45/2.26 decisions=6811, wrong=1582, backtracks=1335, failedAssignments=835, nogoods=163, foundSolutions=18, bestBound=1771
3.45/2.26
3.45/2.26 num=63, depth=55..64, filters=7520, ccks=522, wck=0.14, mem=34M512
3.45/2.26 decisions=6966, wrong=1632, backtracks=1382, failedAssignments=866, nogoods=165, foundSolutions=18, bestBound=1771
3.45/2.26
3.45/2.26 num=64, depth=59..70, filters=7832, ccks=522, wck=0.142, mem=34M512
3.45/2.26 decisions=7174, wrong=1705, backtracks=1446, failedAssignments=900, nogoods=170, foundSolutions=18, bestBound=1771
3.45/2.26
3.45/2.27 num=65, depth=51..63, filters=8326, ccks=522, wck=0.144, mem=34M512
3.45/2.27 decisions=7420, wrong=1801, backtracks=1533, failedAssignments=937, nogoods=173, foundSolutions=18, bestBound=1771
3.45/2.27
3.45/2.27 num=66, depth=53..64, filters=8714, ccks=522, wck=0.146, mem=34M512
3.45/2.27 decisions=7643, wrong=1884, backtracks=1605, failedAssignments=978, nogoods=175, foundSolutions=18, bestBound=1771
3.45/2.27
3.45/2.27 num=67, depth=49..66, filters=9271, ccks=522, wck=0.149, mem=34M512
3.45/2.27 decisions=7906, wrong=1988, backtracks=1701, failedAssignments=1023, nogoods=180, foundSolutions=18, bestBound=1771
3.45/2.27
3.45/2.27 num=68, depth=60..72, filters=9795, ccks=522, wck=0.152, mem=34M512
3.45/2.27 decisions=8236, wrong=2122, backtracks=1824, failedAssignments=1073, nogoods=184, foundSolutions=18, bestBound=1771
3.45/2.27
3.45/2.28 num=69, depth=52..68, filters=10234, ccks=522, wck=0.154, mem=34M512
3.45/2.28 decisions=8507, wrong=2229, backtracks=1918, failedAssignments=1128, nogoods=187, foundSolutions=18, bestBound=1771
3.45/2.28
3.45/2.28 o 1711
3.45/2.28 num=70, depth=58..88, filters=10366, ccks=551, wck=0.156, mem=34M512
3.45/2.28 decisions=8618, wrong=2254, backtracks=1934, failedAssignments=1140, nogoods=192, foundSolutions=19, bestBound=1711
3.45/2.28
3.45/2.28 num=71, depth=56..73, filters=11006, ccks=551, wck=0.159, mem=34M512
3.45/2.28 decisions=8915, wrong=2374, backtracks=2047, failedAssignments=1207, nogoods=194, foundSolutions=19, bestBound=1711
3.45/2.28
3.45/2.28 num=72, depth=57..66, filters=11179, ccks=551, wck=0.16, mem=34M512
3.45/2.28 decisions=9029, wrong=2400, backtracks=2068, failedAssignments=1218, nogoods=197, foundSolutions=19, bestBound=1711
3.45/2.28
3.45/2.28 num=73, depth=59..67, filters=11301, ccks=551, wck=0.161, mem=34M512
3.45/2.28 decisions=9133, wrong=2422, backtracks=2087, failedAssignments=1230, nogoods=199, foundSolutions=19, bestBound=1711
3.45/2.28
3.45/2.28 num=74, depth=55..62, filters=11444, ccks=551, wck=0.162, mem=34M512
3.45/2.28 decisions=9238, wrong=2447, backtracks=2111, failedAssignments=1243, nogoods=201, foundSolutions=19, bestBound=1711
3.45/2.28
3.45/2.29 num=75, depth=52..68, filters=11632, ccks=551, wck=0.163, mem=34M512
3.45/2.29 decisions=9374, wrong=2485, backtracks=2142, failedAssignments=1257, nogoods=205, foundSolutions=19, bestBound=1711
3.45/2.29
3.45/2.29 num=76, depth=56..65, filters=11806, ccks=551, wck=0.165, mem=34M512
3.45/2.29 decisions=9524, wrong=2530, backtracks=2179, failedAssignments=1273, nogoods=208, foundSolutions=19, bestBound=1711
3.45/2.29
3.45/2.29 o 1708
3.45/2.29 num=77, depth=60..88, filters=11988, ccks=580, wck=0.166, mem=34M512
3.45/2.29 decisions=9656, wrong=2563, backtracks=2203, failedAssignments=1288, nogoods=212, foundSolutions=20, bestBound=1708
3.45/2.29
3.45/2.29 num=78, depth=47..61, filters=12254, ccks=580, wck=0.168, mem=34M512
3.45/2.29 decisions=9824, wrong=2618, backtracks=2253, failedAssignments=1307, nogoods=216, foundSolutions=20, bestBound=1708
3.45/2.29
3.45/2.29 num=79, depth=55..63, filters=12332, ccks=580, wck=0.169, mem=34M512
3.45/2.29 decisions=9918, wrong=2636, backtracks=2265, failedAssignments=1318, nogoods=219, foundSolutions=20, bestBound=1708
3.45/2.29
3.45/2.29 num=80, depth=54..64, filters=12515, ccks=580, wck=0.171, mem=34M512
3.45/2.29 decisions=10044, wrong=2671, backtracks=2294, failedAssignments=1330, nogoods=223, foundSolutions=20, bestBound=1708
3.45/2.29
3.45/2.29 num=81, depth=62..68, filters=12587, ccks=580, wck=0.172, mem=34M512
3.45/2.29 decisions=10145, wrong=2690, backtracks=2308, failedAssignments=1343, nogoods=227, foundSolutions=20, bestBound=1708
3.45/2.29
3.45/2.30 num=82, depth=53..65, filters=12734, ccks=580, wck=0.174, mem=34M512
3.45/2.30 decisions=10264, wrong=2723, backtracks=2335, failedAssignments=1357, nogoods=229, foundSolutions=20, bestBound=1708
3.45/2.30
3.45/2.30 num=83, depth=57..65, filters=12864, ccks=580, wck=0.175, mem=34M512
3.45/2.30 decisions=10373, wrong=2749, backtracks=2356, failedAssignments=1373, nogoods=232, foundSolutions=20, bestBound=1708
3.45/2.30
3.45/2.30 num=84, depth=55..65, filters=12983, ccks=580, wck=0.176, mem=34M512
3.45/2.30 decisions=10485, wrong=2777, backtracks=2378, failedAssignments=1390, nogoods=237, foundSolutions=20, bestBound=1708
3.45/2.30
3.45/2.30 num=85, depth=60..68, filters=13127, ccks=580, wck=0.177, mem=34M512
3.45/2.30 decisions=10615, wrong=2812, backtracks=2411, failedAssignments=1409, nogoods=238, foundSolutions=20, bestBound=1708
3.45/2.30
3.45/2.30 num=86, depth=56..69, filters=13380, ccks=580, wck=0.178, mem=34M512
3.45/2.30 decisions=10761, wrong=2855, backtracks=2447, failedAssignments=1430, nogoods=242, foundSolutions=20, bestBound=1708
3.45/2.30
3.45/2.30 num=87, depth=62..69, filters=13574, ccks=580, wck=0.18, mem=34M512
3.45/2.30 decisions=10916, wrong=2901, backtracks=2487, failedAssignments=1453, nogoods=244, foundSolutions=20, bestBound=1708
3.45/2.30
3.45/2.30 num=88, depth=54..66, filters=13855, ccks=580, wck=0.181, mem=34M512
3.45/2.30 decisions=11069, wrong=2949, backtracks=2532, failedAssignments=1478, nogoods=246, foundSolutions=20, bestBound=1708
3.45/2.30
3.45/2.30 num=89, depth=56..67, filters=14227, ccks=580, wck=0.183, mem=34M512
3.45/2.30 decisions=11271, wrong=3022, backtracks=2602, failedAssignments=1506, nogoods=248, foundSolutions=20, bestBound=1708
3.45/2.30
3.82/2.31 num=90, depth=44..64, filters=14699, ccks=580, wck=0.186, mem=34M512
3.82/2.31 decisions=11568, wrong=3144, backtracks=2716, failedAssignments=1537, nogoods=253, foundSolutions=20, bestBound=1708
3.82/2.31
3.82/2.31 o 1530
3.82/2.31 num=91, depth=67..88, filters=14717, ccks=609, wck=0.188, mem=34M512
3.82/2.31 decisions=11637, wrong=3145, backtracks=2716, failedAssignments=1538, nogoods=254, foundSolutions=21, bestBound=1530
3.82/2.31
3.82/2.31 num=92, depth=58..71, filters=15063, ccks=609, wck=0.19, mem=34M512
3.82/2.31 decisions=11861, wrong=3227, backtracks=2792, failedAssignments=1575, nogoods=258, foundSolutions=21, bestBound=1530
3.82/2.31
3.82/2.31 num=93, depth=44..51, filters=15119, ccks=609, wck=0.191, mem=34M512
3.82/2.31 decisions=11937, wrong=3243, backtracks=2803, failedAssignments=1586, nogoods=262, foundSolutions=21, bestBound=1530
3.82/2.31
3.82/2.31 num=94, depth=42..49, filters=15179, ccks=609, wck=0.191, mem=34M512
3.82/2.31 decisions=12017, wrong=3261, backtracks=2817, failedAssignments=1598, nogoods=265, foundSolutions=21, bestBound=1530
3.82/2.31
3.82/2.31 num=95, depth=42..48, filters=15244, ccks=609, wck=0.192, mem=34M512
3.82/2.31 decisions=12097, wrong=3280, backtracks=2832, failedAssignments=1611, nogoods=267, foundSolutions=21, bestBound=1530
3.82/2.31
3.82/2.31 num=96, depth=44..52, filters=15313, ccks=609, wck=0.193, mem=34M512
3.82/2.31 decisions=12185, wrong=3302, backtracks=2853, failedAssignments=1625, nogoods=268, foundSolutions=21, bestBound=1530
3.82/2.31
3.82/2.32 num=97, depth=42..48, filters=15408, ccks=609, wck=0.194, mem=34M512
3.82/2.32 decisions=12278, wrong=3327, backtracks=2873, failedAssignments=1641, nogoods=271, foundSolutions=21, bestBound=1530
3.82/2.32
3.82/2.32 num=98, depth=42..53, filters=15587, ccks=609, wck=0.196, mem=34M512
3.82/2.32 decisions=12399, wrong=3365, backtracks=2901, failedAssignments=1658, nogoods=276, foundSolutions=21, bestBound=1530
3.82/2.32
3.82/2.32 num=99, depth=52..60, filters=15753, ccks=609, wck=0.197, mem=34M512
3.82/2.32 decisions=12533, wrong=3404, backtracks=2929, failedAssignments=1677, nogoods=279, foundSolutions=21, bestBound=1530
3.82/2.32
3.82/2.32 num=100, depth=50..63, filters=15998, ccks=609, wck=0.199, mem=34M512
3.82/2.32 decisions=12698, wrong=3460, backtracks=2977, failedAssignments=1698, nogoods=283, foundSolutions=21, bestBound=1530
3.82/2.32
3.82/2.32 num=101, depth=52..62, filters=16146, ccks=609, wck=0.2, mem=34M512
3.82/2.32 decisions=12850, wrong=3508, backtracks=3016, failedAssignments=1721, nogoods=286, foundSolutions=21, bestBound=1530
3.82/2.32
3.82/2.32 num=102, depth=58..66, filters=16362, ccks=609, wck=0.201, mem=34M512
3.82/2.32 decisions=13010, wrong=3559, backtracks=3061, failedAssignments=1746, nogoods=287, foundSolutions=21, bestBound=1530
3.82/2.32
3.82/2.32 num=103, depth=58..69, filters=16605, ccks=609, wck=0.203, mem=34M512
3.82/2.32 decisions=13187, wrong=3617, backtracks=3113, failedAssignments=1774, nogoods=290, foundSolutions=21, bestBound=1530
3.82/2.32
3.82/2.33 num=104, depth=57..68, filters=16893, ccks=609, wck=0.205, mem=34M512
3.82/2.33 decisions=13409, wrong=3698, backtracks=3188, failedAssignments=1805, nogoods=294, foundSolutions=21, bestBound=1530
3.82/2.33
3.82/2.33 num=105, depth=44..67, filters=17382, ccks=609, wck=0.208, mem=34M512
3.82/2.33 decisions=13707, wrong=3819, backtracks=3305, failedAssignments=1839, nogoods=297, foundSolutions=21, bestBound=1530
3.82/2.33
3.82/2.33 num=106, depth=50..61, filters=17821, ccks=609, wck=0.21, mem=34M512
3.82/2.33 decisions=13897, wrong=3888, backtracks=3370, failedAssignments=1876, nogoods=302, foundSolutions=21, bestBound=1530
3.82/2.33
3.82/2.33 num=107, depth=64..74, filters=18200, ccks=609, wck=0.212, mem=34M512
3.82/2.33 decisions=14127, wrong=3970, backtracks=3444, failedAssignments=1917, nogoods=306, foundSolutions=21, bestBound=1530
3.82/2.33
3.82/2.34 num=108, depth=53..64, filters=18721, ccks=609, wck=0.214, mem=34M512
3.82/2.34 decisions=14375, wrong=4067, backtracks=3535, failedAssignments=1962, nogoods=308, foundSolutions=21, bestBound=1530
3.82/2.34
3.82/2.34 num=109, depth=50..63, filters=19123, ccks=609, wck=0.217, mem=34M512
3.82/2.34 decisions=14655, wrong=4182, backtracks=3634, failedAssignments=2012, nogoods=310, foundSolutions=21, bestBound=1530
3.82/2.34
3.82/2.35 num=110, depth=59..72, filters=19698, ccks=609, wck=0.219, mem=34M512
3.82/2.35 decisions=14960, wrong=4305, backtracks=3738, failedAssignments=2067, nogoods=311, foundSolutions=21, bestBound=1530
3.82/2.35
3.82/2.35 num=111, depth=53..65, filters=20444, ccks=609, wck=0.222, mem=34M512
3.82/2.35 decisions=15297, wrong=4445, backtracks=3873, failedAssignments=2128, nogoods=314, foundSolutions=21, bestBound=1530
3.82/2.35
3.82/2.35 num=112, depth=54..67, filters=21275, ccks=609, wck=0.226, mem=34M512
3.82/2.35 decisions=15698, wrong=4616, backtracks=4033, failedAssignments=2195, nogoods=318, foundSolutions=21, bestBound=1530
3.82/2.35
3.82/2.35 num=113, depth=49..64, filters=22153, ccks=609, wck=0.23, mem=34M512
3.82/2.35 decisions=16092, wrong=4787, backtracks=4198, failedAssignments=2269, nogoods=321, foundSolutions=21, bestBound=1530
3.82/2.35
3.82/2.36 num=114, depth=51..67, filters=23070, ccks=609, wck=0.234, mem=34M512
3.82/2.36 decisions=16660, wrong=5042, backtracks=4450, failedAssignments=2350, nogoods=323, foundSolutions=21, bestBound=1530
3.82/2.36
3.82/2.36 num=115, depth=50..65, filters=24157, ccks=609, wck=0.238, mem=34M512
3.82/2.36 decisions=17215, wrong=5290, backtracks=4683, failedAssignments=2439, nogoods=327, foundSolutions=21, bestBound=1530
3.82/2.36
3.82/2.36 num=116, depth=55..72, filters=25170, ccks=609, wck=0.242, mem=34M512
3.82/2.36 decisions=17662, wrong=5486, backtracks=4863, failedAssignments=2537, nogoods=329, foundSolutions=21, bestBound=1530
3.82/2.36
3.82/2.37 num=117, depth=42..59, filters=26553, ccks=609, wck=0.248, mem=34M512
3.82/2.37 decisions=18385, wrong=5826, backtracks=5194, failedAssignments=2645, nogoods=331, foundSolutions=21, bestBound=1530
3.82/2.37
3.82/2.38 num=118, depth=56..68, filters=27892, ccks=609, wck=0.252, mem=37M154
3.82/2.38 decisions=19017, wrong=6112, backtracks=5465, failedAssignments=2764, nogoods=334, foundSolutions=21, bestBound=1530
3.82/2.38
3.82/2.38 num=119, depth=50..68, filters=29486, ccks=609, wck=0.257, mem=37M154
3.82/2.38 decisions=19603, wrong=6379, backtracks=5706, failedAssignments=2895, nogoods=341, foundSolutions=21, bestBound=1530
3.82/2.38
3.82/2.39 num=120, depth=41..61, filters=31059, ccks=609, wck=0.264, mem=37M154
3.82/2.39 decisions=20466, wrong=6786, backtracks=6079, failedAssignments=3039, nogoods=345, foundSolutions=21, bestBound=1530
3.82/2.39
3.82/2.39 num=121, depth=53..69, filters=32794, ccks=609, wck=0.27, mem=37M154
3.82/2.39 decisions=21303, wrong=7177, backtracks=6452, failedAssignments=3197, nogoods=351, foundSolutions=21, bestBound=1530
3.82/2.39
4.11/2.40 num=122, depth=52..68, filters=34524, ccks=609, wck=0.276, mem=37M154
4.11/2.40 decisions=22034, wrong=7514, backtracks=6764, failedAssignments=3371, nogoods=356, foundSolutions=21, bestBound=1530
4.11/2.40
4.11/2.41 num=123, depth=43..66, filters=36607, ccks=609, wck=0.284, mem=37M154
4.11/2.41 decisions=23110, wrong=8026, backtracks=7241, failedAssignments=3562, nogoods=359, foundSolutions=21, bestBound=1530
4.11/2.41
4.11/2.41 num=124, depth=54..70, filters=38701, ccks=609, wck=0.292, mem=37M154
4.11/2.41 decisions=24175, wrong=8527, backtracks=7718, failedAssignments=3773, nogoods=363, foundSolutions=21, bestBound=1530
4.11/2.41
4.11/2.42 num=125, depth=51..65, filters=41185, ccks=609, wck=0.299, mem=37M154
4.11/2.42 decisions=25154, wrong=8988, backtracks=8144, failedAssignments=4005, nogoods=368, foundSolutions=21, bestBound=1530
4.11/2.42
4.11/2.43 num=126, depth=50..68, filters=43771, ccks=609, wck=0.308, mem=37M154
4.11/2.43 decisions=26387, wrong=9577, backtracks=8709, failedAssignments=4260, nogoods=372, foundSolutions=21, bestBound=1530
4.11/2.43
4.11/2.44 num=127, depth=45..64, filters=47425, ccks=609, wck=0.32, mem=37M154
4.11/2.44 decisions=28070, wrong=10393, backtracks=9463, failedAssignments=4541, nogoods=376, foundSolutions=21, bestBound=1530
4.11/2.44
4.11/2.45 num=128, depth=52..72, filters=51153, ccks=609, wck=0.331, mem=37M154
4.11/2.45 decisions=29633, wrong=11145, backtracks=10167, failedAssignments=4850, nogoods=384, foundSolutions=21, bestBound=1530
4.11/2.45
4.11/2.47 num=129, depth=50..69, filters=55171, ccks=609, wck=0.343, mem=37M154
4.11/2.47 decisions=31552, wrong=12077, backtracks=11056, failedAssignments=5190, nogoods=389, foundSolutions=21, bestBound=1530
4.11/2.47
4.11/2.48 num=130, depth=45..66, filters=59969, ccks=609, wck=0.357, mem=37M154
4.11/2.48 decisions=33422, wrong=12985, backtracks=11949, failedAssignments=5564, nogoods=395, foundSolutions=21, bestBound=1530
4.11/2.48
4.11/2.49 num=131, depth=45..65, filters=64354, ccks=609, wck=0.371, mem=37M154
4.11/2.49 decisions=35751, wrong=14124, backtracks=13063, failedAssignments=5975, nogoods=401, foundSolutions=21, bestBound=1530
4.11/2.49
4.42/2.51 num=132, depth=45..68, filters=69971, ccks=609, wck=0.387, mem=37M154
4.42/2.51 decisions=38402, wrong=15420, backtracks=14286, failedAssignments=6427, nogoods=404, foundSolutions=21, bestBound=1530
4.42/2.51
4.42/2.52 o 1444
4.42/2.52 num=133, depth=53..88, filters=74100, ccks=638, wck=0.399, mem=37M154
4.42/2.52 decisions=40306, wrong=16342, backtracks=15137, failedAssignments=6818, nogoods=409, foundSolutions=22, bestBound=1444
4.42/2.52
4.42/2.54 num=134, depth=48..70, filters=80719, ccks=638, wck=0.417, mem=37M154
4.42/2.54 decisions=43305, wrong=17813, backtracks=16501, failedAssignments=7365, nogoods=414, foundSolutions=22, bestBound=1444
4.42/2.54
4.42/2.54 num=135, depth=57..64, filters=80819, ccks=638, wck=0.418, mem=37M154
4.42/2.54 decisions=43412, wrong=17838, backtracks=16523, failedAssignments=7376, nogoods=415, foundSolutions=22, bestBound=1444
4.42/2.54
4.42/2.54 num=136, depth=55..65, filters=80971, ccks=638, wck=0.419, mem=37M154
4.42/2.54 decisions=43540, wrong=17874, backtracks=16554, failedAssignments=7388, nogoods=419, foundSolutions=22, bestBound=1444
4.42/2.54
4.42/2.54 num=137, depth=58..67, filters=81125, ccks=638, wck=0.42, mem=37M154
4.42/2.54 decisions=43664, wrong=17907, backtracks=16584, failedAssignments=7401, nogoods=421, foundSolutions=22, bestBound=1444
4.42/2.54
4.42/2.54 num=138, depth=58..66, filters=81278, ccks=638, wck=0.421, mem=37M154
4.42/2.54 decisions=43782, wrong=17937, backtracks=16611, failedAssignments=7415, nogoods=422, foundSolutions=22, bestBound=1444
4.42/2.54
4.42/2.54 num=139, depth=56..67, filters=81486, ccks=638, wck=0.422, mem=37M154
4.42/2.54 decisions=43947, wrong=17988, backtracks=16659, failedAssignments=7431, nogoods=425, foundSolutions=22, bestBound=1444
4.42/2.54
4.42/2.54 num=140, depth=51..63, filters=81727, ccks=638, wck=0.423, mem=37M154
4.42/2.54 decisions=44090, wrong=18034, backtracks=16703, failedAssignments=7448, nogoods=426, foundSolutions=22, bestBound=1444
4.42/2.54
4.42/2.55 num=141, depth=57..67, filters=81885, ccks=638, wck=0.424, mem=37M154
4.42/2.55 decisions=44230, wrong=18074, backtracks=16737, failedAssignments=7467, nogoods=429, foundSolutions=22, bestBound=1444
4.42/2.55
4.42/2.55 num=142, depth=53..63, filters=82144, ccks=638, wck=0.426, mem=37M154
4.42/2.55 decisions=44395, wrong=18129, backtracks=16785, failedAssignments=7488, nogoods=431, foundSolutions=22, bestBound=1444
4.42/2.55
4.42/2.55 num=143, depth=50..62, filters=82400, ccks=638, wck=0.427, mem=37M154
4.42/2.55 decisions=44576, wrong=18194, backtracks=16845, failedAssignments=7511, nogoods=434, foundSolutions=22, bestBound=1444
4.42/2.55
4.42/2.55 num=144, depth=51..67, filters=82652, ccks=638, wck=0.428, mem=37M154
4.42/2.55 decisions=44738, wrong=18246, backtracks=16891, failedAssignments=7536, nogoods=439, foundSolutions=22, bestBound=1444
4.42/2.55
4.42/2.55 num=145, depth=56..66, filters=82954, ccks=638, wck=0.43, mem=37M154
4.42/2.55 decisions=44949, wrong=18321, backtracks=16957, failedAssignments=7564, nogoods=443, foundSolutions=22, bestBound=1444
4.42/2.55
4.42/2.55 num=146, depth=49..60, filters=83262, ccks=638, wck=0.431, mem=37M154
4.42/2.55 decisions=45137, wrong=18389, backtracks=17020, failedAssignments=7595, nogoods=445, foundSolutions=22, bestBound=1444
4.42/2.55
4.42/2.55 num=147, depth=58..68, filters=83499, ccks=638, wck=0.432, mem=37M154
4.42/2.55 decisions=45305, wrong=18443, backtracks=17068, failedAssignments=7629, nogoods=449, foundSolutions=22, bestBound=1444
4.42/2.55
4.42/2.55 num=148, depth=54..65, filters=83797, ccks=638, wck=0.434, mem=37M154
4.42/2.55 decisions=45513, wrong=18519, backtracks=17136, failedAssignments=7666, nogoods=451, foundSolutions=22, bestBound=1444
4.42/2.55
4.42/2.56 num=149, depth=46..64, filters=84315, ccks=638, wck=0.436, mem=37M154
4.42/2.56 decisions=45803, wrong=18640, backtracks=17246, failedAssignments=7707, nogoods=453, foundSolutions=22, bestBound=1444
4.42/2.56
4.42/2.56 num=150, depth=54..68, filters=84748, ccks=638, wck=0.437, mem=37M154
4.42/2.56 decisions=46043, wrong=18732, backtracks=17330, failedAssignments=7752, nogoods=455, foundSolutions=22, bestBound=1444
4.42/2.56
4.42/2.56 num=151, depth=52..63, filters=85119, ccks=638, wck=0.439, mem=37M154
4.42/2.56 decisions=46341, wrong=18853, backtracks=17441, failedAssignments=7802, nogoods=458, foundSolutions=22, bestBound=1444
4.42/2.56
4.42/2.56 num=152, depth=54..68, filters=85744, ccks=638, wck=0.442, mem=37M154
4.42/2.56 decisions=46621, wrong=18965, backtracks=17547, failedAssignments=7857, nogoods=461, foundSolutions=22, bestBound=1444
4.42/2.56
4.42/2.57 num=153, depth=48..59, filters=86272, ccks=638, wck=0.444, mem=37M154
4.42/2.57 decisions=46937, wrong=19096, backtracks=17667, failedAssignments=7918, nogoods=464, foundSolutions=22, bestBound=1444
4.42/2.57
4.42/2.57 num=154, depth=58..69, filters=86996, ccks=638, wck=0.446, mem=37M154
4.42/2.57 decisions=47250, wrong=19223, backtracks=17785, failedAssignments=7985, nogoods=467, foundSolutions=22, bestBound=1444
4.42/2.57
4.42/2.57 num=155, depth=48..61, filters=87934, ccks=638, wck=0.449, mem=37M154
4.42/2.57 decisions=47686, wrong=19416, backtracks=17966, failedAssignments=8059, nogoods=470, foundSolutions=22, bestBound=1444
4.42/2.57
4.42/2.57 num=156, depth=56..68, filters=88572, ccks=638, wck=0.452, mem=37M154
4.42/2.57 decisions=48056, wrong=19571, backtracks=18109, failedAssignments=8140, nogoods=474, foundSolutions=22, bestBound=1444
4.42/2.57
4.42/2.58 num=157, depth=52..68, filters=89505, ccks=638, wck=0.455, mem=37M154
4.42/2.58 decisions=48534, wrong=19782, backtracks=18306, failedAssignments=8229, nogoods=477, foundSolutions=22, bestBound=1444
4.42/2.58
4.42/2.58 num=158, depth=42..64, filters=91014, ccks=638, wck=0.46, mem=37M154
4.42/2.58 decisions=49221, wrong=20102, backtracks=18611, failedAssignments=8327, nogoods=479, foundSolutions=22, bestBound=1444
4.42/2.58
4.42/2.58 num=159, depth=56..70, filters=92379, ccks=638, wck=0.464, mem=37M154
4.42/2.58 decisions=49816, wrong=20369, backtracks=18856, failedAssignments=8435, nogoods=484, foundSolutions=22, bestBound=1444
4.42/2.58
4.42/2.59 num=160, depth=57..71, filters=93494, ccks=638, wck=0.467, mem=37M154
4.42/2.59 decisions=50367, wrong=20614, backtracks=19082, failedAssignments=8554, nogoods=488, foundSolutions=22, bestBound=1444
4.42/2.59
4.42/2.59 num=161, depth=49..65, filters=95058, ccks=638, wck=0.472, mem=37M154
4.42/2.59 decisions=51135, wrong=20970, backtracks=19415, failedAssignments=8685, nogoods=491, foundSolutions=22, bestBound=1444
4.42/2.59
4.56/2.60 num=162, depth=52..72, filters=96443, ccks=638, wck=0.477, mem=37M154
4.56/2.60 decisions=51774, wrong=21261, backtracks=19692, failedAssignments=8829, nogoods=495, foundSolutions=22, bestBound=1444
4.56/2.60
4.56/2.60 num=163, depth=48..68, filters=98371, ccks=638, wck=0.483, mem=37M154
4.56/2.60 decisions=52669, wrong=21684, backtracks=20079, failedAssignments=8987, nogoods=499, foundSolutions=22, bestBound=1444
4.56/2.60
4.56/2.61 num=164, depth=43..61, filters=100311, ccks=638, wck=0.49, mem=37M154
4.56/2.61 decisions=53570, wrong=22109, backtracks=20467, failedAssignments=9161, nogoods=502, foundSolutions=22, bestBound=1444
4.56/2.61
4.56/2.62 num=165, depth=51..66, filters=102475, ccks=638, wck=0.496, mem=37M154
4.56/2.62 decisions=54485, wrong=22538, backtracks=20859, failedAssignments=9352, nogoods=507, foundSolutions=22, bestBound=1444
4.56/2.62
4.56/2.62 num=166, depth=50..70, filters=104634, ccks=638, wck=0.503, mem=37M154
4.56/2.62 decisions=55475, wrong=23008, backtracks=21296, failedAssignments=9563, nogoods=510, foundSolutions=22, bestBound=1444
4.56/2.62
4.56/2.63 num=167, depth=50..69, filters=107063, ccks=638, wck=0.51, mem=37M154
4.56/2.63 decisions=56488, wrong=23488, backtracks=21747, failedAssignments=9795, nogoods=514, foundSolutions=22, bestBound=1444
4.56/2.63
4.56/2.64 num=168, depth=45..63, filters=110252, ccks=638, wck=0.52, mem=37M154
4.56/2.64 decisions=57858, wrong=24146, backtracks=22358, failedAssignments=10050, nogoods=520, foundSolutions=22, bestBound=1444
4.56/2.64
4.56/2.65 num=169, depth=47..66, filters=112948, ccks=638, wck=0.528, mem=37M154
4.56/2.65 decisions=59142, wrong=24762, backtracks=22942, failedAssignments=10331, nogoods=525, foundSolutions=22, bestBound=1444
4.56/2.65
4.56/2.66 num=170, depth=54..69, filters=116005, ccks=638, wck=0.537, mem=37M154
4.56/2.66 decisions=60370, wrong=25349, backtracks=23496, failedAssignments=10640, nogoods=531, foundSolutions=22, bestBound=1444
4.56/2.66
4.56/2.67 num=171, depth=51..68, filters=119578, ccks=638, wck=0.547, mem=37M154
4.56/2.67 decisions=62117, wrong=26194, backtracks=24291, failedAssignments=10980, nogoods=534, foundSolutions=22, bestBound=1444
4.56/2.67
4.56/2.68 num=172, depth=49..70, filters=124263, ccks=638, wck=0.56, mem=37M154
4.56/2.68 decisions=64343, wrong=27282, backtracks=25311, failedAssignments=11354, nogoods=538, foundSolutions=22, bestBound=1444
4.56/2.68
4.68/2.70 num=173, depth=51..71, filters=129586, ccks=638, wck=0.577, mem=37M154
4.68/2.70 decisions=66662, wrong=28414, backtracks=26385, failedAssignments=11765, nogoods=543, foundSolutions=22, bestBound=1444
4.68/2.70
4.68/2.72 num=174, depth=40..70, filters=136519, ccks=638, wck=0.596, mem=37M154
4.68/2.72 decisions=69820, wrong=29967, backtracks=27902, failedAssignments=12217, nogoods=547, foundSolutions=22, bestBound=1444
4.68/2.72
4.68/2.73 num=175, depth=53..71, filters=141275, ccks=638, wck=0.611, mem=37M154
4.68/2.73 decisions=72227, wrong=31141, backtracks=28981, failedAssignments=12714, nogoods=551, foundSolutions=22, bestBound=1444
4.68/2.73
4.68/2.76 num=176, depth=34..66, filters=149743, ccks=638, wck=0.637, mem=37M154
4.68/2.76 decisions=76104, wrong=33055, backtracks=30777, failedAssignments=13261, nogoods=556, foundSolutions=22, bestBound=1444
4.68/2.76
4.68/2.78 num=177, depth=49..69, filters=156828, ccks=638, wck=0.656, mem=37M154
4.68/2.78 decisions=79079, wrong=34516, backtracks=32130, failedAssignments=13863, nogoods=560, foundSolutions=22, bestBound=1444
4.68/2.78
4.68/2.80 o 1410
4.80/2.80 num=178, depth=41..88, filters=163437, ccks=667, wck=0.675, mem=37M154
4.80/2.80 decisions=81914, wrong=35906, backtracks=33441, failedAssignments=14368, nogoods=565, foundSolutions=23, bestBound=1410
4.80/2.80
4.80/2.82 num=179, depth=47..67, filters=172385, ccks=667, wck=0.699, mem=37M154
4.80/2.82 decisions=85287, wrong=37567, backtracks=35003, failedAssignments=15096, nogoods=571, foundSolutions=23, bestBound=1410
4.80/2.82
4.80/2.82 num=180, depth=55..66, filters=172549, ccks=667, wck=0.7, mem=39M797
4.80/2.82 decisions=85444, wrong=37618, backtracks=35055, failedAssignments=15107, nogoods=572, foundSolutions=23, bestBound=1410
4.80/2.82
4.80/2.82 num=181, depth=42..57, filters=172713, ccks=667, wck=0.701, mem=39M797
4.80/2.82 decisions=85566, wrong=37658, backtracks=35089, failedAssignments=15119, nogoods=573, foundSolutions=23, bestBound=1410
4.80/2.82
4.80/2.82 num=182, depth=36..65, filters=173096, ccks=667, wck=0.703, mem=39M797
4.80/2.82 decisions=85800, wrong=37746, backtracks=35175, failedAssignments=15132, nogoods=576, foundSolutions=23, bestBound=1410
4.80/2.82
4.80/2.83 num=183, depth=36..63, filters=173483, ccks=667, wck=0.705, mem=39M797
4.80/2.83 decisions=86051, wrong=37841, backtracks=35267, failedAssignments=15146, nogoods=579, foundSolutions=23, bestBound=1410
4.80/2.83
4.80/2.83 num=184, depth=56..65, filters=173670, ccks=667, wck=0.706, mem=39M797
4.80/2.83 decisions=86175, wrong=37875, backtracks=35298, failedAssignments=15162, nogoods=580, foundSolutions=23, bestBound=1410
4.80/2.83
4.80/2.83 num=185, depth=36..65, filters=173943, ccks=667, wck=0.707, mem=39M797
4.80/2.83 decisions=86346, wrong=37938, backtracks=35356, failedAssignments=15179, nogoods=583, foundSolutions=23, bestBound=1410
4.80/2.83
4.80/2.83 num=186, depth=51..60, filters=174184, ccks=667, wck=0.708, mem=39M797
4.80/2.83 decisions=86491, wrong=37982, backtracks=35393, failedAssignments=15198, nogoods=587, foundSolutions=23, bestBound=1410
4.80/2.83
4.80/2.83 num=187, depth=36..61, filters=174570, ccks=667, wck=0.71, mem=39M797
4.80/2.83 decisions=86721, wrong=38079, backtracks=35482, failedAssignments=15219, nogoods=590, foundSolutions=23, bestBound=1410
4.80/2.83
4.80/2.83 num=188, depth=34..55, filters=175219, ccks=667, wck=0.713, mem=39M797
4.80/2.83 decisions=87026, wrong=38214, backtracks=35609, failedAssignments=15242, nogoods=592, foundSolutions=23, bestBound=1410
4.80/2.83
4.80/2.84 num=189, depth=42..61, filters=175763, ccks=667, wck=0.715, mem=39M797
4.80/2.84 decisions=87282, wrong=38314, backtracks=35710, failedAssignments=15267, nogoods=595, foundSolutions=23, bestBound=1410
4.80/2.84
4.80/2.84 num=190, depth=32..56, filters=176479, ccks=667, wck=0.718, mem=39M797
4.80/2.84 decisions=87634, wrong=38463, backtracks=35849, failedAssignments=15295, nogoods=598, foundSolutions=23, bestBound=1410
4.80/2.84
4.80/2.84 num=191, depth=52..66, filters=176750, ccks=667, wck=0.719, mem=39M797
4.80/2.84 decisions=87790, wrong=38513, backtracks=35890, failedAssignments=15326, nogoods=603, foundSolutions=23, bestBound=1410
4.80/2.84
4.80/2.84 num=192, depth=48..67, filters=177201, ccks=667, wck=0.721, mem=39M797
4.80/2.84 decisions=88032, wrong=38606, backtracks=35975, failedAssignments=15360, nogoods=606, foundSolutions=23, bestBound=1410
4.80/2.84
4.80/2.85 num=193, depth=38..65, filters=178097, ccks=667, wck=0.724, mem=39M797
4.80/2.85 decisions=88434, wrong=38788, backtracks=36148, failedAssignments=15397, nogoods=608, foundSolutions=23, bestBound=1410
4.80/2.85
4.80/2.85 num=194, depth=43..60, filters=178630, ccks=667, wck=0.726, mem=39M797
4.80/2.85 decisions=88748, wrong=38921, backtracks=36278, failedAssignments=15438, nogoods=610, foundSolutions=23, bestBound=1410
4.80/2.85
4.80/2.85 num=195, depth=43..64, filters=179268, ccks=667, wck=0.729, mem=39M797
4.80/2.85 decisions=89137, wrong=39086, backtracks=36435, failedAssignments=15483, nogoods=613, foundSolutions=23, bestBound=1410
4.80/2.85
4.80/2.85 num=196, depth=43..67, filters=180056, ccks=667, wck=0.732, mem=39M797
4.80/2.85 decisions=89566, wrong=39277, backtracks=36621, failedAssignments=15533, nogoods=615, foundSolutions=23, bestBound=1410
4.80/2.85
4.80/2.86 num=197, depth=52..66, filters=180606, ccks=667, wck=0.734, mem=39M797
4.80/2.86 decisions=89825, wrong=39380, backtracks=36718, failedAssignments=15588, nogoods=617, foundSolutions=23, bestBound=1410
4.80/2.86
4.80/2.86 num=198, depth=40..57, filters=181577, ccks=667, wck=0.737, mem=39M797
4.80/2.86 decisions=90278, wrong=39582, backtracks=36908, failedAssignments=15649, nogoods=622, foundSolutions=23, bestBound=1410
4.80/2.86
4.80/2.86 num=199, depth=50..65, filters=182313, ccks=667, wck=0.74, mem=39M797
4.80/2.86 decisions=90659, wrong=39746, backtracks=37054, failedAssignments=15716, nogoods=624, foundSolutions=23, bestBound=1410
4.80/2.86
4.80/2.87 num=200, depth=36..55, filters=183223, ccks=667, wck=0.744, mem=39M797
4.80/2.87 decisions=91212, wrong=40001, backtracks=37309, failedAssignments=15790, nogoods=626, foundSolutions=23, bestBound=1410
4.80/2.87
4.80/2.87 num=201, depth=48..61, filters=184109, ccks=667, wck=0.748, mem=39M797
4.80/2.87 decisions=91670, wrong=40204, backtracks=37489, failedAssignments=15871, nogoods=631, foundSolutions=23, bestBound=1410
4.80/2.87
4.80/2.87 num=202, depth=52..62, filters=184854, ccks=667, wck=0.75, mem=39M797
4.80/2.87 decisions=92055, wrong=40369, backtracks=37638, failedAssignments=15960, nogoods=636, foundSolutions=23, bestBound=1410
4.80/2.87
4.80/2.88 num=203, depth=45..65, filters=186254, ccks=667, wck=0.755, mem=39M797
4.80/2.88 decisions=92702, wrong=40666, backtracks=37907, failedAssignments=16058, nogoods=640, foundSolutions=23, bestBound=1410
4.80/2.88
4.80/2.88 num=204, depth=54..69, filters=187496, ccks=667, wck=0.759, mem=39M797
4.80/2.88 decisions=93248, wrong=40910, backtracks=38140, failedAssignments=16166, nogoods=644, foundSolutions=23, bestBound=1410
4.80/2.88
4.80/2.88 num=205, depth=48..65, filters=188679, ccks=667, wck=0.763, mem=39M797
4.80/2.88 decisions=93770, wrong=41147, backtracks=38363, failedAssignments=16285, nogoods=647, foundSolutions=23, bestBound=1410
4.80/2.88
4.80/2.89 num=206, depth=51..68, filters=190475, ccks=667, wck=0.769, mem=39M797
4.80/2.89 decisions=94581, wrong=41524, backtracks=38718, failedAssignments=16416, nogoods=652, foundSolutions=23, bestBound=1410
4.80/2.89
4.80/2.89 num=207, depth=46..64, filters=191839, ccks=667, wck=0.773, mem=39M797
4.80/2.89 decisions=95286, wrong=41850, backtracks=39017, failedAssignments=16560, nogoods=656, foundSolutions=23, bestBound=1410
4.80/2.89
4.96/2.90 num=208, depth=48..65, filters=193646, ccks=667, wck=0.779, mem=39M797
4.96/2.90 decisions=96034, wrong=42196, backtracks=39331, failedAssignments=16718, nogoods=661, foundSolutions=23, bestBound=1410
4.96/2.90
4.96/2.91 num=209, depth=47..69, filters=196477, ccks=667, wck=0.788, mem=39M797
4.96/2.91 decisions=97302, wrong=42805, backtracks=39927, failedAssignments=16892, nogoods=665, foundSolutions=23, bestBound=1410
4.96/2.91
4.96/2.92 num=210, depth=51..64, filters=198195, ccks=667, wck=0.794, mem=39M797
4.96/2.92 decisions=98154, wrong=43205, backtracks=40313, failedAssignments=17083, nogoods=668, foundSolutions=23, bestBound=1410
4.96/2.92
4.96/2.92 num=211, depth=46..62, filters=200475, ccks=667, wck=0.801, mem=39M797
4.96/2.92 decisions=99163, wrong=43683, backtracks=40747, failedAssignments=17294, nogoods=671, foundSolutions=23, bestBound=1410
4.96/2.92
4.96/2.93 num=212, depth=34..61, filters=203955, ccks=667, wck=0.811, mem=39M797
4.96/2.93 decisions=100686, wrong=44424, backtracks=41465, failedAssignments=17526, nogoods=676, foundSolutions=23, bestBound=1410
4.96/2.93
4.96/2.94 num=213, depth=51..70, filters=207070, ccks=667, wck=0.82, mem=39M797
4.96/2.94 decisions=102111, wrong=45110, backtracks=42111, failedAssignments=17781, nogoods=681, foundSolutions=23, bestBound=1410
4.96/2.94
4.96/2.95 num=214, depth=40..68, filters=210961, ccks=667, wck=0.831, mem=39M797
4.96/2.95 decisions=103938, wrong=46000, backtracks=42950, failedAssignments=18062, nogoods=687, foundSolutions=23, bestBound=1410
4.96/2.95
4.96/2.96 num=215, depth=48..66, filters=213770, ccks=667, wck=0.842, mem=39M797
4.96/2.96 decisions=105466, wrong=46737, backtracks=43630, failedAssignments=18371, nogoods=691, foundSolutions=23, bestBound=1410
4.96/2.96
4.96/2.97 o 1386
4.96/2.97 num=216, depth=56..88, filters=214729, ccks=696, wck=0.845, mem=39M797
4.96/2.97 decisions=105967, wrong=46958, backtracks=43828, failedAssignments=18467, nogoods=696, foundSolutions=24, bestBound=1386
4.96/2.97
4.96/2.98 o 1375
4.96/2.98 num=217, depth=49..88, filters=217490, ccks=725, wck=0.854, mem=39M797
4.96/2.98 decisions=107481, wrong=47682, backtracks=44511, failedAssignments=18760, nogoods=700, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=218, depth=51..61, filters=217660, ccks=725, wck=0.855, mem=39M797
4.96/2.98 decisions=107606, wrong=47717, backtracks=44538, failedAssignments=18771, nogoods=703, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=219, depth=60..69, filters=217794, ccks=725, wck=0.856, mem=39M797
4.96/2.98 decisions=107723, wrong=47744, backtracks=44562, failedAssignments=18782, nogoods=705, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=220, depth=58..66, filters=217939, ccks=725, wck=0.857, mem=39M797
4.96/2.98 decisions=107855, wrong=47780, backtracks=44591, failedAssignments=18794, nogoods=707, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=221, depth=54..66, filters=218074, ccks=725, wck=0.858, mem=39M797
4.96/2.98 decisions=107979, wrong=47813, backtracks=44618, failedAssignments=18807, nogoods=709, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=222, depth=61..69, filters=218247, ccks=725, wck=0.859, mem=39M797
4.96/2.98 decisions=108112, wrong=47848, backtracks=44648, failedAssignments=18821, nogoods=712, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=223, depth=53..63, filters=218364, ccks=725, wck=0.86, mem=39M797
4.96/2.98 decisions=108230, wrong=47880, backtracks=44678, failedAssignments=18837, nogoods=714, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=224, depth=53..64, filters=218544, ccks=725, wck=0.861, mem=39M797
4.96/2.98 decisions=108377, wrong=47924, backtracks=44716, failedAssignments=18854, nogoods=716, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=225, depth=57..66, filters=218750, ccks=725, wck=0.862, mem=39M797
4.96/2.98 decisions=108529, wrong=47968, backtracks=44755, failedAssignments=18873, nogoods=718, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.98 num=226, depth=51..62, filters=218977, ccks=725, wck=0.864, mem=39M797
4.96/2.98 decisions=108695, wrong=48024, backtracks=44801, failedAssignments=18894, nogoods=723, foundSolutions=25, bestBound=1375
4.96/2.98
4.96/2.99 num=227, depth=63..72, filters=219219, ccks=725, wck=0.865, mem=39M797
4.96/2.99 decisions=108883, wrong=48084, backtracks=44854, failedAssignments=18917, nogoods=725, foundSolutions=25, bestBound=1375
4.96/2.99
4.96/2.99 num=228, depth=59..67, filters=219427, ccks=725, wck=0.866, mem=39M797
4.96/2.99 decisions=109043, wrong=48133, backtracks=44899, failedAssignments=18942, nogoods=727, foundSolutions=25, bestBound=1375
4.96/2.99
4.96/2.99 num=229, depth=60..70, filters=219706, ccks=725, wck=0.868, mem=39M797
4.96/2.99 decisions=109215, wrong=48187, backtracks=44944, failedAssignments=18970, nogoods=731, foundSolutions=25, bestBound=1375
4.96/2.99
4.96/2.99 num=230, depth=56..66, filters=220016, ccks=725, wck=0.87, mem=39M797
4.96/2.99 decisions=109411, wrong=48255, backtracks=45003, failedAssignments=19001, nogoods=735, foundSolutions=25, bestBound=1375
4.96/2.99
4.96/2.99 num=231, depth=47..62, filters=220378, ccks=725, wck=0.871, mem=39M797
4.96/2.99 decisions=109623, wrong=48337, backtracks=45075, failedAssignments=19035, nogoods=737, foundSolutions=25, bestBound=1375
4.96/2.99
4.96/2.99 num=232, depth=55..68, filters=220856, ccks=725, wck=0.873, mem=39M797
4.96/2.99 decisions=109902, wrong=48449, backtracks=45183, failedAssignments=19072, nogoods=738, foundSolutions=25, bestBound=1375
4.96/2.99
4.96/3.00 num=233, depth=56..68, filters=221382, ccks=725, wck=0.875, mem=39M797
4.96/3.00 decisions=110189, wrong=48560, backtracks=45288, failedAssignments=19113, nogoods=740, foundSolutions=25, bestBound=1375
4.96/3.00
4.96/3.00 num=234, depth=51..66, filters=221809, ccks=725, wck=0.877, mem=39M797
4.96/3.00 decisions=110449, wrong=48663, backtracks=45377, failedAssignments=19158, nogoods=742, foundSolutions=25, bestBound=1375
4.96/3.00
4.96/3.00 num=235, depth=33..65, filters=222818, ccks=725, wck=0.881, mem=39M797
4.96/3.00 decisions=110950, wrong=48897, backtracks=45608, failedAssignments=19208, nogoods=743, foundSolutions=25, bestBound=1375
4.96/3.00
4.96/3.01 num=236, depth=52..66, filters=223432, ccks=725, wck=0.884, mem=39M797
4.96/3.01 decisions=111304, wrong=49045, backtracks=45747, failedAssignments=19263, nogoods=745, foundSolutions=25, bestBound=1375
4.96/3.01
5.08/3.01 num=237, depth=47..65, filters=224110, ccks=725, wck=0.887, mem=39M797
5.08/3.01 decisions=111680, wrong=49207, backtracks=45895, failedAssignments=19324, nogoods=748, foundSolutions=25, bestBound=1375
5.08/3.01
5.08/3.01 num=238, depth=37..52, filters=225023, ccks=725, wck=0.891, mem=39M797
5.08/3.01 decisions=112129, wrong=49411, backtracks=46086, failedAssignments=19391, nogoods=752, foundSolutions=25, bestBound=1375
5.08/3.01
5.08/3.01 num=239, depth=49..63, filters=225676, ccks=725, wck=0.894, mem=39M797
5.08/3.01 decisions=112525, wrong=49581, backtracks=46237, failedAssignments=19465, nogoods=755, foundSolutions=25, bestBound=1375
5.08/3.01
5.08/3.02 num=240, depth=43..66, filters=226577, ccks=725, wck=0.898, mem=39M797
5.08/3.02 decisions=112978, wrong=49785, backtracks=46427, failedAssignments=19546, nogoods=760, foundSolutions=25, bestBound=1375
5.08/3.02
5.08/3.02 num=241, depth=52..68, filters=227721, ccks=725, wck=0.901, mem=39M797
5.08/3.02 decisions=113468, wrong=50004, backtracks=46622, failedAssignments=19635, nogoods=762, foundSolutions=25, bestBound=1375
5.08/3.02
5.08/3.03 num=242, depth=53..68, filters=229018, ccks=725, wck=0.906, mem=39M797
5.08/3.03 decisions=114021, wrong=50254, backtracks=46864, failedAssignments=19733, nogoods=763, foundSolutions=25, bestBound=1375
5.08/3.03
5.08/3.03 num=243, depth=47..63, filters=230134, ccks=725, wck=0.91, mem=39M797
5.08/3.03 decisions=114637, wrong=50533, backtracks=47117, failedAssignments=19841, nogoods=768, foundSolutions=25, bestBound=1375
5.08/3.03
5.08/3.04 num=244, depth=53..67, filters=231548, ccks=725, wck=0.915, mem=39M797
5.08/3.04 decisions=115271, wrong=50823, backtracks=47395, failedAssignments=19960, nogoods=771, foundSolutions=25, bestBound=1375
5.08/3.04
5.08/3.04 num=245, depth=45..60, filters=233072, ccks=725, wck=0.921, mem=39M797
5.08/3.04 decisions=115942, wrong=51136, backtracks=47690, failedAssignments=20091, nogoods=773, foundSolutions=25, bestBound=1375
5.08/3.04
5.08/3.05 num=246, depth=51..68, filters=234448, ccks=725, wck=0.926, mem=39M797
5.08/3.05 decisions=116590, wrong=51433, backtracks=47965, failedAssignments=20235, nogoods=778, foundSolutions=25, bestBound=1375
5.08/3.05
5.08/3.05 num=247, depth=55..70, filters=236120, ccks=725, wck=0.932, mem=39M797
5.08/3.05 decisions=117397, wrong=51807, backtracks=48317, failedAssignments=20393, nogoods=781, foundSolutions=25, bestBound=1375
5.08/3.05
5.08/3.06 num=248, depth=44..60, filters=238289, ccks=725, wck=0.94, mem=39M797
5.08/3.06 decisions=118479, wrong=52325, backtracks=48812, failedAssignments=20567, nogoods=785, foundSolutions=25, bestBound=1375
5.08/3.06
5.08/3.07 num=249, depth=51..68, filters=240486, ccks=725, wck=0.947, mem=39M797
5.08/3.07 decisions=119470, wrong=52792, backtracks=49254, failedAssignments=20758, nogoods=791, foundSolutions=25, bestBound=1375
5.08/3.07
5.08/3.08 num=250, depth=44..66, filters=243315, ccks=725, wck=0.957, mem=39M797
5.08/3.08 decisions=120660, wrong=53363, backtracks=49803, failedAssignments=20969, nogoods=794, foundSolutions=25, bestBound=1375
5.08/3.08
5.08/3.09 num=251, depth=51..67, filters=245340, ccks=725, wck=0.964, mem=39M797
5.08/3.09 decisions=121784, wrong=53897, backtracks=50300, failedAssignments=21201, nogoods=797, foundSolutions=25, bestBound=1375
5.08/3.09
5.08/3.09 num=252, depth=49..67, filters=248099, ccks=725, wck=0.973, mem=39M797
5.08/3.09 decisions=123110, wrong=54533, backtracks=50895, failedAssignments=21456, nogoods=803, foundSolutions=25, bestBound=1375
5.08/3.09
5.19/3.11 num=253, depth=47..69, filters=251954, ccks=725, wck=0.986, mem=39M797
5.19/3.11 decisions=124936, wrong=55419, backtracks=51714, failedAssignments=21737, nogoods=806, foundSolutions=25, bestBound=1375
5.19/3.11
5.19/3.12 num=254, depth=47..69, filters=254687, ccks=725, wck=0.996, mem=39M797
5.19/3.12 decisions=126233, wrong=56042, backtracks=52289, failedAssignments=22046, nogoods=809, foundSolutions=25, bestBound=1375
5.19/3.12
5.19/3.13 num=255, depth=37..62, filters=259338, ccks=725, wck=1.011, mem=39M797
5.19/3.13 decisions=128599, wrong=57204, backtracks=53384, failedAssignments=22386, nogoods=812, foundSolutions=25, bestBound=1375
5.19/3.13
5.19/3.15 num=256, depth=45..72, filters=264465, ccks=725, wck=1.028, mem=39M797
5.19/3.15 decisions=130996, wrong=58370, backtracks=54472, failedAssignments=22760, nogoods=815, foundSolutions=25, bestBound=1375
5.19/3.15
5.19/3.16 num=257, depth=35..57, filters=269070, ccks=725, wck=1.044, mem=39M797
5.19/3.16 decisions=133382, wrong=59539, backtracks=55563, failedAssignments=23171, nogoods=819, foundSolutions=25, bestBound=1375
5.19/3.16
5.19/3.18 num=258, depth=43..63, filters=274173, ccks=725, wck=1.058, mem=39M797
5.19/3.18 decisions=135763, wrong=60707, backtracks=56654, failedAssignments=23623, nogoods=822, foundSolutions=25, bestBound=1375
5.19/3.18
5.28/3.20 num=259, depth=42..68, filters=280941, ccks=725, wck=1.083, mem=42M439
5.28/3.20 decisions=139476, wrong=62538, backtracks=58407, failedAssignments=24120, nogoods=824, foundSolutions=25, bestBound=1375
5.28/3.20
5.28/3.22 num=260, depth=42..64, filters=286808, ccks=725, wck=1.101, mem=42M439
5.28/3.22 decisions=142365, wrong=63958, backtracks=59748, failedAssignments=24667, nogoods=830, foundSolutions=25, bestBound=1375
5.28/3.22
5.28/3.25 num=261, depth=42..67, filters=295273, ccks=725, wck=1.126, mem=42M439
5.28/3.25 decisions=145548, wrong=65523, backtracks=61203, failedAssignments=25269, nogoods=836, foundSolutions=25, bestBound=1375
5.28/3.25
5.28/3.28 num=262, depth=44..70, filters=303963, ccks=725, wck=1.154, mem=42M439
5.28/3.28 decisions=149564, wrong=67506, backtracks=63082, failedAssignments=25931, nogoods=840, foundSolutions=25, bestBound=1375
5.28/3.28
5.39/3.30 num=263, depth=41..67, filters=312951, ccks=725, wck=1.183, mem=42M439
5.39/3.30 decisions=153197, wrong=69299, backtracks=64756, failedAssignments=26659, nogoods=845, foundSolutions=25, bestBound=1375
5.39/3.30
5.39/3.34 num=264, depth=37..70, filters=324600, ccks=725, wck=1.221, mem=42M439
5.39/3.34 decisions=158530, wrong=71942, backtracks=67270, failedAssignments=27460, nogoods=849, foundSolutions=25, bestBound=1375
5.39/3.34
5.39/3.39 num=265, depth=43..67, filters=338406, ccks=725, wck=1.264, mem=42M439
5.39/3.39 decisions=163892, wrong=74598, backtracks=69783, failedAssignments=28341, nogoods=851, foundSolutions=25, bestBound=1375
5.39/3.39
5.49/3.43 num=266, depth=39..68, filters=354947, ccks=725, wck=1.309, mem=42M439
5.49/3.43 decisions=170631, wrong=77944, backtracks=72914, failedAssignments=29311, nogoods=858, foundSolutions=25, bestBound=1375
5.49/3.43
5.49/3.47 num=267, depth=42..65, filters=367286, ccks=725, wck=1.347, mem=42M439
5.49/3.47 decisions=175806, wrong=80509, backtracks=75364, failedAssignments=30378, nogoods=862, foundSolutions=25, bestBound=1375
5.49/3.47
5.61/3.52 num=268, depth=38..63, filters=382509, ccks=725, wck=1.394, mem=42M439
5.61/3.52 decisions=182830, wrong=83994, backtracks=78651, failedAssignments=31551, nogoods=867, foundSolutions=25, bestBound=1375
5.61/3.52
5.61/3.57 num=269, depth=36..67, filters=401252, ccks=725, wck=1.452, mem=42M439
5.61/3.57 decisions=190943, wrong=88030, backtracks=82482, failedAssignments=32842, nogoods=869, foundSolutions=25, bestBound=1375
5.61/3.57
5.71/3.63 num=270, depth=39..64, filters=417932, ccks=725, wck=1.505, mem=42M439
5.71/3.63 decisions=198893, wrong=91978, backtracks=86223, failedAssignments=34262, nogoods=875, foundSolutions=25, bestBound=1375
5.71/3.63
5.81/3.70 num=271, depth=35..65, filters=443546, ccks=725, wck=1.577, mem=42M439
5.81/3.70 decisions=208970, wrong=96992, backtracks=90956, failedAssignments=35824, nogoods=880, foundSolutions=25, bestBound=1375
5.81/3.70
5.81/3.76 num=272, depth=46..69, filters=462059, ccks=725, wck=1.635, mem=42M439
5.81/3.76 decisions=218226, wrong=101592, backtracks=95327, failedAssignments=37542, nogoods=885, foundSolutions=25, bestBound=1375
5.81/3.76
5.91/3.84 num=273, depth=34..68, filters=490056, ccks=725, wck=1.723, mem=42M439
5.91/3.84 decisions=229690, wrong=107302, backtracks=100789, failedAssignments=39432, nogoods=891, foundSolutions=25, bestBound=1375
5.91/3.84
6.01/3.94 num=274, depth=37..67, filters=517177, ccks=725, wck=1.818, mem=42M439
6.01/3.94 decisions=244485, wrong=114674, backtracks=107862, failedAssignments=41511, nogoods=895, foundSolutions=25, bestBound=1375
6.01/3.94
6.12/4.03 num=275, depth=42..71, filters=552416, ccks=725, wck=1.913, mem=42M439
6.12/4.03 decisions=258469, wrong=121639, backtracks=114547, failedAssignments=43798, nogoods=901, foundSolutions=25, bestBound=1375
6.12/4.03
6.22/4.13 num=276, depth=43..70, filters=581678, ccks=725, wck=2.01, mem=42M439
6.22/4.13 decisions=274280, wrong=129520, backtracks=121975, failedAssignments=46314, nogoods=905, foundSolutions=25, bestBound=1375
6.22/4.13
6.22/4.19 o 1309
6.22/4.19 num=277, depth=43..88, filters=600924, ccks=754, wck=2.065, mem=45M82
6.22/4.19 decisions=282554, wrong=133629, backtracks=125917, failedAssignments=47770, nogoods=912, foundSolutions=26, bestBound=1309
6.22/4.19
6.22/4.19 o 1265
6.22/4.19 num=278, depth=54..88, filters=601368, ccks=783, wck=2.067, mem=45M82
6.22/4.19 decisions=282848, wrong=133741, backtracks=126014, failedAssignments=47814, nogoods=916, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.19 num=279, depth=58..65, filters=601477, ccks=783, wck=2.067, mem=45M82
6.22/4.19 decisions=282948, wrong=133762, backtracks=126033, failedAssignments=47825, nogoods=918, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.19 num=280, depth=54..67, filters=601569, ccks=783, wck=2.068, mem=45M82
6.22/4.19 decisions=283048, wrong=133782, backtracks=126048, failedAssignments=47836, nogoods=921, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.19 num=281, depth=52..62, filters=601733, ccks=783, wck=2.069, mem=45M82
6.22/4.19 decisions=283168, wrong=133816, backtracks=126079, failedAssignments=47848, nogoods=922, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.19 num=282, depth=52..65, filters=601882, ccks=783, wck=2.07, mem=45M82
6.22/4.19 decisions=283290, wrong=133851, backtracks=126107, failedAssignments=47861, nogoods=925, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.19 num=283, depth=56..63, filters=602009, ccks=783, wck=2.07, mem=45M82
6.22/4.19 decisions=283408, wrong=133879, backtracks=126130, failedAssignments=47875, nogoods=927, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.19 num=284, depth=51..64, filters=602206, ccks=783, wck=2.071, mem=45M82
6.22/4.19 decisions=283559, wrong=133929, backtracks=126176, failedAssignments=47891, nogoods=928, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.19 num=285, depth=53..64, filters=602430, ccks=783, wck=2.072, mem=45M82
6.22/4.19 decisions=283699, wrong=133971, backtracks=126209, failedAssignments=47908, nogoods=930, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.19 num=286, depth=56..66, filters=602593, ccks=783, wck=2.073, mem=45M82
6.22/4.19 decisions=283828, wrong=134007, backtracks=126242, failedAssignments=47927, nogoods=932, foundSolutions=27, bestBound=1265
6.22/4.19
6.22/4.20 num=287, depth=58..68, filters=602794, ccks=783, wck=2.074, mem=45M82
6.22/4.20 decisions=283974, wrong=134051, backtracks=126280, failedAssignments=47948, nogoods=933, foundSolutions=27, bestBound=1265
6.22/4.20
6.31/4.20 num=288, depth=49..62, filters=603195, ccks=783, wck=2.076, mem=45M82
6.31/4.20 decisions=284177, wrong=134125, backtracks=126349, failedAssignments=47971, nogoods=937, foundSolutions=27, bestBound=1265
6.31/4.20
6.31/4.20 num=289, depth=54..65, filters=603423, ccks=783, wck=2.078, mem=45M82
6.31/4.20 decisions=284330, wrong=134174, backtracks=126389, failedAssignments=47996, nogoods=942, foundSolutions=27, bestBound=1265
6.31/4.20
6.31/4.20 num=290, depth=51..63, filters=603647, ccks=783, wck=2.079, mem=45M82
6.31/4.20 decisions=284484, wrong=134223, backtracks=126427, failedAssignments=48024, nogoods=948, foundSolutions=27, bestBound=1265
6.31/4.20
6.31/4.20 num=291, depth=58..67, filters=603928, ccks=783, wck=2.08, mem=45M82
6.31/4.20 decisions=284670, wrong=134285, backtracks=126482, failedAssignments=48055, nogoods=951, foundSolutions=27, bestBound=1265
6.31/4.20
6.31/4.20 num=292, depth=45..67, filters=604525, ccks=783, wck=2.083, mem=45M82
6.31/4.20 decisions=284957, wrong=134404, backtracks=126598, failedAssignments=48089, nogoods=953, foundSolutions=27, bestBound=1265
6.31/4.20
6.31/4.21 num=293, depth=59..69, filters=604789, ccks=783, wck=2.084, mem=45M82
6.31/4.21 decisions=285138, wrong=134465, backtracks=126650, failedAssignments=48126, nogoods=955, foundSolutions=27, bestBound=1265
6.31/4.21
6.31/4.21 num=294, depth=53..66, filters=605290, ccks=783, wck=2.087, mem=45M82
6.31/4.21 decisions=285369, wrong=134554, backtracks=126728, failedAssignments=48167, nogoods=956, foundSolutions=27, bestBound=1265
6.31/4.21
6.31/4.21 num=295, depth=51..64, filters=605692, ccks=783, wck=2.089, mem=45M82
6.31/4.21 decisions=285617, wrong=134651, backtracks=126817, failedAssignments=48212, nogoods=960, foundSolutions=27, bestBound=1265
6.31/4.21
6.31/4.21 num=296, depth=53..61, filters=606132, ccks=783, wck=2.091, mem=45M82
6.31/4.21 decisions=285851, wrong=134740, backtracks=126900, failedAssignments=48262, nogoods=965, foundSolutions=27, bestBound=1265
6.31/4.21
6.31/4.21 num=297, depth=43..62, filters=606807, ccks=783, wck=2.093, mem=45M82
6.31/4.21 decisions=286194, wrong=134888, backtracks=127034, failedAssignments=48317, nogoods=968, foundSolutions=27, bestBound=1265
6.31/4.21
6.31/4.22 num=298, depth=51..68, filters=607545, ccks=783, wck=2.097, mem=45M82
6.31/4.22 decisions=286563, wrong=135046, backtracks=127169, failedAssignments=48378, nogoods=973, foundSolutions=27, bestBound=1265
6.31/4.22
6.31/4.22 num=299, depth=47..60, filters=608279, ccks=783, wck=2.1, mem=45M82
6.31/4.22 decisions=286908, wrong=135195, backtracks=127311, failedAssignments=48445, nogoods=975, foundSolutions=27, bestBound=1265
6.31/4.22
6.31/4.22 num=300, depth=50..63, filters=609096, ccks=783, wck=2.103, mem=45M82
6.31/4.22 decisions=287378, wrong=135404, backtracks=127503, failedAssignments=48519, nogoods=978, foundSolutions=27, bestBound=1265
6.31/4.22
6.31/4.23 num=301, depth=49..64, filters=609764, ccks=783, wck=2.106, mem=45M82
6.31/4.23 decisions=287766, wrong=135570, backtracks=127648, failedAssignments=48600, nogoods=985, foundSolutions=27, bestBound=1265
6.31/4.23
6.31/4.23 num=302, depth=50..66, filters=610881, ccks=783, wck=2.11, mem=45M82
6.31/4.23 decisions=288327, wrong=135824, backtracks=127884, failedAssignments=48689, nogoods=990, foundSolutions=27, bestBound=1265
6.31/4.23
6.31/4.24 num=303, depth=50..65, filters=611874, ccks=783, wck=2.115, mem=45M82
6.31/4.24 decisions=288905, wrong=136088, backtracks=128129, failedAssignments=48787, nogoods=991, foundSolutions=27, bestBound=1265
6.31/4.24
6.31/4.24 num=304, depth=49..68, filters=613345, ccks=783, wck=2.121, mem=45M82
6.31/4.24 decisions=289516, wrong=136367, backtracks=128383, failedAssignments=48895, nogoods=996, foundSolutions=27, bestBound=1265
6.31/4.24
6.31/4.25 num=305, depth=41..61, filters=615039, ccks=783, wck=2.127, mem=45M82
6.31/4.25 decisions=290349, wrong=136763, backtracks=128761, failedAssignments=49014, nogoods=997, foundSolutions=27, bestBound=1265
6.31/4.25
6.31/4.25 num=306, depth=54..69, filters=616470, ccks=783, wck=2.132, mem=45M82
6.31/4.25 decisions=291041, wrong=137079, backtracks=129054, failedAssignments=49145, nogoods=1002, foundSolutions=27, bestBound=1265
6.31/4.25
6.31/4.26 num=307, depth=45..66, filters=617999, ccks=783, wck=2.139, mem=45M82
6.31/4.26 decisions=291876, wrong=137470, backtracks=129416, failedAssignments=49289, nogoods=1007, foundSolutions=27, bestBound=1265
6.31/4.26
6.31/4.27 num=308, depth=43..60, filters=619774, ccks=783, wck=2.145, mem=45M82
6.31/4.27 decisions=292731, wrong=137876, backtracks=129800, failedAssignments=49447, nogoods=1008, foundSolutions=27, bestBound=1265
6.31/4.27
6.31/4.27 num=309, depth=54..70, filters=621412, ccks=783, wck=2.151, mem=45M82
6.31/4.27 decisions=293505, wrong=138233, backtracks=130116, failedAssignments=49621, nogoods=1012, foundSolutions=27, bestBound=1265
6.31/4.27
6.31/4.28 num=310, depth=47..63, filters=624036, ccks=783, wck=2.159, mem=45M82
6.31/4.28 decisions=294525, wrong=138718, backtracks=130545, failedAssignments=49812, nogoods=1015, foundSolutions=27, bestBound=1265
6.31/4.28
6.31/4.29 num=311, depth=47..68, filters=626201, ccks=783, wck=2.167, mem=45M82
6.31/4.29 decisions=295670, wrong=139266, backtracks=131050, failedAssignments=50023, nogoods=1018, foundSolutions=27, bestBound=1265
6.31/4.29
6.44/4.30 num=312, depth=45..66, filters=630024, ccks=783, wck=2.179, mem=45M82
6.44/4.30 decisions=297197, wrong=140003, backtracks=131739, failedAssignments=50255, nogoods=1022, foundSolutions=27, bestBound=1265
6.44/4.30
6.44/4.31 num=313, depth=37..69, filters=633833, ccks=783, wck=2.193, mem=45M82
6.44/4.31 decisions=299099, wrong=140930, backtracks=132625, failedAssignments=50510, nogoods=1025, foundSolutions=27, bestBound=1265
6.44/4.31
6.44/4.33 num=314, depth=44..67, filters=637590, ccks=783, wck=2.207, mem=45M82
6.44/4.33 decisions=300848, wrong=141781, backtracks=133425, failedAssignments=50791, nogoods=1029, foundSolutions=27, bestBound=1265
6.44/4.33
6.44/4.35 num=315, depth=35..68, filters=641920, ccks=783, wck=2.224, mem=45M82
6.44/4.35 decisions=303032, wrong=142846, backtracks=134447, failedAssignments=51100, nogoods=1035, foundSolutions=27, bestBound=1265
6.44/4.35
6.44/4.36 num=316, depth=37..61, filters=646897, ccks=783, wck=2.241, mem=45M82
6.44/4.36 decisions=305304, wrong=143960, backtracks=135528, failedAssignments=51440, nogoods=1038, foundSolutions=27, bestBound=1265
6.44/4.36
6.44/4.37 num=317, depth=49..69, filters=650715, ccks=783, wck=2.254, mem=45M82
6.44/4.37 decisions=307280, wrong=144921, backtracks=136439, failedAssignments=51814, nogoods=1043, foundSolutions=27, bestBound=1265
6.44/4.37
6.44/4.39 num=318, depth=42..67, filters=656626, ccks=783, wck=2.271, mem=45M82
6.44/4.39 decisions=309670, wrong=146095, backtracks=137527, failedAssignments=52225, nogoods=1047, foundSolutions=27, bestBound=1265
6.44/4.39
6.54/4.41 num=319, depth=42..67, filters=662754, ccks=783, wck=2.293, mem=45M82
6.54/4.41 decisions=312463, wrong=147466, backtracks=138786, failedAssignments=52677, nogoods=1050, foundSolutions=27, bestBound=1265
6.54/4.41
6.54/4.44 num=320, depth=45..68, filters=669507, ccks=783, wck=2.315, mem=45M82
6.54/4.44 decisions=315484, wrong=148954, backtracks=140200, failedAssignments=53174, nogoods=1053, foundSolutions=27, bestBound=1265
6.54/4.44
6.54/4.46 num=321, depth=39..66, filters=676152, ccks=783, wck=2.34, mem=45M82
6.54/4.46 decisions=318656, wrong=150515, backtracks=141691, failedAssignments=53721, nogoods=1060, foundSolutions=27, bestBound=1265
6.54/4.46
6.54/4.48 num=322, depth=49..68, filters=683472, ccks=783, wck=2.363, mem=45M82
6.54/4.48 decisions=321738, wrong=152026, backtracks=143123, failedAssignments=54323, nogoods=1064, foundSolutions=27, bestBound=1265
6.54/4.48
6.64/4.51 num=323, depth=38..65, filters=691430, ccks=783, wck=2.388, mem=45M82
6.64/4.51 decisions=325560, wrong=153918, backtracks=144893, failedAssignments=54985, nogoods=1066, foundSolutions=27, bestBound=1265
6.64/4.51
6.64/4.55 num=324, depth=35..64, filters=703269, ccks=783, wck=2.432, mem=45M82
6.64/4.55 decisions=331178, wrong=156704, backtracks=147528, failedAssignments=55713, nogoods=1073, foundSolutions=27, bestBound=1265
6.64/4.55
6.64/4.59 num=325, depth=50..73, filters=712988, ccks=783, wck=2.464, mem=45M82
6.64/4.59 decisions=335995, wrong=159083, backtracks=149797, failedAssignments=56514, nogoods=1080, foundSolutions=27, bestBound=1265
6.64/4.59
6.74/4.63 num=326, depth=36..66, filters=725626, ccks=783, wck=2.512, mem=45M82
6.74/4.63 decisions=341881, wrong=162002, backtracks=152618, failedAssignments=57395, nogoods=1084, foundSolutions=27, bestBound=1265
6.74/4.63
6.74/4.67 num=327, depth=43..69, filters=736104, ccks=783, wck=2.547, mem=45M82
6.74/4.67 decisions=346909, wrong=164493, backtracks=154975, failedAssignments=58365, nogoods=1086, foundSolutions=27, bestBound=1265
6.74/4.67
6.84/4.71 num=328, depth=38..63, filters=749567, ccks=783, wck=2.592, mem=45M82
6.84/4.71 decisions=352699, wrong=167367, backtracks=157679, failedAssignments=59432, nogoods=1091, foundSolutions=27, bestBound=1265
6.84/4.71
6.94/4.84 num=329, depth=35..72, filters=767344, ccks=783, wck=2.649, mem=45M82
6.94/4.84 decisions=360394, wrong=171190, backtracks=161304, failedAssignments=60605, nogoods=1095, foundSolutions=27, bestBound=1265
6.94/4.84
6.94/4.84 num=330, depth=38..67, filters=786867, ccks=783, wck=2.715, mem=45M82
6.94/4.84 decisions=369251, wrong=175594, backtracks=165582, failedAssignments=61896, nogoods=1098, foundSolutions=27, bestBound=1265
6.94/4.84
7.04/4.91 num=331, depth=38..71, filters=810333, ccks=783, wck=2.789, mem=47M724
7.04/4.91 decisions=379000, wrong=180442, backtracks=170276, failedAssignments=63316, nogoods=1104, foundSolutions=27, bestBound=1265
7.04/4.91
7.04/4.98 num=332, depth=42..68, filters=832016, ccks=783, wck=2.859, mem=47M724
7.04/4.98 decisions=389109, wrong=185472, backtracks=175133, failedAssignments=64878, nogoods=1107, foundSolutions=27, bestBound=1265
7.04/4.98
7.15/5.07 num=333, depth=30..65, filters=861722, ccks=783, wck=2.952, mem=47M724
7.15/5.07 decisions=402339, wrong=192064, backtracks=181483, failedAssignments=66596, nogoods=1112, foundSolutions=27, bestBound=1265
7.15/5.07
7.25/5.17 num=334, depth=38..68, filters=890381, ccks=783, wck=3.048, mem=47M724
7.25/5.17 decisions=414937, wrong=198339, backtracks=187439, failedAssignments=68486, nogoods=1116, foundSolutions=27, bestBound=1265
7.25/5.17
7.34/5.28 num=335, depth=33..70, filters=928490, ccks=783, wck=3.162, mem=47M724
7.34/5.28 decisions=430222, wrong=205954, backtracks=194710, failedAssignments=70565, nogoods=1124, foundSolutions=27, bestBound=1265
7.34/5.28
7.54/5.41 num=336, depth=33..63, filters=965371, ccks=783, wck=3.286, mem=47M724
7.54/5.41 decisions=446614, wrong=214129, backtracks=202733, failedAssignments=72852, nogoods=1128, foundSolutions=27, bestBound=1265
7.54/5.41
7.64/5.55 num=337, depth=29..67, filters=1007241, ccks=783, wck=3.428, mem=47M724
7.64/5.55 decisions=466461, wrong=224033, backtracks=212330, failedAssignments=75368, nogoods=1131, foundSolutions=27, bestBound=1265
7.64/5.55
7.84/5.72 num=338, depth=20..68, filters=1051021, ccks=783, wck=3.595, mem=47M724
7.84/5.72 decisions=488246, wrong=234903, backtracks=222613, failedAssignments=78136, nogoods=1136, foundSolutions=27, bestBound=1265
7.84/5.72
8.04/5.92 num=339, depth=24..63, filters=1110433, ccks=783, wck=3.796, mem=47M724
8.04/5.92 decisions=513390, wrong=247450, backtracks=234671, failedAssignments=81180, nogoods=1143, foundSolutions=27, bestBound=1265
8.04/5.92
8.15/6.04 num=340, depth=38..67, filters=1149204, ccks=783, wck=3.919, mem=47M724
8.15/6.04 decisions=531521, wrong=256493, backtracks=243223, failedAssignments=84529, nogoods=1147, foundSolutions=27, bestBound=1265
8.15/6.04
8.15/6.04 o 1262
8.15/6.04 num=341, depth=57..88, filters=1150018, ccks=812, wck=3.923, mem=50M367
8.15/6.04 decisions=531895, wrong=256648, backtracks=243360, failedAssignments=84582, nogoods=1151, foundSolutions=28, bestBound=1262
8.15/6.04
8.15/6.05 o 1251
8.15/6.05 num=342, depth=58..88, filters=1151170, ccks=841, wck=3.927, mem=50M367
8.15/6.05 decisions=532446, wrong=256893, backtracks=243577, failedAssignments=84691, nogoods=1157, foundSolutions=29, bestBound=1251
8.15/6.05
8.15/6.05 num=343, depth=61..70, filters=1151252, ccks=841, wck=3.928, mem=50M367
8.15/6.05 decisions=532554, wrong=256915, backtracks=243593, failedAssignments=84702, nogoods=1161, foundSolutions=29, bestBound=1251
8.15/6.05
8.15/6.05 num=344, depth=60..68, filters=1151357, ccks=841, wck=3.929, mem=50M367
8.15/6.05 decisions=532668, wrong=256940, backtracks=243616, failedAssignments=84713, nogoods=1164, foundSolutions=29, bestBound=1251
8.15/6.05
8.15/6.05 num=345, depth=58..68, filters=1151480, ccks=841, wck=3.93, mem=50M367
8.15/6.05 decisions=532790, wrong=256971, backtracks=243643, failedAssignments=84725, nogoods=1166, foundSolutions=29, bestBound=1251
8.15/6.05
8.15/6.05 num=346, depth=59..67, filters=1151632, ccks=841, wck=3.931, mem=50M367
8.15/6.05 decisions=532918, wrong=257003, backtracks=243668, failedAssignments=84738, nogoods=1170, foundSolutions=29, bestBound=1251
8.15/6.05
8.15/6.05 num=347, depth=57..67, filters=1151803, ccks=841, wck=3.932, mem=50M367
8.15/6.05 decisions=533066, wrong=257045, backtracks=243706, failedAssignments=84752, nogoods=1173, foundSolutions=29, bestBound=1251
8.15/6.05
8.15/6.05 num=348, depth=61..69, filters=1151932, ccks=841, wck=3.933, mem=50M367
8.15/6.05 decisions=533205, wrong=257082, backtracks=243740, failedAssignments=84768, nogoods=1176, foundSolutions=29, bestBound=1251
8.15/6.05
8.15/6.05 num=349, depth=61..70, filters=1152113, ccks=841, wck=3.934, mem=50M367
8.15/6.05 decisions=533352, wrong=257125, backtracks=243779, failedAssignments=84785, nogoods=1177, foundSolutions=29, bestBound=1251
8.15/6.05
8.15/6.06 num=350, depth=53..62, filters=1152387, ccks=841, wck=3.935, mem=50M367
8.15/6.06 decisions=533527, wrong=257183, backtracks=243835, failedAssignments=84804, nogoods=1179, foundSolutions=29, bestBound=1251
8.15/6.06
8.15/6.06 num=351, depth=49..66, filters=1152611, ccks=841, wck=3.937, mem=50M367
8.15/6.06 decisions=533707, wrong=257243, backtracks=243884, failedAssignments=84825, nogoods=1183, foundSolutions=29, bestBound=1251
8.15/6.06
8.15/6.06 num=352, depth=50..66, filters=1152952, ccks=841, wck=3.939, mem=50M367
8.15/6.06 decisions=533909, wrong=257319, backtracks=243953, failedAssignments=84848, nogoods=1184, foundSolutions=29, bestBound=1251
8.15/6.06
8.15/6.06 num=353, depth=55..71, filters=1153242, ccks=841, wck=3.94, mem=50M367
8.15/6.06 decisions=534111, wrong=257388, backtracks=244018, failedAssignments=84873, nogoods=1188, foundSolutions=29, bestBound=1251
8.15/6.06
8.15/6.06 num=354, depth=49..67, filters=1153647, ccks=841, wck=3.943, mem=50M367
8.15/6.06 decisions=534352, wrong=257477, backtracks=244100, failedAssignments=84901, nogoods=1192, foundSolutions=29, bestBound=1251
8.15/6.06
8.15/6.07 num=355, depth=50..63, filters=1154126, ccks=841, wck=3.945, mem=50M367
8.15/6.07 decisions=534636, wrong=257594, backtracks=244214, failedAssignments=84932, nogoods=1193, foundSolutions=29, bestBound=1251
8.15/6.07
8.15/6.07 num=356, depth=49..64, filters=1154575, ccks=841, wck=3.947, mem=50M367
8.15/6.07 decisions=534893, wrong=257696, backtracks=244307, failedAssignments=84966, nogoods=1196, foundSolutions=29, bestBound=1251
8.15/6.07
8.15/6.07 num=357, depth=50..68, filters=1154914, ccks=841, wck=3.949, mem=50M367
8.15/6.07 decisions=535129, wrong=257789, backtracks=244396, failedAssignments=85003, nogoods=1199, foundSolutions=29, bestBound=1251
8.15/6.07
8.15/6.07 num=358, depth=56..70, filters=1155438, ccks=841, wck=3.951, mem=50M367
8.15/6.07 decisions=535419, wrong=257905, backtracks=244496, failedAssignments=85044, nogoods=1201, foundSolutions=29, bestBound=1251
8.15/6.07
8.15/6.08 num=359, depth=52..66, filters=1156046, ccks=841, wck=3.954, mem=50M367
8.15/6.08 decisions=535743, wrong=258040, backtracks=244616, failedAssignments=85089, nogoods=1204, foundSolutions=29, bestBound=1251
8.15/6.08
8.15/6.08 num=360, depth=52..69, filters=1156623, ccks=841, wck=3.957, mem=50M367
8.15/6.08 decisions=536043, wrong=258161, backtracks=244722, failedAssignments=85139, nogoods=1208, foundSolutions=29, bestBound=1251
8.15/6.08
8.15/6.08 num=361, depth=51..67, filters=1157362, ccks=841, wck=3.961, mem=50M367
8.15/6.08 decisions=536462, wrong=258345, backtracks=244892, failedAssignments=85194, nogoods=1212, foundSolutions=29, bestBound=1251
8.15/6.08
8.15/6.09 num=362, depth=50..70, filters=1158296, ccks=841, wck=3.964, mem=50M367
8.15/6.09 decisions=536939, wrong=258551, backtracks=245081, failedAssignments=85255, nogoods=1217, foundSolutions=29, bestBound=1251
8.15/6.09
8.15/6.09 num=363, depth=51..66, filters=1159015, ccks=841, wck=3.968, mem=50M367
8.15/6.09 decisions=537302, wrong=258706, backtracks=245221, failedAssignments=85322, nogoods=1219, foundSolutions=29, bestBound=1251
8.15/6.09
8.15/6.09 num=364, depth=52..69, filters=1160013, ccks=841, wck=3.972, mem=50M367
8.15/6.09 decisions=537835, wrong=258942, backtracks=245440, failedAssignments=85396, nogoods=1223, foundSolutions=29, bestBound=1251
8.15/6.09
8.15/6.10 num=365, depth=60..70, filters=1160854, ccks=841, wck=3.976, mem=50M367
8.15/6.10 decisions=538271, wrong=259130, backtracks=245611, failedAssignments=85477, nogoods=1224, foundSolutions=29, bestBound=1251
8.15/6.10
8.15/6.10 num=366, depth=57..70, filters=1161832, ccks=841, wck=3.98, mem=50M367
8.15/6.10 decisions=538757, wrong=259344, backtracks=245811, failedAssignments=85566, nogoods=1228, foundSolutions=29, bestBound=1251
8.15/6.10
8.26/6.11 num=367, depth=45..63, filters=1163052, ccks=841, wck=3.985, mem=50M367
8.26/6.11 decisions=539328, wrong=259605, backtracks=246054, failedAssignments=85664, nogoods=1230, foundSolutions=29, bestBound=1251
8.26/6.11
8.26/6.11 num=368, depth=52..65, filters=1164253, ccks=841, wck=3.99, mem=50M367
8.26/6.11 decisions=539881, wrong=259854, backtracks=246277, failedAssignments=85772, nogoods=1234, foundSolutions=29, bestBound=1251
8.26/6.11
8.26/6.12 num=369, depth=53..68, filters=1165331, ccks=841, wck=3.994, mem=50M367
8.26/6.12 decisions=540456, wrong=260113, backtracks=246519, failedAssignments=85891, nogoods=1237, foundSolutions=29, bestBound=1251
8.26/6.12
8.26/6.12 num=370, depth=44..65, filters=1166971, ccks=841, wck=4.001, mem=50M367
8.26/6.12 decisions=541354, wrong=260536, backtracks=246922, failedAssignments=86022, nogoods=1240, foundSolutions=29, bestBound=1251
8.26/6.12
8.26/6.13 num=371, depth=43..64, filters=1168503, ccks=841, wck=4.008, mem=50M367
8.26/6.13 decisions=542207, wrong=260939, backtracks=247296, failedAssignments=86166, nogoods=1242, foundSolutions=29, bestBound=1251
8.26/6.13
8.26/6.14 num=372, depth=51..68, filters=1170319, ccks=841, wck=4.014, mem=50M367
8.26/6.14 decisions=543086, wrong=261353, backtracks=247694, failedAssignments=86324, nogoods=1245, foundSolutions=29, bestBound=1251
8.26/6.14
8.26/6.14 num=373, depth=52..69, filters=1171674, ccks=841, wck=4.02, mem=50M367
8.26/6.14 decisions=543886, wrong=261725, backtracks=248047, failedAssignments=86498, nogoods=1249, foundSolutions=29, bestBound=1251
8.26/6.14
8.26/6.15 num=374, depth=45..61, filters=1173787, ccks=841, wck=4.028, mem=50M367
8.26/6.15 decisions=545002, wrong=262258, backtracks=248558, failedAssignments=86689, nogoods=1254, foundSolutions=29, bestBound=1251
8.26/6.15
8.26/6.16 num=375, depth=49..69, filters=1176194, ccks=841, wck=4.037, mem=50M367
8.26/6.16 decisions=546210, wrong=262835, backtracks=249091, failedAssignments=86900, nogoods=1258, foundSolutions=29, bestBound=1251
8.26/6.16
8.26/6.17 num=376, depth=45..66, filters=1179262, ccks=841, wck=4.048, mem=50M367
8.26/6.17 decisions=547533, wrong=263471, backtracks=249700, failedAssignments=87132, nogoods=1264, foundSolutions=29, bestBound=1251
8.26/6.17
8.26/6.18 num=377, depth=47..64, filters=1182634, ccks=841, wck=4.058, mem=50M367
8.26/6.18 decisions=549000, wrong=264180, backtracks=250373, failedAssignments=87387, nogoods=1266, foundSolutions=29, bestBound=1251
8.26/6.18
8.26/6.19 num=378, depth=43..70, filters=1186192, ccks=841, wck=4.072, mem=50M367
8.26/6.19 decisions=550659, wrong=264983, backtracks=251131, failedAssignments=87668, nogoods=1269, foundSolutions=29, bestBound=1251
8.26/6.19
8.35/6.21 num=379, depth=50..69, filters=1190025, ccks=841, wck=4.085, mem=50M367
8.35/6.21 decisions=552284, wrong=265767, backtracks=251862, failedAssignments=87977, nogoods=1272, foundSolutions=29, bestBound=1251
8.35/6.21
8.35/6.22 num=380, depth=44..65, filters=1194015, ccks=841, wck=4.099, mem=50M367
8.35/6.22 decisions=554302, wrong=266753, backtracks=252799, failedAssignments=88317, nogoods=1276, foundSolutions=29, bestBound=1251
8.35/6.22
8.35/6.24 num=381, depth=37..60, filters=1199736, ccks=841, wck=4.12, mem=50M367
8.35/6.24 decisions=556357, wrong=267759, backtracks=253765, failedAssignments=88691, nogoods=1282, foundSolutions=29, bestBound=1251
8.35/6.24
8.35/6.26 num=382, depth=36..64, filters=1205799, ccks=841, wck=4.14, mem=50M367
8.35/6.26 decisions=559028, wrong=269072, backtracks=254979, failedAssignments=89102, nogoods=1284, foundSolutions=29, bestBound=1251
8.35/6.26
8.35/6.28 num=383, depth=51..71, filters=1210537, ccks=841, wck=4.158, mem=50M367
8.35/6.28 decisions=561491, wrong=270273, backtracks=256126, failedAssignments=89554, nogoods=1286, foundSolutions=29, bestBound=1251
8.35/6.28
8.46/6.30 num=384, depth=50..67, filters=1215822, ccks=841, wck=4.176, mem=50M367
8.46/6.30 decisions=563941, wrong=271470, backtracks=257245, failedAssignments=90051, nogoods=1292, foundSolutions=29, bestBound=1251
8.46/6.30
8.46/6.32 num=385, depth=50..68, filters=1222595, ccks=841, wck=4.198, mem=50M367
8.46/6.32 decisions=566888, wrong=272917, backtracks=258588, failedAssignments=90598, nogoods=1296, foundSolutions=29, bestBound=1251
8.46/6.32
8.46/6.35 num=386, depth=42..68, filters=1230273, ccks=841, wck=4.225, mem=50M367
8.46/6.35 decisions=570411, wrong=274655, backtracks=260223, failedAssignments=91200, nogoods=1301, foundSolutions=29, bestBound=1251
8.46/6.35
8.46/6.38 num=387, depth=39..67, filters=1239492, ccks=841, wck=4.255, mem=50M367
8.46/6.38 decisions=574480, wrong=276664, backtracks=262101, failedAssignments=91862, nogoods=1306, foundSolutions=29, bestBound=1251
8.46/6.38
8.56/6.41 num=388, depth=49..69, filters=1247770, ccks=841, wck=4.285, mem=50M367
8.56/6.41 decisions=578258, wrong=278526, backtracks=263834, failedAssignments=92590, nogoods=1310, foundSolutions=29, bestBound=1251
8.56/6.41
8.56/6.44 num=389, depth=47..69, filters=1255749, ccks=841, wck=4.314, mem=50M367
8.56/6.44 decisions=582205, wrong=280474, backtracks=265663, failedAssignments=93391, nogoods=1314, foundSolutions=29, bestBound=1251
8.56/6.44
8.56/6.47 num=390, depth=43..67, filters=1267508, ccks=841, wck=4.35, mem=50M367
8.56/6.47 decisions=587490, wrong=283095, backtracks=268125, failedAssignments=94272, nogoods=1320, foundSolutions=29, bestBound=1251
8.56/6.47
8.66/6.52 num=391, depth=39..65, filters=1282136, ccks=841, wck=4.397, mem=50M367
8.66/6.52 decisions=593683, wrong=286172, backtracks=271037, failedAssignments=95242, nogoods=1321, foundSolutions=29, bestBound=1251
8.66/6.52
8.66/6.56 num=392, depth=44..66, filters=1294368, ccks=841, wck=4.438, mem=50M367
8.66/6.56 decisions=599686, wrong=289150, backtracks=273887, failedAssignments=96309, nogoods=1326, foundSolutions=29, bestBound=1251
8.66/6.56
8.76/6.62 num=393, depth=42..69, filters=1311424, ccks=841, wck=4.497, mem=50M367
8.76/6.62 decisions=607237, wrong=292898, backtracks=277502, failedAssignments=97482, nogoods=1331, foundSolutions=29, bestBound=1251
8.76/6.62
8.76/6.68 num=394, depth=40..68, filters=1327297, ccks=841, wck=4.558, mem=50M367
8.76/6.68 decisions=613838, wrong=296172, backtracks=280607, failedAssignments=98773, nogoods=1336, foundSolutions=29, bestBound=1251
8.76/6.68
8.86/6.75 num=395, depth=37..72, filters=1348264, ccks=841, wck=4.629, mem=53M9
8.86/6.75 decisions=623280, wrong=300872, backtracks=285135, failedAssignments=100193, nogoods=1341, foundSolutions=29, bestBound=1251
8.86/6.75
8.96/6.83 num=396, depth=41..65, filters=1371355, ccks=841, wck=4.713, mem=53M9
8.96/6.83 decisions=632816, wrong=305617, backtracks=289672, failedAssignments=101755, nogoods=1348, foundSolutions=29, bestBound=1251
8.96/6.83
8.96/6.85 o 1195
8.96/6.85 num=397, depth=54..88, filters=1375806, ccks=870, wck=4.728, mem=53M9
8.96/6.85 decisions=635038, wrong=306696, backtracks=290696, failedAssignments=102114, nogoods=1354, foundSolutions=30, bestBound=1195
8.96/6.85
9.07/6.97 num=398, depth=27..70, filters=1409438, ccks=870, wck=4.848, mem=53M9
9.07/6.97 decisions=650439, wrong=314371, backtracks=297992, failedAssignments=104004, nogoods=1357, foundSolutions=30, bestBound=1195
9.07/6.97
9.07/6.97 num=399, depth=55..67, filters=1409625, ccks=870, wck=4.85, mem=53M9
9.07/6.97 decisions=650570, wrong=314409, backtracks=298027, failedAssignments=104015, nogoods=1358, foundSolutions=30, bestBound=1195
9.07/6.97
9.07/6.97 num=400, depth=55..66, filters=1409908, ccks=870, wck=4.852, mem=53M9
9.07/6.97 decisions=650755, wrong=314474, backtracks=298090, failedAssignments=104027, nogoods=1361, foundSolutions=30, bestBound=1195
9.07/6.97
9.07/6.97 num=401, depth=54..62, filters=1410115, ccks=870, wck=4.853, mem=53M9
9.07/6.97 decisions=650903, wrong=314518, backtracks=298130, failedAssignments=104040, nogoods=1363, foundSolutions=30, bestBound=1195
9.07/6.97
9.07/6.98 num=402, depth=54..65, filters=1410268, ccks=870, wck=4.854, mem=53M9
9.07/6.98 decisions=651027, wrong=314551, backtracks=298158, failedAssignments=104054, nogoods=1366, foundSolutions=30, bestBound=1195
9.07/6.98
9.07/6.98 num=403, depth=54..64, filters=1410446, ccks=870, wck=4.855, mem=53M9
9.07/6.98 decisions=651153, wrong=314586, backtracks=298186, failedAssignments=104070, nogoods=1371, foundSolutions=30, bestBound=1195
9.07/6.98
9.07/6.98 num=404, depth=52..63, filters=1410694, ccks=870, wck=4.856, mem=53M9
9.07/6.98 decisions=651302, wrong=314632, backtracks=298228, failedAssignments=104087, nogoods=1373, foundSolutions=30, bestBound=1195
9.07/6.98
9.07/6.98 num=405, depth=52..61, filters=1410861, ccks=870, wck=4.857, mem=53M9
9.07/6.98 decisions=651444, wrong=314675, backtracks=298263, failedAssignments=104106, nogoods=1376, foundSolutions=30, bestBound=1195
9.07/6.98
9.07/6.98 num=406, depth=51..64, filters=1411078, ccks=870, wck=4.858, mem=53M9
9.07/6.98 decisions=651622, wrong=314737, backtracks=298314, failedAssignments=104127, nogoods=1379, foundSolutions=30, bestBound=1195
9.07/6.98
9.07/6.98 num=407, depth=51..63, filters=1411394, ccks=870, wck=4.86, mem=53M9
9.07/6.98 decisions=651809, wrong=314804, backtracks=298373, failedAssignments=104150, nogoods=1382, foundSolutions=30, bestBound=1195
9.07/6.98
9.07/6.98 num=408, depth=50..64, filters=1411729, ccks=870, wck=4.861, mem=53M9
9.07/6.98 decisions=652011, wrong=314878, backtracks=298440, failedAssignments=104175, nogoods=1385, foundSolutions=30, bestBound=1195
9.07/6.98
9.07/6.98 num=409, depth=50..61, filters=1412142, ccks=870, wck=4.863, mem=53M9
9.07/6.98 decisions=652235, wrong=314963, backtracks=298515, failedAssignments=104203, nogoods=1389, foundSolutions=30, bestBound=1195
9.07/6.98
9.07/6.99 num=410, depth=49..61, filters=1412565, ccks=870, wck=4.865, mem=53M9
9.07/6.99 decisions=652479, wrong=315057, backtracks=298598, failedAssignments=104234, nogoods=1392, foundSolutions=30, bestBound=1195
9.07/6.99
9.07/6.99 num=411, depth=54..64, filters=1412940, ccks=870, wck=4.867, mem=53M9
9.07/6.99 decisions=652689, wrong=315133, backtracks=298666, failedAssignments=104268, nogoods=1396, foundSolutions=30, bestBound=1195
9.07/6.99
9.07/6.99 num=412, depth=50..64, filters=1413452, ccks=870, wck=4.869, mem=53M9
9.07/6.99 decisions=652996, wrong=315260, backtracks=298786, failedAssignments=104305, nogoods=1400, foundSolutions=30, bestBound=1195
9.07/6.99
9.07/6.99 num=413, depth=53..62, filters=1413949, ccks=870, wck=4.871, mem=53M9
9.07/6.99 decisions=653233, wrong=315351, backtracks=298872, failedAssignments=104346, nogoods=1403, foundSolutions=30, bestBound=1195
9.07/6.99
9.07/6.99 num=414, depth=46..59, filters=1414600, ccks=870, wck=4.874, mem=53M9
9.07/6.99 decisions=653567, wrong=315491, backtracks=298997, failedAssignments=104391, nogoods=1406, foundSolutions=30, bestBound=1195
9.07/6.99
9.07/7.00 num=415, depth=53..66, filters=1415155, ccks=870, wck=4.876, mem=53M9
9.07/7.00 decisions=653837, wrong=315598, backtracks=299097, failedAssignments=104441, nogoods=1409, foundSolutions=30, bestBound=1195
9.07/7.00
9.07/7.00 num=416, depth=46..63, filters=1416095, ccks=870, wck=4.88, mem=53M9
9.07/7.00 decisions=654377, wrong=315845, backtracks=299341, failedAssignments=104496, nogoods=1410, foundSolutions=30, bestBound=1195
9.07/7.00
9.07/7.00 num=417, depth=52..64, filters=1416669, ccks=870, wck=4.882, mem=53M9
9.07/7.00 decisions=654701, wrong=315979, backtracks=299459, failedAssignments=104557, nogoods=1413, foundSolutions=30, bestBound=1195
9.07/7.00
9.18/7.01 num=418, depth=46..62, filters=1417748, ccks=870, wck=4.886, mem=53M9
9.18/7.01 decisions=655194, wrong=316198, backtracks=299657, failedAssignments=104624, nogoods=1417, foundSolutions=30, bestBound=1195
9.18/7.01
9.18/7.01 num=419, depth=51..64, filters=1418690, ccks=870, wck=4.89, mem=53M9
9.18/7.01 decisions=655616, wrong=316383, backtracks=299833, failedAssignments=104698, nogoods=1420, foundSolutions=30, bestBound=1195
9.18/7.01
9.18/7.02 num=420, depth=46..61, filters=1419644, ccks=870, wck=4.894, mem=53M9
9.18/7.02 decisions=656134, wrong=316616, backtracks=300039, failedAssignments=104779, nogoods=1424, foundSolutions=30, bestBound=1195
9.18/7.02
9.18/7.02 num=421, depth=50..62, filters=1420762, ccks=870, wck=4.899, mem=53M9
9.18/7.02 decisions=656614, wrong=316829, backtracks=300228, failedAssignments=104868, nogoods=1428, foundSolutions=30, bestBound=1195
9.18/7.02
9.18/7.02 num=422, depth=52..64, filters=1421943, ccks=870, wck=4.902, mem=53M9
9.18/7.02 decisions=657120, wrong=317056, backtracks=300436, failedAssignments=104966, nogoods=1431, foundSolutions=30, bestBound=1195
9.18/7.02
9.18/7.03 num=423, depth=50..66, filters=1423406, ccks=870, wck=4.908, mem=53M9
9.18/7.03 decisions=657817, wrong=317378, backtracks=300741, failedAssignments=105074, nogoods=1433, foundSolutions=30, bestBound=1195
9.18/7.03
9.18/7.04 num=424, depth=39..58, filters=1425178, ccks=870, wck=4.915, mem=53M9
9.18/7.04 decisions=658548, wrong=317723, backtracks=301050, failedAssignments=105193, nogoods=1437, foundSolutions=30, bestBound=1195
9.18/7.04
9.18/7.05 num=425, depth=38..64, filters=1427651, ccks=870, wck=4.925, mem=53M9
9.18/7.05 decisions=659696, wrong=318273, backtracks=301574, failedAssignments=105324, nogoods=1439, foundSolutions=30, bestBound=1195
9.18/7.05
9.18/7.06 num=426, depth=49..65, filters=1429582, ccks=870, wck=4.934, mem=53M9
9.18/7.06 decisions=660500, wrong=318649, backtracks=301933, failedAssignments=105468, nogoods=1443, foundSolutions=30, bestBound=1195
9.18/7.06
9.18/7.06 num=427, depth=40..68, filters=1431620, ccks=870, wck=4.943, mem=53M9
9.18/7.06 decisions=661590, wrong=319170, backtracks=302443, failedAssignments=105626, nogoods=1447, foundSolutions=30, bestBound=1195
9.18/7.06
9.18/7.07 num=428, depth=49..71, filters=1433744, ccks=870, wck=4.952, mem=53M9
9.18/7.07 decisions=662568, wrong=319631, backtracks=302887, failedAssignments=105800, nogoods=1451, foundSolutions=30, bestBound=1195
9.18/7.07
9.18/7.09 num=429, depth=34..58, filters=1436968, ccks=870, wck=4.965, mem=53M9
9.18/7.09 decisions=664081, wrong=320370, backtracks=303587, failedAssignments=105991, nogoods=1455, foundSolutions=30, bestBound=1195
9.18/7.09
9.18/7.10 num=430, depth=41..64, filters=1440456, ccks=870, wck=4.978, mem=53M9
9.18/7.10 decisions=665248, wrong=320931, backtracks=304107, failedAssignments=106202, nogoods=1458, foundSolutions=30, bestBound=1195
9.18/7.10
9.28/7.11 num=431, depth=40..68, filters=1444364, ccks=870, wck=4.992, mem=53M9
9.28/7.11 decisions=667020, wrong=321793, backtracks=304908, failedAssignments=106434, nogoods=1461, foundSolutions=30, bestBound=1195
9.28/7.11
9.28/7.13 num=432, depth=47..64, filters=1447629, ccks=870, wck=5.005, mem=53M9
9.28/7.13 decisions=668379, wrong=322448, backtracks=305524, failedAssignments=106689, nogoods=1466, foundSolutions=30, bestBound=1195
9.28/7.13
9.28/7.14 num=433, depth=44..70, filters=1452266, ccks=870, wck=5.022, mem=53M9
9.28/7.14 decisions=670149, wrong=323305, backtracks=306329, failedAssignments=106970, nogoods=1468, foundSolutions=30, bestBound=1195
9.28/7.14
9.28/7.16 num=434, depth=35..62, filters=1456626, ccks=870, wck=5.04, mem=53M9
9.28/7.16 decisions=672016, wrong=324216, backtracks=307185, failedAssignments=107279, nogoods=1473, foundSolutions=30, bestBound=1195
9.28/7.16
9.28/7.18 num=435, depth=41..64, filters=1460321, ccks=870, wck=5.056, mem=53M9
9.28/7.18 decisions=673735, wrong=325053, backtracks=307972, failedAssignments=107619, nogoods=1476, foundSolutions=30, bestBound=1195
9.28/7.18
9.37/7.20 num=436, depth=34..66, filters=1465675, ccks=870, wck=5.077, mem=53M9
9.37/7.20 decisions=676216, wrong=326274, backtracks=309125, failedAssignments=107993, nogoods=1481, foundSolutions=30, bestBound=1195
9.37/7.20
9.37/7.21 num=437, depth=45..62, filters=1470067, ccks=870, wck=5.093, mem=53M9
9.37/7.21 decisions=678163, wrong=327223, backtracks=310034, failedAssignments=108404, nogoods=1484, foundSolutions=30, bestBound=1195
9.37/7.21
9.37/7.23 num=438, depth=47..70, filters=1475539, ccks=870, wck=5.113, mem=53M9
9.37/7.23 decisions=681036, wrong=328628, backtracks=311346, failedAssignments=108856, nogoods=1488, foundSolutions=30, bestBound=1195
9.37/7.23
9.37/7.26 num=439, depth=40..60, filters=1481880, ccks=870, wck=5.136, mem=53M9
9.37/7.26 decisions=683803, wrong=329990, backtracks=312638, failedAssignments=109353, nogoods=1492, foundSolutions=30, bestBound=1195
9.37/7.26
9.37/7.29 num=440, depth=32..66, filters=1490579, ccks=870, wck=5.17, mem=53M9
9.37/7.29 decisions=688094, wrong=332108, backtracks=314684, failedAssignments=109900, nogoods=1497, foundSolutions=30, bestBound=1195
9.37/7.29
9.47/7.32 num=441, depth=47..69, filters=1499090, ccks=870, wck=5.203, mem=53M9
9.47/7.32 decisions=691810, wrong=333937, backtracks=316433, failedAssignments=110502, nogoods=1500, foundSolutions=30, bestBound=1195
9.47/7.32
9.47/7.36 num=442, depth=36..65, filters=1509947, ccks=870, wck=5.242, mem=53M9
9.47/7.36 decisions=696932, wrong=336472, backtracks=318860, failedAssignments=111164, nogoods=1505, foundSolutions=30, bestBound=1195
9.47/7.36
9.47/7.39 num=443, depth=42..65, filters=1518013, ccks=870, wck=5.273, mem=53M9
9.47/7.39 decisions=700800, wrong=338382, backtracks=320653, failedAssignments=111892, nogoods=1509, foundSolutions=30, bestBound=1195
9.47/7.39
9.57/7.43 num=444, depth=46..64, filters=1527841, ccks=870, wck=5.306, mem=53M9
9.57/7.43 decisions=705348, wrong=340629, backtracks=322763, failedAssignments=112693, nogoods=1512, foundSolutions=30, bestBound=1195
9.57/7.43
9.57/7.47 num=445, depth=41..66, filters=1538641, ccks=870, wck=5.345, mem=53M9
9.57/7.47 decisions=710551, wrong=343209, backtracks=325176, failedAssignments=113574, nogoods=1515, foundSolutions=30, bestBound=1195
9.57/7.47
9.67/7.53 num=446, depth=32..67, filters=1553504, ccks=870, wck=5.404, mem=55M652
9.67/7.53 decisions=717026, wrong=346421, backtracks=328152, failedAssignments=114544, nogoods=1520, foundSolutions=30, bestBound=1195
9.67/7.53
9.67/7.58 num=447, depth=44..71, filters=1569329, ccks=870, wck=5.456, mem=55M652
9.67/7.58 decisions=724528, wrong=350146, backtracks=331714, failedAssignments=115611, nogoods=1525, foundSolutions=30, bestBound=1195
9.67/7.58
9.77/7.63 num=448, depth=37..67, filters=1585608, ccks=870, wck=5.513, mem=55M652
9.77/7.63 decisions=732065, wrong=353892, backtracks=335331, failedAssignments=116784, nogoods=1529, foundSolutions=30, bestBound=1195
9.77/7.63
9.87/7.71 num=449, depth=26..63, filters=1605836, ccks=870, wck=5.587, mem=55M652
9.87/7.71 decisions=742110, wrong=358891, backtracks=340178, failedAssignments=118075, nogoods=1533, foundSolutions=30, bestBound=1195
9.87/7.71
9.97/7.80 num=450, depth=29..65, filters=1627923, ccks=870, wck=5.679, mem=55M652
9.97/7.80 decisions=750644, wrong=363134, backtracks=344231, failedAssignments=119495, nogoods=1537, foundSolutions=30, bestBound=1195
9.97/7.80
9.97/7.86 num=451, depth=42..69, filters=1647216, ccks=870, wck=5.739, mem=55M652
9.97/7.86 decisions=759965, wrong=367769, backtracks=348580, failedAssignments=121057, nogoods=1541, foundSolutions=30, bestBound=1195
9.97/7.86
10.07/7.97 num=452, depth=38..65, filters=1672739, ccks=870, wck=5.844, mem=55M652
10.07/7.97 decisions=770783, wrong=373156, backtracks=353734, failedAssignments=122775, nogoods=1545, foundSolutions=30, bestBound=1195
10.07/7.97
10.18/8.04 num=453, depth=36..64, filters=1696670, ccks=870, wck=5.919, mem=55M652
10.18/8.04 decisions=781698, wrong=378592, backtracks=358892, failedAssignments=124665, nogoods=1551, foundSolutions=30, bestBound=1195
10.18/8.04
10.28/8.17 num=454, depth=33..67, filters=1731296, ccks=870, wck=6.047, mem=55M652
10.28/8.17 decisions=796087, wrong=385762, backtracks=365758, failedAssignments=126744, nogoods=1556, foundSolutions=30, bestBound=1195
10.28/8.17
10.37/8.27 num=455, depth=38..71, filters=1760801, ccks=870, wck=6.151, mem=55M652
10.37/8.27 decisions=809515, wrong=392451, backtracks=372091, failedAssignments=129031, nogoods=1561, foundSolutions=30, bestBound=1195
10.37/8.27
10.57/8.41 num=456, depth=40..70, filters=1798934, ccks=870, wck=6.291, mem=55M652
10.57/8.41 decisions=826289, wrong=400814, backtracks=380102, failedAssignments=131547, nogoods=1567, foundSolutions=30, bestBound=1195
10.57/8.41
10.67/8.55 num=457, depth=34..65, filters=1842457, ccks=870, wck=6.43, mem=55M652
10.67/8.55 decisions=845679, wrong=410489, backtracks=389316, failedAssignments=134315, nogoods=1572, foundSolutions=30, bestBound=1195
10.67/8.55
10.77/8.69 num=458, depth=42..72, filters=1885567, ccks=870, wck=6.569, mem=55M652
10.77/8.69 decisions=865739, wrong=420492, backtracks=398871, failedAssignments=137359, nogoods=1579, foundSolutions=30, bestBound=1195
10.77/8.69
10.97/8.87 num=459, depth=34..68, filters=1941243, ccks=870, wck=6.75, mem=58M294
10.97/8.87 decisions=889489, wrong=432346, backtracks=410299, failedAssignments=140708, nogoods=1585, foundSolutions=30, bestBound=1195
10.97/8.87
11.18/9.06 num=460, depth=40..70, filters=1990654, ccks=870, wck=6.94, mem=58M294
11.18/9.06 decisions=912188, wrong=443670, backtracks=421114, failedAssignments=144392, nogoods=1589, foundSolutions=30, bestBound=1195
11.18/9.06
11.37/9.25 num=461, depth=36..68, filters=2048249, ccks=870, wck=7.133, mem=58M294
11.37/9.25 decisions=938008, wrong=456557, backtracks=433486, failedAssignments=148444, nogoods=1594, foundSolutions=30, bestBound=1195
11.37/9.25
11.57/9.44 num=462, depth=41..69, filters=2099824, ccks=870, wck=7.32, mem=58M294
11.57/9.44 decisions=963490, wrong=469275, backtracks=445697, failedAssignments=152901, nogoods=1599, foundSolutions=30, bestBound=1195
11.57/9.44
11.77/9.66 num=463, depth=35..65, filters=2167691, ccks=870, wck=7.54, mem=58M294
11.77/9.66 decisions=993083, wrong=484045, backtracks=459817, failedAssignments=157804, nogoods=1604, foundSolutions=30, bestBound=1195
11.77/9.66
12.07/9.90 num=464, depth=39..68, filters=2238130, ccks=870, wck=7.779, mem=58M294
12.07/9.90 decisions=1027436, wrong=501199, backtracks=476296, failedAssignments=163198, nogoods=1611, foundSolutions=30, bestBound=1195
12.07/9.90
12.37/10.27 num=465, depth=30..66, filters=2347962, ccks=870, wck=8.147, mem=60M937
12.37/10.27 decisions=1068815, wrong=521868, backtracks=496091, failedAssignments=169131, nogoods=1616, foundSolutions=30, bestBound=1195
12.37/10.27
12.67/10.59 num=466, depth=33..70, filters=2442047, ccks=870, wck=8.471, mem=60M937
12.67/10.59 decisions=1116029, wrong=545451, backtracks=518769, failedAssignments=175657, nogoods=1621, foundSolutions=30, bestBound=1195
12.67/10.59
13.18/11.05 num=467, depth=28..68, filters=2570240, ccks=870, wck=8.931, mem=60M937
13.18/11.05 decisions=1173157, wrong=573989, backtracks=546303, failedAssignments=182836, nogoods=1626, foundSolutions=30, bestBound=1195
13.18/11.05
13.47/11.38 o 1169
13.47/11.38 num=468, depth=34..88, filters=2668964, ccks=899, wck=9.262, mem=63M579
13.47/11.38 decisions=1216065, wrong=595419, backtracks=566725, failedAssignments=188562, nogoods=1634, foundSolutions=31, bestBound=1169
13.47/11.38
13.98/11.82 num=469, depth=28..61, filters=2797043, ccks=899, wck=9.694, mem=63M579
13.98/11.82 decisions=1280418, wrong=627578, backtracks=597858, failedAssignments=197249, nogoods=1639, foundSolutions=31, bestBound=1169
13.98/11.82
13.98/11.82 num=470, depth=40..56, filters=2797147, ccks=899, wck=9.695, mem=63M579
13.98/11.82 decisions=1280525, wrong=627606, backtracks=597881, failedAssignments=197260, nogoods=1644, foundSolutions=31, bestBound=1169
13.98/11.82
13.98/11.82 num=471, depth=39..54, filters=2797347, ccks=899, wck=9.697, mem=63M579
13.98/11.82 decisions=1280660, wrong=627654, backtracks=597926, failedAssignments=197272, nogoods=1645, foundSolutions=31, bestBound=1169
13.98/11.82
13.98/11.82 num=472, depth=38..53, filters=2797462, ccks=899, wck=9.698, mem=63M579
13.98/11.82 decisions=1280754, wrong=627678, backtracks=597945, failedAssignments=197285, nogoods=1648, foundSolutions=31, bestBound=1169
13.98/11.82
13.98/11.82 num=473, depth=36..53, filters=2797636, ccks=899, wck=9.699, mem=63M579
13.98/11.82 decisions=1280860, wrong=627713, backtracks=597971, failedAssignments=197299, nogoods=1650, foundSolutions=31, bestBound=1169
13.98/11.82
13.98/11.82 num=474, depth=33..55, filters=2797818, ccks=899, wck=9.7, mem=63M579
13.98/11.82 decisions=1280994, wrong=627756, backtracks=598007, failedAssignments=197315, nogoods=1654, foundSolutions=31, bestBound=1169
13.98/11.82
13.98/11.82 num=475, depth=33..57, filters=2798047, ccks=899, wck=9.701, mem=63M579
13.98/11.82 decisions=1281150, wrong=627808, backtracks=598048, failedAssignments=197332, nogoods=1658, foundSolutions=31, bestBound=1169
13.98/11.82
13.98/11.82 num=476, depth=33..57, filters=2798248, ccks=899, wck=9.702, mem=63M579
13.98/11.82 decisions=1281302, wrong=627858, backtracks=598089, failedAssignments=197351, nogoods=1661, foundSolutions=31, bestBound=1169
13.98/11.82
13.98/11.83 num=477, depth=32..53, filters=2798562, ccks=899, wck=9.704, mem=63M579
13.98/11.83 decisions=1281525, wrong=627945, backtracks=598164, failedAssignments=197372, nogoods=1665, foundSolutions=31, bestBound=1169
13.98/11.83
13.98/11.83 num=478, depth=33..55, filters=2798824, ccks=899, wck=9.706, mem=63M579
13.98/11.83 decisions=1281710, wrong=628015, backtracks=598224, failedAssignments=197395, nogoods=1668, foundSolutions=31, bestBound=1169
13.98/11.83
13.98/11.83 num=479, depth=33..53, filters=2799142, ccks=899, wck=9.708, mem=63M579
13.98/11.83 decisions=1281908, wrong=628097, backtracks=598295, failedAssignments=197420, nogoods=1670, foundSolutions=31, bestBound=1169
13.98/11.83
13.98/11.83 num=480, depth=32..54, filters=2799528, ccks=899, wck=9.709, mem=63M579
13.98/11.83 decisions=1282148, wrong=628193, backtracks=598380, failedAssignments=197448, nogoods=1673, foundSolutions=31, bestBound=1169
13.98/11.83
13.98/11.83 num=481, depth=32..56, filters=2799991, ccks=899, wck=9.712, mem=63M579
13.98/11.83 decisions=1282388, wrong=628294, backtracks=598465, failedAssignments=197479, nogoods=1675, foundSolutions=31, bestBound=1169
13.98/11.83
13.98/11.83 num=482, depth=32..55, filters=2800333, ccks=899, wck=9.714, mem=63M579
13.98/11.83 decisions=1282600, wrong=628377, backtracks=598531, failedAssignments=197513, nogoods=1679, foundSolutions=31, bestBound=1169
13.98/11.83
13.98/11.84 num=483, depth=32..56, filters=2800781, ccks=899, wck=9.716, mem=63M579
13.98/11.84 decisions=1282863, wrong=628486, backtracks=598619, failedAssignments=197550, nogoods=1684, foundSolutions=31, bestBound=1169
13.98/11.84
13.98/11.84 num=484, depth=31..55, filters=2801394, ccks=899, wck=9.718, mem=63M579
13.98/11.84 decisions=1283211, wrong=628640, backtracks=598760, failedAssignments=197591, nogoods=1686, foundSolutions=31, bestBound=1169
13.98/11.84
13.98/11.84 num=485, depth=31..53, filters=2802108, ccks=899, wck=9.722, mem=63M579
13.98/11.84 decisions=1283639, wrong=628831, backtracks=598939, failedAssignments=197636, nogoods=1690, foundSolutions=31, bestBound=1169
13.98/11.84
13.98/11.85 num=486, depth=32..57, filters=2802756, ccks=899, wck=9.725, mem=63M579
13.98/11.85 decisions=1283994, wrong=628985, backtracks=599076, failedAssignments=197686, nogoods=1693, foundSolutions=31, bestBound=1169
13.98/11.85
13.98/11.85 num=487, depth=33..57, filters=2803543, ccks=899, wck=9.729, mem=63M579
13.98/11.85 decisions=1284420, wrong=629174, backtracks=599242, failedAssignments=197741, nogoods=1698, foundSolutions=31, bestBound=1169
13.98/11.85
13.98/11.85 num=488, depth=33..59, filters=2804266, ccks=899, wck=9.732, mem=63M579
13.98/11.85 decisions=1284849, wrong=629367, backtracks=599416, failedAssignments=197802, nogoods=1702, foundSolutions=31, bestBound=1169
13.98/11.85
13.98/11.86 num=489, depth=29..58, filters=2805342, ccks=899, wck=9.737, mem=63M579
13.98/11.86 decisions=1285457, wrong=629651, backtracks=599684, failedAssignments=197869, nogoods=1705, foundSolutions=31, bestBound=1169
13.98/11.86
13.98/11.86 num=490, depth=33..56, filters=2806242, ccks=899, wck=9.742, mem=63M579
13.98/11.86 decisions=1285989, wrong=629894, backtracks=599894, failedAssignments=197943, nogoods=1710, foundSolutions=31, bestBound=1169
13.98/11.86
13.98/11.87 num=491, depth=33..56, filters=2807208, ccks=899, wck=9.747, mem=63M579
13.98/11.87 decisions=1286544, wrong=630150, backtracks=600136, failedAssignments=198024, nogoods=1714, foundSolutions=31, bestBound=1169
13.98/11.87
13.98/11.87 num=492, depth=32..55, filters=2808484, ccks=899, wck=9.753, mem=63M579
13.98/11.87 decisions=1287283, wrong=630501, backtracks=600462, failedAssignments=198113, nogoods=1718, foundSolutions=31, bestBound=1169
13.98/11.87
13.98/11.88 num=493, depth=31..56, filters=2810091, ccks=899, wck=9.761, mem=63M579
13.98/11.88 decisions=1288049, wrong=630861, backtracks=600781, failedAssignments=198211, nogoods=1722, foundSolutions=31, bestBound=1169
13.98/11.88
13.98/11.89 num=494, depth=31..57, filters=2811608, ccks=899, wck=9.767, mem=63M579
13.98/11.89 decisions=1288861, wrong=631246, backtracks=601128, failedAssignments=198319, nogoods=1726, foundSolutions=31, bestBound=1169
13.98/11.89
14.08/11.90 num=495, depth=31..58, filters=2813641, ccks=899, wck=9.775, mem=63M579
14.08/11.90 decisions=1289847, wrong=631722, backtracks=601564, failedAssignments=198438, nogoods=1729, foundSolutions=31, bestBound=1169
14.08/11.90
14.08/11.90 num=496, depth=30..55, filters=2815644, ccks=899, wck=9.783, mem=63M579
14.08/11.90 decisions=1290876, wrong=632214, backtracks=602015, failedAssignments=198569, nogoods=1732, foundSolutions=31, bestBound=1169
14.08/11.90
14.08/11.91 o 1142
14.08/11.91 num=497, depth=31..88, filters=2817100, ccks=928, wck=9.79, mem=63M579
14.08/11.91 decisions=1291576, wrong=632541, backtracks=602304, failedAssignments=198654, nogoods=1738, foundSolutions=32, bestBound=1142
14.08/11.91
14.08/11.92 num=498, depth=28..55, filters=2820083, ccks=928, wck=9.803, mem=63M579
14.08/11.92 decisions=1292792, wrong=633132, backtracks=602850, failedAssignments=198812, nogoods=1741, foundSolutions=32, bestBound=1142
14.08/11.92
14.08/11.93 num=499, depth=31..41, filters=2820211, ccks=928, wck=9.804, mem=63M579
14.08/11.93 decisions=1292879, wrong=633158, backtracks=602871, failedAssignments=198823, nogoods=1743, foundSolutions=32, bestBound=1142
14.08/11.93
14.08/11.93 num=500, depth=31..52, filters=2820394, ccks=928, wck=9.805, mem=63M579
14.08/11.93 decisions=1292992, wrong=633196, backtracks=602902, failedAssignments=198835, nogoods=1745, foundSolutions=32, bestBound=1142
14.08/11.93
14.08/11.93 num=501, depth=30..42, filters=2820641, ccks=928, wck=9.806, mem=63M579
14.08/11.93 decisions=1293121, wrong=633245, backtracks=602946, failedAssignments=198848, nogoods=1748, foundSolutions=32, bestBound=1142
14.08/11.93
14.08/11.93 num=502, depth=32..52, filters=2820865, ccks=928, wck=9.807, mem=63M579
14.08/11.93 decisions=1293260, wrong=633296, backtracks=602991, failedAssignments=198862, nogoods=1750, foundSolutions=32, bestBound=1142
14.08/11.93
14.08/11.93 num=503, depth=32..49, filters=2821167, ccks=928, wck=9.809, mem=63M579
14.08/11.93 decisions=1293422, wrong=633361, backtracks=603051, failedAssignments=198878, nogoods=1751, foundSolutions=32, bestBound=1142
14.08/11.93
14.08/11.93 num=504, depth=32..54, filters=2821518, ccks=928, wck=9.81, mem=63M579
14.08/11.93 decisions=1293611, wrong=633436, backtracks=603119, failedAssignments=198895, nogoods=1754, foundSolutions=32, bestBound=1142
14.08/11.93
14.08/11.93 num=505, depth=31..51, filters=2821802, ccks=928, wck=9.812, mem=63M579
14.08/11.93 decisions=1293761, wrong=633490, backtracks=603164, failedAssignments=198914, nogoods=1757, foundSolutions=32, bestBound=1142
14.08/11.93
14.08/11.93 num=506, depth=37..53, filters=2822142, ccks=928, wck=9.813, mem=63M579
14.08/11.93 decisions=1293953, wrong=633565, backtracks=603231, failedAssignments=198935, nogoods=1759, foundSolutions=32, bestBound=1142
14.08/11.93
14.08/11.94 num=507, depth=37..53, filters=2822446, ccks=928, wck=9.815, mem=63M579
14.08/11.94 decisions=1294129, wrong=633632, backtracks=603282, failedAssignments=198958, nogoods=1762, foundSolutions=32, bestBound=1142
14.08/11.94
14.08/11.94 num=508, depth=33..50, filters=2822912, ccks=928, wck=9.817, mem=63M579
14.08/11.94 decisions=1294342, wrong=633722, backtracks=603363, failedAssignments=198983, nogoods=1763, foundSolutions=32, bestBound=1142
14.08/11.94
14.08/11.94 num=509, depth=31..52, filters=2823420, ccks=928, wck=9.819, mem=63M579
14.08/11.94 decisions=1294565, wrong=633817, backtracks=603451, failedAssignments=199011, nogoods=1765, foundSolutions=32, bestBound=1142
14.08/11.94
14.08/11.94 num=510, depth=31..47, filters=2824059, ccks=928, wck=9.822, mem=63M579
14.08/11.94 decisions=1294831, wrong=633934, backtracks=603561, failedAssignments=199042, nogoods=1767, foundSolutions=32, bestBound=1142
14.08/11.94
14.08/11.95 num=511, depth=35..52, filters=2824587, ccks=928, wck=9.824, mem=63M579
14.08/11.95 decisions=1295100, wrong=634049, backtracks=603665, failedAssignments=199076, nogoods=1772, foundSolutions=32, bestBound=1142
14.08/11.95
14.08/11.95 num=512, depth=35..49, filters=2825063, ccks=928, wck=9.826, mem=63M579
14.08/11.95 decisions=1295388, wrong=634175, backtracks=603781, failedAssignments=199113, nogoods=1774, foundSolutions=32, bestBound=1142
14.08/11.95
14.08/11.95 num=513, depth=36..53, filters=2825778, ccks=928, wck=9.829, mem=63M579
14.08/11.95 decisions=1295734, wrong=634328, backtracks=603924, failedAssignments=199154, nogoods=1779, foundSolutions=32, bestBound=1142
14.08/11.95
14.08/11.95 num=514, depth=33..49, filters=2826395, ccks=928, wck=9.832, mem=63M579
14.08/11.95 decisions=1296004, wrong=634444, backtracks=604024, failedAssignments=199199, nogoods=1781, foundSolutions=32, bestBound=1142
14.08/11.95
14.08/11.96 num=515, depth=32..50, filters=2827370, ccks=928, wck=9.835, mem=63M579
14.08/11.96 decisions=1296358, wrong=634605, backtracks=604172, failedAssignments=199249, nogoods=1782, foundSolutions=32, bestBound=1142
14.08/11.96
14.08/11.96 num=516, depth=33..53, filters=2828343, ccks=928, wck=9.84, mem=63M579
14.08/11.96 decisions=1296809, wrong=634810, backtracks=604361, failedAssignments=199304, nogoods=1786, foundSolutions=32, bestBound=1142
14.08/11.96
14.08/11.97 num=517, depth=31..50, filters=2829629, ccks=928, wck=9.845, mem=63M579
14.08/11.97 decisions=1297326, wrong=635048, backtracks=604583, failedAssignments=199365, nogoods=1790, foundSolutions=32, bestBound=1142
14.08/11.97
14.08/11.97 num=518, depth=35..50, filters=2830725, ccks=928, wck=9.849, mem=63M579
14.08/11.97 decisions=1297776, wrong=635253, backtracks=604774, failedAssignments=199432, nogoods=1794, foundSolutions=32, bestBound=1142
14.08/11.97
14.08/11.98 num=519, depth=31..49, filters=2832064, ccks=928, wck=9.855, mem=63M579
14.08/11.98 decisions=1298281, wrong=635484, backtracks=604993, failedAssignments=199506, nogoods=1799, foundSolutions=32, bestBound=1142
14.08/11.98
14.08/11.98 num=520, depth=33..49, filters=2833321, ccks=928, wck=9.86, mem=63M579
14.08/11.98 decisions=1298818, wrong=635734, backtracks=605230, failedAssignments=199587, nogoods=1801, foundSolutions=32, bestBound=1142
14.08/11.98
14.08/11.99 num=521, depth=33..49, filters=2835027, ccks=928, wck=9.866, mem=66M221
14.08/11.99 decisions=1299507, wrong=636062, backtracks=605538, failedAssignments=199676, nogoods=1803, foundSolutions=32, bestBound=1142
14.08/11.99
14.08/12.00 num=522, depth=36..55, filters=2836923, ccks=928, wck=9.874, mem=66M221
14.08/12.00 decisions=1300177, wrong=636378, backtracks=605834, failedAssignments=199774, nogoods=1806, foundSolutions=32, bestBound=1142
14.08/12.00
14.08/12.00 num=523, depth=33..52, filters=2838800, ccks=928, wck=9.881, mem=66M221
14.08/12.00 decisions=1300912, wrong=636729, backtracks=606162, failedAssignments=199882, nogoods=1808, foundSolutions=32, bestBound=1142
14.08/12.00
14.21/12.01 num=524, depth=30..48, filters=2841251, ccks=928, wck=9.891, mem=66M221
14.21/12.01 decisions=1301687, wrong=637096, backtracks=606504, failedAssignments=200001, nogoods=1812, foundSolutions=32, bestBound=1142
14.21/12.01
14.21/12.02 num=525, depth=34..52, filters=2843614, ccks=928, wck=9.9, mem=66M221
14.21/12.02 decisions=1302572, wrong=637521, backtracks=606901, failedAssignments=200132, nogoods=1815, foundSolutions=32, bestBound=1142
14.21/12.02
14.21/12.03 num=526, depth=32..48, filters=2846660, ccks=928, wck=9.911, mem=66M221
14.21/12.03 decisions=1303475, wrong=637953, backtracks=607299, failedAssignments=200276, nogoods=1821, foundSolutions=32, bestBound=1142
14.21/12.03
14.21/12.04 num=527, depth=25..48, filters=2849369, ccks=928, wck=9.922, mem=66M221
14.21/12.04 decisions=1304602, wrong=638501, backtracks=607827, failedAssignments=200434, nogoods=1824, foundSolutions=32, bestBound=1142
14.21/12.04
14.21/12.05 num=528, depth=33..49, filters=2852176, ccks=928, wck=9.933, mem=66M221
14.21/12.05 decisions=1305526, wrong=638943, backtracks=608250, failedAssignments=200608, nogoods=1829, foundSolutions=32, bestBound=1142
14.21/12.05
14.21/12.07 num=529, depth=24..47, filters=2855227, ccks=928, wck=9.946, mem=66M221
14.21/12.07 decisions=1306781, wrong=639556, backtracks=608832, failedAssignments=200799, nogoods=1831, foundSolutions=32, bestBound=1142
14.21/12.07
14.21/12.08 num=530, depth=33..49, filters=2858542, ccks=928, wck=9.96, mem=66M221
14.21/12.08 decisions=1308039, wrong=640167, backtracks=609407, failedAssignments=201010, nogoods=1834, foundSolutions=32, bestBound=1142
14.21/12.08
14.21/12.10 num=531, depth=24..49, filters=2862476, ccks=928, wck=9.977, mem=66M221
14.21/12.10 decisions=1309680, wrong=640972, backtracks=610170, failedAssignments=201242, nogoods=1838, foundSolutions=32, bestBound=1142
14.21/12.10
14.33/12.11 num=532, depth=28..45, filters=2865729, ccks=928, wck=9.991, mem=66M221
14.33/12.11 decisions=1310882, wrong=641558, backtracks=610723, failedAssignments=201497, nogoods=1842, foundSolutions=32, bestBound=1142
14.33/12.11
14.33/12.13 num=533, depth=25..49, filters=2870736, ccks=928, wck=10.013, mem=66M221
14.33/12.13 decisions=1313127, wrong=642661, backtracks=611790, failedAssignments=201778, nogoods=1845, foundSolutions=32, bestBound=1142
14.33/12.13
14.33/12.15 num=534, depth=30..49, filters=2875794, ccks=928, wck=10.033, mem=66M221
14.33/12.15 decisions=1314885, wrong=643522, backtracks=612608, failedAssignments=202087, nogoods=1850, foundSolutions=32, bestBound=1142
14.33/12.15
14.33/12.18 num=535, depth=22..49, filters=2882021, ccks=928, wck=10.06, mem=66M221
14.33/12.18 decisions=1317822, wrong=644972, backtracks=614009, failedAssignments=202427, nogoods=1854, foundSolutions=32, bestBound=1142
14.33/12.18
14.42/12.20 num=536, depth=31..53, filters=2887627, ccks=928, wck=10.082, mem=66M221
14.42/12.20 decisions=1320053, wrong=646072, backtracks=615056, failedAssignments=202801, nogoods=1855, foundSolutions=32, bestBound=1142
14.42/12.20
14.42/12.23 num=537, depth=24..51, filters=2894843, ccks=928, wck=10.112, mem=66M221
14.42/12.23 decisions=1322937, wrong=647496, backtracks=616381, failedAssignments=203212, nogoods=1860, foundSolutions=32, bestBound=1142
14.42/12.23
14.42/12.26 num=538, depth=33..51, filters=2901406, ccks=928, wck=10.137, mem=66M221
14.42/12.26 decisions=1325355, wrong=648687, backtracks=617498, failedAssignments=203664, nogoods=1865, foundSolutions=32, bestBound=1142
14.42/12.26
14.52/12.30 num=539, depth=22..50, filters=2910530, ccks=928, wck=10.176, mem=66M221
14.52/12.30 decisions=1329214, wrong=650603, backtracks=619332, failedAssignments=204161, nogoods=1871, foundSolutions=32, bestBound=1142
14.52/12.30
14.52/12.34 num=540, depth=31..54, filters=2920173, ccks=928, wck=10.215, mem=66M221
14.52/12.34 decisions=1332444, wrong=652199, backtracks=620869, failedAssignments=204708, nogoods=1875, foundSolutions=32, bestBound=1142
14.52/12.34
14.52/12.38 num=541, depth=23..56, filters=2931730, ccks=928, wck=10.26, mem=66M221
14.52/12.38 decisions=1337482, wrong=654698, backtracks=623260, failedAssignments=205310, nogoods=1879, foundSolutions=32, bestBound=1142
14.52/12.38
14.62/12.42 num=542, depth=32..50, filters=2940087, ccks=928, wck=10.295, mem=66M221
14.62/12.42 decisions=1341066, wrong=656468, backtracks=624957, failedAssignments=205972, nogoods=1883, foundSolutions=32, bestBound=1142
14.62/12.42
14.62/12.46 num=543, depth=14..49, filters=2952737, ccks=928, wck=10.343, mem=66M221
14.62/12.46 decisions=1346782, wrong=659309, backtracks=627663, failedAssignments=206700, nogoods=1887, foundSolutions=32, bestBound=1142
14.62/12.46
14.72/12.52 num=544, depth=28..55, filters=2967477, ccks=928, wck=10.398, mem=66M221
14.72/12.52 decisions=1352393, wrong=662090, backtracks=630298, failedAssignments=207501, nogoods=1892, foundSolutions=32, bestBound=1142
14.72/12.52
14.72/12.59 num=545, depth=21..56, filters=2984673, ccks=928, wck=10.473, mem=66M221
14.72/12.59 decisions=1359341, wrong=665548, backtracks=633653, failedAssignments=208382, nogoods=1898, foundSolutions=32, bestBound=1142
14.72/12.59
14.82/12.66 num=546, depth=29..59, filters=3001393, ccks=928, wck=10.537, mem=66M221
14.82/12.66 decisions=1365776, wrong=668745, backtracks=636685, failedAssignments=209352, nogoods=1901, foundSolutions=32, bestBound=1142
14.82/12.66
14.92/12.73 num=547, depth=30..59, filters=3022389, ccks=928, wck=10.612, mem=66M221
14.92/12.73 decisions=1373555, wrong=672617, backtracks=640378, failedAssignments=210419, nogoods=1905, foundSolutions=32, bestBound=1142
14.92/12.73
15.02/12.81 num=548, depth=27..62, filters=3040352, ccks=928, wck=10.685, mem=66M221
15.02/12.81 decisions=1381088, wrong=676363, backtracks=643904, failedAssignments=211592, nogoods=1910, foundSolutions=32, bestBound=1142
15.02/12.81
15.02/12.88 num=549, depth=32..63, filters=3059881, ccks=928, wck=10.755, mem=66M221
15.02/12.88 decisions=1390218, wrong=680908, backtracks=648252, failedAssignments=212883, nogoods=1914, foundSolutions=32, bestBound=1142
15.02/12.88
15.12/12.98 num=550, depth=31..63, filters=3082627, ccks=928, wck=10.857, mem=66M221
15.12/12.98 decisions=1400563, wrong=686059, backtracks=653246, failedAssignments=214303, nogoods=1919, foundSolutions=32, bestBound=1142
15.12/12.98
15.23/13.06 num=551, depth=34..66, filters=3105084, ccks=928, wck=10.936, mem=66M221
15.23/13.06 decisions=1411955, wrong=691730, backtracks=658651, failedAssignments=215865, nogoods=1924, foundSolutions=32, bestBound=1142
15.23/13.06
15.42/13.20 num=552, depth=22..58, filters=3139657, ccks=928, wck=11.077, mem=66M221
15.42/13.20 decisions=1427206, wrong=699335, backtracks=665955, failedAssignments=217583, nogoods=1927, foundSolutions=32, bestBound=1142
15.42/13.20
15.52/13.33 num=553, depth=32..68, filters=3172822, ccks=928, wck=11.209, mem=68M864
15.52/13.33 decisions=1441526, wrong=706469, backtracks=672774, failedAssignments=219473, nogoods=1934, foundSolutions=32, bestBound=1142
15.52/13.33
15.62/13.46 num=554, depth=33..66, filters=3205153, ccks=928, wck=11.335, mem=68M864
15.62/13.46 decisions=1456150, wrong=713761, backtracks=679907, failedAssignments=221552, nogoods=1937, foundSolutions=32, bestBound=1142
15.62/13.46
15.72/13.57 num=555, depth=34..69, filters=3234131, ccks=928, wck=11.449, mem=68M864
15.72/13.57 decisions=1470322, wrong=720823, backtracks=686657, failedAssignments=223839, nogoods=1942, foundSolutions=32, bestBound=1142
15.72/13.57
15.92/13.70 num=556, depth=32..66, filters=3270680, ccks=928, wck=11.58, mem=68M864
15.92/13.70 decisions=1486713, wrong=728999, backtracks=694508, failedAssignments=226355, nogoods=1945, foundSolutions=32, bestBound=1142
15.92/13.70
16.02/13.84 num=557, depth=31..65, filters=3306074, ccks=928, wck=11.716, mem=68M864
16.02/13.84 decisions=1503626, wrong=737432, backtracks=702460, failedAssignments=229123, nogoods=1949, foundSolutions=32, bestBound=1142
16.02/13.84
16.12/13.97 num=558, depth=33..60, filters=3343343, ccks=928, wck=11.853, mem=68M864
16.12/13.97 decisions=1522052, wrong=746626, backtracks=711191, failedAssignments=232167, nogoods=1953, foundSolutions=32, bestBound=1142
16.12/13.97
16.33/14.18 num=559, depth=35..68, filters=3395926, ccks=928, wck=12.059, mem=68M864
16.33/14.18 decisions=1544680, wrong=757918, backtracks=722044, failedAssignments=235516, nogoods=1957, foundSolutions=32, bestBound=1142
16.33/14.18
16.52/14.39 num=560, depth=34..68, filters=3449926, ccks=928, wck=12.271, mem=68M864
16.52/14.39 decisions=1572626, wrong=771868, backtracks=735546, failedAssignments=239200, nogoods=1962, foundSolutions=32, bestBound=1142
16.52/14.39
16.84/14.65 num=561, depth=36..71, filters=3515944, ccks=928, wck=12.528, mem=71M507
16.84/14.65 decisions=1600444, wrong=785752, backtracks=748981, failedAssignments=243252, nogoods=1964, foundSolutions=32, bestBound=1142
16.84/14.65
17.25/15.04 num=562, depth=13..59, filters=3612082, ccks=928, wck=12.92, mem=71M507
17.25/15.04 decisions=1639593, wrong=805312, backtracks=767724, failedAssignments=247709, nogoods=1967, foundSolutions=32, bestBound=1142
17.25/15.04
17.35/15.14 o 1136
17.35/15.14 num=563, depth=43..88, filters=3638419, ccks=957, wck=13.02, mem=71M507
17.35/15.14 decisions=1649494, wrong=810233, backtracks=772257, failedAssignments=249203, nogoods=1974, foundSolutions=33, bestBound=1136
17.35/15.14
17.64/15.47 num=564, depth=29..67, filters=3718059, ccks=957, wck=13.35, mem=71M507
17.64/15.47 decisions=1687356, wrong=829148, backtracks=790407, failedAssignments=254597, nogoods=1977, foundSolutions=33, bestBound=1136
17.64/15.47
17.64/15.47 num=565, depth=58..67, filters=3718190, ccks=957, wck=13.351, mem=71M507
17.64/15.47 decisions=1687478, wrong=829180, backtracks=790433, failedAssignments=254608, nogoods=1979, foundSolutions=33, bestBound=1136
17.64/15.47
17.64/15.47 num=566, depth=57..65, filters=3718336, ccks=957, wck=13.353, mem=71M507
17.64/15.47 decisions=1687593, wrong=829209, backtracks=790459, failedAssignments=254620, nogoods=1983, foundSolutions=33, bestBound=1136
17.64/15.47
17.64/15.47 num=567, depth=57..68, filters=3718494, ccks=957, wck=13.354, mem=71M507
17.64/15.47 decisions=1687733, wrong=829247, backtracks=790489, failedAssignments=254633, nogoods=1987, foundSolutions=33, bestBound=1136
17.64/15.47
17.64/15.48 num=568, depth=55..66, filters=3718647, ccks=957, wck=13.355, mem=71M507
17.64/15.48 decisions=1687856, wrong=829279, backtracks=790514, failedAssignments=254647, nogoods=1989, foundSolutions=33, bestBound=1136
17.64/15.48
17.64/15.48 num=569, depth=55..63, filters=3718792, ccks=957, wck=13.356, mem=71M507
17.64/15.48 decisions=1687978, wrong=829312, backtracks=790543, failedAssignments=254663, nogoods=1992, foundSolutions=33, bestBound=1136
17.64/15.48
17.64/15.48 num=570, depth=54..66, filters=3719032, ccks=957, wck=13.357, mem=71M507
17.64/15.48 decisions=1688140, wrong=829364, backtracks=790587, failedAssignments=254680, nogoods=1996, foundSolutions=33, bestBound=1136
17.64/15.48
17.64/15.48 num=571, depth=53..63, filters=3719269, ccks=957, wck=13.358, mem=71M507
17.64/15.48 decisions=1688291, wrong=829411, backtracks=790629, failedAssignments=254699, nogoods=1998, foundSolutions=33, bestBound=1136
17.64/15.48
17.64/15.48 num=572, depth=53..67, filters=3719458, ccks=957, wck=13.36, mem=71M507
17.64/15.48 decisions=1688447, wrong=829459, backtracks=790673, failedAssignments=254720, nogoods=2002, foundSolutions=33, bestBound=1136
17.64/15.48
17.64/15.48 num=573, depth=53..66, filters=3719656, ccks=957, wck=13.361, mem=71M507
17.64/15.48 decisions=1688604, wrong=829510, backtracks=790720, failedAssignments=254743, nogoods=2004, foundSolutions=33, bestBound=1136
17.64/15.48
17.64/15.48 num=574, depth=52..64, filters=3719947, ccks=957, wck=13.363, mem=71M507
17.64/15.48 decisions=1688805, wrong=829580, backtracks=790783, failedAssignments=254768, nogoods=2007, foundSolutions=33, bestBound=1136
17.64/15.48
17.64/15.49 num=575, depth=52..67, filters=3720231, ccks=957, wck=13.364, mem=71M507
17.64/15.49 decisions=1688992, wrong=829645, backtracks=790844, failedAssignments=254796, nogoods=2011, foundSolutions=33, bestBound=1136
17.64/15.49
17.64/15.49 num=576, depth=52..68, filters=3720481, ccks=957, wck=13.366, mem=71M507
17.64/15.49 decisions=1689185, wrong=829712, backtracks=790908, failedAssignments=254827, nogoods=2014, foundSolutions=33, bestBound=1136
17.64/15.49
17.64/15.49 num=577, depth=52..67, filters=3720755, ccks=957, wck=13.368, mem=71M507
17.64/15.49 decisions=1689402, wrong=829790, backtracks=790977, failedAssignments=254861, nogoods=2020, foundSolutions=33, bestBound=1136
17.64/15.49
17.64/15.49 num=578, depth=52..65, filters=3721194, ccks=957, wck=13.37, mem=71M507
17.64/15.49 decisions=1689631, wrong=829878, backtracks=791059, failedAssignments=254898, nogoods=2024, foundSolutions=33, bestBound=1136
17.64/15.49
17.64/15.49 num=579, depth=52..65, filters=3721524, ccks=957, wck=13.372, mem=71M507
17.64/15.49 decisions=1689858, wrong=829963, backtracks=791128, failedAssignments=254939, nogoods=2031, foundSolutions=33, bestBound=1136
17.64/15.49
17.64/15.50 num=580, depth=52..66, filters=3721905, ccks=957, wck=13.375, mem=71M507
17.64/15.50 decisions=1690095, wrong=830054, backtracks=791209, failedAssignments=254984, nogoods=2035, foundSolutions=33, bestBound=1136
17.64/15.50
17.74/15.50 num=581, depth=51..67, filters=3722499, ccks=957, wck=13.378, mem=71M507
17.74/15.50 decisions=1690395, wrong=830178, backtracks=791324, failedAssignments=255034, nogoods=2039, foundSolutions=33, bestBound=1136
17.74/15.50
17.74/15.50 num=582, depth=49..65, filters=3723047, ccks=957, wck=13.381, mem=71M507
17.74/15.50 decisions=1690711, wrong=830308, backtracks=791441, failedAssignments=255089, nogoods=2041, foundSolutions=33, bestBound=1136
17.74/15.50
17.74/15.51 num=583, depth=49..67, filters=3723794, ccks=957, wck=13.384, mem=71M507
17.74/15.51 decisions=1691072, wrong=830463, backtracks=791585, failedAssignments=255150, nogoods=2045, foundSolutions=33, bestBound=1136
17.74/15.51
17.74/15.51 num=584, depth=46..60, filters=3724684, ccks=957, wck=13.388, mem=71M507
17.74/15.51 decisions=1691508, wrong=830654, backtracks=791763, failedAssignments=255217, nogoods=2047, foundSolutions=33, bestBound=1136
17.74/15.51
17.74/15.51 num=585, depth=46..63, filters=3725652, ccks=957, wck=13.392, mem=71M507
17.74/15.51 decisions=1692010, wrong=830877, backtracks=791966, failedAssignments=255291, nogoods=2051, foundSolutions=33, bestBound=1136
17.74/15.51
17.74/15.52 num=586, depth=47..63, filters=3726697, ccks=957, wck=13.397, mem=71M507
17.74/15.52 decisions=1692559, wrong=831123, backtracks=792202, failedAssignments=255372, nogoods=2054, foundSolutions=33, bestBound=1136
17.74/15.52
17.74/15.52 num=587, depth=47..64, filters=3727821, ccks=957, wck=13.401, mem=71M507
17.74/15.52 decisions=1693093, wrong=831364, backtracks=792405, failedAssignments=255461, nogoods=2057, foundSolutions=33, bestBound=1136
17.74/15.52
17.74/15.53 num=588, depth=45..65, filters=3729139, ccks=957, wck=13.407, mem=71M507
17.74/15.53 decisions=1693712, wrong=831645, backtracks=792652, failedAssignments=255559, nogoods=2061, foundSolutions=33, bestBound=1136
17.74/15.53
17.74/15.54 num=589, depth=44..66, filters=3731004, ccks=957, wck=13.414, mem=71M507
17.74/15.54 decisions=1694601, wrong=832063, backtracks=793050, failedAssignments=255667, nogoods=2064, foundSolutions=33, bestBound=1136
17.74/15.54
17.74/15.54 num=590, depth=43..64, filters=3732676, ccks=957, wck=13.421, mem=71M507
17.74/15.54 decisions=1695352, wrong=832411, backtracks=793361, failedAssignments=255786, nogoods=2068, foundSolutions=33, bestBound=1136
17.74/15.54
17.74/15.55 num=591, depth=43..67, filters=3734516, ccks=957, wck=13.428, mem=71M507
17.74/15.55 decisions=1696236, wrong=832824, backtracks=793750, failedAssignments=255917, nogoods=2074, foundSolutions=33, bestBound=1136
17.74/15.55
17.74/15.56 num=592, depth=43..65, filters=3736474, ccks=957, wck=13.435, mem=71M507
17.74/15.56 decisions=1697125, wrong=833240, backtracks=794149, failedAssignments=256061, nogoods=2079, foundSolutions=33, bestBound=1136
17.74/15.56
17.74/15.57 num=593, depth=45..67, filters=3738720, ccks=957, wck=13.445, mem=71M507
17.74/15.57 decisions=1698140, wrong=833719, backtracks=794603, failedAssignments=256219, nogoods=2082, foundSolutions=33, bestBound=1136
17.74/15.57
17.74/15.58 num=594, depth=43..65, filters=3741604, ccks=957, wck=13.456, mem=71M507
17.74/15.58 decisions=1699345, wrong=834298, backtracks=795154, failedAssignments=256393, nogoods=2087, foundSolutions=33, bestBound=1136
17.74/15.58
17.74/15.59 num=595, depth=41..66, filters=3745164, ccks=957, wck=13.47, mem=71M507
17.74/15.59 decisions=1700869, wrong=835031, backtracks=795859, failedAssignments=256584, nogoods=2091, foundSolutions=33, bestBound=1136
17.74/15.59
17.85/15.60 num=596, depth=45..69, filters=3748157, ccks=957, wck=13.48, mem=71M507
17.85/15.60 decisions=1702266, wrong=835699, backtracks=796513, failedAssignments=256795, nogoods=2094, foundSolutions=33, bestBound=1136
17.85/15.60
17.85/15.61 num=597, depth=40..63, filters=3751877, ccks=957, wck=13.492, mem=71M507
17.85/15.61 decisions=1703829, wrong=836452, backtracks=797211, failedAssignments=257027, nogoods=2096, foundSolutions=33, bestBound=1136
17.85/15.61
17.85/15.63 num=598, depth=35..61, filters=3757365, ccks=957, wck=13.508, mem=71M507
17.85/15.63 decisions=1706078, wrong=837551, backtracks=798264, failedAssignments=257282, nogoods=2099, foundSolutions=33, bestBound=1136
17.85/15.63
17.85/15.64 num=599, depth=43..66, filters=3761837, ccks=957, wck=13.522, mem=74M150
17.85/15.64 decisions=1708004, wrong=838486, backtracks=799148, failedAssignments=257563, nogoods=2103, foundSolutions=33, bestBound=1136
17.85/15.64
17.85/15.66 num=600, depth=38..65, filters=3766752, ccks=957, wck=13.538, mem=74M150
17.85/15.66 decisions=1710181, wrong=839552, backtracks=800153, failedAssignments=257872, nogoods=2106, foundSolutions=33, bestBound=1136
17.85/15.66
17.85/15.68 num=601, depth=41..66, filters=3771841, ccks=957, wck=13.558, mem=74M150
17.85/15.68 decisions=1712583, wrong=840723, backtracks=801274, failedAssignments=258212, nogoods=2111, foundSolutions=33, bestBound=1136
17.85/15.68
17.95/15.70 num=602, depth=34..65, filters=3777335, ccks=957, wck=13.581, mem=74M150
17.95/15.70 decisions=1715092, wrong=841956, backtracks=802447, failedAssignments=258586, nogoods=2115, foundSolutions=33, bestBound=1136
17.95/15.70
17.95/15.72 num=603, depth=46..70, filters=3781971, ccks=957, wck=13.603, mem=74M150
17.95/15.72 decisions=1717256, wrong=843012, backtracks=803431, failedAssignments=258997, nogoods=2119, foundSolutions=33, bestBound=1136
17.95/15.72
17.95/15.75 num=604, depth=42..64, filters=3788702, ccks=957, wck=13.631, mem=74M150
17.95/15.75 decisions=1720360, wrong=844540, backtracks=804878, failedAssignments=259449, nogoods=2123, foundSolutions=33, bestBound=1136
17.95/15.75
17.95/15.77 num=605, depth=48..67, filters=3794389, ccks=957, wck=13.651, mem=74M150
17.95/15.77 decisions=1723120, wrong=845894, backtracks=806146, failedAssignments=259946, nogoods=2128, foundSolutions=33, bestBound=1136
17.95/15.77
18.05/15.80 num=606, depth=36..63, filters=3802203, ccks=957, wck=13.683, mem=74M150
18.05/15.80 decisions=1726804, wrong=847715, backtracks=807897, failedAssignments=260493, nogoods=2132, foundSolutions=33, bestBound=1136
18.05/15.80
18.05/15.83 num=607, depth=45..69, filters=3808573, ccks=957, wck=13.707, mem=74M150
18.05/15.83 decisions=1730107, wrong=849338, backtracks=809420, failedAssignments=261095, nogoods=2138, foundSolutions=33, bestBound=1136
18.05/15.83
18.05/15.87 num=608, depth=33..60, filters=3818249, ccks=957, wck=13.751, mem=74M150
18.05/15.87 decisions=1735008, wrong=851767, backtracks=811824, failedAssignments=261757, nogoods=2141, foundSolutions=33, bestBound=1136
18.05/15.87
18.15/15.91 num=609, depth=37..68, filters=3828336, ccks=957, wck=13.793, mem=74M150
18.15/15.91 decisions=1739254, wrong=853870, backtracks=813792, failedAssignments=262485, nogoods=2145, foundSolutions=33, bestBound=1136
18.15/15.91
18.15/15.95 num=610, depth=47..68, filters=3837590, ccks=957, wck=13.829, mem=74M150
18.15/15.95 decisions=1743946, wrong=856187, backtracks=816012, failedAssignments=263286, nogoods=2149, foundSolutions=33, bestBound=1136
18.15/15.95
18.15/15.99 num=611, depth=40..70, filters=3849057, ccks=957, wck=13.873, mem=74M150
18.15/15.99 decisions=1749408, wrong=858890, backtracks=818556, failedAssignments=264167, nogoods=2153, foundSolutions=33, bestBound=1136
18.15/15.99
18.27/16.06 num=612, depth=41..68, filters=3865479, ccks=957, wck=13.935, mem=74M150
18.27/16.06 decisions=1756420, wrong=862371, backtracks=821898, failedAssignments=265137, nogoods=2157, foundSolutions=33, bestBound=1136
18.27/16.06
18.37/16.11 num=613, depth=41..72, filters=3878707, ccks=957, wck=13.989, mem=74M150
18.37/16.11 decisions=1762130, wrong=865203, backtracks=824532, failedAssignments=266204, nogoods=2161, foundSolutions=33, bestBound=1136
18.37/16.11
18.37/16.17 num=614, depth=31..55, filters=3894723, ccks=957, wck=14.047, mem=74M150
18.37/16.17 decisions=1768827, wrong=868532, backtracks=827686, failedAssignments=267377, nogoods=2166, foundSolutions=33, bestBound=1136
18.37/16.17
18.46/16.25 num=615, depth=33..67, filters=3913174, ccks=957, wck=14.126, mem=74M150
18.46/16.25 decisions=1777022, wrong=872610, backtracks=831539, failedAssignments=268668, nogoods=2171, foundSolutions=33, bestBound=1136
18.46/16.25
18.56/16.32 num=616, depth=46..72, filters=3934415, ccks=957, wck=14.197, mem=74M150
18.56/16.32 decisions=1785929, wrong=877036, backtracks=835779, failedAssignments=270088, nogoods=2175, foundSolutions=33, bestBound=1136
18.56/16.32
18.66/16.41 num=617, depth=36..67, filters=3956920, ccks=957, wck=14.293, mem=74M150
18.66/16.41 decisions=1795632, wrong=881864, backtracks=840349, failedAssignments=271650, nogoods=2179, foundSolutions=33, bestBound=1136
18.66/16.41
18.76/16.53 num=618, depth=29..70, filters=3981137, ccks=957, wck=14.406, mem=74M150
18.76/16.53 decisions=1808110, wrong=888085, backtracks=846360, failedAssignments=273368, nogoods=2183, foundSolutions=33, bestBound=1136
18.76/16.53
18.86/16.63 num=619, depth=39..67, filters=4008915, ccks=957, wck=14.513, mem=74M150
18.86/16.63 decisions=1819772, wrong=893896, backtracks=851835, failedAssignments=275258, nogoods=2186, foundSolutions=33, bestBound=1136
18.86/16.63
18.96/16.75 num=620, depth=37..71, filters=4037888, ccks=957, wck=14.631, mem=74M150
18.96/16.75 decisions=1834810, wrong=901391, backtracks=859119, failedAssignments=277337, nogoods=2190, foundSolutions=33, bestBound=1136
18.96/16.75
19.16/16.90 num=621, depth=36..65, filters=4071621, ccks=957, wck=14.78, mem=76M792
19.16/16.90 decisions=1849177, wrong=908549, backtracks=865985, failedAssignments=279624, nogoods=2194, foundSolutions=33, bestBound=1136
19.16/16.90
19.27/17.02 num=622, depth=34..64, filters=4102549, ccks=957, wck=14.896, mem=76M792
19.27/17.02 decisions=1865195, wrong=916536, backtracks=873703, failedAssignments=282140, nogoods=2199, foundSolutions=33, bestBound=1136
19.27/17.02
19.37/17.17 num=623, depth=38..71, filters=4142132, ccks=957, wck=15.051, mem=76M792
19.37/17.17 decisions=1882717, wrong=925273, backtracks=881972, failedAssignments=284908, nogoods=2203, foundSolutions=33, bestBound=1136
19.37/17.17
19.56/17.33 num=624, depth=37..68, filters=4183205, ccks=957, wck=15.204, mem=76M792
19.56/17.33 decisions=1901815, wrong=934801, backtracks=891125, failedAssignments=287952, nogoods=2209, foundSolutions=33, bestBound=1136
19.56/17.33
19.86/17.63 num=625, depth=13..68, filters=4250027, ccks=957, wck=15.504, mem=76M792
19.86/17.63 decisions=1934870, wrong=951309, backtracks=907158, failedAssignments=291301, nogoods=2216, foundSolutions=33, bestBound=1136
19.86/17.63
20.06/17.82 num=626, depth=41..70, filters=4296189, ccks=957, wck=15.702, mem=76M792
20.06/17.82 decisions=1955893, wrong=961794, backtracks=917169, failedAssignments=294985, nogoods=2222, foundSolutions=33, bestBound=1136
20.06/17.82
20.27/18.06 num=627, depth=34..67, filters=4358227, ccks=957, wck=15.935, mem=76M792
20.27/18.06 decisions=1986047, wrong=976850, backtracks=931763, failedAssignments=299037, nogoods=2226, foundSolutions=33, bestBound=1136
20.27/18.06
20.56/18.30 num=628, depth=39..68, filters=4429235, ccks=957, wck=16.183, mem=79M435
20.56/18.30 decisions=2015678, wrong=991641, backtracks=945823, failedAssignments=303494, nogoods=2230, foundSolutions=33, bestBound=1136
20.56/18.30
20.86/18.68 num=629, depth=29..69, filters=4519826, ccks=957, wck=16.557, mem=79M435
20.86/18.68 decisions=2054554, wrong=1011053, backtracks=964425, failedAssignments=308397, nogoods=2236, foundSolutions=33, bestBound=1136
20.86/18.68
21.16/18.96 num=630, depth=31..67, filters=4594808, ccks=957, wck=16.837, mem=79M435
21.16/18.96 decisions=2089308, wrong=1028407, backtracks=980764, failedAssignments=313791, nogoods=2241, foundSolutions=33, bestBound=1136
21.16/18.96
21.57/19.34 num=631, depth=32..67, filters=4686125, ccks=957, wck=17.214, mem=82M77
21.57/19.34 decisions=2130051, wrong=1048756, backtracks=1000438, failedAssignments=319724, nogoods=2247, foundSolutions=33, bestBound=1136
21.57/19.34
22.17/19.92 num=632, depth=10..69, filters=4821000, ccks=957, wck=17.794, mem=84M720
22.17/19.92 decisions=2194685, wrong=1081060, backtracks=1031354, failedAssignments=326250, nogoods=2250, foundSolutions=33, bestBound=1136
22.17/19.92
22.58/20.36 num=633, depth=21..68, filters=4933646, ccks=957, wck=18.24, mem=84M720
22.58/20.36 decisions=2244099, wrong=1105744, backtracks=1054067, failedAssignments=333429, nogoods=2257, foundSolutions=33, bestBound=1136
22.58/20.36
23.08/20.83 num=634, depth=32..66, filters=5057733, ccks=957, wck=18.707, mem=84M720
23.08/20.83 decisions=2299727, wrong=1133534, backtracks=1080031, failedAssignments=341326, nogoods=2263, foundSolutions=33, bestBound=1136
23.08/20.83
23.28/21.05 o 1120
23.28/21.05 num=635, depth=20..88, filters=5119426, ccks=986, wck=18.929, mem=84M720
23.28/21.05 decisions=2328670, wrong=1147976, backtracks=1093628, failedAssignments=344994, nogoods=2269, foundSolutions=34, bestBound=1120
23.28/21.05
23.97/21.74 num=636, depth=15..62, filters=5292339, ccks=986, wck=19.615, mem=87M362
23.97/21.74 decisions=2406420, wrong=1186834, backtracks=1130928, failedAssignments=354549, nogoods=2274, foundSolutions=34, bestBound=1120
23.97/21.74
23.97/21.74 num=637, depth=53..62, filters=5292482, ccks=986, wck=19.616, mem=87M362
23.97/21.74 decisions=2406535, wrong=1186865, backtracks=1130957, failedAssignments=354560, nogoods=2275, foundSolutions=34, bestBound=1120
23.97/21.74
23.97/21.74 num=638, depth=53..64, filters=5292643, ccks=986, wck=19.617, mem=87M362
23.97/21.74 decisions=2406652, wrong=1186896, backtracks=1130983, failedAssignments=354572, nogoods=2278, foundSolutions=34, bestBound=1120
23.97/21.74
23.97/21.74 num=639, depth=52..63, filters=5292821, ccks=986, wck=19.618, mem=87M362
23.97/21.74 decisions=2406791, wrong=1186939, backtracks=1131024, failedAssignments=354585, nogoods=2280, foundSolutions=34, bestBound=1120
23.97/21.74
23.97/21.74 num=640, depth=51..63, filters=5293058, ccks=986, wck=19.619, mem=87M362
23.97/21.74 decisions=2406946, wrong=1186989, backtracks=1131070, failedAssignments=354599, nogoods=2282, foundSolutions=34, bestBound=1120
23.97/21.74
23.97/21.74 num=641, depth=50..63, filters=5293297, ccks=986, wck=19.62, mem=87M362
23.97/21.74 decisions=2407116, wrong=1187047, backtracks=1131123, failedAssignments=354615, nogoods=2285, foundSolutions=34, bestBound=1120
23.97/21.74
23.97/21.74 num=642, depth=50..63, filters=5293555, ccks=986, wck=19.621, mem=87M362
23.97/21.74 decisions=2407290, wrong=1187109, backtracks=1131181, failedAssignments=354632, nogoods=2287, foundSolutions=34, bestBound=1120
23.97/21.74
23.97/21.74 num=643, depth=48..61, filters=5293924, ccks=986, wck=19.623, mem=87M362
23.97/21.74 decisions=2407515, wrong=1187194, backtracks=1131261, failedAssignments=354651, nogoods=2289, foundSolutions=34, bestBound=1120
23.97/21.74
23.97/21.75 num=644, depth=48..64, filters=5294300, ccks=986, wck=19.624, mem=87M362
23.97/21.75 decisions=2407710, wrong=1187266, backtracks=1131327, failedAssignments=354672, nogoods=2292, foundSolutions=34, bestBound=1120
23.97/21.75
23.97/21.75 num=645, depth=47..63, filters=5294818, ccks=986, wck=19.627, mem=87M362
23.97/21.75 decisions=2407965, wrong=1187364, backtracks=1131419, failedAssignments=354695, nogoods=2294, foundSolutions=34, bestBound=1120
23.97/21.75
23.97/21.75 num=646, depth=47..65, filters=5295113, ccks=986, wck=19.628, mem=87M362
23.97/21.75 decisions=2408155, wrong=1187429, backtracks=1131475, failedAssignments=354720, nogoods=2297, foundSolutions=34, bestBound=1120
23.97/21.75
23.97/21.75 num=647, depth=47..65, filters=5295523, ccks=986, wck=19.629, mem=87M362
23.97/21.75 decisions=2408380, wrong=1187515, backtracks=1131553, failedAssignments=354748, nogoods=2300, foundSolutions=34, bestBound=1120
23.97/21.75
23.97/21.75 num=648, depth=50..63, filters=5296085, ccks=986, wck=19.631, mem=87M362
23.97/21.75 decisions=2408700, wrong=1187650, backtracks=1131678, failedAssignments=354779, nogoods=2302, foundSolutions=34, bestBound=1120
23.97/21.75
23.97/21.75 num=649, depth=52..64, filters=5296526, ccks=986, wck=19.633, mem=87M362
23.97/21.75 decisions=2408965, wrong=1187756, backtracks=1131777, failedAssignments=354813, nogoods=2304, foundSolutions=34, bestBound=1120
23.97/21.75
23.97/21.76 num=650, depth=47..66, filters=5297164, ccks=986, wck=19.635, mem=87M362
23.97/21.76 decisions=2409325, wrong=1187907, backtracks=1131919, failedAssignments=354850, nogoods=2307, foundSolutions=34, bestBound=1120
23.97/21.76
23.97/21.76 num=651, depth=47..66, filters=5297928, ccks=986, wck=19.638, mem=87M362
23.97/21.76 decisions=2409722, wrong=1188082, backtracks=1132088, failedAssignments=354891, nogoods=2310, foundSolutions=34, bestBound=1120
23.97/21.76
23.97/21.76 num=652, depth=46..66, filters=5298804, ccks=986, wck=19.641, mem=87M362
23.97/21.76 decisions=2410190, wrong=1188292, backtracks=1132292, failedAssignments=354936, nogoods=2314, foundSolutions=34, bestBound=1120
23.97/21.76
23.97/21.77 num=653, depth=45..65, filters=5299530, ccks=986, wck=19.644, mem=87M362
23.97/21.77 decisions=2410614, wrong=1188477, backtracks=1132464, failedAssignments=354986, nogoods=2317, foundSolutions=34, bestBound=1120
23.97/21.77
23.97/21.77 num=654, depth=45..61, filters=5300713, ccks=986, wck=19.648, mem=87M362
23.97/21.77 decisions=2411227, wrong=1188756, backtracks=1132736, failedAssignments=355041, nogoods=2321, foundSolutions=34, bestBound=1120
23.97/21.77
23.97/21.77 num=655, depth=44..61, filters=5301495, ccks=986, wck=19.651, mem=87M362
23.97/21.77 decisions=2411674, wrong=1188954, backtracks=1132918, failedAssignments=355102, nogoods=2323, foundSolutions=34, bestBound=1120
23.97/21.77
23.97/21.78 num=656, depth=44..65, filters=5302577, ccks=986, wck=19.655, mem=87M362
23.97/21.78 decisions=2412232, wrong=1189209, backtracks=1133169, failedAssignments=355169, nogoods=2326, foundSolutions=34, bestBound=1120
23.97/21.78
23.97/21.78 num=657, depth=43..61, filters=5303593, ccks=986, wck=19.658, mem=87M362
23.97/21.78 decisions=2412777, wrong=1189457, backtracks=1133397, failedAssignments=355243, nogoods=2329, foundSolutions=34, bestBound=1120
23.97/21.78
23.97/21.78 num=658, depth=43..61, filters=5305133, ccks=986, wck=19.663, mem=87M362
23.97/21.78 decisions=2413508, wrong=1189799, backtracks=1133730, failedAssignments=355324, nogoods=2332, foundSolutions=34, bestBound=1120
23.97/21.78
23.97/21.79 num=659, depth=42..62, filters=5306542, ccks=986, wck=19.669, mem=87M362
23.97/21.79 decisions=2414236, wrong=1190137, backtracks=1134038, failedAssignments=355413, nogoods=2335, foundSolutions=34, bestBound=1120
23.97/21.79
23.97/21.80 num=660, depth=45..61, filters=5308118, ccks=986, wck=19.674, mem=87M362
23.97/21.80 decisions=2415066, wrong=1190526, backtracks=1134406, failedAssignments=355511, nogoods=2338, foundSolutions=34, bestBound=1120
23.97/21.80
24.07/21.80 num=661, depth=44..65, filters=5310116, ccks=986, wck=19.681, mem=87M362
24.07/21.80 decisions=2416018, wrong=1190975, backtracks=1134841, failedAssignments=355619, nogoods=2342, foundSolutions=34, bestBound=1120
24.07/21.80
24.07/21.81 num=662, depth=42..65, filters=5312376, ccks=986, wck=19.689, mem=87M362
24.07/21.81 decisions=2417096, wrong=1191490, backtracks=1135317, failedAssignments=355738, nogoods=2346, foundSolutions=34, bestBound=1120
24.07/21.81
24.07/21.82 num=663, depth=42..68, filters=5314847, ccks=986, wck=19.699, mem=87M362
24.07/21.82 decisions=2418257, wrong=1192047, backtracks=1135859, failedAssignments=355869, nogoods=2349, foundSolutions=34, bestBound=1120
24.07/21.82
24.07/21.83 num=664, depth=43..69, filters=5317756, ccks=986, wck=19.709, mem=87M362
24.07/21.83 decisions=2419550, wrong=1192667, backtracks=1136466, failedAssignments=356013, nogoods=2353, foundSolutions=34, bestBound=1120
24.07/21.83
24.07/21.84 num=665, depth=46..68, filters=5320289, ccks=986, wck=19.718, mem=87M362
24.07/21.84 decisions=2420697, wrong=1193211, backtracks=1136990, failedAssignments=356171, nogoods=2356, foundSolutions=34, bestBound=1120
24.07/21.84
24.07/21.85 num=666, depth=47..67, filters=5323000, ccks=986, wck=19.727, mem=87M362
24.07/21.85 decisions=2421922, wrong=1193796, backtracks=1137548, failedAssignments=356345, nogoods=2360, foundSolutions=34, bestBound=1120
24.07/21.85
24.07/21.86 num=667, depth=53..68, filters=5325868, ccks=986, wck=19.736, mem=87M362
24.07/21.86 decisions=2423155, wrong=1194384, backtracks=1138100, failedAssignments=356536, nogoods=2364, foundSolutions=34, bestBound=1120
24.07/21.86
24.07/21.87 num=668, depth=46..65, filters=5328560, ccks=986, wck=19.746, mem=87M362
24.07/21.87 decisions=2424459, wrong=1195013, backtracks=1138644, failedAssignments=356747, nogoods=2365, foundSolutions=34, bestBound=1120
24.07/21.87
24.07/21.88 num=669, depth=41..65, filters=5331464, ccks=986, wck=19.758, mem=87M362
24.07/21.88 decisions=2425791, wrong=1195649, backtracks=1139218, failedAssignments=356979, nogoods=2370, foundSolutions=34, bestBound=1120
24.07/21.88
24.07/21.89 num=670, depth=41..69, filters=5334823, ccks=986, wck=19.773, mem=87M362
24.07/21.89 decisions=2427520, wrong=1196488, backtracks=1139998, failedAssignments=357234, nogoods=2375, foundSolutions=34, bestBound=1120
24.07/21.89
24.18/21.91 num=671, depth=43..64, filters=5338462, ccks=986, wck=19.786, mem=87M362
24.18/21.91 decisions=2429170, wrong=1197287, backtracks=1140721, failedAssignments=357515, nogoods=2378, foundSolutions=34, bestBound=1120
24.18/21.91
24.18/21.92 num=672, depth=43..70, filters=5342293, ccks=986, wck=19.801, mem=87M362
24.18/21.92 decisions=2431167, wrong=1198261, backtracks=1141610, failedAssignments=357824, nogoods=2381, foundSolutions=34, bestBound=1120
24.18/21.92
24.18/21.94 num=673, depth=43..68, filters=5347015, ccks=986, wck=19.82, mem=87M362
24.18/21.94 decisions=2433547, wrong=1199422, backtracks=1142651, failedAssignments=358164, nogoods=2385, foundSolutions=34, bestBound=1120
24.18/21.94
24.18/21.96 num=674, depth=40..68, filters=5351318, ccks=986, wck=19.841, mem=87M362
24.18/21.96 decisions=2435856, wrong=1200549, backtracks=1143714, failedAssignments=358538, nogoods=2392, foundSolutions=34, bestBound=1120
24.18/21.96
24.18/21.98 num=675, depth=41..67, filters=5356426, ccks=986, wck=19.862, mem=87M362
24.18/21.98 decisions=2438355, wrong=1201778, backtracks=1144884, failedAssignments=358949, nogoods=2394, foundSolutions=34, bestBound=1120
24.18/21.98
24.29/22.01 num=676, depth=40..69, filters=5361795, ccks=986, wck=19.889, mem=87M362
24.29/22.01 decisions=2440961, wrong=1203055, backtracks=1146099, failedAssignments=359401, nogoods=2401, foundSolutions=34, bestBound=1120
24.29/22.01
24.29/22.03 num=677, depth=45..63, filters=5368212, ccks=986, wck=19.91, mem=87M362
24.29/22.03 decisions=2443668, wrong=1204385, backtracks=1147355, failedAssignments=359898, nogoods=2403, foundSolutions=34, bestBound=1120
24.29/22.03
24.29/22.06 num=678, depth=42..69, filters=5375549, ccks=986, wck=19.94, mem=87M362
24.29/22.06 decisions=2447443, wrong=1206248, backtracks=1149151, failedAssignments=360445, nogoods=2406, foundSolutions=34, bestBound=1120
24.29/22.06
24.29/22.08 num=679, depth=40..65, filters=5382028, ccks=986, wck=19.963, mem=87M362
24.29/22.08 decisions=2450418, wrong=1207715, backtracks=1150505, failedAssignments=361047, nogoods=2409, foundSolutions=34, bestBound=1120
24.29/22.08
24.39/22.13 num=680, depth=33..65, filters=5393922, ccks=986, wck=20.011, mem=87M362
24.39/22.13 decisions=2455790, wrong=1210381, backtracks=1153051, failedAssignments=361709, nogoods=2412, foundSolutions=34, bestBound=1120
24.39/22.13
24.39/22.18 num=681, depth=46..67, filters=5404347, ccks=986, wck=20.058, mem=87M362
24.39/22.18 decisions=2459767, wrong=1212344, backtracks=1154881, failedAssignments=362437, nogoods=2417, foundSolutions=34, bestBound=1120
24.39/22.18
24.48/22.23 num=682, depth=23..61, filters=5417937, ccks=986, wck=20.111, mem=90M4
24.48/22.23 decisions=2466122, wrong=1215501, backtracks=1157891, failedAssignments=363238, nogoods=2421, foundSolutions=34, bestBound=1120
24.48/22.23
24.58/22.31 num=683, depth=32..69, filters=5432902, ccks=986, wck=20.187, mem=90M4
24.58/22.31 decisions=2471812, wrong=1218324, backtracks=1160521, failedAssignments=364119, nogoods=2426, foundSolutions=34, bestBound=1120
24.58/22.31
24.58/22.37 num=684, depth=35..62, filters=5448938, ccks=986, wck=20.245, mem=90M4
24.58/22.37 decisions=2478834, wrong=1221815, backtracks=1163760, failedAssignments=365089, nogoods=2431, foundSolutions=34, bestBound=1120
24.58/22.37
24.68/22.48 num=685, depth=18..61, filters=5475182, ccks=986, wck=20.354, mem=90M4
24.68/22.48 decisions=2488836, wrong=1226800, backtracks=1168446, failedAssignments=366156, nogoods=2436, foundSolutions=34, bestBound=1120
24.68/22.48
24.78/22.56 num=686, depth=29..65, filters=5493160, ccks=986, wck=20.436, mem=90M4
24.78/22.56 decisions=2495817, wrong=1230272, backtracks=1171724, failedAssignments=367329, nogoods=2441, foundSolutions=34, bestBound=1120
24.78/22.56
24.88/22.68 num=687, depth=15..62, filters=5520083, ccks=986, wck=20.562, mem=90M4
24.88/22.68 decisions=2507582, wrong=1236139, backtracks=1177188, failedAssignments=368620, nogoods=2445, foundSolutions=34, bestBound=1120
24.88/22.68
24.98/22.75 num=688, depth=39..68, filters=5536976, ccks=986, wck=20.628, mem=90M4
24.98/22.75 decisions=2514901, wrong=1239775, backtracks=1180610, failedAssignments=370040, nogoods=2451, foundSolutions=34, bestBound=1120
24.98/22.75
25.08/22.87 num=689, depth=19..64, filters=5566749, ccks=986, wck=20.748, mem=90M4
25.08/22.87 decisions=2529162, wrong=1246887, backtracks=1187467, failedAssignments=371602, nogoods=2455, foundSolutions=34, bestBound=1120
25.08/22.87
25.18/22.98 num=690, depth=39..70, filters=5594185, ccks=986, wck=20.861, mem=90M4
25.18/22.98 decisions=2541179, wrong=1252866, backtracks=1193170, failedAssignments=373320, nogoods=2459, foundSolutions=34, bestBound=1120
25.18/22.98
25.29/23.09 num=691, depth=30..59, filters=5619615, ccks=986, wck=20.97, mem=90M4
25.29/23.09 decisions=2554337, wrong=1259423, backtracks=1199510, failedAssignments=375210, nogoods=2462, foundSolutions=34, bestBound=1120
25.29/23.09
25.48/23.21 num=692, depth=35..67, filters=5648027, ccks=986, wck=21.084, mem=90M4
25.48/23.21 decisions=2566942, wrong=1265704, backtracks=1205542, failedAssignments=377289, nogoods=2465, foundSolutions=34, bestBound=1120
25.48/23.21
25.58/23.31 num=693, depth=39..65, filters=5674424, ccks=986, wck=21.194, mem=90M4
25.58/23.31 decisions=2580572, wrong=1272495, backtracks=1212062, failedAssignments=379576, nogoods=2469, foundSolutions=34, bestBound=1120
25.58/23.31
25.78/23.52 num=694, depth=30..69, filters=5717802, ccks=986, wck=21.396, mem=90M4
25.78/23.52 decisions=2599298, wrong=1281841, backtracks=1221003, failedAssignments=382092, nogoods=2475, foundSolutions=34, bestBound=1120
25.78/23.52
25.88/23.65 num=695, depth=38..68, filters=5747198, ccks=986, wck=21.527, mem=90M4
25.88/23.65 decisions=2615171, wrong=1289754, backtracks=1228544, failedAssignments=384860, nogoods=2480, foundSolutions=34, bestBound=1120
25.88/23.65
26.08/23.84 num=696, depth=38..69, filters=5792211, ccks=986, wck=21.715, mem=92M647
26.08/23.84 decisions=2633070, wrong=1298680, backtracks=1236909, failedAssignments=387904, nogoods=2485, foundSolutions=34, bestBound=1120
26.08/23.84
26.29/24.02 num=697, depth=35..68, filters=5837878, ccks=986, wck=21.896, mem=92M647
26.29/24.02 decisions=2656649, wrong=1310448, backtracks=1248192, failedAssignments=391253, nogoods=2490, foundSolutions=34, bestBound=1120
26.29/24.02
26.48/24.28 num=698, depth=27..64, filters=5901683, ccks=986, wck=22.158, mem=92M647
26.48/24.28 decisions=2685421, wrong=1324813, backtracks=1262005, failedAssignments=394937, nogoods=2493, foundSolutions=34, bestBound=1120
26.48/24.28
26.78/24.51 num=699, depth=32..64, filters=5961972, ccks=986, wck=22.393, mem=92M647
26.78/24.51 decisions=2714435, wrong=1339298, backtracks=1275647, failedAssignments=398989, nogoods=2497, foundSolutions=34, bestBound=1120
26.78/24.51
27.08/24.81 num=700, depth=31..70, filters=6030769, ccks=986, wck=22.69, mem=92M647
27.08/24.81 decisions=2745252, wrong=1354686, backtracks=1290430, failedAssignments=403446, nogoods=2501, foundSolutions=34, bestBound=1120
27.08/24.81
27.39/25.17 num=701, depth=17..60, filters=6117050, ccks=986, wck=23.044, mem=92M647
27.39/25.17 decisions=2788326, wrong=1376206, backtracks=1311348, failedAssignments=408349, nogoods=2503, foundSolutions=34, bestBound=1120
27.39/25.17
27.78/25.54 num=702, depth=21..66, filters=6211821, ccks=986, wck=23.424, mem=95M289
27.78/25.54 decisions=2831215, wrong=1397629, backtracks=1331588, failedAssignments=413743, nogoods=2508, foundSolutions=34, bestBound=1120
27.78/25.54
28.18/25.90 num=703, depth=30..64, filters=6305536, ccks=986, wck=23.776, mem=95M289
28.18/25.90 decisions=2874355, wrong=1419175, backtracks=1352111, failedAssignments=419676, nogoods=2512, foundSolutions=34, bestBound=1120
28.18/25.90
28.58/26.31 num=704, depth=26..66, filters=6410221, ccks=986, wck=24.187, mem=95M289
28.58/26.31 decisions=2922654, wrong=1443303, backtracks=1375273, failedAssignments=426202, nogoods=2517, foundSolutions=34, bestBound=1120
28.58/26.31
28.88/26.68 num=705, depth=28..65, filters=6516101, ccks=986, wck=24.563, mem=97M932
28.88/26.68 decisions=2971352, wrong=1467632, backtracks=1398603, failedAssignments=433381, nogoods=2521, foundSolutions=34, bestBound=1120
28.88/26.68
29.39/27.15 num=706, depth=32..70, filters=6641626, ccks=986, wck=25.032, mem=97M932
29.39/27.15 decisions=3031287, wrong=1497577, backtracks=1427526, failedAssignments=441278, nogoods=2527, foundSolutions=34, bestBound=1120
29.39/27.15
30.08/27.82 num=707, depth=17..69, filters=6806364, ccks=986, wck=25.695, mem=97M932
30.08/27.82 decisions=3111179, wrong=1537507, backtracks=1465896, failedAssignments=449965, nogoods=2532, foundSolutions=34, bestBound=1120
30.08/27.82
30.58/28.33 num=708, depth=33..69, filters=6942964, ccks=986, wck=26.204, mem=100M574
30.58/28.33 decisions=3175279, wrong=1569535, backtracks=1496227, failedAssignments=459520, nogoods=2536, foundSolutions=34, bestBound=1120
30.58/28.33
31.29/29.04 num=709, depth=24..69, filters=7117724, ccks=986, wck=26.921, mem=100M574
31.29/29.04 decisions=3252013, wrong=1607885, backtracks=1532394, failedAssignments=470031, nogoods=2542, foundSolutions=34, bestBound=1120
31.29/29.04
31.88/29.67 num=710, depth=34..70, filters=7284583, ccks=986, wck=27.544, mem=103M217
31.88/29.67 decisions=3327763, wrong=1645738, backtracks=1568162, failedAssignments=481593, nogoods=2548, foundSolutions=34, bestBound=1120
31.88/29.67
32.88/30.68 num=711, depth=19..68, filters=7534775, ccks=986, wck=28.561, mem=103M217
32.88/30.68 decisions=3439600, wrong=1701641, backtracks=1621475, failedAssignments=494311, nogoods=2555, foundSolutions=34, bestBound=1120
32.88/30.68
33.88/31.60 num=712, depth=33..71, filters=7794001, ccks=986, wck=29.48, mem=105M859
33.88/31.60 decisions=3545575, wrong=1754600, backtracks=1671061, failedAssignments=508301, nogoods=2560, foundSolutions=34, bestBound=1120
33.88/31.60
34.89/32.67 num=713, depth=27..67, filters=8048325, ccks=986, wck=30.548, mem=105M859
34.89/32.67 decisions=3648021, wrong=1805801, backtracks=1718301, failedAssignments=523690, nogoods=2564, foundSolutions=34, bestBound=1120
34.89/32.67
36.40/34.15 num=714, depth=13..68, filters=8391944, ccks=986, wck=32.029, mem=108M501
36.40/34.15 decisions=3798377, wrong=1880959, backtracks=1790064, failedAssignments=540618, nogoods=2570, foundSolutions=34, bestBound=1120
36.40/34.15
37.69/35.40 num=715, depth=22..68, filters=8731626, ccks=986, wck=33.281, mem=111M144
37.69/35.40 decisions=3945011, wrong=1954261, backtracks=1860345, failedAssignments=559239, nogoods=2575, foundSolutions=34, bestBound=1120
37.69/35.40
39.09/36.81 num=716, depth=26..66, filters=9092011, ccks=986, wck=34.691, mem=113M786
39.09/36.81 decisions=4104724, wrong=2034094, backtracks=1936265, failedAssignments=579723, nogoods=2582, foundSolutions=34, bestBound=1120
39.09/36.81
40.69/38.41 num=717, depth=24..69, filters=9494828, ccks=986, wck=36.293, mem=116M429
40.69/38.41 decisions=4283165, wrong=2123299, backtracks=2021059, failedAssignments=602255, nogoods=2586, foundSolutions=34, bestBound=1120
40.69/38.41
42.69/40.41 num=718, depth=13..70, filters=9940636, ccks=986, wck=38.288, mem=119M71
42.69/40.41 decisions=4491772, wrong=2227583, backtracks=2118274, failedAssignments=627040, nogoods=2592, foundSolutions=34, bestBound=1120
42.69/40.41
44.40/42.18 num=719, depth=27..74, filters=10382825, ccks=986, wck=40.055, mem=121M714
44.40/42.18 decisions=4691328, wrong=2327345, backtracks=2211638, failedAssignments=654304, nogoods=2597, foundSolutions=34, bestBound=1120
44.40/42.18
47.19/44.92 num=720, depth=12..69, filters=11007752, ccks=986, wck=42.801, mem=126M998
47.19/44.92 decisions=4977615, wrong=2470467, backtracks=2349807, failedAssignments=684294, nogoods=2602, foundSolutions=34, bestBound=1120
47.19/44.92
48.99/46.79 num=721, depth=33..74, filters=11519102, ccks=986, wck=44.667, mem=129M641
48.99/46.79 decisions=5213038, wrong=2588158, backtracks=2460245, failedAssignments=717283, nogoods=2607, foundSolutions=34, bestBound=1120
48.99/46.79
52.19/50.00 num=722, depth=9..67, filters=12225665, ccks=986, wck=47.875, mem=134M926
52.19/50.00 decisions=5540249, wrong=2751748, backtracks=2615803, failedAssignments=753571, nogoods=2613, foundSolutions=34, bestBound=1120
52.19/50.00
54.89/52.66 num=723, depth=21..71, filters=12891779, ccks=986, wck=50.538, mem=137M568
54.89/52.66 decisions=5836056, wrong=2899627, backtracks=2755290, failedAssignments=793488, nogoods=2619, foundSolutions=34, bestBound=1120
54.89/52.66
58.40/56.13 num=724, depth=13..68, filters=13691554, ccks=986, wck=54.004, mem=142M778
58.40/56.13 decisions=6212409, wrong=3087794, backtracks=2935408, failedAssignments=837397, nogoods=2626, foundSolutions=34, bestBound=1120
58.40/56.13
61.92/59.68 num=725, depth=18..69, filters=14569999, ccks=986, wck=57.557, mem=28M73
61.92/59.68 decisions=6600816, wrong=3281977, backtracks=3118711, failedAssignments=885697, nogoods=2632, foundSolutions=34, bestBound=1120
61.92/59.68
66.02/63.78 num=726, depth=14..71, filters=15515315, ccks=986, wck=61.661, mem=33M252
66.02/63.78 decisions=7038340, wrong=3500721, backtracks=3328337, failedAssignments=938827, nogoods=2639, foundSolutions=34, bestBound=1120
66.02/63.78
69.12/66.89 num=727, depth=22..73, filters=16378000, ccks=986, wck=64.768, mem=38M431
69.12/66.89 decisions=7487959, wrong=3725511, backtracks=3538596, failedAssignments=997270, nogoods=2646, foundSolutions=34, bestBound=1120
69.12/66.89
73.33/71.03 num=728, depth=12..66, filters=17444277, ccks=986, wck=68.908, mem=46M200
73.33/71.03 decisions=8025047, wrong=3994040, backtracks=3791420, failedAssignments=1061557, nogoods=2652, foundSolutions=34, bestBound=1120
73.33/71.03
78.52/76.27 num=729, depth=10..73, filters=18745832, ccks=986, wck=74.145, mem=56M558
78.52/76.27 decisions=8652459, wrong=4307726, backtracks=4092281, failedAssignments=1132273, nogoods=2658, foundSolutions=34, bestBound=1120
78.52/76.27
83.73/81.41 num=730, depth=12..72, filters=20093864, ccks=986, wck=79.286, mem=64M326
83.73/81.41 decisions=9266496, wrong=4614729, backtracks=4384566, failedAssignments=1210060, nogoods=2665, foundSolutions=34, bestBound=1120
83.73/81.41
89.53/87.25 num=731, depth=12..71, filters=21543390, ccks=986, wck=85.126, mem=74M685
89.53/87.25 decisions=9978007, wrong=4970471, backtracks=4722769, failedAssignments=1295626, nogoods=2671, foundSolutions=34, bestBound=1120
89.53/87.25
96.54/94.25 num=732, depth=9..69, filters=23315545, ccks=986, wck=92.125, mem=87M632
96.54/94.25 decisions=10817301, wrong=5390111, backtracks=5121287, failedAssignments=1389749, nogoods=2677, foundSolutions=34, bestBound=1120
96.54/94.25
104.54/102.25 num=733, depth=6..66, filters=25280580, ccks=986, wck=100.129, mem=100M580
104.54/102.25 decisions=11745225, wrong=5854059, backtracks=5560971, failedAssignments=1493284, nogoods=2683, foundSolutions=34, bestBound=1120
104.54/102.25
112.24/109.99 num=734, depth=7..72, filters=27169033, ccks=986, wck=107.872, mem=113M528
112.24/109.99 decisions=12679798, wrong=6321329, backtracks=6003229, failedAssignments=1607173, nogoods=2692, foundSolutions=34, bestBound=1120
112.24/109.99
121.24/118.97 num=735, depth=10..72, filters=29328637, ccks=986, wck=116.844, mem=129M65
121.24/118.97 decisions=13755590, wrong=6859202, backtracks=6511268, failedAssignments=1732451, nogoods=2698, foundSolutions=34, bestBound=1120
121.24/118.97
132.14/129.80 num=736, depth=5..72, filters=31979442, ccks=986, wck=127.679, mem=147M192
132.14/129.80 decisions=15009139, wrong=7485959, backtracks=7103723, failedAssignments=1870257, nogoods=2704, foundSolutions=34, bestBound=1120
132.14/129.80
144.17/141.87 num=737, depth=4..72, filters=34738193, ccks=986, wck=139.745, mem=33M320
144.17/141.87 decisions=16360839, wrong=8161800, backtracks=7743977, failedAssignments=2021843, nogoods=2710, foundSolutions=34, bestBound=1120
144.17/141.87
156.88/154.57 num=738, depth=1..65, filters=37680236, ccks=986, wck=152.449, mem=54M184
156.88/154.57 decisions=17773023, wrong=8867882, backtracks=8408138, failedAssignments=2188588, nogoods=2715, foundSolutions=34, bestBound=1120
156.88/154.57
159.98/157.63
159.98/157.63 New Bounds: 1120..1119
159.98/157.63 num=739, depth=0..65, filters=38352566, ccks=986, wck=155.511, mem=56M792
159.98/157.63 decisions=18088105, wrong=9025424, backtracks=8558885, failedAssignments=2223007, foundSolutions=34, bestBound=1120
159.98/157.63
159.98/157.63 Global
159.98/157.63 filters=38352566, ccks=986
159.98/157.63 Stop=FULL_EXPLORATION, wrong=9025424, bestBound=1120, bestBoundWck=19.207, bestBoundCpu=21.016, foundSolutions=34, firstSolCpu=2.115
159.98/157.63 wck=155.789, cpu=157.581, mem=56M792
159.98/157.63
159.98/157.63 v <instantiation id='sol34' type='solution' cost='1120'> <list> x[] </list> <values> 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 </values> </instantiation>
159.98/157.63 s OPTIMUM FOUND
159.98/157.63
159.98/157.63 d WRONG_DECISIONS 9025424
159.98/157.63 d NUMBER_SOLUTIONS 34