2.60/1.90
2.60/1.90 AbsCon 2
2.60/1.91
4.47/2.55 Instance
4.47/2.55 name=instance-4391306-1568388874, framework=COP, bounds=-infty..+infty
4.47/2.56
4.47/2.56 Loading variables...
4.81/2.61 Loading constraints...
8.49/3.81
8.49/3.81 Domains
8.49/3.81 nTypes=1, nValues=148225, sizes=[385#385]
8.49/3.81 Variables
8.49/3.81 count=385, degrees=[2#8,3#2,4#3,5#2...269#2,271#1,273#1,283#1]
8.49/3.81 Objectives
8.49/3.81 way=min, type=ObjMaximumLE
8.49/3.81 Constraints
8.49/3.81 count=19096, nSpecific=19096, arities=[2#19095,385#1]
8.49/3.81 distribution=[NE#19095,ObjMaximumLE#1]
8.49/3.81 wck=1.943, cpu=3.717, mem=122M34
8.49/3.83 Solver SolverBacktrack being built...
8.49/3.83
8.49/3.87
8.49/3.87 Solver
8.49/3.87 guaranteedGAC=true
8.49/3.87 wck=2.001, cpu=3.774, mem=134M899
8.49/3.88
8.49/3.88 Preprocessing
8.49/3.88 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
8.49/3.88 wck=0.011, cpu=3.786, mem=134M899
8.49/3.88
9.16/4.02 o 41
9.16/4.04 num=0, depth=386..384, filters=7658, ccks=19096, wck=0.171, mem=137M59
9.16/4.04 decisions=385, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=41
9.16/4.04
9.50/4.11 num=1, depth=338..348, filters=15969, ccks=19096, wck=0.239, mem=141M330
9.50/4.11 decisions=767, wrong=22, backtracks=11, failedAssignments=11, nogoods=1, foundSolutions=1, bestBound=41
9.50/4.11
9.50/4.17 num=2, depth=336..345, filters=24117, ccks=19096, wck=0.299, mem=141M330
9.50/4.17 decisions=1148, wrong=44, backtracks=22, failedAssignments=22, nogoods=3, foundSolutions=1, bestBound=41
9.50/4.17
9.71/4.21 num=3, depth=322..333, filters=33102, ccks=19096, wck=0.34, mem=141M330
9.71/4.21 decisions=1519, wrong=68, backtracks=34, failedAssignments=34, nogoods=5, foundSolutions=1, bestBound=41
9.71/4.21
9.71/4.25 num=4, depth=342..346, filters=41507, ccks=19096, wck=0.381, mem=141M330
9.71/4.25 decisions=1914, wrong=94, backtracks=47, failedAssignments=47, nogoods=8, foundSolutions=1, bestBound=41
9.71/4.25
9.71/4.29 num=5, depth=342..349, filters=50069, ccks=19096, wck=0.422, mem=141M330
9.71/4.29 decisions=2312, wrong=122, backtracks=61, failedAssignments=61, nogoods=10, foundSolutions=1, bestBound=41
9.71/4.29
9.83/4.33 num=6, depth=333..347, filters=59128, ccks=19096, wck=0.463, mem=141M330
9.83/4.33 decisions=2709, wrong=154, backtracks=77, failedAssignments=77, nogoods=11, foundSolutions=1, bestBound=41
9.83/4.33
9.83/4.37 num=7, depth=334..341, filters=68374, ccks=19096, wck=0.505, mem=141M330
9.83/4.37 decisions=3111, wrong=188, backtracks=98, failedAssignments=94, nogoods=13, foundSolutions=1, bestBound=41
9.83/4.37
9.93/4.42 num=8, depth=307..310, filters=78343, ccks=19096, wck=0.548, mem=141M330
9.93/4.42 decisions=3495, wrong=226, backtracks=118, failedAssignments=113, nogoods=19, foundSolutions=1, bestBound=41
9.93/4.42
9.93/4.46 num=9, depth=306..310, filters=88207, ccks=19096, wck=0.59, mem=141M330
9.93/4.46 decisions=3887, wrong=268, backtracks=139, failedAssignments=134, nogoods=23, foundSolutions=1, bestBound=41
9.93/4.46
10.04/4.50 num=10, depth=344..353, filters=97221, ccks=19096, wck=0.631, mem=145M602
10.04/4.50 decisions=4323, wrong=314, backtracks=168, failedAssignments=157, nogoods=24, foundSolutions=1, bestBound=41
10.04/4.50
10.04/4.54 o 40
10.04/4.55 num=11, depth=386..384, filters=104824, ccks=38192, wck=0.678, mem=145M602
10.04/4.55 decisions=4706, wrong=314, backtracks=168, failedAssignments=157, nogoods=24, foundSolutions=2, bestBound=40
10.04/4.55
10.04/4.59 o 37
10.04/4.59 num=12, depth=386..384, filters=112127, ccks=57288, wck=0.724, mem=145M602
10.04/4.59 decisions=5091, wrong=314, backtracks=168, failedAssignments=157, nogoods=24, foundSolutions=3, bestBound=37
10.04/4.59
10.19/4.64 num=13, depth=298..307, filters=119983, ccks=57288, wck=0.767, mem=145M602
10.19/4.64 decisions=5433, wrong=336, backtracks=179, failedAssignments=168, nogoods=26, foundSolutions=3, bestBound=37
10.19/4.64
10.19/4.68 num=14, depth=260..265, filters=129372, ccks=57288, wck=0.809, mem=145M602
10.19/4.68 decisions=5737, wrong=358, backtracks=190, failedAssignments=179, nogoods=29, foundSolutions=3, bestBound=37
10.19/4.68
10.32/4.72 num=15, depth=264..271, filters=138846, ccks=57288, wck=0.853, mem=145M602
10.32/4.72 decisions=6049, wrong=382, backtracks=204, failedAssignments=191, nogoods=30, foundSolutions=3, bestBound=37
10.32/4.72
10.32/4.76 num=16, depth=288..296, filters=148057, ccks=57288, wck=0.895, mem=145M602
10.32/4.76 decisions=6389, wrong=408, backtracks=217, failedAssignments=204, nogoods=31, foundSolutions=3, bestBound=37
10.32/4.76
10.46/4.81 num=17, depth=272..276, filters=158184, ccks=57288, wck=0.938, mem=145M602
10.46/4.81 decisions=6718, wrong=436, backtracks=233, failedAssignments=218, nogoods=35, foundSolutions=3, bestBound=37
10.46/4.81
10.46/4.85 num=18, depth=272..276, filters=168115, ccks=57288, wck=0.98, mem=145M602
10.46/4.85 decisions=7055, wrong=468, backtracks=251, failedAssignments=234, nogoods=39, foundSolutions=3, bestBound=37
10.46/4.85
10.46/4.89 num=19, depth=270..284, filters=179190, ccks=57288, wck=1.019, mem=145M602
10.46/4.89 decisions=7393, wrong=502, backtracks=269, failedAssignments=251, nogoods=40, foundSolutions=3, bestBound=37
10.46/4.89
10.56/4.93 num=20, depth=277..280, filters=188310, ccks=57288, wck=1.06, mem=145M602
10.56/4.93 decisions=7746, wrong=540, backtracks=288, failedAssignments=270, nogoods=41, foundSolutions=3, bestBound=37
10.56/4.93
10.56/4.97 num=21, depth=309..316, filters=199498, ccks=57288, wck=1.103, mem=145M602
10.56/4.97 decisions=8142, wrong=583, backtracks=310, failedAssignments=291, nogoods=45, foundSolutions=3, bestBound=37
10.56/4.97
10.72/5.02 num=22, depth=284..287, filters=209395, ccks=57288, wck=1.149, mem=145M602
10.72/5.02 decisions=8520, wrong=629, backtracks=333, failedAssignments=314, nogoods=48, foundSolutions=3, bestBound=37
10.72/5.02
10.72/5.06 num=23, depth=306..320, filters=219761, ccks=57288, wck=1.191, mem=145M602
10.72/5.06 decisions=8926, wrong=679, backtracks=358, failedAssignments=339, nogoods=50, foundSolutions=3, bestBound=37
10.72/5.06
10.72/5.10 num=24, depth=271..282, filters=231392, ccks=57288, wck=1.234, mem=145M602
10.72/5.10 decisions=9309, wrong=735, backtracks=391, failedAssignments=367, nogoods=51, foundSolutions=3, bestBound=37
10.72/5.10
10.84/5.14 num=25, depth=277..289, filters=242374, ccks=57288, wck=1.277, mem=145M602
10.84/5.14 decisions=9712, wrong=797, backtracks=423, failedAssignments=398, nogoods=53, foundSolutions=3, bestBound=37
10.84/5.14
10.84/5.19 num=26, depth=281..284, filters=253062, ccks=57288, wck=1.319, mem=145M602
10.84/5.19 decisions=10130, wrong=865, backtracks=457, failedAssignments=432, nogoods=60, foundSolutions=3, bestBound=37
10.84/5.19
10.93/5.23 o 36
10.93/5.23 num=27, depth=386..384, filters=260384, ccks=76384, wck=1.361, mem=145M602
10.93/5.23 decisions=10514, wrong=865, backtracks=457, failedAssignments=432, nogoods=60, foundSolutions=4, bestBound=36
10.93/5.23
10.93/5.28 num=28, depth=274..282, filters=274756, ccks=76384, wck=1.41, mem=145M602
10.93/5.28 decisions=10953, wrong=947, backtracks=498, failedAssignments=473, nogoods=64, foundSolutions=4, bestBound=36
10.93/5.28
11.04/5.32 num=29, depth=297..299, filters=283715, ccks=76384, wck=1.45, mem=145M602
11.04/5.32 decisions=11294, wrong=969, backtracks=509, failedAssignments=484, nogoods=68, foundSolutions=4, bestBound=36
11.04/5.32
11.04/5.36 num=30, depth=274..286, filters=292319, ccks=76384, wck=1.488, mem=145M602
11.04/5.36 decisions=11616, wrong=993, backtracks=521, failedAssignments=496, nogoods=69, foundSolutions=4, bestBound=36
11.04/5.36
11.04/5.40 num=31, depth=288..294, filters=300959, ccks=76384, wck=1.528, mem=145M602
11.04/5.40 decisions=11956, wrong=1019, backtracks=537, failedAssignments=509, nogoods=70, foundSolutions=4, bestBound=36
11.04/5.40
11.14/5.43 num=32, depth=289..297, filters=310222, ccks=76384, wck=1.567, mem=145M602
11.14/5.43 decisions=12301, wrong=1047, backtracks=551, failedAssignments=523, nogoods=71, foundSolutions=4, bestBound=36
11.14/5.43
11.14/5.47 num=33, depth=278..289, filters=320507, ccks=76384, wck=1.606, mem=145M602
11.14/5.47 decisions=12643, wrong=1079, backtracks=569, failedAssignments=539, nogoods=72, foundSolutions=4, bestBound=36
11.14/5.47
11.24/5.51 num=34, depth=305..310, filters=329238, ccks=76384, wck=1.645, mem=145M602
11.24/5.51 decisions=12999, wrong=1104, backtracks=579, failedAssignments=556, nogoods=75, foundSolutions=4, bestBound=36
11.24/5.51
11.24/5.55 num=35, depth=286..298, filters=338458, ccks=76384, wck=1.685, mem=145M602
11.24/5.55 decisions=13361, wrong=1142, backtracks=600, failedAssignments=575, nogoods=76, foundSolutions=4, bestBound=36
11.24/5.55
11.24/5.59 num=36, depth=288..302, filters=348309, ccks=76384, wck=1.724, mem=145M602
11.24/5.59 decisions=13733, wrong=1184, backtracks=621, failedAssignments=596, nogoods=77, foundSolutions=4, bestBound=36
11.24/5.59
11.34/5.63 num=37, depth=297..305, filters=358843, ccks=76384, wck=1.766, mem=145M602
11.34/5.63 decisions=14122, wrong=1230, backtracks=648, failedAssignments=619, nogoods=80, foundSolutions=4, bestBound=36
11.34/5.63
11.34/5.67 o 35
11.34/5.68 num=38, depth=299..384, filters=366956, ccks=95480, wck=1.809, mem=145M602
11.34/5.68 decisions=14497, wrong=1238, backtracks=652, failedAssignments=623, nogoods=81, foundSolutions=5, bestBound=35
11.34/5.68
11.44/5.72 num=39, depth=285..295, filters=377419, ccks=95480, wck=1.856, mem=145M602
11.44/5.72 decisions=14894, wrong=1294, backtracks=688, failedAssignments=651, nogoods=83, foundSolutions=5, bestBound=35
11.44/5.72
11.44/5.76 num=40, depth=283..288, filters=386526, ccks=95480, wck=1.896, mem=145M602
11.44/5.76 decisions=15216, wrong=1313, backtracks=696, failedAssignments=662, nogoods=87, foundSolutions=5, bestBound=35
11.44/5.76
11.54/5.80 num=41, depth=284..289, filters=395085, ccks=95480, wck=1.935, mem=145M602
11.54/5.80 decisions=15548, wrong=1337, backtracks=710, failedAssignments=674, nogoods=89, foundSolutions=5, bestBound=35
11.54/5.80
11.54/5.84 num=42, depth=261..270, filters=404795, ccks=95480, wck=1.976, mem=145M602
11.54/5.84 decisions=15861, wrong=1363, backtracks=723, failedAssignments=687, nogoods=90, foundSolutions=5, bestBound=35
11.54/5.84
11.54/5.88 num=43, depth=294..306, filters=413504, ccks=95480, wck=2.015, mem=145M602
11.54/5.88 decisions=16211, wrong=1391, backtracks=738, failedAssignments=701, nogoods=91, foundSolutions=5, bestBound=35
11.54/5.88
11.64/5.92 num=44, depth=326..333, filters=421948, ccks=95480, wck=2.054, mem=145M602
11.64/5.92 decisions=16597, wrong=1421, backtracks=752, failedAssignments=717, nogoods=92, foundSolutions=5, bestBound=35
11.64/5.92
11.64/5.96 num=45, depth=296..304, filters=431597, ccks=95480, wck=2.095, mem=145M602
11.64/5.96 decisions=16961, wrong=1455, backtracks=770, failedAssignments=734, nogoods=94, foundSolutions=5, bestBound=35
11.64/5.96
11.64/6.01 num=46, depth=266..276, filters=443631, ccks=95480, wck=2.138, mem=145M602
11.64/6.01 decisions=17309, wrong=1496, backtracks=792, failedAssignments=753, nogoods=96, foundSolutions=5, bestBound=35
11.64/6.01
11.75/6.05 num=47, depth=282..292, filters=452145, ccks=95480, wck=2.178, mem=145M602
11.75/6.05 decisions=17653, wrong=1527, backtracks=802, failedAssignments=774, nogoods=98, foundSolutions=5, bestBound=35
11.75/6.05
11.75/6.09 num=48, depth=268..289, filters=461483, ccks=95480, wck=2.218, mem=145M602
11.75/6.09 decisions=18009, wrong=1571, backtracks=823, failedAssignments=797, nogoods=99, foundSolutions=5, bestBound=35
11.75/6.09
11.86/6.13 o 34
11.86/6.13 num=49, depth=386..384, filters=468965, ccks=114576, wck=2.262, mem=145M602
11.86/6.13 decisions=18386, wrong=1571, backtracks=823, failedAssignments=797, nogoods=99, foundSolutions=6, bestBound=34
11.86/6.13
11.86/6.17 num=50, depth=207..227, filters=480605, ccks=114576, wck=2.303, mem=145M602
11.86/6.17 decisions=18706, wrong=1627, backtracks=851, failedAssignments=825, nogoods=103, foundSolutions=6, bestBound=34
11.86/6.17
11.95/6.21 num=51, depth=201..205, filters=490572, ccks=114576, wck=2.343, mem=145M602
11.95/6.21 decisions=18951, wrong=1649, backtracks=862, failedAssignments=836, nogoods=105, foundSolutions=6, bestBound=34
11.95/6.21
11.95/6.25 num=52, depth=223..228, filters=499624, ccks=114576, wck=2.383, mem=145M602
11.95/6.25 decisions=19223, wrong=1673, backtracks=875, failedAssignments=848, nogoods=108, foundSolutions=6, bestBound=34
11.95/6.25
11.95/6.29 num=53, depth=263..270, filters=509332, ccks=114576, wck=2.424, mem=145M602
11.95/6.29 decisions=19538, wrong=1699, backtracks=888, failedAssignments=861, nogoods=110, foundSolutions=6, bestBound=34
11.95/6.29
12.05/6.33 num=54, depth=254..257, filters=518440, ccks=114576, wck=2.464, mem=145M602
12.05/6.33 decisions=19849, wrong=1727, backtracks=902, failedAssignments=875, nogoods=112, foundSolutions=6, bestBound=34
12.05/6.33
12.05/6.37 num=55, depth=276..284, filters=527550, ccks=114576, wck=2.504, mem=145M602
12.05/6.37 decisions=20189, wrong=1759, backtracks=919, failedAssignments=891, nogoods=113, foundSolutions=6, bestBound=34
12.05/6.37
12.15/6.41 num=56, depth=292..301, filters=535995, ccks=114576, wck=2.543, mem=145M602
12.15/6.41 decisions=20549, wrong=1793, backtracks=936, failedAssignments=908, nogoods=114, foundSolutions=6, bestBound=34
12.15/6.41
12.15/6.45 num=57, depth=176..180, filters=547445, ccks=114576, wck=2.587, mem=145M602
12.15/6.45 decisions=20802, wrong=1831, backtracks=955, failedAssignments=927, nogoods=117, foundSolutions=6, bestBound=34
12.15/6.45
12.15/6.50 num=58, depth=290..311, filters=558105, ccks=114576, wck=2.628, mem=145M602
12.15/6.50 decisions=21176, wrong=1873, backtracks=976, failedAssignments=948, nogoods=118, foundSolutions=6, bestBound=34
12.15/6.50
12.25/6.54 num=59, depth=203..215, filters=573612, ccks=114576, wck=2.671, mem=145M602
12.25/6.54 decisions=21471, wrong=1919, backtracks=999, failedAssignments=971, nogoods=120, foundSolutions=6, bestBound=34
12.25/6.54
12.25/6.58 num=60, depth=212..215, filters=587319, ccks=114576, wck=2.716, mem=145M602
12.25/6.58 decisions=21784, wrong=1969, backtracks=1024, failedAssignments=996, nogoods=123, foundSolutions=6, bestBound=34
12.25/6.58
12.35/6.63 num=61, depth=193..276, filters=599182, ccks=114576, wck=2.758, mem=145M602
12.35/6.63 decisions=22167, wrong=2026, backtracks=1053, failedAssignments=1024, nogoods=125, foundSolutions=6, bestBound=34
12.35/6.63
12.35/6.67 num=62, depth=284..305, filters=611348, ccks=114576, wck=2.8, mem=145M602
12.35/6.67 decisions=22575, wrong=2088, backtracks=1086, failedAssignments=1055, nogoods=128, foundSolutions=6, bestBound=34
12.35/6.67
12.45/6.71 num=63, depth=294..314, filters=622466, ccks=114576, wck=2.842, mem=145M602
12.45/6.71 decisions=23005, wrong=2156, backtracks=1120, failedAssignments=1089, nogoods=130, foundSolutions=6, bestBound=34
12.45/6.71
12.45/6.76 num=64, depth=219..257, filters=634788, ccks=114576, wck=2.887, mem=145M602
12.45/6.76 decisions=23380, wrong=2234, backtracks=1161, failedAssignments=1126, nogoods=132, foundSolutions=6, bestBound=34
12.45/6.76
12.55/6.80 num=65, depth=213..245, filters=648335, ccks=114576, wck=2.931, mem=145M602
12.55/6.80 decisions=23741, wrong=2297, backtracks=1184, failedAssignments=1167, nogoods=136, foundSolutions=6, bestBound=34
12.55/6.80
12.55/6.85 o 33
12.55/6.85 num=66, depth=386..384, filters=656132, ccks=133672, wck=2.983, mem=152M35
12.55/6.85 decisions=24124, wrong=2297, backtracks=1184, failedAssignments=1167, nogoods=136, foundSolutions=7, bestBound=33
12.55/6.85
12.55/6.90 num=67, depth=225..272, filters=669575, ccks=133672, wck=3.028, mem=152M35
12.55/6.90 decisions=24549, wrong=2397, backtracks=1234, failedAssignments=1217, nogoods=139, foundSolutions=7, bestBound=33
12.55/6.90
12.69/6.94 o 32
12.69/6.94 num=68, depth=386..384, filters=677538, ccks=152768, wck=3.074, mem=152M35
12.69/6.94 decisions=24899, wrong=2397, backtracks=1234, failedAssignments=1217, nogoods=139, foundSolutions=8, bestBound=32
12.69/6.94
12.69/6.98 num=69, depth=190..196, filters=686848, ccks=152768, wck=3.117, mem=152M35
12.69/6.98 decisions=25137, wrong=2421, backtracks=1248, failedAssignments=1229, nogoods=141, foundSolutions=8, bestBound=32
12.69/6.98
12.80/7.03 num=70, depth=181..192, filters=695271, ccks=152768, wck=3.158, mem=152M35
12.80/7.03 decisions=25362, wrong=2443, backtracks=1259, failedAssignments=1240, nogoods=142, foundSolutions=8, bestBound=32
12.80/7.03
12.80/7.07 num=71, depth=187..190, filters=704332, ccks=152768, wck=3.199, mem=152M35
12.80/7.07 decisions=25598, wrong=2467, backtracks=1271, failedAssignments=1252, nogoods=145, foundSolutions=8, bestBound=32
12.80/7.07
12.80/7.11 num=72, depth=187..192, filters=712824, ccks=152768, wck=3.238, mem=152M35
12.80/7.11 decisions=25837, wrong=2493, backtracks=1287, failedAssignments=1265, nogoods=147, foundSolutions=8, bestBound=32
12.80/7.11
12.90/7.15 num=73, depth=156..160, filters=722402, ccks=152768, wck=3.28, mem=152M35
12.90/7.15 decisions=26050, wrong=2521, backtracks=1303, failedAssignments=1279, nogoods=151, foundSolutions=8, bestBound=32
12.90/7.15
12.90/7.19 num=74, depth=144..149, filters=734121, ccks=152768, wck=3.322, mem=152M35
12.90/7.19 decisions=26261, wrong=2553, backtracks=1319, failedAssignments=1295, nogoods=155, foundSolutions=8, bestBound=32
12.90/7.19
13.00/7.23 num=75, depth=176..193, filters=742875, ccks=152768, wck=3.362, mem=152M35
13.00/7.23 decisions=26505, wrong=2587, backtracks=1336, failedAssignments=1312, nogoods=156, foundSolutions=8, bestBound=32
13.00/7.23
13.00/7.27 num=76, depth=181..191, filters=752760, ccks=152768, wck=3.403, mem=152M35
13.00/7.27 decisions=26762, wrong=2625, backtracks=1355, failedAssignments=1331, nogoods=157, foundSolutions=8, bestBound=32
13.00/7.27
13.10/7.31 num=77, depth=173..194, filters=769560, ccks=152768, wck=3.446, mem=152M35
13.10/7.31 decisions=27019, wrong=2667, backtracks=1376, failedAssignments=1352, nogoods=158, foundSolutions=8, bestBound=32
13.10/7.31
13.10/7.35 num=78, depth=282..305, filters=779111, ccks=152768, wck=3.486, mem=152M35
13.10/7.35 decisions=27393, wrong=2713, backtracks=1399, failedAssignments=1375, nogoods=159, foundSolutions=8, bestBound=32
13.10/7.35
13.10/7.39 num=79, depth=169..194, filters=788675, ccks=152768, wck=3.526, mem=152M35
13.10/7.39 decisions=27662, wrong=2763, backtracks=1424, failedAssignments=1400, nogoods=160, foundSolutions=8, bestBound=32
13.10/7.39
13.20/7.44 num=80, depth=184..194, filters=800426, ccks=152768, wck=3.572, mem=152M35
13.20/7.44 decisions=27958, wrong=2819, backtracks=1460, failedAssignments=1428, nogoods=162, foundSolutions=8, bestBound=32
13.20/7.44
13.20/7.48 num=81, depth=197..203, filters=814187, ccks=152768, wck=3.613, mem=152M35
13.20/7.48 decisions=28279, wrong=2881, backtracks=1492, failedAssignments=1459, nogoods=168, foundSolutions=8, bestBound=32
13.20/7.48
13.30/7.52 num=82, depth=166..192, filters=827458, ccks=152768, wck=3.657, mem=152M35
13.30/7.52 decisions=28581, wrong=2949, backtracks=1528, failedAssignments=1493, nogoods=169, foundSolutions=8, bestBound=32
13.30/7.52
13.30/7.57 num=83, depth=188..193, filters=841144, ccks=152768, wck=3.701, mem=152M35
13.30/7.57 decisions=28918, wrong=3023, backtracks=1567, failedAssignments=1530, nogoods=172, foundSolutions=8, bestBound=32
13.30/7.57
13.40/7.61 o 31
13.40/7.62 num=84, depth=172..384, filters=853075, ccks=171864, wck=3.749, mem=152M35
13.40/7.62 decisions=29297, wrong=3058, backtracks=1581, failedAssignments=1551, nogoods=175, foundSolutions=9, bestBound=31
13.40/7.62
13.40/7.66 num=85, depth=106..149, filters=872798, ccks=171864, wck=3.793, mem=152M35
13.40/7.66 decisions=29583, wrong=3148, backtracks=1626, failedAssignments=1596, nogoods=176, foundSolutions=9, bestBound=31
13.40/7.66
13.50/7.70 num=86, depth=193..199, filters=881615, ccks=171864, wck=3.832, mem=152M35
13.50/7.70 decisions=29820, wrong=3170, backtracks=1637, failedAssignments=1607, nogoods=178, foundSolutions=9, bestBound=31
13.50/7.70
13.50/7.74 num=87, depth=189..201, filters=891161, ccks=171864, wck=3.872, mem=152M35
13.50/7.74 decisions=30057, wrong=3194, backtracks=1649, failedAssignments=1619, nogoods=179, foundSolutions=9, bestBound=31
13.50/7.74
13.50/7.78 num=88, depth=210..218, filters=900158, ccks=171864, wck=3.91, mem=152M35
13.50/7.78 decisions=30319, wrong=3220, backtracks=1662, failedAssignments=1632, nogoods=180, foundSolutions=9, bestBound=31
13.50/7.78
13.60/7.82 o 30
13.60/7.82 num=89, depth=226..384, filters=910633, ccks=190960, wck=3.953, mem=152M35
13.60/7.82 decisions=30703, wrong=3244, backtracks=1674, failedAssignments=1644, nogoods=181, foundSolutions=10, bestBound=30
13.60/7.82
13.60/7.86 num=90, depth=195..207, filters=920441, ccks=190960, wck=3.995, mem=152M35
13.60/7.86 decisions=30962, wrong=3276, backtracks=1690, failedAssignments=1660, nogoods=182, foundSolutions=10, bestBound=30
13.60/7.86
13.73/7.90 num=91, depth=158..166, filters=929629, ccks=190960, wck=4.032, mem=152M35
13.73/7.90 decisions=31164, wrong=3298, backtracks=1701, failedAssignments=1671, nogoods=183, foundSolutions=10, bestBound=30
13.73/7.90
13.73/7.94 num=92, depth=192..204, filters=937391, ccks=190960, wck=4.069, mem=152M35
13.73/7.94 decisions=31404, wrong=3322, backtracks=1713, failedAssignments=1683, nogoods=184, foundSolutions=10, bestBound=30
13.73/7.94
13.73/7.97 num=93, depth=156..169, filters=946962, ccks=190960, wck=4.106, mem=152M35
13.73/7.97 decisions=31612, wrong=3348, backtracks=1726, failedAssignments=1696, nogoods=185, foundSolutions=10, bestBound=30
13.73/7.97
13.84/8.01 num=94, depth=192..206, filters=955726, ccks=190960, wck=4.144, mem=152M35
13.84/8.01 decisions=31860, wrong=3376, backtracks=1740, failedAssignments=1710, nogoods=186, foundSolutions=10, bestBound=30
13.84/8.01
13.84/8.05 num=95, depth=187..203, filters=965822, ccks=190960, wck=4.182, mem=152M35
13.84/8.05 decisions=32111, wrong=3408, backtracks=1756, failedAssignments=1726, nogoods=187, foundSolutions=10, bestBound=30
13.84/8.05
13.84/8.09 num=96, depth=146..155, filters=979116, ccks=190960, wck=4.224, mem=152M35
13.84/8.09 decisions=32325, wrong=3442, backtracks=1773, failedAssignments=1743, nogoods=188, foundSolutions=10, bestBound=30
13.84/8.09
13.95/8.13 num=97, depth=94..100, filters=991445, ccks=190960, wck=4.264, mem=152M35
13.95/8.13 decisions=32500, wrong=3481, backtracks=1793, failedAssignments=1762, nogoods=192, foundSolutions=10, bestBound=30
13.95/8.13
13.95/8.17 num=98, depth=158..179, filters=1005770, ccks=190960, wck=4.303, mem=152M35
13.95/8.17 decisions=32742, wrong=3523, backtracks=1814, failedAssignments=1783, nogoods=193, foundSolutions=10, bestBound=30
13.95/8.17
14.04/8.21 num=99, depth=104..123, filters=1017180, ccks=190960, wck=4.343, mem=152M35
14.04/8.21 decisions=32932, wrong=3560, backtracks=1828, failedAssignments=1806, nogoods=196, foundSolutions=10, bestBound=30
14.04/8.21
14.04/8.25 num=100, depth=131..156, filters=1029009, ccks=190960, wck=4.381, mem=152M35
14.04/8.25 decisions=33163, wrong=3610, backtracks=1853, failedAssignments=1831, nogoods=197, foundSolutions=10, bestBound=30
14.04/8.25
14.04/8.29 num=101, depth=194..205, filters=1040719, ccks=190960, wck=4.424, mem=152M35
14.04/8.29 decisions=33469, wrong=3666, backtracks=1888, failedAssignments=1859, nogoods=200, foundSolutions=10, bestBound=30
14.04/8.29
14.14/8.34 num=102, depth=130..166, filters=1067129, ccks=190960, wck=4.47, mem=152M35
14.14/8.34 decisions=33757, wrong=3727, backtracks=1918, failedAssignments=1890, nogoods=202, foundSolutions=10, bestBound=30
14.14/8.34
14.14/8.39 num=103, depth=101..112, filters=1081598, ccks=190960, wck=4.518, mem=152M35
14.14/8.39 decisions=33995, wrong=3795, backtracks=1961, failedAssignments=1924, nogoods=205, foundSolutions=10, bestBound=30
14.14/8.39
14.24/8.43 num=104, depth=99..113, filters=1102400, ccks=190960, wck=4.563, mem=152M35
14.24/8.43 decisions=34232, wrong=3864, backtracks=1994, failedAssignments=1961, nogoods=206, foundSolutions=10, bestBound=30
14.24/8.43
14.24/8.48 num=105, depth=150..167, filters=1128931, ccks=190960, wck=4.612, mem=152M35
14.24/8.48 decisions=34548, wrong=3947, backtracks=2036, failedAssignments=2002, nogoods=207, foundSolutions=10, bestBound=30
14.24/8.48
14.34/8.52 o 29
14.34/8.53 num=106, depth=155..384, filters=1144100, ccks=210056, wck=4.659, mem=152M35
14.34/8.53 decisions=34972, wrong=4011, backtracks=2066, failedAssignments=2036, nogoods=212, foundSolutions=11, bestBound=29
14.34/8.53
14.34/8.57 num=107, depth=121..164, filters=1161045, ccks=210056, wck=4.703, mem=152M35
14.34/8.57 decisions=35293, wrong=4111, backtracks=2116, failedAssignments=2086, nogoods=213, foundSolutions=11, bestBound=29
14.34/8.57
14.45/8.62 o 28
14.45/8.62 num=108, depth=95..384, filters=1171417, ccks=229152, wck=4.752, mem=152M35
14.45/8.62 decisions=35579, wrong=4117, backtracks=2119, failedAssignments=2089, nogoods=214, foundSolutions=12, bestBound=28
14.45/8.62
14.45/8.66 num=109, depth=78..83, filters=1187154, ccks=229152, wck=4.791, mem=152M35
14.45/8.66 decisions=35705, wrong=4141, backtracks=2134, failedAssignments=2101, nogoods=215, foundSolutions=12, bestBound=28
14.45/8.66
14.57/8.70 o 27
14.57/8.70 num=110, depth=81..384, filters=1199733, ccks=248248, wck=4.836, mem=152M35
14.57/8.70 decisions=35952, wrong=4152, backtracks=2137, failedAssignments=2109, nogoods=221, foundSolutions=13, bestBound=27
14.57/8.70
14.57/8.74 num=111, depth=64..66, filters=1212067, ccks=248248, wck=4.877, mem=152M35
14.57/8.74 decisions=36064, wrong=4176, backtracks=2149, failedAssignments=2121, nogoods=226, foundSolutions=13, bestBound=27
14.57/8.74
14.57/8.78 num=112, depth=88..94, filters=1222330, ccks=248248, wck=4.911, mem=152M35
14.57/8.78 decisions=36196, wrong=4198, backtracks=2160, failedAssignments=2132, nogoods=227, foundSolutions=13, bestBound=27
14.57/8.78
14.67/8.82 num=113, depth=69..74, filters=1233277, ccks=248248, wck=4.949, mem=152M35
14.67/8.82 decisions=36315, wrong=4223, backtracks=2174, failedAssignments=2144, nogoods=229, foundSolutions=13, bestBound=27
14.67/8.82
14.67/8.85 num=114, depth=80..82, filters=1243572, ccks=248248, wck=4.985, mem=152M35
14.67/8.85 decisions=36448, wrong=4249, backtracks=2187, failedAssignments=2157, nogoods=234, foundSolutions=13, bestBound=27
14.67/8.85
14.67/8.89 num=115, depth=169..178, filters=1253197, ccks=248248, wck=5.022, mem=152M35
14.67/8.89 decisions=36672, wrong=4275, backtracks=2199, failedAssignments=2171, nogoods=237, foundSolutions=13, bestBound=27
14.67/8.89
14.77/8.93 o 26
14.77/8.93 num=116, depth=97..384, filters=1261565, ccks=267344, wck=5.067, mem=152M35
14.77/8.93 decisions=36920, wrong=4278, backtracks=2201, failedAssignments=2172, nogoods=238, foundSolutions=14, bestBound=26
14.77/8.93
14.77/8.97 num=117, depth=86..103, filters=1269400, ccks=267344, wck=5.101, mem=152M35
14.77/8.97 decisions=37074, wrong=4312, backtracks=2218, failedAssignments=2189, nogoods=239, foundSolutions=14, bestBound=26
14.77/8.97
14.77/9.00 num=118, depth=68..72, filters=1282230, ccks=267344, wck=5.136, mem=152M35
14.77/9.00 decisions=37186, wrong=4334, backtracks=2229, failedAssignments=2200, nogoods=242, foundSolutions=14, bestBound=26
14.77/9.00
14.88/9.04 num=119, depth=88..93, filters=1293304, ccks=267344, wck=5.173, mem=152M35
14.88/9.04 decisions=37325, wrong=4358, backtracks=2241, failedAssignments=2212, nogoods=247, foundSolutions=14, bestBound=26
14.88/9.04
14.88/9.08 num=120, depth=102..107, filters=1307518, ccks=267344, wck=5.212, mem=152M35
14.88/9.08 decisions=37479, wrong=4384, backtracks=2257, failedAssignments=2225, nogoods=249, foundSolutions=14, bestBound=26
14.88/9.08
14.99/9.12 num=121, depth=67..118, filters=1318364, ccks=267344, wck=5.25, mem=152M35
14.99/9.12 decisions=37651, wrong=4413, backtracks=2272, failedAssignments=2239, nogoods=252, foundSolutions=14, bestBound=26
14.99/9.12
14.99/9.15 num=122, depth=71..76, filters=1333577, ccks=267344, wck=5.287, mem=152M35
14.99/9.15 decisions=37786, wrong=4445, backtracks=2289, failedAssignments=2255, nogoods=254, foundSolutions=14, bestBound=26
14.99/9.15
14.99/9.19 num=123, depth=86..91, filters=1344386, ccks=267344, wck=5.322, mem=152M35
14.99/9.19 decisions=37941, wrong=4479, backtracks=2309, failedAssignments=2272, nogoods=258, foundSolutions=14, bestBound=26
14.99/9.19
15.09/9.23 num=124, depth=80..112, filters=1355106, ccks=267344, wck=5.361, mem=152M35
15.09/9.23 decisions=38105, wrong=4507, backtracks=2318, failedAssignments=2291, nogoods=263, foundSolutions=14, bestBound=26
15.09/9.23
15.09/9.27 o 25
15.09/9.27 num=125, depth=96..384, filters=1365532, ccks=286440, wck=5.406, mem=152M35
15.09/9.27 decisions=38373, wrong=4529, backtracks=2328, failedAssignments=2303, nogoods=269, foundSolutions=15, bestBound=25
15.09/9.27
15.19/9.31 num=126, depth=50..58, filters=1382412, ccks=286440, wck=5.447, mem=152M35
15.19/9.31 decisions=38515, wrong=4575, backtracks=2352, failedAssignments=2326, nogoods=270, foundSolutions=15, bestBound=25
15.19/9.31
15.19/9.35 num=127, depth=61..66, filters=1390904, ccks=286440, wck=5.478, mem=152M35
15.19/9.35 decisions=38620, wrong=4597, backtracks=2363, failedAssignments=2337, nogoods=271, foundSolutions=15, bestBound=25
15.19/9.35
15.19/9.38 num=128, depth=87..95, filters=1401009, ccks=286440, wck=5.511, mem=152M35
15.19/9.38 decisions=38757, wrong=4621, backtracks=2375, failedAssignments=2349, nogoods=273, foundSolutions=15, bestBound=25
15.19/9.38
15.31/9.41 num=129, depth=96..108, filters=1409238, ccks=286440, wck=5.543, mem=152M35
15.31/9.41 decisions=38905, wrong=4647, backtracks=2388, failedAssignments=2362, nogoods=274, foundSolutions=15, bestBound=25
15.31/9.41
15.31/9.45 num=130, depth=81..110, filters=1425683, ccks=286440, wck=5.579, mem=152M35
15.31/9.45 decisions=39065, wrong=4680, backtracks=2407, failedAssignments=2376, nogoods=276, foundSolutions=15, bestBound=25
15.31/9.45
15.31/9.48 num=131, depth=53..70, filters=1436715, ccks=286440, wck=5.612, mem=152M35
15.31/9.48 decisions=39188, wrong=4708, backtracks=2420, failedAssignments=2392, nogoods=280, foundSolutions=15, bestBound=25
15.31/9.48
15.41/9.51 num=132, depth=71..85, filters=1449642, ccks=286440, wck=5.644, mem=152M35
15.41/9.51 decisions=39327, wrong=4742, backtracks=2437, failedAssignments=2409, nogoods=281, foundSolutions=15, bestBound=25
15.41/9.51
15.41/9.55 num=133, depth=57..87, filters=1466908, ccks=286440, wck=5.685, mem=152M35
15.41/9.55 decisions=39472, wrong=4776, backtracks=2453, failedAssignments=2428, nogoods=290, foundSolutions=15, bestBound=25
15.41/9.55
15.41/9.59 num=134, depth=71..79, filters=1481498, ccks=286440, wck=5.722, mem=152M35
15.41/9.59 decisions=39627, wrong=4818, backtracks=2477, failedAssignments=2449, nogoods=293, foundSolutions=15, bestBound=25
15.41/9.59
15.51/9.63 num=135, depth=72..81, filters=1503051, ccks=286440, wck=5.76, mem=152M35
15.51/9.63 decisions=39796, wrong=4864, backtracks=2500, failedAssignments=2472, nogoods=296, foundSolutions=15, bestBound=25
15.51/9.63
15.51/9.67 num=136, depth=77..107, filters=1523331, ccks=286440, wck=5.8, mem=152M35
15.51/9.67 decisions=39995, wrong=4911, backtracks=2526, failedAssignments=2497, nogoods=300, foundSolutions=15, bestBound=25
15.51/9.67
15.62/9.73 num=137, depth=47..50, filters=1564574, ccks=286440, wck=5.86, mem=152M35
15.62/9.73 decisions=40154, wrong=4967, backtracks=2554, failedAssignments=2525, nogoods=303, foundSolutions=15, bestBound=25
15.62/9.73
15.62/9.77 num=138, depth=71..80, filters=1586056, ccks=286440, wck=5.899, mem=152M35
15.62/9.77 decisions=40359, wrong=5034, backtracks=2594, failedAssignments=2556, nogoods=306, foundSolutions=15, bestBound=25
15.62/9.77
15.72/9.81 num=139, depth=88..116, filters=1602116, ccks=286440, wck=5.942, mem=152M35
15.72/9.81 decisions=40578, wrong=5088, backtracks=2618, failedAssignments=2590, nogoods=310, foundSolutions=15, bestBound=25
15.72/9.81
15.72/9.85 o 24
15.72/9.85 num=140, depth=93..384, filters=1611102, ccks=305536, wck=5.984, mem=152M35
15.72/9.85 decisions=40833, wrong=5110, backtracks=2630, failedAssignments=2601, nogoods=314, foundSolutions=16, bestBound=24
15.72/9.85
15.82/9.90 o 23
15.82/9.90 num=141, depth=80..384, filters=1627536, ccks=324632, wck=6.033, mem=152M35
15.82/9.90 decisions=41117, wrong=5159, backtracks=2652, failedAssignments=2628, nogoods=318, foundSolutions=17, bestBound=23
15.82/9.90
15.82/9.94 num=142, depth=54..59, filters=1641744, ccks=324632, wck=6.068, mem=152M35
15.82/9.94 decisions=41217, wrong=5182, backtracks=2665, failedAssignments=2639, nogoods=319, foundSolutions=17, bestBound=23
15.82/9.94
15.82/9.96 num=143, depth=56..62, filters=1649809, ccks=324632, wck=6.096, mem=152M35
15.82/9.96 decisions=41316, wrong=5203, backtracks=2675, failedAssignments=2650, nogoods=322, foundSolutions=17, bestBound=23
15.82/9.96
15.82/9.99 num=144, depth=48..52, filters=1660740, ccks=324632, wck=6.126, mem=152M35
15.82/9.99 decisions=41414, wrong=5227, backtracks=2687, failedAssignments=2662, nogoods=326, foundSolutions=17, bestBound=23
15.82/9.99
15.93/10.03 num=145, depth=42..56, filters=1680462, ccks=324632, wck=6.165, mem=152M35
15.93/10.03 decisions=41516, wrong=5252, backtracks=2700, failedAssignments=2675, nogoods=332, foundSolutions=17, bestBound=23
15.93/10.03
15.93/10.08 num=146, depth=42..50, filters=1711084, ccks=324632, wck=6.21, mem=152M35
15.93/10.08 decisions=41625, wrong=5284, backtracks=2718, failedAssignments=2689, nogoods=334, foundSolutions=17, bestBound=23
15.93/10.08
16.07/10.11 num=147, depth=46..49, filters=1731772, ccks=324632, wck=6.244, mem=152M35
16.07/10.11 decisions=41736, wrong=5316, backtracks=2734, failedAssignments=2705, nogoods=336, foundSolutions=17, bestBound=23
16.07/10.11
16.07/10.15 num=148, depth=45..48, filters=1751158, ccks=324632, wck=6.282, mem=152M35
16.07/10.15 decisions=41849, wrong=5350, backtracks=2752, failedAssignments=2722, nogoods=339, foundSolutions=17, bestBound=23
16.07/10.15
16.07/10.19 num=149, depth=46..50, filters=1772838, ccks=324632, wck=6.321, mem=152M35
16.07/10.19 decisions=41971, wrong=5388, backtracks=2772, failedAssignments=2741, nogoods=343, foundSolutions=17, bestBound=23
16.07/10.19
16.16/10.23 num=150, depth=43..54, filters=1789382, ccks=324632, wck=6.357, mem=152M35
16.16/10.23 decisions=42105, wrong=5430, backtracks=2796, failedAssignments=2762, nogoods=350, foundSolutions=17, bestBound=23
16.16/10.23
16.16/10.26 num=151, depth=54..60, filters=1806843, ccks=324632, wck=6.395, mem=152M35
16.16/10.26 decisions=42249, wrong=5472, backtracks=2816, failedAssignments=2785, nogoods=354, foundSolutions=17, bestBound=23
16.16/10.26
16.16/10.30 num=152, depth=47..52, filters=1822426, ccks=324632, wck=6.427, mem=152M35
16.16/10.30 decisions=42397, wrong=5522, backtracks=2841, failedAssignments=2810, nogoods=358, foundSolutions=17, bestBound=23
16.16/10.30
16.28/10.33 num=153, depth=52..55, filters=1837671, ccks=324632, wck=6.466, mem=152M35
16.28/10.33 decisions=42562, wrong=5578, backtracks=2870, failedAssignments=2838, nogoods=365, foundSolutions=17, bestBound=23
16.28/10.33
16.28/10.39 num=154, depth=36..40, filters=1871027, ccks=324632, wck=6.526, mem=152M35
16.28/10.39 decisions=42724, wrong=5640, backtracks=2901, failedAssignments=2869, nogoods=370, foundSolutions=17, bestBound=23
16.28/10.39
16.38/10.44 num=155, depth=48..68, filters=1900433, ccks=324632, wck=6.573, mem=152M35
16.38/10.44 decisions=42930, wrong=5717, backtracks=2949, failedAssignments=2903, nogoods=373, foundSolutions=17, bestBound=23
16.38/10.44
16.48/10.50 num=156, depth=46..69, filters=1935234, ccks=324632, wck=6.629, mem=152M35
16.48/10.50 decisions=43191, wrong=5821, backtracks=3022, failedAssignments=2940, nogoods=378, foundSolutions=17, bestBound=23
16.48/10.50
16.48/10.55 num=157, depth=44..47, filters=1966927, ccks=324632, wck=6.683, mem=152M35
16.48/10.55 decisions=43401, wrong=5903, backtracks=3063, failedAssignments=2981, nogoods=383, foundSolutions=17, bestBound=23
16.48/10.55
16.58/10.62 num=158, depth=52..63, filters=2013168, ccks=324632, wck=6.75, mem=152M35
16.58/10.62 decisions=43663, wrong=6007, backtracks=3131, failedAssignments=3026, nogoods=390, foundSolutions=17, bestBound=23
16.58/10.62
16.58/10.66 o 22
16.58/10.66 num=159, depth=46..384, filters=2028392, ccks=343728, wck=6.794, mem=152M35
16.58/10.66 decisions=43895, wrong=6033, backtracks=3145, failedAssignments=3038, nogoods=395, foundSolutions=18, bestBound=22
16.58/10.66
16.68/10.72 num=160, depth=41..46, filters=2064405, ccks=343728, wck=6.851, mem=152M35
16.68/10.72 decisions=44158, wrong=6143, backtracks=3202, failedAssignments=3093, nogoods=402, foundSolutions=18, bestBound=22
16.68/10.72
16.68/10.75 o 21
16.68/10.76 num=161, depth=47..384, filters=2073357, ccks=362824, wck=6.889, mem=156M307
16.68/10.76 decisions=44358, wrong=6154, backtracks=3210, failedAssignments=3098, nogoods=404, foundSolutions=19, bestBound=21
16.68/10.76
16.68/10.79 num=162, depth=42..47, filters=2083007, ccks=362824, wck=6.918, mem=156M307
16.68/10.79 decisions=44448, wrong=6178, backtracks=3222, failedAssignments=3110, nogoods=405, foundSolutions=19, bestBound=21
16.68/10.79
16.79/10.81 num=163, depth=44..46, filters=2094868, ccks=362824, wck=6.947, mem=156M307
16.79/10.81 decisions=44536, wrong=6200, backtracks=3233, failedAssignments=3121, nogoods=410, foundSolutions=19, bestBound=21
16.79/10.81
16.79/10.85 num=164, depth=36..38, filters=2109254, ccks=362824, wck=6.98, mem=156M307
16.79/10.85 decisions=44621, wrong=6224, backtracks=3245, failedAssignments=3133, nogoods=415, foundSolutions=19, bestBound=21
16.79/10.85
16.79/10.88 num=165, depth=33..38, filters=2124166, ccks=362824, wck=7.01, mem=156M307
16.79/10.88 decisions=44713, wrong=6252, backtracks=3261, failedAssignments=3146, nogoods=417, foundSolutions=19, bestBound=21
16.79/10.88
16.89/10.91 num=166, depth=37..42, filters=2150068, ccks=362824, wck=7.043, mem=156M307
16.89/10.91 decisions=44811, wrong=6282, backtracks=3277, failedAssignments=3160, nogoods=420, foundSolutions=19, bestBound=21
16.89/10.91
16.89/10.94 num=167, depth=37..59, filters=2173004, ccks=362824, wck=7.075, mem=156M307
16.89/10.94 decisions=44948, wrong=6332, backtracks=3312, failedAssignments=3176, nogoods=421, foundSolutions=19, bestBound=21
16.89/10.94
16.89/10.97 num=168, depth=48..64, filters=2182057, ccks=362824, wck=7.101, mem=156M307
16.89/10.97 decisions=45054, wrong=6357, backtracks=3320, failedAssignments=3193, nogoods=423, foundSolutions=19, bestBound=21
16.89/10.97
16.89/11.01 num=169, depth=66..72, filters=2199654, ccks=362824, wck=7.138, mem=156M307
16.89/11.01 decisions=45186, wrong=6390, backtracks=3340, failedAssignments=3212, nogoods=427, foundSolutions=19, bestBound=21
16.89/11.01
17.00/11.05 num=170, depth=36..45, filters=2225373, ccks=362824, wck=7.187, mem=156M307
17.00/11.05 decisions=45320, wrong=6439, backtracks=3378, failedAssignments=3233, nogoods=429, foundSolutions=19, bestBound=21
17.00/11.05
17.00/11.08 num=171, depth=52..58, filters=2241275, ccks=362824, wck=7.217, mem=156M307
17.00/11.08 decisions=45465, wrong=6485, backtracks=3401, failedAssignments=3256, nogoods=433, foundSolutions=19, bestBound=21
17.00/11.08
17.10/11.12 num=172, depth=35..40, filters=2260321, ccks=362824, wck=7.252, mem=156M307
17.10/11.12 decisions=45596, wrong=6533, backtracks=3427, failedAssignments=3281, nogoods=435, foundSolutions=19, bestBound=21
17.10/11.12
17.10/11.18 num=173, depth=40..49, filters=2300180, ccks=362824, wck=7.308, mem=156M307
17.10/11.18 decisions=45779, wrong=6604, backtracks=3483, failedAssignments=3309, nogoods=439, foundSolutions=19, bestBound=21
17.10/11.18
17.19/11.21 num=174, depth=32..38, filters=2319570, ccks=362824, wck=7.344, mem=156M307
17.19/11.21 decisions=45937, wrong=6666, backtracks=3515, failedAssignments=3340, nogoods=444, foundSolutions=19, bestBound=21
17.19/11.21
17.19/11.25 o 20
17.19/11.26 num=175, depth=65..384, filters=2343668, ccks=381920, wck=7.388, mem=156M307
17.19/11.26 decisions=46208, wrong=6718, backtracks=3543, failedAssignments=3365, nogoods=449, foundSolutions=20, bestBound=20
17.19/11.26
17.19/11.30 num=176, depth=29..32, filters=2363201, ccks=381920, wck=7.428, mem=156M307
17.19/11.30 decisions=46387, wrong=6792, backtracks=3580, failedAssignments=3402, nogoods=453, foundSolutions=20, bestBound=20
17.19/11.30
17.31/11.32 num=177, depth=39..41, filters=2371299, ccks=381920, wck=7.452, mem=156M307
17.31/11.32 decisions=46470, wrong=6814, backtracks=3591, failedAssignments=3413, nogoods=457, foundSolutions=20, bestBound=20
17.31/11.32
17.31/11.35 num=178, depth=26..30, filters=2383995, ccks=381920, wck=7.478, mem=156M307
17.31/11.35 decisions=46548, wrong=6839, backtracks=3605, failedAssignments=3425, nogoods=460, foundSolutions=20, bestBound=20
17.31/11.35
17.31/11.37 num=179, depth=28..31, filters=2402965, ccks=381920, wck=7.507, mem=156M307
17.31/11.37 decisions=46628, wrong=6865, backtracks=3618, failedAssignments=3438, nogoods=461, foundSolutions=20, bestBound=20
17.31/11.37
17.41/11.40 num=180, depth=31..38, filters=2415205, ccks=381920, wck=7.535, mem=156M307
17.41/11.40 decisions=46727, wrong=6897, backtracks=3638, failedAssignments=3452, nogoods=464, foundSolutions=20, bestBound=20
17.41/11.40
17.41/11.43 num=181, depth=29..32, filters=2426850, ccks=381920, wck=7.562, mem=156M307
17.41/11.43 decisions=46821, wrong=6929, backtracks=3655, failedAssignments=3468, nogoods=466, foundSolutions=20, bestBound=20
17.41/11.43
17.41/11.46 num=182, depth=29..32, filters=2441178, ccks=381920, wck=7.595, mem=156M307
17.41/11.46 decisions=46920, wrong=6963, backtracks=3673, failedAssignments=3485, nogoods=469, foundSolutions=20, bestBound=20
17.41/11.46
17.51/11.50 num=183, depth=28..32, filters=2458143, ccks=381920, wck=7.633, mem=156M307
17.51/11.50 decisions=47027, wrong=7002, backtracks=3695, failedAssignments=3504, nogoods=475, foundSolutions=20, bestBound=20
17.51/11.50
17.51/11.53 num=184, depth=33..42, filters=2478706, ccks=381920, wck=7.666, mem=156M307
17.51/11.53 decisions=47154, wrong=7047, backtracks=3719, failedAssignments=3525, nogoods=478, foundSolutions=20, bestBound=20
17.51/11.53
17.51/11.57 o 19
17.51/11.57 num=185, depth=36..384, filters=2492863, ccks=401016, wck=7.704, mem=156M307
17.51/11.57 decisions=47395, wrong=7084, backtracks=3737, failedAssignments=3545, nogoods=489, foundSolutions=21, bestBound=19
17.51/11.57
17.62/11.62 num=186, depth=26..31, filters=2510496, ccks=401016, wck=7.748, mem=156M307
17.62/11.62 decisions=47521, wrong=7134, backtracks=3764, failedAssignments=3570, nogoods=490, foundSolutions=21, bestBound=19
17.62/11.62
17.62/11.65 num=187, depth=29..31, filters=2526370, ccks=401016, wck=7.782, mem=156M307
17.62/11.65 decisions=47594, wrong=7156, backtracks=3775, failedAssignments=3581, nogoods=495, foundSolutions=21, bestBound=19
17.62/11.65
17.62/11.68 num=188, depth=29..37, filters=2539979, ccks=401016, wck=7.811, mem=156M307
17.62/11.68 decisions=47683, wrong=7186, backtracks=3793, failedAssignments=3593, nogoods=500, foundSolutions=21, bestBound=19
17.62/11.68
17.72/11.70 num=189, depth=26..29, filters=2548699, ccks=401016, wck=7.833, mem=156M307
17.72/11.70 decisions=47761, wrong=7212, backtracks=3806, failedAssignments=3606, nogoods=501, foundSolutions=21, bestBound=19
17.72/11.70
17.72/11.73 o 18
17.72/11.73 num=190, depth=386..384, filters=2554717, ccks=420112, wck=7.866, mem=156M307
17.72/11.73 decisions=47955, wrong=7212, backtracks=3806, failedAssignments=3606, nogoods=501, foundSolutions=22, bestBound=18
17.72/11.73
17.72/11.77 num=191, depth=25..28, filters=2570634, ccks=420112, wck=7.899, mem=156M307
17.72/11.77 decisions=48045, wrong=7244, backtracks=3822, failedAssignments=3622, nogoods=505, foundSolutions=22, bestBound=18
17.72/11.77
17.72/11.79 num=192, depth=28..33, filters=2581878, ccks=420112, wck=7.924, mem=156M307
17.72/11.79 decisions=48121, wrong=7268, backtracks=3836, failedAssignments=3633, nogoods=508, foundSolutions=22, bestBound=18
17.72/11.79
17.82/11.82 num=193, depth=22..31, filters=2602268, ccks=420112, wck=7.956, mem=156M307
17.82/11.82 decisions=48218, wrong=7304, backtracks=3864, failedAssignments=3645, nogoods=512, foundSolutions=22, bestBound=18
17.82/11.82
17.82/11.85 num=194, depth=25..27, filters=2614757, ccks=420112, wck=7.986, mem=156M307
17.82/11.85 decisions=48296, wrong=7330, backtracks=3877, failedAssignments=3658, nogoods=517, foundSolutions=22, bestBound=18
17.82/11.85
17.82/11.88 num=195, depth=26..28, filters=2624657, ccks=420112, wck=8.009, mem=156M307
17.82/11.88 decisions=48378, wrong=7358, backtracks=3891, failedAssignments=3672, nogoods=522, foundSolutions=22, bestBound=18
17.82/11.88
17.92/11.91 num=196, depth=23..29, filters=2643479, ccks=420112, wck=8.039, mem=156M307
17.92/11.91 decisions=48469, wrong=7392, backtracks=3910, failedAssignments=3688, nogoods=523, foundSolutions=22, bestBound=18
17.92/11.91
17.92/11.94 num=197, depth=25..29, filters=2667540, ccks=420112, wck=8.072, mem=156M307
17.92/11.94 decisions=48564, wrong=7426, backtracks=3928, failedAssignments=3705, nogoods=526, foundSolutions=22, bestBound=18
17.92/11.94
17.92/11.96 num=198, depth=26..29, filters=2678022, ccks=420112, wck=8.097, mem=156M307
17.92/11.96 decisions=48666, wrong=7464, backtracks=3948, failedAssignments=3724, nogoods=531, foundSolutions=22, bestBound=18
17.92/11.96
17.92/11.99 num=199, depth=26..29, filters=2695632, ccks=420112, wck=8.127, mem=156M307
17.92/11.99 decisions=48776, wrong=7506, backtracks=3970, failedAssignments=3745, nogoods=534, foundSolutions=22, bestBound=18
17.92/11.99
18.03/12.02 num=200, depth=25..30, filters=2709350, ccks=420112, wck=8.153, mem=156M307
18.03/12.02 decisions=48896, wrong=7552, backtracks=3993, failedAssignments=3768, nogoods=538, foundSolutions=22, bestBound=18
18.03/12.02
18.03/12.04 o 17
18.03/12.05 num=201, depth=386..384, filters=2715155, ccks=439208, wck=8.177, mem=156M307
18.03/12.05 decisions=49016, wrong=7552, backtracks=3993, failedAssignments=3768, nogoods=538, foundSolutions=23, bestBound=17
18.03/12.05
18.03/12.09 num=202, depth=21..24, filters=2757624, ccks=439208, wck=8.224, mem=156M307
18.03/12.09 decisions=49151, wrong=7608, backtracks=4021, failedAssignments=3796, nogoods=542, foundSolutions=23, bestBound=17
18.03/12.09
18.13/12.11 num=203, depth=24..26, filters=2767679, ccks=439208, wck=8.247, mem=156M307
18.13/12.11 decisions=49219, wrong=7630, backtracks=4032, failedAssignments=3807, nogoods=547, foundSolutions=23, bestBound=17
18.13/12.11
18.13/12.14 num=204, depth=26..28, filters=2775414, ccks=439208, wck=8.268, mem=156M307
18.13/12.14 decisions=49293, wrong=7654, backtracks=4044, failedAssignments=3819, nogoods=553, foundSolutions=23, bestBound=17
18.13/12.14
18.13/12.16 num=205, depth=21..24, filters=2783663, ccks=439208, wck=8.287, mem=156M307
18.13/12.16 decisions=49366, wrong=7680, backtracks=4058, failedAssignments=3832, nogoods=557, foundSolutions=23, bestBound=17
18.13/12.16
18.13/12.18 num=206, depth=25..37, filters=2802347, ccks=439208, wck=8.315, mem=156M307
18.13/12.18 decisions=49475, wrong=7721, backtracks=4086, failedAssignments=3846, nogoods=561, foundSolutions=23, bestBound=17
18.13/12.18
18.22/12.20 num=207, depth=20..24, filters=2818245, ccks=439208, wck=8.337, mem=156M307
18.22/12.20 decisions=49560, wrong=7753, backtracks=4103, failedAssignments=3862, nogoods=564, foundSolutions=23, bestBound=17
18.22/12.20
18.22/12.23 num=208, depth=16..19, filters=2851246, ccks=439208, wck=8.366, mem=156M307
18.22/12.23 decisions=49646, wrong=7787, backtracks=4120, failedAssignments=3879, nogoods=567, foundSolutions=23, bestBound=17
18.22/12.23
18.22/12.26 o 16
18.22/12.26 num=209, depth=386..384, filters=2856785, ccks=458304, wck=8.391, mem=156M307
18.22/12.26 decisions=49773, wrong=7787, backtracks=4120, failedAssignments=3879, nogoods=567, foundSolutions=24, bestBound=16
18.22/12.26
18.22/12.28 o 15
18.22/12.28 num=210, depth=386..384, filters=2862051, ccks=477400, wck=8.415, mem=156M307
18.22/12.28 decisions=49857, wrong=7787, backtracks=4120, failedAssignments=3879, nogoods=567, foundSolutions=25, bestBound=15
18.22/12.28
18.32/12.30 num=211, depth=15..17, filters=2871323, ccks=477400, wck=8.437, mem=156M307
18.32/12.30 decisions=49916, wrong=7809, backtracks=4131, failedAssignments=3890, nogoods=571, foundSolutions=25, bestBound=15
18.32/12.30
18.32/12.33 num=212, depth=20..22, filters=2881669, ccks=477400, wck=8.46, mem=156M307
18.32/12.33 decisions=49980, wrong=7831, backtracks=4142, failedAssignments=3901, nogoods=576, foundSolutions=25, bestBound=15
18.32/12.33
18.32/12.35 num=213, depth=13..15, filters=2899333, ccks=477400, wck=8.479, mem=156M307
18.32/12.35 decisions=50041, wrong=7855, backtracks=4154, failedAssignments=3913, nogoods=582, foundSolutions=25, bestBound=15
18.32/12.35
18.32/12.36 o 14
18.32/12.37 num=214, depth=47..384, filters=2904309, ccks=496496, wck=8.498, mem=156M307
18.32/12.37 decisions=50120, wrong=7857, backtracks=4154, failedAssignments=3915, nogoods=584, foundSolutions=26, bestBound=14
18.32/12.37
18.32/12.38 num=215, depth=10..13, filters=2912607, ccks=496496, wck=8.516, mem=156M307
18.32/12.38 decisions=50188, wrong=7885, backtracks=4168, failedAssignments=3929, nogoods=586, foundSolutions=26, bestBound=14
18.32/12.38
18.42/12.40 num=216, depth=11..13, filters=2918642, ccks=496496, wck=8.529, mem=156M307
18.42/12.40 decisions=50243, wrong=7907, backtracks=4179, failedAssignments=3940, nogoods=590, foundSolutions=26, bestBound=14
18.42/12.40
18.42/12.41 o 13
18.42/12.41 num=217, depth=386..384, filters=2923305, ccks=515592, wck=8.547, mem=156M307
18.42/12.41 decisions=50291, wrong=7907, backtracks=4179, failedAssignments=3940, nogoods=590, foundSolutions=27, bestBound=13
18.42/12.41
18.42/12.43 num=218, depth=9..12, filters=2931009, ccks=515592, wck=8.565, mem=156M307
18.42/12.43 decisions=50352, wrong=7933, backtracks=4193, failedAssignments=3953, nogoods=591, foundSolutions=27, bestBound=13
18.42/12.43
18.42/12.45 num=219, depth=9..11, filters=2937805, ccks=515592, wck=8.579, mem=156M307
18.42/12.45 decisions=50405, wrong=7955, backtracks=4204, failedAssignments=3964, nogoods=595, foundSolutions=27, bestBound=13
18.42/12.45
18.42/12.46 num=220, depth=9..11, filters=2944859, ccks=515592, wck=8.593, mem=156M307
18.42/12.46 decisions=50462, wrong=7979, backtracks=4216, failedAssignments=3976, nogoods=600, foundSolutions=27, bestBound=13
18.42/12.46
18.42/12.48 num=221, depth=8..11, filters=2952958, ccks=515592, wck=8.608, mem=156M307
18.42/12.48 decisions=50522, wrong=8005, backtracks=4230, failedAssignments=3989, nogoods=601, foundSolutions=27, bestBound=13
18.42/12.48
18.54/12.50 num=222, depth=8..11, filters=2963414, ccks=515592, wck=8.63, mem=156M307
18.54/12.50 decisions=50588, wrong=8033, backtracks=4245, failedAssignments=4003, nogoods=603, foundSolutions=27, bestBound=13
18.54/12.50
18.54/12.52 num=223, depth=8..11, filters=2974892, ccks=515592, wck=8.652, mem=156M307
18.54/12.52 decisions=50661, wrong=8065, backtracks=4262, failedAssignments=4019, nogoods=605, foundSolutions=27, bestBound=13
18.54/12.52
18.54/12.54 num=224, depth=8..11, filters=2986289, ccks=515592, wck=8.673, mem=156M307
18.54/12.54 decisions=50739, wrong=8099, backtracks=4280, failedAssignments=4036, nogoods=608, foundSolutions=27, bestBound=13
18.54/12.54
18.54/12.56 num=225, depth=8..12, filters=2999822, ccks=515592, wck=8.692, mem=156M307
18.54/12.56 decisions=50825, wrong=8137, backtracks=4299, failedAssignments=4055, nogoods=611, foundSolutions=27, bestBound=13
18.54/12.56
18.54/12.58 num=226, depth=8..11, filters=3011648, ccks=515592, wck=8.714, mem=156M307
18.54/12.58 decisions=50919, wrong=8179, backtracks=4320, failedAssignments=4076, nogoods=616, foundSolutions=27, bestBound=13
18.54/12.58
18.65/12.61 num=227, depth=8..11, filters=3029125, ccks=515592, wck=8.742, mem=156M307
18.65/12.61 decisions=51020, wrong=8225, backtracks=4343, failedAssignments=4099, nogoods=621, foundSolutions=27, bestBound=13
18.65/12.61
18.65/12.64 num=228, depth=8..11, filters=3045140, ccks=515592, wck=8.772, mem=156M307
18.65/12.64 decisions=51129, wrong=8275, backtracks=4369, failedAssignments=4124, nogoods=627, foundSolutions=27, bestBound=13
18.65/12.64
18.65/12.67 num=229, depth=8..11, filters=3062736, ccks=515592, wck=8.802, mem=156M307
18.65/12.67 decisions=51251, wrong=8331, backtracks=4397, failedAssignments=4152, nogoods=631, foundSolutions=27, bestBound=13
18.65/12.67
18.75/12.70 num=230, depth=8..12, filters=3084065, ccks=515592, wck=8.834, mem=156M307
18.75/12.70 decisions=51385, wrong=8393, backtracks=4429, failedAssignments=4183, nogoods=636, foundSolutions=27, bestBound=13
18.75/12.70
18.75/12.73 num=231, depth=8..11, filters=3104572, ccks=515592, wck=8.862, mem=156M307
18.75/12.73 decisions=51530, wrong=8461, backtracks=4464, failedAssignments=4217, nogoods=641, foundSolutions=27, bestBound=13
18.75/12.73
18.75/12.77 num=232, depth=8..11, filters=3128207, ccks=515592, wck=8.903, mem=156M307
18.75/12.77 decisions=51688, wrong=8535, backtracks=4501, failedAssignments=4254, nogoods=647, foundSolutions=27, bestBound=13
18.75/12.77
18.85/12.81 num=233, depth=8..11, filters=3154211, ccks=515592, wck=8.942, mem=156M307
18.85/12.81 decisions=51862, wrong=8617, backtracks=4542, failedAssignments=4295, nogoods=653, foundSolutions=27, bestBound=13
18.85/12.81
18.85/12.85 num=234, depth=8..11, filters=3179729, ccks=515592, wck=8.983, mem=156M307
18.85/12.85 decisions=52051, wrong=8707, backtracks=4588, failedAssignments=4340, nogoods=658, foundSolutions=27, bestBound=13
18.85/12.85
18.85/12.89 num=235, depth=8..11, filters=3211098, ccks=515592, wck=9.027, mem=156M307
18.85/12.89 decisions=52261, wrong=8807, backtracks=4640, failedAssignments=4390, nogoods=665, foundSolutions=27, bestBound=13
18.85/12.89
18.95/12.94 num=236, depth=8..11, filters=3238858, ccks=515592, wck=9.069, mem=156M307
18.95/12.94 decisions=52491, wrong=8917, backtracks=4696, failedAssignments=4445, nogoods=673, foundSolutions=27, bestBound=13
18.95/12.94
18.95/12.98 num=237, depth=8..11, filters=3273086, ccks=515592, wck=9.116, mem=156M307
18.95/12.98 decisions=52743, wrong=9039, backtracks=4759, failedAssignments=4506, nogoods=680, foundSolutions=27, bestBound=13
18.95/12.98
19.06/13.03 num=238, depth=7..11, filters=3309065, ccks=515592, wck=9.164, mem=156M307
19.06/13.03 decisions=53018, wrong=9173, backtracks=4826, failedAssignments=4573, nogoods=681, foundSolutions=27, bestBound=13
19.06/13.03
19.06/13.09 num=239, depth=7..11, filters=3353489, ccks=515592, wck=9.221, mem=156M307
19.06/13.09 decisions=53324, wrong=9321, backtracks=4902, failedAssignments=4647, nogoods=684, foundSolutions=27, bestBound=13
19.06/13.09
19.16/13.15 num=240, depth=8..11, filters=3394347, ccks=515592, wck=9.28, mem=156M307
19.16/13.15 decisions=53657, wrong=9483, backtracks=4986, failedAssignments=4728, nogoods=693, foundSolutions=27, bestBound=13
19.16/13.15
19.26/13.21 num=241, depth=7..11, filters=3436300, ccks=515592, wck=9.342, mem=156M307
19.26/13.21 decisions=54023, wrong=9661, backtracks=5079, failedAssignments=4817, nogoods=696, foundSolutions=27, bestBound=13
19.26/13.21
19.26/13.28 num=242, depth=7..11, filters=3492350, ccks=515592, wck=9.414, mem=156M307
19.26/13.28 decisions=54425, wrong=9857, backtracks=5179, failedAssignments=4915, nogoods=702, foundSolutions=27, bestBound=13
19.26/13.28
19.36/13.36 num=243, depth=7..11, filters=3547826, ccks=515592, wck=9.49, mem=156M307
19.36/13.36 decisions=54866, wrong=10073, backtracks=5290, failedAssignments=5023, nogoods=707, foundSolutions=27, bestBound=13
19.36/13.36
19.46/13.44 num=244, depth=7..11, filters=3612439, ccks=515592, wck=9.574, mem=156M307
19.46/13.44 decisions=55351, wrong=10311, backtracks=5412, failedAssignments=5142, nogoods=714, foundSolutions=27, bestBound=13
19.46/13.44
19.56/13.53 num=245, depth=7..11, filters=3679232, ccks=515592, wck=9.664, mem=156M307
19.56/13.53 decisions=55885, wrong=10573, backtracks=5545, failedAssignments=5273, nogoods=722, foundSolutions=27, bestBound=13
19.56/13.53
19.66/13.63 num=246, depth=7..11, filters=3752197, ccks=515592, wck=9.763, mem=156M307
19.66/13.63 decisions=56471, wrong=10861, backtracks=5691, failedAssignments=5417, nogoods=730, foundSolutions=27, bestBound=13
19.66/13.63
19.76/13.74 num=247, depth=7..11, filters=3830531, ccks=515592, wck=9.872, mem=156M307
19.76/13.74 decisions=57112, wrong=11177, backtracks=5851, failedAssignments=5575, nogoods=736, foundSolutions=27, bestBound=13
19.76/13.74
19.86/13.87 num=248, depth=7..11, filters=3924167, ccks=515592, wck=10.0, mem=156M307
19.86/13.87 decisions=57818, wrong=11525, backtracks=6034, failedAssignments=5749, nogoods=742, foundSolutions=27, bestBound=13
19.86/13.87
19.96/13.99 num=249, depth=7..11, filters=4021287, ccks=515592, wck=10.119, mem=156M307
19.96/13.99 decisions=58591, wrong=11907, backtracks=6228, failedAssignments=5940, nogoods=751, foundSolutions=27, bestBound=13
19.96/13.99
20.17/14.12 num=250, depth=7..11, filters=4114699, ccks=515592, wck=10.257, mem=156M307
20.17/14.12 decisions=59444, wrong=12329, backtracks=6444, failedAssignments=6151, nogoods=757, foundSolutions=27, bestBound=13
20.17/14.12
20.27/14.27 num=251, depth=7..11, filters=4231020, ccks=515592, wck=10.404, mem=156M307
20.27/14.27 decisions=60382, wrong=12793, backtracks=6678, failedAssignments=6383, nogoods=762, foundSolutions=27, bestBound=13
20.27/14.27
20.47/14.44 num=252, depth=7..11, filters=4359006, ccks=515592, wck=10.569, mem=156M307
20.47/14.44 decisions=61409, wrong=13303, backtracks=6942, failedAssignments=6638, nogoods=766, foundSolutions=27, bestBound=13
20.47/14.44
20.67/14.63 num=253, depth=7..11, filters=4512741, ccks=515592, wck=10.762, mem=156M307
20.67/14.63 decisions=62543, wrong=13865, backtracks=7230, failedAssignments=6919, nogoods=775, foundSolutions=27, bestBound=13
20.67/14.63
20.87/14.83 num=254, depth=7..11, filters=4650356, ccks=515592, wck=10.961, mem=156M307
20.87/14.83 decisions=63787, wrong=14483, backtracks=7544, failedAssignments=7228, nogoods=781, foundSolutions=27, bestBound=13
20.87/14.83
21.08/15.05 num=255, depth=7..11, filters=4825467, ccks=515592, wck=11.179, mem=156M307
21.08/15.05 decisions=65157, wrong=15163, backtracks=7889, failedAssignments=7568, nogoods=792, foundSolutions=27, bestBound=13
21.08/15.05
21.37/15.32 num=256, depth=7..11, filters=5025571, ccks=515592, wck=11.448, mem=156M307
21.37/15.32 decisions=66662, wrong=15911, backtracks=8281, failedAssignments=7942, nogoods=801, foundSolutions=27, bestBound=13
21.37/15.32
21.67/15.60 num=257, depth=7..11, filters=5243163, ccks=515592, wck=11.73, mem=156M307
21.67/15.60 decisions=68314, wrong=16733, backtracks=8709, failedAssignments=8353, nogoods=811, foundSolutions=27, bestBound=13
21.67/15.60
21.97/15.90 num=258, depth=6..11, filters=5498520, ccks=515592, wck=12.03, mem=156M307
21.97/15.90 decisions=70130, wrong=17637, backtracks=9177, failedAssignments=8805, nogoods=815, foundSolutions=27, bestBound=13
21.97/15.90
22.27/16.24 num=259, depth=6..11, filters=5751201, ccks=515592, wck=12.369, mem=156M307
22.27/16.24 decisions=72127, wrong=18631, backtracks=9690, failedAssignments=9302, nogoods=821, foundSolutions=27, bestBound=13
22.27/16.24
22.67/16.61 num=260, depth=6..11, filters=6046919, ccks=515592, wck=12.74, mem=156M307
22.67/16.61 decisions=74325, wrong=19725, backtracks=10247, failedAssignments=9849, nogoods=827, foundSolutions=27, bestBound=13
22.67/16.61
23.08/17.01 num=261, depth=6..11, filters=6369331, ccks=515592, wck=13.146, mem=156M307
23.08/17.01 decisions=76742, wrong=20929, backtracks=10865, failedAssignments=10451, nogoods=835, foundSolutions=27, bestBound=13
23.08/17.01
23.47/17.49 num=262, depth=6..11, filters=6759843, ccks=515592, wck=13.626, mem=160M578
23.47/17.49 decisions=79398, wrong=22253, backtracks=11545, failedAssignments=11113, nogoods=842, foundSolutions=27, bestBound=13
23.47/17.49
23.97/18.00 num=263, depth=6..11, filters=7154753, ccks=515592, wck=14.128, mem=160M578
23.97/18.00 decisions=82318, wrong=23709, backtracks=12293, failedAssignments=11841, nogoods=854, foundSolutions=27, bestBound=13
23.97/18.00
24.57/18.54 num=264, depth=6..11, filters=7556463, ccks=515592, wck=14.67, mem=160M578
24.57/18.54 decisions=85532, wrong=25311, backtracks=13118, failedAssignments=12642, nogoods=864, foundSolutions=27, bestBound=13
24.57/18.54
25.18/19.11 num=265, depth=6..11, filters=8003813, ccks=515592, wck=15.246, mem=160M578
25.18/19.11 decisions=89065, wrong=27073, backtracks=14019, failedAssignments=13523, nogoods=872, foundSolutions=27, bestBound=13
25.18/19.11
25.77/19.75 num=266, depth=6..11, filters=8501689, ccks=515592, wck=15.884, mem=160M578
25.77/19.75 decisions=92954, wrong=29013, backtracks=15025, failedAssignments=14493, nogoods=885, foundSolutions=27, bestBound=13
25.77/19.75
26.57/20.50 num=267, depth=6..11, filters=9083143, ccks=515592, wck=16.632, mem=160M578
26.57/20.50 decisions=97232, wrong=31147, backtracks=16123, failedAssignments=15560, nogoods=891, foundSolutions=27, bestBound=13
26.57/20.50
27.31/21.27 num=268, depth=6..11, filters=9670868, ccks=515592, wck=17.405, mem=160M578
27.31/21.27 decisions=101933, wrong=33493, backtracks=17334, failedAssignments=16733, nogoods=902, foundSolutions=27, bestBound=13
27.31/21.27
28.22/22.16 num=269, depth=6..11, filters=10373419, ccks=515592, wck=18.293, mem=160M578
28.22/22.16 decisions=107105, wrong=36075, backtracks=18663, failedAssignments=18024, nogoods=913, foundSolutions=27, bestBound=13
28.22/22.16
29.22/23.16 num=270, depth=6..11, filters=11154452, ccks=515592, wck=19.293, mem=160M578
29.22/23.16 decisions=112795, wrong=38915, backtracks=20121, failedAssignments=19444, nogoods=918, foundSolutions=27, bestBound=13
29.22/23.16
30.26/24.15 num=271, depth=6..11, filters=11955216, ccks=515592, wck=20.284, mem=160M578
30.26/24.15 decisions=119052, wrong=42039, backtracks=21724, failedAssignments=21006, nogoods=927, foundSolutions=27, bestBound=13
30.26/24.15
31.45/25.30 num=272, depth=6..11, filters=12854140, ccks=515592, wck=21.431, mem=160M578
31.45/25.30 decisions=125932, wrong=45475, backtracks=23485, failedAssignments=22724, nogoods=939, foundSolutions=27, bestBound=13
31.45/25.30
32.76/26.60 num=273, depth=6..11, filters=13862927, ccks=515592, wck=22.737, mem=160M578
32.76/26.60 decisions=133502, wrong=49255, backtracks=25424, failedAssignments=24614, nogoods=950, foundSolutions=27, bestBound=13
32.76/26.60
34.17/28.06 num=274, depth=6..11, filters=15029422, ccks=515592, wck=24.193, mem=160M578
34.17/28.06 decisions=141828, wrong=53413, backtracks=27560, failedAssignments=26693, nogoods=958, foundSolutions=27, bestBound=13
34.17/28.06
35.66/29.55 num=275, depth=6..11, filters=16176219, ccks=515592, wck=25.682, mem=160M578
35.66/29.55 decisions=150986, wrong=57987, backtracks=29902, failedAssignments=28980, nogoods=972, foundSolutions=27, bestBound=13
35.66/29.55
37.27/31.18 num=276, depth=6..11, filters=17434226, ccks=515592, wck=27.314, mem=160M578
37.27/31.18 decisions=161059, wrong=63019, backtracks=32503, failedAssignments=31496, nogoods=984, foundSolutions=27, bestBound=13
37.27/31.18
39.17/33.06 num=277, depth=6..11, filters=18958539, ccks=515592, wck=29.193, mem=160M578
39.17/33.06 decisions=172139, wrong=68555, backtracks=35360, failedAssignments=34264, nogoods=1001, foundSolutions=27, bestBound=13
39.17/33.06
41.17/35.07 num=278, depth=6..11, filters=20566601, ccks=515592, wck=31.202, mem=160M578
41.17/35.07 decisions=184324, wrong=74643, backtracks=38486, failedAssignments=37308, nogoods=1017, foundSolutions=27, bestBound=13
41.17/35.07
43.46/37.31 num=279, depth=6..11, filters=22332552, ccks=515592, wck=33.442, mem=160M578
43.46/37.31 decisions=197728, wrong=81341, backtracks=41939, failedAssignments=40657, nogoods=1030, foundSolutions=27, bestBound=13
43.46/37.31
45.97/39.87 num=280, depth=5..11, filters=24447388, ccks=515592, wck=36.004, mem=160M578
45.97/39.87 decisions=212473, wrong=88709, backtracks=45732, failedAssignments=44341, nogoods=1040, foundSolutions=27, bestBound=13
45.97/39.87
48.67/42.58 num=281, depth=5..11, filters=26523176, ccks=515592, wck=38.717, mem=164M850
48.67/42.58 decisions=228691, wrong=96813, backtracks=49900, failedAssignments=48393, nogoods=1045, foundSolutions=27, bestBound=13
48.67/42.58
51.57/45.46 num=282, depth=5..11, filters=28840817, ccks=515592, wck=41.592, mem=164M850
51.57/45.46 decisions=246528, wrong=105727, backtracks=54505, failedAssignments=52850, nogoods=1056, foundSolutions=27, bestBound=13
51.57/45.46
54.97/48.85 num=283, depth=5..11, filters=31497480, ccks=515592, wck=44.985, mem=164M850
54.97/48.85 decisions=266149, wrong=115533, backtracks=59561, failedAssignments=57753, nogoods=1063, foundSolutions=27, bestBound=13
54.97/48.85
58.47/52.37 num=284, depth=5..11, filters=34204639, ccks=515592, wck=48.506, mem=164M850
58.47/52.37 decisions=287735, wrong=126321, backtracks=65151, failedAssignments=63147, nogoods=1075, foundSolutions=27, bestBound=13
58.47/52.37
62.37/56.28 num=285, depth=5..11, filters=37347293, ccks=515592, wck=52.416, mem=164M850
62.37/56.28 decisions=311475, wrong=138187, backtracks=71280, failedAssignments=69080, nogoods=1089, foundSolutions=27, bestBound=13
62.37/56.28
66.98/60.80 num=286, depth=5..11, filters=40856200, ccks=515592, wck=56.93, mem=164M850
66.98/60.80 decisions=337588, wrong=151239, backtracks=78010, failedAssignments=75606, nogoods=1105, foundSolutions=27, bestBound=13
66.98/60.80
71.68/65.57 num=287, depth=5..11, filters=44632146, ccks=515592, wck=61.703, mem=169M122
71.68/65.57 decisions=366313, wrong=165597, backtracks=85454, failedAssignments=82785, nogoods=1115, foundSolutions=27, bestBound=13
71.68/65.57
76.89/70.78 num=288, depth=5..11, filters=48694320, ccks=515592, wck=66.915, mem=169M122
76.89/70.78 decisions=397909, wrong=181391, backtracks=93611, failedAssignments=90682, nogoods=1120, foundSolutions=27, bestBound=13
76.89/70.78
82.99/76.83 num=289, depth=5..11, filters=53512255, ccks=515592, wck=72.962, mem=169M122
82.99/76.83 decisions=432665, wrong=198765, backtracks=102612, failedAssignments=99369, nogoods=1132, foundSolutions=27, bestBound=13
82.99/76.83
88.89/82.79 num=290, depth=5..11, filters=58341775, ccks=515592, wck=78.919, mem=169M122
88.89/82.79 decisions=470895, wrong=217875, backtracks=112490, failedAssignments=108924, nogoods=1147, foundSolutions=27, bestBound=13
88.89/82.79
96.09/89.92 num=291, depth=5..11, filters=63713482, ccks=515592, wck=86.052, mem=173M393
96.09/89.92 decisions=512947, wrong=238897, backtracks=123377, failedAssignments=119435, nogoods=1161, foundSolutions=27, bestBound=13
96.09/89.92
103.99/97.88 num=292, depth=5..11, filters=69985285, ccks=515592, wck=94.009, mem=173M393
103.99/97.88 decisions=559204, wrong=262021, backtracks=135358, failedAssignments=130997, nogoods=1172, foundSolutions=27, bestBound=13
103.99/97.88
111.89/105.74 num=293, depth=5..11, filters=76358466, ccks=515592, wck=101.873, mem=173M393
111.89/105.74 decisions=610086, wrong=287457, backtracks=148478, failedAssignments=143715, nogoods=1183, foundSolutions=27, bestBound=13
111.89/105.74
121.80/115.61 num=294, depth=5..11, filters=84135352, ccks=515592, wck=111.739, mem=177M665
121.80/115.61 decisions=666055, wrong=315437, backtracks=162964, failedAssignments=157705, nogoods=1195, foundSolutions=27, bestBound=13
121.80/115.61
131.90/125.79 num=295, depth=5..11, filters=92420367, ccks=515592, wck=121.927, mem=177M665
131.90/125.79 decisions=727619, wrong=346215, backtracks=178901, failedAssignments=173094, nogoods=1208, foundSolutions=27, bestBound=13
131.90/125.79
143.11/136.95 num=296, depth=5..11, filters=101161111, ccks=515592, wck=133.08, mem=177M665
143.11/136.95 decisions=795341, wrong=380071, backtracks=196429, failedAssignments=190022, nogoods=1220, foundSolutions=27, bestBound=13
143.11/136.95
155.91/149.78 num=297, depth=5..11, filters=111494043, ccks=515592, wck=145.914, mem=181M936
155.91/149.78 decisions=869834, wrong=417313, backtracks=215672, failedAssignments=208643, nogoods=1234, foundSolutions=27, bestBound=13
155.91/149.78
169.33/163.15 num=298, depth=5..11, filters=122111954, ccks=515592, wck=159.281, mem=181M936
169.33/163.15 decisions=951778, wrong=458281, backtracks=236855, failedAssignments=229127, nogoods=1253, foundSolutions=27, bestBound=13
169.33/163.15
184.03/177.82 num=299, depth=5..11, filters=133853781, ccks=515592, wck=173.949, mem=186M208
184.03/177.82 decisions=1041915, wrong=503345, backtracks=260152, failedAssignments=251659, nogoods=1265, foundSolutions=27, bestBound=13
184.03/177.82
202.03/195.84 num=300, depth=5..11, filters=148087268, ccks=515592, wck=191.97, mem=190M480
202.03/195.84 decisions=1141065, wrong=552915, backtracks=285809, failedAssignments=276444, nogoods=1276, foundSolutions=27, bestBound=13
202.03/195.84
219.44/213.29 num=301, depth=5..11, filters=161986593, ccks=515592, wck=209.427, mem=190M480
219.44/213.29 decisions=1250130, wrong=607443, backtracks=314074, failedAssignments=303708, nogoods=1293, foundSolutions=27, bestBound=13
219.44/213.29
239.35/233.18 num=302, depth=5..11, filters=177659834, ccks=515592, wck=229.309, mem=194M751
239.35/233.18 decisions=1370099, wrong=667423, backtracks=345158, failedAssignments=333698, nogoods=1309, foundSolutions=27, bestBound=13
239.35/233.18
263.66/257.43 num=303, depth=4..11, filters=196976742, ccks=515592, wck=253.566, mem=199M23
263.66/257.43 decisions=1502064, wrong=733401, backtracks=379460, failedAssignments=366687, nogoods=1320, foundSolutions=27, bestBound=13
263.66/257.43
286.47/280.21 num=304, depth=4..11, filters=215362184, ccks=515592, wck=276.337, mem=203M295
286.47/280.21 decisions=1647225, wrong=805977, backtracks=417067, failedAssignments=402975, nogoods=1339, foundSolutions=27, bestBound=13
286.47/280.21
313.48/307.28 num=305, depth=4..11, filters=237142329, ccks=515592, wck=303.41, mem=207M566
313.48/307.28 decisions=1806902, wrong=885811, backtracks=458456, failedAssignments=442892, nogoods=1349, foundSolutions=27, bestBound=13
313.48/307.28
344.09/337.87 num=306, depth=4..11, filters=261426683, ccks=515592, wck=334.006, mem=211M838
344.09/337.87 decisions=1982547, wrong=973629, backtracks=504091, failedAssignments=486801, nogoods=1360, foundSolutions=27, bestBound=13
344.09/337.87
375.90/369.69 num=307, depth=4..11, filters=286509499, ccks=515592, wck=365.825, mem=220M381
375.90/369.69 decisions=2175756, wrong=1070229, backtracks=554168, failedAssignments=535101, nogoods=1376, foundSolutions=27, bestBound=13
375.90/369.69
413.11/406.85 num=308, depth=4..11, filters=315767593, ccks=515592, wck=402.978, mem=224M653
413.11/406.85 decisions=2388283, wrong=1176489, backtracks=609313, failedAssignments=588231, nogoods=1393, foundSolutions=27, bestBound=13
413.11/406.85
453.62/447.30 num=309, depth=4..11, filters=348764885, ccks=515592, wck=443.434, mem=233M196
453.62/447.30 decisions=2622065, wrong=1293375, backtracks=670102, failedAssignments=646674, nogoods=1399, foundSolutions=27, bestBound=13
453.62/447.30
496.14/489.84 num=310, depth=4..11, filters=382986286, ccks=515592, wck=485.969, mem=237M468
496.14/489.84 decisions=2879222, wrong=1421949, backtracks=736993, failedAssignments=710961, nogoods=1410, foundSolutions=27, bestBound=13
496.14/489.84
544.65/538.36 num=311, depth=4..11, filters=421671413, ccks=515592, wck=534.489, mem=246M11
544.65/538.36 decisions=3162094, wrong=1563381, backtracks=810537, failedAssignments=781677, nogoods=1431, foundSolutions=27, bestBound=13
544.65/538.36
597.04/590.65 num=312, depth=4..11, filters=463994376, ccks=515592, wck=586.786, mem=45M630
597.04/590.65 decisions=3473250, wrong=1718955, backtracks=891436, failedAssignments=859464, nogoods=1447, foundSolutions=27, bestBound=13
597.04/590.65
652.57/646.19 num=313, depth=4..11, filters=510512232, ccks=515592, wck=642.319, mem=54M127
652.57/646.19 decisions=3815524, wrong=1890087, backtracks=980462, failedAssignments=945030, nogoods=1458, foundSolutions=27, bestBound=13
652.57/646.19
717.18/710.73 num=314, depth=4..11, filters=564223586, ccks=515592, wck=706.859, mem=66M872
717.18/710.73 decisions=4192024, wrong=2078333, backtracks=1078385, failedAssignments=1039153, nogoods=1473, foundSolutions=27, bestBound=13
717.18/710.73
788.62/782.19 num=315, depth=4..11, filters=622737112, ccks=515592, wck=778.325, mem=79M618
788.62/782.19 decisions=4606173, wrong=2285403, backtracks=1186075, failedAssignments=1142688, nogoods=1494, foundSolutions=27, bestBound=13
788.62/782.19
861.04/854.53 num=316, depth=4..11, filters=682633583, ccks=515592, wck=850.658, mem=92M363
861.04/854.53 decisions=5061736, wrong=2513181, backtracks=1304552, failedAssignments=1256577, nogoods=1506, foundSolutions=27, bestBound=13
861.04/854.53
942.36/935.81 num=317, depth=4..11, filters=752149013, ccks=515592, wck=931.94, mem=105M109
942.36/935.81 decisions=5562857, wrong=2763737, backtracks=1434707, failedAssignments=1381855, nogoods=1523, foundSolutions=27, bestBound=13
942.36/935.81
1036.71/1030.19 num=318, depth=4..11, filters=829511085, ccks=515592, wck=1026.324, mem=122M103
1036.71/1030.19 decisions=6114090, wrong=3039349, backtracks=1577777, failedAssignments=1519661, nogoods=1543, foundSolutions=27, bestBound=13
1036.71/1030.19
1134.24/1127.61 num=319, depth=4..11, filters=910311597, ccks=515592, wck=1123.74, mem=139M97
1134.24/1127.61 decisions=6720441, wrong=3342521, backtracks=1735435, failedAssignments=1671247, nogoods=1568, foundSolutions=27, bestBound=13
1134.24/1127.61
1242.48/1235.90 num=320, depth=4..11, filters=1001701584, ccks=515592, wck=1232.028, mem=156M91
1242.48/1235.90 decisions=7387430, wrong=3676011, backtracks=1908847, failedAssignments=1837992, nogoods=1588, foundSolutions=27, bestBound=13
1242.48/1235.90
1367.93/1361.24 num=321, depth=4..11, filters=1104270931, ccks=515592, wck=1357.377, mem=177M334
1367.93/1361.24 decisions=8121115, wrong=4042849, backtracks=2099576, failedAssignments=2021411, nogoods=1608, foundSolutions=27, bestBound=13
1367.93/1361.24
1501.07/1494.37 num=322, depth=4..11, filters=1212862827, ccks=515592, wck=1490.507, mem=198M576
1501.07/1494.37 decisions=8928168, wrong=4446371, backtracks=2309745, failedAssignments=2223172, nogoods=1630, foundSolutions=27, bestBound=13
1501.07/1494.37
1641.73/1634.90 num=323, depth=4..11, filters=1332409534, ccks=515592, wck=1631.03, mem=224M67
1641.73/1634.90 decisions=9815927, wrong=4890247, backtracks=2540911, failedAssignments=2445110, nogoods=1652, foundSolutions=27, bestBound=13
1641.73/1634.90
1810.29/1803.48 num=324, depth=4..11, filters=1472566546, ccks=515592, wck=1799.614, mem=253M807
1810.29/1803.48 decisions=10792459, wrong=5378509, backtracks=2794856, failedAssignments=2689241, nogoods=1680, foundSolutions=27, bestBound=13
1810.29/1803.48
1988.31/1981.35 num=325, depth=3..11, filters=1621731764, ccks=515592, wck=1977.477, mem=69M526
1988.31/1981.35 decisions=11866649, wrong=5915599, backtracks=3074837, failedAssignments=2957786, nogoods=1702, foundSolutions=27, bestBound=13
1988.31/1981.35
2182.02/2174.93 num=326, depth=3..11, filters=1788175486, ccks=515592, wck=2171.059, mem=104M690
2182.02/2174.93 decisions=13048254, wrong=6506397, backtracks=3382885, failedAssignments=3253185, nogoods=1719, foundSolutions=27, bestBound=13
2182.02/2174.93
2400.01/2392.80
2400.01/2392.80 v <instantiation id='sol27' type='solution' cost='13'> <list> x[] </list> <values> 10 0 9 3 6 13 0 10 2 7 1 12 2 5 10 4 2 9 7 4 2 8 0 3 6 10 8 9 5 10 2 4 0 12 9 7 3 4 2 0 6 1 12 6 6 0 5 10 6 9 5 10 4 2 1 11 8 7 1 8 3 4 2 0 11 13 12 5 10 12 5 0 11 13 7 1 8 3 4 7 1 8 3 4 7 1 12 5 0 11 13 12 5 0 11 13 3 4 11 2 7 1 8 0 10 9 6 1 8 11 13 0 7 3 12 3 12 3 12 9 7 1 3 13 11 12 10 6 2 5 4 5 4 5 4 1 0 0 5 5 2 5 6 0 11 9 7 2 1 12 4 13 1 4 2 2 12 5 10 11 6 4 1 8 12 7 9 10 3 4 2 5 10 6 0 4 9 0 11 3 1 12 13 11 0 10 5 1 5 12 0 2 0 1 13 9 10 9 9 6 0 6 4 7 1 0 11 5 10 6 0 1 8 10 11 4 3 1 8 3 13 12 5 3 4 8 11 7 10 13 7 0 8 13 10 0 10 2 10 2 0 1 2 9 7 8 12 5 10 13 3 4 2 6 11 9 1 8 6 11 13 5 10 4 2 9 12 8 5 10 12 6 11 13 3 4 3 6 11 13 3 4 2 1 0 9 1 8 12 5 7 5 4 9 8 1 10 6 11 3 2 9 7 10 13 2 8 5 1 6 0 11 1 2 1 1 11 12 10 6 0 1 9 7 3 13 9 3 13 12 9 6 0 11 6 0 11 4 9 3 7 1 8 7 1 8 9 7 1 6 13 0 7 3 8 12 5 0 11 13 3 4 2 9 7 1 12 5 10 6 0 11 3 4 2 8 8 10 2 12 5 3 4 13 13 </values> </instantiation>
2400.01/2392.80 s SATISFIABLE