2.39/1.89
2.39/1.89 AbsCon 2
2.62/1.90
2.88/2.08 Instance
2.88/2.08 name=instance-4390837-1568382968, framework=COP, bounds=-infty..+infty
2.88/2.08
2.88/2.08 Loading variables...
3.17/2.14 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6907514a
3.44/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201024f2
3.44/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@635c1a6e
3.44/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c27c2b8
3.44/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.44/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd3ef48
3.44/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b0a3440
3.44/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@851efcb
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14bd432d
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf30bfe
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6282cf5b
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e15496
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d565eda
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eccb90d
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50417b87
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a23251d
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf7ef5b
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e29e1e
3.44/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418d620
3.77/2.31
3.77/2.31
3.77/2.31 Domains
3.77/2.31 nTypes=41, nValues=1132, sizes=[2#232,3#2,4#1,5#2...35#1,37#1,39#1,41#1]
3.77/2.31 Variables
3.77/2.31 count=271, degrees=[2#250,20#21]
3.77/2.31 Objectives
3.77/2.31 way=min, type=SumSimpleLE
3.77/2.31 Constraints
3.77/2.31 count=251, nSpecific=21, arities=[2#21,3#211,4#1,5#1...18#1,19#1,20#2,21#1]
3.77/2.31 distribution=[CtrIntension#230,SumSimpleLE#1,SumWeightedEQ#20]
3.77/2.31 nIntStructures=(21,shared:209), nCftStructures=(21,shared:209,unbuilt:21)
3.77/2.31 wck=0.454, cpu=2.272, mem=34M440
3.77/2.32 Solver SolverBacktrack being built...
3.77/2.32
3.77/2.34
3.77/2.34 Solver
3.77/2.34 guaranteedGAC=false
3.77/2.34 wck=0.484, cpu=2.3, mem=45M83
3.77/2.35
3.77/2.35 Preprocessing
3.77/2.35 filters=0, ccks=6398, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.77/2.35 wck=0.005, cpu=2.307, mem=45M83
3.77/2.35
3.77/2.37 o 2870
3.77/2.37 num=0, depth=272..270, filters=530, revisions=(860,useless=540), ccks=13229, wck=0.031, mem=45M83
3.77/2.37 decisions=21, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2870
3.77/2.37
3.77/2.38 o 2110
3.77/2.38 num=1, depth=0..270, filters=1046, revisions=(1749,useless=1114), ccks=15312, wck=0.042, mem=45M83
3.77/2.38 decisions=44, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=2110
3.77/2.38
3.77/2.39 o 1502
3.77/2.39 num=2, depth=20..270, filters=1602, revisions=(2729,useless=1749), ccks=17615, wck=0.051, mem=47M725
3.77/2.39 decisions=66, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=1502
3.77/2.39
4.10/2.40 num=3, depth=13..22, filters=1676, revisions=(3341,useless=2312), ccks=19096, wck=0.055, mem=47M725
4.10/2.40 decisions=122, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=1502
4.10/2.40
4.10/2.40 num=4, depth=20..24, filters=1860, revisions=(4650,useless=3474), ccks=21426, wck=0.059, mem=47M725
4.10/2.40 decisions=184, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=1502
4.10/2.40
4.10/2.41 num=5, depth=22..27, filters=2668, revisions=(10088,useless=8182), ccks=28848, wck=0.069, mem=47M725
4.10/2.41 decisions=254, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=1502
4.10/2.41
4.10/2.42 num=6, depth=12..27, filters=3581, revisions=(12341,useless=9675), ccks=32545, wck=0.075, mem=47M725
4.10/2.42 decisions=319, wrong=94, backtracks=50, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=1502
4.10/2.42
4.10/2.42 o 978
4.10/2.42 num=7, depth=20..270, filters=4018, revisions=(13785,useless=10830), ccks=35634, wck=0.081, mem=47M725
4.10/2.42 decisions=345, wrong=96, backtracks=50, failedAssignments=51, nogoods=10, foundSolutions=4, bestBound=978
4.10/2.42
4.10/2.43 o 926
4.10/2.43 num=8, depth=18..270, filters=4971, revisions=(15971,useless=12360), ccks=39617, wck=0.09, mem=47M725
4.10/2.43 decisions=377, wrong=102, backtracks=55, failedAssignments=54, nogoods=11, foundSolutions=5, bestBound=926
4.10/2.43
4.10/2.44 o 322
4.10/2.44 num=9, depth=5..270, filters=5834, revisions=(19928,useless=15714), ccks=46313, wck=0.101, mem=47M725
4.10/2.44 decisions=431, wrong=119, backtracks=66, failedAssignments=63, nogoods=12, foundSolutions=6, bestBound=322
4.10/2.44
4.10/2.45 o 290
4.10/2.45 num=10, depth=272..270, filters=6284, revisions=(21350,useless=16844), ccks=49639, wck=0.107, mem=47M725
4.10/2.45 decisions=451, wrong=119, backtracks=66, failedAssignments=63, nogoods=12, foundSolutions=7, bestBound=290
4.10/2.45
4.10/2.46 o 246
4.10/2.47 num=11, depth=18..270, filters=7097, revisions=(23336,useless=18256), ccks=53829, wck=0.115, mem=47M725
4.10/2.47 decisions=489, wrong=128, backtracks=69, failedAssignments=69, nogoods=13, foundSolutions=8, bestBound=246
4.10/2.47
4.10/2.48 o 222
4.10/2.48 num=12, depth=18..270, filters=8373, revisions=(25879,useless=19901), ccks=59168, wck=0.138, mem=47M725
4.10/2.48 decisions=537, wrong=143, backtracks=79, failedAssignments=77, nogoods=16, foundSolutions=9, bestBound=222
4.10/2.48
4.10/2.49 o 194
4.10/2.49 num=13, depth=19..270, filters=8945, revisions=(27462,useless=21087), ccks=62423, wck=0.145, mem=47M725
4.10/2.49 decisions=570, wrong=150, backtracks=81, failedAssignments=82, nogoods=19, foundSolutions=10, bestBound=194
4.10/2.49
4.10/2.49 o 190
4.10/2.49 num=14, depth=272..270, filters=9374, revisions=(28822,useless=22150), ccks=65128, wck=0.152, mem=50M368
4.10/2.49 decisions=590, wrong=150, backtracks=81, failedAssignments=82, nogoods=19, foundSolutions=11, bestBound=190
4.10/2.49
4.41/2.50 o 174
4.41/2.50 num=15, depth=17..270, filters=10348, revisions=(30881,useless=23539), ccks=69149, wck=0.161, mem=50M368
4.41/2.50 decisions=626, wrong=158, backtracks=86, failedAssignments=88, nogoods=22, foundSolutions=12, bestBound=174
4.41/2.50
4.41/2.51 o 158
4.41/2.51 num=16, depth=20..270, filters=10816, revisions=(32294,useless=24629), ccks=71717, wck=0.168, mem=50M368
4.41/2.51 decisions=647, wrong=159, backtracks=86, failedAssignments=89, nogoods=23, foundSolutions=13, bestBound=158
4.41/2.51
4.41/2.52 num=17, depth=17..22, filters=11664, revisions=(33775,useless=25500), ccks=74972, wck=0.175, mem=50M368
4.41/2.52 decisions=698, wrong=175, backtracks=92, failedAssignments=100, nogoods=27, foundSolutions=13, bestBound=158
4.41/2.52
4.41/2.52 num=18, depth=16..21, filters=13012, revisions=(35951,useless=26721), ccks=79913, wck=0.183, mem=50M368
4.41/2.52 decisions=754, wrong=194, backtracks=106, failedAssignments=111, nogoods=30, foundSolutions=13, bestBound=158
4.41/2.52
4.41/2.53 o 126
4.41/2.53 num=19, depth=17..270, filters=13708, revisions=(37667,useless=27947), ccks=82499, wck=0.19, mem=50M368
4.41/2.53 decisions=788, wrong=200, backtracks=107, failedAssignments=116, nogoods=35, foundSolutions=14, bestBound=126
4.41/2.53
4.41/2.54 o 102
4.41/2.54 num=20, depth=17..270, filters=14894, revisions=(40002,useless=29418), ccks=86408, wck=0.2, mem=50M368
4.41/2.54 decisions=841, wrong=216, backtracks=113, failedAssignments=126, nogoods=41, foundSolutions=15, bestBound=102
4.41/2.54
4.41/2.55 num=21, depth=16..22, filters=16202, revisions=(42079,useless=30575), ccks=90696, wck=0.209, mem=50M368
4.41/2.55 decisions=899, wrong=236, backtracks=124, failedAssignments=137, nogoods=45, foundSolutions=15, bestBound=102
4.41/2.55
4.41/2.56 num=22, depth=18..24, filters=16984, revisions=(43451,useless=31360), ccks=93175, wck=0.215, mem=50M368
4.41/2.56 decisions=951, wrong=253, backtracks=131, failedAssignments=148, nogoods=48, foundSolutions=15, bestBound=102
4.41/2.56
4.41/2.56 num=23, depth=17..23, filters=17917, revisions=(45132,useless=32309), ccks=95542, wck=0.22, mem=50M368
4.41/2.56 decisions=1004, wrong=269, backtracks=138, failedAssignments=160, nogoods=57, foundSolutions=15, bestBound=102
4.41/2.56
4.41/2.57 num=24, depth=16..20, filters=19249, revisions=(47278,useless=33430), ccks=99005, wck=0.227, mem=50M368
4.41/2.57 decisions=1062, wrong=289, backtracks=147, failedAssignments=173, nogoods=59, foundSolutions=15, bestBound=102
4.41/2.57
4.41/2.58 num=25, depth=13..20, filters=21229, revisions=(50679,useless=35394), ccks=105765, wck=0.239, mem=50M368
4.41/2.58 decisions=1165, wrong=333, backtracks=188, failedAssignments=187, nogoods=62, foundSolutions=15, bestBound=102
4.41/2.58
4.41/2.59 num=26, depth=16..21, filters=22848, revisions=(53571,useless=36982), ccks=110710, wck=0.248, mem=50M368
4.41/2.59 decisions=1227, wrong=355, backtracks=199, failedAssignments=203, nogoods=67, foundSolutions=15, bestBound=102
4.41/2.59
4.72/2.61 num=27, depth=15..20, filters=26013, revisions=(58722,useless=39733), ccks=120424, wck=0.264, mem=50M368
4.72/2.61 decisions=1302, wrong=385, backtracks=223, failedAssignments=220, nogoods=71, foundSolutions=15, bestBound=102
4.72/2.61
4.72/2.62 num=28, depth=15..21, filters=29457, revisions=(64264,useless=42690), ccks=131410, wck=0.282, mem=53M10
4.72/2.62 decisions=1393, wrong=422, backtracks=254, failedAssignments=239, nogoods=75, foundSolutions=15, bestBound=102
4.72/2.62
4.72/2.64 num=29, depth=15..21, filters=32442, revisions=(68622,useless=44834), ccks=139651, wck=0.297, mem=53M10
4.72/2.64 decisions=1480, wrong=457, backtracks=280, failedAssignments=260, nogoods=82, foundSolutions=15, bestBound=102
4.72/2.64
4.72/2.65 o 90
4.72/2.65 num=30, depth=16..270, filters=35224, revisions=(72747,useless=47035), ccks=147011, wck=0.308, mem=53M10
4.72/2.65 decisions=1551, wrong=484, backtracks=299, failedAssignments=276, nogoods=87, foundSolutions=16, bestBound=90
4.72/2.65
4.72/2.67 o 82
4.72/2.67 num=31, depth=16..270, filters=41156, revisions=(80484,useless=50661), ccks=162413, wck=0.329, mem=53M10
4.72/2.67 decisions=1661, wrong=530, backtracks=331, failedAssignments=299, nogoods=90, foundSolutions=17, bestBound=82
4.72/2.67
4.72/2.68 num=32, depth=16..21, filters=42554, revisions=(82585,useless=51760), ccks=166688, wck=0.335, mem=53M10
4.72/2.68 decisions=1710, wrong=546, backtracks=341, failedAssignments=310, nogoods=95, foundSolutions=17, bestBound=82
4.72/2.68
4.72/2.68 num=33, depth=16..21, filters=44519, revisions=(85214,useless=53008), ccks=171231, wck=0.342, mem=53M10
4.72/2.68 decisions=1766, wrong=566, backtracks=355, failedAssignments=321, nogoods=97, foundSolutions=17, bestBound=82
4.72/2.68
4.72/2.69 num=34, depth=15..21, filters=45133, revisions=(86425,useless=53809), ccks=173706, wck=0.345, mem=53M10
4.72/2.69 decisions=1820, wrong=585, backtracks=371, failedAssignments=333, nogoods=99, foundSolutions=17, bestBound=82
4.72/2.69
4.72/2.69 num=35, depth=14..19, filters=46691, revisions=(89226,useless=55502), ccks=176688, wck=0.35, mem=53M10
4.72/2.69 decisions=1866, wrong=600, backtracks=378, failedAssignments=346, nogoods=107, foundSolutions=17, bestBound=82
4.72/2.69
5.03/2.70 num=36, depth=13..20, filters=49474, revisions=(94822,useless=59064), ccks=183346, wck=0.36, mem=53M10
5.03/2.70 decisions=1916, wrong=618, backtracks=392, failedAssignments=360, nogoods=113, foundSolutions=17, bestBound=82
5.03/2.70
5.03/2.71 num=37, depth=14..21, filters=51507, revisions=(98839,useless=61466), ccks=188525, wck=0.367, mem=53M10
5.03/2.71 decisions=1977, wrong=641, backtracks=410, failedAssignments=376, nogoods=115, foundSolutions=17, bestBound=82
5.03/2.71
5.03/2.72 num=38, depth=14..20, filters=54355, revisions=(103508,useless=64179), ccks=194093, wck=0.374, mem=53M10
5.03/2.72 decisions=2037, wrong=664, backtracks=429, failedAssignments=393, nogoods=117, foundSolutions=17, bestBound=82
5.03/2.72
5.03/2.72 num=39, depth=12..18, filters=54457, revisions=(104175,useless=64771), ccks=195184, wck=0.377, mem=53M10
5.03/2.72 decisions=2102, wrong=690, backtracks=453, failedAssignments=412, nogoods=119, foundSolutions=17, bestBound=82
5.03/2.72
5.03/2.73 num=40, depth=12..20, filters=58917, revisions=(111957,useless=69454), ccks=204754, wck=0.389, mem=53M10
5.03/2.73 decisions=2170, wrong=717, backtracks=473, failedAssignments=433, nogoods=125, foundSolutions=17, bestBound=82
5.03/2.73
5.03/2.74 num=41, depth=12..18, filters=64096, revisions=(122637,useless=76408), ccks=217274, wck=0.402, mem=55M652
5.03/2.74 decisions=2242, wrong=747, backtracks=498, failedAssignments=456, nogoods=131, foundSolutions=17, bestBound=82
5.03/2.74
5.03/2.76 num=42, depth=11..19, filters=68364, revisions=(131778,useless=82308), ccks=228850, wck=0.414, mem=55M652
5.03/2.76 decisions=2326, wrong=782, backtracks=526, failedAssignments=481, nogoods=135, foundSolutions=17, bestBound=82
5.03/2.76
5.03/2.77 num=43, depth=11..21, filters=75819, revisions=(146490,useless=91737), ccks=246897, wck=0.433, mem=55M652
5.03/2.77 decisions=2419, wrong=822, backtracks=561, failedAssignments=509, nogoods=138, foundSolutions=17, bestBound=82
5.03/2.77
5.33/2.80 num=44, depth=12..19, filters=86220, revisions=(165912,useless=103929), ccks=269732, wck=0.458, mem=55M652
5.33/2.80 decisions=2518, wrong=865, backtracks=600, failedAssignments=540, nogoods=144, foundSolutions=17, bestBound=82
5.33/2.80
5.33/2.82 num=45, depth=12..19, filters=95177, revisions=(181979,useless=113860), ccks=287893, wck=0.477, mem=55M652
5.33/2.82 decisions=2620, wrong=909, backtracks=639, failedAssignments=574, nogoods=151, foundSolutions=17, bestBound=82
5.33/2.82
5.33/2.83 num=46, depth=13..21, filters=99343, revisions=(189455,useless=118377), ccks=295675, wck=0.486, mem=55M652
5.33/2.83 decisions=2732, wrong=958, backtracks=672, failedAssignments=611, nogoods=161, foundSolutions=17, bestBound=82
5.33/2.83
5.33/2.84 num=47, depth=12..18, filters=106664, revisions=(203295,useless=126637), ccks=313274, wck=0.501, mem=55M652
5.33/2.84 decisions=2881, wrong=1025, backtracks=717, failedAssignments=652, nogoods=170, foundSolutions=17, bestBound=82
5.33/2.84
5.33/2.86 num=48, depth=14..22, filters=115980, revisions=(220048,useless=136319), ccks=337235, wck=0.521, mem=55M652
5.33/2.86 decisions=3065, wrong=1109, backtracks=782, failedAssignments=697, nogoods=174, foundSolutions=17, bestBound=82
5.33/2.86
5.33/2.89 num=49, depth=12..20, filters=127854, revisions=(241697,useless=149262), ccks=366712, wck=0.546, mem=55M652
5.33/2.89 decisions=3252, wrong=1195, backtracks=853, failedAssignments=747, nogoods=180, foundSolutions=17, bestBound=82
5.33/2.89
5.63/2.94 num=50, depth=13..22, filters=140259, revisions=(263286,useless=161224), ccks=395739, wck=0.596, mem=55M652
5.63/2.94 decisions=3469, wrong=1297, backtracks=936, failedAssignments=802, nogoods=183, foundSolutions=17, bestBound=82
5.63/2.94
5.63/2.97 num=51, depth=14..29, filters=149390, revisions=(276615,useless=167683), ccks=415914, wck=0.625, mem=55M652
5.63/2.97 decisions=3692, wrong=1401, backtracks=1006, failedAssignments=863, nogoods=189, foundSolutions=17, bestBound=82
5.63/2.97
5.94/3.01 num=52, depth=13..22, filters=159321, revisions=(292841,useless=176607), ccks=439032, wck=0.666, mem=55M652
5.94/3.01 decisions=3923, wrong=1509, backtracks=1090, failedAssignments=930, nogoods=194, foundSolutions=17, bestBound=82
5.94/3.01
5.94/3.05 num=53, depth=11..20, filters=175652, revisions=(321249,useless=193553), ccks=475300, wck=0.71, mem=55M652
5.94/3.05 decisions=4156, wrong=1618, backtracks=1177, failedAssignments=1004, nogoods=199, foundSolutions=17, bestBound=82
5.94/3.05
5.94/3.08 num=54, depth=11..20, filters=191627, revisions=(348687,useless=209601), ccks=511915, wck=0.738, mem=55M652
5.94/3.08 decisions=4407, wrong=1736, backtracks=1276, failedAssignments=1085, nogoods=205, foundSolutions=17, bestBound=82
5.94/3.08
5.94/3.11 num=55, depth=11..21, filters=206308, revisions=(375502,useless=225189), ccks=546439, wck=0.764, mem=55M652
5.94/3.11 decisions=4717, wrong=1883, backtracks=1378, failedAssignments=1174, nogoods=210, foundSolutions=17, bestBound=82
5.94/3.11
6.16/3.12 num=56, depth=13..25, filters=215011, revisions=(389127,useless=231956), ccks=566206, wck=0.779, mem=55M652
6.16/3.12 decisions=5055, wrong=2042, backtracks=1464, failedAssignments=1272, nogoods=223, foundSolutions=17, bestBound=82
6.16/3.12
6.16/3.14 o 74
6.16/3.14 num=57, depth=13..270, filters=226509, revisions=(407999,useless=241716), ccks=592205, wck=0.802, mem=55M652
6.16/3.14 decisions=5381, wrong=2196, backtracks=1562, failedAssignments=1365, nogoods=228, foundSolutions=18, bestBound=74
6.16/3.14
6.16/3.17 num=58, depth=14..27, filters=241209, revisions=(430932,useless=253049), ccks=623285, wck=0.828, mem=55M652
6.16/3.17 decisions=5815, wrong=2406, backtracks=1692, failedAssignments=1484, nogoods=233, foundSolutions=18, bestBound=74
6.16/3.17
6.16/3.17 num=59, depth=15..19, filters=242670, revisions=(433496,useless=254482), ccks=627056, wck=0.832, mem=55M652
6.16/3.17 decisions=5866, wrong=2424, backtracks=1703, failedAssignments=1495, nogoods=240, foundSolutions=18, bestBound=74
6.16/3.17
6.16/3.18 num=60, depth=15..22, filters=244499, revisions=(436382,useless=255977), ccks=630784, wck=0.836, mem=55M652
6.16/3.18 decisions=5921, wrong=2444, backtracks=1717, failedAssignments=1507, nogoods=241, foundSolutions=18, bestBound=74
6.16/3.18
6.16/3.18 num=61, depth=16..20, filters=246442, revisions=(439333,useless=257454), ccks=635356, wck=0.84, mem=55M652
6.16/3.18 decisions=5982, wrong=2466, backtracks=1732, failedAssignments=1520, nogoods=247, foundSolutions=18, bestBound=74
6.16/3.18
6.16/3.19 num=62, depth=16..23, filters=248900, revisions=(442923,useless=259130), ccks=640615, wck=0.844, mem=55M652
6.16/3.19 decisions=6055, wrong=2493, backtracks=1749, failedAssignments=1534, nogoods=249, foundSolutions=18, bestBound=74
6.16/3.19
6.16/3.19 num=63, depth=15..22, filters=251204, revisions=(445893,useless=260465), ccks=645328, wck=0.848, mem=55M652
6.16/3.19 decisions=6125, wrong=2519, backtracks=1767, failedAssignments=1550, nogoods=251, foundSolutions=18, bestBound=74
6.16/3.19
6.16/3.19 num=64, depth=15..20, filters=253355, revisions=(448877,useless=261858), ccks=649891, wck=0.852, mem=55M652
6.16/3.19 decisions=6196, wrong=2547, backtracks=1784, failedAssignments=1567, nogoods=254, foundSolutions=18, bestBound=74
6.16/3.19
6.41/3.20 num=65, depth=14..21, filters=256040, revisions=(452547,useless=263550), ccks=655037, wck=0.858, mem=55M652
6.41/3.20 decisions=6278, wrong=2581, backtracks=1806, failedAssignments=1586, nogoods=256, foundSolutions=18, bestBound=74
6.41/3.20
6.41/3.21 num=66, depth=14..20, filters=259396, revisions=(457004,useless=265513), ccks=661738, wck=0.864, mem=55M652
6.41/3.21 decisions=6368, wrong=2618, backtracks=1826, failedAssignments=1607, nogoods=264, foundSolutions=18, bestBound=74
6.41/3.21
6.41/3.21 num=67, depth=14..21, filters=262219, revisions=(460934,useless=267176), ccks=667281, wck=0.869, mem=55M652
6.41/3.21 decisions=6459, wrong=2655, backtracks=1846, failedAssignments=1630, nogoods=274, foundSolutions=18, bestBound=74
6.41/3.21
6.41/3.21 num=68, depth=13..22, filters=265019, revisions=(464751,useless=268816), ccks=672104, wck=0.874, mem=55M652
6.41/3.21 decisions=6563, wrong=2699, backtracks=1872, failedAssignments=1655, nogoods=276, foundSolutions=18, bestBound=74
6.41/3.21
6.41/3.22 num=69, depth=15..21, filters=267555, revisions=(468211,useless=270323), ccks=677259, wck=0.878, mem=55M652
6.41/3.22 decisions=6667, wrong=2741, backtracks=1892, failedAssignments=1683, nogoods=283, foundSolutions=18, bestBound=74
6.41/3.22
6.41/3.23 num=70, depth=13..19, filters=271120, revisions=(473434,useless=272854), ccks=685835, wck=0.885, mem=55M652
6.41/3.23 decisions=6803, wrong=2802, backtracks=1937, failedAssignments=1714, nogoods=286, foundSolutions=18, bestBound=74
6.41/3.23
6.41/3.23 num=71, depth=15..20, filters=274474, revisions=(477948,useless=274790), ccks=692495, wck=0.891, mem=55M652
6.41/3.23 decisions=6919, wrong=2852, backtracks=1962, failedAssignments=1748, nogoods=292, foundSolutions=18, bestBound=74
6.41/3.23
6.41/3.24 num=72, depth=14..24, filters=278824, revisions=(483595,useless=276962), ccks=700187, wck=0.898, mem=55M652
6.41/3.24 decisions=7054, wrong=2911, backtracks=1995, failedAssignments=1785, nogoods=303, foundSolutions=18, bestBound=74
6.41/3.24
6.41/3.24 num=73, depth=14..23, filters=281964, revisions=(487767,useless=278694), ccks=705910, wck=0.903, mem=58M295
6.41/3.24 decisions=7213, wrong=2983, backtracks=2036, failedAssignments=1826, nogoods=306, foundSolutions=18, bestBound=74
6.41/3.24
6.41/3.25 num=74, depth=15..32, filters=283633, revisions=(491525,useless=280918), ccks=709150, wck=0.908, mem=58M295
6.41/3.25 decisions=7376, wrong=3054, backtracks=2080, failedAssignments=1871, nogoods=312, foundSolutions=18, bestBound=74
6.41/3.25
6.41/3.26 num=75, depth=13..25, filters=287970, revisions=(500766,useless=286737), ccks=720205, wck=0.918, mem=58M295
6.41/3.26 decisions=7561, wrong=3138, backtracks=2142, failedAssignments=1921, nogoods=316, foundSolutions=18, bestBound=74
6.41/3.26
6.41/3.27 num=76, depth=12..25, filters=294095, revisions=(514368,useless=295588), ccks=736263, wck=0.932, mem=58M295
6.41/3.27 decisions=7751, wrong=3225, backtracks=2200, failedAssignments=1976, nogoods=323, foundSolutions=18, bestBound=74
6.41/3.27
6.41/3.28 num=77, depth=12..28, filters=297331, revisions=(522457,useless=301051), ccks=746359, wck=0.939, mem=58M295
6.41/3.28 decisions=7947, wrong=3316, backtracks=2265, failedAssignments=2037, nogoods=331, foundSolutions=18, bestBound=74
6.41/3.28
6.60/3.31 num=78, depth=11..21, filters=315004, revisions=(563251,useless=328311), ccks=794404, wck=0.973, mem=58M295
6.60/3.31 decisions=8186, wrong=3429, backtracks=2355, failedAssignments=2104, nogoods=336, foundSolutions=18, bestBound=74
6.60/3.31
6.60/3.33 num=79, depth=12..29, filters=324755, revisions=(583913,useless=341738), ccks=818951, wck=0.992, mem=58M295
6.60/3.33 decisions=8411, wrong=3535, backtracks=2442, failedAssignments=2178, nogoods=340, foundSolutions=18, bestBound=74
6.60/3.33
6.60/3.36 num=80, depth=11..20, filters=343423, revisions=(617624,useless=362091), ccks=861291, wck=1.023, mem=58M295
6.60/3.36 decisions=8650, wrong=3647, backtracks=2539, failedAssignments=2259, nogoods=349, foundSolutions=18, bestBound=74
6.60/3.36
6.73/3.41 num=81, depth=10..20, filters=368204, revisions=(671614,useless=397685), ccks=928678, wck=1.071, mem=58M295
6.73/3.41 decisions=8939, wrong=3785, backtracks=2653, failedAssignments=2348, nogoods=353, foundSolutions=18, bestBound=74
6.73/3.41
6.73/3.41 num=82, depth=7..19, filters=368498, revisions=(673253,useless=399183), ccks=930353, wck=1.073, mem=58M295
6.73/3.41 decisions=9186, wrong=3904, backtracks=2766, failedAssignments=2446, nogoods=360, foundSolutions=18, bestBound=74
6.73/3.41
6.73/3.44 num=83, depth=11..26, filters=383578, revisions=(707451,useless=421526), ccks=974499, wck=1.103, mem=58M295
6.73/3.44 decisions=9546, wrong=4077, backtracks=2909, failedAssignments=2554, nogoods=367, foundSolutions=18, bestBound=74
6.73/3.44
6.86/3.50 num=84, depth=10..21, filters=413650, revisions=(774328,useless=465453), ccks=1061294, wck=1.161, mem=58M295
6.86/3.50 decisions=9949, wrong=4272, backtracks=3073, failedAssignments=2673, nogoods=371, foundSolutions=18, bestBound=74
6.86/3.50
6.86/3.51 num=85, depth=10..20, filters=413940, revisions=(775970,useless=467063), ccks=1063651, wck=1.164, mem=58M295
6.86/3.51 decisions=10480, wrong=4530, backtracks=3327, failedAssignments=2804, nogoods=375, foundSolutions=18, bestBound=74
6.86/3.51
6.86/3.57 num=86, depth=11..21, filters=450646, revisions=(855769,useless=518785), ccks=1164968, wck=1.232, mem=58M295
6.86/3.57 decisions=10943, wrong=4755, backtracks=3526, failedAssignments=2948, nogoods=381, foundSolutions=18, bestBound=74
6.86/3.57
6.96/3.65 num=87, depth=10..21, filters=495886, revisions=(948739,useless=577978), ccks=1284964, wck=1.314, mem=58M295
6.96/3.65 decisions=11486, wrong=5020, backtracks=3755, failedAssignments=3106, nogoods=388, foundSolutions=18, bestBound=74
6.96/3.65
7.06/3.75 num=88, depth=10..20, filters=548417, revisions=(1046727,useless=636687), ccks=1420608, wck=1.405, mem=58M295
7.06/3.75 decisions=12194, wrong=5368, backtracks=4044, failedAssignments=3280, nogoods=393, foundSolutions=18, bestBound=74
7.06/3.75
7.17/3.83 num=89, depth=10..20, filters=599947, revisions=(1140603,useless=692729), ccks=1543138, wck=1.491, mem=58M295
7.17/3.83 decisions=12889, wrong=5710, backtracks=4334, failedAssignments=3471, nogoods=400, foundSolutions=18, bestBound=74
7.17/3.83
7.27/3.93 num=90, depth=10..24, filters=654431, revisions=(1246955,useless=758387), ccks=1686128, wck=1.584, mem=58M295
7.27/3.93 decisions=13685, wrong=6102, backtracks=4649, failedAssignments=3682, nogoods=408, foundSolutions=18, bestBound=74
7.27/3.93
7.27/3.98 num=91, depth=10..23, filters=686070, revisions=(1301256,useless=790140), ccks=1756874, wck=1.635, mem=58M295
7.27/3.98 decisions=14456, wrong=6480, backtracks=4942, failedAssignments=3914, nogoods=416, foundSolutions=18, bestBound=74
7.27/3.98
7.39/4.06 num=92, depth=10..30, filters=734139, revisions=(1405617,useless=858607), ccks=1888646, wck=1.723, mem=58M295
7.39/4.06 decisions=15345, wrong=6919, backtracks=5281, failedAssignments=4169, nogoods=423, foundSolutions=18, bestBound=74
7.39/4.06
7.49/4.17 num=93, depth=10..21, filters=800231, revisions=(1528074,useless=932292), ccks=2040244, wck=1.833, mem=58M295
7.49/4.17 decisions=16248, wrong=7364, backtracks=5669, failedAssignments=4450, nogoods=428, foundSolutions=18, bestBound=74
7.49/4.17
7.58/4.25 num=94, depth=10..27, filters=846233, revisions=(1619544,useless=988182), ccks=2156533, wck=1.913, mem=58M295
7.58/4.25 decisions=17312, wrong=7886, backtracks=6078, failedAssignments=4759, nogoods=434, foundSolutions=18, bestBound=74
7.58/4.25
7.78/4.44 num=95, depth=10..31, filters=948754, revisions=(1847472,useless=1138831), ccks=2446181, wck=2.096, mem=58M295
7.78/4.44 decisions=18536, wrong=8493, backtracks=6565, failedAssignments=5099, nogoods=439, foundSolutions=18, bestBound=74
7.78/4.44
7.88/4.52 num=96, depth=10..20, filters=1004150, revisions=(1935814,useless=1185128), ccks=2582538, wck=2.181, mem=58M295
7.88/4.52 decisions=19842, wrong=9139, backtracks=7033, failedAssignments=5473, nogoods=443, foundSolutions=18, bestBound=74
7.88/4.52
7.88/4.58 o 70
7.88/4.58 num=97, depth=11..270, filters=1042707, revisions=(1993882,useless=1213803), ccks=2668125, wck=2.238, mem=58M295
7.88/4.58 decisions=20774, wrong=9596, backtracks=7342, failedAssignments=5736, nogoods=449, foundSolutions=19, bestBound=70
7.88/4.58
7.99/4.62 o 62
7.99/4.62 num=98, depth=13..270, filters=1069369, revisions=(2032668,useless=1232365), ccks=2724567, wck=2.278, mem=58M295
7.99/4.62 decisions=21461, wrong=9931, backtracks=7544, failedAssignments=5939, nogoods=452, foundSolutions=20, bestBound=62
7.99/4.62
7.99/4.62 num=99, depth=16..23, filters=1070582, revisions=(2034783,useless=1233537), ccks=2727815, wck=2.28, mem=58M295
7.99/4.62 decisions=21511, wrong=9948, backtracks=7554, failedAssignments=5950, nogoods=454, foundSolutions=20, bestBound=62
7.99/4.62
7.99/4.62 num=100, depth=16..22, filters=1071620, revisions=(2036699,useless=1234617), ccks=2729941, wck=2.282, mem=58M295
7.99/4.62 decisions=21558, wrong=9962, backtracks=7558, failedAssignments=5961, nogoods=460, foundSolutions=20, bestBound=62
7.99/4.62
7.99/4.63 num=101, depth=15..21, filters=1072592, revisions=(2038483,useless=1235674), ccks=2732150, wck=2.284, mem=58M295
7.99/4.63 decisions=21605, wrong=9977, backtracks=7566, failedAssignments=5973, nogoods=462, foundSolutions=20, bestBound=62
7.99/4.63
7.99/4.63 num=102, depth=16..21, filters=1073899, revisions=(2040602,useless=1236839), ccks=2735130, wck=2.287, mem=58M295
7.99/4.63 decisions=21661, wrong=9995, backtracks=7573, failedAssignments=5986, nogoods=466, foundSolutions=20, bestBound=62
7.99/4.63
7.99/4.63 num=103, depth=11..18, filters=1074232, revisions=(2041765,useless=1237752), ccks=2736577, wck=2.288, mem=58M295
7.99/4.63 decisions=21707, wrong=10012, backtracks=7586, failedAssignments=6000, nogoods=471, foundSolutions=20, bestBound=62
7.99/4.63
7.99/4.63 num=104, depth=14..21, filters=1076873, revisions=(2047577,useless=1241304), ccks=2742695, wck=2.293, mem=58M295
7.99/4.63 decisions=21769, wrong=10035, backtracks=7601, failedAssignments=6016, nogoods=473, foundSolutions=20, bestBound=62
7.99/4.63
7.99/4.64 num=105, depth=14..20, filters=1079379, revisions=(2051665,useless=1243437), ccks=2748681, wck=2.297, mem=58M295
7.99/4.64 decisions=21838, wrong=10062, backtracks=7621, failedAssignments=6033, nogoods=475, foundSolutions=20, bestBound=62
7.99/4.64
7.99/4.64 num=106, depth=15..20, filters=1081722, revisions=(2055814,useless=1245679), ccks=2754475, wck=2.301, mem=58M295
7.99/4.64 decisions=21912, wrong=10091, backtracks=7638, failedAssignments=6052, nogoods=481, foundSolutions=20, bestBound=62
7.99/4.64
7.99/4.65 num=107, depth=13..19, filters=1083757, revisions=(2059734,useless=1247888), ccks=2759396, wck=2.304, mem=58M295
7.99/4.65 decisions=21982, wrong=10119, backtracks=7650, failedAssignments=6073, nogoods=488, foundSolutions=20, bestBound=62
7.99/4.65
7.99/4.65 num=108, depth=14..22, filters=1086584, revisions=(2065185,useless=1251013), ccks=2766382, wck=2.309, mem=58M295
7.99/4.65 decisions=22066, wrong=10154, backtracks=7674, failedAssignments=6096, nogoods=489, foundSolutions=20, bestBound=62
7.99/4.65
7.99/4.65 num=109, depth=14..20, filters=1089081, revisions=(2069394,useless=1253283), ccks=2771899, wck=2.313, mem=58M295
7.99/4.65 decisions=22154, wrong=10191, backtracks=7694, failedAssignments=6121, nogoods=490, foundSolutions=20, bestBound=62
7.99/4.65
7.99/4.66 num=110, depth=14..22, filters=1092336, revisions=(2075076,useless=1256296), ccks=2779532, wck=2.319, mem=58M295
7.99/4.66 decisions=22255, wrong=10234, backtracks=7717, failedAssignments=6149, nogoods=495, foundSolutions=20, bestBound=62
7.99/4.66
7.99/4.67 num=111, depth=14..20, filters=1096399, revisions=(2081730,useless=1259725), ccks=2788275, wck=2.325, mem=58M295
7.99/4.67 decisions=22364, wrong=10281, backtracks=7746, failedAssignments=6180, nogoods=499, foundSolutions=20, bestBound=62
7.99/4.67
7.99/4.67 o 58
7.99/4.67 num=112, depth=16..270, filters=1097241, revisions=(2083669,useless=1261025), ccks=2790557, wck=2.328, mem=58M295
7.99/4.67 decisions=22396, wrong=10288, backtracks=7749, failedAssignments=6184, nogoods=501, foundSolutions=21, bestBound=58
7.99/4.67
7.99/4.68 num=113, depth=15..23, filters=1101424, revisions=(2090006,useless=1264145), ccks=2799328, wck=2.335, mem=58M295
7.99/4.68 decisions=22538, wrong=10351, backtracks=7785, failedAssignments=6221, nogoods=508, foundSolutions=21, bestBound=58
7.99/4.68
7.99/4.68 num=114, depth=15..23, filters=1102681, revisions=(2092562,useless=1265568), ccks=2802419, wck=2.338, mem=58M295
7.99/4.68 decisions=22588, wrong=10368, backtracks=7792, failedAssignments=6232, nogoods=512, foundSolutions=21, bestBound=58
7.99/4.68
7.99/4.68 num=115, depth=15..20, filters=1104128, revisions=(2094922,useless=1266827), ccks=2805315, wck=2.34, mem=58M295
7.99/4.68 decisions=22640, wrong=10386, backtracks=7800, failedAssignments=6244, nogoods=519, foundSolutions=21, bestBound=58
7.99/4.68
7.99/4.68 num=116, depth=15..19, filters=1105594, revisions=(2097410,useless=1268146), ccks=2808609, wck=2.343, mem=58M295
7.99/4.68 decisions=22693, wrong=10405, backtracks=7810, failedAssignments=6257, nogoods=522, foundSolutions=21, bestBound=58
7.99/4.68
7.99/4.69 num=117, depth=14..20, filters=1107686, revisions=(2100933,useless=1270110), ccks=2813269, wck=2.346, mem=58M295
7.99/4.69 decisions=22763, wrong=10433, backtracks=7833, failedAssignments=6271, nogoods=525, foundSolutions=21, bestBound=58
7.99/4.69
7.99/4.69 num=118, depth=14..23, filters=1110044, revisions=(2104479,useless=1271922), ccks=2818039, wck=2.35, mem=58M295
7.99/4.69 decisions=22835, wrong=10460, backtracks=7851, failedAssignments=6287, nogoods=527, foundSolutions=21, bestBound=58
7.99/4.69
7.99/4.69 num=119, depth=15..22, filters=1111888, revisions=(2107636,useless=1273582), ccks=2821989, wck=2.353, mem=58M295
7.99/4.69 decisions=22900, wrong=10484, backtracks=7863, failedAssignments=6304, nogoods=535, foundSolutions=21, bestBound=58
7.99/4.69
8.14/4.70 num=120, depth=14..24, filters=1114320, revisions=(2113656,useless=1277373), ccks=2828499, wck=2.358, mem=58M295
8.14/4.70 decisions=22977, wrong=10515, backtracks=7881, failedAssignments=6323, nogoods=538, foundSolutions=21, bestBound=58
8.14/4.70
8.14/4.70 num=121, depth=14..32, filters=1115795, revisions=(2117009,useless=1279411), ccks=2832659, wck=2.362, mem=58M295
8.14/4.70 decisions=23073, wrong=10553, backtracks=7899, failedAssignments=6344, nogoods=544, foundSolutions=21, bestBound=58
8.14/4.70
8.14/4.71 num=122, depth=13..22, filters=1118787, revisions=(2122948,useless=1282850), ccks=2839309, wck=2.367, mem=58M295
8.14/4.71 decisions=23158, wrong=10589, backtracks=7921, failedAssignments=6367, nogoods=545, foundSolutions=21, bestBound=58
8.14/4.71
8.14/4.72 num=123, depth=13..25, filters=1123734, revisions=(2138500,useless=1293793), ccks=2855946, wck=2.378, mem=58M295
8.14/4.72 decisions=23274, wrong=10638, backtracks=7953, failedAssignments=6392, nogoods=549, foundSolutions=21, bestBound=58
8.14/4.72
8.14/4.72 num=124, depth=13..20, filters=1126357, revisions=(2143628,useless=1296898), ccks=2862563, wck=2.382, mem=58M295
8.14/4.72 decisions=23373, wrong=10681, backtracks=7983, failedAssignments=6420, nogoods=555, foundSolutions=21, bestBound=58
8.14/4.72
8.14/4.73 num=125, depth=16..32, filters=1129967, revisions=(2154807,useless=1304666), ccks=2875266, wck=2.39, mem=58M295
8.14/4.73 decisions=23512, wrong=10737, backtracks=8020, failedAssignments=6451, nogoods=558, foundSolutions=21, bestBound=58
8.14/4.73
8.14/4.74 num=126, depth=12..22, filters=1135647, revisions=(2167316,useless=1312254), ccks=2890185, wck=2.4, mem=58M295
8.14/4.74 decisions=23673, wrong=10809, backtracks=8064, failedAssignments=6485, nogoods=562, foundSolutions=21, bestBound=58
8.14/4.74
8.14/4.75 num=127, depth=15..24, filters=1140519, revisions=(2174803,useless=1316044), ccks=2900789, wck=2.407, mem=58M295
8.14/4.75 decisions=23802, wrong=10866, backtracks=8101, failedAssignments=6522, nogoods=570, foundSolutions=21, bestBound=58
8.14/4.75
8.14/4.76 num=128, depth=14..25, filters=1145687, revisions=(2183114,useless=1320175), ccks=2912408, wck=2.415, mem=58M295
8.14/4.76 decisions=23968, wrong=10941, backtracks=8148, failedAssignments=6563, nogoods=581, foundSolutions=21, bestBound=58
8.14/4.76
8.14/4.77 num=129, depth=14..25, filters=1153195, revisions=(2194444,useless=1325619), ccks=2929166, wck=2.426, mem=58M295
8.14/4.77 decisions=24158, wrong=11029, backtracks=8211, failedAssignments=6608, nogoods=584, foundSolutions=21, bestBound=58
8.14/4.77
8.14/4.78 num=130, depth=14..24, filters=1159401, revisions=(2203598,useless=1329901), ccks=2942188, wck=2.435, mem=58M295
8.14/4.78 decisions=24345, wrong=11115, backtracks=8260, failedAssignments=6658, nogoods=586, foundSolutions=21, bestBound=58
8.14/4.78
8.14/4.79 num=131, depth=14..21, filters=1165595, revisions=(2212802,useless=1334273), ccks=2954657, wck=2.444, mem=58M295
8.14/4.79 decisions=24541, wrong=11205, backtracks=8309, failedAssignments=6713, nogoods=589, foundSolutions=21, bestBound=58
8.14/4.79
8.25/4.80 num=132, depth=13..21, filters=1172722, revisions=(2224034,useless=1339939), ccks=2970114, wck=2.455, mem=58M295
8.25/4.80 decisions=24758, wrong=11307, backtracks=8386, failedAssignments=6774, nogoods=595, foundSolutions=21, bestBound=58
8.25/4.80
8.25/4.81 num=133, depth=13..21, filters=1181226, revisions=(2236245,useless=1345812), ccks=2987808, wck=2.468, mem=58M295
8.25/4.81 decisions=24991, wrong=11417, backtracks=8453, failedAssignments=6841, nogoods=597, foundSolutions=21, bestBound=58
8.25/4.81
8.25/4.83 num=134, depth=12..21, filters=1192628, revisions=(2253032,useless=1354078), ccks=3011847, wck=2.485, mem=58M295
8.25/4.83 decisions=25260, wrong=11544, backtracks=8545, failedAssignments=6915, nogoods=600, foundSolutions=21, bestBound=58
8.25/4.83
8.25/4.83 num=135, depth=10..19, filters=1194152, revisions=(2256758,useless=1356689), ccks=3016609, wck=2.489, mem=58M295
8.25/4.83 decisions=25484, wrong=11650, backtracks=8644, failedAssignments=6996, nogoods=604, foundSolutions=21, bestBound=58
8.25/4.83
8.25/4.85 num=136, depth=16..32, filters=1204466, revisions=(2291312,useless=1381580), ccks=3054308, wck=2.51, mem=58M295
8.25/4.85 decisions=25836, wrong=11817, backtracks=8750, failedAssignments=7085, nogoods=609, foundSolutions=21, bestBound=58
8.25/4.85
8.25/4.87 num=137, depth=12..32, filters=1214327, revisions=(2317136,useless=1398828), ccks=3084565, wck=2.529, mem=58M295
8.25/4.87 decisions=26233, wrong=12007, backtracks=8867, failedAssignments=7183, nogoods=612, foundSolutions=21, bestBound=58
8.25/4.87
8.25/4.89 num=138, depth=13..33, filters=1226187, revisions=(2340407,useless=1412252), ccks=3115153, wck=2.548, mem=58M295
8.25/4.89 decisions=26642, wrong=12199, backtracks=8988, failedAssignments=7291, nogoods=618, foundSolutions=21, bestBound=58
8.25/4.89
8.37/4.92 num=139, depth=12..23, filters=1243508, revisions=(2369468,useless=1427245), ccks=3153459, wck=2.576, mem=58M295
8.37/4.92 decisions=27089, wrong=12416, backtracks=9130, failedAssignments=7410, nogoods=622, foundSolutions=21, bestBound=58
8.37/4.92
8.37/4.94 num=140, depth=12..23, filters=1257820, revisions=(2391381,useless=1437432), ccks=3182258, wck=2.596, mem=58M295
8.37/4.94 decisions=27550, wrong=12638, backtracks=9261, failedAssignments=7541, nogoods=627, foundSolutions=21, bestBound=58
8.37/4.94
8.37/4.96 num=141, depth=11..20, filters=1276012, revisions=(2419085,useless=1451324), ccks=3230627, wck=2.624, mem=60M937
8.37/4.96 decisions=28142, wrong=12928, backtracks=9499, failedAssignments=7685, nogoods=631, foundSolutions=21, bestBound=58
8.37/4.96
8.37/4.97 o 54
8.37/4.97 num=142, depth=14..270, filters=1281812, revisions=(2426601,useless=1454642), ccks=3242373, wck=2.632, mem=60M937
8.37/4.97 decisions=28300, wrong=12999, backtracks=9547, failedAssignments=7722, nogoods=635, foundSolutions=22, bestBound=54
8.37/4.97
8.37/5.01 num=143, depth=13..24, filters=1303776, revisions=(2454360,useless=1465872), ccks=3285234, wck=2.664, mem=60M937
8.37/5.01 decisions=28938, wrong=13311, backtracks=9769, failedAssignments=7896, nogoods=640, foundSolutions=22, bestBound=54
8.37/5.01
8.48/5.01 num=144, depth=15..21, filters=1305129, revisions=(2456380,useless=1466901), ccks=3287790, wck=2.666, mem=60M937
8.48/5.01 decisions=28989, wrong=13329, backtracks=9781, failedAssignments=7907, nogoods=642, foundSolutions=22, bestBound=54
8.48/5.01
8.48/5.01 num=145, depth=25..33, filters=1305890, revisions=(2458484,useless=1468276), ccks=3289971, wck=2.668, mem=60M937
8.48/5.01 decisions=29058, wrong=13351, backtracks=9797, failedAssignments=7919, nogoods=646, foundSolutions=22, bestBound=54
8.48/5.01
8.48/5.01 num=146, depth=15..20, filters=1307656, revisions=(2460994,useless=1469519), ccks=3293480, wck=2.672, mem=60M937
8.48/5.01 decisions=29122, wrong=13375, backtracks=9816, failedAssignments=7932, nogoods=650, foundSolutions=22, bestBound=54
8.48/5.01
8.48/5.02 num=147, depth=14..19, filters=1310300, revisions=(2464657,useless=1471185), ccks=3298179, wck=2.676, mem=60M937
8.48/5.02 decisions=29193, wrong=13403, backtracks=9838, failedAssignments=7946, nogoods=654, foundSolutions=22, bestBound=54
8.48/5.02
8.48/5.02 num=148, depth=14..21, filters=1312281, revisions=(2467438,useless=1472527), ccks=3301885, wck=2.679, mem=60M937
8.48/5.02 decisions=29260, wrong=13429, backtracks=9858, failedAssignments=7962, nogoods=659, foundSolutions=22, bestBound=54
8.48/5.02
8.48/5.02 num=149, depth=14..20, filters=1314555, revisions=(2470599,useless=1474043), ccks=3305905, wck=2.682, mem=60M937
8.48/5.02 decisions=29328, wrong=13455, backtracks=9876, failedAssignments=7979, nogoods=661, foundSolutions=22, bestBound=54
8.48/5.02
8.48/5.03 num=150, depth=12..18, filters=1316777, revisions=(2474215,useless=1476111), ccks=3311218, wck=2.686, mem=60M937
8.48/5.03 decisions=29423, wrong=13496, backtracks=9915, failedAssignments=7998, nogoods=663, foundSolutions=22, bestBound=54
8.48/5.03
8.48/5.03 num=151, depth=14..20, filters=1319797, revisions=(2478298,useless=1477902), ccks=3316832, wck=2.691, mem=60M937
8.48/5.03 decisions=29516, wrong=13535, backtracks=9943, failedAssignments=8019, nogoods=666, foundSolutions=22, bestBound=54
8.48/5.03
8.48/5.04 num=152, depth=13..20, filters=1322820, revisions=(2482334,useless=1479626), ccks=3322655, wck=2.695, mem=60M937
8.48/5.04 decisions=29618, wrong=13578, backtracks=9973, failedAssignments=8042, nogoods=673, foundSolutions=22, bestBound=54
8.48/5.04
8.48/5.04 num=153, depth=14..20, filters=1325994, revisions=(2486424,useless=1481345), ccks=3328037, wck=2.7, mem=60M937
8.48/5.04 decisions=29716, wrong=13619, backtracks=9994, failedAssignments=8067, nogoods=679, foundSolutions=22, bestBound=54
8.48/5.04
8.48/5.05 num=154, depth=14..22, filters=1329430, revisions=(2490736,useless=1483107), ccks=3333978, wck=2.705, mem=60M937
8.48/5.05 decisions=29819, wrong=13663, backtracks=10022, failedAssignments=8095, nogoods=687, foundSolutions=22, bestBound=54
8.48/5.05
8.48/5.05 num=155, depth=13..20, filters=1332900, revisions=(2495507,useless=1485399), ccks=3341050, wck=2.71, mem=60M937
8.48/5.05 decisions=29946, wrong=13719, backtracks=10066, failedAssignments=8126, nogoods=690, foundSolutions=22, bestBound=54
8.48/5.05
8.48/5.06 num=156, depth=14..22, filters=1336464, revisions=(2500210,useless=1487353), ccks=3347262, wck=2.715, mem=60M937
8.48/5.06 decisions=30073, wrong=13775, backtracks=10100, failedAssignments=8160, nogoods=697, foundSolutions=22, bestBound=54
8.48/5.06
8.48/5.06 num=157, depth=14..21, filters=1340716, revisions=(2505726,useless=1489701), ccks=3355390, wck=2.721, mem=60M937
8.48/5.06 decisions=30203, wrong=13832, backtracks=10138, failedAssignments=8197, nogoods=702, foundSolutions=22, bestBound=54
8.48/5.06
8.48/5.07 num=158, depth=13..21, filters=1344804, revisions=(2511065,useless=1491823), ccks=3362385, wck=2.727, mem=60M937
8.48/5.07 decisions=30340, wrong=13893, backtracks=10168, failedAssignments=8238, nogoods=707, foundSolutions=22, bestBound=54
8.48/5.07
8.48/5.08 num=159, depth=14..20, filters=1349870, revisions=(2517762,useless=1494651), ccks=3371309, wck=2.734, mem=60M937
8.48/5.08 decisions=30507, wrong=13968, backtracks=10214, failedAssignments=8283, nogoods=718, foundSolutions=22, bestBound=54
8.48/5.08
8.48/5.08 num=160, depth=14..23, filters=1355784, revisions=(2525333,useless=1497725), ccks=3381780, wck=2.743, mem=60M937
8.48/5.08 decisions=30683, wrong=14047, backtracks=10271, failedAssignments=8333, nogoods=725, foundSolutions=22, bestBound=54
8.48/5.08
8.48/5.09 num=161, depth=14..22, filters=1360917, revisions=(2531863,useless=1500357), ccks=3391106, wck=2.75, mem=60M937
8.48/5.09 decisions=30875, wrong=14135, backtracks=10324, failedAssignments=8388, nogoods=733, foundSolutions=22, bestBound=54
8.48/5.09
8.48/5.10 num=162, depth=14..21, filters=1368663, revisions=(2542059,useless=1504807), ccks=3405532, wck=2.761, mem=60M937
8.48/5.10 decisions=31096, wrong=14237, backtracks=10395, failedAssignments=8449, nogoods=742, foundSolutions=22, bestBound=54
8.48/5.10
8.58/5.11 num=163, depth=13..20, filters=1374669, revisions=(2550369,useless=1508220), ccks=3416757, wck=2.77, mem=60M937
8.58/5.11 decisions=31310, wrong=14335, backtracks=10447, failedAssignments=8516, nogoods=753, foundSolutions=22, bestBound=54
8.58/5.11
8.58/5.13 num=164, depth=12..20, filters=1384030, revisions=(2562670,useless=1513462), ccks=3436150, wck=2.784, mem=60M937
8.58/5.13 decisions=31576, wrong=14461, backtracks=10536, failedAssignments=8590, nogoods=758, foundSolutions=22, bestBound=54
8.58/5.13
8.58/5.14 num=165, depth=12..22, filters=1393805, revisions=(2575180,useless=1518248), ccks=3452533, wck=2.798, mem=60M937
8.58/5.14 decisions=31839, wrong=14586, backtracks=10617, failedAssignments=8671, nogoods=763, foundSolutions=22, bestBound=54
8.58/5.14
8.58/5.15 num=166, depth=11..20, filters=1404963, revisions=(2590230,useless=1524206), ccks=3471465, wck=2.812, mem=60M937
8.58/5.15 decisions=32137, wrong=14728, backtracks=10705, failedAssignments=8760, nogoods=771, foundSolutions=22, bestBound=54
8.58/5.15
8.58/5.17 num=167, depth=13..22, filters=1416296, revisions=(2604370,useless=1529735), ccks=3491133, wck=2.827, mem=60M937
8.58/5.17 decisions=32481, wrong=14892, backtracks=10801, failedAssignments=8858, nogoods=777, foundSolutions=22, bestBound=54
8.58/5.17
8.58/5.19 num=168, depth=12..25, filters=1429857, revisions=(2620333,useless=1535747), ccks=3513811, wck=2.846, mem=60M937
8.58/5.19 decisions=32854, wrong=15070, backtracks=10910, failedAssignments=8966, nogoods=788, foundSolutions=22, bestBound=54
8.58/5.19
8.67/5.20 num=169, depth=8..19, filters=1439492, revisions=(2637115,useless=1544954), ccks=3537086, wck=2.862, mem=60M937
8.67/5.20 decisions=33279, wrong=15277, backtracks=11084, failedAssignments=9085, nogoods=790, foundSolutions=22, bestBound=54
8.67/5.20
8.67/5.22 num=170, depth=12..21, filters=1453862, revisions=(2655567,useless=1551907), ccks=3561098, wck=2.882, mem=60M937
8.67/5.22 decisions=33708, wrong=15484, backtracks=11198, failedAssignments=9216, nogoods=798, foundSolutions=22, bestBound=54
8.67/5.22
8.67/5.24 num=171, depth=12..25, filters=1467131, revisions=(2672891,useless=1558612), ccks=3582187, wck=2.9, mem=60M937
8.67/5.24 decisions=34162, wrong=15704, backtracks=11327, failedAssignments=9360, nogoods=806, foundSolutions=22, bestBound=54
8.67/5.24
8.67/5.27 num=172, depth=11..21, filters=1487739, revisions=(2698400,useless=1568340), ccks=3616245, wck=2.928, mem=60M937
8.67/5.27 decisions=34699, wrong=15966, backtracks=11516, failedAssignments=9518, nogoods=809, foundSolutions=22, bestBound=54
8.67/5.27
8.67/5.29 num=173, depth=12..22, filters=1503282, revisions=(2719078,useless=1576757), ccks=3643167, wck=2.951, mem=60M937
8.67/5.29 decisions=35257, wrong=16238, backtracks=11700, failedAssignments=9692, nogoods=819, foundSolutions=22, bestBound=54
8.67/5.29
8.79/5.32 num=174, depth=7..20, filters=1517952, revisions=(2744371,useless=1590964), ccks=3678809, wck=2.975, mem=60M937
8.79/5.32 decisions=35946, wrong=16576, backtracks=11980, failedAssignments=9883, nogoods=822, foundSolutions=22, bestBound=54
8.79/5.32
8.79/5.35 num=175, depth=10..22, filters=1542629, revisions=(2776509,useless=1603440), ccks=3720390, wck=3.009, mem=60M937
8.79/5.35 decisions=36683, wrong=16937, backtracks=12214, failedAssignments=10094, nogoods=825, foundSolutions=22, bestBound=54
8.79/5.35
8.79/5.38 num=176, depth=11..21, filters=1566808, revisions=(2806786,useless=1614877), ccks=3761865, wck=3.042, mem=60M937
8.79/5.38 decisions=37437, wrong=17307, backtracks=12440, failedAssignments=10326, nogoods=829, foundSolutions=22, bestBound=54
8.79/5.38
8.89/5.42 num=177, depth=11..23, filters=1590751, revisions=(2836496,useless=1625890), ccks=3804116, wck=3.075, mem=60M937
8.89/5.42 decisions=38250, wrong=17706, backtracks=12710, failedAssignments=10581, nogoods=832, foundSolutions=22, bestBound=54
8.89/5.42
8.89/5.46 num=178, depth=10..23, filters=1619644, revisions=(2872948,useless=1640384), ccks=3857157, wck=3.116, mem=60M937
8.89/5.46 decisions=39165, wrong=18157, backtracks=13056, failedAssignments=10862, nogoods=836, foundSolutions=22, bestBound=54
8.89/5.46
8.99/5.51 num=179, depth=11..21, filters=1654123, revisions=(2918569,useless=1658793), ccks=3918432, wck=3.165, mem=60M937
8.99/5.51 decisions=40183, wrong=18660, backtracks=13413, failedAssignments=11171, nogoods=841, foundSolutions=22, bestBound=54
8.99/5.51
8.99/5.56 num=180, depth=10..22, filters=1692395, revisions=(2966051,useless=1676972), ccks=3984755, wck=3.217, mem=60M937
8.99/5.56 decisions=41287, wrong=19205, backtracks=13789, failedAssignments=11511, nogoods=846, foundSolutions=22, bestBound=54
8.99/5.56
9.10/5.62 num=181, depth=10..23, filters=1736589, revisions=(3021163,useless=1697843), ccks=4059688, wck=3.278, mem=60M937
9.10/5.62 decisions=42529, wrong=19821, backtracks=14201, failedAssignments=11885, nogoods=847, foundSolutions=22, bestBound=54
9.10/5.62
9.10/5.68 num=182, depth=10..23, filters=1781035, revisions=(3077548,useless=1720197), ccks=4140129, wck=3.338, mem=60M937
9.10/5.68 decisions=43850, wrong=20475, backtracks=14680, failedAssignments=12296, nogoods=852, foundSolutions=22, bestBound=54
9.10/5.68
9.20/5.75 num=183, depth=10..26, filters=1829893, revisions=(3143163,useless=1746059), ccks=4228034, wck=3.406, mem=60M937
9.20/5.75 decisions=45505, wrong=21295, backtracks=15272, failedAssignments=12748, nogoods=860, foundSolutions=22, bestBound=54
9.20/5.75
9.30/5.82 num=184, depth=10..21, filters=1885961, revisions=(3212159,useless=1772731), ccks=4330196, wck=3.483, mem=60M937
9.30/5.82 decisions=47126, wrong=22099, backtracks=15847, failedAssignments=13245, nogoods=866, foundSolutions=22, bestBound=54
9.30/5.82
9.40/5.91 num=185, depth=9..21, filters=1944769, revisions=(3284925,useless=1800607), ccks=4437038, wck=3.566, mem=60M937
9.40/5.91 decisions=48961, wrong=23011, backtracks=16487, failedAssignments=13792, nogoods=874, foundSolutions=22, bestBound=54
9.40/5.91
9.40/6.00 num=186, depth=10..30, filters=2012478, revisions=(3371441,useless=1835393), ccks=4553902, wck=3.657, mem=60M937
9.40/6.00 decisions=50977, wrong=24013, backtracks=17189, failedAssignments=14394, nogoods=880, foundSolutions=22, bestBound=54
9.40/6.00
9.52/6.10 num=187, depth=10..22, filters=2083713, revisions=(3460437,useless=1869808), ccks=4677618, wck=3.755, mem=60M937
9.52/6.10 decisions=53285, wrong=25161, backtracks=18011, failedAssignments=15056, nogoods=884, foundSolutions=22, bestBound=54
9.52/6.10
9.71/6.22 num=188, depth=9..22, filters=2173787, revisions=(3569979,useless=1911100), ccks=4834665, wck=3.876, mem=60M937
9.71/6.22 decisions=55854, wrong=26439, backtracks=18926, failedAssignments=15784, nogoods=895, foundSolutions=22, bestBound=54
9.71/6.22
9.81/6.33 num=189, depth=9..25, filters=2252524, revisions=(3676413,useless=1956639), ccks=4985570, wck=3.988, mem=60M937
9.81/6.33 decisions=58674, wrong=27842, backtracks=19994, failedAssignments=16585, nogoods=902, foundSolutions=22, bestBound=54
9.81/6.33
9.91/6.48 num=190, depth=9..26, filters=2358933, revisions=(3807441,useless=2008348), ccks=5184601, wck=4.135, mem=60M937
9.91/6.48 decisions=61571, wrong=29285, backtracks=21084, failedAssignments=17466, nogoods=912, foundSolutions=22, bestBound=54
9.91/6.48
10.11/6.62 num=191, depth=10..24, filters=2464358, revisions=(3945469,useless=2064066), ccks=5370774, wck=4.282, mem=60M937
10.11/6.62 decisions=64837, wrong=30911, backtracks=22297, failedAssignments=18436, nogoods=920, foundSolutions=22, bestBound=54
10.11/6.62
10.31/6.80 num=192, depth=9..22, filters=2597306, revisions=(4112645,useless=2130016), ccks=5601313, wck=4.461, mem=60M937
10.31/6.80 decisions=68594, wrong=32783, backtracks=23619, failedAssignments=19503, nogoods=927, foundSolutions=22, bestBound=54
10.31/6.80
10.41/6.99 num=193, depth=9..23, filters=2733033, revisions=(4277963,useless=2192418), ccks=5832732, wck=4.647, mem=60M937
10.41/6.99 decisions=72554, wrong=34757, backtracks=25110, failedAssignments=20676, nogoods=934, foundSolutions=22, bestBound=54
10.41/6.99
10.62/7.17 num=194, depth=9..31, filters=2871491, revisions=(4449544,useless=2255807), ccks=6070867, wck=4.828, mem=60M937
10.62/7.17 decisions=76891, wrong=36917, backtracks=26451, failedAssignments=21967, nogoods=944, foundSolutions=22, bestBound=54
10.62/7.17
10.81/7.36 num=195, depth=8..27, filters=3005047, revisions=(4625641,useless=2331945), ccks=6327737, wck=5.02, mem=60M937
10.81/7.36 decisions=81803, wrong=39366, backtracks=28287, failedAssignments=23387, nogoods=950, foundSolutions=22, bestBound=54
10.81/7.36
11.02/7.58 o 50
11.02/7.58 num=196, depth=0..270, filters=3146059, revisions=(4841143,useless=2442640), ccks=6655945, wck=5.24, mem=63M580
11.02/7.58 decisions=87034, wrong=41973, backtracks=30181, failedAssignments=24757, nogoods=956, foundSolutions=23, bestBound=50
11.02/7.58
11.32/7.87 num=197, depth=9..27, filters=3355471, revisions=(5107444,useless=2550591), ccks=7015344, wck=5.526, mem=63M580
11.32/7.87 decisions=92895, wrong=44897, backtracks=32309, failedAssignments=26475, nogoods=965, foundSolutions=23, bestBound=50
11.32/7.87
11.32/7.87 num=198, depth=17..20, filters=3356552, revisions=(5109200,useless=2551485), ccks=7017865, wck=5.528, mem=63M580
11.32/7.87 decisions=92948, wrong=44915, backtracks=32319, failedAssignments=26486, nogoods=969, foundSolutions=23, bestBound=50
11.32/7.87
11.32/7.87 num=199, depth=15..20, filters=3357906, revisions=(5111277,useless=2552491), ccks=7020232, wck=5.53, mem=63M580
11.32/7.87 decisions=93001, wrong=44933, backtracks=32328, failedAssignments=26498, nogoods=975, foundSolutions=23, bestBound=50
11.32/7.87
11.32/7.87 num=200, depth=15..21, filters=3359550, revisions=(5113770,useless=2553682), ccks=7023062, wck=5.533, mem=63M580
11.32/7.87 decisions=93064, wrong=44957, backtracks=32346, failedAssignments=26511, nogoods=978, foundSolutions=23, bestBound=50
11.32/7.87
11.32/7.88 num=201, depth=15..21, filters=3360883, revisions=(5115774,useless=2554642), ccks=7025389, wck=5.535, mem=63M580
11.32/7.88 decisions=93130, wrong=44982, backtracks=32362, failedAssignments=26525, nogoods=983, foundSolutions=23, bestBound=50
11.32/7.88
11.32/7.88 num=202, depth=14..19, filters=3362969, revisions=(5118962,useless=2556167), ccks=7029288, wck=5.538, mem=63M580
11.32/7.88 decisions=93203, wrong=45011, backtracks=32383, failedAssignments=26541, nogoods=987, foundSolutions=23, bestBound=50
11.32/7.88
11.32/7.88 num=203, depth=12..26, filters=3365417, revisions=(5122662,useless=2557821), ccks=7033428, wck=5.542, mem=63M580
11.32/7.88 decisions=93285, wrong=45045, backtracks=32406, failedAssignments=26558, nogoods=994, foundSolutions=23, bestBound=50
11.32/7.88
11.32/7.89 num=204, depth=15..21, filters=3367106, revisions=(5125207,useless=2558937), ccks=7036194, wck=5.545, mem=63M580
11.32/7.89 decisions=93357, wrong=45073, backtracks=32423, failedAssignments=26577, nogoods=1001, foundSolutions=23, bestBound=50
11.32/7.89
11.32/7.89 num=205, depth=12..20, filters=3370440, revisions=(5130157,useless=2561196), ccks=7041981, wck=5.55, mem=63M580
11.32/7.89 decisions=93456, wrong=45116, backtracks=32454, failedAssignments=26598, nogoods=1005, foundSolutions=23, bestBound=50
11.32/7.89
11.32/7.89 num=206, depth=12..27, filters=3372730, revisions=(5133583,useless=2562654), ccks=7045906, wck=5.553, mem=63M580
11.32/7.89 decisions=93547, wrong=45155, backtracks=32476, failedAssignments=26621, nogoods=1008, foundSolutions=23, bestBound=50
11.32/7.89
11.43/7.90 num=207, depth=0..25, filters=3375333, revisions=(5138177,useless=2564950), ccks=7051286, wck=5.558, mem=63M580
11.43/7.90 decisions=93669, wrong=45210, backtracks=32513, failedAssignments=26646, nogoods=1010, foundSolutions=23, bestBound=50
11.43/7.90
11.43/7.90 num=208, depth=12..20, filters=3378546, revisions=(5142650,useless=2566896), ccks=7057189, wck=5.563, mem=63M580
11.43/7.90 decisions=93775, wrong=45255, backtracks=32541, failedAssignments=26674, nogoods=1015, foundSolutions=23, bestBound=50
11.43/7.90
11.43/7.91 num=209, depth=11..21, filters=3382587, revisions=(5148439,useless=2569322), ccks=7065171, wck=5.569, mem=63M580
11.43/7.91 decisions=93897, wrong=45308, backtracks=32572, failedAssignments=26705, nogoods=1022, foundSolutions=23, bestBound=50
11.43/7.91
11.43/7.92 num=210, depth=11..21, filters=3385352, revisions=(5152999,useless=2571664), ccks=7070970, wck=5.574, mem=63M580
11.43/7.92 decisions=94019, wrong=45363, backtracks=32610, failedAssignments=26739, nogoods=1024, foundSolutions=23, bestBound=50
11.43/7.92
11.43/7.92 num=211, depth=8..19, filters=3389389, revisions=(5159430,useless=2574715), ccks=7078639, wck=5.58, mem=63M580
11.43/7.92 decisions=94179, wrong=45439, backtracks=32664, failedAssignments=26776, nogoods=1029, foundSolutions=23, bestBound=50
11.43/7.92
11.43/7.93 num=212, depth=11..22, filters=3394247, revisions=(5166815,useless=2578110), ccks=7087469, wck=5.588, mem=63M580
11.43/7.93 decisions=94341, wrong=45514, backtracks=32719, failedAssignments=26817, nogoods=1036, foundSolutions=23, bestBound=50
11.43/7.93
11.43/7.93 num=213, depth=13..29, filters=3397711, revisions=(5171744,useless=2580074), ccks=7093387, wck=5.593, mem=63M580
11.43/7.93 decisions=94517, wrong=45592, backtracks=32765, failedAssignments=26862, nogoods=1038, foundSolutions=23, bestBound=50
11.43/7.93
11.43/7.94 num=214, depth=11..19, filters=3401958, revisions=(5178537,useless=2583351), ccks=7103101, wck=5.6, mem=63M580
11.43/7.94 decisions=94720, wrong=45688, backtracks=32824, failedAssignments=26912, nogoods=1040, foundSolutions=23, bestBound=50
11.43/7.94
11.43/7.95 num=215, depth=12..22, filters=3409938, revisions=(5189125,useless=2587746), ccks=7117377, wck=5.611, mem=63M580
11.43/7.95 decisions=94975, wrong=45807, backtracks=32909, failedAssignments=26967, nogoods=1046, foundSolutions=23, bestBound=50
11.43/7.95
11.43/7.97 num=216, depth=12..20, filters=3419277, revisions=(5201703,useless=2592922), ccks=7133599, wck=5.625, mem=63M580
11.43/7.97 decisions=95259, wrong=45943, backtracks=33012, failedAssignments=27028, nogoods=1048, foundSolutions=23, bestBound=50
11.43/7.97
11.43/7.98 num=217, depth=12..20, filters=3427747, revisions=(5212757,useless=2597537), ccks=7147810, wck=5.637, mem=63M580
11.43/7.98 decisions=95495, wrong=46054, backtracks=33086, failedAssignments=27095, nogoods=1056, foundSolutions=23, bestBound=50
11.43/7.98
11.43/7.99 num=218, depth=13..22, filters=3438055, revisions=(5226430,useless=2603109), ccks=7166064, wck=5.652, mem=63M580
11.43/7.99 decisions=95786, wrong=46192, backtracks=33178, failedAssignments=27169, nogoods=1063, foundSolutions=23, bestBound=50
11.43/7.99
11.55/8.01 num=219, depth=8..19, filters=3447666, revisions=(5241571,useless=2610352), ccks=7183473, wck=5.667, mem=63M580
11.55/8.01 decisions=96082, wrong=46333, backtracks=33271, failedAssignments=27250, nogoods=1068, foundSolutions=23, bestBound=50
11.55/8.01
11.55/8.02 num=220, depth=6..14, filters=3453009, revisions=(5255142,useless=2619493), ccks=7200678, wck=5.677, mem=63M580
11.55/8.02 decisions=96463, wrong=46519, backtracks=33432, failedAssignments=27339, nogoods=1072, foundSolutions=23, bestBound=50
11.55/8.02
11.55/8.04 num=221, depth=11..19, filters=3464210, revisions=(5270928,useless=2626327), ccks=7220301, wck=5.694, mem=63M580
11.55/8.04 decisions=96788, wrong=46675, backtracks=33544, failedAssignments=27437, nogoods=1077, foundSolutions=23, bestBound=50
11.55/8.04
11.55/8.05 num=222, depth=10..21, filters=3472912, revisions=(5284265,useless=2633121), ccks=7237711, wck=5.708, mem=63M580
11.55/8.05 decisions=97139, wrong=46844, backtracks=33689, failedAssignments=27545, nogoods=1080, foundSolutions=23, bestBound=50
11.55/8.05
11.55/8.07 num=223, depth=12..22, filters=3486091, revisions=(5301586,useless=2640083), ccks=7259792, wck=5.726, mem=63M580
11.55/8.07 decisions=97551, wrong=47043, backtracks=33836, failedAssignments=27664, nogoods=1086, foundSolutions=23, bestBound=50
11.55/8.07
11.55/8.09 num=224, depth=11..24, filters=3498836, revisions=(5319172,useless=2647353), ccks=7280865, wck=5.744, mem=63M580
11.55/8.09 decisions=97966, wrong=47243, backtracks=33954, failedAssignments=27795, nogoods=1098, foundSolutions=23, bestBound=50
11.55/8.09
11.65/8.11 num=225, depth=11..24, filters=3515521, revisions=(5341629,useless=2656178), ccks=7306581, wck=5.768, mem=63M580
11.65/8.11 decisions=98495, wrong=47500, backtracks=34152, failedAssignments=27939, nogoods=1103, foundSolutions=23, bestBound=50
11.65/8.11
11.65/8.14 num=226, depth=11..19, filters=3533764, revisions=(5364556,useless=2665202), ccks=7336031, wck=5.794, mem=63M580
11.65/8.14 decisions=99023, wrong=47758, backtracks=34326, failedAssignments=28097, nogoods=1109, foundSolutions=23, bestBound=50
11.65/8.14
11.65/8.16 num=227, depth=11..21, filters=3553003, revisions=(5390138,useless=2675430), ccks=7368473, wck=5.821, mem=63M580
11.65/8.16 decisions=99599, wrong=48039, backtracks=34533, failedAssignments=28271, nogoods=1116, foundSolutions=23, bestBound=50
11.65/8.16
11.74/8.20 num=228, depth=10..22, filters=3577574, revisions=(5421468,useless=2688027), ccks=7408289, wck=5.856, mem=63M580
11.74/8.20 decisions=100215, wrong=48341, backtracks=34752, failedAssignments=28462, nogoods=1123, foundSolutions=23, bestBound=50
11.74/8.20
11.74/8.23 num=229, depth=11..21, filters=3604133, revisions=(5456319,useless=2702191), ccks=7451343, wck=5.893, mem=63M580
11.74/8.23 decisions=100934, wrong=48693, backtracks=35002, failedAssignments=28673, nogoods=1128, foundSolutions=23, bestBound=50
11.74/8.23
11.74/8.27 num=230, depth=11..21, filters=3628424, revisions=(5487823,useless=2714403), ccks=7490572, wck=5.926, mem=63M580
11.74/8.27 decisions=101695, wrong=49066, backtracks=35259, failedAssignments=28905, nogoods=1136, foundSolutions=23, bestBound=50
11.74/8.27
11.84/8.31 num=231, depth=7..22, filters=3659136, revisions=(5533571,useless=2735088), ccks=7541100, wck=5.971, mem=63M580
11.84/8.31 decisions=102691, wrong=49557, backtracks=35618, failedAssignments=29160, nogoods=1147, foundSolutions=23, bestBound=50
11.84/8.31
11.84/8.36 num=232, depth=11..22, filters=3691957, revisions=(5576592,useless=2752281), ccks=7596135, wck=6.017, mem=63M580
11.84/8.36 decisions=103688, wrong=50048, backtracks=35981, failedAssignments=29441, nogoods=1157, foundSolutions=23, bestBound=50
11.84/8.36
11.94/8.41 num=233, depth=11..23, filters=3730350, revisions=(5626996,useless=2772826), ccks=7659945, wck=6.07, mem=63M580
11.94/8.41 decisions=104764, wrong=50579, backtracks=36373, failedAssignments=29750, nogoods=1167, foundSolutions=23, bestBound=50
11.94/8.41
11.94/8.48 num=234, depth=10..21, filters=3776409, revisions=(5684287,useless=2795065), ccks=7735721, wck=6.134, mem=63M580
11.94/8.48 decisions=105929, wrong=51155, backtracks=36838, failedAssignments=30090, nogoods=1173, foundSolutions=23, bestBound=50
11.94/8.48
12.04/8.54 num=235, depth=10..21, filters=3822028, revisions=(5740380,useless=2816497), ccks=7809651, wck=6.197, mem=63M580
12.04/8.54 decisions=107207, wrong=51787, backtracks=37270, failedAssignments=30464, nogoods=1177, foundSolutions=23, bestBound=50
12.04/8.54
12.14/8.61 num=236, depth=10..25, filters=3875025, revisions=(5807720,useless=2842914), ccks=7895136, wck=6.27, mem=63M580
12.14/8.61 decisions=108638, wrong=52496, backtracks=37783, failedAssignments=30875, nogoods=1183, foundSolutions=23, bestBound=50
12.14/8.61
12.14/8.69 num=237, depth=10..21, filters=3929581, revisions=(5875328,useless=2869209), ccks=7985182, wck=6.344, mem=63M580
12.14/8.69 decisions=110151, wrong=53246, backtracks=38335, failedAssignments=31327, nogoods=1190, foundSolutions=23, bestBound=50
12.14/8.69
12.24/8.76 num=238, depth=10..24, filters=3981647, revisions=(5941927,useless=2895423), ccks=8073186, wck=6.418, mem=63M580
12.24/8.76 decisions=111794, wrong=54061, backtracks=38912, failedAssignments=31824, nogoods=1195, foundSolutions=23, bestBound=50
12.24/8.76
12.34/8.85 num=239, depth=10..25, filters=4045535, revisions=(6023369,useless=2927222), ccks=8178720, wck=6.506, mem=63M580
12.34/8.85 decisions=113639, wrong=54978, backtracks=39542, failedAssignments=32371, nogoods=1202, foundSolutions=23, bestBound=50
12.34/8.85
12.44/8.95 num=240, depth=10..31, filters=4118078, revisions=(6119125,useless=2966959), ccks=8301869, wck=6.608, mem=63M580
12.44/8.95 decisions=115668, wrong=55985, backtracks=40332, failedAssignments=32973, nogoods=1210, foundSolutions=23, bestBound=50
12.44/8.95
12.55/9.06 num=241, depth=9..22, filters=4200508, revisions=(6222490,useless=3007385), ccks=8442492, wck=6.722, mem=63M580
12.55/9.06 decisions=118009, wrong=57148, backtracks=41208, failedAssignments=33635, nogoods=1215, foundSolutions=23, bestBound=50
12.55/9.06
12.65/9.19 num=242, depth=9..21, filters=4292329, revisions=(6336940,useless=3051518), ccks=8598711, wck=6.85, mem=63M580
12.65/9.19 decisions=120509, wrong=58391, backtracks=42170, failedAssignments=34363, nogoods=1226, foundSolutions=23, bestBound=50
12.65/9.19
12.84/9.32 num=243, depth=9..24, filters=4386542, revisions=(6457476,useless=3098945), ccks=8755662, wck=6.982, mem=63M580
12.84/9.32 decisions=123270, wrong=59764, backtracks=43154, failedAssignments=35164, nogoods=1235, foundSolutions=23, bestBound=50
12.84/9.32
12.94/9.47 num=244, depth=9..21, filters=4491523, revisions=(6600598,useless=3159064), ccks=8942435, wck=7.13, mem=63M580
12.94/9.47 decisions=126326, wrong=61286, backtracks=44343, failedAssignments=36045, nogoods=1241, foundSolutions=23, bestBound=50
12.94/9.47
13.14/9.64 num=245, depth=8..23, filters=4614852, revisions=(6750257,useless=3217403), ccks=9150732, wck=7.3, mem=63M580
13.14/9.64 decisions=129675, wrong=62954, backtracks=45564, failedAssignments=37015, nogoods=1249, foundSolutions=23, bestBound=50
13.14/9.64
13.24/9.78 num=246, depth=0..26, filters=4701204, revisions=(6905107,useless=3301804), ccks=9353938, wck=7.434, mem=63M580
13.24/9.78 decisions=133772, wrong=64995, backtracks=46939, failedAssignments=38082, nogoods=1258, foundSolutions=23, bestBound=50
13.24/9.78
13.55/10.02 num=247, depth=9..25, filters=4871966, revisions=(7141438,useless=3407753), ccks=9682480, wck=7.683, mem=63M580
13.55/10.02 decisions=138144, wrong=67176, backtracks=48537, failedAssignments=39255, nogoods=1266, foundSolutions=23, bestBound=50
13.55/10.02
13.75/10.23 num=248, depth=9..29, filters=5016240, revisions=(7339745,useless=3487454), ccks=9936860, wck=7.887, mem=63M580
13.75/10.23 decisions=142918, wrong=69555, backtracks=50191, failedAssignments=40546, nogoods=1277, foundSolutions=23, bestBound=50
13.75/10.23
13.95/10.42 num=249, depth=5..33, filters=5147171, revisions=(7583012,useless=3613342), ccks=10187179, wck=8.079, mem=63M580
13.95/10.42 decisions=149474, wrong=72828, backtracks=52797, failedAssignments=41966, nogoods=1282, foundSolutions=23, bestBound=50
13.95/10.42
14.25/10.71 num=250, depth=3..24, filters=5351473, revisions=(7915532,useless=3773974), ccks=10545641, wck=8.368, mem=63M580
14.25/10.71 decisions=155947, wrong=76060, backtracks=55345, failedAssignments=43528, nogoods=1289, foundSolutions=23, bestBound=50
14.25/10.71
14.56/11.04 num=251, depth=9..22, filters=5589782, revisions=(8228842,useless=3906480), ccks=10961627, wck=8.698, mem=66M222
14.56/11.04 decisions=162097, wrong=79128, backtracks=57791, failedAssignments=45246, nogoods=1300, foundSolutions=23, bestBound=50
14.56/11.04
14.85/11.38 num=252, depth=8..29, filters=5831108, revisions=(8553040,useless=4040728), ccks=11390916, wck=9.041, mem=66M222
14.85/11.38 decisions=169320, wrong=82732, backtracks=60643, failedAssignments=47136, nogoods=1303, foundSolutions=23, bestBound=50
14.85/11.38
15.15/11.68 num=253, depth=7..24, filters=6039343, revisions=(8842914,useless=4170545), ccks=11805798, wck=9.336, mem=66M222
15.15/11.68 decisions=176885, wrong=86509, backtracks=63615, failedAssignments=49215, nogoods=1311, foundSolutions=23, bestBound=50
15.15/11.68
15.56/12.08 num=254, depth=7..23, filters=6334459, revisions=(9221205,useless=4324061), ccks=12323079, wck=9.736, mem=66M222
15.56/12.08 decisions=185048, wrong=90584, backtracks=66573, failedAssignments=51502, nogoods=1320, foundSolutions=23, bestBound=50
15.56/12.08
16.05/12.51 num=255, depth=7..28, filters=6647935, revisions=(9638690,useless=4492788), ccks=12879889, wck=10.173, mem=66M222
16.05/12.51 decisions=194396, wrong=95253, backtracks=70174, failedAssignments=54018, nogoods=1327, foundSolutions=23, bestBound=50
16.05/12.51
16.56/13.05 num=256, depth=8..28, filters=7036716, revisions=(10141275,useless=4700559), ccks=13566127, wck=10.71, mem=66M222
16.56/13.05 decisions=204715, wrong=100408, backtracks=74172, failedAssignments=56786, nogoods=1339, foundSolutions=23, bestBound=50
16.56/13.05
17.15/13.63 o 42
17.15/13.63 num=257, depth=7..270, filters=7445358, revisions=(10698227,useless=4936553), ccks=14302335, wck=11.288, mem=66M222
17.15/13.63 decisions=215664, wrong=105876, backtracks=78547, failedAssignments=59631, nogoods=1353, foundSolutions=24, bestBound=42
17.15/13.63
17.66/14.14 o 38
17.66/14.14 num=258, depth=9..270, filters=7810520, revisions=(11174248,useless=5131781), ccks=14913677, wck=11.797, mem=66M222
17.66/14.14 decisions=225472, wrong=110773, backtracks=82211, failedAssignments=62276, nogoods=1362, foundSolutions=25, bestBound=38
17.66/14.14
17.66/14.14 num=259, depth=12..17, filters=7812102, revisions=(11176828,useless=5133078), ccks=14916932, wck=11.801, mem=66M222
17.66/14.14 decisions=225520, wrong=110790, backtracks=82224, failedAssignments=62287, nogoods=1365, foundSolutions=25, bestBound=38
17.66/14.14
17.66/14.14 num=260, depth=12..18, filters=7813769, revisions=(11179318,useless=5134244), ccks=14919371, wck=11.803, mem=66M222
17.66/14.14 decisions=225575, wrong=110810, backtracks=82236, failedAssignments=62298, nogoods=1370, foundSolutions=25, bestBound=38
17.66/14.14
17.66/14.15 num=261, depth=12..17, filters=7815329, revisions=(11181854,useless=5135541), ccks=14921693, wck=11.806, mem=66M222
17.66/14.15 decisions=225621, wrong=110827, backtracks=82246, failedAssignments=62310, nogoods=1374, foundSolutions=25, bestBound=38
17.66/14.15
17.66/14.15 num=262, depth=11..18, filters=7817716, revisions=(11185388,useless=5137213), ccks=14925159, wck=11.81, mem=66M222
17.66/14.15 decisions=225683, wrong=110851, backtracks=82263, failedAssignments=62323, nogoods=1379, foundSolutions=25, bestBound=38
17.66/14.15
17.66/14.15 num=263, depth=12..16, filters=7819189, revisions=(11187852,useless=5138431), ccks=14927932, wck=11.812, mem=66M222
17.66/14.15 decisions=225743, wrong=110875, backtracks=82278, failedAssignments=62337, nogoods=1383, foundSolutions=25, bestBound=38
17.66/14.15
17.66/14.16 num=264, depth=11..18, filters=7821125, revisions=(11190877,useless=5139875), ccks=14931619, wck=11.815, mem=66M222
17.66/14.16 decisions=225819, wrong=110907, backtracks=82302, failedAssignments=62353, nogoods=1386, foundSolutions=25, bestBound=38
17.66/14.16
17.66/14.16 num=265, depth=11..19, filters=7823181, revisions=(11194129,useless=5141421), ccks=14935228, wck=11.819, mem=66M222
17.66/14.16 decisions=225899, wrong=110941, backtracks=82330, failedAssignments=62370, nogoods=1389, foundSolutions=25, bestBound=38
17.66/14.16
17.66/14.16 num=266, depth=11..18, filters=7825437, revisions=(11197593,useless=5142979), ccks=14939173, wck=11.822, mem=66M222
17.66/14.16 decisions=225978, wrong=110974, backtracks=82351, failedAssignments=62389, nogoods=1394, foundSolutions=25, bestBound=38
17.66/14.16
17.66/14.17 num=267, depth=11..16, filters=7828435, revisions=(11201917,useless=5144980), ccks=14944218, wck=11.827, mem=66M222
17.66/14.17 decisions=226061, wrong=111010, backtracks=82379, failedAssignments=62410, nogoods=1399, foundSolutions=25, bestBound=38
17.66/14.17
17.66/14.17 num=268, depth=11..18, filters=7831232, revisions=(11206252,useless=5147042), ccks=14948690, wck=11.831, mem=66M222
17.66/14.17 decisions=226142, wrong=111045, backtracks=82401, failedAssignments=62433, nogoods=1403, foundSolutions=25, bestBound=38
17.66/14.17
17.66/14.18 num=269, depth=10..19, filters=7834444, revisions=(11211128,useless=5149310), ccks=14954505, wck=11.836, mem=66M222
17.66/14.18 decisions=226244, wrong=111089, backtracks=82430, failedAssignments=62458, nogoods=1411, foundSolutions=25, bestBound=38
17.66/14.18
17.66/14.18 num=270, depth=12..20, filters=7838270, revisions=(11216849,useless=5151987), ccks=14961076, wck=11.842, mem=66M222
17.66/14.18 decisions=226361, wrong=111141, backtracks=82472, failedAssignments=62486, nogoods=1417, foundSolutions=25, bestBound=38
17.66/14.18
17.66/14.19 num=271, depth=11..19, filters=7842941, revisions=(11223836,useless=5155153), ccks=14968989, wck=11.849, mem=66M222
17.66/14.19 decisions=226494, wrong=111201, backtracks=82517, failedAssignments=62517, nogoods=1424, foundSolutions=25, bestBound=38
17.66/14.19
17.76/14.20 num=272, depth=10..19, filters=7847522, revisions=(11230931,useless=5158532), ccks=14977261, wck=11.857, mem=66M222
17.76/14.20 decisions=226642, wrong=111269, backtracks=82568, failedAssignments=62551, nogoods=1432, foundSolutions=25, bestBound=38
17.76/14.20
17.76/14.21 num=273, depth=11..19, filters=7852218, revisions=(11237707,useless=5161584), ccks=14984952, wck=11.864, mem=66M222
17.76/14.21 decisions=226779, wrong=111331, backtracks=82612, failedAssignments=62588, nogoods=1438, foundSolutions=25, bestBound=38
17.76/14.21
17.76/14.22 num=274, depth=10..18, filters=7858708, revisions=(11247025,useless=5165635), ccks=14995361, wck=11.874, mem=66M222
17.76/14.22 decisions=226955, wrong=111412, backtracks=82673, failedAssignments=62629, nogoods=1441, foundSolutions=25, bestBound=38
17.76/14.22
17.76/14.22 num=275, depth=11..22, filters=7863863, revisions=(11254557,useless=5168940), ccks=15004310, wck=11.882, mem=66M222
17.76/14.22 decisions=227145, wrong=111500, backtracks=82730, failedAssignments=62674, nogoods=1445, foundSolutions=25, bestBound=38
17.76/14.22
17.76/14.23 num=276, depth=10..17, filters=7870484, revisions=(11263261,useless=5172658), ccks=15014853, wck=11.892, mem=66M222
17.76/14.23 decisions=227340, wrong=111591, backtracks=82794, failedAssignments=62724, nogoods=1447, foundSolutions=25, bestBound=38
17.76/14.23
17.76/14.24 num=277, depth=11..21, filters=7878062, revisions=(11272905,useless=5176457), ccks=15026104, wck=11.903, mem=66M222
17.76/14.24 decisions=227553, wrong=111691, backtracks=82864, failedAssignments=62779, nogoods=1451, foundSolutions=25, bestBound=38
17.76/14.24
17.76/14.25 num=278, depth=11..18, filters=7885040, revisions=(11282280,useless=5180280), ccks=15037068, wck=11.913, mem=66M222
17.76/14.25 decisions=227762, wrong=111790, backtracks=82929, failedAssignments=62840, nogoods=1453, foundSolutions=25, bestBound=38
17.76/14.25
17.76/14.27 num=279, depth=11..22, filters=7893123, revisions=(11292971,useless=5184534), ccks=15049137, wck=11.924, mem=66M222
17.76/14.27 decisions=228010, wrong=111906, backtracks=83014, failedAssignments=62907, nogoods=1460, foundSolutions=25, bestBound=38
17.76/14.27
17.76/14.28 num=280, depth=11..23, filters=7900133, revisions=(11302752,useless=5188567), ccks=15060958, wck=11.935, mem=66M222
17.76/14.28 decisions=228259, wrong=112023, backtracks=83084, failedAssignments=62981, nogoods=1467, foundSolutions=25, bestBound=38
17.76/14.28
17.76/14.29 num=281, depth=11..19, filters=7909848, revisions=(11315768,useless=5193878), ccks=15076173, wck=11.95, mem=66M222
17.76/14.29 decisions=228548, wrong=112161, backtracks=83180, failedAssignments=63062, nogoods=1471, foundSolutions=25, bestBound=38
17.76/14.29
17.87/14.31 num=282, depth=11..20, filters=7919188, revisions=(11330335,useless=5200927), ccks=15091624, wck=11.965, mem=66M222
17.87/14.31 decisions=228836, wrong=112298, backtracks=83298, failedAssignments=63151, nogoods=1475, foundSolutions=25, bestBound=38
17.87/14.31
17.87/14.32 num=283, depth=12..20, filters=7929148, revisions=(11344442,useless=5206983), ccks=15106433, wck=11.979, mem=66M222
17.87/14.32 decisions=229142, wrong=112444, backtracks=83399, failedAssignments=63249, nogoods=1481, foundSolutions=25, bestBound=38
17.87/14.32
17.87/14.34 num=284, depth=11..25, filters=7941810, revisions=(11362859,useless=5215062), ccks=15127123, wck=11.999, mem=66M222
17.87/14.34 decisions=229558, wrong=112645, backtracks=83538, failedAssignments=63357, nogoods=1489, foundSolutions=25, bestBound=38
17.87/14.34
17.87/14.36 num=285, depth=11..19, filters=7957301, revisions=(11383980,useless=5223765), ccks=15151231, wck=12.022, mem=66M222
17.87/14.36 decisions=229994, wrong=112856, backtracks=83688, failedAssignments=63476, nogoods=1498, foundSolutions=25, bestBound=38
17.87/14.36
17.87/14.39 num=286, depth=10..22, filters=7974096, revisions=(11405888,useless=5232513), ccks=15177541, wck=12.046, mem=66M222
17.87/14.39 decisions=230485, wrong=113095, backtracks=83859, failedAssignments=63607, nogoods=1502, foundSolutions=25, bestBound=38
17.87/14.39
17.97/14.41 num=287, depth=11..22, filters=7991781, revisions=(11430095,useless=5242331), ccks=15205121, wck=12.072, mem=66M222
17.97/14.41 decisions=231005, wrong=113348, backtracks=84037, failedAssignments=63751, nogoods=1511, foundSolutions=25, bestBound=38
17.97/14.41
17.97/14.44 num=288, depth=11..21, filters=8009487, revisions=(11453591,useless=5251936), ccks=15232169, wck=12.097, mem=66M222
17.97/14.44 decisions=231530, wrong=113603, backtracks=84199, failedAssignments=63909, nogoods=1527, foundSolutions=25, bestBound=38
17.97/14.44
17.97/14.47 num=289, depth=11..28, filters=8029697, revisions=(11483992,useless=5265295), ccks=15266598, wck=12.128, mem=66M222
17.97/14.47 decisions=232137, wrong=113899, backtracks=84402, failedAssignments=64083, nogoods=1538, foundSolutions=25, bestBound=38
17.97/14.47
18.07/14.51 num=290, depth=11..19, filters=8054985, revisions=(11518419,useless=5279376), ccks=15304798, wck=12.165, mem=66M222
18.07/14.51 decisions=232809, wrong=114229, backtracks=84642, failedAssignments=64274, nogoods=1548, foundSolutions=25, bestBound=38
18.07/14.51
18.07/14.54 num=291, depth=4..26, filters=8078301, revisions=(11560663,useless=5301099), ccks=15349138, wck=12.202, mem=68M865
18.07/14.54 decisions=233720, wrong=114674, backtracks=84944, failedAssignments=64485, nogoods=1550, foundSolutions=25, bestBound=38
18.07/14.54
18.07/14.58 num=292, depth=10..25, filters=8104145, revisions=(11596257,useless=5315619), ccks=15391142, wck=12.239, mem=68M865
18.07/14.58 decisions=234558, wrong=115086, backtracks=85219, failedAssignments=64717, nogoods=1556, foundSolutions=25, bestBound=38
18.07/14.58
18.17/14.62 num=293, depth=10..27, filters=8134057, revisions=(11635900,useless=5330814), ccks=15437161, wck=12.282, mem=68M865
18.17/14.62 decisions=235438, wrong=115520, backtracks=85501, failedAssignments=64972, nogoods=1563, foundSolutions=25, bestBound=38
18.17/14.62
18.17/14.67 num=294, depth=10..26, filters=8167645, revisions=(11684342,useless=5350946), ccks=15495808, wck=12.331, mem=68M865
18.17/14.67 decisions=236557, wrong=116074, backtracks=85893, failedAssignments=65253, nogoods=1574, foundSolutions=25, bestBound=38
18.17/14.67
18.27/14.72 num=295, depth=10..25, filters=8203153, revisions=(11729646,useless=5368486), ccks=15550650, wck=12.381, mem=68M865
18.27/14.72 decisions=237624, wrong=116602, backtracks=86269, failedAssignments=65562, nogoods=1583, foundSolutions=25, bestBound=38
18.27/14.72
18.27/14.78 num=296, depth=10..25, filters=8241441, revisions=(11780920,useless=5388986), ccks=15610358, wck=12.435, mem=68M865
18.27/14.78 decisions=238789, wrong=117179, backtracks=86661, failedAssignments=65902, nogoods=1593, foundSolutions=25, bestBound=38
18.27/14.78
18.37/14.83 num=297, depth=10..31, filters=8275670, revisions=(11829434,useless=5409257), ccks=15665078, wck=12.485, mem=68M865
18.37/14.83 decisions=240130, wrong=117843, backtracks=87110, failedAssignments=66276, nogoods=1603, foundSolutions=25, bestBound=38
18.37/14.83
18.37/14.89 num=298, depth=8..20, filters=8318972, revisions=(11903959,useless=5448650), ccks=15749511, wck=12.551, mem=68M865
18.37/14.89 decisions=241685, wrong=118615, backtracks=87722, failedAssignments=66687, nogoods=1608, foundSolutions=25, bestBound=38
18.37/14.89
18.47/14.96 num=299, depth=9..26, filters=8366987, revisions=(11970613,useless=5475792), ccks=15827472, wck=12.621, mem=68M865
18.47/14.96 decisions=243347, wrong=119439, backtracks=88314, failedAssignments=67139, nogoods=1613, foundSolutions=25, bestBound=38
18.47/14.96
18.59/15.05 num=300, depth=10..21, filters=8426957, revisions=(12052542,useless=5510979), ccks=15924289, wck=12.707, mem=68M865
18.59/15.05 decisions=245088, wrong=120304, backtracks=88962, failedAssignments=67636, nogoods=1620, foundSolutions=25, bestBound=38
18.59/15.05
18.69/15.14 num=301, depth=9..20, filters=8488153, revisions=(12136959,useless=5546343), ccks=16028214, wck=12.796, mem=68M865
18.69/15.14 decisions=247152, wrong=121329, backtracks=89722, failedAssignments=68183, nogoods=1628, foundSolutions=25, bestBound=38
18.69/15.14
18.78/15.26 num=302, depth=8..20, filters=8573432, revisions=(12255608,useless=5598268), ccks=16169802, wck=12.915, mem=68M865
18.78/15.26 decisions=249355, wrong=122424, backtracks=90614, failedAssignments=68785, nogoods=1634, foundSolutions=25, bestBound=38
18.78/15.26
18.88/15.38 num=303, depth=9..27, filters=8657238, revisions=(12372152,useless=5648056), ccks=16309263, wck=13.039, mem=68M865
18.88/15.38 decisions=251748, wrong=123615, backtracks=91573, failedAssignments=69447, nogoods=1641, foundSolutions=25, bestBound=38
18.88/15.38
19.08/15.53 num=304, depth=9..21, filters=8760474, revisions=(12508860,useless=5705706), ccks=16473497, wck=13.185, mem=68M865
19.08/15.53 decisions=254346, wrong=124908, backtracks=92618, failedAssignments=70175, nogoods=1652, foundSolutions=25, bestBound=38
19.08/15.53
19.18/15.69 num=305, depth=9..21, filters=8875249, revisions=(12670619,useless=5775647), ccks=16660539, wck=13.352, mem=68M865
19.18/15.69 decisions=257299, wrong=126377, backtracks=93813, failedAssignments=70976, nogoods=1665, foundSolutions=25, bestBound=38
19.18/15.69
19.38/15.86 num=306, depth=8..23, filters=8995286, revisions=(12827053,useless=5840122), ccks=16846254, wck=13.521, mem=68M865
19.38/15.86 decisions=260404, wrong=127923, backtracks=94973, failedAssignments=71857, nogoods=1672, foundSolutions=25, bestBound=38
19.38/15.86
19.59/16.03 num=307, depth=9..27, filters=9108031, revisions=(12998817,useless=5917237), ccks=17044646, wck=13.688, mem=68M865
19.59/16.03 decisions=264088, wrong=129759, backtracks=96340, failedAssignments=72827, nogoods=1685, foundSolutions=25, bestBound=38
19.59/16.03
19.78/16.23 num=308, depth=8..24, filters=9251426, revisions=(13186875,useless=5995121), ccks=17271727, wck=13.891, mem=68M865
19.78/16.23 decisions=267895, wrong=131656, backtracks=97793, failedAssignments=73894, nogoods=1691, foundSolutions=25, bestBound=38
19.78/16.23
19.98/16.42 num=309, depth=9..31, filters=9377867, revisions=(13380549,useless=6084027), ccks=17484001, wck=14.077, mem=68M865
19.98/16.42 decisions=272294, wrong=133849, backtracks=99435, failedAssignments=75067, nogoods=1703, foundSolutions=25, bestBound=38
19.98/16.42
20.18/16.66 num=310, depth=8..25, filters=9540503, revisions=(13603541,useless=6181143), ccks=17755920, wck=14.315, mem=68M865
20.18/16.66 decisions=276997, wrong=136193, backtracks=101267, failedAssignments=76358, nogoods=1713, foundSolutions=25, bestBound=38
20.18/16.66
20.48/16.93 num=311, depth=8..21, filters=9733501, revisions=(13859374,useless=6287463), ccks=18066427, wck=14.59, mem=68M865
20.48/16.93 decisions=282092, wrong=138734, backtracks=103260, failedAssignments=77778, nogoods=1724, foundSolutions=25, bestBound=38
20.48/16.93
20.78/17.21 num=312, depth=8..27, filters=9932517, revisions=(14124350,useless=6395129), ccks=18378282, wck=14.871, mem=68M865
20.78/17.21 decisions=287834, wrong=141599, backtracks=105354, failedAssignments=79340, nogoods=1735, foundSolutions=25, bestBound=38
20.78/17.21
21.08/17.53 num=313, depth=7..27, filters=10157712, revisions=(14425914,useless=6521660), ccks=18739365, wck=15.19, mem=68M865
21.08/17.53 decisions=294387, wrong=144869, backtracks=107770, failedAssignments=81058, nogoods=1739, foundSolutions=25, bestBound=38
21.08/17.53
21.38/17.89 num=314, depth=8..27, filters=10415681, revisions=(14777795,useless=6668851), ccks=19152335, wck=15.553, mem=68M865
21.38/17.89 decisions=301469, wrong=148403, backtracks=110397, failedAssignments=82948, nogoods=1749, foundSolutions=25, bestBound=38
21.38/17.89
21.78/18.27 num=315, depth=7..31, filters=10673435, revisions=(15136354,useless=6822790), ccks=19568123, wck=15.926, mem=68M865
21.78/18.27 decisions=309095, wrong=152211, backtracks=113198, failedAssignments=85027, nogoods=1753, foundSolutions=25, bestBound=38
21.78/18.27
22.28/18.70 num=316, depth=7..25, filters=10982522, revisions=(15543019,useless=6990058), ccks=20060167, wck=16.359, mem=68M865
22.28/18.70 decisions=317550, wrong=156433, backtracks=116363, failedAssignments=87314, nogoods=1759, foundSolutions=25, bestBound=38
22.28/18.70
22.69/19.18 num=317, depth=7..30, filters=11316875, revisions=(16008147,useless=7188032), ccks=20612509, wck=16.839, mem=68M865
22.69/19.18 decisions=327006, wrong=161157, backtracks=119914, failedAssignments=89830, nogoods=1764, foundSolutions=25, bestBound=38
22.69/19.18
23.28/19.72 num=318, depth=7..21, filters=11705620, revisions=(16527635,useless=7404547), ccks=21235645, wck=17.382, mem=68M865
23.28/19.72 decisions=337240, wrong=166267, backtracks=123843, failedAssignments=92598, nogoods=1772, foundSolutions=25, bestBound=38
23.28/19.72
23.78/20.29 num=319, depth=7..28, filters=12108145, revisions=(17066384,useless=7624731), ccks=21887811, wck=17.95, mem=68M865
23.78/20.29 decisions=348818, wrong=172051, backtracks=128019, failedAssignments=95642, nogoods=1780, foundSolutions=25, bestBound=38
23.78/20.29
24.48/20.97 num=320, depth=7..25, filters=12586325, revisions=(17709248,useless=7898633), ccks=22658130, wck=18.626, mem=71M507
24.48/20.97 decisions=361321, wrong=178296, backtracks=132906, failedAssignments=98991, nogoods=1793, foundSolutions=25, bestBound=38
24.48/20.97
25.18/21.67 num=321, depth=6..24, filters=13093439, revisions=(18368126,useless=8164139), ccks=23461701, wck=19.332, mem=71M507
25.18/21.67 decisions=375154, wrong=185206, backtracks=138006, failedAssignments=102675, nogoods=1800, foundSolutions=25, bestBound=38
25.18/21.67
25.98/22.46 num=322, depth=6..28, filters=13652572, revisions=(19120257,useless=8474975), ccks=24364118, wck=20.119, mem=71M507
25.98/22.46 decisions=390604, wrong=192925, backtracks=143846, failedAssignments=106727, nogoods=1809, foundSolutions=25, bestBound=38
25.98/22.46
26.78/23.26 num=323, depth=7..31, filters=14230592, revisions=(19910196,useless=8809288), ccks=25294980, wck=20.916, mem=71M507
26.78/23.26 decisions=407452, wrong=201343, backtracks=150089, failedAssignments=111184, nogoods=1818, foundSolutions=25, bestBound=38
26.78/23.26
27.69/24.18 num=324, depth=2..30, filters=14819829, revisions=(21179402,useless=9546054), ccks=26523338, wck=21.838, mem=71M507
27.69/24.18 decisions=428846, wrong=212031, backtracks=158115, failedAssignments=116087, nogoods=1825, foundSolutions=25, bestBound=38
27.69/24.18
28.88/25.32 num=325, depth=5..32, filters=15594836, revisions=(22335477,useless=10075451), ccks=27896728, wck=22.979, mem=71M507
28.88/25.32 decisions=449843, wrong=222525, backtracks=166777, failedAssignments=121481, nogoods=1836, foundSolutions=25, bestBound=38
28.88/25.32
30.08/26.59 num=326, depth=6..23, filters=16512131, revisions=(23532688,useless=10566182), ccks=29361709, wck=24.25, mem=71M507
30.08/26.59 decisions=472937, wrong=234068, backtracks=175794, failedAssignments=127414, nogoods=1849, foundSolutions=25, bestBound=38
30.08/26.59
31.48/27.91 num=327, depth=6..31, filters=17422949, revisions=(24822797,useless=11134105), ccks=30878567, wck=25.571, mem=71M507
31.48/27.91 decisions=497542, wrong=246365, backtracks=185451, failedAssignments=133940, nogoods=1859, foundSolutions=25, bestBound=38
31.48/27.91
32.78/29.28 o 34
32.78/29.28 num=328, depth=6..270, filters=18360183, revisions=(26190808,useless=11770795), ccks=32483558, wck=26.943, mem=74M150
32.78/29.28 decisions=521676, wrong=258425, backtracks=195401, failedAssignments=140092, nogoods=1870, foundSolutions=26, bestBound=34
32.78/29.28
34.38/30.88 num=329, depth=6..31, filters=19474646, revisions=(27720325,useless=12421972), ccks=34351473, wck=28.544, mem=74M150
34.38/30.88 decisions=552479, wrong=273823, backtracks=207176, failedAssignments=147989, nogoods=1877, foundSolutions=26, bestBound=34
34.38/30.88
34.38/30.89 num=330, depth=12..19, filters=19476511, revisions=(27723087,useless=12423251), ccks=34355424, wck=28.547, mem=74M150
34.38/30.89 decisions=552541, wrong=273848, backtracks=207194, failedAssignments=148000, nogoods=1879, foundSolutions=26, bestBound=34
34.38/30.89
34.38/30.89 num=331, depth=12..20, filters=19477815, revisions=(27725224,useless=12424300), ccks=34357525, wck=28.55, mem=74M150
34.38/30.89 decisions=552596, wrong=273869, backtracks=207206, failedAssignments=148012, nogoods=1881, foundSolutions=26, bestBound=34
34.38/30.89
34.38/30.89 num=332, depth=12..20, filters=19479809, revisions=(27728425,useless=12425906), ccks=34361054, wck=28.553, mem=74M150
34.38/30.89 decisions=552668, wrong=273897, backtracks=207226, failedAssignments=148025, nogoods=1885, foundSolutions=26, bestBound=34
34.38/30.89
34.49/30.90 num=333, depth=12..19, filters=19482297, revisions=(27732224,useless=12427748), ccks=34365155, wck=28.558, mem=74M150
34.49/30.90 decisions=552736, wrong=273924, backtracks=207242, failedAssignments=148039, nogoods=1889, foundSolutions=26, bestBound=34
34.49/30.90
34.49/30.90 num=334, depth=12..19, filters=19484777, revisions=(27735962,useless=12429539), ccks=34369407, wck=28.562, mem=74M150
34.49/30.90 decisions=552817, wrong=273957, backtracks=207261, failedAssignments=148055, nogoods=1894, foundSolutions=26, bestBound=34
34.49/30.90
34.49/30.91 num=335, depth=12..19, filters=19487020, revisions=(27739392,useless=12431164), ccks=34373229, wck=28.565, mem=74M150
34.49/30.91 decisions=552891, wrong=273987, backtracks=207280, failedAssignments=148072, nogoods=1897, foundSolutions=26, bestBound=34
34.49/30.91
34.49/30.91 num=336, depth=12..19, filters=19489782, revisions=(27743687,useless=12433311), ccks=34378496, wck=28.57, mem=74M150
34.49/30.91 decisions=552976, wrong=274023, backtracks=207303, failedAssignments=148091, nogoods=1901, foundSolutions=26, bestBound=34
34.49/30.91
34.49/30.92 num=337, depth=12..20, filters=19492394, revisions=(27748056,useless=12435605), ccks=34383054, wck=28.574, mem=74M150
34.49/30.92 decisions=553059, wrong=274058, backtracks=207329, failedAssignments=148112, nogoods=1904, foundSolutions=26, bestBound=34
34.49/30.92
34.49/30.92 num=338, depth=11..19, filters=19494069, revisions=(27751355,useless=12437585), ccks=34386490, wck=28.577, mem=74M150
34.49/30.92 decisions=553151, wrong=274097, backtracks=207359, failedAssignments=148135, nogoods=1909, foundSolutions=26, bestBound=34
34.49/30.92
34.49/30.93 num=339, depth=11..19, filters=19498384, revisions=(27757883,useless=12440687), ccks=34394240, wck=28.584, mem=74M150
34.49/30.93 decisions=553262, wrong=274146, backtracks=207389, failedAssignments=148160, nogoods=1913, foundSolutions=26, bestBound=34
34.49/30.93
34.49/30.93 num=340, depth=13..19, filters=19502330, revisions=(27764005,useless=12443641), ccks=34401104, wck=28.591, mem=74M150
34.49/30.93 decisions=553378, wrong=274197, backtracks=207425, failedAssignments=148188, nogoods=1916, foundSolutions=26, bestBound=34
34.49/30.93
34.49/30.94 num=341, depth=12..20, filters=19507850, revisions=(27771597,useless=12446960), ccks=34409938, wck=28.6, mem=74M150
34.49/30.94 decisions=553524, wrong=274263, backtracks=207470, failedAssignments=148219, nogoods=1920, foundSolutions=26, bestBound=34
34.49/30.94
34.49/30.95 num=342, depth=12..20, filters=19512333, revisions=(27778616,useless=12450300), ccks=34417538, wck=28.607, mem=74M150
34.49/30.95 decisions=553675, wrong=274331, backtracks=207519, failedAssignments=148253, nogoods=1927, foundSolutions=26, bestBound=34
34.49/30.95
34.49/30.96 num=343, depth=11..20, filters=19518076, revisions=(27786309,useless=12453590), ccks=34426364, wck=28.616, mem=74M150
34.49/30.96 decisions=553835, wrong=274403, backtracks=207569, failedAssignments=148290, nogoods=1932, foundSolutions=26, bestBound=34
34.49/30.96
34.49/30.97 num=344, depth=11..20, filters=19524342, revisions=(27794777,useless=12457252), ccks=34435835, wck=28.625, mem=74M150
34.49/30.97 decisions=554013, wrong=274486, backtracks=207623, failedAssignments=148331, nogoods=1935, foundSolutions=26, bestBound=34
34.49/30.97
34.49/30.98 num=345, depth=11..20, filters=19531148, revisions=(27804833,useless=12461848), ccks=34447247, wck=28.635, mem=74M150
34.49/30.98 decisions=554202, wrong=274574, backtracks=207683, failedAssignments=148376, nogoods=1939, foundSolutions=26, bestBound=34
34.49/30.98
34.49/30.99 num=346, depth=11..20, filters=19537103, revisions=(27813785,useless=12466039), ccks=34457950, wck=28.644, mem=74M150
34.49/30.99 decisions=554405, wrong=274670, backtracks=207749, failedAssignments=148426, nogoods=1943, foundSolutions=26, bestBound=34
34.49/30.99
34.49/31.00 num=347, depth=10..19, filters=19545444, revisions=(27825888,useless=12471636), ccks=34472254, wck=28.657, mem=74M150
34.49/31.00 decisions=554623, wrong=274772, backtracks=207818, failedAssignments=148481, nogoods=1945, foundSolutions=26, bestBound=34
34.49/31.00
34.49/31.00 num=348, depth=9..19, filters=19548468, revisions=(27831619,useless=12474975), ccks=34478995, wck=28.663, mem=74M150
34.49/31.00 decisions=554838, wrong=274874, backtracks=207890, failedAssignments=148542, nogoods=1950, foundSolutions=26, bestBound=34
34.49/31.00
34.60/31.02 num=349, depth=11..20, filters=19557618, revisions=(27846618,useless=12482526), ccks=34496016, wck=28.679, mem=74M150
34.60/31.02 decisions=555123, wrong=275011, backtracks=207994, failedAssignments=148609, nogoods=1961, foundSolutions=26, bestBound=34
34.60/31.02
34.60/31.04 num=350, depth=10..19, filters=19567919, revisions=(27861473,useless=12489312), ccks=34513315, wck=28.694, mem=74M150
34.60/31.04 decisions=555405, wrong=275146, backtracks=208082, failedAssignments=148683, nogoods=1963, foundSolutions=26, bestBound=34
34.60/31.04
34.60/31.05 num=351, depth=11..20, filters=19577786, revisions=(27875455,useless=12495522), ccks=34530262, wck=28.709, mem=74M150
34.60/31.05 decisions=555726, wrong=275301, backtracks=208187, failedAssignments=148764, nogoods=1968, foundSolutions=26, bestBound=34
34.60/31.05
34.60/31.08 num=352, depth=10..21, filters=19596368, revisions=(27918181,useless=12521037), ccks=34570878, wck=28.74, mem=74M150
34.60/31.08 decisions=556199, wrong=275532, backtracks=208390, failedAssignments=148853, nogoods=1972, foundSolutions=26, bestBound=34
34.60/31.08
34.60/31.10 num=353, depth=12..20, filters=19609482, revisions=(27937860,useless=12530127), ccks=34593549, wck=28.76, mem=74M150
34.60/31.10 decisions=556608, wrong=275730, backtracks=208532, failedAssignments=148951, nogoods=1979, foundSolutions=26, bestBound=34
34.60/31.10
34.70/31.12 num=354, depth=10..21, filters=19622444, revisions=(27959935,useless=12541400), ccks=34619227, wck=28.782, mem=74M150
34.70/31.12 decisions=557026, wrong=275933, backtracks=208684, failedAssignments=149059, nogoods=1982, foundSolutions=26, bestBound=34
34.70/31.12
34.70/31.15 num=355, depth=11..32, filters=19637703, revisions=(27984455,useless=12553366), ccks=34646897, wck=28.805, mem=74M150
34.70/31.15 decisions=557529, wrong=276175, backtracks=208849, failedAssignments=149178, nogoods=1989, foundSolutions=26, bestBound=34
34.70/31.15
34.70/31.17 num=356, depth=10..22, filters=19655756, revisions=(28011489,useless=12565974), ccks=34678995, wck=28.833, mem=74M150
34.70/31.17 decisions=558051, wrong=276429, backtracks=209019, failedAssignments=149309, nogoods=1993, foundSolutions=26, bestBound=34
34.70/31.17
34.79/31.20 num=357, depth=11..28, filters=19674964, revisions=(28043999,useless=12582448), ccks=34715881, wck=28.862, mem=74M150
34.79/31.20 decisions=558614, wrong=276703, backtracks=209197, failedAssignments=149453, nogoods=2001, foundSolutions=26, bestBound=34
34.79/31.20
34.79/31.24 num=358, depth=11..20, filters=19697486, revisions=(28077006,useless=12597789), ccks=34756259, wck=28.897, mem=74M150
34.79/31.24 decisions=559269, wrong=277025, backtracks=209431, failedAssignments=149611, nogoods=2006, foundSolutions=26, bestBound=34
34.79/31.24
34.79/31.28 num=359, depth=11..32, filters=19721649, revisions=(28117855,useless=12618236), ccks=34802668, wck=28.934, mem=74M150
34.79/31.28 decisions=559988, wrong=277377, backtracks=209675, failedAssignments=149785, nogoods=2012, foundSolutions=26, bestBound=34
34.79/31.28
34.89/31.31 num=360, depth=11..30, filters=19743497, revisions=(28158605,useless=12639923), ccks=34849306, wck=28.968, mem=74M150
34.89/31.31 decisions=560781, wrong=277766, backtracks=209944, failedAssignments=149976, nogoods=2017, foundSolutions=26, bestBound=34
34.89/31.31
34.89/31.35 num=361, depth=10..23, filters=19771377, revisions=(28198714,useless=12657399), ccks=34896978, wck=29.01, mem=74M150
34.89/31.35 decisions=561628, wrong=278183, backtracks=210241, failedAssignments=150187, nogoods=2020, foundSolutions=26, bestBound=34
34.89/31.35
34.99/31.40 num=362, depth=10..25, filters=19805731, revisions=(28250168,useless=12681448), ccks=34956574, wck=29.063, mem=74M150
34.99/31.40 decisions=562546, wrong=278636, backtracks=210562, failedAssignments=150419, nogoods=2027, foundSolutions=26, bestBound=34
34.99/31.40
34.99/31.46 num=363, depth=10..21, filters=19840063, revisions=(28303256,useless=12706598), ccks=35021290, wck=29.117, mem=74M150
34.99/31.46 decisions=563542, wrong=279128, backtracks=210909, failedAssignments=150674, nogoods=2035, foundSolutions=26, bestBound=34
34.99/31.46
35.09/31.51 num=364, depth=9..30, filters=19870986, revisions=(28371122,useless=12747589), ccks=35095504, wck=29.17, mem=74M150
35.09/31.51 decisions=564770, wrong=279736, backtracks=211308, failedAssignments=150955, nogoods=2038, foundSolutions=26, bestBound=34
35.09/31.51
35.09/31.57 num=365, depth=8..29, filters=19905014, revisions=(28422749,useless=12770673), ccks=35158213, wck=29.224, mem=74M150
35.09/31.57 decisions=565918, wrong=280305, backtracks=211700, failedAssignments=151264, nogoods=2045, foundSolutions=26, bestBound=34
35.09/31.57
35.19/31.64 num=366, depth=8..28, filters=19946034, revisions=(28535228,useless=12845495), ccks=35269043, wck=29.302, mem=74M150
35.19/31.64 decisions=567357, wrong=281020, backtracks=212279, failedAssignments=151604, nogoods=2052, foundSolutions=26, bestBound=34
35.19/31.64
35.29/31.72 num=367, depth=8..29, filters=19991442, revisions=(28608050,useless=12880062), ccks=35354914, wck=29.377, mem=74M150
35.29/31.72 decisions=568840, wrong=281756, backtracks=212810, failedAssignments=151978, nogoods=2062, foundSolutions=26, bestBound=34
35.29/31.72
35.39/31.81 num=368, depth=9..29, filters=20049343, revisions=(28699646,useless=12925267), ccks=35461612, wck=29.466, mem=74M150
35.39/31.81 decisions=570421, wrong=282540, backtracks=213350, failedAssignments=152389, nogoods=2071, foundSolutions=26, bestBound=34
35.39/31.81
35.49/31.91 num=369, depth=9..28, filters=20115310, revisions=(28796587,useless=12968270), ccks=35572970, wck=29.568, mem=74M150
35.49/31.91 decisions=572157, wrong=283402, backtracks=213975, failedAssignments=152841, nogoods=2081, foundSolutions=26, bestBound=34
35.49/31.91
35.60/32.01 num=370, depth=9..30, filters=20179145, revisions=(28893407,useless=13014030), ccks=35687885, wck=29.67, mem=74M150
35.60/32.01 decisions=573993, wrong=284313, backtracks=214620, failedAssignments=153338, nogoods=2087, foundSolutions=26, bestBound=34
35.60/32.01
35.70/32.12 num=371, depth=0..23, filters=20241281, revisions=(29002033,useless=13073437), ccks=35813039, wck=29.775, mem=74M150
35.70/32.12 decisions=576246, wrong=285434, backtracks=215539, failedAssignments=153885, nogoods=2091, foundSolutions=26, bestBound=34
35.70/32.12
35.79/32.22 num=372, depth=9..30, filters=20296080, revisions=(29149913,useless=13171649), ccks=35971207, wck=29.874, mem=74M150
35.79/32.22 decisions=579108, wrong=286854, backtracks=216598, failedAssignments=154487, nogoods=2096, foundSolutions=26, bestBound=34
35.79/32.22
35.90/32.35 num=373, depth=7..30, filters=20371242, revisions=(29329451,useless=13284776), ccks=36165492, wck=30.009, mem=74M150
35.90/32.35 decisions=582839, wrong=288711, backtracks=218227, failedAssignments=155149, nogoods=2101, foundSolutions=26, bestBound=34
35.90/32.35
36.10/32.51 num=374, depth=7..25, filters=20471758, revisions=(29488047,useless=13358851), ccks=36352471, wck=30.17, mem=76M792
36.10/32.51 decisions=585659, wrong=290116, backtracks=219320, failedAssignments=155877, nogoods=2112, foundSolutions=26, bestBound=34
36.10/32.51
36.30/32.71 num=375, depth=8..32, filters=20595451, revisions=(29696867,useless=13466524), ccks=36595530, wck=30.367, mem=76M792
36.30/32.71 decisions=588907, wrong=291734, backtracks=220543, failedAssignments=156678, nogoods=2124, foundSolutions=26, bestBound=34
36.30/32.71
36.50/32.90 num=376, depth=8..21, filters=20727302, revisions=(29890374,useless=13555254), ccks=36827740, wck=30.563, mem=76M792
36.50/32.90 decisions=592315, wrong=293431, backtracks=221826, failedAssignments=157559, nogoods=2131, foundSolutions=26, bestBound=34
36.50/32.90
36.71/33.14 num=377, depth=7..19, filters=20879739, revisions=(30109829,useless=13655285), ccks=37091253, wck=30.801, mem=76M792
36.71/33.14 decisions=595972, wrong=295254, backtracks=223255, failedAssignments=158529, nogoods=2140, foundSolutions=26, bestBound=34
36.71/33.14
36.90/33.36 num=378, depth=7..30, filters=21022823, revisions=(30324606,useless=13753504), ccks=37333248, wck=31.021, mem=76M792
36.90/33.36 decisions=600260, wrong=297393, backtracks=224936, failedAssignments=159596, nogoods=2145, foundSolutions=26, bestBound=34
36.90/33.36
37.20/33.63 num=379, depth=7..30, filters=21203465, revisions=(30574655,useless=13864580), ccks=37628798, wck=31.29, mem=76M792
37.20/33.63 decisions=604595, wrong=299555, backtracks=226704, failedAssignments=160769, nogoods=2153, foundSolutions=26, bestBound=34
37.20/33.63
37.50/33.92 num=380, depth=7..25, filters=21391229, revisions=(30848626,useless=13988197), ccks=37950030, wck=31.575, mem=76M792
37.50/33.92 decisions=609368, wrong=301937, backtracks=228610, failedAssignments=162060, nogoods=2162, foundSolutions=26, bestBound=34
37.50/33.92
37.80/34.23 num=381, depth=6..19, filters=21603448, revisions=(31134957,useless=14109802), ccks=38295262, wck=31.885, mem=76M792
37.80/34.23 decisions=614686, wrong=304590, backtracks=230727, failedAssignments=163480, nogoods=2171, foundSolutions=26, bestBound=34
37.80/34.23
38.10/34.57 num=382, depth=7..26, filters=21835946, revisions=(31461325,useless=14252530), ccks=38676633, wck=32.231, mem=76M792
38.10/34.57 decisions=620706, wrong=307596, backtracks=233078, failedAssignments=165042, nogoods=2175, foundSolutions=26, bestBound=34
38.10/34.57
38.50/34.92 num=383, depth=7..27, filters=22072869, revisions=(31789481,useless=14392091), ccks=39070856, wck=32.582, mem=76M792
38.50/34.92 decisions=627321, wrong=310900, backtracks=235587, failedAssignments=166760, nogoods=2181, foundSolutions=26, bestBound=34
38.50/34.92
38.90/35.33 num=384, depth=7..26, filters=22349866, revisions=(32180013,useless=14563672), ccks=39530864, wck=32.993, mem=76M792
38.90/35.33 decisions=634723, wrong=314596, backtracks=238408, failedAssignments=168650, nogoods=2194, foundSolutions=26, bestBound=34
38.90/35.33
39.30/35.77 num=385, depth=6..22, filters=22643478, revisions=(32585550,useless=14736631), ccks=40018263, wck=33.429, mem=76M792
39.30/35.77 decisions=642568, wrong=318513, backtracks=241396, failedAssignments=170729, nogoods=2203, foundSolutions=26, bestBound=34
39.30/35.77
39.81/36.25 num=386, depth=6..30, filters=22971991, revisions=(33035790,useless=14928335), ccks=40552020, wck=33.909, mem=76M792
39.81/36.25 decisions=651570, wrong=323009, backtracks=244782, failedAssignments=173016, nogoods=2211, foundSolutions=26, bestBound=34
39.81/36.25
40.21/36.66 o 26
40.21/36.66 num=387, depth=6..270, filters=23250739, revisions=(33423151,useless=15092097), ccks=41004606, wck=34.319, mem=76M792
40.21/36.66 decisions=659088, wrong=326761, backtracks=247613, failedAssignments=174998, nogoods=2217, foundSolutions=27, bestBound=26
40.21/36.66
40.81/37.22 num=388, depth=6..31, filters=23612026, revisions=(33994203,useless=15359813), ccks=41630809, wck=34.876, mem=76M792
40.81/37.22 decisions=670196, wrong=332310, backtracks=251776, failedAssignments=177766, nogoods=2227, foundSolutions=27, bestBound=26
40.81/37.22
40.81/37.22 num=389, depth=16..22, filters=23613495, revisions=(33996964,useless=15361214), ccks=41633594, wck=34.879, mem=76M792
40.81/37.22 decisions=670252, wrong=332330, backtracks=251789, failedAssignments=177777, nogoods=2231, foundSolutions=27, bestBound=26
40.81/37.22
40.81/37.22 num=390, depth=11..18, filters=23616076, revisions=(34000788,useless=15362984), ccks=41637279, wck=34.884, mem=76M792
40.81/37.22 decisions=670316, wrong=332356, backtracks=251811, failedAssignments=177789, nogoods=2235, foundSolutions=27, bestBound=26
40.81/37.22
40.81/37.23 num=391, depth=11..19, filters=23617413, revisions=(34003058,useless=15364106), ccks=41639412, wck=34.886, mem=76M792
40.81/37.23 decisions=670372, wrong=332378, backtracks=251826, failedAssignments=177802, nogoods=2237, foundSolutions=27, bestBound=26
40.81/37.23
40.81/37.23 num=392, depth=11..18, filters=23619614, revisions=(34006320,useless=15365630), ccks=41642777, wck=34.889, mem=76M792
40.81/37.23 decisions=670435, wrong=332404, backtracks=251845, failedAssignments=177816, nogoods=2239, foundSolutions=27, bestBound=26
40.81/37.23
40.81/37.23 num=393, depth=10..18, filters=23621588, revisions=(34009571,useless=15367239), ccks=41645859, wck=34.893, mem=76M792
40.81/37.23 decisions=670501, wrong=332429, backtracks=251862, failedAssignments=177832, nogoods=2244, foundSolutions=27, bestBound=26
40.81/37.23
40.81/37.24 num=394, depth=11..20, filters=23623499, revisions=(34012709,useless=15368761), ccks=41648801, wck=34.896, mem=76M792
40.81/37.24 decisions=670567, wrong=332456, backtracks=251878, failedAssignments=177849, nogoods=2249, foundSolutions=27, bestBound=26
40.81/37.24
40.81/37.24 num=395, depth=10..18, filters=23626806, revisions=(34017574,useless=15370914), ccks=41653780, wck=34.901, mem=76M792
40.81/37.24 decisions=670665, wrong=332499, backtracks=251908, failedAssignments=177868, nogoods=2252, foundSolutions=27, bestBound=26
40.81/37.24
40.81/37.25 num=396, depth=10..20, filters=23629382, revisions=(34021358,useless=15372678), ccks=41657658, wck=34.906, mem=76M792
40.81/37.25 decisions=670750, wrong=332535, backtracks=251934, failedAssignments=177889, nogoods=2258, foundSolutions=27, bestBound=26
40.81/37.25
40.81/37.25 num=397, depth=10..18, filters=23633059, revisions=(34026757,useless=15375070), ccks=41663023, wck=34.912, mem=76M792
40.81/37.25 decisions=670846, wrong=332578, backtracks=251967, failedAssignments=177912, nogoods=2261, foundSolutions=27, bestBound=26
40.81/37.25
40.81/37.26 num=398, depth=10..19, filters=23635861, revisions=(34030949,useless=15376942), ccks=41667453, wck=34.916, mem=76M792
40.81/37.26 decisions=670946, wrong=332620, backtracks=251989, failedAssignments=177937, nogoods=2268, foundSolutions=27, bestBound=26
40.81/37.26
40.81/37.27 num=399, depth=9..18, filters=23641148, revisions=(34038496,useless=15380227), ccks=41675354, wck=34.924, mem=76M792
40.81/37.27 decisions=671097, wrong=332690, backtracks=252048, failedAssignments=177965, nogoods=2270, foundSolutions=27, bestBound=26
40.81/37.27
40.81/37.27 num=400, depth=10..21, filters=23644332, revisions=(34043549,useless=15382544), ccks=41680710, wck=34.93, mem=76M792
40.81/37.27 decisions=671219, wrong=332746, backtracks=252088, failedAssignments=177996, nogoods=2272, foundSolutions=27, bestBound=26
40.81/37.27
40.81/37.28 num=401, depth=10..20, filters=23648950, revisions=(34050089,useless=15385356), ccks=41687607, wck=34.937, mem=76M792
40.81/37.28 decisions=671365, wrong=332812, backtracks=252137, failedAssignments=178030, nogoods=2275, foundSolutions=27, bestBound=26
40.81/37.28
40.81/37.29 num=402, depth=9..19, filters=23654580, revisions=(34058619,useless=15389137), ccks=41696655, wck=34.946, mem=76M792
40.81/37.29 decisions=671530, wrong=332888, backtracks=252198, failedAssignments=178067, nogoods=2280, foundSolutions=27, bestBound=26
40.81/37.29
40.91/37.30 num=403, depth=10..21, filters=23660490, revisions=(34067350,useless=15392924), ccks=41705898, wck=34.955, mem=76M792
40.91/37.30 decisions=671713, wrong=332973, backtracks=252260, failedAssignments=178108, nogoods=2285, foundSolutions=27, bestBound=26
40.91/37.30
40.91/37.31 num=404, depth=9..17, filters=23666717, revisions=(34076422,useless=15396902), ccks=41715499, wck=34.966, mem=76M792
40.91/37.31 decisions=671879, wrong=333050, backtracks=252314, failedAssignments=178153, nogoods=2287, foundSolutions=27, bestBound=26
40.91/37.31
40.91/37.32 num=405, depth=9..21, filters=23673786, revisions=(34086735,useless=15401393), ccks=41726564, wck=34.977, mem=76M792
40.91/37.32 decisions=672077, wrong=333143, backtracks=252384, failedAssignments=178203, nogoods=2290, foundSolutions=27, bestBound=26
40.91/37.32
40.91/37.33 num=406, depth=10..21, filters=23680631, revisions=(34097196,useless=15406048), ccks=41736964, wck=34.988, mem=76M792
40.91/37.33 decisions=672303, wrong=333250, backtracks=252466, failedAssignments=178258, nogoods=2293, foundSolutions=27, bestBound=26
40.91/37.33
40.91/37.34 num=407, depth=10..21, filters=23689980, revisions=(34109894,useless=15411230), ccks=41750830, wck=35.002, mem=76M792
40.91/37.34 decisions=672565, wrong=333374, backtracks=252557, failedAssignments=178319, nogoods=2299, foundSolutions=27, bestBound=26
40.91/37.34
40.91/37.36 num=408, depth=10..21, filters=23699869, revisions=(34124951,useless=15418104), ccks=41766375, wck=35.017, mem=76M792
40.91/37.36 decisions=672841, wrong=333506, backtracks=252661, failedAssignments=178386, nogoods=2304, foundSolutions=27, bestBound=26
40.91/37.36
40.91/37.38 num=409, depth=9..19, filters=23711257, revisions=(34141761,useless=15425582), ccks=41784442, wck=35.035, mem=76M792
40.91/37.38 decisions=673156, wrong=333657, backtracks=252783, failedAssignments=178460, nogoods=2308, foundSolutions=27, bestBound=26
40.91/37.38
41.01/37.40 num=410, depth=9..19, filters=23723184, revisions=(34159018,useless=15433082), ccks=41802841, wck=35.055, mem=76M792
41.01/37.40 decisions=673466, wrong=333806, backtracks=252896, failedAssignments=178541, nogoods=2312, foundSolutions=27, bestBound=26
41.01/37.40
41.01/37.42 num=411, depth=9..28, filters=23733979, revisions=(34175542,useless=15440509), ccks=41820999, wck=35.074, mem=76M792
41.01/37.42 decisions=673801, wrong=333968, backtracks=253012, failedAssignments=178630, nogoods=2316, foundSolutions=27, bestBound=26
41.01/37.42
41.01/37.43 num=412, depth=10..30, filters=23743427, revisions=(34190375,useless=15446940), ccks=41836286, wck=35.089, mem=79M434
41.01/37.43 decisions=674154, wrong=334138, backtracks=253125, failedAssignments=178728, nogoods=2323, foundSolutions=27, bestBound=26
41.01/37.43
41.01/37.45 num=413, depth=9..22, filters=23757573, revisions=(34213323,useless=15457738), ccks=41861670, wck=35.113, mem=79M434
41.01/37.45 decisions=674582, wrong=334346, backtracks=253280, failedAssignments=178836, nogoods=2327, foundSolutions=27, bestBound=26
41.01/37.45
41.01/37.48 num=414, depth=9..29, filters=23772948, revisions=(34235884,useless=15467503), ccks=41886195, wck=35.137, mem=79M434
41.01/37.48 decisions=675078, wrong=334588, backtracks=253449, failedAssignments=178955, nogoods=2331, foundSolutions=27, bestBound=26
41.01/37.48
41.11/37.50 num=415, depth=9..21, filters=23788403, revisions=(34259612,useless=15478258), ccks=41912404, wck=35.163, mem=79M434
41.11/37.50 decisions=675592, wrong=334836, backtracks=253627, failedAssignments=179086, nogoods=2339, foundSolutions=27, bestBound=26
41.11/37.50
41.11/37.53 num=416, depth=9..28, filters=23804918, revisions=(34284638,useless=15489095), ccks=41939626, wck=35.189, mem=79M434
41.11/37.53 decisions=676114, wrong=335091, backtracks=253800, failedAssignments=179230, nogoods=2347, foundSolutions=27, bestBound=26
41.11/37.53
41.11/37.56 num=417, depth=10..30, filters=23825781, revisions=(34316107,useless=15503241), ccks=41972482, wck=35.221, mem=79M434
41.11/37.56 decisions=676718, wrong=335387, backtracks=254023, failedAssignments=179388, nogoods=2353, foundSolutions=27, bestBound=26
41.11/37.56
41.21/37.60 num=418, depth=8..27, filters=23849375, revisions=(34355399,useless=15522180), ccks=42015959, wck=35.26, mem=79M434
41.21/37.60 decisions=677444, wrong=335744, backtracks=254276, failedAssignments=179562, nogoods=2356, foundSolutions=27, bestBound=26
41.21/37.60
41.21/37.64 num=419, depth=8..20, filters=23874647, revisions=(34390484,useless=15537053), ccks=42054894, wck=35.298, mem=79M434
41.21/37.64 decisions=678168, wrong=336101, backtracks=254539, failedAssignments=179753, nogoods=2361, foundSolutions=27, bestBound=26
41.21/37.64
41.21/37.68 num=420, depth=9..31, filters=23899832, revisions=(34428896,useless=15554372), ccks=42095589, wck=35.338, mem=79M434
41.21/37.68 decisions=678926, wrong=336474, backtracks=254802, failedAssignments=179964, nogoods=2367, foundSolutions=27, bestBound=26
41.21/37.68
41.31/37.73 num=421, depth=8..21, filters=23930916, revisions=(34472895,useless=15573908), ccks=42142794, wck=35.384, mem=79M434
41.31/37.73 decisions=679809, wrong=336910, backtracks=255119, failedAssignments=180196, nogoods=2374, foundSolutions=27, bestBound=26
41.31/37.73
41.31/37.78 num=422, depth=8..18, filters=23964396, revisions=(34524347,useless=15597481), ccks=42198760, wck=35.435, mem=79M434
41.31/37.78 decisions=680779, wrong=337390, backtracks=255477, failedAssignments=180451, nogoods=2381, foundSolutions=27, bestBound=26
41.31/37.78
41.41/37.83 num=423, depth=8..25, filters=23999553, revisions=(34581728,useless=15625662), ccks=42261533, wck=35.491, mem=79M434
41.41/37.83 decisions=681852, wrong=337921, backtracks=255851, failedAssignments=180732, nogoods=2385, foundSolutions=27, bestBound=26
41.41/37.83
41.41/37.89 num=424, depth=7..28, filters=24038106, revisions=(34642031,useless=15653439), ccks=42327752, wck=35.553, mem=79M434
41.41/37.89 decisions=683042, wrong=338510, backtracks=256277, failedAssignments=181041, nogoods=2393, foundSolutions=27, bestBound=26
41.41/37.89
41.51/37.94 num=425, depth=5..28, filters=24064261, revisions=(34711732,useless=15699922), ccks=42397962, wck=35.603, mem=79M434
41.51/37.94 decisions=684341, wrong=339155, backtracks=256786, failedAssignments=181381, nogoods=2397, foundSolutions=27, bestBound=26
41.51/37.94
41.62/38.02 num=426, depth=6..29, filters=24109660, revisions=(34794945,useless=15742565), ccks=42483717, wck=35.677, mem=79M434
41.62/38.02 decisions=685862, wrong=339908, backtracks=257330, failedAssignments=181755, nogoods=2405, foundSolutions=27, bestBound=26
41.62/38.02
41.72/38.11 num=427, depth=7..28, filters=24164578, revisions=(34882920,useless=15785470), ccks=42582123, wck=35.77, mem=79M434
41.72/38.11 decisions=687610, wrong=340777, backtracks=257997, failedAssignments=182166, nogoods=2408, foundSolutions=27, bestBound=26
41.72/38.11
41.81/38.20 num=428, depth=6..25, filters=24220729, revisions=(34975502,useless=15829468), ccks=42679001, wck=35.861, mem=79M434
41.81/38.20 decisions=689313, wrong=341624, backtracks=258629, failedAssignments=182618, nogoods=2416, foundSolutions=27, bestBound=26
41.81/38.20
41.91/38.30 num=429, depth=8..27, filters=24286131, revisions=(35072450,useless=15873452), ccks=42783720, wck=35.964, mem=79M434
41.91/38.30 decisions=691177, wrong=342551, backtracks=259358, failedAssignments=183115, nogoods=2425, foundSolutions=27, bestBound=26
41.91/38.30
42.01/38.41 num=430, depth=7..30, filters=24350628, revisions=(35178452,useless=15924292), ccks=42900555, wck=36.065, mem=79M434
42.01/38.41 decisions=693339, wrong=343626, backtracks=260111, failedAssignments=183662, nogoods=2435, foundSolutions=27, bestBound=26
42.01/38.41
42.11/38.53 num=431, depth=6..29, filters=24423170, revisions=(35295759,useless=15981050), ccks=43032407, wck=36.186, mem=79M434
42.11/38.53 decisions=695712, wrong=344807, backtracks=260968, failedAssignments=184264, nogoods=2439, foundSolutions=27, bestBound=26
42.11/38.53
42.21/38.67 num=432, depth=8..28, filters=24517767, revisions=(35443953,useless=16051070), ccks=43187245, wck=36.332, mem=79M434
42.21/38.67 decisions=698267, wrong=346079, backtracks=262003, failedAssignments=184926, nogoods=2447, foundSolutions=27, bestBound=26
42.21/38.67
42.41/38.83 num=433, depth=7..30, filters=24614783, revisions=(35597761,useless=16122978), ccks=43353794, wck=36.491, mem=79M434
42.41/38.83 decisions=701161, wrong=347521, backtracks=263068, failedAssignments=185654, nogoods=2455, foundSolutions=27, bestBound=26
42.41/38.83
42.51/38.99 num=434, depth=7..29, filters=24712909, revisions=(35748222,useless=16192092), ccks=43513505, wck=36.645, mem=79M434
42.51/38.99 decisions=704307, wrong=349089, backtracks=264268, failedAssignments=186455, nogoods=2459, foundSolutions=27, bestBound=26
42.51/38.99
42.72/39.16 num=435, depth=6..28, filters=24820114, revisions=(35924109,useless=16277343), ccks=43708019, wck=36.823, mem=79M434
42.72/39.16 decisions=707785, wrong=350824, backtracks=265568, failedAssignments=187336, nogoods=2464, foundSolutions=27, bestBound=26
42.72/39.16
42.91/39.30 num=436, depth=3..33, filters=24890429, revisions=(36116209,useless=16406612), ccks=43910303, wck=36.959, mem=79M434
42.91/39.30 decisions=712467, wrong=353155, backtracks=267479, failedAssignments=188306, nogoods=2468, foundSolutions=27, bestBound=26
42.91/39.30
43.11/39.51 num=437, depth=5..29, filters=25022139, revisions=(36344176,useless=16519089), ccks=44156477, wck=37.173, mem=79M434
43.11/39.51 decisions=716701, wrong=355268, backtracks=269045, failedAssignments=189373, nogoods=2476, foundSolutions=27, bestBound=26
43.11/39.51
43.41/39.80 num=438, depth=6..23, filters=25211068, revisions=(36614298,useless=16641402), ccks=44448693, wck=37.456, mem=79M434
43.41/39.80 decisions=721222, wrong=357523, backtracks=270954, failedAssignments=190546, nogoods=2482, foundSolutions=27, bestBound=26
43.41/39.80
43.62/40.08 num=439, depth=5..28, filters=25380130, revisions=(36900061,useless=16781917), ccks=44767446, wck=37.736, mem=79M434
43.62/40.08 decisions=726695, wrong=360256, backtracks=273118, failedAssignments=191837, nogoods=2491, foundSolutions=27, bestBound=26
43.62/40.08
43.91/40.36 num=440, depth=6..30, filters=25552299, revisions=(37177453,useless=16914551), ccks=45070366, wck=38.014, mem=79M434
43.91/40.36 decisions=732208, wrong=363008, backtracks=275088, failedAssignments=193257, nogoods=2496, foundSolutions=27, bestBound=26
43.91/40.36
44.21/40.67 num=441, depth=5..30, filters=25746102, revisions=(37501478,useless=17074491), ccks=45432149, wck=38.327, mem=79M434
44.21/40.67 decisions=738436, wrong=366118, backtracks=277406, failedAssignments=194819, nogoods=2502, foundSolutions=27, bestBound=26
44.21/40.67
44.62/41.06 num=442, depth=3..32, filters=25957174, revisions=(37990876,useless=17371809), ccks=45918992, wck=38.714, mem=79M434
44.62/41.06 decisions=745893, wrong=369836, backtracks=280533, failedAssignments=196537, nogoods=2505, foundSolutions=27, bestBound=26
44.62/41.06
45.11/41.50 num=443, depth=4..19, filters=26237839, revisions=(38433032,useless=17586539), ccks=46399178, wck=39.157, mem=79M434
45.11/41.50 decisions=753160, wrong=373465, backtracks=283572, failedAssignments=198427, nogoods=2515, foundSolutions=27, bestBound=26
45.11/41.50
45.51/41.92 num=444, depth=6..30, filters=26517675, revisions=(38856109,useless=17784151), ccks=46845213, wck=39.576, mem=79M434
45.51/41.92 decisions=761234, wrong=377495, backtracks=286916, failedAssignments=200506, nogoods=2519, foundSolutions=27, bestBound=26
45.51/41.92
45.91/42.39 num=445, depth=4..27, filters=26811717, revisions=(39340816,useless=18018645), ccks=47372641, wck=40.044, mem=79M434
45.91/42.39 decisions=770192, wrong=381970, backtracks=290323, failedAssignments=202793, nogoods=2524, foundSolutions=27, bestBound=26
45.91/42.39
46.51/42.90 num=446, depth=6..31, filters=27141148, revisions=(39870010,useless=18275468), ccks=47939862, wck=40.557, mem=79M434
46.51/42.90 decisions=780051, wrong=386894, backtracks=294096, failedAssignments=205309, nogoods=2537, foundSolutions=27, bestBound=26
46.51/42.90
47.01/43.47 num=447, depth=4..29, filters=27489348, revisions=(40476027,useless=18588419), ccks=48610972, wck=41.127, mem=82M77
47.01/43.47 decisions=790980, wrong=392353, backtracks=298258, failedAssignments=208077, nogoods=2543, foundSolutions=27, bestBound=26
47.01/43.47
47.72/44.13 num=448, depth=5..31, filters=27920538, revisions=(41135664,useless=18892880), ccks=49314081, wck=41.786, mem=82M77
47.72/44.13 decisions=803209, wrong=398463, backtracks=303305, failedAssignments=211121, nogoods=2549, foundSolutions=27, bestBound=26
47.72/44.13
48.31/44.77 num=449, depth=4..29, filters=28314437, revisions=(41826435,useless=19250129), ccks=50078732, wck=42.43, mem=82M77
48.31/44.77 decisions=816717, wrong=405213, backtracks=308273, failedAssignments=214470, nogoods=2568, foundSolutions=27, bestBound=26
48.31/44.77
49.11/45.58 num=450, depth=4..31, filters=28790882, revisions=(42746834,useless=19763745), ccks=51097215, wck=43.239, mem=82M77
49.11/45.58 decisions=832021, wrong=412861, backtracks=314211, failedAssignments=218154, nogoods=2583, foundSolutions=27, bestBound=26
49.11/45.58
49.91/46.32 num=451, depth=2..30, filters=29108303, revisions=(43915909,useless=20646905), ccks=52306060, wck=43.975, mem=82M77
49.91/46.32 decisions=851525, wrong=422609, backtracks=322535, failedAssignments=222206, nogoods=2590, foundSolutions=27, bestBound=26
49.91/46.32
50.81/47.27 num=452, depth=3..29, filters=29699861, revisions=(44939573,useless=21158385), ccks=53416010, wck=44.925, mem=82M77
50.81/47.27 decisions=869558, wrong=431622, backtracks=329891, failedAssignments=226663, nogoods=2598, foundSolutions=27, bestBound=26
50.81/47.27
51.91/48.34 num=453, depth=3..30, filters=30386720, revisions=(46057726,useless=21713681), ccks=54623762, wck=45.995, mem=82M77
51.91/48.34 decisions=888906, wrong=441293, backtracks=337660, failedAssignments=231566, nogoods=2605, foundSolutions=27, bestBound=26
51.91/48.34
53.01/49.42 num=454, depth=3..29, filters=31047663, revisions=(47207001,useless=22304004), ccks=55872348, wck=47.077, mem=82M77
53.01/49.42 decisions=910751, wrong=452212, backtracks=346101, failedAssignments=236960, nogoods=2621, foundSolutions=27, bestBound=26
53.01/49.42
54.21/50.65 num=455, depth=3..31, filters=31782371, revisions=(48552925,useless=23024629), ccks=57340748, wck=48.307, mem=82M77
54.21/50.65 decisions=934543, wrong=464103, backtracks=355456, failedAssignments=242893, nogoods=2628, foundSolutions=27, bestBound=26
54.21/50.65
55.62/52.03 num=456, depth=2..29, filters=32640438, revisions=(50010535,useless=23760937), ccks=58922538, wck=49.687, mem=84M719
55.62/52.03 decisions=959640, wrong=476648, backtracks=365362, failedAssignments=249419, nogoods=2635, foundSolutions=27, bestBound=26
55.62/52.03
57.11/53.54 num=457, depth=3..30, filters=33591004, revisions=(51590384,useless=24546508), ccks=60619170, wck=51.197, mem=84M719
57.11/53.54 decisions=988534, wrong=491091, backtracks=377185, failedAssignments=256598, nogoods=2643, foundSolutions=27, bestBound=26
57.11/53.54
58.31/54.75 num=458, depth=1..30, filters=34013588, revisions=(53744154,useless=26333093), ccks=62889867, wck=52.408, mem=84M719
58.31/54.75 decisions=1025556, wrong=509598, backtracks=392066, failedAssignments=264495, nogoods=2650, foundSolutions=27, bestBound=26
58.31/54.75
60.11/56.58 num=459, depth=2..27, filters=35027479, revisions=(56037096,useless=27731188), ccks=65313486, wck=54.238, mem=84M719
60.11/56.58 decisions=1060632, wrong=527132, backtracks=406049, failedAssignments=273182, nogoods=2657, foundSolutions=27, bestBound=26
60.11/56.58
62.31/58.73 num=460, depth=2..27, filters=36228557, revisions=(58483256,useless=29136804), ccks=67947304, wck=56.385, mem=87M362
62.31/58.73 decisions=1100999, wrong=547312, backtracks=423587, failedAssignments=282737, nogoods=2668, foundSolutions=27, bestBound=26
62.31/58.73
65.21/61.68 num=461, depth=1..24, filters=37711230, revisions=(61931534,useless=31304015), ccks=71632967, wck=59.343, mem=87M362
65.21/61.68 decisions=1142672, wrong=568145, backtracks=441149, failedAssignments=293248, nogoods=2681, foundSolutions=27, bestBound=26
65.21/61.68
68.41/64.83 num=462, depth=0..25, filters=39455275, revisions=(65462464,useless=33347977), ccks=75480420, wck=62.489, mem=87M362
68.41/64.83 decisions=1188604, wrong=591107, backtracks=460694, failedAssignments=304810, nogoods=2691, foundSolutions=27, bestBound=26
68.41/64.83
71.51/67.96
71.51/67.96 New Bounds: 26..25
71.51/67.96 num=463, depth=0..22, filters=41299787, revisions=(68945739,useless=35280585), ccks=79253076, wck=65.619, mem=87M362
71.51/67.96 decisions=1237668, wrong=615640, backtracks=481533, failedAssignments=317352, foundSolutions=27, bestBound=26
71.51/67.96
71.51/67.96 Global
71.51/67.96 filters=41299787, revisions=(68945739,useless=35280585), ccks=79253076
71.51/67.96 Stop=FULL_EXPLORATION, wrong=615640, bestBound=26, bestBoundWck=34.804, bestBoundCpu=36.612, foundSolutions=27, firstSolCpu=2.324
71.51/67.96 wck=66.105, cpu=67.908, mem=87M362
71.51/67.96
71.51/67.96 v <instantiation id='sol27' type='solution' cost='26'> <list> x[] y[][] c[] s[] </list> <values> 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 * 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 * * -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 * * * 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 * * * * -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 * * * * * 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 * * * * * * -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 * * * * * * * -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 * * * * * * * * 1 -1 1 -1 1 -1 1 -1 1 -1 1 * * * * * * * * * 1 1 1 -1 1 -1 1 -1 -1 -1 * * * * * * * * * * -1 1 1 -1 1 -1 1 1 -1 * * * * * * * * * * * -1 1 1 -1 1 -1 -1 1 * * * * * * * * * * * * -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * -1 1 1 -1 -1 1 * * * * * * * * * * * * * * -1 1 1 1 -1 * * * * * * * * * * * * * * * -1 1 -1 1 * * * * * * * * * * * * * * * * -1 -1 -1 * * * * * * * * * * * * * * * * * 1 -1 * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * 0 1 0 1 0 -3 0 1 0 1 0 1 0 1 0 1 0 -3 0 1 0 1 0 1 0 9 0 1 0 1 0 1 0 1 0 1 0 9 0 1 </values> </instantiation>
71.51/67.96 s OPTIMUM FOUND
71.51/67.96
71.51/67.96 d WRONG_DECISIONS 615640
71.51/67.96 d NUMBER_SOLUTIONS 27