2.87/2.11
2.87/2.11 AbsCon 2
2.87/2.13
3.08/2.29 Instance
3.08/2.29 name=instance-4391085-1568388722, framework=COP, bounds=-infty..+infty
3.08/2.29
3.08/2.29 Loading variables...
3.33/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b6bdafc
3.33/2.32 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a8770e
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@598edbe7
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742efd0f
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e468c6
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3212af3f
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681166f7
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d05a43
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35ba4ed1
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73357fab
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fabfa69
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7613276d
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498f36b3
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@161278ee
3.33/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30530ac9
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6480bfd9
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cea877
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393db42
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41689ecf
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5841d3d2
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69575105
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@506b1b8a
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e83d973
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f24493
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2226e75a
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55149381
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567cf34
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b0284e
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f2ecff0
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66845e5d
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76dfbf8e
3.33/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@719c059e
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a796ca
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af5284c
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e01296
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2a9a42
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@178fc76d
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53992c2a
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@435bed8e
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1244299
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ce6a5
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e59cf44
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fffbd9d
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@712fb30e
3.33/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65767034
3.55/2.41
3.55/2.41
3.55/2.41 Domains
3.55/2.41 nTypes=2, nValues=495, sizes=[2#45,9#45]
3.55/2.41 Variables
3.55/2.41 count=90, degrees=[2#45,7#4,9#8,10#33]
3.55/2.41 Objectives
3.55/2.41 way=max, type=SumSimpleGE
3.55/2.41 Constraints
3.55/2.41 count=111, nSpecific=46, arities=[2#45,3#20,4#4,6#20,9#21,45#1]
3.55/2.41 distribution=[CtrExtensionV-Bits#45,CtrExtensionV-Matrix3D#20,SumSimpleGE#1,SumWeightedEQ#45]
3.55/2.41 nExtStructures=(5,shared:60), nCftStructures=(5,shared:60,unbuilt:46)
3.55/2.41 wck=0.327, cpu=2.375, mem=23M870
3.55/2.41 Solver SolverBacktrack being built...
3.55/2.41
3.55/2.43
3.55/2.43 Solver
3.55/2.43 guaranteedGAC=false
3.55/2.43 wck=0.354, cpu=2.4, mem=37M155
3.55/2.44
3.55/2.44 Preprocessing
3.55/2.44 filters=24, revisions=(24,useless=24), nACremovedValues=80, nTotalRemovedValues=80, inconcistency=false
3.55/2.44 wck=0.003, cpu=2.405, mem=37M155
3.55/2.44
3.55/2.45 o 0
3.55/2.45 num=0, depth=91..89, filters=313, revisions=(243,useless=202), ccks=131, wck=0.02, mem=37M155
3.55/2.45 decisions=36, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.55/2.45
3.55/2.46 o 4
3.55/2.46 num=1, depth=31..89, filters=666, revisions=(566,useless=473), ccks=260, wck=0.03, mem=37M155
3.55/2.46 decisions=79, wrong=6, backtracks=3, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=4
3.55/2.46
3.55/2.48 o 5
3.55/2.48 num=2, depth=24..89, filters=1011, revisions=(871,useless=727), ccks=384, wck=0.048, mem=37M155
3.55/2.48 decisions=118, wrong=12, backtracks=6, failedAssignments=8, nogoods=7, foundSolutions=3, bestBound=5
3.55/2.48
3.55/2.48 o 6
3.55/2.49 num=3, depth=25..89, filters=1363, revisions=(1193,useless=999), ccks=511, wck=0.053, mem=37M155
3.55/2.49 decisions=156, wrong=17, backtracks=9, failedAssignments=12, nogoods=9, foundSolutions=4, bestBound=6
3.55/2.49
3.55/2.50 num=4, depth=21..25, filters=1895, revisions=(1678,useless=1390), ccks=558, wck=0.058, mem=37M155
3.55/2.50 decisions=209, wrong=33, backtracks=22, failedAssignments=23, nogoods=13, foundSolutions=4, bestBound=6
3.55/2.50
3.55/2.50 num=5, depth=26..31, filters=2490, revisions=(1982,useless=1611), ccks=573, wck=0.063, mem=37M155
3.55/2.50 decisions=275, wrong=53, backtracks=38, failedAssignments=34, nogoods=14, foundSolutions=4, bestBound=6
3.55/2.50
3.87/2.51 o 7
3.87/2.51 num=6, depth=25..89, filters=2945, revisions=(2300,useless=1860), ccks=704, wck=0.068, mem=37M155
3.87/2.51 decisions=320, wrong=63, backtracks=47, failedAssignments=40, nogoods=15, foundSolutions=5, bestBound=7
3.87/2.51
3.87/2.51 num=7, depth=21..27, filters=3602, revisions=(2755,useless=2219), ccks=746, wck=0.072, mem=37M155
3.87/2.51 decisions=385, wrong=85, backtracks=66, failedAssignments=53, nogoods=16, foundSolutions=5, bestBound=7
3.87/2.51
3.87/2.51 o 8
3.87/2.51 num=8, depth=25..89, filters=4066, revisions=(3059,useless=2461), ccks=881, wck=0.077, mem=37M155
3.87/2.51 decisions=432, wrong=95, backtracks=72, failedAssignments=60, nogoods=20, foundSolutions=6, bestBound=8
3.87/2.51
3.87/2.52 num=9, depth=23..28, filters=4704, revisions=(3505,useless=2818), ccks=924, wck=0.081, mem=37M155
3.87/2.52 decisions=497, wrong=116, backtracks=91, failedAssignments=72, nogoods=23, foundSolutions=6, bestBound=8
3.87/2.52
3.87/2.52 num=10, depth=24..30, filters=5433, revisions=(3889,useless=3099), ccks=953, wck=0.085, mem=37M155
3.87/2.52 decisions=562, wrong=136, backtracks=107, failedAssignments=83, nogoods=25, foundSolutions=6, bestBound=8
3.87/2.52
3.87/2.52 num=11, depth=23..30, filters=6211, revisions=(4258,useless=3374), ccks=968, wck=0.089, mem=37M155
3.87/2.52 decisions=631, wrong=159, backtracks=128, failedAssignments=95, nogoods=26, foundSolutions=6, bestBound=8
3.87/2.52
3.87/2.53 num=12, depth=22..30, filters=7009, revisions=(4778,useless=3764), ccks=1030, wck=0.093, mem=37M155
3.87/2.53 decisions=705, wrong=184, backtracks=147, failedAssignments=108, nogoods=30, foundSolutions=6, bestBound=8
3.87/2.53
3.87/2.53 num=13, depth=23..29, filters=7857, revisions=(5230,useless=4097), ccks=1064, wck=0.099, mem=37M155
3.87/2.53 decisions=782, wrong=211, backtracks=171, failedAssignments=122, nogoods=31, foundSolutions=6, bestBound=8
3.87/2.53
3.87/2.53 o 9
3.87/2.53 num=14, depth=24..89, filters=8372, revisions=(5545,useless=4350), ccks=1200, wck=0.102, mem=37M155
3.87/2.53 decisions=825, wrong=220, backtracks=178, failedAssignments=128, nogoods=34, foundSolutions=7, bestBound=9
3.87/2.53
3.87/2.54 num=15, depth=19..26, filters=9462, revisions=(6156,useless=4806), ccks=1241, wck=0.107, mem=37M155
3.87/2.54 decisions=914, wrong=254, backtracks=207, failedAssignments=145, nogoods=37, foundSolutions=7, bestBound=9
3.87/2.54
3.87/2.54 o 10
3.87/2.54 num=16, depth=22..89, filters=10075, revisions=(6524,useless=5092), ccks=1361, wck=0.111, mem=37M155
3.87/2.54 decisions=967, wrong=268, backtracks=217, failedAssignments=153, nogoods=41, foundSolutions=8, bestBound=10
3.87/2.54
3.87/2.55 num=17, depth=17..24, filters=10940, revisions=(7107,useless=5557), ccks=1410, wck=0.115, mem=37M155
3.87/2.55 decisions=1042, wrong=297, backtracks=242, failedAssignments=165, nogoods=42, foundSolutions=8, bestBound=10
3.87/2.55
3.87/2.55 num=18, depth=23..28, filters=11579, revisions=(7507,useless=5854), ccks=1448, wck=0.118, mem=37M155
3.87/2.55 decisions=1103, wrong=316, backtracks=260, failedAssignments=176, nogoods=45, foundSolutions=8, bestBound=10
3.87/2.55
3.87/2.56 o 11
3.87/2.56 num=19, depth=22..89, filters=12071, revisions=(7835,useless=6116), ccks=1593, wck=0.121, mem=37M155
3.87/2.56 decisions=1148, wrong=326, backtracks=267, failedAssignments=181, nogoods=48, foundSolutions=9, bestBound=11
3.87/2.56
3.87/2.56 num=20, depth=21..29, filters=12988, revisions=(8332,useless=6487), ccks=1608, wck=0.125, mem=37M155
3.87/2.56 decisions=1223, wrong=352, backtracks=287, failedAssignments=194, nogoods=53, foundSolutions=9, bestBound=11
3.87/2.56
3.87/2.56 num=21, depth=20..27, filters=13748, revisions=(8834,useless=6868), ccks=1671, wck=0.129, mem=37M155
3.87/2.56 decisions=1294, wrong=376, backtracks=307, failedAssignments=205, nogoods=55, foundSolutions=9, bestBound=11
3.87/2.56
3.87/2.56 num=22, depth=20..28, filters=14340, revisions=(9183,useless=7133), ccks=1691, wck=0.131, mem=37M155
3.87/2.56 decisions=1354, wrong=396, backtracks=326, failedAssignments=217, nogoods=56, foundSolutions=9, bestBound=11
3.87/2.56
3.87/2.57 num=23, depth=21..28, filters=15080, revisions=(9579,useless=7431), ccks=1719, wck=0.135, mem=37M155
3.87/2.57 decisions=1423, wrong=419, backtracks=345, failedAssignments=230, nogoods=58, foundSolutions=9, bestBound=11
3.87/2.57
3.87/2.57 num=24, depth=20..28, filters=15843, revisions=(10073,useless=7804), ccks=1772, wck=0.139, mem=37M155
3.87/2.57 decisions=1495, wrong=445, backtracks=370, failedAssignments=244, nogoods=59, foundSolutions=9, bestBound=11
3.87/2.57
3.87/2.57 num=25, depth=21..27, filters=16712, revisions=(10693,useless=8289), ccks=1870, wck=0.143, mem=37M155
3.87/2.57 decisions=1583, wrong=477, backtracks=394, failedAssignments=260, nogoods=63, foundSolutions=9, bestBound=11
3.87/2.57
3.87/2.58 num=26, depth=23..30, filters=17502, revisions=(11195,useless=8670), ccks=1935, wck=0.147, mem=37M155
3.87/2.58 decisions=1660, wrong=502, backtracks=416, failedAssignments=277, nogoods=66, foundSolutions=9, bestBound=11
3.87/2.58
3.87/2.58 num=27, depth=19..27, filters=18424, revisions=(11676,useless=9020), ccks=1963, wck=0.151, mem=37M155
3.87/2.58 decisions=1742, wrong=533, backtracks=442, failedAssignments=296, nogoods=69, foundSolutions=9, bestBound=11
3.87/2.58
3.87/2.59 num=28, depth=20..27, filters=19601, revisions=(12334,useless=9488), ccks=2028, wck=0.156, mem=37M155
3.87/2.59 decisions=1847, wrong=574, backtracks=475, failedAssignments=317, nogoods=73, foundSolutions=9, bestBound=11
3.87/2.59
3.87/2.59 num=29, depth=21..30, filters=21086, revisions=(13061,useless=10009), ccks=2070, wck=0.161, mem=37M155
3.87/2.59 decisions=1958, wrong=619, backtracks=518, failedAssignments=340, nogoods=74, foundSolutions=9, bestBound=11
3.87/2.59
4.18/2.60 num=30, depth=19..27, filters=22228, revisions=(13728,useless=10516), ccks=2140, wck=0.167, mem=39M797
4.18/2.60 decisions=2062, wrong=661, backtracks=553, failedAssignments=365, nogoods=77, foundSolutions=9, bestBound=11
4.18/2.60
4.18/2.60 num=31, depth=16..29, filters=23609, revisions=(14561,useless=11138), ccks=2226, wck=0.172, mem=39M797
4.18/2.60 decisions=2190, wrong=713, backtracks=594, failedAssignments=393, nogoods=80, foundSolutions=9, bestBound=11
4.18/2.60
4.18/2.61 num=32, depth=19..28, filters=25142, revisions=(15376,useless=11735), ccks=2264, wck=0.178, mem=39M797
4.18/2.61 decisions=2323, wrong=768, backtracks=644, failedAssignments=424, nogoods=84, foundSolutions=9, bestBound=11
4.18/2.61
4.18/2.61 o 12
4.18/2.62 num=33, depth=18..89, filters=26487, revisions=(16182,useless=12345), ccks=2462, wck=0.184, mem=39M797
4.18/2.62 decisions=2431, wrong=811, backtracks=682, failedAssignments=445, nogoods=87, foundSolutions=10, bestBound=12
4.18/2.62
4.18/2.62 num=34, depth=18..26, filters=27948, revisions=(17185,useless=13104), ccks=2588, wck=0.19, mem=39M797
4.18/2.62 decisions=2571, wrong=871, backtracks=735, failedAssignments=482, nogoods=90, foundSolutions=10, bestBound=12
4.18/2.62
4.18/2.62 num=35, depth=19..26, filters=28630, revisions=(17645,useless=13457), ccks=2645, wck=0.192, mem=39M797
4.18/2.62 decisions=2636, wrong=894, backtracks=757, failedAssignments=493, nogoods=93, foundSolutions=10, bestBound=12
4.18/2.62
4.18/2.63 num=36, depth=22..27, filters=29199, revisions=(17958,useless=13686), ccks=2660, wck=0.195, mem=39M797
4.18/2.63 decisions=2691, wrong=910, backtracks=770, failedAssignments=505, nogoods=98, foundSolutions=10, bestBound=12
4.18/2.63
4.18/2.63 num=37, depth=23..28, filters=29872, revisions=(18374,useless=13995), ccks=2699, wck=0.198, mem=39M797
4.18/2.63 decisions=2761, wrong=933, backtracks=790, failedAssignments=518, nogoods=101, foundSolutions=10, bestBound=12
4.18/2.63
4.18/2.63 num=38, depth=18..25, filters=30657, revisions=(18751,useless=14270), ccks=2705, wck=0.201, mem=39M797
4.18/2.63 decisions=2825, wrong=956, backtracks=809, failedAssignments=532, nogoods=102, foundSolutions=10, bestBound=12
4.18/2.63
4.18/2.64 num=39, depth=19..27, filters=31764, revisions=(19499,useless=14839), ccks=2798, wck=0.207, mem=39M797
4.18/2.64 decisions=2916, wrong=991, backtracks=841, failedAssignments=548, nogoods=105, foundSolutions=10, bestBound=12
4.18/2.64
4.18/2.64 num=40, depth=21..29, filters=32744, revisions=(20019,useless=15221), ccks=2850, wck=0.21, mem=39M797
4.18/2.64 decisions=3005, wrong=1024, backtracks=871, failedAssignments=565, nogoods=107, foundSolutions=10, bestBound=12
4.18/2.64
4.18/2.65 num=41, depth=19..28, filters=34002, revisions=(20801,useless=15811), ccks=2925, wck=0.215, mem=39M797
4.18/2.65 decisions=3115, wrong=1069, backtracks=913, failedAssignments=584, nogoods=112, foundSolutions=10, bestBound=12
4.18/2.65
4.18/2.65 num=42, depth=20..27, filters=34954, revisions=(21330,useless=16202), ccks=2961, wck=0.219, mem=39M797
4.18/2.65 decisions=3207, wrong=1104, backtracks=946, failedAssignments=605, nogoods=115, foundSolutions=10, bestBound=12
4.18/2.65
4.18/2.65 num=43, depth=18..27, filters=36270, revisions=(22073,useless=16743), ccks=3050, wck=0.223, mem=39M797
4.18/2.65 decisions=3323, wrong=1151, backtracks=986, failedAssignments=628, nogoods=118, foundSolutions=10, bestBound=12
4.18/2.65
4.18/2.66 num=44, depth=20..28, filters=37483, revisions=(22698,useless=17199), ccks=3063, wck=0.227, mem=39M797
4.18/2.66 decisions=3428, wrong=1192, backtracks=1021, failedAssignments=653, nogoods=122, foundSolutions=10, bestBound=12
4.18/2.66
4.18/2.66 o 13
4.18/2.66 num=45, depth=21..89, filters=38172, revisions=(23180,useless=17572), ccks=3216, wck=0.23, mem=39M797
4.18/2.66 decisions=3496, wrong=1214, backtracks=1039, failedAssignments=666, nogoods=125, foundSolutions=11, bestBound=13
4.18/2.66
4.18/2.67 num=46, depth=17..27, filters=39608, revisions=(24085,useless=18249), ccks=3318, wck=0.235, mem=39M797
4.18/2.67 decisions=3633, wrong=1274, backtracks=1090, failedAssignments=697, nogoods=128, foundSolutions=11, bestBound=13
4.18/2.67
4.18/2.67 num=47, depth=20..26, filters=40334, revisions=(24512,useless=18573), ccks=3348, wck=0.237, mem=39M797
4.18/2.67 decisions=3695, wrong=1293, backtracks=1106, failedAssignments=708, nogoods=131, foundSolutions=11, bestBound=13
4.18/2.67
4.18/2.67 num=48, depth=21..27, filters=41042, revisions=(24950,useless=18902), ccks=3386, wck=0.239, mem=39M797
4.18/2.67 decisions=3758, wrong=1313, backtracks=1124, failedAssignments=720, nogoods=134, foundSolutions=11, bestBound=13
4.18/2.67
4.18/2.67 num=49, depth=21..28, filters=41683, revisions=(25296,useless=19161), ccks=3406, wck=0.241, mem=39M797
4.18/2.67 decisions=3822, wrong=1333, backtracks=1138, failedAssignments=733, nogoods=139, foundSolutions=11, bestBound=13
4.18/2.67
4.18/2.68 num=50, depth=22..28, filters=42581, revisions=(25809,useless=19546), ccks=3460, wck=0.244, mem=39M797
4.18/2.68 decisions=3891, wrong=1356, backtracks=1159, failedAssignments=747, nogoods=142, foundSolutions=11, bestBound=13
4.18/2.68
4.18/2.68 num=51, depth=23..29, filters=43217, revisions=(26150,useless=19799), ccks=3471, wck=0.246, mem=39M797
4.18/2.68 decisions=3957, wrong=1377, backtracks=1176, failedAssignments=763, nogoods=147, foundSolutions=11, bestBound=13
4.18/2.68
4.18/2.68 num=52, depth=20..27, filters=44151, revisions=(26682,useless=20194), ccks=3512, wck=0.249, mem=39M797
4.18/2.68 decisions=4039, wrong=1407, backtracks=1201, failedAssignments=780, nogoods=151, foundSolutions=11, bestBound=13
4.18/2.68
4.18/2.68 num=53, depth=20..29, filters=45203, revisions=(27271,useless=20625), ccks=3562, wck=0.252, mem=39M797
4.18/2.68 decisions=4133, wrong=1442, backtracks=1231, failedAssignments=799, nogoods=154, foundSolutions=11, bestBound=13
4.18/2.68
4.18/2.69 num=54, depth=19..25, filters=46235, revisions=(27911,useless=21105), ccks=3636, wck=0.255, mem=39M797
4.18/2.69 decisions=4223, wrong=1477, backtracks=1262, failedAssignments=820, nogoods=157, foundSolutions=11, bestBound=13
4.18/2.69
4.18/2.69 num=55, depth=19..28, filters=47415, revisions=(28514,useless=21531), ccks=3683, wck=0.258, mem=39M797
4.18/2.69 decisions=4323, wrong=1517, backtracks=1296, failedAssignments=843, nogoods=161, foundSolutions=11, bestBound=13
4.18/2.69
4.18/2.69 num=56, depth=19..25, filters=48538, revisions=(29276,useless=22110), ccks=3771, wck=0.261, mem=39M797
4.18/2.69 decisions=4429, wrong=1560, backtracks=1331, failedAssignments=868, nogoods=164, foundSolutions=11, bestBound=13
4.18/2.69
4.49/2.70 num=57, depth=18..27, filters=50047, revisions=(30047,useless=22654), ccks=3820, wck=0.266, mem=39M797
4.49/2.70 decisions=4551, wrong=1612, backtracks=1378, failedAssignments=896, nogoods=167, foundSolutions=11, bestBound=13
4.49/2.70
4.49/2.70 num=58, depth=18..26, filters=51793, revisions=(31030,useless=23369), ccks=3918, wck=0.271, mem=39M797
4.49/2.70 decisions=4680, wrong=1667, backtracks=1423, failedAssignments=927, nogoods=173, foundSolutions=11, bestBound=13
4.49/2.70
4.49/2.71 num=59, depth=19..30, filters=53414, revisions=(31970,useless=24073), ccks=4032, wck=0.275, mem=39M797
4.49/2.71 decisions=4825, wrong=1729, backtracks=1481, failedAssignments=961, nogoods=176, foundSolutions=11, bestBound=13
4.49/2.71
4.49/2.71 num=60, depth=19..29, filters=55387, revisions=(32931,useless=24744), ccks=4053, wck=0.28, mem=39M797
4.49/2.71 decisions=4997, wrong=1804, backtracks=1548, failedAssignments=998, nogoods=179, foundSolutions=11, bestBound=13
4.49/2.71
4.49/2.72 num=61, depth=18..28, filters=57417, revisions=(33965,useless=25462), ccks=4149, wck=0.286, mem=39M797
4.49/2.72 decisions=5183, wrong=1887, backtracks=1623, failedAssignments=1039, nogoods=182, foundSolutions=11, bestBound=13
4.49/2.72
4.49/2.72 num=62, depth=18..26, filters=59686, revisions=(35067,useless=26242), ccks=4221, wck=0.292, mem=39M797
4.49/2.72 decisions=5379, wrong=1974, backtracks=1702, failedAssignments=1084, nogoods=185, foundSolutions=11, bestBound=13
4.49/2.72
4.49/2.73 num=63, depth=15..27, filters=62053, revisions=(36383,useless=27193), ccks=4332, wck=0.298, mem=39M797
4.49/2.73 decisions=5587, wrong=2069, backtracks=1785, failedAssignments=1134, nogoods=187, foundSolutions=11, bestBound=13
4.49/2.73
4.49/2.74 num=64, depth=16..27, filters=65094, revisions=(37927,useless=28308), ccks=4425, wck=0.306, mem=39M797
4.49/2.74 decisions=5814, wrong=2172, backtracks=1870, failedAssignments=1189, nogoods=192, foundSolutions=11, bestBound=13
4.49/2.74
4.49/2.74 o 14
4.49/2.74 num=65, depth=20..89, filters=66581, revisions=(38820,useless=28989), ccks=4643, wck=0.311, mem=39M797
4.49/2.74 decisions=5929, wrong=2217, backtracks=1904, failedAssignments=1214, nogoods=198, foundSolutions=12, bestBound=14
4.49/2.74
4.49/2.75 num=66, depth=16..28, filters=70479, revisions=(41137,useless=30715), ccks=4892, wck=0.32, mem=39M797
4.49/2.75 decisions=6219, wrong=2353, backtracks=2020, failedAssignments=1281, nogoods=201, foundSolutions=12, bestBound=14
4.49/2.75
4.49/2.75 num=67, depth=20..25, filters=70973, revisions=(41473,useless=30957), ccks=4944, wck=0.321, mem=39M797
4.49/2.75 decisions=6271, wrong=2369, backtracks=2033, failedAssignments=1292, nogoods=205, foundSolutions=12, bestBound=14
4.49/2.75
4.49/2.75 num=68, depth=20..27, filters=71547, revisions=(41816,useless=31204), ccks=4977, wck=0.323, mem=39M797
4.49/2.75 decisions=6326, wrong=2385, backtracks=2047, failedAssignments=1304, nogoods=207, foundSolutions=12, bestBound=14
4.49/2.75
4.49/2.76 num=69, depth=20..28, filters=72190, revisions=(42201,useless=31500), ccks=5017, wck=0.325, mem=39M797
4.49/2.76 decisions=6387, wrong=2404, backtracks=2062, failedAssignments=1317, nogoods=210, foundSolutions=12, bestBound=14
4.49/2.76
4.49/2.76 num=70, depth=19..26, filters=73043, revisions=(42675,useless=31842), ccks=5052, wck=0.327, mem=39M797
4.49/2.76 decisions=6454, wrong=2428, backtracks=2083, failedAssignments=1331, nogoods=213, foundSolutions=12, bestBound=14
4.49/2.76
4.49/2.76 num=71, depth=19..27, filters=73836, revisions=(43118,useless=32169), ccks=5078, wck=0.328, mem=39M797
4.49/2.76 decisions=6526, wrong=2453, backtracks=2105, failedAssignments=1347, nogoods=216, foundSolutions=12, bestBound=14
4.49/2.76
4.49/2.76 num=72, depth=20..27, filters=74707, revisions=(43637,useless=32571), ccks=5122, wck=0.33, mem=39M797
4.49/2.76 decisions=6594, wrong=2477, backtracks=2128, failedAssignments=1364, nogoods=220, foundSolutions=12, bestBound=14
4.49/2.76
4.49/2.76 num=73, depth=21..27, filters=75698, revisions=(44161,useless=32955), ccks=5164, wck=0.332, mem=39M797
4.49/2.76 decisions=6679, wrong=2508, backtracks=2157, failedAssignments=1383, nogoods=223, foundSolutions=12, bestBound=14
4.49/2.76
4.49/2.77 num=74, depth=18..25, filters=76957, revisions=(44935,useless=33531), ccks=5253, wck=0.335, mem=39M797
4.49/2.77 decisions=6789, wrong=2554, backtracks=2194, failedAssignments=1404, nogoods=224, foundSolutions=12, bestBound=14
4.49/2.77
4.49/2.77 num=75, depth=18..26, filters=78323, revisions=(45672,useless=34076), ccks=5301, wck=0.337, mem=39M797
4.49/2.77 decisions=6901, wrong=2601, backtracks=2233, failedAssignments=1427, nogoods=226, foundSolutions=12, bestBound=14
4.49/2.77
4.49/2.77 num=76, depth=20..30, filters=79443, revisions=(46265,useless=34509), ccks=5351, wck=0.339, mem=39M797
4.49/2.77 decisions=7007, wrong=2644, backtracks=2274, failedAssignments=1452, nogoods=229, foundSolutions=12, bestBound=14
4.49/2.77
4.49/2.77 num=77, depth=18..28, filters=80678, revisions=(46917,useless=34980), ccks=5384, wck=0.342, mem=39M797
4.49/2.77 decisions=7115, wrong=2688, backtracks=2313, failedAssignments=1480, nogoods=231, foundSolutions=12, bestBound=14
4.49/2.77
4.49/2.78 num=78, depth=20..27, filters=82111, revisions=(47609,useless=35459), ccks=5397, wck=0.344, mem=39M797
4.49/2.78 decisions=7245, wrong=2743, backtracks=2361, failedAssignments=1511, nogoods=235, foundSolutions=12, bestBound=14
4.49/2.78
4.49/2.78 num=79, depth=19..28, filters=83850, revisions=(48608,useless=36195), ccks=5464, wck=0.347, mem=39M797
4.49/2.78 decisions=7400, wrong=2809, backtracks=2422, failedAssignments=1545, nogoods=238, foundSolutions=12, bestBound=14
4.49/2.78
4.49/2.78 num=80, depth=19..27, filters=85508, revisions=(49429,useless=36783), ccks=5512, wck=0.35, mem=42M439
4.49/2.78 decisions=7545, wrong=2870, backtracks=2476, failedAssignments=1582, nogoods=241, foundSolutions=12, bestBound=14
4.49/2.78
4.49/2.79 num=81, depth=18..27, filters=87390, revisions=(50469,useless=37533), ccks=5611, wck=0.354, mem=42M439
4.49/2.79 decisions=7730, wrong=2952, backtracks=2550, failedAssignments=1623, nogoods=245, foundSolutions=12, bestBound=14
4.49/2.79
4.49/2.79 num=82, depth=18..29, filters=89367, revisions=(51426,useless=38211), ccks=5672, wck=0.357, mem=42M439
4.49/2.79 decisions=7912, wrong=3032, backtracks=2622, failedAssignments=1668, nogoods=248, foundSolutions=12, bestBound=14
4.49/2.79
4.49/2.79 num=83, depth=17..28, filters=91658, revisions=(52721,useless=39157), ccks=5773, wck=0.36, mem=42M439
4.49/2.79 decisions=8106, wrong=3120, backtracks=2699, failedAssignments=1718, nogoods=251, foundSolutions=12, bestBound=14
4.49/2.79
4.80/2.80 num=84, depth=18..27, filters=94276, revisions=(53918,useless=39990), ccks=5827, wck=0.365, mem=42M439
4.80/2.80 decisions=8340, wrong=3227, backtracks=2796, failedAssignments=1773, nogoods=255, foundSolutions=12, bestBound=14
4.80/2.80
4.80/2.80 num=85, depth=16..27, filters=97235, revisions=(55774,useless=41403), ccks=6048, wck=0.37, mem=42M439
4.80/2.80 decisions=8582, wrong=3338, backtracks=2899, failedAssignments=1834, nogoods=258, foundSolutions=12, bestBound=14
4.80/2.80
4.80/2.81 num=86, depth=16..26, filters=100165, revisions=(57581,useless=42754), ccks=6165, wck=0.374, mem=42M439
4.80/2.81 decisions=8836, wrong=3457, backtracks=3007, failedAssignments=1901, nogoods=260, foundSolutions=12, bestBound=14
4.80/2.81
4.80/2.81 num=87, depth=17..26, filters=102980, revisions=(59620,useless=44239), ccks=6513, wck=0.379, mem=42M439
4.80/2.81 decisions=9133, wrong=3595, backtracks=3140, failedAssignments=1975, nogoods=263, foundSolutions=12, bestBound=14
4.80/2.81
4.80/2.82 num=88, depth=17..26, filters=106253, revisions=(61532,useless=45618), ccks=6697, wck=0.384, mem=42M439
4.80/2.82 decisions=9427, wrong=3732, backtracks=3266, failedAssignments=2056, nogoods=268, foundSolutions=12, bestBound=14
4.80/2.82
4.80/2.82 num=89, depth=18..30, filters=111450, revisions=(64512,useless=47785), ccks=7051, wck=0.391, mem=42M439
4.80/2.82 decisions=9824, wrong=3921, backtracks=3435, failedAssignments=2145, nogoods=273, foundSolutions=12, bestBound=14
4.80/2.82
4.80/2.83 num=90, depth=16..26, filters=116495, revisions=(67542,useless=50019), ccks=7337, wck=0.399, mem=42M439
4.80/2.83 decisions=10217, wrong=4108, backtracks=3605, failedAssignments=2243, nogoods=279, foundSolutions=12, bestBound=14
4.80/2.83
4.80/2.84 num=91, depth=16..27, filters=122550, revisions=(70560,useless=52146), ccks=7526, wck=0.407, mem=42M439
4.80/2.84 decisions=10635, wrong=4307, backtracks=3781, failedAssignments=2351, nogoods=282, foundSolutions=12, bestBound=14
4.80/2.84
4.80/2.85 num=92, depth=14..28, filters=127147, revisions=(73270,useless=54141), ccks=7754, wck=0.414, mem=42M439
4.80/2.85 decisions=11045, wrong=4503, backtracks=3965, failedAssignments=2470, nogoods=286, foundSolutions=12, bestBound=14
4.80/2.85
4.80/2.85 num=93, depth=17..30, filters=134371, revisions=(77094,useless=56939), ccks=7961, wck=0.423, mem=42M439
4.80/2.85 decisions=11613, wrong=4777, backtracks=4222, failedAssignments=2601, nogoods=291, foundSolutions=12, bestBound=14
4.80/2.85
4.80/2.86 o 16
4.80/2.86 num=94, depth=18..89, filters=137165, revisions=(78852,useless=58224), ccks=8259, wck=0.428, mem=42M439
4.80/2.86 decisions=11845, wrong=4882, backtracks=4320, failedAssignments=2653, nogoods=297, foundSolutions=13, bestBound=16
4.80/2.86
4.80/2.87 num=95, depth=13..26, filters=144417, revisions=(83322,useless=61611), ccks=8608, wck=0.437, mem=42M439
4.80/2.87 decisions=12445, wrong=5173, backtracks=4587, failedAssignments=2811, nogoods=303, foundSolutions=13, bestBound=16
4.80/2.87
4.80/2.87 num=96, depth=19..26, filters=145026, revisions=(83721,useless=61910), ccks=8653, wck=0.438, mem=42M439
4.80/2.87 decisions=12502, wrong=5192, backtracks=4605, failedAssignments=2822, nogoods=306, foundSolutions=13, bestBound=16
4.80/2.87
4.80/2.87 num=97, depth=18..23, filters=145746, revisions=(84173,useless=62248), ccks=8681, wck=0.44, mem=42M439
4.80/2.87 decisions=12561, wrong=5212, backtracks=4622, failedAssignments=2834, nogoods=309, foundSolutions=13, bestBound=16
4.80/2.87
4.80/2.87 num=98, depth=18..26, filters=146291, revisions=(84512,useless=62506), ccks=8717, wck=0.441, mem=42M439
4.80/2.87 decisions=12616, wrong=5229, backtracks=4634, failedAssignments=2847, nogoods=314, foundSolutions=13, bestBound=16
4.80/2.87
4.80/2.87 num=99, depth=18..27, filters=146874, revisions=(84864,useless=62766), ccks=8744, wck=0.442, mem=42M439
4.80/2.87 decisions=12672, wrong=5247, backtracks=4650, failedAssignments=2861, nogoods=316, foundSolutions=13, bestBound=16
4.80/2.87
4.80/2.88 num=100, depth=19..27, filters=147642, revisions=(85310,useless=63094), ccks=8789, wck=0.443, mem=42M439
4.80/2.88 decisions=12735, wrong=5269, backtracks=4667, failedAssignments=2877, nogoods=319, foundSolutions=13, bestBound=16
4.80/2.88
4.80/2.88 num=101, depth=18..26, filters=148495, revisions=(85800,useless=63456), ccks=8821, wck=0.444, mem=42M439
4.80/2.88 decisions=12810, wrong=5296, backtracks=4687, failedAssignments=2894, nogoods=324, foundSolutions=13, bestBound=16
4.80/2.88
4.80/2.88 num=102, depth=19..26, filters=149422, revisions=(86331,useless=63837), ccks=8872, wck=0.446, mem=42M439
4.80/2.88 decisions=12894, wrong=5327, backtracks=4713, failedAssignments=2913, nogoods=328, foundSolutions=13, bestBound=16
4.80/2.88
4.80/2.88 num=103, depth=17..26, filters=150463, revisions=(86896,useless=64254), ccks=8913, wck=0.447, mem=42M439
4.80/2.88 decisions=12985, wrong=5362, backtracks=4740, failedAssignments=2934, nogoods=332, foundSolutions=13, bestBound=16
4.80/2.88
4.80/2.88 num=104, depth=18..26, filters=151769, revisions=(87649,useless=64811), ccks=9002, wck=0.449, mem=42M439
4.80/2.88 decisions=13090, wrong=5404, backtracks=4777, failedAssignments=2957, nogoods=336, foundSolutions=13, bestBound=16
4.80/2.88
4.80/2.88 num=105, depth=19..27, filters=153126, revisions=(88377,useless=65319), ccks=9048, wck=0.451, mem=42M439
4.80/2.88 decisions=13206, wrong=5451, backtracks=4816, failedAssignments=2982, nogoods=340, foundSolutions=13, bestBound=16
4.80/2.88
4.80/2.88 num=106, depth=18..26, filters=154571, revisions=(89064,useless=65815), ccks=9067, wck=0.453, mem=42M439
4.80/2.88 decisions=13326, wrong=5502, backtracks=4862, failedAssignments=3010, nogoods=342, foundSolutions=13, bestBound=16
4.80/2.88
4.80/2.89 num=107, depth=17..26, filters=155861, revisions=(89881,useless=66415), ccks=9160, wck=0.455, mem=42M439
4.80/2.89 decisions=13449, wrong=5553, backtracks=4906, failedAssignments=3041, nogoods=346, foundSolutions=13, bestBound=16
4.80/2.89
4.80/2.89 num=108, depth=20..29, filters=157287, revisions=(90594,useless=66915), ccks=9183, wck=0.457, mem=42M439
4.80/2.89 decisions=13574, wrong=5604, backtracks=4951, failedAssignments=3075, nogoods=350, foundSolutions=13, bestBound=16
4.80/2.89
4.80/2.89 num=109, depth=17..25, filters=158937, revisions=(91428,useless=67508), ccks=9223, wck=0.459, mem=42M439
4.80/2.89 decisions=13731, wrong=5673, backtracks=5012, failedAssignments=3112, nogoods=356, foundSolutions=13, bestBound=16
4.80/2.89
4.80/2.89 num=110, depth=16..25, filters=160705, revisions=(92365,useless=68187), ccks=9272, wck=0.462, mem=42M439
4.80/2.89 decisions=13871, wrong=5734, backtracks=5065, failedAssignments=3153, nogoods=361, foundSolutions=13, bestBound=16
4.80/2.89
5.11/2.90 num=111, depth=17..26, filters=162449, revisions=(93487,useless=69013), ccks=9393, wck=0.464, mem=42M439
5.11/2.90 decisions=14041, wrong=5810, backtracks=5136, failedAssignments=3198, nogoods=366, foundSolutions=13, bestBound=16
5.11/2.90
5.11/2.90 num=112, depth=18..29, filters=164638, revisions=(94529,useless=69733), ccks=9472, wck=0.467, mem=42M439
5.11/2.90 decisions=14226, wrong=5893, backtracks=5216, failedAssignments=3248, nogoods=368, foundSolutions=13, bestBound=16
5.11/2.90
5.11/2.90 num=113, depth=16..25, filters=166991, revisions=(95910,useless=70727), ccks=9652, wck=0.471, mem=42M439
5.11/2.90 decisions=14442, wrong=5992, backtracks=5305, failedAssignments=3303, nogoods=371, foundSolutions=13, bestBound=16
5.11/2.90
5.11/2.91 num=114, depth=15..27, filters=169958, revisions=(97420,useless=71823), ccks=9742, wck=0.475, mem=42M439
5.11/2.91 decisions=14694, wrong=6109, backtracks=5409, failedAssignments=3364, nogoods=373, foundSolutions=13, bestBound=16
5.11/2.91
5.11/2.91 num=115, depth=16..26, filters=173693, revisions=(99542,useless=73376), ccks=9948, wck=0.479, mem=42M439
5.11/2.91 decisions=14988, wrong=6246, backtracks=5529, failedAssignments=3431, nogoods=378, foundSolutions=13, bestBound=16
5.11/2.91
5.11/2.92 num=116, depth=16..28, filters=176434, revisions=(101277,useless=74638), ccks=10186, wck=0.483, mem=42M439
5.11/2.92 decisions=15255, wrong=6370, backtracks=5641, failedAssignments=3505, nogoods=385, foundSolutions=13, bestBound=16
5.11/2.92
5.11/2.92 num=117, depth=17..28, filters=181011, revisions=(103655,useless=76336), ccks=10416, wck=0.489, mem=42M439
5.11/2.92 decisions=15582, wrong=6523, backtracks=5775, failedAssignments=3586, nogoods=389, foundSolutions=13, bestBound=16
5.11/2.92
5.11/2.93 num=118, depth=16..27, filters=185403, revisions=(105946,useless=77980), ccks=10586, wck=0.495, mem=42M439
5.11/2.93 decisions=15919, wrong=6680, backtracks=5915, failedAssignments=3675, nogoods=393, foundSolutions=13, bestBound=16
5.11/2.93
5.11/2.93 num=119, depth=16..28, filters=190201, revisions=(108414,useless=79735), ccks=10810, wck=0.501, mem=42M439
5.11/2.93 decisions=16293, wrong=6858, backtracks=6074, failedAssignments=3773, nogoods=397, foundSolutions=13, bestBound=16
5.11/2.93
5.11/2.94 num=120, depth=14..28, filters=196256, revisions=(111792,useless=82203), ccks=11121, wck=0.508, mem=42M439
5.11/2.94 decisions=16750, wrong=7077, backtracks=6276, failedAssignments=3881, nogoods=402, foundSolutions=13, bestBound=16
5.11/2.94
5.11/2.95 num=121, depth=16..28, filters=200584, revisions=(114558,useless=84193), ccks=11515, wck=0.514, mem=42M439
5.11/2.95 decisions=17164, wrong=7276, backtracks=6460, failedAssignments=4000, nogoods=404, foundSolutions=13, bestBound=16
5.11/2.95
5.11/2.95 num=122, depth=16..27, filters=206026, revisions=(117612,useless=86430), ccks=11816, wck=0.521, mem=42M439
5.11/2.95 decisions=17627, wrong=7499, backtracks=6664, failedAssignments=4131, nogoods=406, foundSolutions=13, bestBound=16
5.11/2.95
5.11/2.96 num=123, depth=16..28, filters=213221, revisions=(121606,useless=89353), ccks=12162, wck=0.53, mem=42M439
5.11/2.96 decisions=18185, wrong=7768, backtracks=6908, failedAssignments=4275, nogoods=410, foundSolutions=13, bestBound=16
5.11/2.96
5.11/2.97 num=124, depth=16..28, filters=220023, revisions=(125497,useless=92144), ccks=12595, wck=0.538, mem=42M439
5.11/2.97 decisions=18748, wrong=8039, backtracks=7148, failedAssignments=4433, nogoods=414, foundSolutions=13, bestBound=16
5.11/2.97
5.11/2.98 num=125, depth=15..27, filters=227470, revisions=(129714,useless=95135), ccks=12976, wck=0.547, mem=42M439
5.11/2.98 decisions=19401, wrong=8354, backtracks=7443, failedAssignments=4607, nogoods=418, foundSolutions=13, bestBound=16
5.11/2.98
5.11/2.99 num=126, depth=16..28, filters=235197, revisions=(134791,useless=98951), ccks=13654, wck=0.557, mem=42M439
5.11/2.99 decisions=20120, wrong=8703, backtracks=7766, failedAssignments=4798, nogoods=424, foundSolutions=13, bestBound=16
5.11/2.99
5.11/3.00 num=127, depth=15..29, filters=244411, revisions=(140292,useless=103026), ccks=14271, wck=0.568, mem=42M439
5.11/3.00 decisions=20888, wrong=9077, backtracks=8113, failedAssignments=5009, nogoods=428, foundSolutions=13, bestBound=16
5.11/3.00
5.11/3.01 o 17
5.11/3.01 num=128, depth=15..89, filters=250139, revisions=(143767,useless=105630), ccks=14789, wck=0.576, mem=42M439
5.11/3.01 decisions=21281, wrong=9263, backtracks=8283, failedAssignments=5090, nogoods=434, foundSolutions=14, bestBound=17
5.11/3.01
5.40/3.02 num=129, depth=12..26, filters=262908, revisions=(151514,useless=111482), ccks=15596, wck=0.59, mem=42M439
5.40/3.02 decisions=22328, wrong=9778, backtracks=8760, failedAssignments=5345, nogoods=438, foundSolutions=14, bestBound=17
5.40/3.02
5.40/3.02 num=130, depth=20..26, filters=263361, revisions=(151843,useless=111735), ccks=15637, wck=0.591, mem=42M439
5.40/3.02 decisions=22376, wrong=9792, backtracks=8771, failedAssignments=5356, nogoods=441, foundSolutions=14, bestBound=17
5.40/3.02
5.40/3.02 num=131, depth=19..26, filters=263939, revisions=(152276,useless=112067), ccks=15691, wck=0.592, mem=42M439
5.40/3.02 decisions=22431, wrong=9809, backtracks=8783, failedAssignments=5368, nogoods=445, foundSolutions=14, bestBound=17
5.40/3.02
5.40/3.02 num=132, depth=16..21, filters=264544, revisions=(152732,useless=112425), ccks=15726, wck=0.593, mem=42M439
5.40/3.02 decisions=22497, wrong=9833, backtracks=8801, failedAssignments=5381, nogoods=448, foundSolutions=14, bestBound=17
5.40/3.02
5.40/3.03 num=133, depth=15..25, filters=265254, revisions=(153173,useless=112757), ccks=15766, wck=0.594, mem=42M439
5.40/3.03 decisions=22568, wrong=9859, backtracks=8822, failedAssignments=5395, nogoods=450, foundSolutions=14, bestBound=17
5.40/3.03
5.40/3.03 num=134, depth=17..26, filters=265957, revisions=(153652,useless=113116), ccks=15833, wck=0.595, mem=42M439
5.40/3.03 decisions=22636, wrong=9883, backtracks=8840, failedAssignments=5411, nogoods=455, foundSolutions=14, bestBound=17
5.40/3.03
5.40/3.03 num=135, depth=17..25, filters=266812, revisions=(154263,useless=113567), ccks=15915, wck=0.596, mem=42M439
5.40/3.03 decisions=22717, wrong=9914, backtracks=8864, failedAssignments=5428, nogoods=461, foundSolutions=14, bestBound=17
5.40/3.03
5.40/3.03 num=136, depth=16..24, filters=267763, revisions=(154942,useless=114077), ccks=16012, wck=0.598, mem=42M439
5.40/3.03 decisions=22807, wrong=9949, backtracks=8890, failedAssignments=5447, nogoods=466, foundSolutions=14, bestBound=17
5.40/3.03
5.40/3.03 num=137, depth=16..26, filters=268915, revisions=(155545,useless=114532), ccks=16047, wck=0.599, mem=42M439
5.40/3.03 decisions=22899, wrong=9985, backtracks=8921, failedAssignments=5468, nogoods=468, foundSolutions=14, bestBound=17
5.40/3.03
5.40/3.03 num=138, depth=16..25, filters=270418, revisions=(156411,useless=115164), ccks=16135, wck=0.601, mem=42M439
5.40/3.03 decisions=23013, wrong=10033, backtracks=8962, failedAssignments=5491, nogoods=475, foundSolutions=14, bestBound=17
5.40/3.03
5.40/3.03 num=139, depth=15..24, filters=271707, revisions=(157031,useless=115609), ccks=16159, wck=0.603, mem=42M439
5.40/3.03 decisions=23131, wrong=10084, backtracks=9009, failedAssignments=5516, nogoods=479, foundSolutions=14, bestBound=17
5.40/3.03
5.40/3.04 num=140, depth=18..25, filters=272813, revisions=(157743,useless=116132), ccks=16243, wck=0.604, mem=42M439
5.40/3.04 decisions=23251, wrong=10134, backtracks=9055, failedAssignments=5544, nogoods=482, foundSolutions=14, bestBound=17
5.40/3.04
5.40/3.04 num=141, depth=19..28, filters=274434, revisions=(158690,useless=116844), ccks=16328, wck=0.606, mem=42M439
5.40/3.04 decisions=23398, wrong=10197, backtracks=9108, failedAssignments=5575, nogoods=486, foundSolutions=14, bestBound=17
5.40/3.04
5.40/3.04 num=142, depth=16..26, filters=275805, revisions=(159457,useless=117388), ccks=16394, wck=0.608, mem=42M439
5.40/3.04 decisions=23522, wrong=10250, backtracks=9157, failedAssignments=5609, nogoods=492, foundSolutions=14, bestBound=17
5.40/3.04
5.40/3.04 num=143, depth=17..25, filters=277818, revisions=(160487,useless=118119), ccks=16444, wck=0.611, mem=42M439
5.40/3.04 decisions=23697, wrong=10329, backtracks=9230, failedAssignments=5646, nogoods=496, foundSolutions=14, bestBound=17
5.40/3.04
5.40/3.05 num=144, depth=17..27, filters=279916, revisions=(161816,useless=119116), ccks=16593, wck=0.614, mem=42M439
5.40/3.05 decisions=23880, wrong=10412, backtracks=9311, failedAssignments=5687, nogoods=498, foundSolutions=14, bestBound=17
5.40/3.05
5.40/3.05 num=145, depth=16..28, filters=281987, revisions=(162960,useless=119940), ccks=16705, wck=0.616, mem=42M439
5.40/3.05 decisions=24045, wrong=10484, backtracks=9374, failedAssignments=5732, nogoods=503, foundSolutions=14, bestBound=17
5.40/3.05
5.40/3.05 num=146, depth=17..26, filters=284579, revisions=(164274,useless=120868), ccks=16771, wck=0.62, mem=42M439
5.40/3.05 decisions=24238, wrong=10570, backtracks=9453, failedAssignments=5782, nogoods=507, foundSolutions=14, bestBound=17
5.40/3.05
5.40/3.05 num=147, depth=17..29, filters=286654, revisions=(165642,useless=121899), ccks=16926, wck=0.622, mem=42M439
5.40/3.05 decisions=24433, wrong=10657, backtracks=9536, failedAssignments=5837, nogoods=509, foundSolutions=14, bestBound=17
5.40/3.05
5.40/3.06 num=148, depth=16..27, filters=289356, revisions=(166954,useless=122798), ccks=16991, wck=0.626, mem=42M439
5.40/3.06 decisions=24663, wrong=10763, backtracks=9639, failedAssignments=5898, nogoods=511, foundSolutions=14, bestBound=17
5.40/3.06
5.40/3.06 num=149, depth=15..27, filters=292556, revisions=(168706,useless=124074), ccks=17109, wck=0.63, mem=42M439
5.40/3.06 decisions=24913, wrong=10880, backtracks=9745, failedAssignments=5965, nogoods=513, foundSolutions=14, bestBound=17
5.40/3.06
5.40/3.07 num=150, depth=17..29, filters=296087, revisions=(170481,useless=125310), ccks=17231, wck=0.634, mem=42M439
5.40/3.07 decisions=25192, wrong=11009, backtracks=9852, failedAssignments=6039, nogoods=518, foundSolutions=14, bestBound=17
5.40/3.07
5.40/3.07 num=151, depth=17..28, filters=299403, revisions=(172393,useless=126694), ccks=17462, wck=0.638, mem=42M439
5.40/3.07 decisions=25491, wrong=11148, backtracks=9979, failedAssignments=6120, nogoods=522, foundSolutions=14, bestBound=17
5.40/3.07
5.40/3.08 num=152, depth=17..28, filters=303373, revisions=(174321,useless=128064), ccks=17571, wck=0.643, mem=45M82
5.40/3.08 decisions=25816, wrong=11302, backtracks=10119, failedAssignments=6209, nogoods=525, foundSolutions=14, bestBound=17
5.40/3.08
5.40/3.08 num=153, depth=15..26, filters=308077, revisions=(177089,useless=130090), ccks=17919, wck=0.649, mem=45M82
5.40/3.08 decisions=26213, wrong=11491, backtracks=10294, failedAssignments=6307, nogoods=527, foundSolutions=14, bestBound=17
5.40/3.08
5.40/3.09 num=154, depth=14..26, filters=312674, revisions=(180115,useless=132321), ccks=18329, wck=0.655, mem=45M82
5.40/3.09 decisions=26625, wrong=11687, backtracks=10481, failedAssignments=6415, nogoods=530, foundSolutions=14, bestBound=17
5.40/3.09
5.40/3.09 num=155, depth=16..28, filters=317495, revisions=(182991,useless=134460), ccks=18587, wck=0.661, mem=45M82
5.40/3.09 decisions=27060, wrong=11896, backtracks=10675, failedAssignments=6534, nogoods=534, foundSolutions=14, bestBound=17
5.40/3.09
5.40/3.10 num=156, depth=14..25, filters=322748, revisions=(186126,useless=136721), ccks=18903, wck=0.668, mem=45M82
5.40/3.10 decisions=27516, wrong=12114, backtracks=10879, failedAssignments=6665, nogoods=538, foundSolutions=14, bestBound=17
5.40/3.10
5.40/3.11 num=157, depth=16..29, filters=328513, revisions=(189764,useless=139439), ccks=19319, wck=0.675, mem=45M82
5.40/3.11 decisions=28005, wrong=12349, backtracks=11097, failedAssignments=6809, nogoods=544, foundSolutions=14, bestBound=17
5.40/3.11
5.52/3.12 num=158, depth=16..27, filters=335911, revisions=(193518,useless=142146), ccks=19530, wck=0.684, mem=45M82
5.52/3.12 decisions=28573, wrong=12624, backtracks=11348, failedAssignments=6967, nogoods=548, foundSolutions=14, bestBound=17
5.52/3.12
5.52/3.13 num=159, depth=14..29, filters=344552, revisions=(198826,useless=146006), ccks=20355, wck=0.694, mem=45M82
5.52/3.13 decisions=29313, wrong=12985, backtracks=11682, failedAssignments=7141, nogoods=553, foundSolutions=14, bestBound=17
5.52/3.13
5.52/3.14 num=160, depth=15..28, filters=354219, revisions=(203942,useless=149706), ccks=20617, wck=0.705, mem=45M82
5.52/3.14 decisions=30076, wrong=13358, backtracks=12029, failedAssignments=7332, nogoods=558, foundSolutions=14, bestBound=17
5.52/3.14
5.52/3.15 num=161, depth=16..27, filters=362832, revisions=(209049,useless=153440), ccks=21227, wck=0.716, mem=45M82
5.52/3.15 decisions=30788, wrong=13705, backtracks=12352, failedAssignments=7543, nogoods=563, foundSolutions=14, bestBound=17
5.52/3.15
5.52/3.16 num=162, depth=15..28, filters=373801, revisions=(214958,useless=157629), ccks=21835, wck=0.729, mem=45M82
5.52/3.16 decisions=31664, wrong=14134, backtracks=12749, failedAssignments=7775, nogoods=566, foundSolutions=14, bestBound=17
5.52/3.16
5.52/3.18 num=163, depth=14..28, filters=386926, revisions=(222688,useless=163211), ccks=22742, wck=0.745, mem=45M82
5.52/3.18 decisions=32684, wrong=14636, backtracks=13211, failedAssignments=8030, nogoods=568, foundSolutions=14, bestBound=17
5.52/3.18
5.52/3.19 num=164, depth=13..25, filters=399887, revisions=(230224,useless=168621), ccks=23503, wck=0.761, mem=45M82
5.52/3.19 decisions=33760, wrong=15166, backtracks=13698, failedAssignments=8311, nogoods=573, foundSolutions=14, bestBound=17
5.52/3.19
5.62/3.21 num=165, depth=13..28, filters=412351, revisions=(239007,useless=175126), ccks=24965, wck=0.777, mem=45M82
5.62/3.21 decisions=34905, wrong=15729, backtracks=14220, failedAssignments=8620, nogoods=579, foundSolutions=14, bestBound=17
5.62/3.21
5.62/3.23 num=166, depth=14..27, filters=426771, revisions=(247148,useless=181079), ccks=25516, wck=0.793, mem=45M82
5.62/3.23 decisions=36175, wrong=16354, backtracks=14808, failedAssignments=8960, nogoods=583, foundSolutions=14, bestBound=17
5.62/3.23
5.62/3.25 num=167, depth=13..28, filters=446354, revisions=(257490,useless=188528), ccks=26114, wck=0.815, mem=45M82
5.62/3.25 decisions=37700, wrong=17110, backtracks=15528, failedAssignments=9334, nogoods=587, foundSolutions=14, bestBound=17
5.62/3.25
5.62/3.27 num=168, depth=9..26, filters=466939, revisions=(269593,useless=197349), ccks=27343, wck=0.839, mem=45M82
5.62/3.27 decisions=39334, wrong=17918, backtracks=16246, failedAssignments=9745, nogoods=592, foundSolutions=14, bestBound=17
5.62/3.27
5.72/3.30 num=169, depth=13..29, filters=491831, revisions=(284250,useless=207961), ccks=28952, wck=0.866, mem=45M82
5.72/3.30 decisions=41239, wrong=18862, backtracks=17125, failedAssignments=10197, nogoods=596, foundSolutions=14, bestBound=17
5.72/3.30
5.72/3.32 num=170, depth=11..27, filters=513291, revisions=(297547,useless=217638), ccks=30566, wck=0.893, mem=45M82
5.72/3.32 decisions=43158, wrong=19811, backtracks=18008, failedAssignments=10694, nogoods=600, foundSolutions=14, bestBound=17
5.72/3.32
5.72/3.34 o 18
5.72/3.34 num=171, depth=13..89, filters=526694, revisions=(305557,useless=223402), ccks=31578, wck=0.909, mem=45M82
5.72/3.34 decisions=44273, wrong=20360, backtracks=18503, failedAssignments=10972, nogoods=609, foundSolutions=15, bestBound=18
5.72/3.34
5.72/3.38 num=172, depth=10..26, filters=558659, revisions=(323474,useless=236518), ccks=32679, wck=0.945, mem=45M82
5.72/3.38 decisions=46796, wrong=21612, backtracks=19655, failedAssignments=11574, nogoods=615, foundSolutions=15, bestBound=18
5.72/3.38
5.72/3.38 num=173, depth=17..22, filters=559283, revisions=(323808,useless=236761), ccks=32701, wck=0.946, mem=45M82
5.72/3.38 decisions=46848, wrong=21628, backtracks=19667, failedAssignments=11585, nogoods=619, foundSolutions=15, bestBound=18
5.72/3.38
5.72/3.38 num=174, depth=15..23, filters=559835, revisions=(324168,useless=237037), ccks=32737, wck=0.947, mem=45M82
5.72/3.38 decisions=46905, wrong=21649, backtracks=19685, failedAssignments=11597, nogoods=621, foundSolutions=15, bestBound=18
5.72/3.38
5.72/3.38 num=175, depth=14..20, filters=560864, revisions=(324733,useless=237453), ccks=32787, wck=0.948, mem=45M82
5.72/3.38 decisions=46977, wrong=21678, backtracks=19707, failedAssignments=11610, nogoods=623, foundSolutions=15, bestBound=18
5.72/3.38
5.72/3.38 num=176, depth=14..22, filters=561746, revisions=(325265,useless=237845), ccks=32833, wck=0.949, mem=45M82
5.72/3.38 decisions=47050, wrong=21705, backtracks=19727, failedAssignments=11624, nogoods=627, foundSolutions=15, bestBound=18
5.72/3.38
5.72/3.38 num=177, depth=16..23, filters=562620, revisions=(325768,useless=238207), ccks=32878, wck=0.95, mem=45M82
5.72/3.38 decisions=47116, wrong=21730, backtracks=19748, failedAssignments=11640, nogoods=628, foundSolutions=15, bestBound=18
5.72/3.38
5.72/3.38 num=178, depth=14..24, filters=563443, revisions=(326266,useless=238575), ccks=32927, wck=0.951, mem=45M82
5.72/3.38 decisions=47198, wrong=21762, backtracks=19774, failedAssignments=11657, nogoods=631, foundSolutions=15, bestBound=18
5.72/3.38
5.72/3.38 num=179, depth=12..21, filters=564838, revisions=(327064,useless=239153), ccks=32988, wck=0.953, mem=45M82
5.72/3.38 decisions=47304, wrong=21807, backtracks=19813, failedAssignments=11676, nogoods=634, foundSolutions=15, bestBound=18
5.72/3.38
5.72/3.39 num=180, depth=14..23, filters=566196, revisions=(327852,useless=239721), ccks=33043, wck=0.955, mem=45M82
5.72/3.39 decisions=47410, wrong=21851, backtracks=19853, failedAssignments=11697, nogoods=637, foundSolutions=15, bestBound=18
5.72/3.39
5.72/3.39 num=181, depth=14..24, filters=567270, revisions=(328506,useless=240196), ccks=33093, wck=0.956, mem=45M82
5.72/3.39 decisions=47498, wrong=21887, backtracks=19884, failedAssignments=11720, nogoods=640, foundSolutions=15, bestBound=18
5.72/3.39
5.72/3.39 num=182, depth=15..26, filters=568531, revisions=(329197,useless=240709), ccks=33122, wck=0.958, mem=45M82
5.72/3.39 decisions=47595, wrong=21928, backtracks=19922, failedAssignments=11745, nogoods=641, foundSolutions=15, bestBound=18
5.72/3.39
5.72/3.39 num=183, depth=15..24, filters=570077, revisions=(329992,useless=241266), ccks=33176, wck=0.96, mem=45M82
5.72/3.39 decisions=47716, wrong=21980, backtracks=19966, failedAssignments=11773, nogoods=643, foundSolutions=15, bestBound=18
5.72/3.39
5.72/3.39 num=184, depth=12..23, filters=571771, revisions=(330933,useless=241945), ccks=33239, wck=0.962, mem=45M82
5.72/3.39 decisions=47858, wrong=22043, backtracks=20016, failedAssignments=11804, nogoods=645, foundSolutions=15, bestBound=18
5.72/3.39
5.72/3.40 num=185, depth=11..22, filters=573813, revisions=(332038,useless=242737), ccks=33286, wck=0.965, mem=45M82
5.72/3.40 decisions=48019, wrong=22117, backtracks=20081, failedAssignments=11838, nogoods=648, foundSolutions=15, bestBound=18
5.72/3.40
5.84/3.40 num=186, depth=18..29, filters=575534, revisions=(333048,useless=243494), ccks=33367, wck=0.967, mem=45M82
5.84/3.40 decisions=48166, wrong=22181, backtracks=20138, failedAssignments=11875, nogoods=651, foundSolutions=15, bestBound=18
5.84/3.40
5.84/3.40 num=187, depth=14..25, filters=577716, revisions=(334214,useless=244327), ccks=33476, wck=0.97, mem=45M82
5.84/3.40 decisions=48328, wrong=22255, backtracks=20205, failedAssignments=11916, nogoods=654, foundSolutions=15, bestBound=18
5.84/3.40
5.84/3.40 num=188, depth=13..24, filters=580064, revisions=(335456,useless=245217), ccks=33541, wck=0.973, mem=45M82
5.84/3.40 decisions=48517, wrong=22341, backtracks=20276, failedAssignments=11961, nogoods=659, foundSolutions=15, bestBound=18
5.84/3.40
5.84/3.41 num=189, depth=14..26, filters=582600, revisions=(337038,useless=246396), ccks=33729, wck=0.976, mem=45M82
5.84/3.41 decisions=48720, wrong=22435, backtracks=20361, failedAssignments=12011, nogoods=662, foundSolutions=15, bestBound=18
5.84/3.41
5.84/3.41 num=190, depth=15..24, filters=585456, revisions=(338448,useless=247396), ccks=33794, wck=0.979, mem=45M82
5.84/3.41 decisions=48940, wrong=22537, backtracks=20447, failedAssignments=12066, nogoods=667, foundSolutions=15, bestBound=18
5.84/3.41
5.84/3.41 num=191, depth=14..25, filters=588300, revisions=(339879,useless=248383), ccks=33919, wck=0.983, mem=45M82
5.84/3.41 decisions=49159, wrong=22637, backtracks=20539, failedAssignments=12127, nogoods=669, foundSolutions=15, bestBound=18
5.84/3.41
5.84/3.42 num=192, depth=15..27, filters=591204, revisions=(341731,useless=249749), ccks=34169, wck=0.987, mem=45M82
5.84/3.42 decisions=49404, wrong=22752, backtracks=20648, failedAssignments=12194, nogoods=671, foundSolutions=15, bestBound=18
5.84/3.42
5.84/3.42 num=193, depth=12..24, filters=594753, revisions=(343804,useless=251246), ccks=34378, wck=0.991, mem=45M82
5.84/3.42 decisions=49697, wrong=22889, backtracks=20769, failedAssignments=12268, nogoods=677, foundSolutions=15, bestBound=18
5.84/3.42
5.84/3.43 num=194, depth=16..28, filters=598706, revisions=(345904,useless=252751), ccks=34585, wck=0.996, mem=45M82
5.84/3.43 decisions=50009, wrong=23036, backtracks=20900, failedAssignments=12349, nogoods=681, foundSolutions=15, bestBound=18
5.84/3.43
5.84/3.43 num=195, depth=15..29, filters=602795, revisions=(347940,useless=254196), ccks=34657, wck=1.001, mem=45M82
5.84/3.43 decisions=50323, wrong=23183, backtracks=21038, failedAssignments=12438, nogoods=686, foundSolutions=15, bestBound=18
5.84/3.43
5.84/3.44 num=196, depth=13..27, filters=607561, revisions=(350702,useless=256212), ccks=34946, wck=1.007, mem=45M82
5.84/3.44 decisions=50711, wrong=23368, backtracks=21205, failedAssignments=12536, nogoods=690, foundSolutions=15, bestBound=18
5.84/3.44
5.84/3.45 num=197, depth=14..25, filters=614285, revisions=(354057,useless=258637), ccks=35089, wck=1.015, mem=45M82
5.84/3.45 decisions=51186, wrong=23597, backtracks=21413, failedAssignments=12644, nogoods=693, foundSolutions=15, bestBound=18
5.84/3.45
5.84/3.45 num=198, depth=15..26, filters=619507, revisions=(357112,useless=260848), ccks=35378, wck=1.021, mem=45M82
5.84/3.45 decisions=51650, wrong=23819, backtracks=21606, failedAssignments=12763, nogoods=697, foundSolutions=15, bestBound=18
5.84/3.45
5.84/3.46 num=199, depth=16..30, filters=624463, revisions=(359517,useless=262524), ccks=35493, wck=1.027, mem=45M82
5.84/3.46 decisions=52078, wrong=24025, backtracks=21800, failedAssignments=12894, nogoods=699, foundSolutions=15, bestBound=18
5.84/3.46
5.84/3.47 num=200, depth=14..25, filters=630844, revisions=(363174,useless=265196), ccks=35838, wck=1.035, mem=45M82
5.84/3.47 decisions=52623, wrong=24289, backtracks=22040, failedAssignments=13038, nogoods=704, foundSolutions=15, bestBound=18
5.84/3.47
5.84/3.47 num=201, depth=15..26, filters=637254, revisions=(367135,useless=268074), ccks=36283, wck=1.043, mem=45M82
5.84/3.47 decisions=53202, wrong=24570, backtracks=22311, failedAssignments=13196, nogoods=710, foundSolutions=15, bestBound=18
5.84/3.47
5.84/3.48 num=202, depth=13..25, filters=644479, revisions=(370958,useless=270830), ccks=36458, wck=1.052, mem=45M82
5.84/3.48 decisions=53843, wrong=24882, backtracks=22604, failedAssignments=13370, nogoods=712, foundSolutions=15, bestBound=18
5.84/3.48
5.84/3.49 num=203, depth=14..29, filters=653442, revisions=(375943,useless=274435), ccks=37118, wck=1.063, mem=45M82
5.84/3.49 decisions=54580, wrong=25240, backtracks=22932, failedAssignments=13561, nogoods=716, foundSolutions=15, bestBound=18
5.84/3.49
5.96/3.50 num=204, depth=15..26, filters=661352, revisions=(381120,useless=278287), ccks=37805, wck=1.073, mem=45M82
5.96/3.50 decisions=55295, wrong=25588, backtracks=23255, failedAssignments=13772, nogoods=724, foundSolutions=15, bestBound=18
5.96/3.50
5.96/3.52 num=205, depth=14..27, filters=673845, revisions=(387877,useless=283182), ccks=38369, wck=1.087, mem=45M82
5.96/3.52 decisions=56222, wrong=26043, backtracks=23669, failedAssignments=14004, nogoods=728, foundSolutions=15, bestBound=18
5.96/3.52
5.96/3.53 num=206, depth=10..25, filters=685305, revisions=(395495,useless=288733), ccks=39391, wck=1.102, mem=45M82
5.96/3.53 decisions=57238, wrong=26543, backtracks=24125, failedAssignments=14259, nogoods=732, foundSolutions=15, bestBound=18
5.96/3.53
5.96/3.55 num=207, depth=12..26, filters=700066, revisions=(403629,useless=294607), ccks=40073, wck=1.119, mem=45M82
5.96/3.55 decisions=58345, wrong=27089, backtracks=24603, failedAssignments=14540, nogoods=737, foundSolutions=15, bestBound=18
5.96/3.55
5.96/3.57 num=208, depth=13..27, filters=715532, revisions=(412443,useless=301046), ccks=41077, wck=1.138, mem=45M82
5.96/3.57 decisions=59512, wrong=27664, backtracks=25137, failedAssignments=14849, nogoods=745, foundSolutions=15, bestBound=18
5.96/3.57
5.96/3.59 num=209, depth=13..27, filters=737665, revisions=(424067,useless=309315), ccks=42000, wck=1.163, mem=45M82
5.96/3.59 decisions=60949, wrong=28375, backtracks=25793, failedAssignments=15189, nogoods=751, foundSolutions=15, bestBound=18
5.96/3.59
6.06/3.62 num=210, depth=15..30, filters=756424, revisions=(433777,useless=316306), ccks=42872, wck=1.185, mem=45M82
6.06/3.62 decisions=62352, wrong=29067, backtracks=26425, failedAssignments=15563, nogoods=757, foundSolutions=15, bestBound=18
6.06/3.62
6.06/3.64 num=211, depth=12..27, filters=773458, revisions=(444236,useless=323953), ccks=43976, wck=1.207, mem=45M82
6.06/3.64 decisions=63827, wrong=29798, backtracks=27101, failedAssignments=15974, nogoods=761, foundSolutions=15, bestBound=18
6.06/3.64
6.06/3.67 num=212, depth=12..28, filters=796674, revisions=(456798,useless=333009), ccks=44997, wck=1.233, mem=45M82
6.06/3.67 decisions=65679, wrong=30714, backtracks=27950, failedAssignments=16426, nogoods=765, foundSolutions=15, bestBound=18
6.06/3.67
6.06/3.69 num=213, depth=12..28, filters=821405, revisions=(473474,useless=345363), ccks=46862, wck=1.261, mem=45M82
6.06/3.69 decisions=67757, wrong=31745, backtracks=28887, failedAssignments=16923, nogoods=769, foundSolutions=15, bestBound=18
6.06/3.69
6.17/3.72 num=214, depth=12..28, filters=845189, revisions=(488458,useless=356350), ccks=48713, wck=1.291, mem=45M82
6.17/3.72 decisions=69810, wrong=32762, backtracks=29846, failedAssignments=17470, nogoods=772, foundSolutions=15, bestBound=18
6.17/3.72
6.17/3.76 num=215, depth=12..29, filters=876447, revisions=(505749,useless=368692), ccks=49982, wck=1.326, mem=45M82
6.17/3.76 decisions=72275, wrong=33987, backtracks=30972, failedAssignments=18072, nogoods=778, foundSolutions=15, bestBound=18
6.17/3.76
6.17/3.80 num=216, depth=11..27, filters=907434, revisions=(525771,useless=383502), ccks=52243, wck=1.364, mem=45M82
6.17/3.80 decisions=74865, wrong=35274, backtracks=32164, failedAssignments=18734, nogoods=786, foundSolutions=15, bestBound=18
6.17/3.80
6.29/3.84 num=217, depth=12..29, filters=942757, revisions=(545300,useless=397509), ccks=54085, wck=1.405, mem=47M724
6.29/3.84 decisions=77738, wrong=36702, backtracks=33471, failedAssignments=19462, nogoods=789, foundSolutions=15, bestBound=18
6.29/3.84
6.29/3.88 num=218, depth=12..28, filters=981278, revisions=(565667,useless=411977), ccks=55287, wck=1.451, mem=47M724
6.29/3.88 decisions=80844, wrong=38246, backtracks=34890, failedAssignments=20263, nogoods=793, foundSolutions=15, bestBound=18
6.29/3.88
6.42/3.93 num=219, depth=10..28, filters=1025339, revisions=(593279,useless=432576), ccks=57976, wck=1.503, mem=47M724
6.42/3.93 decisions=84304, wrong=39968, backtracks=36490, failedAssignments=21144, nogoods=799, foundSolutions=15, bestBound=18
6.42/3.93
6.42/3.99 num=220, depth=11..27, filters=1077728, revisions=(624284,useless=455092), ccks=60257, wck=1.56, mem=47M724
6.42/3.99 decisions=88383, wrong=41998, backtracks=38368, failedAssignments=22114, nogoods=805, foundSolutions=15, bestBound=18
6.42/3.99
6.53/4.05 num=221, depth=8..30, filters=1128031, revisions=(655287,useless=477483), ccks=63675, wck=1.62, mem=47M724
6.53/4.05 decisions=92709, wrong=44154, backtracks=40357, failedAssignments=23181, nogoods=811, foundSolutions=15, bestBound=18
6.53/4.05
6.53/4.08 o 19
6.53/4.08 num=222, depth=13..89, filters=1148607, revisions=(668452,useless=487436), ccks=65497, wck=1.646, mem=47M724
6.53/4.08 decisions=94524, wrong=45052, backtracks=41209, failedAssignments=23674, nogoods=819, foundSolutions=16, bestBound=19
6.53/4.08
6.63/4.15 num=223, depth=8..25, filters=1212208, revisions=(707540,useless=516320), ccks=68858, wck=1.72, mem=47M724
6.63/4.15 decisions=99734, wrong=47648, backtracks=43650, failedAssignments=24965, nogoods=826, foundSolutions=16, bestBound=19
6.63/4.15
6.63/4.15 num=224, depth=15..22, filters=1212905, revisions=(707950,useless=516608), ccks=68895, wck=1.721, mem=47M724
6.63/4.15 decisions=99795, wrong=47671, backtracks=43673, failedAssignments=24976, nogoods=827, foundSolutions=16, bestBound=19
6.63/4.15
6.63/4.15 num=225, depth=15..25, filters=1213537, revisions=(708312,useless=516867), ccks=68920, wck=1.722, mem=47M724
6.63/4.15 decisions=99854, wrong=47691, backtracks=43690, failedAssignments=24988, nogoods=829, foundSolutions=16, bestBound=19
6.63/4.15
6.63/4.15 num=226, depth=16..24, filters=1214252, revisions=(708773,useless=517202), ccks=68973, wck=1.723, mem=47M724
6.63/4.15 decisions=99922, wrong=47716, backtracks=43711, failedAssignments=25001, nogoods=832, foundSolutions=16, bestBound=19
6.63/4.15
6.63/4.16 num=227, depth=16..24, filters=1214865, revisions=(709179,useless=517490), ccks=69008, wck=1.724, mem=47M724
6.63/4.16 decisions=99982, wrong=47738, backtracks=43731, failedAssignments=25015, nogoods=833, foundSolutions=16, bestBound=19
6.63/4.16
6.63/4.16 num=228, depth=16..27, filters=1215658, revisions=(709696,useless=517865), ccks=69069, wck=1.725, mem=47M724
6.63/4.16 decisions=100058, wrong=47766, backtracks=43755, failedAssignments=25031, nogoods=836, foundSolutions=16, bestBound=19
6.63/4.16
6.63/4.16 num=229, depth=15..22, filters=1216725, revisions=(710363,useless=518355), ccks=69140, wck=1.726, mem=47M724
6.63/4.16 decisions=100144, wrong=47800, backtracks=43785, failedAssignments=25048, nogoods=839, foundSolutions=16, bestBound=19
6.63/4.16
6.63/4.16 num=230, depth=15..23, filters=1217619, revisions=(710894,useless=518732), ccks=69179, wck=1.727, mem=47M724
6.63/4.16 decisions=100232, wrong=47834, backtracks=43815, failedAssignments=25067, nogoods=843, foundSolutions=16, bestBound=19
6.63/4.16
6.63/4.16 num=231, depth=16..25, filters=1218554, revisions=(711501,useless=519169), ccks=69252, wck=1.729, mem=47M724
6.63/4.16 decisions=100318, wrong=47868, backtracks=43843, failedAssignments=25088, nogoods=849, foundSolutions=16, bestBound=19
6.63/4.16
6.63/4.16 num=232, depth=15..25, filters=1219724, revisions=(712158,useless=519629), ccks=69306, wck=1.73, mem=47M724
6.63/4.16 decisions=100421, wrong=47912, backtracks=43881, failedAssignments=25111, nogoods=854, foundSolutions=16, bestBound=19
6.63/4.16
6.63/4.16 num=233, depth=14..24, filters=1221072, revisions=(712899,useless=520162), ccks=69364, wck=1.732, mem=47M724
6.63/4.16 decisions=100538, wrong=47963, backtracks=43926, failedAssignments=25136, nogoods=856, foundSolutions=16, bestBound=19
6.63/4.16
6.63/4.17 num=234, depth=14..23, filters=1222674, revisions=(713876,useless=520861), ccks=69430, wck=1.734, mem=47M724
6.63/4.17 decisions=100656, wrong=48013, backtracks=43970, failedAssignments=25164, nogoods=860, foundSolutions=16, bestBound=19
6.63/4.17
6.63/4.17 num=235, depth=15..26, filters=1223932, revisions=(714627,useless=521399), ccks=69498, wck=1.736, mem=47M724
6.63/4.17 decisions=100765, wrong=48059, backtracks=44008, failedAssignments=25195, nogoods=866, foundSolutions=16, bestBound=19
6.63/4.17
6.63/4.17 num=236, depth=14..23, filters=1226036, revisions=(715899,useless=522329), ccks=69610, wck=1.739, mem=47M724
6.63/4.17 decisions=100910, wrong=48124, backtracks=44067, failedAssignments=25229, nogoods=868, foundSolutions=16, bestBound=19
6.63/4.17
6.63/4.17 num=237, depth=14..26, filters=1228042, revisions=(717148,useless=523212), ccks=69747, wck=1.742, mem=47M724
6.63/4.17 decisions=101073, wrong=48198, backtracks=44134, failedAssignments=25266, nogoods=871, foundSolutions=16, bestBound=19
6.63/4.17
6.63/4.18 num=238, depth=14..25, filters=1230371, revisions=(718490,useless=524173), ccks=69859, wck=1.745, mem=47M724
6.63/4.18 decisions=101259, wrong=48283, backtracks=44214, failedAssignments=25307, nogoods=874, foundSolutions=16, bestBound=19
6.63/4.18
6.63/4.18 num=239, depth=15..25, filters=1232519, revisions=(719778,useless=525115), ccks=69991, wck=1.748, mem=47M724
6.63/4.18 decisions=101436, wrong=48363, backtracks=44285, failedAssignments=25352, nogoods=879, foundSolutions=16, bestBound=19
6.63/4.18
6.63/4.18 num=240, depth=14..24, filters=1235211, revisions=(721266,useless=526184), ccks=70098, wck=1.752, mem=47M724
6.63/4.18 decisions=101637, wrong=48455, backtracks=44368, failedAssignments=25402, nogoods=884, foundSolutions=16, bestBound=19
6.63/4.18
6.63/4.19 num=241, depth=15..26, filters=1237961, revisions=(722845,useless=527367), ccks=70274, wck=1.755, mem=47M724
6.63/4.19 decisions=101844, wrong=48550, backtracks=44460, failedAssignments=25457, nogoods=889, foundSolutions=16, bestBound=19
6.63/4.19
6.63/4.19 num=242, depth=16..26, filters=1240894, revisions=(724477,useless=528550), ccks=70428, wck=1.759, mem=47M724
6.63/4.19 decisions=102077, wrong=48656, backtracks=44567, failedAssignments=25518, nogoods=894, foundSolutions=16, bestBound=19
6.63/4.19
6.63/4.20 num=243, depth=14..26, filters=1244724, revisions=(726521,useless=530018), ccks=70567, wck=1.764, mem=47M724
6.63/4.20 decisions=102359, wrong=48789, backtracks=44689, failedAssignments=25585, nogoods=898, foundSolutions=16, bestBound=19
6.63/4.20
6.72/4.20 num=244, depth=16..27, filters=1247712, revisions=(728245,useless=531267), ccks=70752, wck=1.768, mem=47M724
6.72/4.20 decisions=102610, wrong=48905, backtracks=44799, failedAssignments=25659, nogoods=901, foundSolutions=16, bestBound=19
6.72/4.20
6.72/4.20 num=245, depth=15..25, filters=1250877, revisions=(729774,useless=532335), ccks=70792, wck=1.772, mem=47M724
6.72/4.20 decisions=102900, wrong=49041, backtracks=44926, failedAssignments=25740, nogoods=906, foundSolutions=16, bestBound=19
6.72/4.20
6.72/4.21 num=246, depth=15..27, filters=1255801, revisions=(732450,useless=534355), ccks=70932, wck=1.777, mem=47M724
6.72/4.21 decisions=103275, wrong=49217, backtracks=45089, failedAssignments=25829, nogoods=909, foundSolutions=16, bestBound=19
6.72/4.21
6.72/4.21 num=247, depth=14..24, filters=1259827, revisions=(734383,useless=535714), ccks=71023, wck=1.782, mem=47M724
6.72/4.21 decisions=103617, wrong=49379, backtracks=45237, failedAssignments=25927, nogoods=912, foundSolutions=16, bestBound=19
6.72/4.21
6.72/4.22 num=248, depth=14..27, filters=1265190, revisions=(737441,useless=537914), ccks=71373, wck=1.789, mem=47M724
6.72/4.22 decisions=104042, wrong=49581, backtracks=45410, failedAssignments=26035, nogoods=916, foundSolutions=16, bestBound=19
6.72/4.22
6.72/4.23 num=249, depth=12..25, filters=1272538, revisions=(741368,useless=540746), ccks=71662, wck=1.797, mem=47M724
6.72/4.23 decisions=104577, wrong=49840, backtracks=45641, failedAssignments=26154, nogoods=921, foundSolutions=16, bestBound=19
6.72/4.23
6.72/4.24 num=250, depth=13..28, filters=1277597, revisions=(744459,useless=542944), ccks=72041, wck=1.804, mem=47M724
6.72/4.24 decisions=105056, wrong=50069, backtracks=45848, failedAssignments=26285, nogoods=928, foundSolutions=16, bestBound=19
6.72/4.24
6.72/4.24 num=251, depth=13..27, filters=1284777, revisions=(747989,useless=545474), ccks=72124, wck=1.813, mem=47M724
6.72/4.24 decisions=105627, wrong=50346, backtracks=46109, failedAssignments=26429, nogoods=933, foundSolutions=16, bestBound=19
6.72/4.24
6.72/4.25 o 20
6.72/4.25 num=252, depth=14..89, filters=1288128, revisions=(749501,useless=546531), ccks=72274, wck=1.817, mem=47M724
6.72/4.25 decisions=105889, wrong=50467, backtracks=46213, failedAssignments=26497, nogoods=941, foundSolutions=17, bestBound=20
6.72/4.25
6.72/4.26 num=253, depth=9..21, filters=1297973, revisions=(754888,useless=550450), ccks=72502, wck=1.828, mem=47M724
6.72/4.26 decisions=106593, wrong=50814, backtracks=46530, failedAssignments=26671, nogoods=946, foundSolutions=17, bestBound=20
6.72/4.26
6.72/4.26 num=254, depth=17..22, filters=1298612, revisions=(755236,useless=550699), ccks=72512, wck=1.829, mem=47M724
6.72/4.26 decisions=106654, wrong=50835, backtracks=46548, failedAssignments=26682, nogoods=948, foundSolutions=17, bestBound=20
6.72/4.26
6.72/4.26 num=255, depth=15..22, filters=1299390, revisions=(755642,useless=550997), ccks=72527, wck=1.83, mem=47M724
6.72/4.26 decisions=106715, wrong=50857, backtracks=46568, failedAssignments=26694, nogoods=950, foundSolutions=17, bestBound=20
6.72/4.26
6.72/4.26 num=256, depth=13..22, filters=1300238, revisions=(756075,useless=551307), ccks=72560, wck=1.831, mem=47M724
6.72/4.26 decisions=106780, wrong=50883, backtracks=46592, failedAssignments=26707, nogoods=951, foundSolutions=17, bestBound=20
6.72/4.26
6.72/4.26 num=257, depth=16..22, filters=1301033, revisions=(756499,useless=551619), ccks=72580, wck=1.832, mem=47M724
6.72/4.26 decisions=106846, wrong=50907, backtracks=46608, failedAssignments=26721, nogoods=956, foundSolutions=17, bestBound=20
6.72/4.26
6.72/4.26 num=258, depth=16..24, filters=1301904, revisions=(756957,useless=551952), ccks=72589, wck=1.833, mem=47M724
6.72/4.26 decisions=106916, wrong=50934, backtracks=46632, failedAssignments=26737, nogoods=957, foundSolutions=17, bestBound=20
6.72/4.26
6.72/4.27 num=259, depth=14..23, filters=1302977, revisions=(757544,useless=552374), ccks=72629, wck=1.834, mem=47M724
6.72/4.27 decisions=107001, wrong=50969, backtracks=46663, failedAssignments=26754, nogoods=959, foundSolutions=17, bestBound=20
6.72/4.27
6.72/4.27 num=260, depth=14..22, filters=1304240, revisions=(758239,useless=552880), ccks=72676, wck=1.836, mem=47M724
6.72/4.27 decisions=107098, wrong=51009, backtracks=46698, failedAssignments=26773, nogoods=963, foundSolutions=17, bestBound=20
6.72/4.27
6.72/4.27 num=261, depth=12..22, filters=1305118, revisions=(758761,useless=553266), ccks=72726, wck=1.837, mem=47M724
6.72/4.27 decisions=107183, wrong=51045, backtracks=46731, failedAssignments=26794, nogoods=965, foundSolutions=17, bestBound=20
6.72/4.27
6.72/4.27 num=262, depth=13..26, filters=1306323, revisions=(759354,useless=553687), ccks=72765, wck=1.838, mem=47M724
6.72/4.27 decisions=107291, wrong=51090, backtracks=46772, failedAssignments=26817, nogoods=967, foundSolutions=17, bestBound=20
6.72/4.27
6.72/4.27 num=263, depth=14..20, filters=1307433, revisions=(759937,useless=554087), ccks=72790, wck=1.84, mem=47M724
6.72/4.27 decisions=107402, wrong=51138, backtracks=46814, failedAssignments=26842, nogoods=971, foundSolutions=17, bestBound=20
6.72/4.27
6.72/4.27 num=264, depth=13..22, filters=1308721, revisions=(760677,useless=554621), ccks=72861, wck=1.841, mem=47M724
6.72/4.27 decisions=107524, wrong=51190, backtracks=46857, failedAssignments=26870, nogoods=975, foundSolutions=17, bestBound=20
6.72/4.27
6.72/4.27 num=265, depth=14..24, filters=1310114, revisions=(761436,useless=555174), ccks=72901, wck=1.843, mem=47M724
6.72/4.27 decisions=107657, wrong=51248, backtracks=46906, failedAssignments=26901, nogoods=982, foundSolutions=17, bestBound=20
6.72/4.27
6.72/4.28 num=266, depth=14..23, filters=1311764, revisions=(762421,useless=555903), ccks=73016, wck=1.845, mem=47M724
6.72/4.28 decisions=107803, wrong=51311, backtracks=46962, failedAssignments=26935, nogoods=984, foundSolutions=17, bestBound=20
6.72/4.28
6.72/4.28 num=267, depth=15..22, filters=1314012, revisions=(763484,useless=556650), ccks=73039, wck=1.847, mem=47M724
6.72/4.28 decisions=107956, wrong=51380, backtracks=47023, failedAssignments=26972, nogoods=988, foundSolutions=17, bestBound=20
6.72/4.28
6.72/4.28 num=268, depth=12..23, filters=1316410, revisions=(764696,useless=557532), ccks=73123, wck=1.85, mem=47M724
6.72/4.28 decisions=108126, wrong=51457, backtracks=47088, failedAssignments=27013, nogoods=993, foundSolutions=17, bestBound=20
6.72/4.28
6.72/4.28 num=269, depth=12..22, filters=1318499, revisions=(765823,useless=558346), ccks=73197, wck=1.853, mem=47M724
6.72/4.28 decisions=108291, wrong=51531, backtracks=47157, failedAssignments=27058, nogoods=998, foundSolutions=17, bestBound=20
6.72/4.28
6.72/4.29 num=270, depth=12..24, filters=1321775, revisions=(767385,useless=559483), ccks=73256, wck=1.856, mem=47M724
6.72/4.29 decisions=108523, wrong=51640, backtracks=47254, failedAssignments=27108, nogoods=1000, foundSolutions=17, bestBound=20
6.72/4.29
6.72/4.29 num=271, depth=13..24, filters=1325172, revisions=(769035,useless=560658), ccks=73358, wck=1.86, mem=47M724
6.72/4.29 decisions=108763, wrong=51752, backtracks=47361, failedAssignments=27163, nogoods=1003, foundSolutions=17, bestBound=20
6.72/4.29
6.72/4.30 num=272, depth=12..23, filters=1328413, revisions=(770737,useless=561874), ccks=73461, wck=1.864, mem=47M724
6.72/4.30 decisions=109007, wrong=51866, backtracks=47460, failedAssignments=27224, nogoods=1006, foundSolutions=17, bestBound=20
6.72/4.30
6.84/4.30 num=273, depth=12..26, filters=1332161, revisions=(772843,useless=563413), ccks=73654, wck=1.869, mem=47M724
6.84/4.30 decisions=109304, wrong=52008, backtracks=47592, failedAssignments=27291, nogoods=1008, foundSolutions=17, bestBound=20
6.84/4.30
6.84/4.31 num=274, depth=13..24, filters=1336975, revisions=(775362,useless=565173), ccks=73816, wck=1.875, mem=47M724
6.84/4.31 decisions=109642, wrong=52168, backtracks=47739, failedAssignments=27365, nogoods=1013, foundSolutions=17, bestBound=20
6.84/4.31
6.84/4.31 num=275, depth=14..26, filters=1340309, revisions=(777305,useless=566568), ccks=73971, wck=1.879, mem=47M724
6.84/4.31 decisions=109929, wrong=52301, backtracks=47860, failedAssignments=27446, nogoods=1016, foundSolutions=17, bestBound=20
6.84/4.31
6.84/4.32 num=276, depth=13..23, filters=1344627, revisions=(779593,useless=568204), ccks=74078, wck=1.884, mem=47M724
6.84/4.32 decisions=110267, wrong=52463, backtracks=48008, failedAssignments=27535, nogoods=1021, foundSolutions=17, bestBound=20
6.84/4.32
6.84/4.32 num=277, depth=13..25, filters=1349744, revisions=(782460,useless=570236), ccks=74378, wck=1.89, mem=47M724
6.84/4.32 decisions=110657, wrong=52650, backtracks=48184, failedAssignments=27633, nogoods=1027, foundSolutions=17, bestBound=20
6.84/4.32
6.84/4.33 num=278, depth=11..24, filters=1355232, revisions=(785202,useless=572157), ccks=74571, wck=1.897, mem=47M724
6.84/4.33 decisions=111076, wrong=52850, backtracks=48372, failedAssignments=27741, nogoods=1032, foundSolutions=17, bestBound=20
6.84/4.33
6.84/4.34 num=279, depth=11..24, filters=1361666, revisions=(788480,useless=574445), ccks=74687, wck=1.904, mem=47M724
6.84/4.34 decisions=111542, wrong=53076, backtracks=48571, failedAssignments=27860, nogoods=1037, foundSolutions=17, bestBound=20
6.84/4.34
6.84/4.35 num=280, depth=12..25, filters=1369830, revisions=(792917,useless=577644), ccks=75016, wck=1.914, mem=47M724
6.84/4.35 decisions=112096, wrong=53345, backtracks=48818, failedAssignments=27991, nogoods=1041, foundSolutions=17, bestBound=20
6.84/4.35
6.84/4.36 num=281, depth=11..24, filters=1377950, revisions=(797322,useless=580872), ccks=75334, wck=1.924, mem=47M724
6.84/4.36 decisions=112682, wrong=53631, backtracks=49082, failedAssignments=28135, nogoods=1045, foundSolutions=17, bestBound=20
6.84/4.36
6.84/4.36 num=282, depth=12..26, filters=1384789, revisions=(800975,useless=583453), ccks=75570, wck=1.933, mem=47M724
6.84/4.36 decisions=113243, wrong=53904, backtracks=49325, failedAssignments=28293, nogoods=1051, foundSolutions=17, bestBound=20
6.84/4.36
6.84/4.37 num=283, depth=12..26, filters=1392682, revisions=(805387,useless=586568), ccks=75955, wck=1.943, mem=47M724
6.84/4.37 decisions=113906, wrong=54227, backtracks=49610, failedAssignments=28467, nogoods=1056, foundSolutions=17, bestBound=20
6.84/4.37
6.84/4.39 num=284, depth=11..28, filters=1402896, revisions=(810685,useless=590365), ccks=76279, wck=1.955, mem=47M724
6.84/4.39 decisions=114665, wrong=54599, backtracks=49940, failedAssignments=28658, nogoods=1061, foundSolutions=17, bestBound=20
6.84/4.39
6.94/4.40 num=285, depth=12..25, filters=1413826, revisions=(817104,useless=595012), ccks=76923, wck=1.969, mem=47M724
6.94/4.40 decisions=115433, wrong=54975, backtracks=50279, failedAssignments=28869, nogoods=1065, foundSolutions=17, bestBound=20
6.94/4.40
6.94/4.41 num=286, depth=12..26, filters=1423811, revisions=(822228,useless=598563), ccks=77296, wck=1.982, mem=47M724
6.94/4.41 decisions=116259, wrong=55381, backtracks=50630, failedAssignments=29101, nogoods=1070, foundSolutions=17, bestBound=20
6.94/4.41
6.94/4.43 num=287, depth=12..26, filters=1438992, revisions=(829367,useless=603519), ccks=77524, wck=1.999, mem=47M724
6.94/4.43 decisions=117317, wrong=55903, backtracks=51121, failedAssignments=29356, nogoods=1075, foundSolutions=17, bestBound=20
6.94/4.43
6.94/4.45 num=288, depth=11..25, filters=1454472, revisions=(838374,useless=610057), ccks=78284, wck=2.018, mem=50M367
6.94/4.45 decisions=118488, wrong=56479, backtracks=51650, failedAssignments=29637, nogoods=1079, foundSolutions=17, bestBound=20
6.94/4.45
6.94/4.47 num=289, depth=13..27, filters=1467958, revisions=(845600,useless=615172), ccks=78660, wck=2.035, mem=50M367
6.94/4.47 decisions=119604, wrong=57028, backtracks=52164, failedAssignments=29946, nogoods=1084, foundSolutions=17, bestBound=20
6.94/4.47
6.94/4.48 num=290, depth=12..28, filters=1483162, revisions=(855130,useless=622088), ccks=79839, wck=2.052, mem=50M367
6.94/4.48 decisions=120947, wrong=57691, backtracks=52771, failedAssignments=30286, nogoods=1090, foundSolutions=17, bestBound=20
6.94/4.48
7.04/4.51 num=291, depth=12..29, filters=1503101, revisions=(865969,useless=629863), ccks=80745, wck=2.076, mem=50M367
7.04/4.51 decisions=122485, wrong=58453, backtracks=53467, failedAssignments=30660, nogoods=1096, foundSolutions=17, bestBound=20
7.04/4.51
7.04/4.53 num=292, depth=11..27, filters=1523516, revisions=(878709,useless=639091), ccks=82519, wck=2.101, mem=50M367
7.04/4.53 decisions=124122, wrong=59264, backtracks=54215, failedAssignments=31071, nogoods=1101, foundSolutions=17, bestBound=20
7.04/4.53
7.04/4.56 num=293, depth=11..26, filters=1542675, revisions=(889763,useless=647023), ccks=83513, wck=2.126, mem=50M367
7.04/4.56 decisions=125749, wrong=60070, backtracks=54973, failedAssignments=31523, nogoods=1110, foundSolutions=17, bestBound=20
7.04/4.56
7.04/4.59 num=294, depth=11..28, filters=1564406, revisions=(902570,useless=656158), ccks=84587, wck=2.153, mem=50M367
7.04/4.59 decisions=127662, wrong=61017, backtracks=55838, failedAssignments=32020, nogoods=1113, foundSolutions=17, bestBound=20
7.04/4.59
7.14/4.62 num=295, depth=12..27, filters=1591758, revisions=(917865,useless=667241), ccks=85732, wck=2.187, mem=50M367
7.14/4.62 decisions=129754, wrong=62054, backtracks=56796, failedAssignments=32567, nogoods=1118, foundSolutions=17, bestBound=20
7.14/4.62
7.14/4.66 num=296, depth=12..28, filters=1622467, revisions=(935202,useless=679823), ccks=87626, wck=2.226, mem=50M367
7.14/4.66 decisions=132107, wrong=63223, backtracks=57868, failedAssignments=33169, nogoods=1123, foundSolutions=17, bestBound=20
7.14/4.66
7.14/4.70 num=297, depth=11..27, filters=1654106, revisions=(951810,useless=691519), ccks=88856, wck=2.264, mem=50M367
7.14/4.70 decisions=134727, wrong=64524, backtracks=59083, failedAssignments=33831, nogoods=1127, foundSolutions=17, bestBound=20
7.14/4.70
7.24/4.74 num=298, depth=10..28, filters=1694525, revisions=(974932,useless=708149), ccks=91002, wck=2.313, mem=50M367
7.24/4.74 decisions=137794, wrong=66048, backtracks=60513, failedAssignments=34559, nogoods=1131, foundSolutions=17, bestBound=20
7.24/4.74
7.24/4.79 num=299, depth=10..29, filters=1732883, revisions=(1000184,useless=726907), ccks=93880, wck=2.362, mem=50M367
7.24/4.79 decisions=141015, wrong=67649, backtracks=62018, failedAssignments=35360, nogoods=1136, foundSolutions=17, bestBound=20
7.24/4.79
7.34/4.84 num=300, depth=10..27, filters=1772085, revisions=(1022319,useless=742975), ccks=95410, wck=2.407, mem=50M367
7.34/4.84 decisions=144283, wrong=69277, backtracks=63558, failedAssignments=36241, nogoods=1142, foundSolutions=17, bestBound=20
7.34/4.84
7.44/4.93 num=301, depth=10..27, filters=1821404, revisions=(1051522,useless=764069), ccks=98371, wck=2.468, mem=50M367
7.44/4.93 decisions=148169, wrong=71214, backtracks=65348, failedAssignments=37211, nogoods=1148, foundSolutions=17, bestBound=20
7.44/4.93
7.44/4.96 num=302, depth=11..27, filters=1874616, revisions=(1084426,useless=787796), ccks=102109, wck=2.533, mem=50M367
7.44/4.96 decisions=152682, wrong=73463, backtracks=67427, failedAssignments=38278, nogoods=1154, foundSolutions=17, bestBound=20
7.44/4.96
7.55/5.03 num=303, depth=12..27, filters=1927161, revisions=(1114200,useless=809034), ccks=104381, wck=2.596, mem=50M367
7.55/5.03 decisions=157397, wrong=75811, backtracks=69630, failedAssignments=39451, nogoods=1160, foundSolutions=17, bestBound=20
7.55/5.03
7.65/5.11 num=304, depth=9..26, filters=1996431, revisions=(1154703,useless=838500), ccks=108029, wck=2.678, mem=50M367
7.65/5.11 decisions=162698, wrong=78455, backtracks=72062, failedAssignments=40742, nogoods=1167, foundSolutions=17, bestBound=20
7.65/5.11
7.75/5.21 num=305, depth=10..31, filters=2078569, revisions=(1202427,useless=873513), ccks=112198, wck=2.777, mem=50M367
7.75/5.21 decisions=168359, wrong=81279, backtracks=74682, failedAssignments=42162, nogoods=1171, foundSolutions=17, bestBound=20
7.75/5.21
7.85/5.31 num=306, depth=8..28, filters=2161788, revisions=(1250894,useless=908892), ccks=116703, wck=2.877, mem=50M367
7.85/5.31 decisions=174767, wrong=84477, backtracks=77643, failedAssignments=43724, nogoods=1175, foundSolutions=17, bestBound=20
7.85/5.31
7.95/5.42 num=307, depth=10..30, filters=2252150, revisions=(1304994,useless=947847), ccks=122622, wck=2.986, mem=50M367
7.95/5.42 decisions=181895, wrong=88033, backtracks=80945, failedAssignments=45442, nogoods=1183, foundSolutions=17, bestBound=20
7.95/5.42
8.05/5.52 num=308, depth=11..30, filters=2336195, revisions=(1356469,useless=984959), ccks=127651, wck=3.087, mem=50M367
8.05/5.52 decisions=189316, wrong=91736, backtracks=84365, failedAssignments=47332, nogoods=1189, foundSolutions=17, bestBound=20
8.05/5.52
8.15/5.66 num=309, depth=7..30, filters=2448806, revisions=(1423514,useless=1033338), ccks=133390, wck=3.233, mem=50M367
8.15/5.66 decisions=197748, wrong=95945, backtracks=88289, failedAssignments=49411, nogoods=1193, foundSolutions=17, bestBound=20
8.15/5.66
8.35/5.81 num=310, depth=10..29, filters=2572714, revisions=(1496202,useless=1086421), ccks=139765, wck=3.382, mem=50M367
8.35/5.81 decisions=207018, wrong=100572, backtracks=92600, failedAssignments=51698, nogoods=1199, foundSolutions=17, bestBound=20
8.35/5.81
8.45/5.93 o 21
8.45/5.93 num=311, depth=8..89, filters=2665512, revisions=(1551596,useless=1127217), ccks=144783, wck=3.497, mem=50M367
8.45/5.93 decisions=214110, wrong=104111, backtracks=95926, failedAssignments=53477, nogoods=1208, foundSolutions=18, bestBound=21
8.45/5.93
8.45/5.98 o 22
8.45/5.98 num=312, depth=8..89, filters=2710373, revisions=(1578877,useless=1147256), ccks=147283, wck=3.549, mem=50M367
8.45/5.98 decisions=217849, wrong=105974, backtracks=97640, failedAssignments=54398, nogoods=1220, foundSolutions=19, bestBound=22
8.45/5.98
8.45/5.98 num=313, depth=10..17, filters=2710877, revisions=(1579180,useless=1147489), ccks=147301, wck=3.549, mem=50M367
8.45/5.98 decisions=217898, wrong=105993, backtracks=97656, failedAssignments=54409, nogoods=1222, foundSolutions=19, bestBound=22
8.45/5.98
8.45/5.98 num=314, depth=12..19, filters=2711503, revisions=(1579586,useless=1147802), ccks=147332, wck=3.55, mem=50M367
8.45/5.98 decisions=217955, wrong=106014, backtracks=97675, failedAssignments=54420, nogoods=1224, foundSolutions=19, bestBound=22
8.45/5.98
8.45/5.98 num=315, depth=13..18, filters=2712182, revisions=(1579944,useless=1148061), ccks=147347, wck=3.551, mem=50M367
8.45/5.98 decisions=218008, wrong=106034, backtracks=97691, failedAssignments=54432, nogoods=1226, foundSolutions=19, bestBound=22
8.45/5.98
8.45/5.98 num=316, depth=13..23, filters=2712890, revisions=(1580324,useless=1148340), ccks=147370, wck=3.552, mem=50M367
8.45/5.98 decisions=218069, wrong=106055, backtracks=97706, failedAssignments=54445, nogoods=1230, foundSolutions=19, bestBound=22
8.45/5.98
8.45/5.98 num=317, depth=14..22, filters=2713676, revisions=(1580787,useless=1148680), ccks=147401, wck=3.553, mem=50M367
8.45/5.98 decisions=218133, wrong=106079, backtracks=97726, failedAssignments=54459, nogoods=1233, foundSolutions=19, bestBound=22
8.45/5.98
8.45/5.99 num=318, depth=13..21, filters=2714435, revisions=(1581193,useless=1148974), ccks=147421, wck=3.554, mem=50M367
8.45/5.99 decisions=218200, wrong=106105, backtracks=97747, failedAssignments=54475, nogoods=1236, foundSolutions=19, bestBound=22
8.45/5.99
8.45/5.99 num=319, depth=12..18, filters=2715229, revisions=(1581643,useless=1149306), ccks=147444, wck=3.555, mem=53M10
8.45/5.99 decisions=218269, wrong=106133, backtracks=97771, failedAssignments=54492, nogoods=1238, foundSolutions=19, bestBound=22
8.45/5.99
8.45/5.99 num=320, depth=13..20, filters=2716274, revisions=(1582230,useless=1149731), ccks=147495, wck=3.556, mem=53M10
8.45/5.99 decisions=218359, wrong=106169, backtracks=97802, failedAssignments=54511, nogoods=1240, foundSolutions=19, bestBound=22
8.45/5.99
8.45/5.99 num=321, depth=11..20, filters=2717403, revisions=(1582872,useless=1150199), ccks=147557, wck=3.558, mem=53M10
8.45/5.99 decisions=218452, wrong=106210, backtracks=97841, failedAssignments=54532, nogoods=1241, foundSolutions=19, bestBound=22
8.45/5.99
8.45/5.99 num=322, depth=13..24, filters=2718378, revisions=(1583480,useless=1150645), ccks=147619, wck=3.559, mem=53M10
8.45/5.99 decisions=218539, wrong=106246, backtracks=97874, failedAssignments=54555, nogoods=1243, foundSolutions=19, bestBound=22
8.45/5.99
8.45/5.99 num=323, depth=12..22, filters=2719598, revisions=(1584201,useless=1151158), ccks=147697, wck=3.561, mem=53M10
8.45/5.99 decisions=218642, wrong=106290, backtracks=97910, failedAssignments=54580, nogoods=1249, foundSolutions=19, bestBound=22
8.45/5.99
8.45/5.99 num=324, depth=13..25, filters=2720750, revisions=(1584870,useless=1151635), ccks=147762, wck=3.562, mem=53M10
8.45/5.99 decisions=218741, wrong=106331, backtracks=97942, failedAssignments=54608, nogoods=1255, foundSolutions=19, bestBound=22
8.45/5.99
8.45/6.00 num=325, depth=11..20, filters=2722472, revisions=(1585817,useless=1152312), ccks=147808, wck=3.565, mem=53M10
8.45/6.00 decisions=218881, wrong=106394, backtracks=97995, failedAssignments=54639, nogoods=1258, foundSolutions=19, bestBound=22
8.45/6.00
8.45/6.00 num=326, depth=14..23, filters=2723968, revisions=(1586665,useless=1152929), ccks=147888, wck=3.567, mem=53M10
8.45/6.00 decisions=219000, wrong=106446, backtracks=98039, failedAssignments=54673, nogoods=1264, foundSolutions=19, bestBound=22
8.45/6.00
8.45/6.00 num=327, depth=12..21, filters=2725706, revisions=(1587525,useless=1153538), ccks=147910, wck=3.569, mem=53M10
8.45/6.00 decisions=219147, wrong=106512, backtracks=98093, failedAssignments=54710, nogoods=1267, foundSolutions=19, bestBound=22
8.45/6.00
8.45/6.00 num=328, depth=13..22, filters=2728130, revisions=(1588979,useless=1154602), ccks=148095, wck=3.572, mem=53M10
8.45/6.00 decisions=219317, wrong=106589, backtracks=98158, failedAssignments=54751, nogoods=1273, foundSolutions=19, bestBound=22
8.45/6.00
8.45/6.01 num=329, depth=11..20, filters=2730250, revisions=(1590168,useless=1155449), ccks=148179, wck=3.575, mem=53M10
8.45/6.01 decisions=219479, wrong=106663, backtracks=98221, failedAssignments=54796, nogoods=1278, foundSolutions=19, bestBound=22
8.45/6.01
8.58/6.01 num=330, depth=13..24, filters=2732765, revisions=(1591510,useless=1156389), ccks=148277, wck=3.578, mem=53M10
8.58/6.01 decisions=219679, wrong=106755, backtracks=98306, failedAssignments=54846, nogoods=1283, foundSolutions=19, bestBound=22
8.58/6.01
8.58/6.01 num=331, depth=12..23, filters=2735247, revisions=(1592985,useless=1157448), ccks=148439, wck=3.581, mem=53M10
8.58/6.01 decisions=219896, wrong=106857, backtracks=98401, failedAssignments=54901, nogoods=1287, foundSolutions=19, bestBound=22
8.58/6.01
8.58/6.02 num=332, depth=12..26, filters=2738534, revisions=(1594816,useless=1158753), ccks=148594, wck=3.585, mem=53M10
8.58/6.02 decisions=220137, wrong=106971, backtracks=98508, failedAssignments=54962, nogoods=1291, foundSolutions=19, bestBound=22
8.58/6.02
8.58/6.02 num=333, depth=11..24, filters=2741789, revisions=(1596836,useless=1160218), ccks=148845, wck=3.59, mem=53M10
8.58/6.02 decisions=220392, wrong=107093, backtracks=98620, failedAssignments=55029, nogoods=1293, foundSolutions=19, bestBound=22
8.58/6.02
8.58/6.03 num=334, depth=10..21, filters=2746186, revisions=(1599343,useless=1161928), ccks=149094, wck=3.596, mem=53M10
8.58/6.03 decisions=220733, wrong=107257, backtracks=98774, failedAssignments=55103, nogoods=1295, foundSolutions=19, bestBound=22
8.58/6.03
8.58/6.03 num=335, depth=12..24, filters=2750085, revisions=(1601433,useless=1163385), ccks=149264, wck=3.601, mem=53M10
8.58/6.03 decisions=221031, wrong=107398, backtracks=98893, failedAssignments=55184, nogoods=1299, foundSolutions=19, bestBound=22
8.58/6.03
8.58/6.04 num=336, depth=11..22, filters=2754700, revisions=(1604295,useless=1165407), ccks=149634, wck=3.607, mem=53M10
8.58/6.04 decisions=221397, wrong=107574, backtracks=99053, failedAssignments=55273, nogoods=1306, foundSolutions=19, bestBound=22
8.58/6.04
8.58/6.04 num=337, depth=11..23, filters=2759562, revisions=(1607173,useless=1167454), ccks=150007, wck=3.613, mem=53M10
8.58/6.04 decisions=221788, wrong=107763, backtracks=99217, failedAssignments=55371, nogoods=1312, foundSolutions=19, bestBound=22
8.58/6.04
8.58/6.05 num=338, depth=12..24, filters=2764799, revisions=(1610074,useless=1169531), ccks=150285, wck=3.62, mem=53M10
8.58/6.05 decisions=222188, wrong=107956, backtracks=99387, failedAssignments=55479, nogoods=1317, foundSolutions=19, bestBound=22
8.58/6.05
8.58/6.06 num=339, depth=12..24, filters=2770990, revisions=(1613440,useless=1171934), ccks=150564, wck=3.628, mem=53M10
8.58/6.06 decisions=222648, wrong=108179, backtracks=99580, failedAssignments=55598, nogoods=1325, foundSolutions=19, bestBound=22
8.58/6.06
8.58/6.07 num=340, depth=13..24, filters=2777551, revisions=(1616804,useless=1174290), ccks=150780, wck=3.636, mem=53M10
8.58/6.07 decisions=223161, wrong=108429, backtracks=99803, failedAssignments=55729, nogoods=1328, foundSolutions=19, bestBound=22
8.58/6.07
8.58/6.08 num=341, depth=12..23, filters=2784608, revisions=(1620601,useless=1176990), ccks=151015, wck=3.645, mem=53M10
8.58/6.08 decisions=223693, wrong=108689, backtracks=100033, failedAssignments=55873, nogoods=1331, foundSolutions=19, bestBound=22
8.58/6.08
8.58/6.09 num=342, depth=11..24, filters=2791222, revisions=(1624651,useless=1179954), ccks=151413, wck=3.653, mem=53M10
8.58/6.09 decisions=224266, wrong=108967, backtracks=100283, failedAssignments=56031, nogoods=1336, foundSolutions=19, bestBound=22
8.58/6.09
8.58/6.10 num=343, depth=12..25, filters=2798692, revisions=(1629439,useless=1183453), ccks=152036, wck=3.663, mem=53M10
8.58/6.10 decisions=224891, wrong=109272, backtracks=100570, failedAssignments=56205, nogoods=1341, foundSolutions=19, bestBound=22
8.58/6.10
8.58/6.11 num=344, depth=12..25, filters=2806829, revisions=(1633903,useless=1186649), ccks=152497, wck=3.674, mem=53M10
8.58/6.11 decisions=225538, wrong=109588, backtracks=100852, failedAssignments=56396, nogoods=1346, foundSolutions=19, bestBound=22
8.58/6.11
8.70/6.12 num=345, depth=10..23, filters=2818044, revisions=(1640718,useless=1191633), ccks=153241, wck=3.689, mem=53M10
8.70/6.12 decisions=226416, wrong=110022, backtracks=101258, failedAssignments=56607, nogoods=1350, foundSolutions=19, bestBound=22
8.70/6.12
8.70/6.14 num=346, depth=10..24, filters=2830415, revisions=(1648110,useless=1196983), ccks=154231, wck=3.705, mem=53M10
8.70/6.14 decisions=227299, wrong=110456, backtracks=101653, failedAssignments=56839, nogoods=1355, foundSolutions=19, bestBound=22
8.70/6.14
8.70/6.15 num=347, depth=11..26, filters=2842298, revisions=(1654417,useless=1201375), ccks=154805, wck=3.721, mem=53M10
8.70/6.15 decisions=228217, wrong=110907, backtracks=102057, failedAssignments=57094, nogoods=1360, foundSolutions=19, bestBound=22
8.70/6.15
8.70/6.17 num=348, depth=10..25, filters=2857326, revisions=(1663275,useless=1207925), ccks=155699, wck=3.74, mem=53M10
8.70/6.17 decisions=229270, wrong=111427, backtracks=102534, failedAssignments=57375, nogoods=1363, foundSolutions=19, bestBound=22
8.70/6.17
8.70/6.19 num=349, depth=10..26, filters=2872629, revisions=(1671861,useless=1214096), ccks=156443, wck=3.76, mem=53M10
8.70/6.19 decisions=230481, wrong=112026, backtracks=103067, failedAssignments=57684, nogoods=1368, foundSolutions=19, bestBound=22
8.70/6.19
8.79/6.21 num=350, depth=10..25, filters=2889114, revisions=(1680433,useless=1220111), ccks=156878, wck=3.779, mem=53M10
8.79/6.21 decisions=231759, wrong=112658, backtracks=103639, failedAssignments=58024, nogoods=1371, foundSolutions=19, bestBound=22
8.79/6.21
8.79/6.23 num=351, depth=10..26, filters=2903276, revisions=(1689798,useless=1226888), ccks=158068, wck=3.798, mem=53M10
8.79/6.23 decisions=233078, wrong=113311, backtracks=104247, failedAssignments=58398, nogoods=1380, foundSolutions=19, bestBound=22
8.79/6.23
8.79/6.25 num=352, depth=10..24, filters=2922253, revisions=(1699993,useless=1234102), ccks=158814, wck=3.821, mem=53M10
8.79/6.25 decisions=234593, wrong=114061, backtracks=104895, failedAssignments=58809, nogoods=1384, foundSolutions=19, bestBound=22
8.79/6.25
8.79/6.28 num=353, depth=9..26, filters=2944223, revisions=(1712575,useless=1243092), ccks=159902, wck=3.85, mem=53M10
8.79/6.28 decisions=236316, wrong=114915, backtracks=105681, failedAssignments=59261, nogoods=1393, foundSolutions=19, bestBound=22
8.79/6.28
8.89/6.31 num=354, depth=9..25, filters=2968401, revisions=(1726379,useless=1253102), ccks=161244, wck=3.881, mem=53M10
8.89/6.31 decisions=238264, wrong=115884, backtracks=106580, failedAssignments=59758, nogoods=1397, foundSolutions=19, bestBound=22
8.89/6.31
8.89/6.35 num=355, depth=8..25, filters=2996971, revisions=(1744010,useless=1265657), ccks=163182, wck=3.918, mem=53M10
8.89/6.35 decisions=240473, wrong=116981, backtracks=107582, failedAssignments=60305, nogoods=1400, foundSolutions=19, bestBound=22
8.89/6.35
8.89/6.39 num=356, depth=9..26, filters=3030974, revisions=(1762492,useless=1278598), ccks=164546, wck=3.96, mem=53M10
8.89/6.39 decisions=242995, wrong=118237, backtracks=108744, failedAssignments=60907, nogoods=1404, foundSolutions=19, bestBound=22
8.89/6.39
8.99/6.43 num=357, depth=7..27, filters=3064622, revisions=(1781448,useless=1291971), ccks=166206, wck=4.002, mem=53M10
8.99/6.43 decisions=245687, wrong=119575, backtracks=109983, failedAssignments=61569, nogoods=1411, foundSolutions=19, bestBound=22
8.99/6.43
8.99/6.48 num=358, depth=7..25, filters=3099960, revisions=(1803270,useless=1307541), ccks=168632, wck=4.047, mem=53M10
8.99/6.48 decisions=248537, wrong=120992, backtracks=111258, failedAssignments=62297, nogoods=1418, foundSolutions=19, bestBound=22
8.99/6.48
9.09/6.51 o 23
9.09/6.51 num=359, depth=8..89, filters=3125850, revisions=(1819927,useless=1319662), ccks=170891, wck=4.083, mem=53M10
9.09/6.51 decisions=250577, wrong=122005, backtracks=112193, failedAssignments=62833, nogoods=1427, foundSolutions=20, bestBound=23
9.09/6.51
9.09/6.57 num=360, depth=6..27, filters=3168307, revisions=(1844885,useless=1338032), ccks=172769, wck=4.136, mem=53M10
9.09/6.57 decisions=253966, wrong=123693, backtracks=113754, failedAssignments=63714, nogoods=1431, foundSolutions=20, bestBound=23
9.09/6.57
9.09/6.57 num=361, depth=14..23, filters=3168851, revisions=(1845241,useless=1338301), ccks=172813, wck=4.137, mem=53M10
9.09/6.57 decisions=254016, wrong=123710, backtracks=113769, failedAssignments=63725, nogoods=1434, foundSolutions=20, bestBound=23
9.09/6.57
9.09/6.57 num=362, depth=14..21, filters=3169441, revisions=(1845607,useless=1338579), ccks=172851, wck=4.138, mem=53M10
9.09/6.57 decisions=254067, wrong=123728, backtracks=113784, failedAssignments=63737, nogoods=1437, foundSolutions=20, bestBound=23
9.09/6.57
9.09/6.57 num=363, depth=14..19, filters=3170089, revisions=(1845984,useless=1338855), ccks=172871, wck=4.139, mem=53M10
9.09/6.57 decisions=254121, wrong=123748, backtracks=113801, failedAssignments=63750, nogoods=1441, foundSolutions=20, bestBound=23
9.09/6.57
9.09/6.57 num=364, depth=14..19, filters=3171012, revisions=(1846489,useless=1339210), ccks=172910, wck=4.14, mem=53M10
9.09/6.57 decisions=254191, wrong=123776, backtracks=113827, failedAssignments=63764, nogoods=1445, foundSolutions=20, bestBound=23
9.09/6.57
9.09/6.57 num=365, depth=13..19, filters=3172012, revisions=(1847043,useless=1339614), ccks=172924, wck=4.141, mem=53M10
9.09/6.57 decisions=254258, wrong=123802, backtracks=113846, failedAssignments=63780, nogoods=1449, foundSolutions=20, bestBound=23
9.09/6.57
9.09/6.57 num=366, depth=14..23, filters=3172717, revisions=(1847456,useless=1339919), ccks=172954, wck=4.142, mem=53M10
9.09/6.57 decisions=254322, wrong=123827, backtracks=113869, failedAssignments=63797, nogoods=1451, foundSolutions=20, bestBound=23
9.09/6.57
9.09/6.57 num=367, depth=12..19, filters=3173708, revisions=(1848023,useless=1340330), ccks=172984, wck=4.143, mem=53M10
9.09/6.57 decisions=254391, wrong=123855, backtracks=113891, failedAssignments=63816, nogoods=1455, foundSolutions=20, bestBound=23
9.09/6.57
9.09/6.58 num=368, depth=12..21, filters=3174589, revisions=(1848534,useless=1340685), ccks=173022, wck=4.145, mem=53M10
9.09/6.58 decisions=254481, wrong=123894, backtracks=113927, failedAssignments=63837, nogoods=1457, foundSolutions=20, bestBound=23
9.09/6.58
9.09/6.58 num=369, depth=12..20, filters=3176174, revisions=(1849530,useless=1341433), ccks=173118, wck=4.147, mem=53M10
9.09/6.58 decisions=254582, wrong=123937, backtracks=113963, failedAssignments=63860, nogoods=1462, foundSolutions=20, bestBound=23
9.09/6.58
9.09/6.58 num=370, depth=11..20, filters=3177340, revisions=(1850187,useless=1341912), ccks=173152, wck=4.148, mem=53M10
9.09/6.58 decisions=254676, wrong=123977, backtracks=113999, failedAssignments=63885, nogoods=1465, foundSolutions=20, bestBound=23
9.09/6.58
9.09/6.58 num=371, depth=11..23, filters=3178617, revisions=(1850951,useless=1342472), ccks=173206, wck=4.15, mem=53M10
9.09/6.58 decisions=254785, wrong=124024, backtracks=114040, failedAssignments=63913, nogoods=1471, foundSolutions=20, bestBound=23
9.09/6.58
9.09/6.58 num=372, depth=11..21, filters=3180249, revisions=(1851773,useless=1343045), ccks=173240, wck=4.152, mem=53M10
9.09/6.58 decisions=254920, wrong=124085, backtracks=114093, failedAssignments=63944, nogoods=1476, foundSolutions=20, bestBound=23
9.09/6.58
9.09/6.59 num=373, depth=11..21, filters=3181334, revisions=(1852400,useless=1343494), ccks=173311, wck=4.154, mem=53M10
9.09/6.59 decisions=255034, wrong=124134, backtracks=114135, failedAssignments=63978, nogoods=1481, foundSolutions=20, bestBound=23
9.09/6.59
9.09/6.59 num=374, depth=11..22, filters=3183228, revisions=(1853433,useless=1344219), ccks=173374, wck=4.156, mem=53M10
9.09/6.59 decisions=255190, wrong=124206, backtracks=114197, failedAssignments=64015, nogoods=1487, foundSolutions=20, bestBound=23
9.09/6.59
9.09/6.59 num=375, depth=9..20, filters=3185495, revisions=(1854716,useless=1345138), ccks=173468, wck=4.159, mem=53M10
9.09/6.59 decisions=255362, wrong=124286, backtracks=114267, failedAssignments=64056, nogoods=1493, foundSolutions=20, bestBound=23
9.09/6.59
9.09/6.59 num=376, depth=9..19, filters=3188142, revisions=(1856374,useless=1346331), ccks=173605, wck=4.163, mem=53M10
9.09/6.59 decisions=255574, wrong=124387, backtracks=114369, failedAssignments=64101, nogoods=1498, foundSolutions=20, bestBound=23
9.09/6.59
9.19/6.60 num=377, depth=9..20, filters=3190488, revisions=(1857699,useless=1347284), ccks=173712, wck=4.167, mem=53M10
9.19/6.60 decisions=255755, wrong=124471, backtracks=114444, failedAssignments=64151, nogoods=1505, foundSolutions=20, bestBound=23
9.19/6.60
9.19/6.60 num=378, depth=10..21, filters=3193400, revisions=(1859297,useless=1348429), ccks=173842, wck=4.171, mem=53M10
9.19/6.60 decisions=255970, wrong=124572, backtracks=114533, failedAssignments=64206, nogoods=1513, foundSolutions=20, bestBound=23
9.19/6.60
9.19/6.61 num=379, depth=8..20, filters=3196994, revisions=(1861143,useless=1349706), ccks=173978, wck=4.175, mem=53M10
9.19/6.61 decisions=256223, wrong=124693, backtracks=114645, failedAssignments=64267, nogoods=1517, foundSolutions=20, bestBound=23
9.19/6.61
9.19/6.61 num=380, depth=8..21, filters=3200213, revisions=(1862871,useless=1350919), ccks=174080, wck=4.18, mem=53M10
9.19/6.61 decisions=256481, wrong=124817, backtracks=114759, failedAssignments=64334, nogoods=1519, foundSolutions=20, bestBound=23
9.19/6.61
9.19/6.62 num=381, depth=9..21, filters=3204694, revisions=(1865493,useless=1352813), ccks=174252, wck=4.186, mem=53M10
9.19/6.62 decisions=256793, wrong=124968, backtracks=114899, failedAssignments=64408, nogoods=1524, foundSolutions=20, bestBound=23
9.19/6.62
9.19/6.62 num=382, depth=11..22, filters=3209002, revisions=(1867787,useless=1354460), ccks=174454, wck=4.191, mem=53M10
9.19/6.62 decisions=257117, wrong=125123, backtracks=115035, failedAssignments=64489, nogoods=1529, foundSolutions=20, bestBound=23
9.19/6.62
9.19/6.63 num=383, depth=9..21, filters=3214091, revisions=(1870478,useless=1356305), ccks=174612, wck=4.198, mem=53M10
9.19/6.63 decisions=257486, wrong=125301, backtracks=115197, failedAssignments=64578, nogoods=1534, foundSolutions=20, bestBound=23
9.19/6.63
9.19/6.64 num=384, depth=10..23, filters=3220068, revisions=(1873470,useless=1358394), ccks=174769, wck=4.205, mem=53M10
9.19/6.64 decisions=257890, wrong=125496, backtracks=115378, failedAssignments=64676, nogoods=1538, foundSolutions=20, bestBound=23
9.19/6.64
9.19/6.64 num=385, depth=9..22, filters=3225529, revisions=(1876435,useless=1360471), ccks=174975, wck=4.213, mem=53M10
9.19/6.64 decisions=258299, wrong=125695, backtracks=115561, failedAssignments=64784, nogoods=1542, foundSolutions=20, bestBound=23
9.19/6.64
9.19/6.65 num=386, depth=7..22, filters=3230888, revisions=(1879901,useless=1362960), ccks=175437, wck=4.221, mem=53M10
9.19/6.65 decisions=258760, wrong=125921, backtracks=115773, failedAssignments=64903, nogoods=1547, foundSolutions=20, bestBound=23
9.19/6.65
9.19/6.66 num=387, depth=8..25, filters=3237592, revisions=(1883466,useless=1365499), ccks=175720, wck=4.23, mem=53M10
9.19/6.66 decisions=259264, wrong=126165, backtracks=115981, failedAssignments=65034, nogoods=1553, foundSolutions=20, bestBound=23
9.19/6.66
9.19/6.67 num=388, depth=9..22, filters=3246096, revisions=(1888061,useless=1368734), ccks=175988, wck=4.24, mem=53M10
9.19/6.67 decisions=259859, wrong=126455, backtracks=116244, failedAssignments=65178, nogoods=1560, foundSolutions=20, bestBound=23
9.19/6.67
9.19/6.68 num=389, depth=8..22, filters=3254336, revisions=(1892550,useless=1371947), ccks=176382, wck=4.251, mem=55M653
9.19/6.68 decisions=260476, wrong=126758, backtracks=116498, failedAssignments=65336, nogoods=1563, foundSolutions=20, bestBound=23
9.19/6.68
9.19/6.69 num=390, depth=9..24, filters=3263299, revisions=(1897462,useless=1375441), ccks=176830, wck=4.263, mem=55M653
9.19/6.69 decisions=261158, wrong=127094, backtracks=116797, failedAssignments=65510, nogoods=1567, foundSolutions=20, bestBound=23
9.19/6.69
9.30/6.71 num=391, depth=7..22, filters=3274283, revisions=(1903940,useless=1380227), ccks=177356, wck=4.277, mem=55M653
9.30/6.71 decisions=261939, wrong=127480, backtracks=117151, failedAssignments=65701, nogoods=1574, foundSolutions=20, bestBound=23
9.30/6.71
9.30/6.73 num=392, depth=7..24, filters=3287223, revisions=(1911483,useless=1385624), ccks=178154, wck=4.295, mem=55M653
9.30/6.73 decisions=262808, wrong=127908, backtracks=117548, failedAssignments=65912, nogoods=1579, foundSolutions=20, bestBound=23
9.30/6.73
9.30/6.74 num=393, depth=8..24, filters=3299432, revisions=(1918083,useless=1390305), ccks=178554, wck=4.312, mem=55M653
9.30/6.74 decisions=263662, wrong=128329, backtracks=117949, failedAssignments=66144, nogoods=1583, foundSolutions=20, bestBound=23
9.30/6.74
9.30/6.76 num=394, depth=7..24, filters=3311377, revisions=(1925998,useless=1396016), ccks=179595, wck=4.329, mem=55M653
9.30/6.76 decisions=264671, wrong=128829, backtracks=118409, failedAssignments=66399, nogoods=1587, foundSolutions=20, bestBound=23
9.30/6.76
9.30/6.78 num=395, depth=7..23, filters=3325601, revisions=(1934276,useless=1401872), ccks=180359, wck=4.347, mem=55M653
9.30/6.78 decisions=265738, wrong=129356, backtracks=118876, failedAssignments=66680, nogoods=1592, foundSolutions=20, bestBound=23
9.30/6.78
9.40/6.80 num=396, depth=6..23, filters=3342201, revisions=(1944602,useless=1409284), ccks=181560, wck=4.37, mem=55M653
9.40/6.80 decisions=266999, wrong=129982, backtracks=119444, failedAssignments=66989, nogoods=1599, foundSolutions=20, bestBound=23
9.40/6.80
9.40/6.82 num=397, depth=9..25, filters=3358727, revisions=(1953722,useless=1415601), ccks=182374, wck=4.392, mem=55M653
9.40/6.82 decisions=268327, wrong=130639, backtracks=120015, failedAssignments=67329, nogoods=1606, foundSolutions=20, bestBound=23
9.40/6.82
9.40/6.85 num=398, depth=9..26, filters=3378146, revisions=(1965014,useless=1423707), ccks=183446, wck=4.418, mem=55M653
9.40/6.85 decisions=269812, wrong=131375, backtracks=120676, failedAssignments=67703, nogoods=1613, foundSolutions=20, bestBound=23
9.40/6.85
9.40/6.87 num=399, depth=5..26, filters=3397239, revisions=(1976900,useless=1432255), ccks=184854, wck=4.443, mem=55M653
9.40/6.87 decisions=271439, wrong=132183, backtracks=121418, failedAssignments=68114, nogoods=1621, foundSolutions=20, bestBound=23
9.40/6.87
9.50/6.91 num=400, depth=8..26, filters=3421587, revisions=(1990752,useless=1442180), ccks=186070, wck=4.475, mem=55M653
9.50/6.91 decisions=273214, wrong=133065, backtracks=122233, failedAssignments=68566, nogoods=1625, foundSolutions=20, bestBound=23
9.50/6.91
9.50/6.94 num=401, depth=7..24, filters=3446722, revisions=(2007036,useless=1453790), ccks=188070, wck=4.509, mem=55M653
9.50/6.94 decisions=275251, wrong=134076, backtracks=123171, failedAssignments=69063, nogoods=1631, foundSolutions=20, bestBound=23
9.50/6.94
9.50/6.98 num=402, depth=7..24, filters=3476864, revisions=(2023830,useless=1465600), ccks=189330, wck=4.547, mem=55M653
9.50/6.98 decisions=277514, wrong=135202, backtracks=124206, failedAssignments=69610, nogoods=1638, foundSolutions=20, bestBound=23
9.50/6.98
9.61/7.02 num=403, depth=6..25, filters=3506672, revisions=(2042310,useless=1478765), ccks=191582, wck=4.588, mem=55M653
9.61/7.02 decisions=279890, wrong=136385, backtracks=125296, failedAssignments=70212, nogoods=1644, foundSolutions=20, bestBound=23
9.61/7.02
9.61/7.07 num=404, depth=7..28, filters=3540831, revisions=(2063091,useless=1493705), ccks=193549, wck=4.634, mem=55M653
9.61/7.07 decisions=282429, wrong=137650, backtracks=126442, failedAssignments=70874, nogoods=1656, foundSolutions=20, bestBound=23
9.61/7.07
9.71/7.11 num=405, depth=7..26, filters=3571192, revisions=(2084168,useless=1508989), ccks=197125, wck=4.677, mem=55M653
9.71/7.11 decisions=285221, wrong=139040, backtracks=127691, failedAssignments=71602, nogoods=1665, foundSolutions=20, bestBound=23
9.71/7.11
9.71/7.16 num=406, depth=7..23, filters=3611983, revisions=(2109629,useless=1527564), ccks=199878, wck=4.732, mem=55M653
9.71/7.16 decisions=288563, wrong=140705, backtracks=129219, failedAssignments=72403, nogoods=1676, foundSolutions=20, bestBound=23
9.71/7.16
9.81/7.22 num=407, depth=6..25, filters=3658274, revisions=(2137698,useless=1548123), ccks=203075, wck=4.792, mem=55M653
9.81/7.22 decisions=292075, wrong=142455, backtracks=130804, failedAssignments=73284, nogoods=1681, foundSolutions=20, bestBound=23
9.81/7.22
9.81/7.29 num=408, depth=4..26, filters=3707722, revisions=(2170313,useless=1572169), ccks=206226, wck=4.858, mem=55M653
9.81/7.29 decisions=295929, wrong=144373, backtracks=132586, failedAssignments=74254, nogoods=1691, foundSolutions=20, bestBound=23
9.81/7.29
9.91/7.34 o 24
9.91/7.35 num=409, depth=7..89, filters=3748140, revisions=(2197037,useless=1591705), ccks=209841, wck=4.914, mem=55M653
9.91/7.35 decisions=299109, wrong=145955, backtracks=134016, failedAssignments=75079, nogoods=1701, foundSolutions=21, bestBound=24
9.91/7.35
10.01/7.42 num=410, depth=4..23, filters=3807480, revisions=(2232882,useless=1617602), ccks=212893, wck=4.989, mem=55M653
10.01/7.42 decisions=303665, wrong=148227, backtracks=136131, failedAssignments=76252, nogoods=1705, foundSolutions=21, bestBound=24
10.01/7.42
10.01/7.42 num=411, depth=11..23, filters=3807969, revisions=(2233178,useless=1617823), ccks=212927, wck=4.99, mem=55M653
10.01/7.42 decisions=303710, wrong=148244, backtracks=136142, failedAssignments=76263, nogoods=1710, foundSolutions=21, bestBound=24
10.01/7.42
10.01/7.42 num=412, depth=11..22, filters=3808612, revisions=(2233598,useless=1618125), ccks=212978, wck=4.991, mem=55M653
10.01/7.42 decisions=303758, wrong=148261, backtracks=136152, failedAssignments=76275, nogoods=1716, foundSolutions=21, bestBound=24
10.01/7.42
10.01/7.42 num=413, depth=11..25, filters=3809407, revisions=(2234077,useless=1618465), ccks=213039, wck=4.992, mem=55M653
10.01/7.42 decisions=303819, wrong=148286, backtracks=136170, failedAssignments=76288, nogoods=1723, foundSolutions=21, bestBound=24
10.01/7.42
10.01/7.43 num=414, depth=8..15, filters=3810424, revisions=(2234720,useless=1618932), ccks=213107, wck=4.994, mem=55M653
10.01/7.43 decisions=303887, wrong=148313, backtracks=136194, failedAssignments=76302, nogoods=1725, foundSolutions=21, bestBound=24
10.01/7.43
10.01/7.43 num=415, depth=11..19, filters=3811240, revisions=(2235191,useless=1619264), ccks=213162, wck=4.995, mem=55M653
10.01/7.43 decisions=303959, wrong=148342, backtracks=136216, failedAssignments=76318, nogoods=1730, foundSolutions=21, bestBound=24
10.01/7.43
10.01/7.43 num=416, depth=12..18, filters=3812297, revisions=(2235799,useless=1619695), ccks=213232, wck=4.997, mem=55M653
10.01/7.43 decisions=304029, wrong=148371, backtracks=136238, failedAssignments=76335, nogoods=1734, foundSolutions=21, bestBound=24
10.01/7.43
10.01/7.43 num=417, depth=10..19, filters=3813244, revisions=(2236412,useless=1620140), ccks=213306, wck=4.998, mem=55M653
10.01/7.43 decisions=304106, wrong=148404, backtracks=136263, failedAssignments=76354, nogoods=1738, foundSolutions=21, bestBound=24
10.01/7.43
10.01/7.43 num=418, depth=11..17, filters=3814137, revisions=(2236953,useless=1620528), ccks=213374, wck=4.999, mem=55M653
10.01/7.43 decisions=304183, wrong=148436, backtracks=136292, failedAssignments=76375, nogoods=1742, foundSolutions=21, bestBound=24
10.01/7.43
10.01/7.43 num=419, depth=10..20, filters=3815430, revisions=(2237816,useless=1621173), ccks=213498, wck=5.001, mem=55M653
10.01/7.43 decisions=304280, wrong=148477, backtracks=136325, failedAssignments=76398, nogoods=1747, foundSolutions=21, bestBound=24
10.01/7.43
10.01/7.43 num=420, depth=10..20, filters=3816392, revisions=(2238371,useless=1621562), ccks=213549, wck=5.003, mem=55M653
10.01/7.43 decisions=304371, wrong=148517, backtracks=136357, failedAssignments=76423, nogoods=1750, foundSolutions=21, bestBound=24
10.01/7.43
10.01/7.44 num=421, depth=10..22, filters=3817802, revisions=(2239231,useless=1622199), ccks=213655, wck=5.005, mem=55M653
10.01/7.44 decisions=304495, wrong=148572, backtracks=136410, failedAssignments=76451, nogoods=1754, foundSolutions=21, bestBound=24
10.01/7.44
10.01/7.44 num=422, depth=9..19, filters=3819452, revisions=(2240228,useless=1622920), ccks=213762, wck=5.007, mem=55M653
10.01/7.44 decisions=304627, wrong=148632, backtracks=136463, failedAssignments=76482, nogoods=1757, foundSolutions=21, bestBound=24
10.01/7.44
10.01/7.44 num=423, depth=8..18, filters=3821429, revisions=(2241404,useless=1623772), ccks=213887, wck=5.01, mem=55M653
10.01/7.44 decisions=304771, wrong=148698, backtracks=136519, failedAssignments=76516, nogoods=1761, foundSolutions=21, bestBound=24
10.01/7.44
10.01/7.45 num=424, depth=8..16, filters=3823707, revisions=(2242692,useless=1624659), ccks=213985, wck=5.013, mem=55M653
10.01/7.45 decisions=304912, wrong=148764, backtracks=136579, failedAssignments=76553, nogoods=1764, foundSolutions=21, bestBound=24
10.01/7.45
10.01/7.45 num=425, depth=8..21, filters=3826019, revisions=(2243946,useless=1625526), ccks=214065, wck=5.017, mem=55M653
10.01/7.45 decisions=305076, wrong=148839, backtracks=136642, failedAssignments=76594, nogoods=1770, foundSolutions=21, bestBound=24
10.01/7.45
10.01/7.45 num=426, depth=9..17, filters=3828686, revisions=(2245436,useless=1626598), ccks=214173, wck=5.02, mem=55M653
10.01/7.45 decisions=305278, wrong=148935, backtracks=136727, failedAssignments=76639, nogoods=1775, foundSolutions=21, bestBound=24
10.01/7.45
10.01/7.46 num=427, depth=8..20, filters=3831470, revisions=(2247163,useless=1627832), ccks=214340, wck=5.025, mem=55M653
10.01/7.46 decisions=305481, wrong=149029, backtracks=136811, failedAssignments=76689, nogoods=1779, foundSolutions=21, bestBound=24
10.01/7.46
10.01/7.46 num=428, depth=7..19, filters=3834651, revisions=(2249101,useless=1629196), ccks=214537, wck=5.029, mem=55M653
10.01/7.46 decisions=305704, wrong=149136, backtracks=136907, failedAssignments=76744, nogoods=1783, foundSolutions=21, bestBound=24
10.01/7.46
10.01/7.47 num=429, depth=10..22, filters=3837638, revisions=(2250887,useless=1630476), ccks=214721, wck=5.034, mem=55M653
10.01/7.47 decisions=305929, wrong=149242, backtracks=137005, failedAssignments=76805, nogoods=1791, foundSolutions=21, bestBound=24
10.01/7.47
10.01/7.47 num=430, depth=9..20, filters=3842173, revisions=(2253436,useless=1632261), ccks=214935, wck=5.04, mem=55M653
10.01/7.47 decisions=306221, wrong=149383, backtracks=137129, failedAssignments=76872, nogoods=1796, foundSolutions=21, bestBound=24
10.01/7.47
10.01/7.48 num=431, depth=8..22, filters=3847192, revisions=(2256485,useless=1634484), ccks=215204, wck=5.047, mem=55M653
10.01/7.48 decisions=306539, wrong=149537, backtracks=137268, failedAssignments=76946, nogoods=1799, foundSolutions=21, bestBound=24
10.01/7.48
10.01/7.49 num=432, depth=8..20, filters=3851960, revisions=(2259106,useless=1636311), ccks=215334, wck=5.053, mem=55M653
10.01/7.49 decisions=306885, wrong=149704, backtracks=137423, failedAssignments=77027, nogoods=1802, foundSolutions=21, bestBound=24
10.01/7.49
10.01/7.49 num=433, depth=8..21, filters=3856306, revisions=(2261834,useless=1638293), ccks=215582, wck=5.06, mem=55M653
10.01/7.49 decisions=307199, wrong=149856, backtracks=137557, failedAssignments=77116, nogoods=1808, foundSolutions=21, bestBound=24
10.01/7.49
10.11/7.50 num=434, depth=9..25, filters=3860514, revisions=(2264582,useless=1640289), ccks=215937, wck=5.066, mem=55M653
10.11/7.50 decisions=307562, wrong=150032, backtracks=137702, failedAssignments=77214, nogoods=1812, foundSolutions=21, bestBound=24
10.11/7.50
10.11/7.51 num=435, depth=8..22, filters=3866561, revisions=(2268217,useless=1642823), ccks=216300, wck=5.075, mem=55M653
10.11/7.51 decisions=307973, wrong=150230, backtracks=137876, failedAssignments=77322, nogoods=1819, foundSolutions=21, bestBound=24
10.11/7.51
10.11/7.52 num=436, depth=7..19, filters=3873015, revisions=(2272305,useless=1645761), ccks=216762, wck=5.084, mem=55M653
10.11/7.52 decisions=308449, wrong=150462, backtracks=138090, failedAssignments=77441, nogoods=1822, foundSolutions=21, bestBound=24
10.11/7.52
10.11/7.53 num=437, depth=7..21, filters=3880395, revisions=(2276442,useless=1648601), ccks=217068, wck=5.094, mem=55M653
10.11/7.53 decisions=308972, wrong=150717, backtracks=138305, failedAssignments=77572, nogoods=1827, foundSolutions=21, bestBound=24
10.11/7.53
10.11/7.53 num=438, depth=7..24, filters=3886415, revisions=(2280011,useless=1651129), ccks=217408, wck=5.103, mem=55M653
10.11/7.53 decisions=309451, wrong=150951, backtracks=138509, failedAssignments=77716, nogoods=1831, foundSolutions=21, bestBound=24
10.11/7.53
10.11/7.55 num=439, depth=7..22, filters=3893654, revisions=(2284821,useless=1654591), ccks=218017, wck=5.114, mem=55M653
10.11/7.55 decisions=310035, wrong=151237, backtracks=138769, failedAssignments=77874, nogoods=1835, foundSolutions=21, bestBound=24
10.11/7.55
10.11/7.56 num=440, depth=6..22, filters=3903274, revisions=(2290996,useless=1659021), ccks=218700, wck=5.128, mem=55M653
10.11/7.56 decisions=310735, wrong=151582, backtracks=139070, failedAssignments=78048, nogoods=1842, foundSolutions=21, bestBound=24
10.11/7.56
10.11/7.57 num=441, depth=7..26, filters=3913093, revisions=(2297559,useless=1663844), ccks=219466, wck=5.142, mem=55M653
10.11/7.57 decisions=311473, wrong=151943, backtracks=139414, failedAssignments=78239, nogoods=1848, foundSolutions=21, bestBound=24
10.11/7.57
10.11/7.59 num=442, depth=7..27, filters=3924673, revisions=(2304144,useless=1668552), ccks=219943, wck=5.158, mem=55M653
10.11/7.59 decisions=312294, wrong=152349, backtracks=139770, failedAssignments=78450, nogoods=1850, foundSolutions=21, bestBound=24
10.11/7.59
10.21/7.61 num=443, depth=7..24, filters=3937112, revisions=(2311322,useless=1673670), ccks=220472, wck=5.174, mem=55M653
10.21/7.61 decisions=313197, wrong=152794, backtracks=140184, failedAssignments=78682, nogoods=1856, foundSolutions=21, bestBound=24
10.21/7.61
10.21/7.63 num=444, depth=7..21, filters=3952324, revisions=(2320745,useless=1680360), ccks=221551, wck=5.196, mem=55M653
10.21/7.63 decisions=314297, wrong=153340, backtracks=140695, failedAssignments=78937, nogoods=1858, foundSolutions=21, bestBound=24
10.21/7.63
10.21/7.65 num=445, depth=5..22, filters=3967201, revisions=(2330510,useless=1687422), ccks=222803, wck=5.216, mem=55M653
10.21/7.65 decisions=315412, wrong=153893, backtracks=141210, failedAssignments=79218, nogoods=1866, foundSolutions=21, bestBound=24
10.21/7.65
10.21/7.67 num=446, depth=8..25, filters=3982973, revisions=(2340388,useless=1694451), ccks=224042, wck=5.239, mem=55M653
10.21/7.67 decisions=316586, wrong=154474, backtracks=141745, failedAssignments=79527, nogoods=1874, foundSolutions=21, bestBound=24
10.21/7.67
10.31/7.70 num=447, depth=7..24, filters=4001481, revisions=(2351796,useless=1702552), ccks=225274, wck=5.267, mem=58M295
10.31/7.70 decisions=317918, wrong=155133, backtracks=142362, failedAssignments=79867, nogoods=1881, foundSolutions=21, bestBound=24
10.31/7.70
10.31/7.73 num=448, depth=6..22, filters=4020297, revisions=(2363139,useless=1710645), ccks=226436, wck=5.296, mem=58M295
10.31/7.73 decisions=319422, wrong=155881, backtracks=143061, failedAssignments=80241, nogoods=1884, foundSolutions=21, bestBound=24
10.31/7.73
10.31/7.76 num=449, depth=5..23, filters=4042518, revisions=(2376741,useless=1720531), ccks=227597, wck=5.325, mem=58M295
10.31/7.76 decisions=321061, wrong=156697, backtracks=143824, failedAssignments=80652, nogoods=1890, foundSolutions=21, bestBound=24
10.31/7.76
10.31/7.79 num=450, depth=6..25, filters=4069174, revisions=(2395239,useless=1734145), ccks=230107, wck=5.363, mem=58M295
10.31/7.79 decisions=322948, wrong=157634, backtracks=144702, failedAssignments=81104, nogoods=1896, foundSolutions=21, bestBound=24
10.31/7.79
10.41/7.83 num=451, depth=6..24, filters=4090910, revisions=(2409600,useless=1744623), ccks=231809, wck=5.393, mem=58M295
10.41/7.83 decisions=324782, wrong=158545, backtracks=145535, failedAssignments=81601, nogoods=1906, foundSolutions=21, bestBound=24
10.41/7.83
10.41/7.86 num=452, depth=8..25, filters=4116009, revisions=(2425834,useless=1756600), ccks=233942, wck=5.43, mem=58M295
10.41/7.86 decisions=326808, wrong=159552, backtracks=146468, failedAssignments=82148, nogoods=1918, foundSolutions=21, bestBound=24
10.41/7.86
10.51/7.90 num=453, depth=8..26, filters=4145695, revisions=(2443700,useless=1769442), ccks=236002, wck=5.47, mem=58M295
10.51/7.90 decisions=329067, wrong=160675, backtracks=147497, failedAssignments=82750, nogoods=1926, foundSolutions=21, bestBound=24
10.51/7.90
10.51/7.95 num=454, depth=7..25, filters=4177249, revisions=(2463197,useless=1783841), ccks=238336, wck=5.515, mem=58M295
10.51/7.95 decisions=331526, wrong=161896, backtracks=148599, failedAssignments=83412, nogoods=1931, foundSolutions=21, bestBound=24
10.51/7.95
10.51/8.00 num=455, depth=7..26, filters=4213262, revisions=(2484441,useless=1799152), ccks=240327, wck=5.566, mem=58M295
10.51/8.00 decisions=334208, wrong=163232, backtracks=149791, failedAssignments=84140, nogoods=1939, foundSolutions=21, bestBound=24
10.51/8.00
10.62/8.06 num=456, depth=5..24, filters=4258583, revisions=(2511517,useless=1818489), ccks=242426, wck=5.626, mem=58M295
10.62/8.06 decisions=337551, wrong=164900, backtracks=151360, failedAssignments=84941, nogoods=1946, foundSolutions=21, bestBound=24
10.62/8.06
10.72/8.12 num=457, depth=4..25, filters=4305350, revisions=(2541062,useless=1839872), ccks=245318, wck=5.689, mem=58M295
10.72/8.12 decisions=340974, wrong=166608, backtracks=152952, failedAssignments=85822, nogoods=1955, foundSolutions=21, bestBound=24
10.72/8.12
10.81/8.20 num=458, depth=4..24, filters=4360959, revisions=(2576431,useless=1865627), ccks=248740, wck=5.765, mem=58M295
10.81/8.20 decisions=345110, wrong=168670, backtracks=154878, failedAssignments=86792, nogoods=1963, foundSolutions=21, bestBound=24
10.81/8.20
10.81/8.28 num=459, depth=5..25, filters=4421626, revisions=(2612143,useless=1891203), ccks=251481, wck=5.849, mem=58M295
10.81/8.28 decisions=349369, wrong=170794, backtracks=156856, failedAssignments=87859, nogoods=1971, foundSolutions=21, bestBound=24
10.81/8.28
10.91/8.37 num=460, depth=5..26, filters=4484259, revisions=(2651679,useless=1920114), ccks=255239, wck=5.934, mem=58M295
10.91/8.37 decisions=353928, wrong=173068, backtracks=158974, failedAssignments=89032, nogoods=1976, foundSolutions=21, bestBound=24
10.91/8.37
11.01/8.47 num=461, depth=4..25, filters=4557114, revisions=(2699894,useless=1955433), ccks=260872, wck=6.035, mem=58M295
11.01/8.47 decisions=359244, wrong=175721, backtracks=161368, failedAssignments=90323, nogoods=1982, foundSolutions=21, bestBound=24
11.01/8.47
11.11/8.58 num=462, depth=4..25, filters=4636446, revisions=(2753266,useless=1994639), ccks=267648, wck=6.147, mem=58M295
11.11/8.58 decisions=364978, wrong=178583, backtracks=163971, failedAssignments=91743, nogoods=1987, foundSolutions=21, bestBound=24
11.11/8.58
11.31/8.70 num=463, depth=4..26, filters=4722776, revisions=(2809315,useless=2035571), ccks=273414, wck=6.269, mem=58M295
11.31/8.70 decisions=371557, wrong=181869, backtracks=167021, failedAssignments=93305, nogoods=1996, foundSolutions=21, bestBound=24
11.31/8.70
11.41/8.83 num=464, depth=5..25, filters=4810213, revisions=(2867464,useless=2077542), ccks=280577, wck=6.394, mem=58M295
11.41/8.83 decisions=378207, wrong=185190, backtracks=170025, failedAssignments=95023, nogoods=2002, foundSolutions=21, bestBound=24
11.41/8.83
11.51/8.96 num=465, depth=3..27, filters=4910337, revisions=(2933293,useless=2125783), ccks=287770, wck=6.532, mem=58M295
11.51/8.96 decisions=385797, wrong=188979, backtracks=173538, failedAssignments=96913, nogoods=2006, foundSolutions=21, bestBound=24
11.51/8.96
11.51/8.98 o 25
11.51/8.98 num=466, depth=7..89, filters=4917814, revisions=(2938065,useless=2129232), ccks=288466, wck=6.545, mem=58M295
11.51/8.98 decisions=386338, wrong=189244, backtracks=173778, failedAssignments=97044, nogoods=2020, foundSolutions=22, bestBound=25
11.51/8.98
11.73/9.16 num=467, depth=0..24, filters=5047123, revisions=(3031703,useless=2199012), ccks=298875, wck=6.728, mem=58M295
11.73/9.16 decisions=395828, wrong=193984, backtracks=178278, failedAssignments=99331, nogoods=2026, foundSolutions=22, bestBound=25
11.73/9.16
11.73/9.16 num=468, depth=9..14, filters=5047874, revisions=(3032198,useless=2199355), ccks=298949, wck=6.729, mem=58M295
11.73/9.16 decisions=395879, wrong=194005, backtracks=178297, failedAssignments=99342, nogoods=2028, foundSolutions=22, bestBound=25
11.73/9.16
11.73/9.16 num=469, depth=8..13, filters=5048788, revisions=(3032797,useless=2199778), ccks=299011, wck=6.731, mem=58M295
11.73/9.16 decisions=395936, wrong=194029, backtracks=178319, failedAssignments=99354, nogoods=2031, foundSolutions=22, bestBound=25
11.73/9.16
11.73/9.16 num=470, depth=7..14, filters=5049668, revisions=(3033360,useless=2200170), ccks=299073, wck=6.732, mem=58M295
11.73/9.16 decisions=395992, wrong=194053, backtracks=178339, failedAssignments=99367, nogoods=2033, foundSolutions=22, bestBound=25
11.73/9.16
11.73/9.17 num=471, depth=6..18, filters=5050632, revisions=(3034040,useless=2200665), ccks=299158, wck=6.734, mem=58M295
11.73/9.17 decisions=396061, wrong=194083, backtracks=178364, failedAssignments=99381, nogoods=2038, foundSolutions=22, bestBound=25
11.73/9.17
11.73/9.17 num=472, depth=6..15, filters=5051562, revisions=(3034736,useless=2201176), ccks=299258, wck=6.736, mem=58M295
11.73/9.17 decisions=396126, wrong=194111, backtracks=178388, failedAssignments=99397, nogoods=2040, foundSolutions=22, bestBound=25
11.73/9.17
11.73/9.17 num=473, depth=5..13, filters=5052770, revisions=(3035547,useless=2201756), ccks=299348, wck=6.738, mem=58M295
11.73/9.17 decisions=396202, wrong=194145, backtracks=178417, failedAssignments=99414, nogoods=2043, foundSolutions=22, bestBound=25
11.73/9.17
11.73/9.17 num=474, depth=5..12, filters=5054247, revisions=(3036428,useless=2202354), ccks=299453, wck=6.74, mem=58M295
11.73/9.17 decisions=396284, wrong=194183, backtracks=178448, failedAssignments=99433, nogoods=2045, foundSolutions=22, bestBound=25
11.73/9.17
11.73/9.17 num=475, depth=4..17, filters=5055529, revisions=(3037232,useless=2202925), ccks=299513, wck=6.742, mem=58M295
11.73/9.17 decisions=396375, wrong=194223, backtracks=178479, failedAssignments=99454, nogoods=2052, foundSolutions=22, bestBound=25
11.73/9.17
11.73/9.18 num=476, depth=4..14, filters=5057055, revisions=(3038223,useless=2203648), ccks=299602, wck=6.744, mem=58M295
11.73/9.18 decisions=396480, wrong=194271, backtracks=178521, failedAssignments=99477, nogoods=2055, foundSolutions=22, bestBound=25
11.73/9.18
11.73/9.18 num=477, depth=5..21, filters=5058601, revisions=(3039232,useless=2204348), ccks=299731, wck=6.747, mem=58M295
11.73/9.18 decisions=396595, wrong=194324, backtracks=178568, failedAssignments=99502, nogoods=2058, foundSolutions=22, bestBound=25
11.73/9.18
11.73/9.18 num=478, depth=6..16, filters=5060563, revisions=(3040621,useless=2205382), ccks=299872, wck=6.75, mem=58M295
11.73/9.18 decisions=396723, wrong=194384, backtracks=178624, failedAssignments=99530, nogoods=2061, foundSolutions=22, bestBound=25
11.73/9.18
11.73/9.18 num=479, depth=5..18, filters=5062206, revisions=(3041746,useless=2206190), ccks=299972, wck=6.753, mem=58M295
11.73/9.18 decisions=396840, wrong=194440, backtracks=178674, failedAssignments=99561, nogoods=2064, foundSolutions=22, bestBound=25
11.73/9.18
11.73/9.19 num=480, depth=5..15, filters=5064353, revisions=(3043095,useless=2207157), ccks=300101, wck=6.756, mem=58M295
11.73/9.19 decisions=396984, wrong=194509, backtracks=178739, failedAssignments=99595, nogoods=2068, foundSolutions=22, bestBound=25
11.73/9.19
11.73/9.19 num=481, depth=5..15, filters=5067144, revisions=(3045167,useless=2208642), ccks=300357, wck=6.761, mem=58M295
11.73/9.19 decisions=397155, wrong=194591, backtracks=178810, failedAssignments=99632, nogoods=2074, foundSolutions=22, bestBound=25
11.73/9.19
11.85/9.20 num=482, depth=6..16, filters=5069678, revisions=(3047102,useless=2210049), ccks=300600, wck=6.765, mem=58M295
11.85/9.20 decisions=397319, wrong=194670, backtracks=178885, failedAssignments=99673, nogoods=2080, foundSolutions=22, bestBound=25
11.85/9.20
11.85/9.20 num=483, depth=5..21, filters=5072270, revisions=(3048922,useless=2211358), ccks=300818, wck=6.769, mem=58M295
11.85/9.20 decisions=397516, wrong=194762, backtracks=178963, failedAssignments=99718, nogoods=2090, foundSolutions=22, bestBound=25
11.85/9.20
11.85/9.21 num=484, depth=7..18, filters=5075338, revisions=(3050967,useless=2212821), ccks=301054, wck=6.774, mem=58M295
11.85/9.21 decisions=397715, wrong=194858, backtracks=179054, failedAssignments=99768, nogoods=2093, foundSolutions=22, bestBound=25
11.85/9.21
11.85/9.21 num=485, depth=4..18, filters=5078809, revisions=(3053436,useless=2214580), ccks=301344, wck=6.78, mem=58M295
11.85/9.21 decisions=397953, wrong=194973, backtracks=179157, failedAssignments=99823, nogoods=2098, foundSolutions=22, bestBound=25
11.85/9.21
11.85/9.22 num=486, depth=4..18, filters=5081965, revisions=(3055764,useless=2216296), ccks=301614, wck=6.785, mem=58M295
11.85/9.22 decisions=398193, wrong=195087, backtracks=179253, failedAssignments=99884, nogoods=2102, foundSolutions=22, bestBound=25
11.85/9.22
11.85/9.22 num=487, depth=5..20, filters=5085243, revisions=(3058177,useless=2218068), ccks=301879, wck=6.791, mem=58M295
11.85/9.22 decisions=398449, wrong=195210, backtracks=179361, failedAssignments=99951, nogoods=2110, foundSolutions=22, bestBound=25
11.85/9.22
11.85/9.23 num=488, depth=5..18, filters=5089901, revisions=(3061633,useless=2220613), ccks=302346, wck=6.799, mem=58M295
11.85/9.23 decisions=398787, wrong=195375, backtracks=179520, failedAssignments=100025, nogoods=2113, foundSolutions=22, bestBound=25
11.85/9.23
11.85/9.24 num=489, depth=4..18, filters=5094506, revisions=(3064910,useless=2222963), ccks=302748, wck=6.806, mem=58M295
11.85/9.24 decisions=399104, wrong=195528, backtracks=179660, failedAssignments=100106, nogoods=2121, foundSolutions=22, bestBound=25
11.85/9.24
11.85/9.25 num=490, depth=4..18, filters=5100481, revisions=(3069216,useless=2226095), ccks=303219, wck=6.817, mem=58M295
11.85/9.25 decisions=399486, wrong=195716, backtracks=179836, failedAssignments=100195, nogoods=2125, foundSolutions=22, bestBound=25
11.85/9.25
11.85/9.26 num=491, depth=4..22, filters=5106624, revisions=(3073869,useless=2229508), ccks=303863, wck=6.826, mem=60M938
11.85/9.26 decisions=399879, wrong=195905, backtracks=180005, failedAssignments=100293, nogoods=2133, foundSolutions=22, bestBound=25
11.85/9.26
11.85/9.27 num=492, depth=6..23, filters=5113331, revisions=(3078316,useless=2232682), ccks=304397, wck=6.837, mem=60M938
11.85/9.27 decisions=400343, wrong=196132, backtracks=180213, failedAssignments=100401, nogoods=2138, foundSolutions=22, bestBound=25
11.85/9.27
11.85/9.28 num=493, depth=5..22, filters=5119165, revisions=(3082590,useless=2235810), ccks=304967, wck=6.847, mem=60M938
11.85/9.28 decisions=400813, wrong=196360, backtracks=180418, failedAssignments=100520, nogoods=2143, foundSolutions=22, bestBound=25
11.85/9.28
11.85/9.29 num=494, depth=6..23, filters=5124365, revisions=(3086639,useless=2238828), ccks=305600, wck=6.856, mem=60M938
11.85/9.29 decisions=401295, wrong=196595, backtracks=180637, failedAssignments=100651, nogoods=2151, foundSolutions=22, bestBound=25
11.85/9.29
11.95/9.30 num=495, depth=4..22, filters=5132786, revisions=(3092646,useless=2243212), ccks=306349, wck=6.869, mem=60M938
11.95/9.30 decisions=401870, wrong=196878, backtracks=180901, failedAssignments=100795, nogoods=2157, foundSolutions=22, bestBound=25
11.95/9.30
11.95/9.31 num=496, depth=3..21, filters=5140395, revisions=(3098229,useless=2247286), ccks=307141, wck=6.882, mem=60M938
11.95/9.31 decisions=402473, wrong=197173, backtracks=181166, failedAssignments=100953, nogoods=2165, foundSolutions=22, bestBound=25
11.95/9.31
11.95/9.33 num=497, depth=4..25, filters=5149590, revisions=(3105025,useless=2252231), ccks=308110, wck=6.898, mem=60M938
11.95/9.33 decisions=403176, wrong=197518, backtracks=181480, failedAssignments=101127, nogoods=2174, foundSolutions=22, bestBound=25
11.95/9.33
11.95/9.35 num=498, depth=4..19, filters=5160679, revisions=(3113138,useless=2258274), ccks=309187, wck=6.914, mem=60M938
11.95/9.35 decisions=404007, wrong=197931, backtracks=181869, failedAssignments=101318, nogoods=2181, foundSolutions=22, bestBound=25
11.95/9.35
11.95/9.36 num=499, depth=5..23, filters=5170933, revisions=(3119685,useless=2262971), ccks=309961, wck=6.929, mem=60M938
11.95/9.36 decisions=404841, wrong=198343, backtracks=182254, failedAssignments=101529, nogoods=2188, foundSolutions=22, bestBound=25
11.95/9.36
11.95/9.38 num=500, depth=4..23, filters=5184290, revisions=(3129019,useless=2269743), ccks=310994, wck=6.951, mem=60M938
11.95/9.38 decisions=405777, wrong=198808, backtracks=182695, failedAssignments=101761, nogoods=2191, foundSolutions=22, bestBound=25
11.95/9.38
12.05/9.40 num=501, depth=3..22, filters=5197961, revisions=(3139280,useless=2277329), ccks=312362, wck=6.973, mem=60M938
12.05/9.40 decisions=406759, wrong=199293, backtracks=183127, failedAssignments=102016, nogoods=2195, foundSolutions=22, bestBound=25
12.05/9.40
12.05/9.42 num=502, depth=7..26, filters=5210486, revisions=(3148025,useless=2283772), ccks=313710, wck=6.992, mem=60M938
12.05/9.42 decisions=407858, wrong=199837, backtracks=183630, failedAssignments=102297, nogoods=2205, foundSolutions=22, bestBound=25
12.05/9.42
12.05/9.45 num=503, depth=4..23, filters=5227953, revisions=(3159282,useless=2291930), ccks=314768, wck=7.018, mem=60M938
12.05/9.45 decisions=409131, wrong=200469, backtracks=184223, failedAssignments=102606, nogoods=2209, foundSolutions=22, bestBound=25
12.05/9.45
12.05/9.48 num=504, depth=5..21, filters=5246299, revisions=(3172510,useless=2301551), ccks=316600, wck=7.048, mem=60M938
12.05/9.48 decisions=410516, wrong=201157, backtracks=184872, failedAssignments=102946, nogoods=2216, foundSolutions=22, bestBound=25
12.05/9.48
12.15/9.51 num=505, depth=4..23, filters=5267974, revisions=(3186806,useless=2311948), ccks=318126, wck=7.078, mem=60M938
12.15/9.51 decisions=412038, wrong=201913, backtracks=185543, failedAssignments=103320, nogoods=2223, foundSolutions=22, bestBound=25
12.15/9.51
12.15/9.54 num=506, depth=5..22, filters=5289519, revisions=(3201820,useless=2322850), ccks=319968, wck=7.112, mem=60M938
12.15/9.54 decisions=413591, wrong=202684, backtracks=186271, failedAssignments=103731, nogoods=2231, foundSolutions=22, bestBound=25
12.15/9.54
12.15/9.58 num=507, depth=4..22, filters=5316206, revisions=(3220504,useless=2336468), ccks=322205, wck=7.15, mem=60M938
12.15/9.58 decisions=415494, wrong=203633, backtracks=187150, failedAssignments=104183, nogoods=2235, foundSolutions=22, bestBound=25
12.15/9.58
12.25/9.62 num=508, depth=5..24, filters=5341522, revisions=(3236955,useless=2348187), ccks=324126, wck=7.191, mem=60M938
12.25/9.62 decisions=417369, wrong=204567, backtracks=188005, failedAssignments=104680, nogoods=2240, foundSolutions=22, bestBound=25
12.25/9.62
12.25/9.65 o 26
12.25/9.65 num=509, depth=4..89, filters=5357579, revisions=(3248312,useless=2356632), ccks=325325, wck=7.216, mem=60M938
12.25/9.65 decisions=418464, wrong=205110, backtracks=188508, failedAssignments=104957, nogoods=2255, foundSolutions=23, bestBound=26
12.25/9.65
12.36/9.70 num=510, depth=3..24, filters=5389028, revisions=(3271197,useless=2373334), ccks=328386, wck=7.267, mem=60M938
12.36/9.70 decisions=420765, wrong=206256, backtracks=189551, failedAssignments=105559, nogoods=2257, foundSolutions=23, bestBound=26
12.36/9.70
12.36/9.70 num=511, depth=10..17, filters=5389582, revisions=(3271554,useless=2373593), ccks=328429, wck=7.268, mem=60M938
12.36/9.70 decisions=420812, wrong=206274, backtracks=189565, failedAssignments=105570, nogoods=2261, foundSolutions=23, bestBound=26
12.36/9.70
12.36/9.70 num=512, depth=10..19, filters=5390281, revisions=(3272052,useless=2373953), ccks=328478, wck=7.269, mem=60M938
12.36/9.70 decisions=420866, wrong=206294, backtracks=189578, failedAssignments=105582, nogoods=2267, foundSolutions=23, bestBound=26
12.36/9.70
12.36/9.70 num=513, depth=6..19, filters=5390974, revisions=(3272461,useless=2374248), ccks=328527, wck=7.271, mem=60M938
12.36/9.70 decisions=420923, wrong=206316, backtracks=189598, failedAssignments=105595, nogoods=2269, foundSolutions=23, bestBound=26
12.36/9.70
12.36/9.70 num=514, depth=8..20, filters=5391588, revisions=(3272877,useless=2374540), ccks=328580, wck=7.272, mem=60M938
12.36/9.70 decisions=420973, wrong=206335, backtracks=189612, failedAssignments=105609, nogoods=2274, foundSolutions=23, bestBound=26
12.36/9.70
12.36/9.71 num=515, depth=7..18, filters=5392492, revisions=(3273568,useless=2375051), ccks=328679, wck=7.274, mem=60M938
12.36/9.71 decisions=421044, wrong=206366, backtracks=189640, failedAssignments=105625, nogoods=2278, foundSolutions=23, bestBound=26
12.36/9.71
12.36/9.71 num=516, depth=7..16, filters=5393438, revisions=(3274248,useless=2375528), ccks=328762, wck=7.276, mem=60M938
12.36/9.71 decisions=421114, wrong=206396, backtracks=189663, failedAssignments=105642, nogoods=2281, foundSolutions=23, bestBound=26
12.36/9.71
12.36/9.71 num=517, depth=5..18, filters=5394406, revisions=(3274930,useless=2376002), ccks=328864, wck=7.278, mem=60M938
12.36/9.71 decisions=421202, wrong=206435, backtracks=189698, failedAssignments=105661, nogoods=2284, foundSolutions=23, bestBound=26
12.36/9.71
12.36/9.71 num=518, depth=6..15, filters=5395769, revisions=(3275701,useless=2376531), ccks=328931, wck=7.28, mem=60M938
12.36/9.71 decisions=421292, wrong=206476, backtracks=189731, failedAssignments=105682, nogoods=2287, foundSolutions=23, bestBound=26
12.36/9.71
12.36/9.71 num=519, depth=5..15, filters=5396826, revisions=(3276430,useless=2377057), ccks=329005, wck=7.282, mem=60M938
12.36/9.71 decisions=421375, wrong=206514, backtracks=189760, failedAssignments=105705, nogoods=2290, foundSolutions=23, bestBound=26
12.36/9.71
12.36/9.72 num=520, depth=5..15, filters=5398078, revisions=(3277347,useless=2377718), ccks=329113, wck=7.285, mem=60M938
12.36/9.72 decisions=421464, wrong=206554, backtracks=189796, failedAssignments=105730, nogoods=2296, foundSolutions=23, bestBound=26
12.36/9.72
12.36/9.72 num=521, depth=5..16, filters=5399657, revisions=(3278451,useless=2378507), ccks=329214, wck=7.287, mem=60M938
12.36/9.72 decisions=421573, wrong=206606, backtracks=189841, failedAssignments=105758, nogoods=2299, foundSolutions=23, bestBound=26
12.36/9.72
12.36/9.72 num=522, depth=6..19, filters=5401957, revisions=(3279964,useless=2379555), ccks=329388, wck=7.291, mem=60M938
12.36/9.72 decisions=421702, wrong=206666, backtracks=189897, failedAssignments=105789, nogoods=2304, foundSolutions=23, bestBound=26
12.36/9.72
12.36/9.73 num=523, depth=4..17, filters=5403397, revisions=(3281022,useless=2380328), ccks=329522, wck=7.294, mem=60M938
12.36/9.73 decisions=421825, wrong=206722, backtracks=189940, failedAssignments=105823, nogoods=2312, foundSolutions=23, bestBound=26
12.36/9.73
12.36/9.73 num=524, depth=5..17, filters=5405637, revisions=(3282630,useless=2381487), ccks=329722, wck=7.299, mem=60M938
12.36/9.73 decisions=421976, wrong=206794, backtracks=190006, failedAssignments=105860, nogoods=2320, foundSolutions=23, bestBound=26
12.36/9.73
12.36/9.73 num=525, depth=5..18, filters=5407852, revisions=(3284218,useless=2382606), ccks=329944, wck=7.303, mem=60M938
12.36/9.73 decisions=422138, wrong=206870, backtracks=190079, failedAssignments=105901, nogoods=2324, foundSolutions=23, bestBound=26
12.36/9.73
12.36/9.74 num=526, depth=6..18, filters=5409775, revisions=(3285616,useless=2383622), ccks=330166, wck=7.306, mem=60M938
12.36/9.74 decisions=422310, wrong=206952, backtracks=190155, failedAssignments=105946, nogoods=2330, foundSolutions=23, bestBound=26
12.36/9.74
12.36/9.74 num=527, depth=2..15, filters=5412502, revisions=(3287585,useless=2385004), ccks=330408, wck=7.311, mem=60M938
12.36/9.74 decisions=422507, wrong=207047, backtracks=190237, failedAssignments=105996, nogoods=2333, foundSolutions=23, bestBound=26
12.36/9.74
12.36/9.75 num=528, depth=4..20, filters=5415305, revisions=(3289617,useless=2386447), ccks=330721, wck=7.316, mem=60M938
12.36/9.75 decisions=422717, wrong=207148, backtracks=190331, failedAssignments=106051, nogoods=2338, foundSolutions=23, bestBound=26
12.36/9.75
12.36/9.75 num=529, depth=7..19, filters=5418197, revisions=(3291781,useless=2388046), ccks=331049, wck=7.321, mem=60M938
12.36/9.75 decisions=422972, wrong=207271, backtracks=190441, failedAssignments=106112, nogoods=2344, foundSolutions=23, bestBound=26
12.36/9.75
12.36/9.76 num=530, depth=5..17, filters=5422127, revisions=(3294495,useless=2389968), ccks=331434, wck=7.327, mem=60M938
12.36/9.76 decisions=423237, wrong=207399, backtracks=190551, failedAssignments=106179, nogoods=2354, foundSolutions=23, bestBound=26
12.36/9.76
12.36/9.77 num=531, depth=4..16, filters=5426131, revisions=(3297288,useless=2391986), ccks=331814, wck=7.335, mem=60M938
12.36/9.77 decisions=423529, wrong=207543, backtracks=190679, failedAssignments=106253, nogoods=2360, foundSolutions=23, bestBound=26
12.36/9.77
12.36/9.77 num=532, depth=4..20, filters=5431086, revisions=(3300778,useless=2394541), ccks=332258, wck=7.343, mem=60M938
12.36/9.77 decisions=423880, wrong=207713, backtracks=190833, failedAssignments=106334, nogoods=2367, foundSolutions=23, bestBound=26
12.36/9.77
12.36/9.78 num=533, depth=4..16, filters=5437028, revisions=(3304877,useless=2397461), ccks=332703, wck=7.352, mem=60M938
12.36/9.78 decisions=424227, wrong=207884, backtracks=190996, failedAssignments=106423, nogoods=2370, foundSolutions=23, bestBound=26
12.36/9.78
12.36/9.79 num=534, depth=3..19, filters=5442302, revisions=(3308768,useless=2400281), ccks=333247, wck=7.362, mem=60M938
12.36/9.79 decisions=424638, wrong=208085, backtracks=191183, failedAssignments=106521, nogoods=2375, foundSolutions=23, bestBound=26
12.36/9.79
12.47/9.80 num=535, depth=4..18, filters=5448752, revisions=(3313493,useless=2403671), ccks=333738, wck=7.372, mem=60M938
12.47/9.80 decisions=425049, wrong=208288, backtracks=191366, failedAssignments=106629, nogoods=2382, foundSolutions=23, bestBound=26
12.47/9.80
12.47/9.82 num=536, depth=2..19, filters=5455460, revisions=(3318527,useless=2407328), ccks=334383, wck=7.384, mem=60M938
12.47/9.82 decisions=425522, wrong=208519, backtracks=191578, failedAssignments=106748, nogoods=2386, foundSolutions=23, bestBound=26
12.47/9.82
12.47/9.83 num=537, depth=3..18, filters=5462720, revisions=(3323863,useless=2411216), ccks=335021, wck=7.396, mem=60M938
12.47/9.83 decisions=426051, wrong=208779, backtracks=191826, failedAssignments=106879, nogoods=2393, foundSolutions=23, bestBound=26
12.47/9.83
12.47/9.84 num=538, depth=3..19, filters=5470717, revisions=(3329407,useless=2415227), ccks=335666, wck=7.409, mem=60M938
12.47/9.84 decisions=426641, wrong=209070, backtracks=192098, failedAssignments=107023, nogoods=2402, foundSolutions=23, bestBound=26
12.47/9.84
12.47/9.86 num=539, depth=2..18, filters=5480676, revisions=(3336263,useless=2420244), ccks=336471, wck=7.425, mem=60M938
12.47/9.86 decisions=427341, wrong=209414, backtracks=192420, failedAssignments=107181, nogoods=2407, foundSolutions=23, bestBound=26
12.47/9.86
12.47/9.87 num=540, depth=4..23, filters=5490547, revisions=(3343174,useless=2425257), ccks=337347, wck=7.441, mem=60M938
12.47/9.87 decisions=428076, wrong=209776, backtracks=192764, failedAssignments=107355, nogoods=2415, foundSolutions=23, bestBound=26
12.47/9.87
12.47/9.89 num=541, depth=3..24, filters=5501969, revisions=(3351199,useless=2430957), ccks=338273, wck=7.46, mem=60M938
12.47/9.89 decisions=428822, wrong=210147, backtracks=193103, failedAssignments=107546, nogoods=2420, foundSolutions=23, bestBound=26
12.47/9.89
12.61/9.91 num=542, depth=3..21, filters=5513490, revisions=(3359026,useless=2436579), ccks=339257, wck=7.478, mem=60M938
12.61/9.91 decisions=429678, wrong=210571, backtracks=193486, failedAssignments=107757, nogoods=2428, foundSolutions=23, bestBound=26
12.61/9.91
12.61/9.93 num=543, depth=5..21, filters=5526493, revisions=(3368102,useless=2443222), ccks=340305, wck=7.498, mem=60M938
12.61/9.93 decisions=430552, wrong=211003, backtracks=193885, failedAssignments=107989, nogoods=2437, foundSolutions=23, bestBound=26
12.61/9.93
12.61/9.95 num=544, depth=3..23, filters=5540560, revisions=(3378058,useless=2450365), ccks=341675, wck=7.522, mem=60M938
12.61/9.95 decisions=431556, wrong=211500, backtracks=194327, failedAssignments=108244, nogoods=2446, foundSolutions=23, bestBound=26
12.61/9.95
12.61/9.98 num=545, depth=2..25, filters=5555350, revisions=(3388414,useless=2457856), ccks=342950, wck=7.545, mem=60M938
12.61/9.98 decisions=432585, wrong=212008, backtracks=194791, failedAssignments=108525, nogoods=2452, foundSolutions=23, bestBound=26
12.61/9.98
12.61/10.00 num=546, depth=3..22, filters=5570703, revisions=(3398922,useless=2465392), ccks=344299, wck=7.571, mem=60M938
12.61/10.00 decisions=433747, wrong=212584, backtracks=195311, failedAssignments=108834, nogoods=2459, foundSolutions=23, bestBound=26
12.61/10.00
12.72/10.03 num=547, depth=4..22, filters=5588371, revisions=(3410322,useless=2473477), ccks=345445, wck=7.6, mem=60M938
12.72/10.03 decisions=435117, wrong=213265, backtracks=195938, failedAssignments=109174, nogoods=2463, foundSolutions=23, bestBound=26
12.72/10.03
12.72/10.06 num=548, depth=5..24, filters=5607873, revisions=(3424341,useless=2483922), ccks=347079, wck=7.632, mem=60M938
12.72/10.06 decisions=436548, wrong=213977, backtracks=196602, failedAssignments=109548, nogoods=2469, foundSolutions=23, bestBound=26
12.72/10.06
12.72/10.10 num=549, depth=2..26, filters=5627291, revisions=(3438354,useless=2494031), ccks=349230, wck=7.664, mem=60M938
12.72/10.10 decisions=438036, wrong=214715, backtracks=197277, failedAssignments=109959, nogoods=2476, foundSolutions=23, bestBound=26
12.72/10.10
12.82/10.14 num=550, depth=4..23, filters=5652309, revisions=(3456297,useless=2507264), ccks=351493, wck=7.707, mem=60M938
12.82/10.14 decisions=439772, wrong=215579, backtracks=198066, failedAssignments=110411, nogoods=2480, foundSolutions=23, bestBound=26
12.82/10.14
12.82/10.17 num=551, depth=5..27, filters=5673314, revisions=(3471202,useless=2518245), ccks=353568, wck=7.738, mem=60M938
12.82/10.17 decisions=441591, wrong=216482, backtracks=198882, failedAssignments=110908, nogoods=2491, foundSolutions=23, bestBound=26
12.82/10.17
12.91/10.22 num=552, depth=4..24, filters=5702139, revisions=(3492867,useless=2534320), ccks=356731, wck=7.784, mem=60M938
12.91/10.22 decisions=443764, wrong=217563, backtracks=199852, failedAssignments=111455, nogoods=2502, foundSolutions=23, bestBound=26
12.91/10.22
12.91/10.26 num=553, depth=2..25, filters=5731735, revisions=(3513789,useless=2549412), ccks=359670, wck=7.832, mem=60M938
12.91/10.26 decisions=446091, wrong=218721, backtracks=200909, failedAssignments=112057, nogoods=2508, foundSolutions=23, bestBound=26
12.91/10.26
13.01/10.32 num=554, depth=2..21, filters=5769342, revisions=(3542309,useless=2570423), ccks=363696, wck=7.89, mem=63M580
13.01/10.32 decisions=448655, wrong=219999, backtracks=202061, failedAssignments=112719, nogoods=2514, foundSolutions=23, bestBound=26
13.01/10.32
13.01/10.39 num=555, depth=2..26, filters=5810743, revisions=(3569109,useless=2589275), ccks=366570, wck=7.954, mem=63M580
13.01/10.39 decisions=451470, wrong=221401, backtracks=203348, failedAssignments=113447, nogoods=2519, foundSolutions=23, bestBound=26
13.01/10.39
13.11/10.46 num=556, depth=1..20, filters=5856982, revisions=(3601911,useless=2613187), ccks=370588, wck=8.027, mem=63M580
13.11/10.46 decisions=454717, wrong=223021, backtracks=204831, failedAssignments=114248, nogoods=2528, foundSolutions=23, bestBound=26
13.11/10.46
13.21/10.53 num=557, depth=2..21, filters=5905492, revisions=(3636381,useless=2638466), ccks=374691, wck=8.1, mem=63M580
13.21/10.53 decisions=458266, wrong=224793, backtracks=206463, failedAssignments=115129, nogoods=2537, foundSolutions=23, bestBound=26
13.21/10.53
13.31/10.63 num=558, depth=1..24, filters=5965241, revisions=(3678149,useless=2668595), ccks=379460, wck=8.195, mem=63M580
13.31/10.63 decisions=462326, wrong=226820, backtracks=208361, failedAssignments=116099, nogoods=2544, foundSolutions=23, bestBound=26
13.31/10.63
13.41/10.73 num=559, depth=1..23, filters=6024833, revisions=(3722683,useless=2701142), ccks=385307, wck=8.295, mem=63M580
13.41/10.73 decisions=466442, wrong=228874, backtracks=210253, failedAssignments=117166, nogoods=2551, foundSolutions=23, bestBound=26
13.41/10.73
13.51/10.81
13.51/10.81 New Bounds: 27..26
13.51/10.81 num=560, depth=0..21, filters=6077445, revisions=(3761768,useless=2729613), ccks=390150, wck=8.378, mem=63M580
13.51/10.81 decisions=469908, wrong=230608, backtracks=211857, failedAssignments=118003, foundSolutions=23, bestBound=26
13.51/10.81
13.51/10.81 Global
13.51/10.81 filters=6077445, revisions=(3761768,useless=2729613), ccks=390150
13.51/10.81 Stop=FULL_EXPLORATION, wrong=230608, bestBound=26, bestBoundWck=7.571, bestBoundCpu=9.612, foundSolutions=23, firstSolCpu=2.415
13.51/10.81 wck=8.734, cpu=10.775, mem=63M580
13.51/10.81
13.51/10.81 v <instantiation id='sol23' type='solution' cost='26'> <list> x[][] s[][] </list> <values> 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 2 4 3 2 4 2 3 4 2 2 3 5 3 6 3 5 3 2 4 4 5 2 6 2 5 4 4 2 3 5 3 6 3 5 3 2 2 4 3 2 4 2 3 4 2 </values> </instantiation>
13.51/10.81 s OPTIMUM FOUND
13.51/10.81
13.51/10.81 d WRONG_DECISIONS 230608
13.51/10.81 d NUMBER_SOLUTIONS 23