2.61/1.90
2.61/1.90 AbsCon 2
2.61/1.92
3.17/2.12 Instance
3.17/2.12 name=instance-4391080-1568391580, framework=COP, bounds=-infty..+infty
3.17/2.12
3.17/2.12 Loading variables...
3.17/2.16 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55165efc
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310b6c1c
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2fcf0c
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dc8b708
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c1c95c9
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a115b2b
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@162eb36b
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3e706f
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@191052d2
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bdfcbc5
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ecaaf5
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752440ab
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4477775
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@527400e3
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@568054e4
3.76/2.38
3.76/2.38
3.76/2.38 Domains
3.76/2.38 nTypes=11, nValues=940, sizes=[1#14,2#154,9#42,15#16]
3.76/2.38 Variables
3.76/2.38 count=226, degrees=[1#8,2#90,3#16,8#4...15#16,16#17,17#18,18#2]
3.76/2.38 Objectives
3.76/2.38 way=min, type=SumSimpleLE
3.76/2.38 Constraints
3.76/2.38 count=435, nSpecific=325, arities=[1#16,2#110,3#192,6#72,9#28,15#16,54#1]
3.76/2.38 distribution=[AtLeast1#72,CtrExtensionMDD-MDD#200,CtrExtensionV-Bits#28,CtrIntension#82,ExactlyKVariable#44,SumSimpleLE#9]
3.76/2.38 nExtStructures=(206,shared:22), nIntStructures=(8,shared:74), nCftStructures=(13,shared:89,unbuilt:333)
3.76/2.38 wck=0.508, cpu=2.351, mem=37M82
3.76/2.39 Solver SolverBacktrack being built...
3.76/2.39
4.04/2.42
4.04/2.42 Solver
4.04/2.42 guaranteedGAC=true
4.04/2.42 wck=0.546, cpu=2.387, mem=47M724
4.04/2.43
4.04/2.43 Preprocessing
4.04/2.43 filters=58, revisions=(26,useless=10), ccks=48, nACremovedValues=141, nTotalRemovedValues=141, inconcistency=false
4.04/2.43 wck=0.011, cpu=2.399, mem=47M724
4.04/2.43
4.04/2.45 o 1628
4.04/2.47 num=0, depth=227..225, filters=520, revisions=(228,useless=66), ccks=575, wck=0.039, mem=47M724
4.04/2.47 decisions=58, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=1628
4.04/2.47
4.04/2.48 num=1, depth=47..52, filters=1302, revisions=(657,useless=210), ccks=720, wck=0.052, mem=47M724
4.04/2.48 decisions=148, wrong=22, backtracks=17, failedAssignments=11, nogoods=3, foundSolutions=1, bestBound=1628
4.04/2.48
4.04/2.49 o 1508
4.04/2.49 num=2, depth=33..225, filters=1765, revisions=(848,useless=274), ccks=1216, wck=0.063, mem=50M367
4.04/2.49 decisions=205, wrong=28, backtracks=18, failedAssignments=16, nogoods=8, foundSolutions=2, bestBound=1508
4.04/2.49
4.04/2.50 o 1412
4.04/2.50 num=3, depth=23..225, filters=2493, revisions=(1182,useless=390), ccks=1717, wck=0.075, mem=50M367
4.04/2.50 decisions=274, wrong=41, backtracks=27, failedAssignments=22, nogoods=10, foundSolutions=3, bestBound=1412
4.04/2.50
4.33/2.51 o 1111
4.33/2.51 num=4, depth=35..225, filters=2924, revisions=(1379,useless=446), ccks=2219, wck=0.084, mem=50M367
4.33/2.51 decisions=317, wrong=42, backtracks=27, failedAssignments=23, nogoods=11, foundSolutions=4, bestBound=1111
4.33/2.51
4.33/2.51 num=5, depth=18..32, filters=3890, revisions=(1851,useless=648), ccks=2346, wck=0.092, mem=50M367
4.33/2.51 decisions=390, wrong=69, backtracks=48, failedAssignments=34, nogoods=14, foundSolutions=4, bestBound=1111
4.33/2.51
4.33/2.52 o 1110
4.33/2.52 num=6, depth=12..225, filters=4615, revisions=(2153,useless=741), ccks=2861, wck=0.101, mem=50M367
4.33/2.52 decisions=448, wrong=84, backtracks=57, failedAssignments=42, nogoods=18, foundSolutions=5, bestBound=1110
4.33/2.52
4.33/2.53 num=7, depth=16..24, filters=5918, revisions=(2918,useless=1036), ccks=3067, wck=0.109, mem=50M367
4.33/2.53 decisions=508, wrong=104, backtracks=68, failedAssignments=54, nogoods=24, foundSolutions=5, bestBound=1110
4.33/2.53
4.33/2.54 num=8, depth=14..21, filters=7036, revisions=(3541,useless=1255), ccks=3290, wck=0.116, mem=50M367
4.33/2.54 decisions=568, wrong=126, backtracks=82, failedAssignments=65, nogoods=29, foundSolutions=5, bestBound=1110
4.33/2.54
4.33/2.54 num=9, depth=10..22, filters=7886, revisions=(3920,useless=1376), ccks=3401, wck=0.121, mem=50M367
4.33/2.54 decisions=621, wrong=147, backtracks=97, failedAssignments=77, nogoods=34, foundSolutions=5, bestBound=1110
4.33/2.54
4.33/2.55 num=10, depth=13..19, filters=9089, revisions=(4597,useless=1658), ccks=3569, wck=0.128, mem=50M367
4.33/2.55 decisions=673, wrong=166, backtracks=107, failedAssignments=90, nogoods=42, foundSolutions=5, bestBound=1110
4.33/2.55
4.33/2.56 num=11, depth=14..28, filters=10419, revisions=(5226,useless=1874), ccks=3744, wck=0.136, mem=50M367
4.33/2.56 decisions=745, wrong=192, backtracks=126, failedAssignments=104, nogoods=48, foundSolutions=5, bestBound=1110
4.33/2.56
4.33/2.56 num=12, depth=19..27, filters=11425, revisions=(5678,useless=1998), ccks=3839, wck=0.141, mem=50M367
4.33/2.56 decisions=810, wrong=214, backtracks=142, failedAssignments=120, nogoods=52, foundSolutions=5, bestBound=1110
4.33/2.56
4.33/2.57 num=13, depth=14..27, filters=13045, revisions=(6634,useless=2362), ccks=4142, wck=0.15, mem=50M367
4.33/2.57 decisions=892, wrong=246, backtracks=164, failedAssignments=137, nogoods=57, foundSolutions=5, bestBound=1110
4.33/2.57
4.33/2.58 num=14, depth=7..16, filters=14616, revisions=(7561,useless=2724), ccks=4443, wck=0.159, mem=50M367
4.33/2.58 decisions=975, wrong=284, backtracks=189, failedAssignments=156, nogoods=65, foundSolutions=5, bestBound=1110
4.33/2.58
4.33/2.59 num=15, depth=15..29, filters=15835, revisions=(8121,useless=2909), ccks=4598, wck=0.165, mem=50M367
4.33/2.59 decisions=1066, wrong=321, backtracks=218, failedAssignments=177, nogoods=70, foundSolutions=5, bestBound=1110
4.33/2.59
4.33/2.59 o 1018
4.33/2.59 num=16, depth=10..225, filters=16460, revisions=(8400,useless=3005), ccks=5102, wck=0.171, mem=50M367
4.33/2.59 decisions=1124, wrong=333, backtracks=221, failedAssignments=186, nogoods=78, foundSolutions=6, bestBound=1018
4.33/2.59
4.66/2.60 o 1015
4.66/2.60 num=17, depth=12..225, filters=16927, revisions=(8637,useless=3090), ccks=5595, wck=0.177, mem=50M367
4.66/2.60 decisions=1167, wrong=340, backtracks=221, failedAssignments=193, nogoods=85, foundSolutions=7, bestBound=1015
4.66/2.60
4.66/2.60 num=18, depth=10..35, filters=18020, revisions=(9108,useless=3249), ccks=5756, wck=0.184, mem=50M367
4.66/2.60 decisions=1233, wrong=363, backtracks=236, failedAssignments=204, nogoods=92, foundSolutions=7, bestBound=1015
4.66/2.60
4.66/2.61 num=19, depth=15..25, filters=18939, revisions=(9621,useless=3434), ccks=5882, wck=0.189, mem=50M367
4.66/2.61 decisions=1289, wrong=379, backtracks=245, failedAssignments=215, nogoods=96, foundSolutions=7, bestBound=1015
4.66/2.61
4.66/2.62 num=20, depth=8..22, filters=20176, revisions=(10274,useless=3665), ccks=6047, wck=0.196, mem=53M9
4.66/2.62 decisions=1352, wrong=402, backtracks=262, failedAssignments=227, nogoods=98, foundSolutions=7, bestBound=1015
4.66/2.62
4.66/2.62 num=21, depth=9..27, filters=21767, revisions=(10992,useless=3930), ccks=6233, wck=0.203, mem=53M9
4.66/2.62 decisions=1429, wrong=432, backtracks=287, failedAssignments=240, nogoods=103, foundSolutions=7, bestBound=1015
4.66/2.62
4.66/2.63 num=22, depth=10..35, filters=22520, revisions=(11383,useless=4074), ccks=6326, wck=0.207, mem=53M9
4.66/2.63 decisions=1496, wrong=451, backtracks=295, failedAssignments=254, nogoods=113, foundSolutions=7, bestBound=1015
4.66/2.63
4.66/2.63 num=23, depth=6..32, filters=23583, revisions=(11743,useless=4176), ccks=6418, wck=0.212, mem=53M9
4.66/2.63 decisions=1573, wrong=478, backtracks=308, failedAssignments=270, nogoods=119, foundSolutions=7, bestBound=1015
4.66/2.63
4.66/2.64 num=24, depth=6..33, filters=25064, revisions=(12530,useless=4456), ccks=6627, wck=0.219, mem=53M9
4.66/2.64 decisions=1662, wrong=508, backtracks=326, failedAssignments=287, nogoods=127, foundSolutions=7, bestBound=1015
4.66/2.64
4.66/2.64 num=25, depth=10..24, filters=26095, revisions=(13104,useless=4616), ccks=6773, wck=0.223, mem=53M9
4.66/2.64 decisions=1749, wrong=541, backtracks=345, failedAssignments=306, nogoods=134, foundSolutions=7, bestBound=1015
4.66/2.64
4.66/2.65 num=26, depth=17..26, filters=28464, revisions=(14408,useless=5174), ccks=7088, wck=0.233, mem=53M9
4.66/2.65 decisions=1860, wrong=586, backtracks=375, failedAssignments=327, nogoods=137, foundSolutions=7, bestBound=1015
4.66/2.65
4.66/2.66 num=27, depth=5..22, filters=30183, revisions=(15371,useless=5517), ccks=7363, wck=0.24, mem=53M9
4.66/2.66 decisions=1959, wrong=629, backtracks=407, failedAssignments=350, nogoods=143, foundSolutions=7, bestBound=1015
4.66/2.66
4.66/2.67 num=28, depth=17..24, filters=32219, revisions=(16463,useless=5851), ccks=7717, wck=0.248, mem=53M9
4.66/2.67 decisions=2066, wrong=674, backtracks=434, failedAssignments=375, nogoods=144, foundSolutions=7, bestBound=1015
4.66/2.67
4.66/2.68 num=29, depth=19..26, filters=34618, revisions=(17936,useless=6409), ccks=8209, wck=0.258, mem=53M9
4.66/2.68 decisions=2198, wrong=730, backtracks=476, failedAssignments=403, nogoods=148, foundSolutions=7, bestBound=1015
4.66/2.68
4.66/2.69 num=30, depth=16..23, filters=37408, revisions=(19371,useless=6912), ccks=8529, wck=0.267, mem=53M9
4.66/2.69 decisions=2332, wrong=788, backtracks=511, failedAssignments=434, nogoods=152, foundSolutions=7, bestBound=1015
4.66/2.69
4.97/2.70 num=31, depth=3..35, filters=40004, revisions=(20547,useless=7339), ccks=8867, wck=0.276, mem=53M9
4.97/2.70 decisions=2501, wrong=864, backtracks=573, failedAssignments=468, nogoods=160, foundSolutions=7, bestBound=1015
4.97/2.70
4.97/2.71 num=32, depth=18..26, filters=43792, revisions=(22863,useless=8209), ccks=9605, wck=0.289, mem=53M9
4.97/2.71 decisions=2669, wrong=939, backtracks=622, failedAssignments=505, nogoods=161, foundSolutions=7, bestBound=1015
4.97/2.71
4.97/2.71 o 1014
4.97/2.71 num=33, depth=20..225, filters=44379, revisions=(23126,useless=8287), ccks=10108, wck=0.294, mem=53M9
4.97/2.71 decisions=2716, wrong=949, backtracks=624, failedAssignments=514, nogoods=169, foundSolutions=8, bestBound=1014
4.97/2.71
4.97/2.73 num=34, depth=19..43, filters=47872, revisions=(24801,useless=8887), ccks=10601, wck=0.308, mem=53M9
4.97/2.73 decisions=2924, wrong=1036, backtracks=688, failedAssignments=559, nogoods=180, foundSolutions=8, bestBound=1014
4.97/2.73
4.97/2.73 num=35, depth=5..24, filters=48588, revisions=(25124,useless=8988), ccks=10698, wck=0.311, mem=53M9
4.97/2.73 decisions=2976, wrong=1055, backtracks=700, failedAssignments=570, nogoods=184, foundSolutions=8, bestBound=1014
4.97/2.73
4.97/2.73 num=36, depth=16..24, filters=49452, revisions=(25472,useless=9092), ccks=10778, wck=0.314, mem=53M9
4.97/2.73 decisions=3031, wrong=1072, backtracks=710, failedAssignments=582, nogoods=188, foundSolutions=8, bestBound=1014
4.97/2.73
4.97/2.74 num=37, depth=14..21, filters=50972, revisions=(26271,useless=9390), ccks=10952, wck=0.32, mem=53M9
4.97/2.74 decisions=3111, wrong=1104, backtracks=736, failedAssignments=595, nogoods=190, foundSolutions=8, bestBound=1014
4.97/2.74
4.97/2.75 num=38, depth=17..31, filters=52133, revisions=(26857,useless=9601), ccks=11085, wck=0.325, mem=53M9
4.97/2.75 decisions=3203, wrong=1140, backtracks=764, failedAssignments=609, nogoods=193, foundSolutions=8, bestBound=1014
4.97/2.75
4.97/2.75 num=39, depth=16..29, filters=54351, revisions=(28202,useless=10163), ccks=11531, wck=0.335, mem=53M9
4.97/2.75 decisions=3301, wrong=1180, backtracks=795, failedAssignments=625, nogoods=199, foundSolutions=8, bestBound=1014
4.97/2.75
4.97/2.76 num=40, depth=16..33, filters=56323, revisions=(29225,useless=10564), ccks=11844, wck=0.342, mem=53M9
4.97/2.76 decisions=3402, wrong=1218, backtracks=826, failedAssignments=642, nogoods=205, foundSolutions=8, bestBound=1014
4.97/2.76
4.97/2.77 num=41, depth=14..20, filters=58608, revisions=(30560,useless=11083), ccks=12153, wck=0.35, mem=53M9
4.97/2.77 decisions=3495, wrong=1256, backtracks=853, failedAssignments=661, nogoods=208, foundSolutions=8, bestBound=1014
4.97/2.77
4.97/2.78 num=42, depth=17..31, filters=59897, revisions=(31186,useless=11292), ccks=12352, wck=0.355, mem=53M9
4.97/2.78 decisions=3591, wrong=1295, backtracks=886, failedAssignments=682, nogoods=213, foundSolutions=8, bestBound=1014
4.97/2.78
4.97/2.78 num=43, depth=18..30, filters=62175, revisions=(32352,useless=11703), ccks=12647, wck=0.364, mem=53M9
4.97/2.78 decisions=3703, wrong=1339, backtracks=915, failedAssignments=705, nogoods=219, foundSolutions=8, bestBound=1014
4.97/2.78
4.97/2.79 num=44, depth=15..28, filters=64516, revisions=(33463,useless=12107), ccks=12931, wck=0.372, mem=53M9
4.97/2.79 decisions=3823, wrong=1391, backtracks=960, failedAssignments=730, nogoods=223, foundSolutions=8, bestBound=1014
4.97/2.79
5.28/2.80 num=45, depth=5..27, filters=66563, revisions=(34647,useless=12463), ccks=13245, wck=0.38, mem=53M9
5.28/2.80 decisions=3948, wrong=1445, backtracks=997, failedAssignments=758, nogoods=228, foundSolutions=8, bestBound=1014
5.28/2.80
5.28/2.81 num=46, depth=14..28, filters=69834, revisions=(36173,useless=13062), ccks=13698, wck=0.392, mem=53M9
5.28/2.81 decisions=4096, wrong=1512, backtracks=1052, failedAssignments=789, nogoods=229, foundSolutions=8, bestBound=1014
5.28/2.81
5.28/2.82 num=47, depth=17..38, filters=72759, revisions=(37499,useless=13530), ccks=14082, wck=0.402, mem=53M9
5.28/2.82 decisions=4251, wrong=1579, backtracks=1108, failedAssignments=823, nogoods=232, foundSolutions=8, bestBound=1014
5.28/2.82
5.28/2.83 num=48, depth=15..37, filters=76092, revisions=(39189,useless=14146), ccks=14616, wck=0.413, mem=53M9
5.28/2.83 decisions=4424, wrong=1655, backtracks=1170, failedAssignments=860, nogoods=238, foundSolutions=8, bestBound=1014
5.28/2.83
5.28/2.85 num=49, depth=9..29, filters=80180, revisions=(41275,useless=14930), ccks=15240, wck=0.428, mem=53M9
5.28/2.85 decisions=4625, wrong=1748, backtracks=1244, failedAssignments=901, nogoods=244, foundSolutions=8, bestBound=1014
5.28/2.85
5.28/2.86 num=50, depth=13..20, filters=83819, revisions=(43279,useless=15663), ccks=15798, wck=0.441, mem=53M9
5.28/2.86 decisions=4808, wrong=1832, backtracks=1307, failedAssignments=946, nogoods=250, foundSolutions=8, bestBound=1014
5.28/2.86
5.28/2.87 o 919
5.28/2.87 num=51, depth=13..225, filters=85568, revisions=(44082,useless=15933), ccks=16453, wck=0.449, mem=55M652
5.28/2.87 decisions=4923, wrong=1872, backtracks=1331, failedAssignments=966, nogoods=258, foundSolutions=9, bestBound=919
5.28/2.87
5.28/2.88 o 915
5.28/2.88 num=52, depth=20..225, filters=87547, revisions=(44975,useless=16251), ccks=17153, wck=0.459, mem=55M652
5.28/2.88 decisions=5069, wrong=1931, backtracks=1376, failedAssignments=994, nogoods=263, foundSolutions=10, bestBound=915
5.28/2.88
5.28/2.88 num=53, depth=15..34, filters=88391, revisions=(45375,useless=16395), ccks=17275, wck=0.464, mem=55M652
5.28/2.88 decisions=5128, wrong=1948, backtracks=1386, failedAssignments=1005, nogoods=267, foundSolutions=10, bestBound=915
5.28/2.88
5.28/2.89 num=54, depth=17..21, filters=89929, revisions=(46251,useless=16741), ccks=17486, wck=0.469, mem=55M652
5.28/2.89 decisions=5191, wrong=1971, backtracks=1405, failedAssignments=1016, nogoods=272, foundSolutions=10, bestBound=915
5.28/2.89
5.28/2.89 num=55, depth=17..33, filters=90682, revisions=(46599,useless=16843), ccks=17575, wck=0.472, mem=55M652
5.28/2.89 decisions=5254, wrong=1989, backtracks=1413, failedAssignments=1028, nogoods=280, foundSolutions=10, bestBound=915
5.28/2.89
5.28/2.90 num=56, depth=3..9, filters=91805, revisions=(47258,useless=17088), ccks=17791, wck=0.475, mem=55M652
5.28/2.90 decisions=5312, wrong=2015, backtracks=1430, failedAssignments=1041, nogoods=285, foundSolutions=10, bestBound=915
5.28/2.90
5.58/2.90 num=57, depth=15..26, filters=92994, revisions=(47844,useless=17285), ccks=17943, wck=0.48, mem=55M652
5.58/2.90 decisions=5381, wrong=2042, backtracks=1450, failedAssignments=1055, nogoods=287, foundSolutions=10, bestBound=915
5.58/2.90
5.58/2.90 num=58, depth=3..10, filters=94514, revisions=(48686,useless=17631), ccks=18242, wck=0.484, mem=55M652
5.58/2.90 decisions=5454, wrong=2077, backtracks=1475, failedAssignments=1071, nogoods=288, foundSolutions=10, bestBound=915
5.58/2.90
5.58/2.91 num=59, depth=16..26, filters=95858, revisions=(49325,useless=17827), ccks=18417, wck=0.488, mem=55M652
5.58/2.91 decisions=5539, wrong=2109, backtracks=1502, failedAssignments=1088, nogoods=292, foundSolutions=10, bestBound=915
5.58/2.91
5.58/2.91 o 913
5.58/2.92 num=60, depth=13..225, filters=97329, revisions=(50009,useless=18036), ccks=19031, wck=0.495, mem=55M652
5.58/2.92 decisions=5623, wrong=2136, backtracks=1520, failedAssignments=1104, nogoods=301, foundSolutions=11, bestBound=913
5.58/2.92
5.58/2.92 num=61, depth=16..23, filters=99016, revisions=(51062,useless=18419), ccks=19318, wck=0.5, mem=55M652
5.58/2.92 decisions=5714, wrong=2173, backtracks=1545, failedAssignments=1125, nogoods=304, foundSolutions=11, bestBound=913
5.58/2.92
5.58/2.92 num=62, depth=14..19, filters=100255, revisions=(51823,useless=18711), ccks=19573, wck=0.504, mem=55M652
5.58/2.92 decisions=5771, wrong=2194, backtracks=1560, failedAssignments=1136, nogoods=310, foundSolutions=11, bestBound=913
5.58/2.92
5.58/2.93 o 909
5.58/2.93 num=63, depth=17..225, filters=100719, revisions=(52018,useless=18756), ccks=20070, wck=0.507, mem=55M652
5.58/2.93 decisions=5820, wrong=2204, backtracks=1565, failedAssignments=1142, nogoods=315, foundSolutions=12, bestBound=909
5.58/2.93
5.58/2.93 o 908
5.58/2.93 num=64, depth=11..225, filters=101790, revisions=(52570,useless=18985), ccks=20663, wck=0.513, mem=55M652
5.58/2.93 decisions=5878, wrong=2221, backtracks=1575, failedAssignments=1153, nogoods=321, foundSolutions=13, bestBound=908
5.58/2.93
5.58/2.94 num=65, depth=16..25, filters=102661, revisions=(53068,useless=19153), ccks=20800, wck=0.516, mem=55M652
5.58/2.94 decisions=5934, wrong=2240, backtracks=1588, failedAssignments=1164, nogoods=324, foundSolutions=13, bestBound=908
5.58/2.94
5.58/2.94 num=66, depth=6..11, filters=103638, revisions=(53695,useless=19387), ccks=21015, wck=0.519, mem=55M652
5.58/2.94 decisions=5990, wrong=2265, backtracks=1605, failedAssignments=1175, nogoods=327, foundSolutions=13, bestBound=908
5.58/2.94
5.58/2.94 num=67, depth=2..12, filters=104968, revisions=(54439,useless=19679), ccks=21262, wck=0.522, mem=55M652
5.58/2.94 decisions=6054, wrong=2295, backtracks=1629, failedAssignments=1187, nogoods=330, foundSolutions=13, bestBound=908
5.58/2.94
5.58/2.95 num=68, depth=0..11, filters=106068, revisions=(55088,useless=19930), ccks=21454, wck=0.525, mem=55M652
5.58/2.95 decisions=6109, wrong=2318, backtracks=1644, failedAssignments=1200, nogoods=334, foundSolutions=13, bestBound=908
5.58/2.95
5.58/2.95 num=69, depth=9..24, filters=107638, revisions=(55796,useless=20219), ccks=21657, wck=0.53, mem=55M652
5.58/2.95 decisions=6182, wrong=2347, backtracks=1666, failedAssignments=1214, nogoods=337, foundSolutions=13, bestBound=908
5.58/2.95
5.58/2.95 num=70, depth=4..30, filters=109280, revisions=(56562,useless=20507), ccks=21884, wck=0.534, mem=55M652
5.58/2.95 decisions=6259, wrong=2376, backtracks=1690, failedAssignments=1230, nogoods=343, foundSolutions=13, bestBound=908
5.58/2.95
5.58/2.96 num=71, depth=8..17, filters=111492, revisions=(57836,useless=20991), ccks=22253, wck=0.54, mem=55M652
5.58/2.96 decisions=6349, wrong=2414, backtracks=1718, failedAssignments=1247, nogoods=347, foundSolutions=13, bestBound=908
5.58/2.96
5.58/2.97 num=72, depth=2..9, filters=113768, revisions=(59168,useless=21539), ccks=22732, wck=0.546, mem=55M652
5.58/2.97 decisions=6445, wrong=2460, backtracks=1756, failedAssignments=1266, nogoods=350, foundSolutions=13, bestBound=908
5.58/2.97
5.58/2.97 num=73, depth=12..26, filters=115455, revisions=(60054,useless=21841), ccks=23024, wck=0.551, mem=55M652
5.58/2.97 decisions=6538, wrong=2496, backtracks=1784, failedAssignments=1287, nogoods=354, foundSolutions=13, bestBound=908
5.58/2.97
5.58/2.98 num=74, depth=12..21, filters=117711, revisions=(61382,useless=22321), ccks=23463, wck=0.557, mem=55M652
5.58/2.98 decisions=6639, wrong=2538, backtracks=1814, failedAssignments=1310, nogoods=360, foundSolutions=13, bestBound=908
5.58/2.98
5.58/2.98 num=75, depth=15..31, filters=119897, revisions=(62373,useless=22664), ccks=23763, wck=0.563, mem=55M652
5.58/2.98 decisions=6749, wrong=2582, backtracks=1846, failedAssignments=1335, nogoods=369, foundSolutions=13, bestBound=908
5.58/2.98
5.58/2.99 num=76, depth=16..25, filters=122330, revisions=(63609,useless=23137), ccks=24095, wck=0.569, mem=55M652
5.58/2.99 decisions=6870, wrong=2634, backtracks=1888, failedAssignments=1363, nogoods=376, foundSolutions=13, bestBound=908
5.58/2.99
5.58/3.00 num=77, depth=14..21, filters=125885, revisions=(65566,useless=23901), ccks=24632, wck=0.578, mem=55M652
5.58/3.00 decisions=7017, wrong=2700, backtracks=1931, failedAssignments=1394, nogoods=381, foundSolutions=13, bestBound=908
5.58/3.00
5.92/3.01 num=78, depth=13..38, filters=127746, revisions=(66134,useless=24026), ccks=24811, wck=0.584, mem=55M652
5.92/3.01 decisions=7169, wrong=2763, backtracks=1987, failedAssignments=1428, nogoods=389, foundSolutions=13, bestBound=908
5.92/3.01
5.92/3.01 num=79, depth=12..20, filters=131374, revisions=(68351,useless=24877), ccks=25539, wck=0.594, mem=55M652
5.92/3.01 decisions=7323, wrong=2834, backtracks=2039, failedAssignments=1465, nogoods=394, foundSolutions=13, bestBound=908
5.92/3.01
5.92/3.02 num=80, depth=0..20, filters=134257, revisions=(70092,useless=25523), ccks=26120, wck=0.601, mem=55M652
5.92/3.02 decisions=7479, wrong=2905, backtracks=2088, failedAssignments=1506, nogoods=398, foundSolutions=13, bestBound=908
5.92/3.02
5.92/3.03 num=81, depth=3..16, filters=138463, revisions=(72668,useless=26537), ccks=26947, wck=0.612, mem=58M294
5.92/3.03 decisions=7676, wrong=2997, backtracks=2152, failedAssignments=1551, nogoods=402, foundSolutions=13, bestBound=908
5.92/3.03
5.92/3.04 num=82, depth=11..34, filters=143108, revisions=(75236,useless=27603), ccks=27747, wck=0.624, mem=58M294
5.92/3.04 decisions=7887, wrong=3088, backtracks=2216, failedAssignments=1601, nogoods=412, foundSolutions=13, bestBound=908
5.92/3.04
5.92/3.05 num=83, depth=14..29, filters=147249, revisions=(77109,useless=28336), ccks=28251, wck=0.634, mem=58M294
5.92/3.05 decisions=8107, wrong=3189, backtracks=2303, failedAssignments=1656, nogoods=421, foundSolutions=13, bestBound=908
5.92/3.05
5.92/3.07 num=84, depth=8..28, filters=152417, revisions=(79561,useless=29360), ccks=28851, wck=0.647, mem=58M294
5.92/3.07 decisions=8352, wrong=3303, backtracks=2385, failedAssignments=1717, nogoods=429, foundSolutions=13, bestBound=908
5.92/3.07
5.92/3.08 num=85, depth=12..31, filters=157399, revisions=(81740,useless=30128), ccks=29441, wck=0.66, mem=58M294
5.92/3.08 decisions=8613, wrong=3423, backtracks=2488, failedAssignments=1784, nogoods=438, foundSolutions=13, bestBound=908
5.92/3.08
5.92/3.10 num=86, depth=16..25, filters=163253, revisions=(85189,useless=31467), ccks=30494, wck=0.676, mem=58M294
5.92/3.10 decisions=8872, wrong=3543, backtracks=2571, failedAssignments=1858, nogoods=445, foundSolutions=13, bestBound=908
5.92/3.10
6.23/3.12 num=87, depth=8..19, filters=171334, revisions=(89855,useless=33451), ccks=31756, wck=0.696, mem=58M294
6.23/3.12 decisions=9190, wrong=3698, backtracks=2689, failedAssignments=1939, nogoods=448, foundSolutions=13, bestBound=908
6.23/3.12
6.23/3.13 num=88, depth=12..35, filters=177579, revisions=(91825,useless=34039), ccks=32335, wck=0.711, mem=58M294
6.23/3.13 decisions=9607, wrong=3895, backtracks=2866, failedAssignments=2028, nogoods=455, foundSolutions=13, bestBound=908
6.23/3.13
6.23/3.14 o 822
6.23/3.14 num=89, depth=14..225, filters=181866, revisions=(93648,useless=34605), ccks=33415, wck=0.724, mem=58M294
6.23/3.14 decisions=9877, wrong=4015, backtracks=2963, failedAssignments=2081, nogoods=465, foundSolutions=14, bestBound=822
6.23/3.14
6.23/3.15 o 821
6.23/3.16 num=90, depth=8..225, filters=185321, revisions=(94985,useless=35048), ccks=34290, wck=0.735, mem=58M294
6.23/3.16 decisions=10100, wrong=4114, backtracks=3046, failedAssignments=2135, nogoods=476, foundSolutions=15, bestBound=821
6.23/3.16
6.23/3.16 num=91, depth=20..29, filters=186302, revisions=(95415,useless=35178), ccks=34411, wck=0.739, mem=58M294
6.23/3.16 decisions=10167, wrong=4138, backtracks=3067, failedAssignments=2146, nogoods=478, foundSolutions=15, bestBound=821
6.23/3.16
6.23/3.16 num=92, depth=18..30, filters=187152, revisions=(95776,useless=35277), ccks=34505, wck=0.741, mem=58M294
6.23/3.16 decisions=10229, wrong=4159, backtracks=3085, failedAssignments=2157, nogoods=481, foundSolutions=15, bestBound=821
6.23/3.16
6.23/3.16 num=93, depth=7..32, filters=187996, revisions=(96128,useless=35372), ccks=34608, wck=0.744, mem=58M294
6.23/3.16 decisions=10289, wrong=4179, backtracks=3101, failedAssignments=2169, nogoods=484, foundSolutions=15, bestBound=821
6.23/3.16
6.23/3.17 num=94, depth=17..31, filters=188987, revisions=(96451,useless=35463), ccks=34721, wck=0.747, mem=58M294
6.23/3.17 decisions=10364, wrong=4208, backtracks=3127, failedAssignments=2182, nogoods=486, foundSolutions=15, bestBound=821
6.23/3.17
6.23/3.17 num=95, depth=4..37, filters=190281, revisions=(96904,useless=35588), ccks=34843, wck=0.751, mem=58M294
6.23/3.17 decisions=10446, wrong=4233, backtracks=3144, failedAssignments=2196, nogoods=492, foundSolutions=15, bestBound=821
6.23/3.17
6.23/3.17 num=96, depth=11..28, filters=191427, revisions=(97460,useless=35767), ccks=34981, wck=0.754, mem=58M294
6.23/3.17 decisions=10512, wrong=4256, backtracks=3160, failedAssignments=2212, nogoods=497, foundSolutions=15, bestBound=821
6.23/3.17
6.23/3.18 num=97, depth=19..34, filters=192620, revisions=(98085,useless=35964), ccks=35137, wck=0.758, mem=58M294
6.23/3.18 decisions=10594, wrong=4284, backtracks=3175, failedAssignments=2229, nogoods=506, foundSolutions=15, bestBound=821
6.23/3.18
6.23/3.18 o 818
6.23/3.18 num=98, depth=20..225, filters=193542, revisions=(98380,useless=36027), ccks=35651, wck=0.762, mem=58M294
6.23/3.18 decisions=10667, wrong=4305, backtracks=3191, failedAssignments=2241, nogoods=510, foundSolutions=16, bestBound=818
6.23/3.18
6.23/3.19 num=99, depth=18..32, filters=194715, revisions=(98797,useless=36151), ccks=35778, wck=0.766, mem=58M294
6.23/3.19 decisions=10766, wrong=4346, backtracks=3228, failedAssignments=2262, nogoods=511, foundSolutions=16, bestBound=818
6.23/3.19
6.23/3.19 num=100, depth=7..31, filters=195476, revisions=(99033,useless=36199), ccks=35859, wck=0.769, mem=58M294
6.23/3.19 decisions=10832, wrong=4367, backtracks=3244, failedAssignments=2273, nogoods=513, foundSolutions=16, bestBound=818
6.23/3.19
6.23/3.19 num=101, depth=17..37, filters=196618, revisions=(99536,useless=36372), ccks=35985, wck=0.772, mem=58M294
6.23/3.19 decisions=10909, wrong=4392, backtracks=3261, failedAssignments=2285, nogoods=523, foundSolutions=16, bestBound=818
6.23/3.19
6.23/3.19 num=102, depth=19..34, filters=197622, revisions=(99991,useless=36527), ccks=36087, wck=0.775, mem=58M294
6.23/3.19 decisions=10977, wrong=4413, backtracks=3277, failedAssignments=2298, nogoods=527, foundSolutions=16, bestBound=818
6.23/3.19
6.51/3.20 num=103, depth=20..26, filters=198730, revisions=(100619,useless=36722), ccks=36226, wck=0.778, mem=58M294
6.51/3.20 decisions=11051, wrong=4438, backtracks=3295, failedAssignments=2312, nogoods=530, foundSolutions=16, bestBound=818
6.51/3.20
6.51/3.20 o 817
6.51/3.20 num=104, depth=21..225, filters=199339, revisions=(100884,useless=36809), ccks=36734, wck=0.782, mem=58M294
6.51/3.20 decisions=11106, wrong=4449, backtracks=3299, failedAssignments=2319, nogoods=537, foundSolutions=17, bestBound=817
6.51/3.20
6.51/3.21 num=105, depth=9..34, filters=201399, revisions=(101889,useless=37186), ccks=36965, wck=0.788, mem=60M936
6.51/3.21 decisions=11199, wrong=4482, backtracks=3320, failedAssignments=2336, nogoods=543, foundSolutions=17, bestBound=817
6.51/3.21
6.51/3.21 num=106, depth=20..25, filters=202431, revisions=(102437,useless=37382), ccks=37134, wck=0.791, mem=60M936
6.51/3.21 decisions=11257, wrong=4501, backtracks=3335, failedAssignments=2347, nogoods=547, foundSolutions=17, bestBound=817
6.51/3.21
6.51/3.21 num=107, depth=19..41, filters=203439, revisions=(102828,useless=37509), ccks=37241, wck=0.794, mem=60M936
6.51/3.21 decisions=11323, wrong=4520, backtracks=3345, failedAssignments=2359, nogoods=556, foundSolutions=17, bestBound=817
6.51/3.21
6.51/3.22 num=108, depth=22..30, filters=204840, revisions=(103404,useless=37703), ccks=37367, wck=0.797, mem=60M936
6.51/3.22 decisions=11403, wrong=4549, backtracks=3368, failedAssignments=2372, nogoods=561, foundSolutions=17, bestBound=817
6.51/3.22
6.51/3.22 num=109, depth=10..24, filters=205983, revisions=(103821,useless=37823), ccks=37512, wck=0.801, mem=60M936
6.51/3.22 decisions=11470, wrong=4573, backtracks=3387, failedAssignments=2386, nogoods=565, foundSolutions=17, bestBound=817
6.51/3.22
6.51/3.23 num=110, depth=7..23, filters=207774, revisions=(104850,useless=38204), ccks=37759, wck=0.805, mem=60M936
6.51/3.23 decisions=11546, wrong=4602, backtracks=3405, failedAssignments=2402, nogoods=570, foundSolutions=17, bestBound=817
6.51/3.23
6.51/3.23 num=111, depth=9..31, filters=209440, revisions=(105484,useless=38389), ccks=37917, wck=0.81, mem=60M936
6.51/3.23 decisions=11642, wrong=4638, backtracks=3431, failedAssignments=2419, nogoods=576, foundSolutions=17, bestBound=817
6.51/3.23
6.51/3.23 num=112, depth=6..15, filters=211417, revisions=(106717,useless=38901), ccks=38316, wck=0.814, mem=60M936
6.51/3.23 decisions=11721, wrong=4673, backtracks=3454, failedAssignments=2438, nogoods=583, foundSolutions=17, bestBound=817
6.51/3.23
6.51/3.24 num=113, depth=21..34, filters=213079, revisions=(107365,useless=39111), ccks=38499, wck=0.819, mem=60M936
6.51/3.24 decisions=11839, wrong=4717, backtracks=3491, failedAssignments=2459, nogoods=587, foundSolutions=17, bestBound=817
6.51/3.24
6.51/3.24 o 722
6.51/3.24 num=114, depth=24..225, filters=214006, revisions=(107767,useless=39230), ccks=39050, wck=0.823, mem=60M936
6.51/3.24 decisions=11917, wrong=4740, backtracks=3504, failedAssignments=2473, nogoods=595, foundSolutions=18, bestBound=722
6.51/3.24
6.51/3.25 o 716
6.51/3.25 num=115, depth=20..225, filters=214631, revisions=(108060,useless=39333), ccks=39571, wck=0.827, mem=60M936
6.51/3.25 decisions=11979, wrong=4755, backtracks=3513, failedAssignments=2480, nogoods=601, foundSolutions=19, bestBound=716
6.51/3.25
6.51/3.25 num=116, depth=17..23, filters=215182, revisions=(108272,useless=39398), ccks=39637, wck=0.83, mem=60M936
6.51/3.25 decisions=12032, wrong=4773, backtracks=3529, failedAssignments=2491, nogoods=602, foundSolutions=19, bestBound=716
6.51/3.25
6.51/3.25 num=117, depth=15..22, filters=216140, revisions=(108811,useless=39565), ccks=39749, wck=0.832, mem=60M936
6.51/3.25 decisions=12093, wrong=4796, backtracks=3546, failedAssignments=2502, nogoods=603, foundSolutions=19, bestBound=716
6.51/3.25
6.51/3.26 num=118, depth=16..28, filters=217291, revisions=(109256,useless=39702), ccks=39871, wck=0.835, mem=60M936
6.51/3.26 decisions=12158, wrong=4819, backtracks=3562, failedAssignments=2514, nogoods=608, foundSolutions=19, bestBound=716
6.51/3.26
6.51/3.26 num=119, depth=19..30, filters=218126, revisions=(109583,useless=39806), ccks=39960, wck=0.838, mem=60M936
6.51/3.26 decisions=12225, wrong=4842, backtracks=3580, failedAssignments=2527, nogoods=613, foundSolutions=19, bestBound=716
6.51/3.26
6.51/3.26 num=120, depth=8..14, filters=219270, revisions=(110197,useless=40070), ccks=40181, wck=0.841, mem=60M936
6.51/3.26 decisions=12283, wrong=4866, backtracks=3595, failedAssignments=2541, nogoods=617, foundSolutions=19, bestBound=716
6.51/3.26
6.51/3.27 num=121, depth=13..22, filters=220750, revisions=(111116,useless=40387), ccks=40415, wck=0.845, mem=60M936
6.51/3.27 decisions=12356, wrong=4896, backtracks=3615, failedAssignments=2557, nogoods=620, foundSolutions=19, bestBound=716
6.51/3.27
6.51/3.27 num=122, depth=9..19, filters=221694, revisions=(111526,useless=40518), ccks=40505, wck=0.848, mem=60M936
6.51/3.27 decisions=12428, wrong=4926, backtracks=3638, failedAssignments=2574, nogoods=626, foundSolutions=19, bestBound=716
6.51/3.27
6.51/3.27 num=123, depth=12..21, filters=223687, revisions=(112593,useless=40901), ccks=40782, wck=0.853, mem=60M936
6.51/3.27 decisions=12512, wrong=4962, backtracks=3665, failedAssignments=2593, nogoods=627, foundSolutions=19, bestBound=716
6.51/3.27
6.51/3.28 num=124, depth=8..18, filters=226068, revisions=(113847,useless=41406), ccks=41213, wck=0.859, mem=60M936
6.51/3.28 decisions=12605, wrong=5003, backtracks=3697, failedAssignments=2614, nogoods=630, foundSolutions=19, bestBound=716
6.51/3.28
6.51/3.28 num=125, depth=14..21, filters=228091, revisions=(115020,useless=41799), ccks=41616, wck=0.864, mem=60M936
6.51/3.28 decisions=12693, wrong=5039, backtracks=3724, failedAssignments=2637, nogoods=635, foundSolutions=19, bestBound=716
6.51/3.28
6.51/3.29 num=126, depth=8..19, filters=230595, revisions=(116622,useless=42415), ccks=42212, wck=0.869, mem=60M936
6.51/3.29 decisions=12799, wrong=5088, backtracks=3762, failedAssignments=2662, nogoods=637, foundSolutions=19, bestBound=716
6.51/3.29
6.51/3.30 num=127, depth=10..27, filters=232421, revisions=(117353,useless=42644), ccks=42353, wck=0.874, mem=60M936
6.51/3.30 decisions=12915, wrong=5138, backtracks=3805, failedAssignments=2690, nogoods=642, foundSolutions=19, bestBound=716
6.51/3.30
6.82/3.30 num=128, depth=0..11, filters=235281, revisions=(119072,useless=43424), ccks=43044, wck=0.882, mem=60M936
6.82/3.30 decisions=13054, wrong=5206, backtracks=3856, failedAssignments=2721, nogoods=647, foundSolutions=19, bestBound=716
6.82/3.30
6.82/3.31 num=129, depth=13..31, filters=237189, revisions=(119661,useless=43575), ccks=43212, wck=0.888, mem=60M936
6.82/3.31 decisions=13204, wrong=5268, backtracks=3909, failedAssignments=2755, nogoods=654, foundSolutions=19, bestBound=716
6.82/3.31
6.82/3.32 num=130, depth=10..30, filters=240406, revisions=(121105,useless=44037), ccks=43542, wck=0.896, mem=60M936
6.82/3.32 decisions=13382, wrong=5349, backtracks=3979, failedAssignments=2792, nogoods=659, foundSolutions=19, bestBound=716
6.82/3.32
6.82/3.32 o 715
6.82/3.32 num=131, depth=15..225, filters=241814, revisions=(121683,useless=44220), ccks=44147, wck=0.902, mem=60M936
6.82/3.32 decisions=13492, wrong=5392, backtracks=4008, failedAssignments=2815, nogoods=668, foundSolutions=20, bestBound=715
6.82/3.32
6.82/3.33 num=132, depth=16..32, filters=245367, revisions=(123264,useless=44802), ccks=44591, wck=0.912, mem=60M936
6.82/3.33 decisions=13678, wrong=5476, backtracks=4080, failedAssignments=2860, nogoods=674, foundSolutions=20, bestBound=715
6.82/3.33
6.82/3.34 num=133, depth=19..23, filters=246466, revisions=(123852,useless=45003), ccks=44721, wck=0.915, mem=60M936
6.82/3.34 decisions=13744, wrong=5499, backtracks=4096, failedAssignments=2871, nogoods=678, foundSolutions=20, bestBound=715
6.82/3.34
6.82/3.34 num=134, depth=14..24, filters=247530, revisions=(124473,useless=45211), ccks=44879, wck=0.918, mem=60M936
6.82/3.34 decisions=13808, wrong=5522, backtracks=4114, failedAssignments=2883, nogoods=680, foundSolutions=20, bestBound=715
6.82/3.34
6.82/3.34 num=135, depth=13..22, filters=248704, revisions=(125193,useless=45509), ccks=45100, wck=0.92, mem=60M936
6.82/3.34 decisions=13869, wrong=5546, backtracks=4131, failedAssignments=2896, nogoods=681, foundSolutions=20, bestBound=715
6.82/3.34
6.82/3.34 num=136, depth=13..29, filters=249779, revisions=(125619,useless=45637), ccks=45240, wck=0.924, mem=60M936
6.82/3.34 decisions=13951, wrong=5574, backtracks=4155, failedAssignments=2910, nogoods=685, foundSolutions=20, bestBound=715
6.82/3.34
6.82/3.35 num=137, depth=16..25, filters=251689, revisions=(126614,useless=46023), ccks=45499, wck=0.928, mem=60M936
6.82/3.35 decisions=14035, wrong=5608, backtracks=4181, failedAssignments=2926, nogoods=691, foundSolutions=20, bestBound=715
6.82/3.35
6.82/3.35 num=138, depth=17..25, filters=253823, revisions=(127715,useless=46415), ccks=45770, wck=0.933, mem=60M936
6.82/3.35 decisions=14138, wrong=5651, backtracks=4218, failedAssignments=2943, nogoods=694, foundSolutions=20, bestBound=715
6.82/3.35
6.82/3.36 num=139, depth=13..27, filters=255323, revisions=(128338,useless=46596), ccks=45951, wck=0.937, mem=60M936
6.82/3.36 decisions=14241, wrong=5694, backtracks=4254, failedAssignments=2962, nogoods=698, foundSolutions=20, bestBound=715
6.82/3.36
6.82/3.36 num=140, depth=18..28, filters=257178, revisions=(129051,useless=46802), ccks=46160, wck=0.942, mem=60M936
6.82/3.36 decisions=14341, wrong=5733, backtracks=4283, failedAssignments=2983, nogoods=703, foundSolutions=20, bestBound=715
6.82/3.36
6.82/3.37 num=141, depth=17..24, filters=258625, revisions=(129932,useless=47106), ccks=46338, wck=0.945, mem=60M936
6.82/3.37 decisions=14440, wrong=5774, backtracks=4311, failedAssignments=3006, nogoods=706, foundSolutions=20, bestBound=715
6.82/3.37
6.82/3.37 num=142, depth=10..21, filters=261387, revisions=(131562,useless=47756), ccks=46889, wck=0.951, mem=60M936
6.82/3.37 decisions=14556, wrong=5824, backtracks=4351, failedAssignments=3031, nogoods=711, foundSolutions=20, bestBound=715
6.82/3.37
6.82/3.38 num=143, depth=12..19, filters=263625, revisions=(132855,useless=48191), ccks=47151, wck=0.956, mem=63M579
6.82/3.38 decisions=14677, wrong=5878, backtracks=4392, failedAssignments=3059, nogoods=716, foundSolutions=20, bestBound=715
6.82/3.38
6.82/3.38 num=144, depth=11..22, filters=266803, revisions=(134707,useless=48844), ccks=47714, wck=0.963, mem=63M579
6.82/3.38 decisions=14811, wrong=5939, backtracks=4433, failedAssignments=3090, nogoods=722, foundSolutions=20, bestBound=715
6.82/3.38
6.82/3.39 num=145, depth=12..30, filters=270835, revisions=(136378,useless=49486), ccks=48227, wck=0.973, mem=63M579
6.82/3.39 decisions=14971, wrong=6011, backtracks=4495, failedAssignments=3124, nogoods=727, foundSolutions=20, bestBound=715
6.82/3.39
7.07/3.40 num=146, depth=15..32, filters=274259, revisions=(137704,useless=49899), ccks=48594, wck=0.982, mem=63M579
7.07/3.40 decisions=15163, wrong=6098, backtracks=4568, failedAssignments=3161, nogoods=735, foundSolutions=20, bestBound=715
7.07/3.40
7.07/3.41 o 713
7.07/3.41 num=147, depth=20..225, filters=277060, revisions=(138881,useless=50294), ccks=49369, wck=0.991, mem=63M579
7.07/3.41 decisions=15334, wrong=6169, backtracks=4624, failedAssignments=3197, nogoods=744, foundSolutions=21, bestBound=713
7.07/3.41
7.07/3.42 num=148, depth=19..26, filters=279710, revisions=(140505,useless=50842), ccks=49725, wck=0.998, mem=63M579
7.07/3.42 decisions=15522, wrong=6253, backtracks=4682, failedAssignments=3242, nogoods=753, foundSolutions=21, bestBound=713
7.07/3.42
7.07/3.42 num=149, depth=18..29, filters=281045, revisions=(141093,useless=51013), ccks=49835, wck=1.002, mem=63M579
7.07/3.42 decisions=15588, wrong=6277, backtracks=4698, failedAssignments=3253, nogoods=755, foundSolutions=21, bestBound=713
7.07/3.42
7.07/3.42 num=150, depth=4..12, filters=281933, revisions=(141624,useless=51251), ccks=50036, wck=1.004, mem=63M579
7.07/3.42 decisions=15632, wrong=6297, backtracks=4713, failedAssignments=3265, nogoods=757, foundSolutions=21, bestBound=713
7.07/3.42
7.07/3.43 num=151, depth=0..17, filters=282744, revisions=(142149,useless=51437), ccks=50241, wck=1.007, mem=63M579
7.07/3.43 decisions=15683, wrong=6317, backtracks=4727, failedAssignments=3278, nogoods=760, foundSolutions=21, bestBound=713
7.07/3.43
7.07/3.43 num=152, depth=18..24, filters=284178, revisions=(142965,useless=51722), ccks=50449, wck=1.01, mem=63M579
7.07/3.43 decisions=15756, wrong=6343, backtracks=4742, failedAssignments=3292, nogoods=767, foundSolutions=21, bestBound=713
7.07/3.43
7.07/3.43 num=153, depth=13..18, filters=285405, revisions=(143604,useless=51947), ccks=50649, wck=1.013, mem=63M579
7.07/3.43 decisions=15824, wrong=6370, backtracks=4759, failedAssignments=3308, nogoods=772, foundSolutions=21, bestBound=713
7.07/3.43
7.07/3.44 num=154, depth=19..25, filters=286810, revisions=(144426,useless=52212), ccks=50864, wck=1.017, mem=63M579
7.07/3.44 decisions=15913, wrong=6405, backtracks=4782, failedAssignments=3325, nogoods=777, foundSolutions=21, bestBound=713
7.07/3.44
7.07/3.44 num=155, depth=16..29, filters=288777, revisions=(145227,useless=52492), ccks=51098, wck=1.023, mem=63M579
7.07/3.44 decisions=16017, wrong=6447, backtracks=4821, failedAssignments=3344, nogoods=783, foundSolutions=21, bestBound=713
7.07/3.44
7.07/3.45 num=156, depth=12..26, filters=290497, revisions=(146111,useless=52765), ccks=51355, wck=1.027, mem=63M579
7.07/3.45 decisions=16109, wrong=6484, backtracks=4851, failedAssignments=3365, nogoods=789, foundSolutions=21, bestBound=713
7.07/3.45
7.07/3.45 num=157, depth=7..17, filters=292076, revisions=(147074,useless=53154), ccks=51692, wck=1.032, mem=63M579
7.07/3.45 decisions=16193, wrong=6522, backtracks=4879, failedAssignments=3388, nogoods=794, foundSolutions=21, bestBound=713
7.07/3.45
7.07/3.46 num=158, depth=18..29, filters=294083, revisions=(147865,useless=53447), ccks=51940, wck=1.037, mem=63M579
7.07/3.46 decisions=16311, wrong=6572, backtracks=4926, failedAssignments=3413, nogoods=796, foundSolutions=21, bestBound=713
7.07/3.46
7.07/3.46 num=159, depth=2..12, filters=295989, revisions=(148857,useless=53905), ccks=52305, wck=1.042, mem=63M579
7.07/3.46 decisions=16412, wrong=6621, backtracks=4967, failedAssignments=3441, nogoods=798, foundSolutions=21, bestBound=713
7.07/3.46
7.07/3.47 num=160, depth=11..28, filters=298260, revisions=(150055,useless=54294), ccks=52649, wck=1.048, mem=63M579
7.07/3.47 decisions=16550, wrong=6680, backtracks=5013, failedAssignments=3472, nogoods=802, foundSolutions=21, bestBound=713
7.07/3.47
7.07/3.48 num=161, depth=3..14, filters=301332, revisions=(151598,useless=54979), ccks=53186, wck=1.055, mem=63M579
7.07/3.48 decisions=16686, wrong=6745, backtracks=5069, failedAssignments=3506, nogoods=806, foundSolutions=21, bestBound=713
7.07/3.48
7.07/3.48 num=162, depth=3..24, filters=304634, revisions=(153268,useless=55563), ccks=53646, wck=1.063, mem=63M579
7.07/3.48 decisions=16837, wrong=6814, backtracks=5120, failedAssignments=3543, nogoods=811, foundSolutions=21, bestBound=713
7.07/3.48
7.07/3.49 num=163, depth=10..20, filters=308155, revisions=(155311,useless=56336), ccks=54280, wck=1.071, mem=63M579
7.07/3.49 decisions=16994, wrong=6885, backtracks=5171, failedAssignments=3584, nogoods=822, foundSolutions=21, bestBound=713
7.07/3.49
7.31/3.50 num=164, depth=1..12, filters=312098, revisions=(157480,useless=57304), ccks=55178, wck=1.082, mem=63M579
7.31/3.50 decisions=17165, wrong=6968, backtracks=5237, failedAssignments=3629, nogoods=829, foundSolutions=21, bestBound=713
7.31/3.50
7.31/3.51 o 618
7.31/3.51 num=165, depth=21..225, filters=313287, revisions=(157942,useless=57432), ccks=55755, wck=1.087, mem=63M579
7.31/3.51 decisions=17278, wrong=7005, backtracks=5265, failedAssignments=3651, nogoods=837, foundSolutions=22, bestBound=618
7.31/3.51
7.31/3.52 num=166, depth=9..23, filters=319012, revisions=(161395,useless=58651), ccks=56782, wck=1.102, mem=63M579
7.31/3.52 decisions=17516, wrong=7119, backtracks=5353, failedAssignments=3706, nogoods=841, foundSolutions=22, bestBound=618
7.31/3.52
7.31/3.52 num=167, depth=9..17, filters=319830, revisions=(161850,useless=58819), ccks=56967, wck=1.104, mem=63M579
7.31/3.52 decisions=17569, wrong=7138, backtracks=5365, failedAssignments=3717, nogoods=847, foundSolutions=22, bestBound=618
7.31/3.52
7.31/3.53 num=168, depth=8..20, filters=320930, revisions=(162492,useless=59032), ccks=57153, wck=1.107, mem=63M579
7.31/3.53 decisions=17621, wrong=7156, backtracks=5372, failedAssignments=3729, nogoods=856, foundSolutions=22, bestBound=618
7.31/3.53
7.31/3.53 num=169, depth=9..17, filters=322617, revisions=(163458,useless=59384), ccks=57448, wck=1.111, mem=63M579
7.31/3.53 decisions=17691, wrong=7185, backtracks=5393, failedAssignments=3742, nogoods=858, foundSolutions=22, bestBound=618
7.31/3.53
7.31/3.53 num=170, depth=12..25, filters=323819, revisions=(163927,useless=59528), ccks=57597, wck=1.114, mem=63M579
7.31/3.53 decisions=17770, wrong=7217, backtracks=5416, failedAssignments=3756, nogoods=862, foundSolutions=22, bestBound=618
7.31/3.53
7.31/3.54 o 617
7.31/3.54 num=171, depth=9..225, filters=325744, revisions=(164869,useless=59859), ccks=58285, wck=1.12, mem=63M579
7.31/3.54 decisions=17849, wrong=7247, backtracks=5438, failedAssignments=3770, nogoods=867, foundSolutions=23, bestBound=617
7.31/3.54
7.31/3.55 num=172, depth=11..20, filters=327682, revisions=(165995,useless=60266), ccks=58598, wck=1.126, mem=63M579
7.31/3.55 decisions=17925, wrong=7280, backtracks=5463, failedAssignments=3787, nogoods=870, foundSolutions=23, bestBound=617
7.31/3.55
7.31/3.55 num=173, depth=0..6, filters=328580, revisions=(166540,useless=60504), ccks=58831, wck=1.129, mem=63M579
7.31/3.55 decisions=17967, wrong=7298, backtracks=5475, failedAssignments=3798, nogoods=871, foundSolutions=23, bestBound=617
7.31/3.55
7.31/3.55 num=174, depth=8..29, filters=329582, revisions=(166922,useless=60614), ccks=58949, wck=1.131, mem=63M579
7.31/3.55 decisions=18043, wrong=7330, backtracks=5503, failedAssignments=3810, nogoods=874, foundSolutions=23, bestBound=617
7.31/3.55
7.31/3.55 o 612
7.31/3.55 num=175, depth=11..225, filters=330156, revisions=(167186,useless=60694), ccks=59470, wck=1.135, mem=66M221
7.31/3.55 decisions=18087, wrong=7339, backtracks=5505, failedAssignments=3817, nogoods=881, foundSolutions=24, bestBound=612
7.31/3.55
7.31/3.56 num=176, depth=14..28, filters=331159, revisions=(167686,useless=60894), ccks=59596, wck=1.138, mem=66M221
7.31/3.56 decisions=18153, wrong=7364, backtracks=5526, failedAssignments=3831, nogoods=886, foundSolutions=24, bestBound=612
7.31/3.56
7.31/3.56 num=177, depth=12..20, filters=332069, revisions=(168113,useless=61039), ccks=59718, wck=1.141, mem=66M221
7.31/3.56 decisions=18211, wrong=7386, backtracks=5546, failedAssignments=3842, nogoods=889, foundSolutions=24, bestBound=612
7.31/3.56
7.31/3.56 num=178, depth=4..12, filters=333502, revisions=(169066,useless=61463), ccks=60111, wck=1.144, mem=66M221
7.31/3.56 decisions=18272, wrong=7414, backtracks=5568, failedAssignments=3854, nogoods=891, foundSolutions=24, bestBound=612
7.31/3.56
7.31/3.57 num=179, depth=10..23, filters=334362, revisions=(169462,useless=61589), ccks=60222, wck=1.147, mem=66M221
7.31/3.57 decisions=18328, wrong=7437, backtracks=5591, failedAssignments=3867, nogoods=892, foundSolutions=24, bestBound=612
7.31/3.57
7.31/3.57 num=180, depth=6..16, filters=336364, revisions=(170428,useless=61973), ccks=60499, wck=1.152, mem=66M221
7.31/3.57 decisions=18406, wrong=7472, backtracks=5620, failedAssignments=3881, nogoods=894, foundSolutions=24, bestBound=612
7.31/3.57
7.31/3.58 num=181, depth=11..28, filters=337310, revisions=(170905,useless=62107), ccks=60617, wck=1.155, mem=66M221
7.31/3.58 decisions=18478, wrong=7497, backtracks=5638, failedAssignments=3897, nogoods=900, foundSolutions=24, bestBound=612
7.31/3.58
7.31/3.58 num=182, depth=10..19, filters=338933, revisions=(171825,useless=62413), ccks=60848, wck=1.159, mem=66M221
7.31/3.58 decisions=18560, wrong=7533, backtracks=5662, failedAssignments=3914, nogoods=903, foundSolutions=24, bestBound=612
7.31/3.58
7.31/3.58 num=183, depth=2..11, filters=340144, revisions=(172705,useless=62788), ccks=61276, wck=1.162, mem=66M221
7.31/3.58 decisions=18637, wrong=7570, backtracks=5696, failedAssignments=3933, nogoods=906, foundSolutions=24, bestBound=612
7.31/3.58
7.31/3.59 num=184, depth=8..21, filters=341940, revisions=(173483,useless=63048), ccks=61543, wck=1.166, mem=66M221
7.31/3.59 decisions=18734, wrong=7612, backtracks=5731, failedAssignments=3954, nogoods=910, foundSolutions=24, bestBound=612
7.31/3.59
7.31/3.59 o 611
7.31/3.59 num=185, depth=13..225, filters=342688, revisions=(173848,useless=63178), ccks=62078, wck=1.17, mem=66M221
7.31/3.59 decisions=18774, wrong=7622, backtracks=5736, failedAssignments=3962, nogoods=915, foundSolutions=25, bestBound=611
7.31/3.59
7.31/3.59 o 610
7.31/3.59 num=186, depth=15..225, filters=343580, revisions=(174254,useless=63322), ccks=62628, wck=1.174, mem=66M221
7.31/3.59 decisions=18829, wrong=7639, backtracks=5747, failedAssignments=3971, nogoods=919, foundSolutions=26, bestBound=610
7.31/3.59
7.31/3.60 num=187, depth=15..25, filters=344269, revisions=(174570,useless=63435), ccks=62734, wck=1.177, mem=66M221
7.31/3.60 decisions=18883, wrong=7658, backtracks=5762, failedAssignments=3982, nogoods=922, foundSolutions=26, bestBound=610
7.31/3.60
7.56/3.60 num=188, depth=13..19, filters=345151, revisions=(174999,useless=63582), ccks=62835, wck=1.18, mem=66M221
7.56/3.60 decisions=18929, wrong=7674, backtracks=5772, failedAssignments=3993, nogoods=927, foundSolutions=26, bestBound=610
7.56/3.60
7.56/3.60 num=189, depth=11..21, filters=346363, revisions=(175648,useless=63791), ccks=63003, wck=1.183, mem=66M221
7.56/3.60 decisions=18994, wrong=7701, backtracks=5795, failedAssignments=4005, nogoods=931, foundSolutions=26, bestBound=610
7.56/3.60
7.56/3.60 num=190, depth=14..25, filters=347167, revisions=(175976,useless=63880), ccks=63106, wck=1.185, mem=66M221
7.56/3.60 decisions=19062, wrong=7728, backtracks=5821, failedAssignments=4018, nogoods=932, foundSolutions=26, bestBound=610
7.56/3.60
7.56/3.61 num=191, depth=17..25, filters=348432, revisions=(176635,useless=64096), ccks=63272, wck=1.188, mem=66M221
7.56/3.61 decisions=19130, wrong=7752, backtracks=5839, failedAssignments=4032, nogoods=937, foundSolutions=26, bestBound=610
7.56/3.61
7.56/3.61 num=192, depth=3..11, filters=349994, revisions=(177490,useless=64446), ccks=63637, wck=1.192, mem=66M221
7.56/3.61 decisions=19202, wrong=7786, backtracks=5869, failedAssignments=4048, nogoods=942, foundSolutions=26, bestBound=610
7.56/3.61
7.56/3.62 num=193, depth=16..30, filters=351174, revisions=(178008,useless=64598), ccks=63799, wck=1.195, mem=66M221
7.56/3.62 decisions=19282, wrong=7818, backtracks=5898, failedAssignments=4065, nogoods=943, foundSolutions=26, bestBound=610
7.56/3.62
7.56/3.62 num=194, depth=2..12, filters=352946, revisions=(179126,useless=65087), ccks=64272, wck=1.199, mem=66M221
7.56/3.62 decisions=19359, wrong=7853, backtracks=5924, failedAssignments=4084, nogoods=948, foundSolutions=26, bestBound=610
7.56/3.62
7.56/3.62 num=195, depth=11..17, filters=355133, revisions=(180458,useless=65590), ccks=64686, wck=1.204, mem=66M221
7.56/3.62 decisions=19445, wrong=7890, backtracks=5946, failedAssignments=4105, nogoods=954, foundSolutions=26, bestBound=610
7.56/3.62
7.56/3.63 num=196, depth=1..11, filters=357251, revisions=(181526,useless=66024), ccks=65171, wck=1.209, mem=66M221
7.56/3.63 decisions=19556, wrong=7943, backtracks=5989, failedAssignments=4128, nogoods=957, foundSolutions=26, bestBound=610
7.56/3.63
7.56/3.64 num=197, depth=5..15, filters=360382, revisions=(183357,useless=66791), ccks=65712, wck=1.216, mem=66M221
7.56/3.64 decisions=19666, wrong=7994, backtracks=6027, failedAssignments=4153, nogoods=959, foundSolutions=26, bestBound=610
7.56/3.64
7.56/3.64 num=198, depth=6..15, filters=363251, revisions=(185069,useless=67448), ccks=66226, wck=1.222, mem=66M221
7.56/3.64 decisions=19782, wrong=8048, backtracks=6062, failedAssignments=4181, nogoods=968, foundSolutions=26, bestBound=610
7.56/3.64
7.56/3.65 num=199, depth=7..13, filters=366314, revisions=(187118,useless=68231), ccks=66858, wck=1.229, mem=66M221
7.56/3.65 decisions=19905, wrong=8106, backtracks=6103, failedAssignments=4212, nogoods=976, foundSolutions=26, bestBound=610
7.56/3.65
7.56/3.66 num=200, depth=5..13, filters=370326, revisions=(189678,useless=69243), ccks=67764, wck=1.238, mem=66M221
7.56/3.66 decisions=20055, wrong=8177, backtracks=6154, failedAssignments=4246, nogoods=981, foundSolutions=26, bestBound=610
7.56/3.66
7.56/3.66 num=201, depth=6..25, filters=372995, revisions=(191014,useless=69718), ccks=68134, wck=1.244, mem=66M221
7.56/3.66 decisions=20185, wrong=8237, backtracks=6200, failedAssignments=4283, nogoods=989, foundSolutions=26, bestBound=610
7.56/3.66
7.56/3.68 num=202, depth=6..27, filters=377869, revisions=(193560,useless=70778), ccks=68990, wck=1.256, mem=66M221
7.56/3.68 decisions=20398, wrong=8339, backtracks=6284, failedAssignments=4324, nogoods=999, foundSolutions=26, bestBound=610
7.56/3.68
7.56/3.69 num=203, depth=7..23, filters=382133, revisions=(195600,useless=71546), ccks=69612, wck=1.266, mem=66M221
7.56/3.69 decisions=20589, wrong=8429, backtracks=6359, failedAssignments=4369, nogoods=1006, foundSolutions=26, bestBound=610
7.56/3.69
7.56/3.70 num=204, depth=6..13, filters=386918, revisions=(198745,useless=72837), ccks=70656, wck=1.277, mem=66M221
7.56/3.70 decisions=20768, wrong=8514, backtracks=6422, failedAssignments=4419, nogoods=1013, foundSolutions=26, bestBound=610
7.56/3.70
7.67/3.71 num=205, depth=0..9, filters=392039, revisions=(201847,useless=74188), ccks=71922, wck=1.288, mem=66M221
7.67/3.71 decisions=20982, wrong=8621, backtracks=6523, failedAssignments=4474, nogoods=1013, foundSolutions=26, bestBound=610
7.67/3.71
7.67/3.72 num=206, depth=5..12, filters=399194, revisions=(206416,useless=76081), ccks=73287, wck=1.304, mem=66M221
7.67/3.72 decisions=21224, wrong=8739, backtracks=6603, failedAssignments=4535, nogoods=1022, foundSolutions=26, bestBound=610
7.67/3.72
7.67/3.74 num=207, depth=5..19, filters=405230, revisions=(209548,useless=77297), ccks=74303, wck=1.318, mem=66M221
7.67/3.74 decisions=21502, wrong=8870, backtracks=6708, failedAssignments=4602, nogoods=1028, foundSolutions=26, bestBound=610
7.67/3.74
7.67/3.76 num=208, depth=6..16, filters=413764, revisions=(214565,useless=79391), ccks=75900, wck=1.338, mem=68M864
7.67/3.76 decisions=21832, wrong=9032, backtracks=6837, failedAssignments=4676, nogoods=1032, foundSolutions=26, bestBound=610
7.67/3.76
7.67/3.77 num=209, depth=7..26, filters=420126, revisions=(216654,useless=80035), ccks=76744, wck=1.354, mem=68M864
7.67/3.77 decisions=22224, wrong=9220, backtracks=7010, failedAssignments=4757, nogoods=1041, foundSolutions=26, bestBound=610
7.67/3.77
7.67/3.79 num=210, depth=9..25, filters=428770, revisions=(220573,useless=81440), ccks=77819, wck=1.374, mem=68M864
7.67/3.79 decisions=22610, wrong=9407, backtracks=7167, failedAssignments=4846, nogoods=1046, foundSolutions=26, bestBound=610
7.67/3.79
7.77/3.82 num=211, depth=5..21, filters=438236, revisions=(225693,useless=83503), ccks=79326, wck=1.397, mem=68M864
7.77/3.82 decisions=22997, wrong=9597, backtracks=7312, failedAssignments=4944, nogoods=1050, foundSolutions=26, bestBound=610
7.77/3.82
7.77/3.84 num=212, depth=0..10, filters=449533, revisions=(233378,useless=86818), ccks=82409, wck=1.42, mem=68M864
7.77/3.84 decisions=23447, wrong=9821, backtracks=7502, failedAssignments=5052, nogoods=1056, foundSolutions=26, bestBound=610
7.77/3.84
7.77/3.86 num=213, depth=0..22, filters=460446, revisions=(240361,useless=89828), ccks=84754, wck=1.444, mem=68M864
7.77/3.86 decisions=23938, wrong=10062, backtracks=7689, failedAssignments=5171, nogoods=1063, foundSolutions=26, bestBound=610
7.77/3.86
7.77/3.89 num=214, depth=4..24, filters=469192, revisions=(244673,useless=91456), ccks=86195, wck=1.465, mem=68M864
7.77/3.89 decisions=24454, wrong=10317, backtracks=7920, failedAssignments=5302, nogoods=1068, foundSolutions=26, bestBound=610
7.77/3.89
7.88/3.91 num=215, depth=7..30, filters=478052, revisions=(247675,useless=92496), ccks=87243, wck=1.488, mem=68M864
7.88/3.91 decisions=25056, wrong=10613, backtracks=8182, failedAssignments=5446, nogoods=1072, foundSolutions=26, bestBound=610
7.88/3.91
7.88/3.94 num=216, depth=5..23, filters=491922, revisions=(255513,useless=95510), ccks=89770, wck=1.52, mem=68M864
7.88/3.94 decisions=25694, wrong=10925, backtracks=8445, failedAssignments=5604, nogoods=1079, foundSolutions=26, bestBound=610
7.88/3.94
7.88/3.97 num=217, depth=11..31, filters=502195, revisions=(258552,useless=96464), ccks=90880, wck=1.546, mem=68M864
7.88/3.97 decisions=26419, wrong=11278, backtracks=8767, failedAssignments=5778, nogoods=1086, foundSolutions=26, bestBound=610
7.88/3.97
8.00/4.01 num=218, depth=6..22, filters=524444, revisions=(272337,useless=101933), ccks=95586, wck=1.591, mem=68M864
8.00/4.01 decisions=27202, wrong=11666, backtracks=9056, failedAssignments=5969, nogoods=1091, foundSolutions=26, bestBound=610
8.00/4.01
8.00/4.05 num=219, depth=2..27, filters=542655, revisions=(281837,useless=106128), ccks=98657, wck=1.633, mem=68M864
8.00/4.05 decisions=28051, wrong=12088, backtracks=9428, failedAssignments=6180, nogoods=1098, foundSolutions=26, bestBound=610
8.00/4.05
8.00/4.10 num=220, depth=1..22, filters=565223, revisions=(293549,useless=111056), ccks=102826, wck=1.684, mem=68M864
8.00/4.10 decisions=29109, wrong=12614, backtracks=9897, failedAssignments=6412, nogoods=1105, foundSolutions=26, bestBound=610
8.00/4.10
8.10/4.15 num=221, depth=9..31, filters=583125, revisions=(299998,useless=113352), ccks=104519, wck=1.727, mem=71M506
8.10/4.15 decisions=30248, wrong=13177, backtracks=10412, failedAssignments=6667, nogoods=1111, foundSolutions=26, bestBound=610
8.10/4.15
8.10/4.19 o 609
8.10/4.19 num=222, depth=13..225, filters=601291, revisions=(308230,useless=116695), ccks=107342, wck=1.771, mem=71M506
8.10/4.19 decisions=31196, wrong=13640, backtracks=10816, failedAssignments=6883, nogoods=1119, foundSolutions=27, bestBound=609
8.10/4.19
8.20/4.26 num=223, depth=7..21, filters=634349, revisions=(329509,useless=125154), ccks=114144, wck=1.841, mem=71M506
8.20/4.26 decisions=32547, wrong=14312, backtracks=11346, failedAssignments=7192, nogoods=1127, foundSolutions=27, bestBound=609
8.20/4.26
8.20/4.26 num=224, depth=12..26, filters=635365, revisions=(329886,useless=125272), ccks=114264, wck=1.843, mem=71M506
8.20/4.26 decisions=32607, wrong=14332, backtracks=11359, failedAssignments=7203, nogoods=1132, foundSolutions=27, bestBound=609
8.20/4.26
8.20/4.27 num=225, depth=7..13, filters=636472, revisions=(330698,useless=125596), ccks=114518, wck=1.846, mem=71M506
8.20/4.27 decisions=32662, wrong=14355, backtracks=11374, failedAssignments=7215, nogoods=1136, foundSolutions=27, bestBound=609
8.20/4.27
8.20/4.27 num=226, depth=19..33, filters=638229, revisions=(331396,useless=125850), ccks=114722, wck=1.85, mem=71M506
8.20/4.27 decisions=32755, wrong=14392, backtracks=11408, failedAssignments=7228, nogoods=1138, foundSolutions=27, bestBound=609
8.20/4.27
8.20/4.27 num=227, depth=7..20, filters=639419, revisions=(331741,useless=125952), ccks=114839, wck=1.853, mem=71M506
8.20/4.27 decisions=32835, wrong=14428, backtracks=11440, failedAssignments=7242, nogoods=1141, foundSolutions=27, bestBound=609
8.20/4.27
8.20/4.28 num=228, depth=14..33, filters=641451, revisions=(332445,useless=126193), ccks=115035, wck=1.858, mem=71M506
8.20/4.28 decisions=32944, wrong=14473, backtracks=11480, failedAssignments=7258, nogoods=1144, foundSolutions=27, bestBound=609
8.20/4.28
8.20/4.28 num=229, depth=8..19, filters=643800, revisions=(333708,useless=126692), ccks=115398, wck=1.863, mem=71M506
8.20/4.28 decisions=33022, wrong=14507, backtracks=11504, failedAssignments=7275, nogoods=1150, foundSolutions=27, bestBound=609
8.20/4.28
8.20/4.29 num=230, depth=6..21, filters=646190, revisions=(335005,useless=127261), ccks=115858, wck=1.869, mem=71M506
8.20/4.29 decisions=33119, wrong=14552, backtracks=11544, failedAssignments=7294, nogoods=1153, foundSolutions=27, bestBound=609
8.20/4.29
8.20/4.29 num=231, depth=4..11, filters=648713, revisions=(336709,useless=127964), ccks=116367, wck=1.874, mem=71M506
8.20/4.29 decisions=33219, wrong=14599, backtracks=11577, failedAssignments=7315, nogoods=1155, foundSolutions=27, bestBound=609
8.20/4.29
8.30/4.30 num=232, depth=5..15, filters=651507, revisions=(338243,useless=128551), ccks=116766, wck=1.881, mem=71M506
8.30/4.30 decisions=33327, wrong=14650, backtracks=11616, failedAssignments=7338, nogoods=1158, foundSolutions=27, bestBound=609
8.30/4.30
8.30/4.31 num=233, depth=5..20, filters=654811, revisions=(340065,useless=129292), ccks=117358, wck=1.889, mem=71M506
8.30/4.31 decisions=33447, wrong=14705, backtracks=11659, failedAssignments=7363, nogoods=1163, foundSolutions=27, bestBound=609
8.30/4.31
8.30/4.32 num=234, depth=4..22, filters=658083, revisions=(341871,useless=130065), ccks=117971, wck=1.896, mem=71M506
8.30/4.32 decisions=33580, wrong=14768, backtracks=11710, failedAssignments=7391, nogoods=1168, foundSolutions=27, bestBound=609
8.30/4.32
8.30/4.32 num=235, depth=5..12, filters=661261, revisions=(344031,useless=130925), ccks=118632, wck=1.903, mem=71M506
8.30/4.32 decisions=33709, wrong=14830, backtracks=11754, failedAssignments=7422, nogoods=1169, foundSolutions=27, bestBound=609
8.30/4.32
8.30/4.33 num=236, depth=0..19, filters=664381, revisions=(345764,useless=131648), ccks=119307, wck=1.91, mem=71M506
8.30/4.33 decisions=33858, wrong=14902, backtracks=11811, failedAssignments=7456, nogoods=1175, foundSolutions=27, bestBound=609
8.30/4.33
8.30/4.34 num=237, depth=6..21, filters=667329, revisions=(347040,useless=132212), ccks=119687, wck=1.918, mem=71M506
8.30/4.34 decisions=34017, wrong=14977, backtracks=11879, failedAssignments=7493, nogoods=1178, foundSolutions=27, bestBound=609
8.30/4.34
8.30/4.35 num=238, depth=0..17, filters=670875, revisions=(349101,useless=133088), ccks=120349, wck=1.926, mem=71M506
8.30/4.35 decisions=34183, wrong=15055, backtracks=11947, failedAssignments=7534, nogoods=1180, foundSolutions=27, bestBound=609
8.30/4.35
8.30/4.35 num=239, depth=8..27, filters=674292, revisions=(350110,useless=133427), ccks=120667, wck=1.935, mem=71M506
8.30/4.35 decisions=34390, wrong=15152, backtracks=12037, failedAssignments=7579, nogoods=1183, foundSolutions=27, bestBound=609
8.30/4.35
8.30/4.36 num=240, depth=8..26, filters=678120, revisions=(351166,useless=133784), ccks=120992, wck=1.944, mem=71M506
8.30/4.36 decisions=34625, wrong=15261, backtracks=12127, failedAssignments=7629, nogoods=1193, foundSolutions=27, bestBound=609
8.30/4.36
8.30/4.38 num=241, depth=5..29, filters=682814, revisions=(353145,useless=134549), ccks=121681, wck=1.956, mem=71M506
8.30/4.38 decisions=34860, wrong=15371, backtracks=12215, failedAssignments=7684, nogoods=1196, foundSolutions=27, bestBound=609
8.30/4.38
8.30/4.39 num=242, depth=6..17, filters=689997, revisions=(356961,useless=136155), ccks=122798, wck=1.972, mem=71M506
8.30/4.39 decisions=35113, wrong=15494, backtracks=12322, failedAssignments=7745, nogoods=1201, foundSolutions=27, bestBound=609
8.30/4.39
8.40/4.41 num=243, depth=5..27, filters=698946, revisions=(360784,useless=137764), ccks=124015, wck=1.994, mem=74M149
8.40/4.41 decisions=35487, wrong=15674, backtracks=12489, failedAssignments=7812, nogoods=1207, foundSolutions=27, bestBound=609
8.40/4.41
8.40/4.42 o 608
8.40/4.42 num=244, depth=4..225, filters=702639, revisions=(362362,useless=138474), ccks=124919, wck=2.005, mem=76M791
8.40/4.42 decisions=35773, wrong=15806, backtracks=12608, failedAssignments=7885, nogoods=1218, foundSolutions=28, bestBound=608
8.40/4.42
8.40/4.44 num=245, depth=13..36, filters=709466, revisions=(364879,useless=139478), ccks=125617, wck=2.022, mem=76M791
8.40/4.44 decisions=36145, wrong=15983, backtracks=12770, failedAssignments=7966, nogoods=1225, foundSolutions=28, bestBound=608
8.40/4.44
8.40/4.45 num=246, depth=7..19, filters=711181, revisions=(365786,useless=139861), ccks=125901, wck=2.026, mem=76M791
8.40/4.45 decisions=36210, wrong=16012, backtracks=12793, failedAssignments=7977, nogoods=1226, foundSolutions=28, bestBound=608
8.40/4.45
8.40/4.45 num=247, depth=10..22, filters=712153, revisions=(366191,useless=140002), ccks=126040, wck=2.028, mem=76M791
8.40/4.45 decisions=36274, wrong=16037, backtracks=12811, failedAssignments=7989, nogoods=1231, foundSolutions=28, bestBound=608
8.40/4.45
8.40/4.45 num=248, depth=17..29, filters=712787, revisions=(366428,useless=140072), ccks=126109, wck=2.03, mem=76M791
8.40/4.45 decisions=36337, wrong=16060, backtracks=12829, failedAssignments=8002, nogoods=1234, foundSolutions=28, bestBound=608
8.40/4.45
8.40/4.45 num=249, depth=11..17, filters=714672, revisions=(367415,useless=140459), ccks=126359, wck=2.034, mem=76M791
8.40/4.45 decisions=36402, wrong=16086, backtracks=12845, failedAssignments=8016, nogoods=1239, foundSolutions=28, bestBound=608
8.40/4.45
8.40/4.46 num=250, depth=8..14, filters=716347, revisions=(368493,useless=140865), ccks=126649, wck=2.038, mem=76M791
8.40/4.46 decisions=36480, wrong=16121, backtracks=12869, failedAssignments=8032, nogoods=1240, foundSolutions=28, bestBound=608
8.40/4.46
8.40/4.46 num=251, depth=11..25, filters=717805, revisions=(369233,useless=141156), ccks=126911, wck=2.042, mem=76M791
8.40/4.46 decisions=36557, wrong=16153, backtracks=12894, failedAssignments=8049, nogoods=1246, foundSolutions=28, bestBound=608
8.40/4.46
8.40/4.47 num=252, depth=10..25, filters=719787, revisions=(370058,useless=141475), ccks=127100, wck=2.047, mem=76M791
8.40/4.47 decisions=36666, wrong=16200, backtracks=12938, failedAssignments=8068, nogoods=1250, foundSolutions=28, bestBound=608
8.40/4.47
8.40/4.47 num=253, depth=10..18, filters=722207, revisions=(371294,useless=142020), ccks=127374, wck=2.052, mem=76M791
8.40/4.47 decisions=36767, wrong=16245, backtracks=12968, failedAssignments=8089, nogoods=1256, foundSolutions=28, bestBound=608
8.40/4.47
8.40/4.48 num=254, depth=5..34, filters=723987, revisions=(372048,useless=142305), ccks=127573, wck=2.056, mem=76M791
8.40/4.48 decisions=36874, wrong=16294, backtracks=13008, failedAssignments=8112, nogoods=1258, foundSolutions=28, bestBound=608
8.40/4.48
8.40/4.48 num=255, depth=2..17, filters=726844, revisions=(373693,useless=142948), ccks=127994, wck=2.063, mem=76M791
8.40/4.48 decisions=36985, wrong=16345, backtracks=13046, failedAssignments=8137, nogoods=1263, foundSolutions=28, bestBound=608
8.40/4.48
8.40/4.49 num=256, depth=3..12, filters=729567, revisions=(375258,useless=143592), ccks=128507, wck=2.069, mem=76M791
8.40/4.49 decisions=37108, wrong=16404, backtracks=13094, failedAssignments=8165, nogoods=1266, foundSolutions=28, bestBound=608
8.40/4.49
8.52/4.50 num=257, depth=3..11, filters=732947, revisions=(377625,useless=144574), ccks=129292, wck=2.077, mem=76M791
8.52/4.50 decisions=37243, wrong=16470, backtracks=13143, failedAssignments=8196, nogoods=1267, foundSolutions=28, bestBound=608
8.52/4.50
8.52/4.51 num=258, depth=2..19, filters=737563, revisions=(380331,useless=145816), ccks=130184, wck=2.088, mem=76M791
8.52/4.51 decisions=37401, wrong=16547, backtracks=13207, failedAssignments=8230, nogoods=1272, foundSolutions=28, bestBound=608
8.52/4.51
8.52/4.52 num=259, depth=2..12, filters=741040, revisions=(382634,useless=146745), ccks=130929, wck=2.096, mem=76M791
8.52/4.52 decisions=37549, wrong=16619, backtracks=13264, failedAssignments=8267, nogoods=1276, foundSolutions=28, bestBound=608
8.52/4.52
8.52/4.53 num=260, depth=3..18, filters=746323, revisions=(385184,useless=147833), ccks=131662, wck=2.109, mem=76M791
8.52/4.53 decisions=37756, wrong=16720, backtracks=13362, failedAssignments=8308, nogoods=1284, foundSolutions=28, bestBound=608
8.52/4.53
8.52/4.54 num=261, depth=4..12, filters=751454, revisions=(388245,useless=149163), ccks=132535, wck=2.12, mem=76M791
8.52/4.54 decisions=37937, wrong=16807, backtracks=13427, failedAssignments=8353, nogoods=1287, foundSolutions=28, bestBound=608
8.52/4.54
8.52/4.54 o 607
8.52/4.54 num=262, depth=5..225, filters=752331, revisions=(388659,useless=149319), ccks=133087, wck=2.124, mem=76M791
8.52/4.54 decisions=37976, wrong=16822, backtracks=13436, failedAssignments=8364, nogoods=1292, foundSolutions=29, bestBound=607
8.52/4.54
8.52/4.56 num=263, depth=3..9, filters=757909, revisions=(392551,useless=150814), ccks=134473, wck=2.137, mem=76M791
8.52/4.56 decisions=38213, wrong=16939, backtracks=13513, failedAssignments=8419, nogoods=1297, foundSolutions=29, bestBound=607
8.52/4.56
8.52/4.56 num=264, depth=0..7, filters=758775, revisions=(393157,useless=151070), ccks=134730, wck=2.139, mem=76M791
8.52/4.56 decisions=38252, wrong=16957, backtracks=13527, failedAssignments=8430, nogoods=1299, foundSolutions=29, bestBound=607
8.52/4.56
8.52/4.56 num=265, depth=3..9, filters=759796, revisions=(393810,useless=151336), ccks=134949, wck=2.141, mem=76M791
8.52/4.56 decisions=38293, wrong=16976, backtracks=13543, failedAssignments=8442, nogoods=1302, foundSolutions=29, bestBound=607
8.52/4.56
8.52/4.57 num=266, depth=2..15, filters=761770, revisions=(394847,useless=151766), ccks=135303, wck=2.146, mem=76M791
8.52/4.57 decisions=38364, wrong=17009, backtracks=13569, failedAssignments=8455, nogoods=1305, foundSolutions=29, bestBound=607
8.52/4.57
8.52/4.57 num=267, depth=5..10, filters=762990, revisions=(395618,useless=152059), ccks=135522, wck=2.149, mem=76M791
8.52/4.57 decisions=38418, wrong=17033, backtracks=13588, failedAssignments=8469, nogoods=1310, foundSolutions=29, bestBound=607
8.52/4.57
8.52/4.57 num=268, depth=4..14, filters=764789, revisions=(396649,useless=152488), ccks=135840, wck=2.153, mem=76M791
8.52/4.57 decisions=38492, wrong=17066, backtracks=13615, failedAssignments=8485, nogoods=1313, foundSolutions=29, bestBound=607
8.52/4.57
8.52/4.58 num=269, depth=6..14, filters=766749, revisions=(397634,useless=152863), ccks=136165, wck=2.158, mem=76M791
8.52/4.58 decisions=38578, wrong=17105, backtracks=13647, failedAssignments=8502, nogoods=1317, foundSolutions=29, bestBound=607
8.52/4.58
8.52/4.58 num=270, depth=3..10, filters=768524, revisions=(398812,useless=153332), ccks=136651, wck=2.162, mem=76M791
8.52/4.58 decisions=38647, wrong=17138, backtracks=13673, failedAssignments=8521, nogoods=1321, foundSolutions=29, bestBound=607
8.52/4.58
8.52/4.59 num=271, depth=4..14, filters=770111, revisions=(399725,useless=153655), ccks=136922, wck=2.166, mem=76M791
8.52/4.59 decisions=38724, wrong=17174, backtracks=13702, failedAssignments=8542, nogoods=1325, foundSolutions=29, bestBound=607
8.52/4.59
8.52/4.59 num=272, depth=3..10, filters=772115, revisions=(401035,useless=154176), ccks=137325, wck=2.17, mem=76M791
8.52/4.59 decisions=38805, wrong=17213, backtracks=13732, failedAssignments=8565, nogoods=1327, foundSolutions=29, bestBound=607
8.52/4.59
8.64/4.60 num=273, depth=2..17, filters=775104, revisions=(402826,useless=155011), ccks=137961, wck=2.178, mem=76M791
8.64/4.60 decisions=38925, wrong=17270, backtracks=13783, failedAssignments=8590, nogoods=1333, foundSolutions=29, bestBound=607
8.64/4.60
8.64/4.60 num=274, depth=1..11, filters=777628, revisions=(404480,useless=155682), ccks=138586, wck=2.184, mem=76M791
8.64/4.60 decisions=39039, wrong=17325, backtracks=13825, failedAssignments=8618, nogoods=1336, foundSolutions=29, bestBound=607
8.64/4.60
8.64/4.61 num=275, depth=3..12, filters=781676, revisions=(406592,useless=156563), ccks=139277, wck=2.193, mem=76M791
8.64/4.61 decisions=39187, wrong=17396, backtracks=13888, failedAssignments=8649, nogoods=1340, foundSolutions=29, bestBound=607
8.64/4.61
8.64/4.62 num=276, depth=7..22, filters=783909, revisions=(407316,useless=156809), ccks=139496, wck=2.199, mem=79M434
8.64/4.62 decisions=39320, wrong=17458, backtracks=13934, failedAssignments=8683, nogoods=1351, foundSolutions=29, bestBound=607
8.64/4.62
8.64/4.63 num=277, depth=10..27, filters=787133, revisions=(408705,useless=157408), ccks=139874, wck=2.207, mem=79M434
8.64/4.63 decisions=39473, wrong=17527, backtracks=13997, failedAssignments=8720, nogoods=1356, foundSolutions=29, bestBound=607
8.64/4.63
8.64/4.64 num=278, depth=1..10, filters=792875, revisions=(412290,useless=159083), ccks=140989, wck=2.22, mem=79M434
8.64/4.64 decisions=39653, wrong=17616, backtracks=14062, failedAssignments=8761, nogoods=1359, foundSolutions=29, bestBound=607
8.64/4.64
8.64/4.65 num=279, depth=2..13, filters=797617, revisions=(415169,useless=160282), ccks=141913, wck=2.231, mem=79M434
8.64/4.65 decisions=39848, wrong=17712, backtracks=14143, failedAssignments=8806, nogoods=1362, foundSolutions=29, bestBound=607
8.64/4.65
8.64/4.66 num=280, depth=2..14, filters=803446, revisions=(418448,useless=161691), ccks=142857, wck=2.244, mem=79M434
8.64/4.66 decisions=40077, wrong=17822, backtracks=14234, failedAssignments=8856, nogoods=1367, foundSolutions=29, bestBound=607
8.64/4.66
8.64/4.67 num=281, depth=3..12, filters=807807, revisions=(421162,useless=162804), ccks=143686, wck=2.254, mem=79M434
8.64/4.67 decisions=40284, wrong=17923, backtracks=14310, failedAssignments=8911, nogoods=1371, foundSolutions=29, bestBound=607
8.64/4.67
8.64/4.69 num=282, depth=2..12, filters=815171, revisions=(426103,useless=164988), ccks=145360, wck=2.271, mem=79M434
8.64/4.69 decisions=40567, wrong=18063, backtracks=14428, failedAssignments=8972, nogoods=1379, foundSolutions=29, bestBound=607
8.64/4.69
8.74/4.70 num=283, depth=2..21, filters=820577, revisions=(428403,useless=165937), ccks=146047, wck=2.284, mem=79M434
8.74/4.70 decisions=40849, wrong=18200, backtracks=14556, failedAssignments=9039, nogoods=1387, foundSolutions=29, bestBound=607
8.74/4.70
8.74/4.72 num=284, depth=2..27, filters=827240, revisions=(431792,useless=167337), ccks=147038, wck=2.3, mem=79M434
8.74/4.72 decisions=41181, wrong=18361, backtracks=14689, failedAssignments=9113, nogoods=1397, foundSolutions=29, bestBound=607
8.74/4.72
8.74/4.74 num=285, depth=5..23, filters=836564, revisions=(436888,useless=169618), ccks=148551, wck=2.322, mem=79M434
8.74/4.74 decisions=41505, wrong=18520, backtracks=14820, failedAssignments=9194, nogoods=1402, foundSolutions=29, bestBound=607
8.74/4.74
8.74/4.77 num=286, depth=5..15, filters=848096, revisions=(444182,useless=172710), ccks=150786, wck=2.346, mem=79M434
8.74/4.77 decisions=41931, wrong=18730, backtracks=14984, failedAssignments=9283, nogoods=1408, foundSolutions=29, bestBound=607
8.74/4.77
8.74/4.79 num=287, depth=0..11, filters=860676, revisions=(452226,useless=176410), ccks=153666, wck=2.375, mem=79M434
8.74/4.79 decisions=42366, wrong=18946, backtracks=15175, failedAssignments=9381, nogoods=1410, foundSolutions=29, bestBound=607
8.74/4.79
8.85/4.82 num=288, depth=0..20, filters=873035, revisions=(459090,useless=179458), ccks=156032, wck=2.404, mem=79M434
8.85/4.82 decisions=42846, wrong=19182, backtracks=15383, failedAssignments=9489, nogoods=1415, foundSolutions=29, bestBound=607
8.85/4.82
8.85/4.85 num=289, depth=2..21, filters=884799, revisions=(464653,useless=181759), ccks=157749, wck=2.432, mem=79M434
8.85/4.85 decisions=43423, wrong=19467, backtracks=15634, failedAssignments=9608, nogoods=1421, foundSolutions=29, bestBound=607
8.85/4.85
8.85/4.89 num=290, depth=1..15, filters=899842, revisions=(473741,useless=185792), ccks=160578, wck=2.467, mem=79M434
8.85/4.89 decisions=44007, wrong=19758, backtracks=15885, failedAssignments=9739, nogoods=1425, foundSolutions=29, bestBound=607
8.85/4.89
8.95/4.92 num=291, depth=0..19, filters=915547, revisions=(482825,useless=189788), ccks=163645, wck=2.504, mem=79M434
8.95/4.92 decisions=44709, wrong=20103, backtracks=16190, failedAssignments=9883, nogoods=1428, foundSolutions=29, bestBound=607
8.95/4.92
8.95/4.97 num=292, depth=1..23, filters=934115, revisions=(493537,useless=194621), ccks=166985, wck=2.547, mem=82M76
8.95/4.97 decisions=45482, wrong=20487, backtracks=16540, failedAssignments=10041, nogoods=1432, foundSolutions=29, bestBound=607
8.95/4.97
8.95/5.00 num=293, depth=3..33, filters=947992, revisions=(497928,useless=196112), ccks=168516, wck=2.58, mem=82M76
8.95/5.00 decisions=46331, wrong=20904, backtracks=16922, failedAssignments=10215, nogoods=1440, foundSolutions=29, bestBound=607
8.95/5.00
9.07/5.03 num=294, depth=3..27, filters=962243, revisions=(503216,useless=197961), ccks=170268, wck=2.615, mem=82M76
9.07/5.03 decisions=47265, wrong=21367, backtracks=17352, failedAssignments=10406, nogoods=1443, foundSolutions=29, bestBound=607
9.07/5.03
9.07/5.10 num=295, depth=1..26, filters=988334, revisions=(516675,useless=203841), ccks=174389, wck=2.675, mem=82M76
9.07/5.10 decisions=48269, wrong=21866, backtracks=17815, failedAssignments=10617, nogoods=1452, foundSolutions=29, bestBound=607
9.07/5.10
9.16/5.16 num=296, depth=0..29, filters=1015703, revisions=(529912,useless=209469), ccks=178613, wck=2.738, mem=82M76
9.16/5.16 decisions=49443, wrong=22452, backtracks=18364, failedAssignments=10849, nogoods=1460, foundSolutions=29, bestBound=607
9.16/5.16
9.26/5.21
9.26/5.21 New Bounds: 607..606
9.26/5.21 num=297, depth=0..22, filters=1039161, revisions=(543431,useless=214888), ccks=182886, wck=2.792, mem=82M76
9.26/5.21 decisions=50561, wrong=23012, backtracks=18892, failedAssignments=11070, foundSolutions=29, bestBound=607
9.26/5.21
9.26/5.21 Global
9.26/5.21 filters=1039161, revisions=(543431,useless=214888), ccks=182886
9.26/5.21 Stop=FULL_EXPLORATION, wrong=23012, bestBound=607, bestBoundWck=2.669, bestBoundCpu=4.505, foundSolutions=29, firstSolCpu=2.412
9.26/5.21 wck=3.339, cpu=5.174, mem=82M76
9.26/5.21
9.26/5.21 v <instantiation id='sol29' type='solution' cost='607'> <list> x[][] ps[][] ds[][] wk[][] cn[] cf[] cc[][] </list> <values> 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 9 5 9 5 8 6 7 7 9 5 7 7 8 6 8 6 5 3 7 1 6 2 4 4 5 3 3 5 3 5 6 2 7 1 4 4 2 6 5 3 4 4 4 4 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 200 0 200 0 0 0 0 0 0 0 0 0 0 0 200 0 0 0 </values> </instantiation>
9.26/5.21 s OPTIMUM FOUND
9.26/5.21
9.26/5.21 d WRONG_DECISIONS 23012
9.26/5.21 d NUMBER_SOLUTIONS 29