2.38/1.90
2.38/1.90 AbsCon 2
2.61/1.91
2.87/2.09 Instance
2.87/2.09 name=instance-4391137-1568389891, framework=COP, bounds=-infty..+infty
2.87/2.09
2.87/2.09 Loading variables...
3.18/2.15 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6907514a
3.40/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201024f2
3.40/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@635c1a6e
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c27c2b8
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd3ef48
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b0a3440
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@851efcb
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14bd432d
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf30bfe
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6282cf5b
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e15496
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d565eda
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eccb90d
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50417b87
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a23251d
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf7ef5b
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e29e1e
3.40/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418d620
3.76/2.33
3.76/2.33
3.76/2.33 Domains
3.76/2.33 nTypes=41, nValues=1132, sizes=[2#232,3#2,4#1,5#2...35#1,37#1,39#1,41#1]
3.76/2.33 Variables
3.76/2.33 count=271, degrees=[2#250,20#21]
3.76/2.33 Objectives
3.76/2.33 way=min, type=SumSimpleLE
3.76/2.33 Constraints
3.76/2.33 count=251, nSpecific=21, arities=[2#21,3#211,4#1,5#1...18#1,19#1,20#2,21#1]
3.76/2.33 distribution=[CtrIntension#230,SumSimpleLE#1,SumWeightedEQ#20]
3.76/2.33 nIntStructures=(21,shared:209), nCftStructures=(21,shared:209,unbuilt:21)
3.76/2.33 wck=0.457, cpu=2.291, mem=34M439
3.76/2.33 Solver SolverBacktrack being built...
3.76/2.33
3.76/2.35
3.76/2.35 Solver
3.76/2.35 guaranteedGAC=false
3.76/2.35 wck=0.488, cpu=2.32, mem=45M82
3.76/2.36
3.76/2.36 Preprocessing
3.76/2.36 filters=0, ccks=6398, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.76/2.36 wck=0.005, cpu=2.327, mem=45M82
3.76/2.36
3.76/2.38 o 2870
3.76/2.38 num=0, depth=272..270, filters=530, revisions=(860,useless=540), ccks=13229, wck=0.031, mem=45M82
3.76/2.38 decisions=21, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2870
3.76/2.38
3.76/2.40 o 2110
3.76/2.40 num=1, depth=0..270, filters=1046, revisions=(1749,useless=1114), ccks=15312, wck=0.044, mem=45M82
3.76/2.40 decisions=44, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=2110
3.76/2.40
4.10/2.41 o 1502
4.10/2.41 num=2, depth=20..270, filters=1602, revisions=(2729,useless=1749), ccks=17615, wck=0.055, mem=47M724
4.10/2.41 decisions=66, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=1502
4.10/2.41
4.10/2.41 num=3, depth=13..22, filters=1676, revisions=(3341,useless=2312), ccks=19096, wck=0.058, mem=47M724
4.10/2.41 decisions=122, wrong=24, backtracks=11, failedAssignments=13, nogoods=2, foundSolutions=3, bestBound=1502
4.10/2.41
4.10/2.42 num=4, depth=20..24, filters=1860, revisions=(4650,useless=3474), ccks=21426, wck=0.063, mem=47M724
4.10/2.42 decisions=184, wrong=45, backtracks=26, failedAssignments=24, nogoods=4, foundSolutions=3, bestBound=1502
4.10/2.42
4.10/2.43 num=5, depth=22..27, filters=2668, revisions=(10088,useless=8182), ccks=28848, wck=0.073, mem=47M724
4.10/2.43 decisions=254, wrong=69, backtracks=38, failedAssignments=36, nogoods=6, foundSolutions=3, bestBound=1502
4.10/2.43
4.10/2.43 num=6, depth=12..27, filters=3581, revisions=(12341,useless=9675), ccks=32545, wck=0.079, mem=47M724
4.10/2.43 decisions=319, wrong=94, backtracks=50, failedAssignments=49, nogoods=8, foundSolutions=3, bestBound=1502
4.10/2.43
4.10/2.44 o 978
4.10/2.45 num=7, depth=20..270, filters=4018, revisions=(13785,useless=10830), ccks=35634, wck=0.085, mem=47M724
4.10/2.45 decisions=345, wrong=96, backtracks=50, failedAssignments=51, nogoods=10, foundSolutions=4, bestBound=978
4.10/2.45
4.10/2.45 o 926
4.10/2.45 num=8, depth=18..270, filters=4971, revisions=(15971,useless=12360), ccks=39617, wck=0.094, mem=47M724
4.10/2.45 decisions=377, wrong=102, backtracks=55, failedAssignments=54, nogoods=11, foundSolutions=5, bestBound=926
4.10/2.45
4.10/2.46 o 322
4.10/2.46 num=9, depth=5..270, filters=5834, revisions=(19928,useless=15714), ccks=46313, wck=0.105, mem=47M724
4.10/2.46 decisions=431, wrong=119, backtracks=66, failedAssignments=63, nogoods=12, foundSolutions=6, bestBound=322
4.10/2.46
4.10/2.46 o 290
4.10/2.46 num=10, depth=272..270, filters=6284, revisions=(21350,useless=16844), ccks=49639, wck=0.111, mem=47M724
4.10/2.46 decisions=451, wrong=119, backtracks=66, failedAssignments=63, nogoods=12, foundSolutions=7, bestBound=290
4.10/2.46
4.10/2.47 o 246
4.10/2.47 num=11, depth=18..270, filters=7097, revisions=(23336,useless=18256), ccks=53829, wck=0.119, mem=47M724
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.13, mem=47M724
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.137, mem=47M724
4.10/2.49 decisions=570, wrong=150, backtracks=81, failedAssignments=82, nogoods=19, foundSolutions=10, bestBound=194
4.10/2.49
4.40/2.50 o 190
4.40/2.50 num=14, depth=272..270, filters=9374, revisions=(28822,useless=22150), ccks=65128, wck=0.144, mem=50M370
4.40/2.50 decisions=590, wrong=150, backtracks=81, failedAssignments=82, nogoods=19, foundSolutions=11, bestBound=190
4.40/2.50
4.40/2.51 o 174
4.40/2.51 num=15, depth=17..270, filters=10348, revisions=(30881,useless=23539), ccks=69149, wck=0.153, mem=50M370
4.40/2.51 decisions=626, wrong=158, backtracks=86, failedAssignments=88, nogoods=22, foundSolutions=12, bestBound=174
4.40/2.51
4.40/2.51 o 158
4.40/2.51 num=16, depth=20..270, filters=10816, revisions=(32294,useless=24629), ccks=71717, wck=0.16, mem=50M370
4.40/2.51 decisions=647, wrong=159, backtracks=86, failedAssignments=89, nogoods=23, foundSolutions=13, bestBound=158
4.40/2.51
4.40/2.52 num=17, depth=17..22, filters=11664, revisions=(33775,useless=25500), ccks=74972, wck=0.167, mem=50M370
4.40/2.52 decisions=698, wrong=175, backtracks=92, failedAssignments=100, nogoods=27, foundSolutions=13, bestBound=158
4.40/2.52
4.40/2.53 num=18, depth=16..21, filters=13012, revisions=(35951,useless=26721), ccks=79913, wck=0.176, mem=50M370
4.40/2.53 decisions=754, wrong=194, backtracks=106, failedAssignments=111, nogoods=30, foundSolutions=13, bestBound=158
4.40/2.53
4.40/2.54 o 126
4.40/2.55 num=19, depth=17..270, filters=13708, revisions=(37667,useless=27947), ccks=82499, wck=0.183, mem=50M370
4.40/2.55 decisions=788, wrong=200, backtracks=107, failedAssignments=116, nogoods=35, foundSolutions=14, bestBound=126
4.40/2.55
4.40/2.56 o 102
4.40/2.56 num=20, depth=17..270, filters=14894, revisions=(40002,useless=29418), ccks=86408, wck=0.205, mem=50M370
4.40/2.56 decisions=841, wrong=216, backtracks=113, failedAssignments=126, nogoods=41, foundSolutions=15, bestBound=102
4.40/2.56
4.40/2.57 num=21, depth=16..22, filters=16202, revisions=(42079,useless=30575), ccks=90696, wck=0.215, mem=50M370
4.40/2.57 decisions=899, wrong=236, backtracks=124, failedAssignments=137, nogoods=45, foundSolutions=15, bestBound=102
4.40/2.57
4.40/2.57 num=22, depth=18..24, filters=16984, revisions=(43451,useless=31360), ccks=93175, wck=0.22, mem=50M370
4.40/2.57 decisions=951, wrong=253, backtracks=131, failedAssignments=148, nogoods=48, foundSolutions=15, bestBound=102
4.40/2.57
4.40/2.58 num=23, depth=17..23, filters=17917, revisions=(45132,useless=32309), ccks=95542, wck=0.226, mem=50M370
4.40/2.58 decisions=1004, wrong=269, backtracks=138, failedAssignments=160, nogoods=57, foundSolutions=15, bestBound=102
4.40/2.58
4.40/2.59 num=24, depth=16..20, filters=19249, revisions=(47278,useless=33430), ccks=99005, wck=0.233, mem=50M370
4.40/2.59 decisions=1062, wrong=289, backtracks=147, failedAssignments=173, nogoods=59, foundSolutions=15, bestBound=102
4.40/2.59
4.72/2.60 num=25, depth=13..20, filters=21229, revisions=(50679,useless=35394), ccks=105765, wck=0.245, mem=50M370
4.72/2.60 decisions=1165, wrong=333, backtracks=188, failedAssignments=187, nogoods=62, foundSolutions=15, bestBound=102
4.72/2.60
4.72/2.61 num=26, depth=16..21, filters=22848, revisions=(53571,useless=36982), ccks=110710, wck=0.255, mem=50M370
4.72/2.61 decisions=1227, wrong=355, backtracks=199, failedAssignments=203, nogoods=67, foundSolutions=15, bestBound=102
4.72/2.61
4.72/2.62 num=27, depth=15..20, filters=26013, revisions=(58722,useless=39733), ccks=120424, wck=0.271, mem=50M370
4.72/2.62 decisions=1302, wrong=385, backtracks=223, failedAssignments=220, nogoods=71, foundSolutions=15, bestBound=102
4.72/2.62
4.72/2.64 num=28, depth=15..21, filters=29457, revisions=(64264,useless=42690), ccks=131410, wck=0.289, mem=53M13
4.72/2.64 decisions=1393, wrong=422, backtracks=254, failedAssignments=239, nogoods=75, foundSolutions=15, bestBound=102
4.72/2.64
4.72/2.66 num=29, depth=15..21, filters=32442, revisions=(68622,useless=44834), ccks=139651, wck=0.303, mem=53M13
4.72/2.66 decisions=1480, wrong=457, backtracks=280, failedAssignments=260, nogoods=82, foundSolutions=15, bestBound=102
4.72/2.66
4.72/2.67 o 90
4.72/2.67 num=30, depth=16..270, filters=35224, revisions=(72747,useless=47035), ccks=147011, wck=0.314, mem=53M13
4.72/2.67 decisions=1551, wrong=484, backtracks=299, failedAssignments=276, nogoods=87, foundSolutions=16, bestBound=90
4.72/2.67
4.72/2.69 o 82
4.72/2.69 num=31, depth=16..270, filters=41156, revisions=(80484,useless=50661), ccks=162413, wck=0.335, mem=53M13
4.72/2.69 decisions=1661, wrong=530, backtracks=331, failedAssignments=299, nogoods=90, foundSolutions=17, bestBound=82
4.72/2.69
4.72/2.69 num=32, depth=16..21, filters=42554, revisions=(82585,useless=51760), ccks=166688, wck=0.341, mem=53M13
4.72/2.69 decisions=1710, wrong=546, backtracks=341, failedAssignments=310, nogoods=95, foundSolutions=17, bestBound=82
4.72/2.69
5.02/2.70 num=33, depth=16..21, filters=44519, revisions=(85214,useless=53008), ccks=171231, wck=0.348, mem=53M13
5.02/2.70 decisions=1766, wrong=566, backtracks=355, failedAssignments=321, nogoods=97, foundSolutions=17, bestBound=82
5.02/2.70
5.02/2.70 num=34, depth=15..21, filters=45133, revisions=(86425,useless=53809), ccks=173706, wck=0.352, mem=53M13
5.02/2.70 decisions=1820, wrong=585, backtracks=371, failedAssignments=333, nogoods=99, foundSolutions=17, bestBound=82
5.02/2.70
5.02/2.71 num=35, depth=14..19, filters=46691, revisions=(89226,useless=55502), ccks=176688, wck=0.357, mem=53M13
5.02/2.71 decisions=1866, wrong=600, backtracks=378, failedAssignments=346, nogoods=107, foundSolutions=17, bestBound=82
5.02/2.71
5.02/2.72 num=36, depth=13..20, filters=49474, revisions=(94822,useless=59064), ccks=183346, wck=0.366, mem=53M13
5.02/2.72 decisions=1916, wrong=618, backtracks=392, failedAssignments=360, nogoods=113, foundSolutions=17, bestBound=82
5.02/2.72
5.02/2.73 num=37, depth=14..21, filters=51507, revisions=(98839,useless=61466), ccks=188525, wck=0.373, mem=53M13
5.02/2.73 decisions=1977, wrong=641, backtracks=410, failedAssignments=376, nogoods=115, foundSolutions=17, bestBound=82
5.02/2.73
5.02/2.73 num=38, depth=14..20, filters=54355, revisions=(103508,useless=64179), ccks=194093, wck=0.381, mem=53M13
5.02/2.73 decisions=2037, wrong=664, backtracks=429, failedAssignments=393, nogoods=117, foundSolutions=17, bestBound=82
5.02/2.73
5.02/2.74 num=39, depth=12..18, filters=54457, revisions=(104175,useless=64771), ccks=195184, wck=0.383, mem=53M13
5.02/2.74 decisions=2102, wrong=690, backtracks=453, failedAssignments=412, nogoods=119, foundSolutions=17, bestBound=82
5.02/2.74
5.02/2.75 num=40, depth=12..20, filters=58917, revisions=(111957,useless=69454), ccks=204754, wck=0.396, mem=53M13
5.02/2.75 decisions=2170, wrong=717, backtracks=473, failedAssignments=433, nogoods=125, foundSolutions=17, bestBound=82
5.02/2.75
5.02/2.76 num=41, depth=12..18, filters=64096, revisions=(122637,useless=76408), ccks=217274, wck=0.41, mem=55M655
5.02/2.76 decisions=2242, wrong=747, backtracks=498, failedAssignments=456, nogoods=131, foundSolutions=17, bestBound=82
5.02/2.76
5.02/2.78 num=42, depth=11..19, filters=68364, revisions=(131778,useless=82308), ccks=228850, wck=0.423, mem=55M655
5.02/2.78 decisions=2326, wrong=782, backtracks=526, failedAssignments=481, nogoods=135, foundSolutions=17, bestBound=82
5.02/2.78
5.32/2.80 num=43, depth=11..21, filters=75819, revisions=(146490,useless=91737), ccks=246897, wck=0.445, mem=55M655
5.32/2.80 decisions=2419, wrong=822, backtracks=561, failedAssignments=509, nogoods=138, foundSolutions=17, bestBound=82
5.32/2.80
5.32/2.82 num=44, depth=12..19, filters=86220, revisions=(165912,useless=103929), ccks=269732, wck=0.472, mem=55M655
5.32/2.82 decisions=2518, wrong=865, backtracks=600, failedAssignments=540, nogoods=144, foundSolutions=17, bestBound=82
5.32/2.82
5.32/2.84 num=45, depth=12..19, filters=95177, revisions=(181979,useless=113860), ccks=287893, wck=0.49, mem=55M655
5.32/2.84 decisions=2620, wrong=909, backtracks=639, failedAssignments=574, nogoods=151, foundSolutions=17, bestBound=82
5.32/2.84
5.32/2.85 num=46, depth=13..21, filters=99343, revisions=(189455,useless=118377), ccks=295675, wck=0.499, mem=55M655
5.32/2.85 decisions=2732, wrong=958, backtracks=672, failedAssignments=611, nogoods=161, foundSolutions=17, bestBound=82
5.32/2.85
5.32/2.87 num=47, depth=12..18, filters=106664, revisions=(203295,useless=126637), ccks=313274, wck=0.514, mem=55M655
5.32/2.87 decisions=2881, wrong=1025, backtracks=717, failedAssignments=652, nogoods=170, foundSolutions=17, bestBound=82
5.32/2.87
5.32/2.89 num=48, depth=14..22, filters=115980, revisions=(220048,useless=136319), ccks=337235, wck=0.534, mem=55M655
5.32/2.89 decisions=3065, wrong=1109, backtracks=782, failedAssignments=697, nogoods=174, foundSolutions=17, bestBound=82
5.32/2.89
5.62/2.91 num=49, depth=12..20, filters=127854, revisions=(241697,useless=149262), ccks=366712, wck=0.559, mem=55M655
5.62/2.91 decisions=3252, wrong=1195, backtracks=853, failedAssignments=747, nogoods=180, foundSolutions=17, bestBound=82
5.62/2.91
5.62/2.96 num=50, depth=13..22, filters=140259, revisions=(263286,useless=161224), ccks=395739, wck=0.61, mem=55M655
5.62/2.96 decisions=3469, wrong=1297, backtracks=936, failedAssignments=802, nogoods=183, foundSolutions=17, bestBound=82
5.62/2.96
5.62/2.99 num=51, depth=14..29, filters=149390, revisions=(276615,useless=167683), ccks=415914, wck=0.639, mem=58M298
5.62/2.99 decisions=3692, wrong=1401, backtracks=1006, failedAssignments=863, nogoods=189, foundSolutions=17, bestBound=82
5.62/2.99
5.95/3.04 num=52, depth=13..22, filters=159321, revisions=(292841,useless=176607), ccks=439032, wck=0.683, mem=58M298
5.95/3.04 decisions=3923, wrong=1509, backtracks=1090, failedAssignments=930, nogoods=194, foundSolutions=17, bestBound=82
5.95/3.04
5.95/3.07 num=53, depth=11..20, filters=175652, revisions=(321249,useless=193553), ccks=475300, wck=0.721, mem=58M298
5.95/3.07 decisions=4156, wrong=1618, backtracks=1177, failedAssignments=1004, nogoods=199, foundSolutions=17, bestBound=82
5.95/3.07
5.95/3.10 num=54, depth=11..20, filters=191627, revisions=(348687,useless=209601), ccks=511915, wck=0.749, mem=58M298
5.95/3.10 decisions=4407, wrong=1736, backtracks=1276, failedAssignments=1085, nogoods=205, foundSolutions=17, bestBound=82
5.95/3.10
6.16/3.13 num=55, depth=11..21, filters=206308, revisions=(375502,useless=225189), ccks=546439, wck=0.776, mem=58M298
6.16/3.13 decisions=4717, wrong=1883, backtracks=1378, failedAssignments=1174, nogoods=210, foundSolutions=17, bestBound=82
6.16/3.13
6.16/3.14 num=56, depth=13..25, filters=215011, revisions=(389127,useless=231956), ccks=566206, wck=0.79, mem=58M298
6.16/3.14 decisions=5055, wrong=2042, backtracks=1464, failedAssignments=1272, nogoods=223, foundSolutions=17, bestBound=82
6.16/3.14
6.16/3.17 o 74
6.16/3.17 num=57, depth=13..270, filters=226509, revisions=(407999,useless=241716), ccks=592205, wck=0.813, mem=58M298
6.16/3.17 decisions=5381, wrong=2196, backtracks=1562, failedAssignments=1365, nogoods=228, foundSolutions=18, bestBound=74
6.16/3.17
6.16/3.19 num=58, depth=14..27, filters=241209, revisions=(430932,useless=253049), ccks=623285, wck=0.84, mem=58M298
6.16/3.19 decisions=5815, wrong=2406, backtracks=1692, failedAssignments=1484, nogoods=233, foundSolutions=18, bestBound=74
6.16/3.19
6.41/3.20 num=59, depth=15..19, filters=242670, revisions=(433496,useless=254482), ccks=627056, wck=0.843, mem=58M298
6.41/3.20 decisions=5866, wrong=2424, backtracks=1703, failedAssignments=1495, nogoods=240, foundSolutions=18, bestBound=74
6.41/3.20
6.41/3.20 num=60, depth=15..22, filters=244499, revisions=(436382,useless=255977), ccks=630784, wck=0.847, mem=58M298
6.41/3.20 decisions=5921, wrong=2444, backtracks=1717, failedAssignments=1507, nogoods=241, foundSolutions=18, bestBound=74
6.41/3.20
6.41/3.20 num=61, depth=16..20, filters=246442, revisions=(439333,useless=257454), ccks=635356, wck=0.851, mem=58M298
6.41/3.20 decisions=5982, wrong=2466, backtracks=1732, failedAssignments=1520, nogoods=247, foundSolutions=18, bestBound=74
6.41/3.20
6.41/3.21 num=62, depth=16..23, filters=248900, revisions=(442923,useless=259130), ccks=640615, wck=0.856, mem=58M298
6.41/3.21 decisions=6055, wrong=2493, backtracks=1749, failedAssignments=1534, nogoods=249, foundSolutions=18, bestBound=74
6.41/3.21
6.41/3.21 num=63, depth=15..22, filters=251204, revisions=(445893,useless=260465), ccks=645328, wck=0.86, mem=58M298
6.41/3.21 decisions=6125, wrong=2519, backtracks=1767, failedAssignments=1550, nogoods=251, foundSolutions=18, bestBound=74
6.41/3.21
6.41/3.22 num=64, depth=15..20, filters=253355, revisions=(448877,useless=261858), ccks=649891, wck=0.864, mem=58M298
6.41/3.22 decisions=6196, wrong=2547, backtracks=1784, failedAssignments=1567, nogoods=254, foundSolutions=18, bestBound=74
6.41/3.22
6.41/3.22 num=65, depth=14..21, filters=256040, revisions=(452547,useless=263550), ccks=655037, wck=0.869, mem=58M298
6.41/3.22 decisions=6278, wrong=2581, backtracks=1806, failedAssignments=1586, nogoods=256, foundSolutions=18, bestBound=74
6.41/3.22
6.41/3.23 num=66, depth=14..20, filters=259396, revisions=(457004,useless=265513), ccks=661738, wck=0.875, mem=58M298
6.41/3.23 decisions=6368, wrong=2618, backtracks=1826, failedAssignments=1607, nogoods=264, foundSolutions=18, bestBound=74
6.41/3.23
6.41/3.23 num=67, depth=14..21, filters=262219, revisions=(460934,useless=267176), ccks=667281, wck=0.88, mem=58M298
6.41/3.23 decisions=6459, wrong=2655, backtracks=1846, failedAssignments=1630, nogoods=274, foundSolutions=18, bestBound=74
6.41/3.23
6.41/3.24 num=68, depth=13..22, filters=265019, revisions=(464751,useless=268816), ccks=672104, wck=0.885, mem=58M298
6.41/3.24 decisions=6563, wrong=2699, backtracks=1872, failedAssignments=1655, nogoods=276, foundSolutions=18, bestBound=74
6.41/3.24
6.41/3.24 num=69, depth=15..21, filters=267555, revisions=(468211,useless=270323), ccks=677259, wck=0.889, mem=58M298
6.41/3.24 decisions=6667, wrong=2741, backtracks=1892, failedAssignments=1683, nogoods=283, foundSolutions=18, bestBound=74
6.41/3.24
6.41/3.25 num=70, depth=13..19, filters=271120, revisions=(473434,useless=272854), ccks=685835, wck=0.896, mem=58M298
6.41/3.25 decisions=6803, wrong=2802, backtracks=1937, failedAssignments=1714, nogoods=286, foundSolutions=18, bestBound=74
6.41/3.25
6.41/3.25 num=71, depth=15..20, filters=274474, revisions=(477948,useless=274790), ccks=692495, wck=0.901, mem=58M298
6.41/3.25 decisions=6919, wrong=2852, backtracks=1962, failedAssignments=1748, nogoods=292, foundSolutions=18, bestBound=74
6.41/3.25
6.41/3.26 num=72, depth=14..24, filters=278824, revisions=(483595,useless=276962), ccks=700187, wck=0.909, mem=58M298
6.41/3.26 decisions=7054, wrong=2911, backtracks=1995, failedAssignments=1785, nogoods=303, foundSolutions=18, bestBound=74
6.41/3.26
6.41/3.27 num=73, depth=14..23, filters=281964, revisions=(487767,useless=278694), ccks=705910, wck=0.914, mem=58M298
6.41/3.27 decisions=7213, wrong=2983, backtracks=2036, failedAssignments=1826, nogoods=306, foundSolutions=18, bestBound=74
6.41/3.27
6.41/3.27 num=74, depth=15..32, filters=283633, revisions=(491525,useless=280918), ccks=709150, wck=0.919, mem=58M298
6.41/3.27 decisions=7376, wrong=3054, backtracks=2080, failedAssignments=1871, nogoods=312, foundSolutions=18, bestBound=74
6.41/3.27
6.41/3.28 num=75, depth=13..25, filters=287970, revisions=(500766,useless=286737), ccks=720205, wck=0.929, mem=58M298
6.41/3.28 decisions=7561, wrong=3138, backtracks=2142, failedAssignments=1921, nogoods=316, foundSolutions=18, bestBound=74
6.41/3.28
6.41/3.30 num=76, depth=12..25, filters=294095, revisions=(514368,useless=295588), ccks=736263, wck=0.943, mem=58M298
6.41/3.30 decisions=7751, wrong=3225, backtracks=2200, failedAssignments=1976, nogoods=323, foundSolutions=18, bestBound=74
6.41/3.30
6.63/3.30 num=77, depth=12..28, filters=297331, revisions=(522457,useless=301051), ccks=746359, wck=0.95, mem=58M298
6.63/3.30 decisions=7947, wrong=3316, backtracks=2265, failedAssignments=2037, nogoods=331, foundSolutions=18, bestBound=74
6.63/3.30
6.63/3.34 num=78, depth=11..21, filters=315004, revisions=(563251,useless=328311), ccks=794404, wck=0.984, mem=58M298
6.63/3.34 decisions=8186, wrong=3429, backtracks=2355, failedAssignments=2104, nogoods=336, foundSolutions=18, bestBound=74
6.63/3.34
6.63/3.36 num=79, depth=12..29, filters=324755, revisions=(583913,useless=341738), ccks=818951, wck=1.003, mem=58M298
6.63/3.36 decisions=8411, wrong=3535, backtracks=2442, failedAssignments=2178, nogoods=340, foundSolutions=18, bestBound=74
6.63/3.36
6.63/3.39 num=80, depth=11..20, filters=343423, revisions=(617624,useless=362091), ccks=861291, wck=1.034, mem=58M298
6.63/3.39 decisions=8650, wrong=3647, backtracks=2539, failedAssignments=2259, nogoods=349, foundSolutions=18, bestBound=74
6.63/3.39
6.74/3.43 num=81, depth=10..20, filters=368204, revisions=(671614,useless=397685), ccks=928678, wck=1.082, mem=58M298
6.74/3.43 decisions=8939, wrong=3785, backtracks=2653, failedAssignments=2348, nogoods=353, foundSolutions=18, bestBound=74
6.74/3.43
6.74/3.44 num=82, depth=7..19, filters=368498, revisions=(673253,useless=399183), ccks=930353, wck=1.084, mem=58M298
6.74/3.44 decisions=9186, wrong=3904, backtracks=2766, failedAssignments=2446, nogoods=360, foundSolutions=18, bestBound=74
6.74/3.44
6.74/3.47 num=83, depth=11..26, filters=383578, revisions=(707451,useless=421526), ccks=974499, wck=1.113, mem=58M298
6.74/3.47 decisions=9546, wrong=4077, backtracks=2909, failedAssignments=2554, nogoods=367, foundSolutions=18, bestBound=74
6.74/3.47
6.89/3.52 num=84, depth=10..21, filters=413650, revisions=(774328,useless=465453), ccks=1061294, wck=1.171, mem=58M298
6.89/3.52 decisions=9949, wrong=4272, backtracks=3073, failedAssignments=2673, nogoods=371, foundSolutions=18, bestBound=74
6.89/3.52
6.89/3.53 num=85, depth=10..20, filters=413940, revisions=(775970,useless=467063), ccks=1063651, wck=1.174, mem=58M298
6.89/3.53 decisions=10480, wrong=4530, backtracks=3327, failedAssignments=2804, nogoods=375, foundSolutions=18, bestBound=74
6.89/3.53
6.89/3.59 num=86, depth=11..21, filters=450646, revisions=(855769,useless=518785), ccks=1164968, wck=1.241, mem=58M298
6.89/3.59 decisions=10943, wrong=4755, backtracks=3526, failedAssignments=2948, nogoods=381, foundSolutions=18, bestBound=74
6.89/3.59
6.99/3.67 num=87, depth=10..21, filters=495886, revisions=(948739,useless=577978), ccks=1284964, wck=1.321, mem=58M298
6.99/3.67 decisions=11486, wrong=5020, backtracks=3755, failedAssignments=3106, nogoods=388, foundSolutions=18, bestBound=74
6.99/3.67
7.09/3.76 num=88, depth=10..20, filters=548417, revisions=(1046727,useless=636687), ccks=1420608, wck=1.411, mem=58M298
7.09/3.76 decisions=12194, wrong=5368, backtracks=4044, failedAssignments=3280, nogoods=393, foundSolutions=18, bestBound=74
7.09/3.76
7.20/3.85 num=89, depth=10..20, filters=599947, revisions=(1140603,useless=692729), ccks=1543138, wck=1.497, mem=58M298
7.20/3.85 decisions=12889, wrong=5710, backtracks=4334, failedAssignments=3471, nogoods=400, foundSolutions=18, bestBound=74
7.20/3.85
7.30/3.94 num=90, depth=10..24, filters=654431, revisions=(1246955,useless=758387), ccks=1686128, wck=1.59, mem=58M298
7.30/3.94 decisions=13685, wrong=6102, backtracks=4649, failedAssignments=3682, nogoods=408, foundSolutions=18, bestBound=74
7.30/3.94
7.30/3.99 num=91, depth=10..23, filters=686070, revisions=(1301256,useless=790140), ccks=1756874, wck=1.642, mem=58M298
7.30/3.99 decisions=14456, wrong=6480, backtracks=4942, failedAssignments=3914, nogoods=416, foundSolutions=18, bestBound=74
7.30/3.99
7.42/4.08 num=92, depth=10..30, filters=734139, revisions=(1405617,useless=858607), ccks=1888646, wck=1.729, mem=58M298
7.42/4.08 decisions=15345, wrong=6919, backtracks=5281, failedAssignments=4169, nogoods=423, foundSolutions=18, bestBound=74
7.42/4.08
7.52/4.19 num=93, depth=10..21, filters=800231, revisions=(1528074,useless=932292), ccks=2040244, wck=1.839, mem=58M298
7.52/4.19 decisions=16248, wrong=7364, backtracks=5669, failedAssignments=4450, nogoods=428, foundSolutions=18, bestBound=74
7.52/4.19
7.61/4.27 num=94, depth=10..27, filters=846233, revisions=(1619544,useless=988182), ccks=2156533, wck=1.919, mem=58M298
7.61/4.27 decisions=17312, wrong=7886, backtracks=6078, failedAssignments=4759, nogoods=434, foundSolutions=18, bestBound=74
7.61/4.27
7.82/4.45 num=95, depth=10..31, filters=948754, revisions=(1847472,useless=1138831), ccks=2446181, wck=2.101, mem=58M298
7.82/4.45 decisions=18536, wrong=8493, backtracks=6565, failedAssignments=5099, nogoods=439, foundSolutions=18, bestBound=74
7.82/4.45
7.92/4.54 num=96, depth=10..20, filters=1004150, revisions=(1935814,useless=1185128), ccks=2582538, wck=2.186, mem=58M298
7.92/4.54 decisions=19842, wrong=9139, backtracks=7033, failedAssignments=5473, nogoods=443, foundSolutions=18, bestBound=74
7.92/4.54
7.92/4.60 o 70
8.02/4.60 num=97, depth=11..270, filters=1042707, revisions=(1993882,useless=1213803), ccks=2668125, wck=2.244, mem=58M298
8.02/4.60 decisions=20774, wrong=9596, backtracks=7342, failedAssignments=5736, nogoods=449, foundSolutions=19, bestBound=70
8.02/4.60
8.02/4.64 o 62
8.02/4.64 num=98, depth=13..270, filters=1069369, revisions=(2032668,useless=1232365), ccks=2724567, wck=2.283, mem=58M298
8.02/4.64 decisions=21461, wrong=9931, backtracks=7544, failedAssignments=5939, nogoods=452, foundSolutions=20, bestBound=62
8.02/4.64
8.02/4.64 num=99, depth=16..23, filters=1070582, revisions=(2034783,useless=1233537), ccks=2727815, wck=2.286, mem=58M298
8.02/4.64 decisions=21511, wrong=9948, backtracks=7554, failedAssignments=5950, nogoods=454, foundSolutions=20, bestBound=62
8.02/4.64
8.02/4.64 num=100, depth=16..22, filters=1071620, revisions=(2036699,useless=1234617), ccks=2729941, wck=2.288, mem=58M298
8.02/4.64 decisions=21558, wrong=9962, backtracks=7558, failedAssignments=5961, nogoods=460, foundSolutions=20, bestBound=62
8.02/4.64
8.02/4.64 num=101, depth=15..21, filters=1072592, revisions=(2038483,useless=1235674), ccks=2732150, wck=2.289, mem=58M298
8.02/4.64 decisions=21605, wrong=9977, backtracks=7566, failedAssignments=5973, nogoods=462, foundSolutions=20, bestBound=62
8.02/4.64
8.02/4.64 num=102, depth=16..21, filters=1073899, revisions=(2040602,useless=1236839), ccks=2735130, wck=2.292, mem=58M298
8.02/4.64 decisions=21661, wrong=9995, backtracks=7573, failedAssignments=5986, nogoods=466, foundSolutions=20, bestBound=62
8.02/4.64
8.02/4.65 num=103, depth=11..18, filters=1074232, revisions=(2041765,useless=1237752), ccks=2736577, wck=2.293, mem=58M298
8.02/4.65 decisions=21707, wrong=10012, backtracks=7586, failedAssignments=6000, nogoods=471, foundSolutions=20, bestBound=62
8.02/4.65
8.02/4.65 num=104, depth=14..21, filters=1076873, revisions=(2047577,useless=1241304), ccks=2742695, wck=2.298, mem=58M298
8.02/4.65 decisions=21769, wrong=10035, backtracks=7601, failedAssignments=6016, nogoods=473, foundSolutions=20, bestBound=62
8.02/4.65
8.02/4.66 num=105, depth=14..20, filters=1079379, revisions=(2051665,useless=1243437), ccks=2748681, wck=2.302, mem=58M298
8.02/4.66 decisions=21838, wrong=10062, backtracks=7621, failedAssignments=6033, nogoods=475, foundSolutions=20, bestBound=62
8.02/4.66
8.02/4.66 num=106, depth=15..20, filters=1081722, revisions=(2055814,useless=1245679), ccks=2754475, wck=2.306, mem=58M298
8.02/4.66 decisions=21912, wrong=10091, backtracks=7638, failedAssignments=6052, nogoods=481, foundSolutions=20, bestBound=62
8.02/4.66
8.02/4.66 num=107, depth=13..19, filters=1083757, revisions=(2059734,useless=1247888), ccks=2759396, wck=2.31, mem=58M298
8.02/4.66 decisions=21982, wrong=10119, backtracks=7650, failedAssignments=6073, nogoods=488, foundSolutions=20, bestBound=62
8.02/4.66
8.02/4.67 num=108, depth=14..22, filters=1086584, revisions=(2065185,useless=1251013), ccks=2766382, wck=2.314, mem=58M298
8.02/4.67 decisions=22066, wrong=10154, backtracks=7674, failedAssignments=6096, nogoods=489, foundSolutions=20, bestBound=62
8.02/4.67
8.02/4.67 num=109, depth=14..20, filters=1089081, revisions=(2069394,useless=1253283), ccks=2771899, wck=2.319, mem=58M298
8.02/4.67 decisions=22154, wrong=10191, backtracks=7694, failedAssignments=6121, nogoods=490, foundSolutions=20, bestBound=62
8.02/4.67
8.02/4.68 num=110, depth=14..22, filters=1092336, revisions=(2075076,useless=1256296), ccks=2779532, wck=2.324, mem=58M298
8.02/4.68 decisions=22255, wrong=10234, backtracks=7717, failedAssignments=6149, nogoods=495, foundSolutions=20, bestBound=62
8.02/4.68
8.02/4.68 num=111, depth=14..20, filters=1096399, revisions=(2081730,useless=1259725), ccks=2788275, wck=2.33, mem=58M298
8.02/4.68 decisions=22364, wrong=10281, backtracks=7746, failedAssignments=6180, nogoods=499, foundSolutions=20, bestBound=62
8.02/4.68
8.02/4.69 o 58
8.02/4.69 num=112, depth=16..270, filters=1097241, revisions=(2083669,useless=1261025), ccks=2790557, wck=2.333, mem=60M940
8.02/4.69 decisions=22396, wrong=10288, backtracks=7749, failedAssignments=6184, nogoods=501, foundSolutions=21, bestBound=58
8.02/4.69
8.02/4.69 num=113, depth=15..23, filters=1101424, revisions=(2090006,useless=1264145), ccks=2799328, wck=2.34, mem=60M940
8.02/4.69 decisions=22538, wrong=10351, backtracks=7785, failedAssignments=6221, nogoods=508, foundSolutions=21, bestBound=58
8.02/4.69
8.02/4.70 num=114, depth=15..23, filters=1102681, revisions=(2092562,useless=1265568), ccks=2802419, wck=2.343, mem=60M940
8.02/4.70 decisions=22588, wrong=10368, backtracks=7792, failedAssignments=6232, nogoods=512, foundSolutions=21, bestBound=58
8.02/4.70
8.15/4.70 num=115, depth=15..20, filters=1104128, revisions=(2094922,useless=1266827), ccks=2805315, wck=2.345, mem=63M583
8.15/4.70 decisions=22640, wrong=10386, backtracks=7800, failedAssignments=6244, nogoods=519, foundSolutions=21, bestBound=58
8.15/4.70
8.15/4.70 num=116, depth=15..19, filters=1105594, revisions=(2097410,useless=1268146), ccks=2808609, wck=2.348, mem=63M583
8.15/4.70 decisions=22693, wrong=10405, backtracks=7810, failedAssignments=6257, nogoods=522, foundSolutions=21, bestBound=58
8.15/4.70
8.15/4.70 num=117, depth=14..20, filters=1107686, revisions=(2100933,useless=1270110), ccks=2813269, wck=2.352, mem=63M583
8.15/4.70 decisions=22763, wrong=10433, backtracks=7833, failedAssignments=6271, nogoods=525, foundSolutions=21, bestBound=58
8.15/4.70
8.15/4.71 num=118, depth=14..23, filters=1110044, revisions=(2104479,useless=1271922), ccks=2818039, wck=2.356, mem=63M583
8.15/4.71 decisions=22835, wrong=10460, backtracks=7851, failedAssignments=6287, nogoods=527, foundSolutions=21, bestBound=58
8.15/4.71
8.15/4.71 num=119, depth=15..22, filters=1111888, revisions=(2107636,useless=1273582), ccks=2821989, wck=2.359, mem=63M583
8.15/4.71 decisions=22900, wrong=10484, backtracks=7863, failedAssignments=6304, nogoods=535, foundSolutions=21, bestBound=58
8.15/4.71
8.15/4.72 num=120, depth=14..24, filters=1114320, revisions=(2113656,useless=1277373), ccks=2828499, wck=2.363, mem=63M583
8.15/4.72 decisions=22977, wrong=10515, backtracks=7881, failedAssignments=6323, nogoods=538, foundSolutions=21, bestBound=58
8.15/4.72
8.15/4.72 num=121, depth=14..32, filters=1115795, revisions=(2117009,useless=1279411), ccks=2832659, wck=2.366, mem=63M583
8.15/4.72 decisions=23073, wrong=10553, backtracks=7899, failedAssignments=6344, nogoods=544, foundSolutions=21, bestBound=58
8.15/4.72
8.15/4.72 num=122, depth=13..22, filters=1118787, revisions=(2122948,useless=1282850), ccks=2839309, wck=2.372, mem=63M583
8.15/4.72 decisions=23158, wrong=10589, backtracks=7921, failedAssignments=6367, nogoods=545, foundSolutions=21, bestBound=58
8.15/4.72
8.15/4.74 num=123, depth=13..25, filters=1123734, revisions=(2138500,useless=1293793), ccks=2855946, wck=2.382, mem=63M583
8.15/4.74 decisions=23274, wrong=10638, backtracks=7953, failedAssignments=6392, nogoods=549, foundSolutions=21, bestBound=58
8.15/4.74
8.15/4.74 num=124, depth=13..20, filters=1126357, revisions=(2143628,useless=1296898), ccks=2862563, wck=2.387, mem=63M583
8.15/4.74 decisions=23373, wrong=10681, backtracks=7983, failedAssignments=6420, nogoods=555, foundSolutions=21, bestBound=58
8.15/4.74
8.15/4.75 num=125, depth=16..32, filters=1129967, revisions=(2154807,useless=1304666), ccks=2875266, wck=2.394, mem=63M583
8.15/4.75 decisions=23512, wrong=10737, backtracks=8020, failedAssignments=6451, nogoods=558, foundSolutions=21, bestBound=58
8.15/4.75
8.15/4.76 num=126, depth=12..22, filters=1135647, revisions=(2167316,useless=1312254), ccks=2890185, wck=2.404, mem=63M583
8.15/4.76 decisions=23673, wrong=10809, backtracks=8064, failedAssignments=6485, nogoods=562, foundSolutions=21, bestBound=58
8.15/4.76
8.15/4.76 num=127, depth=15..24, filters=1140519, revisions=(2174803,useless=1316044), ccks=2900789, wck=2.412, mem=63M583
8.15/4.76 decisions=23802, wrong=10866, backtracks=8101, failedAssignments=6522, nogoods=570, foundSolutions=21, bestBound=58
8.15/4.76
8.15/4.77 num=128, depth=14..25, filters=1145687, revisions=(2183114,useless=1320175), ccks=2912408, wck=2.419, mem=63M583
8.15/4.77 decisions=23968, wrong=10941, backtracks=8148, failedAssignments=6563, nogoods=581, foundSolutions=21, bestBound=58
8.15/4.77
8.15/4.78 num=129, depth=14..25, filters=1153195, revisions=(2194444,useless=1325619), ccks=2929166, wck=2.43, mem=63M583
8.15/4.78 decisions=24158, wrong=11029, backtracks=8211, failedAssignments=6608, nogoods=584, foundSolutions=21, bestBound=58
8.15/4.78
8.15/4.79 num=130, depth=14..24, filters=1159401, revisions=(2203598,useless=1329901), ccks=2942188, wck=2.439, mem=63M583
8.15/4.79 decisions=24345, wrong=11115, backtracks=8260, failedAssignments=6658, nogoods=586, foundSolutions=21, bestBound=58
8.15/4.79
8.28/4.80 num=131, depth=14..21, filters=1165595, revisions=(2212802,useless=1334273), ccks=2954657, wck=2.449, mem=63M583
8.28/4.80 decisions=24541, wrong=11205, backtracks=8309, failedAssignments=6713, nogoods=589, foundSolutions=21, bestBound=58
8.28/4.80
8.28/4.81 num=132, depth=13..21, filters=1172722, revisions=(2224034,useless=1339939), ccks=2970114, wck=2.46, mem=63M583
8.28/4.81 decisions=24758, wrong=11307, backtracks=8386, failedAssignments=6774, nogoods=595, foundSolutions=21, bestBound=58
8.28/4.81
8.28/4.83 num=133, depth=13..21, filters=1181226, revisions=(2236245,useless=1345812), ccks=2987808, wck=2.472, mem=63M583
8.28/4.83 decisions=24991, wrong=11417, backtracks=8453, failedAssignments=6841, nogoods=597, foundSolutions=21, bestBound=58
8.28/4.83
8.28/4.84 num=134, depth=12..21, filters=1192628, revisions=(2253032,useless=1354078), ccks=3011847, wck=2.489, mem=63M583
8.28/4.84 decisions=25260, wrong=11544, backtracks=8545, failedAssignments=6915, nogoods=600, foundSolutions=21, bestBound=58
8.28/4.84
8.28/4.85 num=135, depth=10..19, filters=1194152, revisions=(2256758,useless=1356689), ccks=3016609, wck=2.493, mem=63M583
8.28/4.85 decisions=25484, wrong=11650, backtracks=8644, failedAssignments=6996, nogoods=604, foundSolutions=21, bestBound=58
8.28/4.85
8.28/4.87 num=136, depth=16..32, filters=1204466, revisions=(2291312,useless=1381580), ccks=3054308, wck=2.515, mem=63M583
8.28/4.87 decisions=25836, wrong=11817, backtracks=8750, failedAssignments=7085, nogoods=609, foundSolutions=21, bestBound=58
8.28/4.87
8.28/4.89 num=137, depth=12..32, filters=1214327, revisions=(2317136,useless=1398828), ccks=3084565, wck=2.533, mem=63M583
8.28/4.89 decisions=26233, wrong=12007, backtracks=8867, failedAssignments=7183, nogoods=612, foundSolutions=21, bestBound=58
8.28/4.89
8.40/4.91 num=138, depth=13..33, filters=1226187, revisions=(2340407,useless=1412252), ccks=3115153, wck=2.553, mem=63M583
8.40/4.91 decisions=26642, wrong=12199, backtracks=8988, failedAssignments=7291, nogoods=618, foundSolutions=21, bestBound=58
8.40/4.91
8.40/4.93 num=139, depth=12..23, filters=1243508, revisions=(2369468,useless=1427245), ccks=3153459, wck=2.58, mem=63M583
8.40/4.93 decisions=27089, wrong=12416, backtracks=9130, failedAssignments=7410, nogoods=622, foundSolutions=21, bestBound=58
8.40/4.93
8.40/4.95 num=140, depth=12..23, filters=1257820, revisions=(2391381,useless=1437432), ccks=3182258, wck=2.6, mem=63M583
8.40/4.95 decisions=27550, wrong=12638, backtracks=9261, failedAssignments=7541, nogoods=627, foundSolutions=21, bestBound=58
8.40/4.95
8.40/4.98 num=141, depth=11..20, filters=1276012, revisions=(2419085,useless=1451324), ccks=3230627, wck=2.628, mem=63M583
8.40/4.98 decisions=28142, wrong=12928, backtracks=9499, failedAssignments=7685, nogoods=631, foundSolutions=21, bestBound=58
8.40/4.98
8.40/4.99 o 54
8.40/4.99 num=142, depth=14..270, filters=1281812, revisions=(2426601,useless=1454642), ccks=3242373, wck=2.637, mem=63M583
8.40/4.99 decisions=28300, wrong=12999, backtracks=9547, failedAssignments=7722, nogoods=635, foundSolutions=22, bestBound=54
8.40/4.99
8.51/5.02 num=143, depth=13..24, filters=1303776, revisions=(2454360,useless=1465872), ccks=3285234, wck=2.668, mem=63M583
8.51/5.02 decisions=28938, wrong=13311, backtracks=9769, failedAssignments=7896, nogoods=640, foundSolutions=22, bestBound=54
8.51/5.02
8.51/5.02 num=144, depth=15..21, filters=1305129, revisions=(2456380,useless=1466901), ccks=3287790, wck=2.67, mem=63M583
8.51/5.02 decisions=28989, wrong=13329, backtracks=9781, failedAssignments=7907, nogoods=642, foundSolutions=22, bestBound=54
8.51/5.02
8.51/5.03 num=145, depth=25..33, filters=1305890, revisions=(2458484,useless=1468276), ccks=3289971, wck=2.672, mem=63M583
8.51/5.03 decisions=29058, wrong=13351, backtracks=9797, failedAssignments=7919, nogoods=646, foundSolutions=22, bestBound=54
8.51/5.03
8.51/5.03 num=146, depth=15..20, filters=1307656, revisions=(2460994,useless=1469519), ccks=3293480, wck=2.675, mem=63M583
8.51/5.03 decisions=29122, wrong=13375, backtracks=9816, failedAssignments=7932, nogoods=650, foundSolutions=22, bestBound=54
8.51/5.03
8.51/5.03 num=147, depth=14..19, filters=1310300, revisions=(2464657,useless=1471185), ccks=3298179, wck=2.679, mem=63M583
8.51/5.03 decisions=29193, wrong=13403, backtracks=9838, failedAssignments=7946, nogoods=654, foundSolutions=22, bestBound=54
8.51/5.03
8.51/5.04 num=148, depth=14..21, filters=1312281, revisions=(2467438,useless=1472527), ccks=3301885, wck=2.682, mem=63M583
8.51/5.04 decisions=29260, wrong=13429, backtracks=9858, failedAssignments=7962, nogoods=659, foundSolutions=22, bestBound=54
8.51/5.04
8.51/5.04 num=149, depth=14..20, filters=1314555, revisions=(2470599,useless=1474043), ccks=3305905, wck=2.686, mem=63M583
8.51/5.04 decisions=29328, wrong=13455, backtracks=9876, failedAssignments=7979, nogoods=661, foundSolutions=22, bestBound=54
8.51/5.04
8.51/5.04 num=150, depth=12..18, filters=1316777, revisions=(2474215,useless=1476111), ccks=3311218, wck=2.69, mem=63M583
8.51/5.04 decisions=29423, wrong=13496, backtracks=9915, failedAssignments=7998, nogoods=663, foundSolutions=22, bestBound=54
8.51/5.04
8.51/5.05 num=151, depth=14..20, filters=1319797, revisions=(2478298,useless=1477902), ccks=3316832, wck=2.694, mem=63M583
8.51/5.05 decisions=29516, wrong=13535, backtracks=9943, failedAssignments=8019, nogoods=666, foundSolutions=22, bestBound=54
8.51/5.05
8.51/5.05 num=152, depth=13..20, filters=1322820, revisions=(2482334,useless=1479626), ccks=3322655, wck=2.699, mem=63M583
8.51/5.05 decisions=29618, wrong=13578, backtracks=9973, failedAssignments=8042, nogoods=673, foundSolutions=22, bestBound=54
8.51/5.05
8.51/5.06 num=153, depth=14..20, filters=1325994, revisions=(2486424,useless=1481345), ccks=3328037, wck=2.703, mem=63M583
8.51/5.06 decisions=29716, wrong=13619, backtracks=9994, failedAssignments=8067, nogoods=679, foundSolutions=22, bestBound=54
8.51/5.06
8.51/5.06 num=154, depth=14..22, filters=1329430, revisions=(2490736,useless=1483107), ccks=3333978, wck=2.708, mem=63M583
8.51/5.06 decisions=29819, wrong=13663, backtracks=10022, failedAssignments=8095, nogoods=687, foundSolutions=22, bestBound=54
8.51/5.06
8.51/5.07 num=155, depth=13..20, filters=1332900, revisions=(2495507,useless=1485399), ccks=3341050, wck=2.713, mem=63M583
8.51/5.07 decisions=29946, wrong=13719, backtracks=10066, failedAssignments=8126, nogoods=690, foundSolutions=22, bestBound=54
8.51/5.07
8.51/5.07 num=156, depth=14..22, filters=1336464, revisions=(2500210,useless=1487353), ccks=3347262, wck=2.719, mem=63M583
8.51/5.07 decisions=30073, wrong=13775, backtracks=10100, failedAssignments=8160, nogoods=697, foundSolutions=22, bestBound=54
8.51/5.07
8.51/5.08 num=157, depth=14..21, filters=1340716, revisions=(2505726,useless=1489701), ccks=3355390, wck=2.725, mem=63M583
8.51/5.08 decisions=30203, wrong=13832, backtracks=10138, failedAssignments=8197, nogoods=702, foundSolutions=22, bestBound=54
8.51/5.08
8.51/5.08 num=158, depth=13..21, filters=1344804, revisions=(2511065,useless=1491823), ccks=3362385, wck=2.731, mem=63M583
8.51/5.08 decisions=30340, wrong=13893, backtracks=10168, failedAssignments=8238, nogoods=707, foundSolutions=22, bestBound=54
8.51/5.08
8.51/5.09 num=159, depth=14..20, filters=1349870, revisions=(2517762,useless=1494651), ccks=3371309, wck=2.738, mem=63M583
8.51/5.09 decisions=30507, wrong=13968, backtracks=10214, failedAssignments=8283, nogoods=718, foundSolutions=22, bestBound=54
8.51/5.09
8.51/5.10 num=160, depth=14..23, filters=1355784, revisions=(2525333,useless=1497725), ccks=3381780, wck=2.747, mem=63M583
8.51/5.10 decisions=30683, wrong=14047, backtracks=10271, failedAssignments=8333, nogoods=725, foundSolutions=22, bestBound=54
8.51/5.10
8.61/5.11 num=161, depth=14..22, filters=1360917, revisions=(2531863,useless=1500357), ccks=3391106, wck=2.754, mem=63M583
8.61/5.11 decisions=30875, wrong=14135, backtracks=10324, failedAssignments=8388, nogoods=733, foundSolutions=22, bestBound=54
8.61/5.11
8.61/5.12 num=162, depth=14..21, filters=1368663, revisions=(2542059,useless=1504807), ccks=3405532, wck=2.765, mem=63M583
8.61/5.12 decisions=31096, wrong=14237, backtracks=10395, failedAssignments=8449, nogoods=742, foundSolutions=22, bestBound=54
8.61/5.12
8.61/5.13 num=163, depth=13..20, filters=1374669, revisions=(2550369,useless=1508220), ccks=3416757, wck=2.774, mem=63M583
8.61/5.13 decisions=31310, wrong=14335, backtracks=10447, failedAssignments=8516, nogoods=753, foundSolutions=22, bestBound=54
8.61/5.13
8.61/5.14 num=164, depth=12..20, filters=1384030, revisions=(2562670,useless=1513462), ccks=3436150, wck=2.788, mem=63M583
8.61/5.14 decisions=31576, wrong=14461, backtracks=10536, failedAssignments=8590, nogoods=758, foundSolutions=22, bestBound=54
8.61/5.14
8.61/5.15 num=165, depth=12..22, filters=1393805, revisions=(2575180,useless=1518248), ccks=3452533, wck=2.801, mem=63M583
8.61/5.15 decisions=31839, wrong=14586, backtracks=10617, failedAssignments=8671, nogoods=763, foundSolutions=22, bestBound=54
8.61/5.15
8.61/5.17 num=166, depth=11..20, filters=1404963, revisions=(2590230,useless=1524206), ccks=3471465, wck=2.816, mem=63M583
8.61/5.17 decisions=32137, wrong=14728, backtracks=10705, failedAssignments=8760, nogoods=771, foundSolutions=22, bestBound=54
8.61/5.17
8.61/5.18 num=167, depth=13..22, filters=1416296, revisions=(2604370,useless=1529735), ccks=3491133, wck=2.831, mem=63M583
8.61/5.18 decisions=32481, wrong=14892, backtracks=10801, failedAssignments=8858, nogoods=777, foundSolutions=22, bestBound=54
8.61/5.18
8.71/5.20 num=168, depth=12..25, filters=1429857, revisions=(2620333,useless=1535747), ccks=3513811, wck=2.85, mem=63M583
8.71/5.20 decisions=32854, wrong=15070, backtracks=10910, failedAssignments=8966, nogoods=788, foundSolutions=22, bestBound=54
8.71/5.20
8.71/5.22 num=169, depth=8..19, filters=1439492, revisions=(2637115,useless=1544954), ccks=3537086, wck=2.866, mem=63M583
8.71/5.22 decisions=33279, wrong=15277, backtracks=11084, failedAssignments=9085, nogoods=790, foundSolutions=22, bestBound=54
8.71/5.22
8.71/5.24 num=170, depth=12..21, filters=1453862, revisions=(2655567,useless=1551907), ccks=3561098, wck=2.885, mem=63M583
8.71/5.24 decisions=33708, wrong=15484, backtracks=11198, failedAssignments=9216, nogoods=798, foundSolutions=22, bestBound=54
8.71/5.24
8.71/5.26 num=171, depth=12..25, filters=1467131, revisions=(2672891,useless=1558612), ccks=3582187, wck=2.904, mem=63M583
8.71/5.26 decisions=34162, wrong=15704, backtracks=11327, failedAssignments=9360, nogoods=806, foundSolutions=22, bestBound=54
8.71/5.26
8.71/5.29 num=172, depth=11..21, filters=1487739, revisions=(2698400,useless=1568340), ccks=3616245, wck=2.932, mem=63M583
8.71/5.29 decisions=34699, wrong=15966, backtracks=11516, failedAssignments=9518, nogoods=809, foundSolutions=22, bestBound=54
8.71/5.29
8.82/5.31 num=173, depth=12..22, filters=1503282, revisions=(2719078,useless=1576757), ccks=3643167, wck=2.955, mem=63M583
8.82/5.31 decisions=35257, wrong=16238, backtracks=11700, failedAssignments=9692, nogoods=819, foundSolutions=22, bestBound=54
8.82/5.31
8.82/5.33 num=174, depth=7..20, filters=1517952, revisions=(2744371,useless=1590964), ccks=3678809, wck=2.979, mem=63M583
8.82/5.33 decisions=35946, wrong=16576, backtracks=11980, failedAssignments=9883, nogoods=822, foundSolutions=22, bestBound=54
8.82/5.33
8.82/5.37 num=175, depth=10..22, filters=1542629, revisions=(2776509,useless=1603440), ccks=3720390, wck=3.012, mem=63M583
8.82/5.37 decisions=36683, wrong=16937, backtracks=12214, failedAssignments=10094, nogoods=825, foundSolutions=22, bestBound=54
8.82/5.37
8.92/5.40 num=176, depth=11..21, filters=1566808, revisions=(2806786,useless=1614877), ccks=3761865, wck=3.045, mem=63M583
8.92/5.40 decisions=37437, wrong=17307, backtracks=12440, failedAssignments=10326, nogoods=829, foundSolutions=22, bestBound=54
8.92/5.40
8.92/5.43 num=177, depth=11..23, filters=1590751, revisions=(2836496,useless=1625890), ccks=3804116, wck=3.079, mem=63M583
8.92/5.43 decisions=38250, wrong=17706, backtracks=12710, failedAssignments=10581, nogoods=832, foundSolutions=22, bestBound=54
8.92/5.43
8.92/5.47 num=178, depth=10..23, filters=1619644, revisions=(2872948,useless=1640384), ccks=3857157, wck=3.12, mem=63M583
8.92/5.47 decisions=39165, wrong=18157, backtracks=13056, failedAssignments=10862, nogoods=836, foundSolutions=22, bestBound=54
8.92/5.47
9.02/5.52 num=179, depth=11..21, filters=1654123, revisions=(2918569,useless=1658793), ccks=3918432, wck=3.168, mem=63M583
9.02/5.52 decisions=40183, wrong=18660, backtracks=13413, failedAssignments=11171, nogoods=841, foundSolutions=22, bestBound=54
9.02/5.52
9.02/5.57 num=180, depth=10..22, filters=1692395, revisions=(2966051,useless=1676972), ccks=3984755, wck=3.22, mem=63M583
9.02/5.57 decisions=41287, wrong=19205, backtracks=13789, failedAssignments=11511, nogoods=846, foundSolutions=22, bestBound=54
9.02/5.57
9.13/5.63 num=181, depth=10..23, filters=1736589, revisions=(3021163,useless=1697843), ccks=4059688, wck=3.281, mem=63M583
9.13/5.63 decisions=42529, wrong=19821, backtracks=14201, failedAssignments=11885, nogoods=847, foundSolutions=22, bestBound=54
9.13/5.63
9.13/5.69 num=182, depth=10..23, filters=1781035, revisions=(3077548,useless=1720197), ccks=4140129, wck=3.342, mem=63M583
9.13/5.69 decisions=43850, wrong=20475, backtracks=14680, failedAssignments=12296, nogoods=852, foundSolutions=22, bestBound=54
9.13/5.69
9.23/5.76 num=183, depth=10..26, filters=1829893, revisions=(3143163,useless=1746059), ccks=4228034, wck=3.41, mem=63M583
9.23/5.76 decisions=45505, wrong=21295, backtracks=15272, failedAssignments=12748, nogoods=860, foundSolutions=22, bestBound=54
9.23/5.76
9.33/5.84 num=184, depth=10..21, filters=1885961, revisions=(3212159,useless=1772731), ccks=4330196, wck=3.486, mem=63M583
9.33/5.84 decisions=47126, wrong=22099, backtracks=15847, failedAssignments=13245, nogoods=866, foundSolutions=22, bestBound=54
9.33/5.84
9.43/5.92 num=185, depth=9..21, filters=1944769, revisions=(3284925,useless=1800607), ccks=4437038, wck=3.57, mem=63M583
9.43/5.92 decisions=48961, wrong=23011, backtracks=16487, failedAssignments=13792, nogoods=874, foundSolutions=22, bestBound=54
9.43/5.92
9.54/6.01 num=186, depth=10..30, filters=2012478, revisions=(3371441,useless=1835393), ccks=4553902, wck=3.661, mem=66M225
9.54/6.01 decisions=50977, wrong=24013, backtracks=17189, failedAssignments=14394, nogoods=880, foundSolutions=22, bestBound=54
9.54/6.01
9.65/6.11 num=187, depth=10..22, filters=2083713, revisions=(3460437,useless=1869808), ccks=4677618, wck=3.758, mem=66M225
9.65/6.11 decisions=53285, wrong=25161, backtracks=18011, failedAssignments=15056, nogoods=884, foundSolutions=22, bestBound=54
9.65/6.11
9.74/6.23 num=188, depth=9..22, filters=2173787, revisions=(3569979,useless=1911100), ccks=4834665, wck=3.878, mem=66M225
9.74/6.23 decisions=55854, wrong=26439, backtracks=18926, failedAssignments=15784, nogoods=895, foundSolutions=22, bestBound=54
9.74/6.23
9.84/6.34 num=189, depth=9..25, filters=2252524, revisions=(3676413,useless=1956639), ccks=4985570, wck=3.99, mem=66M225
9.84/6.34 decisions=58674, wrong=27842, backtracks=19994, failedAssignments=16585, nogoods=902, foundSolutions=22, bestBound=54
9.84/6.34
9.94/6.49 num=190, depth=9..26, filters=2358933, revisions=(3807441,useless=2008348), ccks=5184601, wck=4.137, mem=66M225
9.94/6.49 decisions=61571, wrong=29285, backtracks=21084, failedAssignments=17466, nogoods=912, foundSolutions=22, bestBound=54
9.94/6.49
10.14/6.64 num=191, depth=10..24, filters=2464358, revisions=(3945469,useless=2064066), ccks=5370774, wck=4.284, mem=66M225
10.14/6.64 decisions=64837, wrong=30911, backtracks=22297, failedAssignments=18436, nogoods=920, foundSolutions=22, bestBound=54
10.14/6.64
10.34/6.82 num=192, depth=9..22, filters=2597306, revisions=(4112645,useless=2130016), ccks=5601313, wck=4.463, mem=66M225
10.34/6.82 decisions=68594, wrong=32783, backtracks=23619, failedAssignments=19503, nogoods=927, foundSolutions=22, bestBound=54
10.34/6.82
10.44/7.00 num=193, depth=9..23, filters=2733033, revisions=(4277963,useless=2192418), ccks=5832732, wck=4.649, mem=66M225
10.44/7.00 decisions=72554, wrong=34757, backtracks=25110, failedAssignments=20676, nogoods=934, foundSolutions=22, bestBound=54
10.44/7.00
10.65/7.18 num=194, depth=9..31, filters=2871491, revisions=(4449544,useless=2255807), ccks=6070867, wck=4.829, mem=66M225
10.65/7.18 decisions=76891, wrong=36917, backtracks=26451, failedAssignments=21967, nogoods=944, foundSolutions=22, bestBound=54
10.65/7.18
10.84/7.37 num=195, depth=8..27, filters=3005047, revisions=(4625641,useless=2331945), ccks=6327737, wck=5.02, mem=66M225
10.84/7.37 decisions=81803, wrong=39366, backtracks=28287, failedAssignments=23387, nogoods=950, foundSolutions=22, bestBound=54
10.84/7.37
11.05/7.59 o 50
11.05/7.59 num=196, depth=0..270, filters=3146059, revisions=(4841143,useless=2442640), ccks=6655945, wck=5.239, mem=66M225
11.05/7.59 decisions=87034, wrong=41973, backtracks=30181, failedAssignments=24757, nogoods=956, foundSolutions=23, bestBound=50
11.05/7.59
11.35/7.88 num=197, depth=9..27, filters=3355471, revisions=(5107444,useless=2550591), ccks=7015344, wck=5.525, mem=66M225
11.35/7.88 decisions=92895, wrong=44897, backtracks=32309, failedAssignments=26475, nogoods=965, foundSolutions=23, bestBound=50
11.35/7.88
11.35/7.88 num=198, depth=17..20, filters=3356552, revisions=(5109200,useless=2551485), ccks=7017865, wck=5.527, mem=66M225
11.35/7.88 decisions=92948, wrong=44915, backtracks=32319, failedAssignments=26486, nogoods=969, foundSolutions=23, bestBound=50
11.35/7.88
11.35/7.88 num=199, depth=15..20, filters=3357906, revisions=(5111277,useless=2552491), ccks=7020232, wck=5.529, mem=66M225
11.35/7.88 decisions=93001, wrong=44933, backtracks=32328, failedAssignments=26498, nogoods=975, foundSolutions=23, bestBound=50
11.35/7.88
11.35/7.88 num=200, depth=15..21, filters=3359550, revisions=(5113770,useless=2553682), ccks=7023062, wck=5.531, mem=66M225
11.35/7.88 decisions=93064, wrong=44957, backtracks=32346, failedAssignments=26511, nogoods=978, foundSolutions=23, bestBound=50
11.35/7.88
11.35/7.89 num=201, depth=15..21, filters=3360883, revisions=(5115774,useless=2554642), ccks=7025389, wck=5.534, mem=66M225
11.35/7.89 decisions=93130, wrong=44982, backtracks=32362, failedAssignments=26525, nogoods=983, foundSolutions=23, bestBound=50
11.35/7.89
11.35/7.89 num=202, depth=14..19, filters=3362969, revisions=(5118962,useless=2556167), ccks=7029288, wck=5.537, mem=66M225
11.35/7.89 decisions=93203, wrong=45011, backtracks=32383, failedAssignments=26541, nogoods=987, foundSolutions=23, bestBound=50
11.35/7.89
11.35/7.89 num=203, depth=12..26, filters=3365417, revisions=(5122662,useless=2557821), ccks=7033428, wck=5.541, mem=66M225
11.35/7.89 decisions=93285, wrong=45045, backtracks=32406, failedAssignments=26558, nogoods=994, foundSolutions=23, bestBound=50
11.35/7.89
11.45/7.90 num=204, depth=15..21, filters=3367106, revisions=(5125207,useless=2558937), ccks=7036194, wck=5.544, mem=66M225
11.45/7.90 decisions=93357, wrong=45073, backtracks=32423, failedAssignments=26577, nogoods=1001, foundSolutions=23, bestBound=50
11.45/7.90
11.45/7.90 num=205, depth=12..20, filters=3370440, revisions=(5130157,useless=2561196), ccks=7041981, wck=5.549, mem=66M225
11.45/7.90 decisions=93456, wrong=45116, backtracks=32454, failedAssignments=26598, nogoods=1005, foundSolutions=23, bestBound=50
11.45/7.90
11.45/7.91 num=206, depth=12..27, filters=3372730, revisions=(5133583,useless=2562654), ccks=7045906, wck=5.552, mem=66M225
11.45/7.91 decisions=93547, wrong=45155, backtracks=32476, failedAssignments=26621, nogoods=1008, foundSolutions=23, bestBound=50
11.45/7.91
11.45/7.91 num=207, depth=0..25, filters=3375333, revisions=(5138177,useless=2564950), ccks=7051286, wck=5.557, mem=66M225
11.45/7.91 decisions=93669, wrong=45210, backtracks=32513, failedAssignments=26646, nogoods=1010, foundSolutions=23, bestBound=50
11.45/7.91
11.45/7.91 num=208, depth=12..20, filters=3378546, revisions=(5142650,useless=2566896), ccks=7057189, wck=5.562, mem=66M225
11.45/7.91 decisions=93775, wrong=45255, backtracks=32541, failedAssignments=26674, nogoods=1015, foundSolutions=23, bestBound=50
11.45/7.91
11.45/7.92 num=209, depth=11..21, filters=3382587, revisions=(5148439,useless=2569322), ccks=7065171, wck=5.568, mem=66M225
11.45/7.92 decisions=93897, wrong=45308, backtracks=32572, failedAssignments=26705, nogoods=1022, foundSolutions=23, bestBound=50
11.45/7.92
11.45/7.93 num=210, depth=11..21, filters=3385352, revisions=(5152999,useless=2571664), ccks=7070970, wck=5.573, mem=66M225
11.45/7.93 decisions=94019, wrong=45363, backtracks=32610, failedAssignments=26739, nogoods=1024, foundSolutions=23, bestBound=50
11.45/7.93
11.45/7.93 num=211, depth=8..19, filters=3389389, revisions=(5159430,useless=2574715), ccks=7078639, wck=5.579, mem=66M225
11.45/7.93 decisions=94179, wrong=45439, backtracks=32664, failedAssignments=26776, nogoods=1029, foundSolutions=23, bestBound=50
11.45/7.93
11.45/7.94 num=212, depth=11..22, filters=3394247, revisions=(5166815,useless=2578110), ccks=7087469, wck=5.587, mem=66M225
11.45/7.94 decisions=94341, wrong=45514, backtracks=32719, failedAssignments=26817, nogoods=1036, foundSolutions=23, bestBound=50
11.45/7.94
11.45/7.94 num=213, depth=13..29, filters=3397711, revisions=(5171744,useless=2580074), ccks=7093387, wck=5.592, mem=66M225
11.45/7.94 decisions=94517, wrong=45592, backtracks=32765, failedAssignments=26862, nogoods=1038, foundSolutions=23, bestBound=50
11.45/7.94
11.45/7.95 num=214, depth=11..19, filters=3401958, revisions=(5178537,useless=2583351), ccks=7103101, wck=5.598, mem=66M225
11.45/7.95 decisions=94720, wrong=45688, backtracks=32824, failedAssignments=26912, nogoods=1040, foundSolutions=23, bestBound=50
11.45/7.95
11.45/7.96 num=215, depth=12..22, filters=3409938, revisions=(5189125,useless=2587746), ccks=7117377, wck=5.61, mem=66M225
11.45/7.96 decisions=94975, wrong=45807, backtracks=32909, failedAssignments=26967, nogoods=1046, foundSolutions=23, bestBound=50
11.45/7.96
11.45/7.98 num=216, depth=12..20, filters=3419277, revisions=(5201703,useless=2592922), ccks=7133599, wck=5.624, mem=66M225
11.45/7.98 decisions=95259, wrong=45943, backtracks=33012, failedAssignments=27028, nogoods=1048, foundSolutions=23, bestBound=50
11.45/7.98
11.45/7.99 num=217, depth=12..20, filters=3427747, revisions=(5212757,useless=2597537), ccks=7147810, wck=5.636, mem=66M225
11.45/7.99 decisions=95495, wrong=46054, backtracks=33086, failedAssignments=27095, nogoods=1056, foundSolutions=23, bestBound=50
11.45/7.99
11.45/8.00 num=218, depth=13..22, filters=3438055, revisions=(5226430,useless=2603109), ccks=7166064, wck=5.651, mem=66M225
11.45/8.00 decisions=95786, wrong=46192, backtracks=33178, failedAssignments=27169, nogoods=1063, foundSolutions=23, bestBound=50
11.45/8.00
11.58/8.02 num=219, depth=8..19, filters=3447666, revisions=(5241571,useless=2610352), ccks=7183473, wck=5.665, mem=66M225
11.58/8.02 decisions=96082, wrong=46333, backtracks=33271, failedAssignments=27250, nogoods=1068, foundSolutions=23, bestBound=50
11.58/8.02
11.58/8.03 num=220, depth=6..14, filters=3453009, revisions=(5255142,useless=2619493), ccks=7200678, wck=5.675, mem=66M225
11.58/8.03 decisions=96463, wrong=46519, backtracks=33432, failedAssignments=27339, nogoods=1072, foundSolutions=23, bestBound=50
11.58/8.03
11.58/8.04 num=221, depth=11..19, filters=3464210, revisions=(5270928,useless=2626327), ccks=7220301, wck=5.692, mem=66M225
11.58/8.04 decisions=96788, wrong=46675, backtracks=33544, failedAssignments=27437, nogoods=1077, foundSolutions=23, bestBound=50
11.58/8.04
11.58/8.06 num=222, depth=10..21, filters=3472912, revisions=(5284265,useless=2633121), ccks=7237711, wck=5.706, mem=66M225
11.58/8.06 decisions=97139, wrong=46844, backtracks=33689, failedAssignments=27545, nogoods=1080, foundSolutions=23, bestBound=50
11.58/8.06
11.58/8.08 num=223, depth=12..22, filters=3486091, revisions=(5301586,useless=2640083), ccks=7259792, wck=5.725, mem=66M225
11.58/8.08 decisions=97551, wrong=47043, backtracks=33836, failedAssignments=27664, nogoods=1086, foundSolutions=23, bestBound=50
11.58/8.08
11.58/8.10 num=224, depth=11..24, filters=3498836, revisions=(5319172,useless=2647353), ccks=7280865, wck=5.742, mem=66M225
11.58/8.10 decisions=97966, wrong=47243, backtracks=33954, failedAssignments=27795, nogoods=1098, foundSolutions=23, bestBound=50
11.58/8.10
11.68/8.12 num=225, depth=11..24, filters=3515521, revisions=(5341629,useless=2656178), ccks=7306581, wck=5.766, mem=66M225
11.68/8.12 decisions=98495, wrong=47500, backtracks=34152, failedAssignments=27939, nogoods=1103, foundSolutions=23, bestBound=50
11.68/8.12
11.68/8.14 num=226, depth=11..19, filters=3533764, revisions=(5364556,useless=2665202), ccks=7336031, wck=5.792, mem=66M225
11.68/8.14 decisions=99023, wrong=47758, backtracks=34326, failedAssignments=28097, nogoods=1109, foundSolutions=23, bestBound=50
11.68/8.14
11.68/8.17 num=227, depth=11..21, filters=3553003, revisions=(5390138,useless=2675430), ccks=7368473, wck=5.819, mem=66M225
11.68/8.17 decisions=99599, wrong=48039, backtracks=34533, failedAssignments=28271, nogoods=1116, foundSolutions=23, bestBound=50
11.68/8.17
11.77/8.21 num=228, depth=10..22, filters=3577574, revisions=(5421468,useless=2688027), ccks=7408289, wck=5.853, mem=66M225
11.77/8.21 decisions=100215, wrong=48341, backtracks=34752, failedAssignments=28462, nogoods=1123, foundSolutions=23, bestBound=50
11.77/8.21
11.77/8.24 num=229, depth=11..21, filters=3604133, revisions=(5456319,useless=2702191), ccks=7451343, wck=5.89, mem=66M225
11.77/8.24 decisions=100934, wrong=48693, backtracks=35002, failedAssignments=28673, nogoods=1128, foundSolutions=23, bestBound=50
11.77/8.24
11.77/8.28 num=230, depth=11..21, filters=3628424, revisions=(5487823,useless=2714403), ccks=7490572, wck=5.924, mem=66M225
11.77/8.28 decisions=101695, wrong=49066, backtracks=35259, failedAssignments=28905, nogoods=1136, foundSolutions=23, bestBound=50
11.77/8.28
11.87/8.32 num=231, depth=7..22, filters=3659136, revisions=(5533571,useless=2735088), ccks=7541100, wck=5.968, mem=66M225
11.87/8.32 decisions=102691, wrong=49557, backtracks=35618, failedAssignments=29160, nogoods=1147, foundSolutions=23, bestBound=50
11.87/8.32
11.87/8.37 num=232, depth=11..22, filters=3691957, revisions=(5576592,useless=2752281), ccks=7596135, wck=6.014, mem=66M225
11.87/8.37 decisions=103688, wrong=50048, backtracks=35981, failedAssignments=29441, nogoods=1157, foundSolutions=23, bestBound=50
11.87/8.37
11.97/8.42 num=233, depth=11..23, filters=3730350, revisions=(5626996,useless=2772826), ccks=7659945, wck=6.068, mem=66M225
11.97/8.42 decisions=104764, wrong=50579, backtracks=36373, failedAssignments=29750, nogoods=1167, foundSolutions=23, bestBound=50
11.97/8.42
11.97/8.48 num=234, depth=10..21, filters=3776409, revisions=(5684287,useless=2795065), ccks=7735721, wck=6.131, mem=66M225
11.97/8.48 decisions=105929, wrong=51155, backtracks=36838, failedAssignments=30090, nogoods=1173, foundSolutions=23, bestBound=50
11.97/8.48
12.07/8.55 num=235, depth=10..21, filters=3822028, revisions=(5740380,useless=2816497), ccks=7809651, wck=6.194, mem=66M225
12.07/8.55 decisions=107207, wrong=51787, backtracks=37270, failedAssignments=30464, nogoods=1177, foundSolutions=23, bestBound=50
12.07/8.55
12.17/8.62 num=236, depth=10..25, filters=3875025, revisions=(5807720,useless=2842914), ccks=7895136, wck=6.267, mem=66M225
12.17/8.62 decisions=108638, wrong=52496, backtracks=37783, failedAssignments=30875, nogoods=1183, foundSolutions=23, bestBound=50
12.17/8.62
12.17/8.69 num=237, depth=10..21, filters=3929581, revisions=(5875328,useless=2869209), ccks=7985182, wck=6.341, mem=66M225
12.17/8.69 decisions=110151, wrong=53246, backtracks=38335, failedAssignments=31327, nogoods=1190, foundSolutions=23, bestBound=50
12.17/8.69
12.27/8.77 num=238, depth=10..24, filters=3981647, revisions=(5941927,useless=2895423), ccks=8073186, wck=6.415, mem=66M225
12.27/8.77 decisions=111794, wrong=54061, backtracks=38912, failedAssignments=31824, nogoods=1195, foundSolutions=23, bestBound=50
12.27/8.77
12.37/8.86 num=239, depth=10..25, filters=4045535, revisions=(6023369,useless=2927222), ccks=8178720, wck=6.502, mem=66M225
12.37/8.86 decisions=113639, wrong=54978, backtracks=39542, failedAssignments=32371, nogoods=1202, foundSolutions=23, bestBound=50
12.37/8.86
12.47/8.96 num=240, depth=10..31, filters=4118078, revisions=(6119125,useless=2966959), ccks=8301869, wck=6.604, mem=66M225
12.47/8.96 decisions=115668, wrong=55985, backtracks=40332, failedAssignments=32973, nogoods=1210, foundSolutions=23, bestBound=50
12.47/8.96
12.58/9.07 num=241, depth=9..22, filters=4200508, revisions=(6222490,useless=3007385), ccks=8442492, wck=6.718, mem=68M868
12.58/9.07 decisions=118009, wrong=57148, backtracks=41208, failedAssignments=33635, nogoods=1215, foundSolutions=23, bestBound=50
12.58/9.07
12.77/9.20 num=242, depth=9..21, filters=4292329, revisions=(6336940,useless=3051518), ccks=8598711, wck=6.846, mem=68M868
12.77/9.20 decisions=120509, wrong=58391, backtracks=42170, failedAssignments=34363, nogoods=1226, foundSolutions=23, bestBound=50
12.77/9.20
12.87/9.33 num=243, depth=9..24, filters=4386542, revisions=(6457476,useless=3098945), ccks=8755662, wck=6.978, mem=68M868
12.87/9.33 decisions=123270, wrong=59764, backtracks=43154, failedAssignments=35164, nogoods=1235, foundSolutions=23, bestBound=50
12.87/9.33
12.97/9.48 num=244, depth=9..21, filters=4491523, revisions=(6600598,useless=3159064), ccks=8942435, wck=7.125, mem=68M868
12.97/9.48 decisions=126326, wrong=61286, backtracks=44343, failedAssignments=36045, nogoods=1241, foundSolutions=23, bestBound=50
12.97/9.48
13.18/9.65 num=245, depth=8..23, filters=4614852, revisions=(6750257,useless=3217403), ccks=9150732, wck=7.295, mem=68M868
13.18/9.65 decisions=129675, wrong=62954, backtracks=45564, failedAssignments=37015, nogoods=1249, foundSolutions=23, bestBound=50
13.18/9.65
13.28/9.78 num=246, depth=0..26, filters=4701204, revisions=(6905107,useless=3301804), ccks=9353938, wck=7.429, mem=68M868
13.28/9.78 decisions=133772, wrong=64995, backtracks=46939, failedAssignments=38082, nogoods=1258, foundSolutions=23, bestBound=50
13.28/9.78
13.58/10.03 num=247, depth=9..25, filters=4871966, revisions=(7141438,useless=3407753), ccks=9682480, wck=7.678, mem=68M868
13.58/10.03 decisions=138144, wrong=67176, backtracks=48537, failedAssignments=39255, nogoods=1266, foundSolutions=23, bestBound=50
13.58/10.03
13.78/10.23 num=248, depth=9..29, filters=5016240, revisions=(7339745,useless=3487454), ccks=9936860, wck=7.882, mem=68M868
13.78/10.23 decisions=142918, wrong=69555, backtracks=50191, failedAssignments=40546, nogoods=1277, foundSolutions=23, bestBound=50
13.78/10.23
13.98/10.43 num=249, depth=5..33, filters=5147171, revisions=(7583012,useless=3613342), ccks=10187179, wck=8.073, mem=68M868
13.98/10.43 decisions=149474, wrong=72828, backtracks=52797, failedAssignments=41966, nogoods=1282, foundSolutions=23, bestBound=50
13.98/10.43
14.28/10.71 num=250, depth=3..24, filters=5351473, revisions=(7915532,useless=3773974), ccks=10545641, wck=8.362, mem=68M868
14.28/10.71 decisions=155947, wrong=76060, backtracks=55345, failedAssignments=43528, nogoods=1289, foundSolutions=23, bestBound=50
14.28/10.71
14.59/11.04 num=251, depth=9..22, filters=5589782, revisions=(8228842,useless=3906480), ccks=10961627, wck=8.69, mem=68M868
14.59/11.04 decisions=162097, wrong=79128, backtracks=57791, failedAssignments=45246, nogoods=1300, foundSolutions=23, bestBound=50
14.59/11.04
14.89/11.39 num=252, depth=8..29, filters=5831108, revisions=(8553040,useless=4040728), ccks=11390916, wck=9.033, mem=68M868
14.89/11.39 decisions=169320, wrong=82732, backtracks=60643, failedAssignments=47136, nogoods=1303, foundSolutions=23, bestBound=50
14.89/11.39
15.19/11.68 num=253, depth=7..24, filters=6039343, revisions=(8842914,useless=4170545), ccks=11805798, wck=9.327, mem=68M868
15.19/11.68 decisions=176885, wrong=86509, backtracks=63615, failedAssignments=49215, nogoods=1311, foundSolutions=23, bestBound=50
15.19/11.68
15.60/12.08 num=254, depth=7..23, filters=6334459, revisions=(9221205,useless=4324061), ccks=12323079, wck=9.726, mem=68M868
15.60/12.08 decisions=185048, wrong=90584, backtracks=66573, failedAssignments=51502, nogoods=1320, foundSolutions=23, bestBound=50
15.60/12.08
16.09/12.52 num=255, depth=7..28, filters=6647935, revisions=(9638690,useless=4492788), ccks=12879889, wck=10.162, mem=68M868
16.09/12.52 decisions=194396, wrong=95253, backtracks=70174, failedAssignments=54018, nogoods=1327, foundSolutions=23, bestBound=50
16.09/12.52
16.60/13.05 num=256, depth=8..28, filters=7036716, revisions=(10141275,useless=4700559), ccks=13566127, wck=10.697, mem=68M868
16.60/13.05 decisions=204715, wrong=100408, backtracks=74172, failedAssignments=56786, nogoods=1339, foundSolutions=23, bestBound=50
16.60/13.05
17.19/13.63 o 42
17.19/13.63 num=257, depth=7..270, filters=7445358, revisions=(10698227,useless=4936553), ccks=14302335, wck=11.275, mem=68M868
17.19/13.63 decisions=215664, wrong=105876, backtracks=78547, failedAssignments=59631, nogoods=1353, foundSolutions=24, bestBound=42
17.19/13.63
17.70/14.14 o 38
17.70/14.14 num=258, depth=9..270, filters=7810520, revisions=(11174248,useless=5131781), ccks=14913677, wck=11.783, mem=68M868
17.70/14.14 decisions=225472, wrong=110773, backtracks=82211, failedAssignments=62276, nogoods=1362, foundSolutions=25, bestBound=38
17.70/14.14
17.70/14.14 num=259, depth=12..17, filters=7812102, revisions=(11176828,useless=5133078), ccks=14916932, wck=11.787, mem=68M868
17.70/14.14 decisions=225520, wrong=110790, backtracks=82224, failedAssignments=62287, nogoods=1365, foundSolutions=25, bestBound=38
17.70/14.14
17.70/14.14 num=260, depth=12..18, filters=7813769, revisions=(11179318,useless=5134244), ccks=14919371, wck=11.789, mem=68M868
17.70/14.14 decisions=225575, wrong=110810, backtracks=82236, failedAssignments=62298, nogoods=1370, foundSolutions=25, bestBound=38
17.70/14.14
17.70/14.14 num=261, depth=12..17, filters=7815329, revisions=(11181854,useless=5135541), ccks=14921693, wck=11.792, mem=68M868
17.70/14.14 decisions=225621, wrong=110827, backtracks=82246, failedAssignments=62310, nogoods=1374, foundSolutions=25, bestBound=38
17.70/14.14
17.70/14.15 num=262, depth=11..18, filters=7817716, revisions=(11185388,useless=5137213), ccks=14925159, wck=11.796, mem=71M510
17.70/14.15 decisions=225683, wrong=110851, backtracks=82263, failedAssignments=62323, nogoods=1379, foundSolutions=25, bestBound=38
17.70/14.15
17.70/14.15 num=263, depth=12..16, filters=7819189, revisions=(11187852,useless=5138431), ccks=14927932, wck=11.798, mem=71M510
17.70/14.15 decisions=225743, wrong=110875, backtracks=82278, failedAssignments=62337, nogoods=1383, foundSolutions=25, bestBound=38
17.70/14.15
17.70/14.15 num=264, depth=11..18, filters=7821125, revisions=(11190877,useless=5139875), ccks=14931619, wck=11.801, mem=71M510
17.70/14.15 decisions=225819, wrong=110907, backtracks=82302, failedAssignments=62353, nogoods=1386, foundSolutions=25, bestBound=38
17.70/14.15
17.70/14.16 num=265, depth=11..19, filters=7823181, revisions=(11194129,useless=5141421), ccks=14935228, wck=11.804, mem=71M510
17.70/14.16 decisions=225899, wrong=110941, backtracks=82330, failedAssignments=62370, nogoods=1389, foundSolutions=25, bestBound=38
17.70/14.16
17.70/14.16 num=266, depth=11..18, filters=7825437, revisions=(11197593,useless=5142979), ccks=14939173, wck=11.808, mem=71M510
17.70/14.16 decisions=225978, wrong=110974, backtracks=82351, failedAssignments=62389, nogoods=1394, foundSolutions=25, bestBound=38
17.70/14.16
17.70/14.17 num=267, depth=11..16, filters=7828435, revisions=(11201917,useless=5144980), ccks=14944218, wck=11.813, mem=71M510
17.70/14.17 decisions=226061, wrong=111010, backtracks=82379, failedAssignments=62410, nogoods=1399, foundSolutions=25, bestBound=38
17.70/14.17
17.70/14.17 num=268, depth=11..18, filters=7831232, revisions=(11206252,useless=5147042), ccks=14948690, wck=11.817, mem=71M510
17.70/14.17 decisions=226142, wrong=111045, backtracks=82401, failedAssignments=62433, nogoods=1403, foundSolutions=25, bestBound=38
17.70/14.17
17.70/14.18 num=269, depth=10..19, filters=7834444, revisions=(11211128,useless=5149310), ccks=14954505, wck=11.822, mem=71M510
17.70/14.18 decisions=226244, wrong=111089, backtracks=82430, failedAssignments=62458, nogoods=1411, foundSolutions=25, bestBound=38
17.70/14.18
17.70/14.18 num=270, depth=12..20, filters=7838270, revisions=(11216849,useless=5151987), ccks=14961076, wck=11.828, mem=71M510
17.70/14.18 decisions=226361, wrong=111141, backtracks=82472, failedAssignments=62486, nogoods=1417, foundSolutions=25, bestBound=38
17.70/14.18
17.70/14.19 num=271, depth=11..19, filters=7842941, revisions=(11223836,useless=5155153), ccks=14968989, wck=11.835, mem=71M510
17.70/14.19 decisions=226494, wrong=111201, backtracks=82517, failedAssignments=62517, nogoods=1424, foundSolutions=25, bestBound=38
17.70/14.19
17.70/14.20 num=272, depth=10..19, filters=7847522, revisions=(11230931,useless=5158532), ccks=14977261, wck=11.843, mem=71M510
17.70/14.20 decisions=226642, wrong=111269, backtracks=82568, failedAssignments=62551, nogoods=1432, foundSolutions=25, bestBound=38
17.70/14.20
17.79/14.20 num=273, depth=11..19, filters=7852218, revisions=(11237707,useless=5161584), ccks=14984952, wck=11.85, mem=71M510
17.79/14.20 decisions=226779, wrong=111331, backtracks=82612, failedAssignments=62588, nogoods=1438, foundSolutions=25, bestBound=38
17.79/14.20
17.79/14.21 num=274, depth=10..18, filters=7858708, revisions=(11247025,useless=5165635), ccks=14995361, wck=11.86, mem=71M510
17.79/14.21 decisions=226955, wrong=111412, backtracks=82673, failedAssignments=62629, nogoods=1441, foundSolutions=25, bestBound=38
17.79/14.21
17.79/14.22 num=275, depth=11..22, filters=7863863, revisions=(11254557,useless=5168940), ccks=15004310, wck=11.867, mem=71M510
17.79/14.22 decisions=227145, wrong=111500, backtracks=82730, failedAssignments=62674, nogoods=1445, foundSolutions=25, bestBound=38
17.79/14.22
17.79/14.23 num=276, depth=10..17, filters=7870484, revisions=(11263261,useless=5172658), ccks=15014853, wck=11.877, mem=71M510
17.79/14.23 decisions=227340, wrong=111591, backtracks=82794, failedAssignments=62724, nogoods=1447, foundSolutions=25, bestBound=38
17.79/14.23
17.79/14.24 num=277, depth=11..21, filters=7878062, revisions=(11272905,useless=5176457), ccks=15026104, wck=11.888, mem=71M510
17.79/14.24 decisions=227553, wrong=111691, backtracks=82864, failedAssignments=62779, nogoods=1451, foundSolutions=25, bestBound=38
17.79/14.24
17.79/14.25 num=278, depth=11..18, filters=7885040, revisions=(11282280,useless=5180280), ccks=15037068, wck=11.898, mem=71M510
17.79/14.25 decisions=227762, wrong=111790, backtracks=82929, failedAssignments=62840, nogoods=1453, foundSolutions=25, bestBound=38
17.79/14.25
17.79/14.26 num=279, depth=11..22, filters=7893123, revisions=(11292971,useless=5184534), ccks=15049137, wck=11.91, mem=71M510
17.79/14.26 decisions=228010, wrong=111906, backtracks=83014, failedAssignments=62907, nogoods=1460, foundSolutions=25, bestBound=38
17.79/14.26
17.79/14.27 num=280, depth=11..23, filters=7900133, revisions=(11302752,useless=5188567), ccks=15060958, wck=11.921, mem=71M510
17.79/14.27 decisions=228259, wrong=112023, backtracks=83084, failedAssignments=62981, nogoods=1467, foundSolutions=25, bestBound=38
17.79/14.27
17.79/14.29 num=281, depth=11..19, filters=7909848, revisions=(11315768,useless=5193878), ccks=15076173, wck=11.936, mem=71M510
17.79/14.29 decisions=228548, wrong=112161, backtracks=83180, failedAssignments=63062, nogoods=1471, foundSolutions=25, bestBound=38
17.79/14.29
17.90/14.30 num=282, depth=11..20, filters=7919188, revisions=(11330335,useless=5200927), ccks=15091624, wck=11.95, mem=71M510
17.90/14.30 decisions=228836, wrong=112298, backtracks=83298, failedAssignments=63151, nogoods=1475, foundSolutions=25, bestBound=38
17.90/14.30
17.90/14.32 num=283, depth=12..20, filters=7929148, revisions=(11344442,useless=5206983), ccks=15106433, wck=11.965, mem=71M510
17.90/14.32 decisions=229142, wrong=112444, backtracks=83399, failedAssignments=63249, nogoods=1481, foundSolutions=25, bestBound=38
17.90/14.32
17.90/14.34 num=284, depth=11..25, filters=7941810, revisions=(11362859,useless=5215062), ccks=15127123, wck=11.985, mem=71M510
17.90/14.34 decisions=229558, wrong=112645, backtracks=83538, failedAssignments=63357, nogoods=1489, foundSolutions=25, bestBound=38
17.90/14.34
17.90/14.36 num=285, depth=11..19, filters=7957301, revisions=(11383980,useless=5223765), ccks=15151231, wck=12.008, mem=71M510
17.90/14.36 decisions=229994, wrong=112856, backtracks=83688, failedAssignments=63476, nogoods=1498, foundSolutions=25, bestBound=38
17.90/14.36
17.90/14.39 num=286, depth=10..22, filters=7974096, revisions=(11405888,useless=5232513), ccks=15177541, wck=12.032, mem=71M510
17.90/14.39 decisions=230485, wrong=113095, backtracks=83859, failedAssignments=63607, nogoods=1502, foundSolutions=25, bestBound=38
17.90/14.39
18.00/14.41 num=287, depth=11..22, filters=7991781, revisions=(11430095,useless=5242331), ccks=15205121, wck=12.058, mem=71M510
18.00/14.41 decisions=231005, wrong=113348, backtracks=84037, failedAssignments=63751, nogoods=1511, foundSolutions=25, bestBound=38
18.00/14.41
18.00/14.44 num=288, depth=11..21, filters=8009487, revisions=(11453591,useless=5251936), ccks=15232169, wck=12.082, mem=71M510
18.00/14.44 decisions=231530, wrong=113603, backtracks=84199, failedAssignments=63909, nogoods=1527, foundSolutions=25, bestBound=38
18.00/14.44
18.00/14.47 num=289, depth=11..28, filters=8029697, revisions=(11483992,useless=5265295), ccks=15266598, wck=12.113, mem=71M510
18.00/14.47 decisions=232137, wrong=113899, backtracks=84402, failedAssignments=64083, nogoods=1538, foundSolutions=25, bestBound=38
18.00/14.47
18.10/14.50 num=290, depth=11..19, filters=8054985, revisions=(11518419,useless=5279376), ccks=15304798, wck=12.149, mem=71M510
18.10/14.50 decisions=232809, wrong=114229, backtracks=84642, failedAssignments=64274, nogoods=1548, foundSolutions=25, bestBound=38
18.10/14.50
18.10/14.54 num=291, depth=4..26, filters=8078301, revisions=(11560663,useless=5301099), ccks=15349138, wck=12.186, mem=71M510
18.10/14.54 decisions=233720, wrong=114674, backtracks=84944, failedAssignments=64485, nogoods=1550, foundSolutions=25, bestBound=38
18.10/14.54
18.10/14.58 num=292, depth=10..25, filters=8104145, revisions=(11596257,useless=5315619), ccks=15391142, wck=12.224, mem=71M510
18.10/14.58 decisions=234558, wrong=115086, backtracks=85219, failedAssignments=64717, nogoods=1556, foundSolutions=25, bestBound=38
18.10/14.58
18.20/14.62 num=293, depth=10..27, filters=8134057, revisions=(11635900,useless=5330814), ccks=15437161, wck=12.267, mem=71M510
18.20/14.62 decisions=235438, wrong=115520, backtracks=85501, failedAssignments=64972, nogoods=1563, foundSolutions=25, bestBound=38
18.20/14.62
18.20/14.67 num=294, depth=10..26, filters=8167645, revisions=(11684342,useless=5350946), ccks=15495808, wck=12.316, mem=71M510
18.20/14.67 decisions=236557, wrong=116074, backtracks=85893, failedAssignments=65253, nogoods=1574, foundSolutions=25, bestBound=38
18.20/14.67
18.30/14.72 num=295, depth=10..25, filters=8203153, revisions=(11729646,useless=5368486), ccks=15550650, wck=12.365, mem=71M510
18.30/14.72 decisions=237624, wrong=116602, backtracks=86269, failedAssignments=65562, nogoods=1583, foundSolutions=25, bestBound=38
18.30/14.72
18.30/14.77 num=296, depth=10..25, filters=8241441, revisions=(11780920,useless=5388986), ccks=15610358, wck=12.419, mem=71M510
18.30/14.77 decisions=238789, wrong=117179, backtracks=86661, failedAssignments=65902, nogoods=1593, foundSolutions=25, bestBound=38
18.30/14.77
18.40/14.82 num=297, depth=10..31, filters=8275670, revisions=(11829434,useless=5409257), ccks=15665078, wck=12.469, mem=71M510
18.40/14.82 decisions=240130, wrong=117843, backtracks=87110, failedAssignments=66276, nogoods=1603, foundSolutions=25, bestBound=38
18.40/14.82
18.40/14.89 num=298, depth=8..20, filters=8318972, revisions=(11903959,useless=5448650), ccks=15749511, wck=12.535, mem=71M510
18.40/14.89 decisions=241685, wrong=118615, backtracks=87722, failedAssignments=66687, nogoods=1608, foundSolutions=25, bestBound=38
18.40/14.89
18.51/14.96 num=299, depth=9..26, filters=8366987, revisions=(11970613,useless=5475792), ccks=15827472, wck=12.605, mem=71M510
18.51/14.96 decisions=243347, wrong=119439, backtracks=88314, failedAssignments=67139, nogoods=1613, foundSolutions=25, bestBound=38
18.51/14.96
18.62/15.04 num=300, depth=10..21, filters=8426957, revisions=(12052542,useless=5510979), ccks=15924289, wck=12.691, mem=71M510
18.62/15.04 decisions=245088, wrong=120304, backtracks=88962, failedAssignments=67636, nogoods=1620, foundSolutions=25, bestBound=38
18.62/15.04
18.72/15.13 num=301, depth=9..20, filters=8488153, revisions=(12136959,useless=5546343), ccks=16028214, wck=12.778, mem=71M510
18.72/15.13 decisions=247152, wrong=121329, backtracks=89722, failedAssignments=68183, nogoods=1628, foundSolutions=25, bestBound=38
18.72/15.13
18.81/15.25 num=302, depth=8..20, filters=8573432, revisions=(12255608,useless=5598268), ccks=16169802, wck=12.897, mem=71M510
18.81/15.25 decisions=249355, wrong=122424, backtracks=90614, failedAssignments=68785, nogoods=1634, foundSolutions=25, bestBound=38
18.81/15.25
18.91/15.37 num=303, depth=9..27, filters=8657238, revisions=(12372152,useless=5648056), ccks=16309263, wck=13.021, mem=71M510
18.91/15.37 decisions=251748, wrong=123615, backtracks=91573, failedAssignments=69447, nogoods=1641, foundSolutions=25, bestBound=38
18.91/15.37
19.11/15.52 num=304, depth=9..21, filters=8760474, revisions=(12508860,useless=5705706), ccks=16473497, wck=13.167, mem=71M510
19.11/15.52 decisions=254346, wrong=124908, backtracks=92618, failedAssignments=70175, nogoods=1652, foundSolutions=25, bestBound=38
19.11/15.52
19.22/15.69 num=305, depth=9..21, filters=8875249, revisions=(12670619,useless=5775647), ccks=16660539, wck=13.334, mem=71M510
19.22/15.69 decisions=257299, wrong=126377, backtracks=93813, failedAssignments=70976, nogoods=1665, foundSolutions=25, bestBound=38
19.22/15.69
19.42/15.86 num=306, depth=8..23, filters=8995286, revisions=(12827053,useless=5840122), ccks=16846254, wck=13.502, mem=71M510
19.42/15.86 decisions=260404, wrong=127923, backtracks=94973, failedAssignments=71857, nogoods=1672, foundSolutions=25, bestBound=38
19.42/15.86
19.63/16.02 num=307, depth=9..27, filters=9108031, revisions=(12998817,useless=5917237), ccks=17044646, wck=13.669, mem=71M510
19.63/16.02 decisions=264088, wrong=129759, backtracks=96340, failedAssignments=72827, nogoods=1685, foundSolutions=25, bestBound=38
19.63/16.02
19.82/16.22 num=308, depth=8..24, filters=9251426, revisions=(13186875,useless=5995121), ccks=17271727, wck=13.871, mem=71M510
19.82/16.22 decisions=267895, wrong=131656, backtracks=97793, failedAssignments=73894, nogoods=1691, foundSolutions=25, bestBound=38
19.82/16.22
20.02/16.41 num=309, depth=9..31, filters=9377867, revisions=(13380549,useless=6084027), ccks=17484001, wck=14.057, mem=71M510
20.02/16.41 decisions=272294, wrong=133849, backtracks=99435, failedAssignments=75067, nogoods=1703, foundSolutions=25, bestBound=38
20.02/16.41
20.22/16.65 num=310, depth=8..25, filters=9540503, revisions=(13603541,useless=6181143), ccks=17755920, wck=14.293, mem=71M510
20.22/16.65 decisions=276997, wrong=136193, backtracks=101267, failedAssignments=76358, nogoods=1713, foundSolutions=25, bestBound=38
20.22/16.65
20.52/16.92 num=311, depth=8..21, filters=9733501, revisions=(13859374,useless=6287463), ccks=18066427, wck=14.568, mem=71M510
20.52/16.92 decisions=282092, wrong=138734, backtracks=103260, failedAssignments=77778, nogoods=1724, foundSolutions=25, bestBound=38
20.52/16.92
20.82/17.20 num=312, depth=8..27, filters=9932517, revisions=(14124350,useless=6395129), ccks=18378282, wck=14.848, mem=71M510
20.82/17.20 decisions=287834, wrong=141599, backtracks=105354, failedAssignments=79340, nogoods=1735, foundSolutions=25, bestBound=38
20.82/17.20
21.12/17.52 num=313, depth=7..27, filters=10157712, revisions=(14425914,useless=6521660), ccks=18739365, wck=15.166, mem=71M510
21.12/17.52 decisions=294387, wrong=144869, backtracks=107770, failedAssignments=81058, nogoods=1739, foundSolutions=25, bestBound=38
21.12/17.52
21.42/17.88 num=314, depth=8..27, filters=10415681, revisions=(14777795,useless=6668851), ccks=19152335, wck=15.528, mem=71M510
21.42/17.88 decisions=301469, wrong=148403, backtracks=110397, failedAssignments=82948, nogoods=1749, foundSolutions=25, bestBound=38
21.42/17.88
21.82/18.25 num=315, depth=7..31, filters=10673435, revisions=(15136354,useless=6822790), ccks=19568123, wck=15.9, mem=74M152
21.82/18.25 decisions=309095, wrong=152211, backtracks=113198, failedAssignments=85027, nogoods=1753, foundSolutions=25, bestBound=38
21.82/18.25
22.22/18.68 num=316, depth=7..25, filters=10982522, revisions=(15543019,useless=6990058), ccks=20060167, wck=16.332, mem=74M152
22.22/18.68 decisions=317550, wrong=156433, backtracks=116363, failedAssignments=87314, nogoods=1759, foundSolutions=25, bestBound=38
22.22/18.68
22.73/19.17 num=317, depth=7..30, filters=11316875, revisions=(16008147,useless=7188032), ccks=20612509, wck=16.812, mem=74M152
22.73/19.17 decisions=327006, wrong=161157, backtracks=119914, failedAssignments=89830, nogoods=1764, foundSolutions=25, bestBound=38
22.73/19.17
23.32/19.71 num=318, depth=7..21, filters=11705620, revisions=(16527635,useless=7404547), ccks=21235645, wck=17.354, mem=74M152
23.32/19.71 decisions=337240, wrong=166267, backtracks=123843, failedAssignments=92598, nogoods=1772, foundSolutions=25, bestBound=38
23.32/19.71
23.82/20.27 num=319, depth=7..28, filters=12108145, revisions=(17066384,useless=7624731), ccks=21887811, wck=17.922, mem=74M152
23.82/20.27 decisions=348818, wrong=172051, backtracks=128019, failedAssignments=95642, nogoods=1780, foundSolutions=25, bestBound=38
23.82/20.27
24.52/20.95 num=320, depth=7..25, filters=12586325, revisions=(17709248,useless=7898633), ccks=22658130, wck=18.597, mem=74M152
24.52/20.95 decisions=361321, wrong=178296, backtracks=132906, failedAssignments=98991, nogoods=1793, foundSolutions=25, bestBound=38
24.52/20.95
25.22/21.65 num=321, depth=6..24, filters=13093439, revisions=(18368126,useless=8164139), ccks=23461701, wck=19.3, mem=74M152
25.22/21.65 decisions=375154, wrong=185206, backtracks=138006, failedAssignments=102675, nogoods=1800, foundSolutions=25, bestBound=38
25.22/21.65
26.02/22.44 num=322, depth=6..28, filters=13652572, revisions=(19120257,useless=8474975), ccks=24364118, wck=20.084, mem=74M152
26.02/22.44 decisions=390604, wrong=192925, backtracks=143846, failedAssignments=106727, nogoods=1809, foundSolutions=25, bestBound=38
26.02/22.44
26.82/23.23 num=323, depth=7..31, filters=14230592, revisions=(19910196,useless=8809288), ccks=25294980, wck=20.88, mem=74M152
26.82/23.23 decisions=407452, wrong=201343, backtracks=150089, failedAssignments=111184, nogoods=1818, foundSolutions=25, bestBound=38
26.82/23.23
27.73/24.15 num=324, depth=2..30, filters=14819829, revisions=(21179402,useless=9546054), ccks=26523338, wck=21.797, mem=74M152
27.73/24.15 decisions=428846, wrong=212031, backtracks=158115, failedAssignments=116087, nogoods=1825, foundSolutions=25, bestBound=38
27.73/24.15
28.82/25.29 num=325, depth=5..32, filters=15594836, revisions=(22335477,useless=10075451), ccks=27896728, wck=22.934, mem=74M152
28.82/25.29 decisions=449843, wrong=222525, backtracks=166777, failedAssignments=121481, nogoods=1836, foundSolutions=25, bestBound=38
28.82/25.29
30.12/26.56 num=326, depth=6..23, filters=16512131, revisions=(23532688,useless=10566182), ccks=29361709, wck=24.202, mem=76M795
30.12/26.56 decisions=472937, wrong=234068, backtracks=175794, failedAssignments=127414, nogoods=1849, foundSolutions=25, bestBound=38
30.12/26.56
31.42/27.87 num=327, depth=6..31, filters=17422949, revisions=(24822797,useless=11134105), ccks=30878567, wck=25.518, mem=76M795
31.42/27.87 decisions=497542, wrong=246365, backtracks=185451, failedAssignments=133940, nogoods=1859, foundSolutions=25, bestBound=38
31.42/27.87
32.82/29.24 o 34
32.82/29.24 num=328, depth=6..270, filters=18360183, revisions=(26190808,useless=11770795), ccks=32483558, wck=26.884, mem=76M795
32.82/29.24 decisions=521676, wrong=258425, backtracks=195401, failedAssignments=140092, nogoods=1870, foundSolutions=26, bestBound=34
32.82/29.24
34.42/30.84 num=329, depth=6..31, filters=19474646, revisions=(27720325,useless=12421972), ccks=34351473, wck=28.483, mem=76M795
34.42/30.84 decisions=552479, wrong=273823, backtracks=207176, failedAssignments=147989, nogoods=1877, foundSolutions=26, bestBound=34
34.42/30.84
34.42/30.84 num=330, depth=12..19, filters=19476511, revisions=(27723087,useless=12423251), ccks=34355424, wck=28.487, mem=76M795
34.42/30.84 decisions=552541, wrong=273848, backtracks=207194, failedAssignments=148000, nogoods=1879, foundSolutions=26, bestBound=34
34.42/30.84
34.42/30.84 num=331, depth=12..20, filters=19477815, revisions=(27725224,useless=12424300), ccks=34357525, wck=28.489, mem=76M795
34.42/30.84 decisions=552596, wrong=273869, backtracks=207206, failedAssignments=148012, nogoods=1881, foundSolutions=26, bestBound=34
34.42/30.84
34.42/30.85 num=332, depth=12..20, filters=19479809, revisions=(27728425,useless=12425906), ccks=34361054, wck=28.493, mem=76M795
34.42/30.85 decisions=552668, wrong=273897, backtracks=207226, failedAssignments=148025, nogoods=1885, foundSolutions=26, bestBound=34
34.42/30.85
34.42/30.85 num=333, depth=12..19, filters=19482297, revisions=(27732224,useless=12427748), ccks=34365155, wck=28.497, mem=76M795
34.42/30.85 decisions=552736, wrong=273924, backtracks=207242, failedAssignments=148039, nogoods=1889, foundSolutions=26, bestBound=34
34.42/30.85
34.42/30.85 num=334, depth=12..19, filters=19484777, revisions=(27735962,useless=12429539), ccks=34369407, wck=28.501, mem=76M795
34.42/30.85 decisions=552817, wrong=273957, backtracks=207261, failedAssignments=148055, nogoods=1894, foundSolutions=26, bestBound=34
34.42/30.85
34.42/30.86 num=335, depth=12..19, filters=19487020, revisions=(27739392,useless=12431164), ccks=34373229, wck=28.504, mem=76M795
34.42/30.86 decisions=552891, wrong=273987, backtracks=207280, failedAssignments=148072, nogoods=1897, foundSolutions=26, bestBound=34
34.42/30.86
34.42/30.86 num=336, depth=12..19, filters=19489782, revisions=(27743687,useless=12433311), ccks=34378496, wck=28.509, mem=76M795
34.42/30.86 decisions=552976, wrong=274023, backtracks=207303, failedAssignments=148091, nogoods=1901, foundSolutions=26, bestBound=34
34.42/30.86
34.42/30.87 num=337, depth=12..20, filters=19492394, revisions=(27748056,useless=12435605), ccks=34383054, wck=28.514, mem=76M795
34.42/30.87 decisions=553059, wrong=274058, backtracks=207329, failedAssignments=148112, nogoods=1904, foundSolutions=26, bestBound=34
34.42/30.87
34.42/30.87 num=338, depth=11..19, filters=19494069, revisions=(27751355,useless=12437585), ccks=34386490, wck=28.517, mem=76M795
34.42/30.87 decisions=553151, wrong=274097, backtracks=207359, failedAssignments=148135, nogoods=1909, foundSolutions=26, bestBound=34
34.42/30.87
34.42/30.88 num=339, depth=11..19, filters=19498384, revisions=(27757883,useless=12440687), ccks=34394240, wck=28.524, mem=76M795
34.42/30.88 decisions=553262, wrong=274146, backtracks=207389, failedAssignments=148160, nogoods=1913, foundSolutions=26, bestBound=34
34.42/30.88
34.42/30.88 num=340, depth=13..19, filters=19502330, revisions=(27764005,useless=12443641), ccks=34401104, wck=28.53, mem=76M795
34.42/30.88 decisions=553378, wrong=274197, backtracks=207425, failedAssignments=148188, nogoods=1916, foundSolutions=26, bestBound=34
34.42/30.88
34.42/30.89 num=341, depth=12..20, filters=19507850, revisions=(27771597,useless=12446960), ccks=34409938, wck=28.538, mem=76M795
34.42/30.89 decisions=553524, wrong=274263, backtracks=207470, failedAssignments=148219, nogoods=1920, foundSolutions=26, bestBound=34
34.42/30.89
34.54/30.90 num=342, depth=12..20, filters=19512333, revisions=(27778616,useless=12450300), ccks=34417538, wck=28.546, mem=76M795
34.54/30.90 decisions=553675, wrong=274331, backtracks=207519, failedAssignments=148253, nogoods=1927, foundSolutions=26, bestBound=34
34.54/30.90
34.54/30.91 num=343, depth=11..20, filters=19518076, revisions=(27786309,useless=12453590), ccks=34426364, wck=28.555, mem=76M795
34.54/30.91 decisions=553835, wrong=274403, backtracks=207569, failedAssignments=148290, nogoods=1932, foundSolutions=26, bestBound=34
34.54/30.91
34.54/30.92 num=344, depth=11..20, filters=19524342, revisions=(27794777,useless=12457252), ccks=34435835, wck=28.564, mem=76M795
34.54/30.92 decisions=554013, wrong=274486, backtracks=207623, failedAssignments=148331, nogoods=1935, foundSolutions=26, bestBound=34
34.54/30.92
34.54/30.93 num=345, depth=11..20, filters=19531148, revisions=(27804833,useless=12461848), ccks=34447247, wck=28.574, mem=76M795
34.54/30.93 decisions=554202, wrong=274574, backtracks=207683, failedAssignments=148376, nogoods=1939, foundSolutions=26, bestBound=34
34.54/30.93
34.54/30.94 num=346, depth=11..20, filters=19537103, revisions=(27813785,useless=12466039), ccks=34457950, wck=28.584, mem=76M795
34.54/30.94 decisions=554405, wrong=274670, backtracks=207749, failedAssignments=148426, nogoods=1943, foundSolutions=26, bestBound=34
34.54/30.94
34.54/30.95 num=347, depth=10..19, filters=19545444, revisions=(27825888,useless=12471636), ccks=34472254, wck=28.596, mem=76M795
34.54/30.95 decisions=554623, wrong=274772, backtracks=207818, failedAssignments=148481, nogoods=1945, foundSolutions=26, bestBound=34
34.54/30.95
34.54/30.96 num=348, depth=9..19, filters=19548468, revisions=(27831619,useless=12474975), ccks=34478995, wck=28.602, mem=76M795
34.54/30.96 decisions=554838, wrong=274874, backtracks=207890, failedAssignments=148542, nogoods=1950, foundSolutions=26, bestBound=34
34.54/30.96
34.54/30.97 num=349, depth=11..20, filters=19557618, revisions=(27846618,useless=12482526), ccks=34496016, wck=28.617, mem=76M795
34.54/30.97 decisions=555123, wrong=275011, backtracks=207994, failedAssignments=148609, nogoods=1961, foundSolutions=26, bestBound=34
34.54/30.97
34.54/30.99 num=350, depth=10..19, filters=19567919, revisions=(27861473,useless=12489312), ccks=34513315, wck=28.632, mem=76M795
34.54/30.99 decisions=555405, wrong=275146, backtracks=208082, failedAssignments=148683, nogoods=1963, foundSolutions=26, bestBound=34
34.54/30.99
34.54/31.00 num=351, depth=11..20, filters=19577786, revisions=(27875455,useless=12495522), ccks=34530262, wck=28.647, mem=76M795
34.54/31.00 decisions=555726, wrong=275301, backtracks=208187, failedAssignments=148764, nogoods=1968, foundSolutions=26, bestBound=34
34.54/31.00
34.64/31.03 num=352, depth=10..21, filters=19596368, revisions=(27918181,useless=12521037), ccks=34570878, wck=28.678, mem=76M795
34.64/31.03 decisions=556199, wrong=275532, backtracks=208390, failedAssignments=148853, nogoods=1972, foundSolutions=26, bestBound=34
34.64/31.03
34.64/31.05 num=353, depth=12..20, filters=19609482, revisions=(27937860,useless=12530127), ccks=34593549, wck=28.698, mem=76M795
34.64/31.05 decisions=556608, wrong=275730, backtracks=208532, failedAssignments=148951, nogoods=1979, foundSolutions=26, bestBound=34
34.64/31.05
34.64/31.07 num=354, depth=10..21, filters=19622444, revisions=(27959935,useless=12541400), ccks=34619227, wck=28.719, mem=76M795
34.64/31.07 decisions=557026, wrong=275933, backtracks=208684, failedAssignments=149059, nogoods=1982, foundSolutions=26, bestBound=34
34.64/31.07
34.64/31.10 num=355, depth=11..32, filters=19637703, revisions=(27984455,useless=12553366), ccks=34646897, wck=28.742, mem=76M795
34.64/31.10 decisions=557529, wrong=276175, backtracks=208849, failedAssignments=149178, nogoods=1989, foundSolutions=26, bestBound=34
34.64/31.10
34.74/31.12 num=356, depth=10..22, filters=19655756, revisions=(28011489,useless=12565974), ccks=34678995, wck=28.771, mem=79M437
34.74/31.12 decisions=558051, wrong=276429, backtracks=209019, failedAssignments=149309, nogoods=1993, foundSolutions=26, bestBound=34
34.74/31.12
34.74/31.15 num=357, depth=11..28, filters=19674964, revisions=(28043999,useless=12582448), ccks=34715881, wck=28.8, mem=79M437
34.74/31.15 decisions=558614, wrong=276703, backtracks=209197, failedAssignments=149453, nogoods=2001, foundSolutions=26, bestBound=34
34.74/31.15
34.74/31.19 num=358, depth=11..20, filters=19697486, revisions=(28077006,useless=12597789), ccks=34756259, wck=28.834, mem=79M437
34.74/31.19 decisions=559269, wrong=277025, backtracks=209431, failedAssignments=149611, nogoods=2006, foundSolutions=26, bestBound=34
34.74/31.19
34.83/31.22 num=359, depth=11..32, filters=19721649, revisions=(28117855,useless=12618236), ccks=34802668, wck=28.871, mem=79M437
34.83/31.22 decisions=559988, wrong=277377, backtracks=209675, failedAssignments=149785, nogoods=2012, foundSolutions=26, bestBound=34
34.83/31.22
34.83/31.26 num=360, depth=11..30, filters=19743497, revisions=(28158605,useless=12639923), ccks=34849306, wck=28.905, mem=79M437
34.83/31.26 decisions=560781, wrong=277766, backtracks=209944, failedAssignments=149976, nogoods=2017, foundSolutions=26, bestBound=34
34.83/31.26
34.93/31.30 num=361, depth=10..23, filters=19771377, revisions=(28198714,useless=12657399), ccks=34896978, wck=28.947, mem=79M437
34.93/31.30 decisions=561628, wrong=278183, backtracks=210241, failedAssignments=150187, nogoods=2020, foundSolutions=26, bestBound=34
34.93/31.30
34.93/31.35 num=362, depth=10..25, filters=19805731, revisions=(28250168,useless=12681448), ccks=34956574, wck=29.0, mem=79M437
34.93/31.35 decisions=562546, wrong=278636, backtracks=210562, failedAssignments=150419, nogoods=2027, foundSolutions=26, bestBound=34
34.93/31.35
35.04/31.41 num=363, depth=10..21, filters=19840063, revisions=(28303256,useless=12706598), ccks=35021290, wck=29.054, mem=79M437
35.04/31.41 decisions=563542, wrong=279128, backtracks=210909, failedAssignments=150674, nogoods=2035, foundSolutions=26, bestBound=34
35.04/31.41
35.04/31.46 num=364, depth=9..30, filters=19870986, revisions=(28371122,useless=12747589), ccks=35095504, wck=29.107, mem=79M437
35.04/31.46 decisions=564770, wrong=279736, backtracks=211308, failedAssignments=150955, nogoods=2038, foundSolutions=26, bestBound=34
35.04/31.46
35.14/31.51 num=365, depth=8..29, filters=19905014, revisions=(28422749,useless=12770673), ccks=35158213, wck=29.161, mem=79M437
35.14/31.51 decisions=565918, wrong=280305, backtracks=211700, failedAssignments=151264, nogoods=2045, foundSolutions=26, bestBound=34
35.14/31.51
35.14/31.59 num=366, depth=8..28, filters=19946034, revisions=(28535228,useless=12845495), ccks=35269043, wck=29.238, mem=79M437
35.14/31.59 decisions=567357, wrong=281020, backtracks=212279, failedAssignments=151604, nogoods=2052, foundSolutions=26, bestBound=34
35.14/31.59
35.24/31.67 num=367, depth=8..29, filters=19991442, revisions=(28608050,useless=12880062), ccks=35354914, wck=29.312, mem=79M437
35.24/31.67 decisions=568840, wrong=281756, backtracks=212810, failedAssignments=151978, nogoods=2062, foundSolutions=26, bestBound=34
35.24/31.67
35.34/31.76 num=368, depth=9..29, filters=20049343, revisions=(28699646,useless=12925267), ccks=35461612, wck=29.402, mem=79M437
35.34/31.76 decisions=570421, wrong=282540, backtracks=213350, failedAssignments=152389, nogoods=2071, foundSolutions=26, bestBound=34
35.34/31.76
35.44/31.86 num=369, depth=9..28, filters=20115310, revisions=(28796587,useless=12968270), ccks=35572970, wck=29.504, mem=79M437
35.44/31.86 decisions=572157, wrong=283402, backtracks=213975, failedAssignments=152841, nogoods=2081, foundSolutions=26, bestBound=34
35.44/31.86
35.54/31.96 num=370, depth=9..30, filters=20179145, revisions=(28893407,useless=13014030), ccks=35687885, wck=29.606, mem=79M437
35.54/31.96 decisions=573993, wrong=284313, backtracks=214620, failedAssignments=153338, nogoods=2087, foundSolutions=26, bestBound=34
35.54/31.96
35.65/32.06 num=371, depth=0..23, filters=20241281, revisions=(29002033,useless=13073437), ccks=35813039, wck=29.709, mem=79M437
35.65/32.06 decisions=576246, wrong=285434, backtracks=215539, failedAssignments=153885, nogoods=2091, foundSolutions=26, bestBound=34
35.65/32.06
35.75/32.16 num=372, depth=9..30, filters=20296080, revisions=(29149913,useless=13171649), ccks=35971207, wck=29.809, mem=79M437
35.75/32.16 decisions=579108, wrong=286854, backtracks=216598, failedAssignments=154487, nogoods=2096, foundSolutions=26, bestBound=34
35.75/32.16
35.84/32.30 num=373, depth=7..30, filters=20371242, revisions=(29329451,useless=13284776), ccks=36165492, wck=29.943, mem=79M437
35.84/32.30 decisions=582839, wrong=288711, backtracks=218227, failedAssignments=155149, nogoods=2101, foundSolutions=26, bestBound=34
35.84/32.30
36.04/32.46 num=374, depth=7..25, filters=20471758, revisions=(29488047,useless=13358851), ccks=36352471, wck=30.103, mem=79M437
36.04/32.46 decisions=585659, wrong=290116, backtracks=219320, failedAssignments=155877, nogoods=2112, foundSolutions=26, bestBound=34
36.04/32.46
36.24/32.65 num=375, depth=8..32, filters=20595451, revisions=(29696867,useless=13466524), ccks=36595530, wck=30.3, mem=79M437
36.24/32.65 decisions=588907, wrong=291734, backtracks=220543, failedAssignments=156678, nogoods=2124, foundSolutions=26, bestBound=34
36.24/32.65
36.44/32.85 num=376, depth=8..21, filters=20727302, revisions=(29890374,useless=13555254), ccks=36827740, wck=30.496, mem=79M437
36.44/32.85 decisions=592315, wrong=293431, backtracks=221826, failedAssignments=157559, nogoods=2131, foundSolutions=26, bestBound=34
36.44/32.85
36.65/33.09 num=377, depth=7..19, filters=20879739, revisions=(30109829,useless=13655285), ccks=37091253, wck=30.733, mem=79M437
36.65/33.09 decisions=595972, wrong=295254, backtracks=223255, failedAssignments=158529, nogoods=2140, foundSolutions=26, bestBound=34
36.65/33.09
36.94/33.31 num=378, depth=7..30, filters=21022823, revisions=(30324606,useless=13753504), ccks=37333248, wck=30.953, mem=79M437
36.94/33.31 decisions=600260, wrong=297393, backtracks=224936, failedAssignments=159596, nogoods=2145, foundSolutions=26, bestBound=34
36.94/33.31
37.14/33.57 num=379, depth=7..30, filters=21203465, revisions=(30574655,useless=13864580), ccks=37628798, wck=31.22, mem=79M437
37.14/33.57 decisions=604595, wrong=299555, backtracks=226704, failedAssignments=160769, nogoods=2153, foundSolutions=26, bestBound=34
37.14/33.57
37.45/33.86 num=380, depth=7..25, filters=21391229, revisions=(30848626,useless=13988197), ccks=37950030, wck=31.505, mem=79M437
37.45/33.86 decisions=609368, wrong=301937, backtracks=228610, failedAssignments=162060, nogoods=2162, foundSolutions=26, bestBound=34
37.45/33.86
37.75/34.17 num=381, depth=6..19, filters=21603448, revisions=(31134957,useless=14109802), ccks=38295262, wck=31.814, mem=79M437
37.75/34.17 decisions=614686, wrong=304590, backtracks=230727, failedAssignments=163480, nogoods=2171, foundSolutions=26, bestBound=34
37.75/34.17
38.14/34.51 num=382, depth=7..26, filters=21835946, revisions=(31461325,useless=14252530), ccks=38676633, wck=32.159, mem=79M437
38.14/34.51 decisions=620706, wrong=307596, backtracks=233078, failedAssignments=165042, nogoods=2175, foundSolutions=26, bestBound=34
38.14/34.51
38.45/34.86 num=383, depth=7..27, filters=22072869, revisions=(31789481,useless=14392091), ccks=39070856, wck=32.51, mem=79M437
38.45/34.86 decisions=627321, wrong=310900, backtracks=235587, failedAssignments=166760, nogoods=2181, foundSolutions=26, bestBound=34
38.45/34.86
38.85/35.27 num=384, depth=7..26, filters=22349866, revisions=(32180013,useless=14563672), ccks=39530864, wck=32.919, mem=79M437
38.85/35.27 decisions=634723, wrong=314596, backtracks=238408, failedAssignments=168650, nogoods=2194, foundSolutions=26, bestBound=34
38.85/35.27
39.35/35.71 num=385, depth=6..22, filters=22643478, revisions=(32585550,useless=14736631), ccks=40018263, wck=33.355, mem=79M437
39.35/35.71 decisions=642568, wrong=318513, backtracks=241396, failedAssignments=170729, nogoods=2203, foundSolutions=26, bestBound=34
39.35/35.71
39.76/36.18 num=386, depth=6..30, filters=22971991, revisions=(33035790,useless=14928335), ccks=40552020, wck=33.831, mem=79M437
39.76/36.18 decisions=651570, wrong=323009, backtracks=244782, failedAssignments=173016, nogoods=2211, foundSolutions=26, bestBound=34
39.76/36.18
40.15/36.59 o 26
40.15/36.59 num=387, depth=6..270, filters=23250739, revisions=(33423151,useless=15092097), ccks=41004606, wck=34.24, mem=79M437
40.15/36.59 decisions=659088, wrong=326761, backtracks=247613, failedAssignments=174998, nogoods=2217, foundSolutions=27, bestBound=26
40.15/36.59
40.76/37.15 num=388, depth=6..31, filters=23612026, revisions=(33994203,useless=15359813), ccks=41630809, wck=34.795, mem=82M80
40.76/37.15 decisions=670196, wrong=332310, backtracks=251776, failedAssignments=177766, nogoods=2227, foundSolutions=27, bestBound=26
40.76/37.15
40.76/37.15 num=389, depth=16..22, filters=23613495, revisions=(33996964,useless=15361214), ccks=41633594, wck=34.798, mem=82M80
40.76/37.15 decisions=670252, wrong=332330, backtracks=251789, failedAssignments=177777, nogoods=2231, foundSolutions=27, bestBound=26
40.76/37.15
40.76/37.16 num=390, depth=11..18, filters=23616076, revisions=(34000788,useless=15362984), ccks=41637279, wck=34.803, mem=82M80
40.76/37.16 decisions=670316, wrong=332356, backtracks=251811, failedAssignments=177789, nogoods=2235, foundSolutions=27, bestBound=26
40.76/37.16
40.76/37.16 num=391, depth=11..19, filters=23617413, revisions=(34003058,useless=15364106), ccks=41639412, wck=34.805, mem=82M80
40.76/37.16 decisions=670372, wrong=332378, backtracks=251826, failedAssignments=177802, nogoods=2237, foundSolutions=27, bestBound=26
40.76/37.16
40.76/37.16 num=392, depth=11..18, filters=23619614, revisions=(34006320,useless=15365630), ccks=41642777, wck=34.809, mem=82M80
40.76/37.16 decisions=670435, wrong=332404, backtracks=251845, failedAssignments=177816, nogoods=2239, foundSolutions=27, bestBound=26
40.76/37.16
40.76/37.17 num=393, depth=10..18, filters=23621588, revisions=(34009571,useless=15367239), ccks=41645859, wck=34.812, mem=82M80
40.76/37.17 decisions=670501, wrong=332429, backtracks=251862, failedAssignments=177832, nogoods=2244, foundSolutions=27, bestBound=26
40.76/37.17
40.76/37.17 num=394, depth=11..20, filters=23623499, revisions=(34012709,useless=15368761), ccks=41648801, wck=34.815, mem=82M80
40.76/37.17 decisions=670567, wrong=332456, backtracks=251878, failedAssignments=177849, nogoods=2249, foundSolutions=27, bestBound=26
40.76/37.17
40.76/37.17 num=395, depth=10..18, filters=23626806, revisions=(34017574,useless=15370914), ccks=41653780, wck=34.82, mem=82M80
40.76/37.17 decisions=670665, wrong=332499, backtracks=251908, failedAssignments=177868, nogoods=2252, foundSolutions=27, bestBound=26
40.76/37.17
40.76/37.18 num=396, depth=10..20, filters=23629382, revisions=(34021358,useless=15372678), ccks=41657658, wck=34.825, mem=82M80
40.76/37.18 decisions=670750, wrong=332535, backtracks=251934, failedAssignments=177889, nogoods=2258, foundSolutions=27, bestBound=26
40.76/37.18
40.76/37.18 num=397, depth=10..18, filters=23633059, revisions=(34026757,useless=15375070), ccks=41663023, wck=34.831, mem=82M80
40.76/37.18 decisions=670846, wrong=332578, backtracks=251967, failedAssignments=177912, nogoods=2261, foundSolutions=27, bestBound=26
40.76/37.18
40.76/37.19 num=398, depth=10..19, filters=23635861, revisions=(34030949,useless=15376942), ccks=41667453, wck=34.835, mem=82M80
40.76/37.19 decisions=670946, wrong=332620, backtracks=251989, failedAssignments=177937, nogoods=2268, foundSolutions=27, bestBound=26
40.76/37.19
40.85/37.20 num=399, depth=9..18, filters=23641148, revisions=(34038496,useless=15380227), ccks=41675354, wck=34.844, mem=82M80
40.85/37.20 decisions=671097, wrong=332690, backtracks=252048, failedAssignments=177965, nogoods=2270, foundSolutions=27, bestBound=26
40.85/37.20
40.85/37.20 num=400, depth=10..21, filters=23644332, revisions=(34043549,useless=15382544), ccks=41680710, wck=34.849, mem=82M80
40.85/37.20 decisions=671219, wrong=332746, backtracks=252088, failedAssignments=177996, nogoods=2272, foundSolutions=27, bestBound=26
40.85/37.20
40.85/37.21 num=401, depth=10..20, filters=23648950, revisions=(34050089,useless=15385356), ccks=41687607, wck=34.856, mem=82M80
40.85/37.21 decisions=671365, wrong=332812, backtracks=252137, failedAssignments=178030, nogoods=2275, foundSolutions=27, bestBound=26
40.85/37.21
40.85/37.22 num=402, depth=9..19, filters=23654580, revisions=(34058619,useless=15389137), ccks=41696655, wck=34.865, mem=82M80
40.85/37.22 decisions=671530, wrong=332888, backtracks=252198, failedAssignments=178067, nogoods=2280, foundSolutions=27, bestBound=26
40.85/37.22
40.85/37.23 num=403, depth=10..21, filters=23660490, revisions=(34067350,useless=15392924), ccks=41705898, wck=34.875, mem=82M80
40.85/37.23 decisions=671713, wrong=332973, backtracks=252260, failedAssignments=178108, nogoods=2285, foundSolutions=27, bestBound=26
40.85/37.23
40.85/37.24 num=404, depth=9..17, filters=23666717, revisions=(34076422,useless=15396902), ccks=41715499, wck=34.885, mem=82M80
40.85/37.24 decisions=671879, wrong=333050, backtracks=252314, failedAssignments=178153, nogoods=2287, foundSolutions=27, bestBound=26
40.85/37.24
40.85/37.25 num=405, depth=9..21, filters=23673786, revisions=(34086735,useless=15401393), ccks=41726564, wck=34.896, mem=82M80
40.85/37.25 decisions=672077, wrong=333143, backtracks=252384, failedAssignments=178203, nogoods=2290, foundSolutions=27, bestBound=26
40.85/37.25
40.85/37.26 num=406, depth=10..21, filters=23680631, revisions=(34097196,useless=15406048), ccks=41736964, wck=34.907, mem=82M80
40.85/37.26 decisions=672303, wrong=333250, backtracks=252466, failedAssignments=178258, nogoods=2293, foundSolutions=27, bestBound=26
40.85/37.26
40.85/37.27 num=407, depth=10..21, filters=23689980, revisions=(34109894,useless=15411230), ccks=41750830, wck=34.921, mem=82M80
40.85/37.27 decisions=672565, wrong=333374, backtracks=252557, failedAssignments=178319, nogoods=2299, foundSolutions=27, bestBound=26
40.85/37.27
40.85/37.29 num=408, depth=10..21, filters=23699869, revisions=(34124951,useless=15418104), ccks=41766375, wck=34.936, mem=82M80
40.85/37.29 decisions=672841, wrong=333506, backtracks=252661, failedAssignments=178386, nogoods=2304, foundSolutions=27, bestBound=26
40.85/37.29
40.95/37.31 num=409, depth=9..19, filters=23711257, revisions=(34141761,useless=15425582), ccks=41784442, wck=34.955, mem=82M80
40.95/37.31 decisions=673156, wrong=333657, backtracks=252783, failedAssignments=178460, nogoods=2308, foundSolutions=27, bestBound=26
40.95/37.31
40.95/37.33 num=410, depth=9..19, filters=23723184, revisions=(34159018,useless=15433082), ccks=41802841, wck=34.975, mem=82M80
40.95/37.33 decisions=673466, wrong=333806, backtracks=252896, failedAssignments=178541, nogoods=2312, foundSolutions=27, bestBound=26
40.95/37.33
40.95/37.35 num=411, depth=9..28, filters=23733979, revisions=(34175542,useless=15440509), ccks=41820999, wck=34.992, mem=82M80
40.95/37.35 decisions=673801, wrong=333968, backtracks=253012, failedAssignments=178630, nogoods=2316, foundSolutions=27, bestBound=26
40.95/37.35
40.95/37.36 num=412, depth=10..30, filters=23743427, revisions=(34190375,useless=15446940), ccks=41836286, wck=35.007, mem=82M80
40.95/37.36 decisions=674154, wrong=334138, backtracks=253125, failedAssignments=178728, nogoods=2323, foundSolutions=27, bestBound=26
40.95/37.36
40.95/37.38 num=413, depth=9..22, filters=23757573, revisions=(34213323,useless=15457738), ccks=41861670, wck=35.031, mem=82M80
40.95/37.38 decisions=674582, wrong=334346, backtracks=253280, failedAssignments=178836, nogoods=2327, foundSolutions=27, bestBound=26
40.95/37.38
41.05/37.41 num=414, depth=9..29, filters=23772948, revisions=(34235884,useless=15467503), ccks=41886195, wck=35.055, mem=82M80
41.05/37.41 decisions=675078, wrong=334588, backtracks=253449, failedAssignments=178955, nogoods=2331, foundSolutions=27, bestBound=26
41.05/37.41
41.05/37.43 num=415, depth=9..21, filters=23788403, revisions=(34259612,useless=15478258), ccks=41912404, wck=35.08, mem=82M80
41.05/37.43 decisions=675592, wrong=334836, backtracks=253627, failedAssignments=179086, nogoods=2339, foundSolutions=27, bestBound=26
41.05/37.43
41.05/37.46 num=416, depth=9..28, filters=23804918, revisions=(34284638,useless=15489095), ccks=41939626, wck=35.106, mem=82M80
41.05/37.46 decisions=676114, wrong=335091, backtracks=253800, failedAssignments=179230, nogoods=2347, foundSolutions=27, bestBound=26
41.05/37.46
41.05/37.49 num=417, depth=10..30, filters=23825781, revisions=(34316107,useless=15503241), ccks=41972482, wck=35.138, mem=82M80
41.05/37.49 decisions=676718, wrong=335387, backtracks=254023, failedAssignments=179388, nogoods=2353, foundSolutions=27, bestBound=26
41.05/37.49
41.15/37.53 num=418, depth=8..27, filters=23849375, revisions=(34355399,useless=15522180), ccks=42015959, wck=35.178, mem=82M80
41.15/37.53 decisions=677444, wrong=335744, backtracks=254276, failedAssignments=179562, nogoods=2356, foundSolutions=27, bestBound=26
41.15/37.53
41.15/37.57 num=419, depth=8..20, filters=23874647, revisions=(34390484,useless=15537053), ccks=42054894, wck=35.215, mem=82M80
41.15/37.57 decisions=678168, wrong=336101, backtracks=254539, failedAssignments=179753, nogoods=2361, foundSolutions=27, bestBound=26
41.15/37.57
41.25/37.61 num=420, depth=9..31, filters=23899832, revisions=(34428896,useless=15554372), ccks=42095589, wck=35.255, mem=82M80
41.25/37.61 decisions=678926, wrong=336474, backtracks=254802, failedAssignments=179964, nogoods=2367, foundSolutions=27, bestBound=26
41.25/37.61
41.25/37.65 num=421, depth=8..21, filters=23930916, revisions=(34472895,useless=15573908), ccks=42142794, wck=35.301, mem=82M80
41.25/37.65 decisions=679809, wrong=336910, backtracks=255119, failedAssignments=180196, nogoods=2374, foundSolutions=27, bestBound=26
41.25/37.65
41.35/37.71 num=422, depth=8..18, filters=23964396, revisions=(34524347,useless=15597481), ccks=42198760, wck=35.352, mem=82M80
41.35/37.71 decisions=680779, wrong=337390, backtracks=255477, failedAssignments=180451, nogoods=2381, foundSolutions=27, bestBound=26
41.35/37.71
41.35/37.76 num=423, depth=8..25, filters=23999553, revisions=(34581728,useless=15625662), ccks=42261533, wck=35.408, mem=82M80
41.35/37.76 decisions=681852, wrong=337921, backtracks=255851, failedAssignments=180732, nogoods=2385, foundSolutions=27, bestBound=26
41.35/37.76
41.45/37.82 num=424, depth=7..28, filters=24038106, revisions=(34642031,useless=15653439), ccks=42327752, wck=35.47, mem=82M80
41.45/37.82 decisions=683042, wrong=338510, backtracks=256277, failedAssignments=181041, nogoods=2393, foundSolutions=27, bestBound=26
41.45/37.82
41.45/37.87 num=425, depth=5..28, filters=24064261, revisions=(34711732,useless=15699922), ccks=42397962, wck=35.519, mem=82M80
41.45/37.87 decisions=684341, wrong=339155, backtracks=256786, failedAssignments=181381, nogoods=2397, foundSolutions=27, bestBound=26
41.45/37.87
41.55/37.95 num=426, depth=6..29, filters=24109660, revisions=(34794945,useless=15742565), ccks=42483717, wck=35.593, mem=82M80
41.55/37.95 decisions=685862, wrong=339908, backtracks=257330, failedAssignments=181755, nogoods=2405, foundSolutions=27, bestBound=26
41.55/37.95
41.66/38.04 num=427, depth=7..28, filters=24164578, revisions=(34882920,useless=15785470), ccks=42582123, wck=35.685, mem=82M80
41.66/38.04 decisions=687610, wrong=340777, backtracks=257997, failedAssignments=182166, nogoods=2408, foundSolutions=27, bestBound=26
41.66/38.04
41.76/38.13 num=428, depth=6..25, filters=24220729, revisions=(34975502,useless=15829468), ccks=42679001, wck=35.776, mem=82M80
41.76/38.13 decisions=689313, wrong=341624, backtracks=258629, failedAssignments=182618, nogoods=2416, foundSolutions=27, bestBound=26
41.76/38.13
41.85/38.23 num=429, depth=8..27, filters=24286131, revisions=(35072450,useless=15873452), ccks=42783720, wck=35.878, mem=82M80
41.85/38.23 decisions=691177, wrong=342551, backtracks=259358, failedAssignments=183115, nogoods=2425, foundSolutions=27, bestBound=26
41.85/38.23
41.95/38.33 num=430, depth=7..30, filters=24350628, revisions=(35178452,useless=15924292), ccks=42900555, wck=35.98, mem=82M80
41.95/38.33 decisions=693339, wrong=343626, backtracks=260111, failedAssignments=183662, nogoods=2435, foundSolutions=27, bestBound=26
41.95/38.33
42.05/38.45 num=431, depth=6..29, filters=24423170, revisions=(35295759,useless=15981050), ccks=43032407, wck=36.1, mem=82M80
42.05/38.45 decisions=695712, wrong=344807, backtracks=260968, failedAssignments=184264, nogoods=2439, foundSolutions=27, bestBound=26
42.05/38.45
42.25/38.60 num=432, depth=8..28, filters=24517767, revisions=(35443953,useless=16051070), ccks=43187245, wck=36.245, mem=82M80
42.25/38.60 decisions=698267, wrong=346079, backtracks=262003, failedAssignments=184926, nogoods=2447, foundSolutions=27, bestBound=26
42.25/38.60
42.35/38.76 num=433, depth=7..30, filters=24614783, revisions=(35597761,useless=16122978), ccks=43353794, wck=36.403, mem=82M80
42.35/38.76 decisions=701161, wrong=347521, backtracks=263068, failedAssignments=185654, nogoods=2455, foundSolutions=27, bestBound=26
42.35/38.76
42.55/38.91 num=434, depth=7..29, filters=24712909, revisions=(35748222,useless=16192092), ccks=43513505, wck=36.558, mem=82M80
42.55/38.91 decisions=704307, wrong=349089, backtracks=264268, failedAssignments=186455, nogoods=2459, foundSolutions=27, bestBound=26
42.55/38.91
42.66/39.09 num=435, depth=6..28, filters=24820114, revisions=(35924109,useless=16277343), ccks=43708019, wck=36.733, mem=82M80
42.66/39.09 decisions=707785, wrong=350824, backtracks=265568, failedAssignments=187336, nogoods=2464, foundSolutions=27, bestBound=26
42.66/39.09
42.85/39.22 num=436, depth=3..33, filters=24890429, revisions=(36116209,useless=16406612), ccks=43910303, wck=36.869, mem=82M80
42.85/39.22 decisions=712467, wrong=353155, backtracks=267479, failedAssignments=188306, nogoods=2468, foundSolutions=27, bestBound=26
42.85/39.22
43.05/39.44 num=437, depth=5..29, filters=25022139, revisions=(36344176,useless=16519089), ccks=44156477, wck=37.083, mem=82M80
43.05/39.44 decisions=716701, wrong=355268, backtracks=269045, failedAssignments=189373, nogoods=2476, foundSolutions=27, bestBound=26
43.05/39.44
43.35/39.72 num=438, depth=6..23, filters=25211068, revisions=(36614298,useless=16641402), ccks=44448693, wck=37.365, mem=82M80
43.35/39.72 decisions=721222, wrong=357523, backtracks=270954, failedAssignments=190546, nogoods=2482, foundSolutions=27, bestBound=26
43.35/39.72
43.55/40.00 num=439, depth=5..28, filters=25380130, revisions=(36900061,useless=16781917), ccks=44767446, wck=37.644, mem=82M80
43.55/40.00 decisions=726695, wrong=360256, backtracks=273118, failedAssignments=191837, nogoods=2491, foundSolutions=27, bestBound=26
43.55/40.00
43.85/40.27 num=440, depth=6..30, filters=25552299, revisions=(37177453,useless=16914551), ccks=45070366, wck=37.922, mem=82M80
43.85/40.27 decisions=732208, wrong=363008, backtracks=275088, failedAssignments=193257, nogoods=2496, foundSolutions=27, bestBound=26
43.85/40.27
44.15/40.59 num=441, depth=5..30, filters=25746102, revisions=(37501478,useless=17074491), ccks=45432149, wck=38.233, mem=84M722
44.15/40.59 decisions=738436, wrong=366118, backtracks=277406, failedAssignments=194819, nogoods=2502, foundSolutions=27, bestBound=26
44.15/40.59
44.55/40.97 num=442, depth=3..32, filters=25957174, revisions=(37990876,useless=17371809), ccks=45918992, wck=38.619, mem=84M722
44.55/40.97 decisions=745893, wrong=369836, backtracks=280533, failedAssignments=196537, nogoods=2505, foundSolutions=27, bestBound=26
44.55/40.97
45.05/41.41 num=443, depth=4..19, filters=26237839, revisions=(38433032,useless=17586539), ccks=46399178, wck=39.06, mem=84M722
45.05/41.41 decisions=753160, wrong=373465, backtracks=283572, failedAssignments=198427, nogoods=2515, foundSolutions=27, bestBound=26
45.05/41.41
45.45/41.83 num=444, depth=6..30, filters=26517675, revisions=(38856109,useless=17784151), ccks=46845213, wck=39.478, mem=84M722
45.45/41.83 decisions=761234, wrong=377495, backtracks=286916, failedAssignments=200506, nogoods=2519, foundSolutions=27, bestBound=26
45.45/41.83
45.95/42.30 num=445, depth=4..27, filters=26811717, revisions=(39340816,useless=18018645), ccks=47372641, wck=39.945, mem=84M722
45.95/42.30 decisions=770192, wrong=381970, backtracks=290323, failedAssignments=202793, nogoods=2524, foundSolutions=27, bestBound=26
45.95/42.30
46.45/42.81 num=446, depth=6..31, filters=27141148, revisions=(39870010,useless=18275468), ccks=47939862, wck=40.455, mem=84M722
46.45/42.81 decisions=780051, wrong=386894, backtracks=294096, failedAssignments=205309, nogoods=2537, foundSolutions=27, bestBound=26
46.45/42.81
46.95/43.38 num=447, depth=4..29, filters=27489348, revisions=(40476027,useless=18588419), ccks=48610972, wck=41.023, mem=84M722
46.95/43.38 decisions=790980, wrong=392353, backtracks=298258, failedAssignments=208077, nogoods=2543, foundSolutions=27, bestBound=26
46.95/43.38
47.66/44.03 num=448, depth=5..31, filters=27920538, revisions=(41135664,useless=18892880), ccks=49314081, wck=41.68, mem=84M722
47.66/44.03 decisions=803209, wrong=398463, backtracks=303305, failedAssignments=211121, nogoods=2549, foundSolutions=27, bestBound=26
47.66/44.03
48.26/44.67 num=449, depth=4..29, filters=28314437, revisions=(41826435,useless=19250129), ccks=50078732, wck=42.322, mem=84M722
48.26/44.67 decisions=816717, wrong=405213, backtracks=308273, failedAssignments=214470, nogoods=2568, foundSolutions=27, bestBound=26
48.26/44.67
49.05/45.48 num=450, depth=4..31, filters=28790882, revisions=(42746834,useless=19763745), ccks=51097215, wck=43.128, mem=84M722
49.05/45.48 decisions=832021, wrong=412861, backtracks=314211, failedAssignments=218154, nogoods=2583, foundSolutions=27, bestBound=26
49.05/45.48
49.86/46.21 num=451, depth=2..30, filters=29108303, revisions=(43915909,useless=20646905), ccks=52306060, wck=43.859, mem=84M722
49.86/46.21 decisions=851525, wrong=422609, backtracks=322535, failedAssignments=222206, nogoods=2590, foundSolutions=27, bestBound=26
49.86/46.21
50.76/47.16 num=452, depth=3..29, filters=29699861, revisions=(44939573,useless=21158385), ccks=53416010, wck=44.805, mem=84M722
50.76/47.16 decisions=869558, wrong=431622, backtracks=329891, failedAssignments=226663, nogoods=2598, foundSolutions=27, bestBound=26
50.76/47.16
51.85/48.22 num=453, depth=3..30, filters=30386720, revisions=(46057726,useless=21713681), ccks=54623762, wck=45.871, mem=87M365
51.85/48.22 decisions=888906, wrong=441293, backtracks=337660, failedAssignments=231566, nogoods=2605, foundSolutions=27, bestBound=26
51.85/48.22
52.95/49.30 num=454, depth=3..29, filters=31047663, revisions=(47207001,useless=22304004), ccks=55872348, wck=46.951, mem=87M365
52.95/49.30 decisions=910751, wrong=452212, backtracks=346101, failedAssignments=236960, nogoods=2621, foundSolutions=27, bestBound=26
52.95/49.30
54.16/50.53 num=455, depth=3..31, filters=31782371, revisions=(48552925,useless=23024629), ccks=57340748, wck=48.177, mem=87M365
54.16/50.53 decisions=934543, wrong=464103, backtracks=355456, failedAssignments=242893, nogoods=2628, foundSolutions=27, bestBound=26
54.16/50.53
55.56/51.90 num=456, depth=2..29, filters=32640438, revisions=(50010535,useless=23760937), ccks=58922538, wck=49.55, mem=87M365
55.56/51.90 decisions=959640, wrong=476648, backtracks=365362, failedAssignments=249419, nogoods=2635, foundSolutions=27, bestBound=26
55.56/51.90
57.06/53.41 num=457, depth=3..30, filters=33591004, revisions=(51590384,useless=24546508), ccks=60619170, wck=51.055, mem=87M365
57.06/53.41 decisions=988534, wrong=491091, backtracks=377185, failedAssignments=256598, nogoods=2643, foundSolutions=27, bestBound=26
57.06/53.41
58.26/54.61 num=458, depth=1..30, filters=34013588, revisions=(53744154,useless=26333093), ccks=62889867, wck=52.252, mem=87M365
58.26/54.61 decisions=1025556, wrong=509598, backtracks=392066, failedAssignments=264495, nogoods=2650, foundSolutions=27, bestBound=26
58.26/54.61
60.06/56.40 num=459, depth=2..27, filters=35027479, revisions=(56037096,useless=27731188), ccks=65313486, wck=54.046, mem=90M7
60.06/56.40 decisions=1060632, wrong=527132, backtracks=406049, failedAssignments=273182, nogoods=2657, foundSolutions=27, bestBound=26
60.06/56.40
62.16/58.53 num=460, depth=2..27, filters=36228557, revisions=(58483256,useless=29136804), ccks=67947304, wck=56.174, mem=90M7
62.16/58.53 decisions=1100999, wrong=547312, backtracks=423587, failedAssignments=282737, nogoods=2668, foundSolutions=27, bestBound=26
62.16/58.53
65.06/61.46 num=461, depth=1..24, filters=37711230, revisions=(61931534,useless=31304015), ccks=71632967, wck=59.109, mem=90M7
65.06/61.46 decisions=1142672, wrong=568145, backtracks=441149, failedAssignments=293248, nogoods=2681, foundSolutions=27, bestBound=26
65.06/61.46
68.16/64.59 num=462, depth=0..25, filters=39455275, revisions=(65462464,useless=33347977), ccks=75480420, wck=62.237, mem=90M7
68.16/64.59 decisions=1188604, wrong=591107, backtracks=460694, failedAssignments=304810, nogoods=2691, foundSolutions=27, bestBound=26
68.16/64.59
71.36/67.70
71.36/67.70 New Bounds: 26..25
71.36/67.70 num=463, depth=0..22, filters=41299787, revisions=(68945739,useless=35280585), ccks=79253076, wck=65.348, mem=92M649
71.36/67.70 decisions=1237668, wrong=615640, backtracks=481533, failedAssignments=317352, foundSolutions=27, bestBound=26
71.36/67.70
71.36/67.70 Global
71.36/67.70 filters=41299787, revisions=(68945739,useless=35280585), ccks=79253076
71.36/67.70 Stop=FULL_EXPLORATION, wrong=615640, bestBound=26, bestBoundWck=34.729, bestBoundCpu=36.554, foundSolutions=27, firstSolCpu=2.345
71.36/67.70 wck=65.837, cpu=67.665, mem=92M649
71.36/67.70
71.36/67.70 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.36/67.70 s OPTIMUM FOUND
71.36/67.70
71.36/67.70 d WRONG_DECISIONS 615640
71.36/67.70 d NUMBER_SOLUTIONS 27