2.52/2.54
2.52/2.54 AbsCon 2
2.52/2.56
2.97/2.74 Instance
2.97/2.74 name=instance-4390785-1568380515, framework=COP, bounds=-infty..+infty
2.97/2.74
2.97/2.74 Loading variables...
2.97/2.75 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727185d0
2.97/2.77 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4b3dd7
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1846740c
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263b629
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
2.97/2.77 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497932e5
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528c22c
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b774905
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9026e
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea93a3e
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250b7d3e
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5923abfc
2.97/2.78 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b87bf2
2.97/2.79 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e741bd2
2.97/2.79 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392b3b5
2.97/2.79 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64827fe
2.97/2.79 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256fa55a
2.97/2.79 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad6ae3f
3.13/2.85
3.13/2.85
3.13/2.85 Domains
3.13/2.85 nTypes=2, nValues=495, sizes=[2#45,9#45]
3.13/2.85 Variables
3.13/2.85 count=90, degrees=[2#45,7#4,9#8,10#33]
3.13/2.85 Objectives
3.13/2.85 way=max, type=SumSimpleGE
3.13/2.85 Constraints
3.13/2.85 count=111, nSpecific=46, arities=[2#45,3#20,4#4,6#20,9#21,45#1]
3.13/2.85 distribution=[CtrExtensionV-Bits#45,CtrExtensionV-Matrix3D#20,SumSimpleGE#1,SumWeightedEQ#45]
3.13/2.85 nExtStructures=(5,shared:60), nCftStructures=(5,shared:60,unbuilt:46)
3.13/2.85 wck=0.331, cpu=2.111, mem=21M227
3.13/2.85 Solver SolverBacktrack being built...
3.13/2.85
3.13/2.87
3.13/2.87 Solver
3.13/2.87 guaranteedGAC=false
3.13/2.87 wck=0.355, cpu=2.133, mem=34M512
3.13/2.87
3.13/2.87 Preprocessing
3.13/2.87 filters=24, revisions=(24,useless=24), nACremovedValues=80, nTotalRemovedValues=80, inconcistency=false
3.13/2.87 wck=0.003, cpu=2.138, mem=34M512
3.13/2.87
3.13/2.88 o 0
3.13/2.89 num=0, depth=91..89, filters=313, revisions=(243,useless=202), ccks=131, wck=0.018, mem=34M512
3.13/2.89 decisions=36, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.13/2.89
3.39/2.91 o 4
3.39/2.91 num=1, depth=31..89, filters=666, revisions=(566,useless=473), ccks=260, wck=0.039, mem=34M512
3.39/2.91 decisions=79, wrong=6, backtracks=3, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=4
3.39/2.91
3.39/2.91 o 5
3.39/2.91 num=2, depth=24..89, filters=1011, revisions=(871,useless=727), ccks=384, wck=0.045, mem=34M512
3.39/2.91 decisions=118, wrong=12, backtracks=6, failedAssignments=8, nogoods=7, foundSolutions=3, bestBound=5
3.39/2.91
3.39/2.92 o 6
3.39/2.93 num=3, depth=25..89, filters=1363, revisions=(1193,useless=999), ccks=511, wck=0.05, mem=34M512
3.39/2.93 decisions=156, wrong=17, backtracks=9, failedAssignments=12, nogoods=9, foundSolutions=4, bestBound=6
3.39/2.93
3.39/2.93 num=4, depth=21..25, filters=1895, revisions=(1678,useless=1390), ccks=558, wck=0.054, mem=34M512
3.39/2.93 decisions=209, wrong=33, backtracks=22, failedAssignments=23, nogoods=13, foundSolutions=4, bestBound=6
3.39/2.93
3.39/2.93 num=5, depth=26..31, filters=2490, revisions=(1982,useless=1611), ccks=573, wck=0.059, mem=34M512
3.39/2.93 decisions=275, wrong=53, backtracks=38, failedAssignments=34, nogoods=14, foundSolutions=4, bestBound=6
3.39/2.93
3.39/2.94 o 7
3.39/2.94 num=6, depth=25..89, filters=2945, revisions=(2300,useless=1860), ccks=704, wck=0.063, mem=34M512
3.39/2.94 decisions=320, wrong=63, backtracks=47, failedAssignments=40, nogoods=15, foundSolutions=5, bestBound=7
3.39/2.94
3.39/2.94 num=7, depth=21..27, filters=3602, revisions=(2755,useless=2219), ccks=746, wck=0.068, mem=34M512
3.39/2.94 decisions=385, wrong=85, backtracks=66, failedAssignments=53, nogoods=16, foundSolutions=5, bestBound=7
3.39/2.94
3.39/2.94 o 8
3.39/2.94 num=8, depth=25..89, filters=4066, revisions=(3059,useless=2461), ccks=881, wck=0.072, mem=34M512
3.39/2.94 decisions=432, wrong=95, backtracks=72, failedAssignments=60, nogoods=20, foundSolutions=6, bestBound=8
3.39/2.94
3.39/2.95 num=9, depth=23..28, filters=4704, revisions=(3505,useless=2818), ccks=924, wck=0.076, mem=34M512
3.39/2.95 decisions=497, wrong=116, backtracks=91, failedAssignments=72, nogoods=23, foundSolutions=6, bestBound=8
3.39/2.95
3.39/2.95 num=10, depth=24..30, filters=5433, revisions=(3889,useless=3099), ccks=953, wck=0.08, mem=34M512
3.39/2.95 decisions=562, wrong=136, backtracks=107, failedAssignments=83, nogoods=25, foundSolutions=6, bestBound=8
3.39/2.95
3.39/2.95 num=11, depth=23..30, filters=6211, revisions=(4258,useless=3374), ccks=968, wck=0.083, mem=34M512
3.39/2.95 decisions=631, wrong=159, backtracks=128, failedAssignments=95, nogoods=26, foundSolutions=6, bestBound=8
3.39/2.95
3.39/2.96 num=12, depth=22..30, filters=7009, revisions=(4778,useless=3764), ccks=1030, wck=0.087, mem=34M512
3.39/2.96 decisions=705, wrong=184, backtracks=147, failedAssignments=108, nogoods=30, foundSolutions=6, bestBound=8
3.39/2.96
3.39/2.96 num=13, depth=23..29, filters=7857, revisions=(5230,useless=4097), ccks=1064, wck=0.091, mem=34M512
3.39/2.96 decisions=782, wrong=211, backtracks=171, failedAssignments=122, nogoods=31, foundSolutions=6, bestBound=8
3.39/2.96
3.39/2.96 o 9
3.39/2.96 num=14, depth=24..89, filters=8372, revisions=(5545,useless=4350), ccks=1200, wck=0.094, mem=34M512
3.39/2.96 decisions=825, wrong=220, backtracks=178, failedAssignments=128, nogoods=34, foundSolutions=7, bestBound=9
3.39/2.96
3.39/2.97 num=15, depth=19..26, filters=9462, revisions=(6156,useless=4806), ccks=1241, wck=0.099, mem=34M512
3.39/2.97 decisions=914, wrong=254, backtracks=207, failedAssignments=145, nogoods=37, foundSolutions=7, bestBound=9
3.39/2.97
3.39/2.97 o 10
3.39/2.97 num=16, depth=22..89, filters=10075, revisions=(6524,useless=5092), ccks=1361, wck=0.103, mem=34M512
3.39/2.97 decisions=967, wrong=268, backtracks=217, failedAssignments=153, nogoods=41, foundSolutions=8, bestBound=10
3.39/2.97
3.39/2.98 num=17, depth=17..24, filters=10940, revisions=(7107,useless=5557), ccks=1410, wck=0.106, mem=34M512
3.39/2.98 decisions=1042, wrong=297, backtracks=242, failedAssignments=165, nogoods=42, foundSolutions=8, bestBound=10
3.39/2.98
3.39/2.98 num=18, depth=23..28, filters=11579, revisions=(7507,useless=5854), ccks=1448, wck=0.109, mem=34M512
3.39/2.98 decisions=1103, wrong=316, backtracks=260, failedAssignments=176, nogoods=45, foundSolutions=8, bestBound=10
3.39/2.98
3.39/2.98 o 11
3.39/2.98 num=19, depth=22..89, filters=12071, revisions=(7835,useless=6116), ccks=1593, wck=0.112, mem=34M512
3.39/2.98 decisions=1148, wrong=326, backtracks=267, failedAssignments=181, nogoods=48, foundSolutions=9, bestBound=11
3.39/2.98
3.39/2.99 num=20, depth=21..29, filters=12988, revisions=(8332,useless=6487), ccks=1608, wck=0.116, mem=34M512
3.39/2.99 decisions=1223, wrong=352, backtracks=287, failedAssignments=194, nogoods=53, foundSolutions=9, bestBound=11
3.39/2.99
3.39/2.99 num=21, depth=20..27, filters=13748, revisions=(8834,useless=6868), ccks=1671, wck=0.119, mem=34M512
3.39/2.99 decisions=1294, wrong=376, backtracks=307, failedAssignments=205, nogoods=55, foundSolutions=9, bestBound=11
3.39/2.99
3.39/2.99 num=22, depth=20..28, filters=14340, revisions=(9183,useless=7133), ccks=1691, wck=0.122, mem=34M512
3.39/2.99 decisions=1354, wrong=396, backtracks=326, failedAssignments=217, nogoods=56, foundSolutions=9, bestBound=11
3.39/2.99
3.39/2.99 num=23, depth=21..28, filters=15080, revisions=(9579,useless=7431), ccks=1719, wck=0.125, mem=34M512
3.39/2.99 decisions=1423, wrong=419, backtracks=345, failedAssignments=230, nogoods=58, foundSolutions=9, bestBound=11
3.39/2.99
3.39/3.01 num=24, depth=20..28, filters=15843, revisions=(10073,useless=7804), ccks=1772, wck=0.131, mem=34M512
3.39/3.01 decisions=1495, wrong=445, backtracks=370, failedAssignments=244, nogoods=59, foundSolutions=9, bestBound=11
3.39/3.01
3.39/3.01 num=25, depth=21..27, filters=16712, revisions=(10693,useless=8289), ccks=1870, wck=0.135, mem=34M512
3.39/3.01 decisions=1583, wrong=477, backtracks=394, failedAssignments=260, nogoods=63, foundSolutions=9, bestBound=11
3.39/3.01
3.75/3.01 num=26, depth=23..30, filters=17502, revisions=(11195,useless=8670), ccks=1935, wck=0.138, mem=34M512
3.75/3.01 decisions=1660, wrong=502, backtracks=416, failedAssignments=277, nogoods=66, foundSolutions=9, bestBound=11
3.75/3.01
3.75/3.01 num=27, depth=19..27, filters=18424, revisions=(11676,useless=9020), ccks=1963, wck=0.142, mem=34M512
3.75/3.01 decisions=1742, wrong=533, backtracks=442, failedAssignments=296, nogoods=69, foundSolutions=9, bestBound=11
3.75/3.01
3.75/3.02 num=28, depth=20..27, filters=19601, revisions=(12334,useless=9488), ccks=2028, wck=0.146, mem=34M512
3.75/3.02 decisions=1847, wrong=574, backtracks=475, failedAssignments=317, nogoods=73, foundSolutions=9, bestBound=11
3.75/3.02
3.75/3.02 num=29, depth=21..30, filters=21086, revisions=(13061,useless=10009), ccks=2070, wck=0.151, mem=34M512
3.75/3.02 decisions=1958, wrong=619, backtracks=518, failedAssignments=340, nogoods=74, foundSolutions=9, bestBound=11
3.75/3.02
3.75/3.02 num=30, depth=19..27, filters=22228, revisions=(13728,useless=10516), ccks=2140, wck=0.155, mem=37M155
3.75/3.02 decisions=2062, wrong=661, backtracks=553, failedAssignments=365, nogoods=77, foundSolutions=9, bestBound=11
3.75/3.02
3.75/3.03 num=31, depth=16..29, filters=23609, revisions=(14561,useless=11138), ccks=2226, wck=0.16, mem=37M155
3.75/3.03 decisions=2190, wrong=713, backtracks=594, failedAssignments=393, nogoods=80, foundSolutions=9, bestBound=11
3.75/3.03
3.75/3.03 num=32, depth=19..28, filters=25142, revisions=(15376,useless=11735), ccks=2264, wck=0.165, mem=37M155
3.75/3.03 decisions=2323, wrong=768, backtracks=644, failedAssignments=424, nogoods=84, foundSolutions=9, bestBound=11
3.75/3.03
3.75/3.04 o 12
3.75/3.04 num=33, depth=18..89, filters=26487, revisions=(16182,useless=12345), ccks=2462, wck=0.17, mem=37M155
3.75/3.04 decisions=2431, wrong=811, backtracks=682, failedAssignments=445, nogoods=87, foundSolutions=10, bestBound=12
3.75/3.04
3.75/3.04 num=34, depth=18..26, filters=27948, revisions=(17185,useless=13104), ccks=2588, wck=0.175, mem=37M155
3.75/3.04 decisions=2571, wrong=871, backtracks=735, failedAssignments=482, nogoods=90, foundSolutions=10, bestBound=12
3.75/3.04
3.75/3.05 num=35, depth=19..26, filters=28630, revisions=(17645,useless=13457), ccks=2645, wck=0.177, mem=37M155
3.75/3.05 decisions=2636, wrong=894, backtracks=757, failedAssignments=493, nogoods=93, foundSolutions=10, bestBound=12
3.75/3.05
3.75/3.05 num=36, depth=22..27, filters=29199, revisions=(17958,useless=13686), ccks=2660, wck=0.179, mem=37M155
3.75/3.05 decisions=2691, wrong=910, backtracks=770, failedAssignments=505, nogoods=98, foundSolutions=10, bestBound=12
3.75/3.05
3.75/3.05 num=37, depth=23..28, filters=29872, revisions=(18374,useless=13995), ccks=2699, wck=0.181, mem=37M155
3.75/3.05 decisions=2761, wrong=933, backtracks=790, failedAssignments=518, nogoods=101, foundSolutions=10, bestBound=12
3.75/3.05
3.75/3.05 num=38, depth=18..25, filters=30657, revisions=(18751,useless=14270), ccks=2705, wck=0.184, mem=37M155
3.75/3.05 decisions=2825, wrong=956, backtracks=809, failedAssignments=532, nogoods=102, foundSolutions=10, bestBound=12
3.75/3.05
3.75/3.06 num=39, depth=19..27, filters=31764, revisions=(19499,useless=14839), ccks=2798, wck=0.188, mem=37M155
3.75/3.06 decisions=2916, wrong=991, backtracks=841, failedAssignments=548, nogoods=105, foundSolutions=10, bestBound=12
3.75/3.06
3.75/3.06 num=40, depth=21..29, filters=32744, revisions=(20019,useless=15221), ccks=2850, wck=0.192, mem=37M155
3.75/3.06 decisions=3005, wrong=1024, backtracks=871, failedAssignments=565, nogoods=107, foundSolutions=10, bestBound=12
3.75/3.06
3.75/3.06 num=41, depth=19..28, filters=34002, revisions=(20801,useless=15811), ccks=2925, wck=0.196, mem=37M155
3.75/3.06 decisions=3115, wrong=1069, backtracks=913, failedAssignments=584, nogoods=112, foundSolutions=10, bestBound=12
3.75/3.06
3.75/3.07 num=42, depth=20..27, filters=34954, revisions=(21330,useless=16202), ccks=2961, wck=0.199, mem=37M155
3.75/3.07 decisions=3207, wrong=1104, backtracks=946, failedAssignments=605, nogoods=115, foundSolutions=10, bestBound=12
3.75/3.07
3.75/3.07 num=43, depth=18..27, filters=36270, revisions=(22073,useless=16743), ccks=3050, wck=0.203, mem=37M155
3.75/3.07 decisions=3323, wrong=1151, backtracks=986, failedAssignments=628, nogoods=118, foundSolutions=10, bestBound=12
3.75/3.07
3.75/3.08 num=44, depth=20..28, filters=37483, revisions=(22698,useless=17199), ccks=3063, wck=0.206, mem=37M155
3.75/3.08 decisions=3428, wrong=1192, backtracks=1021, failedAssignments=653, nogoods=122, foundSolutions=10, bestBound=12
3.75/3.08
3.75/3.08 o 13
3.75/3.08 num=45, depth=21..89, filters=38172, revisions=(23180,useless=17572), ccks=3216, wck=0.21, mem=37M155
3.75/3.08 decisions=3496, wrong=1214, backtracks=1039, failedAssignments=666, nogoods=125, foundSolutions=11, bestBound=13
3.75/3.08
3.75/3.08 num=46, depth=17..27, filters=39608, revisions=(24085,useless=18249), ccks=3318, wck=0.214, mem=37M155
3.75/3.08 decisions=3633, wrong=1274, backtracks=1090, failedAssignments=697, nogoods=128, foundSolutions=11, bestBound=13
3.75/3.08
3.75/3.09 num=47, depth=20..26, filters=40334, revisions=(24512,useless=18573), ccks=3348, wck=0.217, mem=37M155
3.75/3.09 decisions=3695, wrong=1293, backtracks=1106, failedAssignments=708, nogoods=131, foundSolutions=11, bestBound=13
3.75/3.09
3.75/3.09 num=48, depth=21..27, filters=41042, revisions=(24950,useless=18902), ccks=3386, wck=0.219, mem=37M155
3.75/3.09 decisions=3758, wrong=1313, backtracks=1124, failedAssignments=720, nogoods=134, foundSolutions=11, bestBound=13
3.75/3.09
3.75/3.09 num=49, depth=21..28, filters=41683, revisions=(25296,useless=19161), ccks=3406, wck=0.22, mem=37M155
3.75/3.09 decisions=3822, wrong=1333, backtracks=1138, failedAssignments=733, nogoods=139, foundSolutions=11, bestBound=13
3.75/3.09
3.75/3.09 num=50, depth=22..28, filters=42581, revisions=(25809,useless=19546), ccks=3460, wck=0.222, mem=37M155
3.75/3.09 decisions=3891, wrong=1356, backtracks=1159, failedAssignments=747, nogoods=142, foundSolutions=11, bestBound=13
3.75/3.09
3.75/3.09 num=51, depth=23..29, filters=43217, revisions=(26150,useless=19799), ccks=3471, wck=0.224, mem=37M155
3.75/3.09 decisions=3957, wrong=1377, backtracks=1176, failedAssignments=763, nogoods=147, foundSolutions=11, bestBound=13
3.75/3.09
3.75/3.10 num=52, depth=20..27, filters=44151, revisions=(26682,useless=20194), ccks=3512, wck=0.226, mem=37M155
3.75/3.10 decisions=4039, wrong=1407, backtracks=1201, failedAssignments=780, nogoods=151, foundSolutions=11, bestBound=13
3.75/3.10
3.75/3.10 num=53, depth=20..29, filters=45203, revisions=(27271,useless=20625), ccks=3562, wck=0.229, mem=37M155
3.75/3.10 decisions=4133, wrong=1442, backtracks=1231, failedAssignments=799, nogoods=154, foundSolutions=11, bestBound=13
3.75/3.10
3.75/3.10 num=54, depth=19..25, filters=46235, revisions=(27911,useless=21105), ccks=3636, wck=0.231, mem=37M155
3.75/3.10 decisions=4223, wrong=1477, backtracks=1262, failedAssignments=820, nogoods=157, foundSolutions=11, bestBound=13
3.75/3.10
3.75/3.10 num=55, depth=19..28, filters=47415, revisions=(28514,useless=21531), ccks=3683, wck=0.234, mem=37M155
3.75/3.10 decisions=4323, wrong=1517, backtracks=1296, failedAssignments=843, nogoods=161, foundSolutions=11, bestBound=13
3.75/3.10
3.75/3.11 num=56, depth=19..25, filters=48538, revisions=(29276,useless=22110), ccks=3771, wck=0.237, mem=37M155
3.75/3.11 decisions=4429, wrong=1560, backtracks=1331, failedAssignments=868, nogoods=164, foundSolutions=11, bestBound=13
3.75/3.11
4.05/3.11 num=57, depth=18..27, filters=50047, revisions=(30047,useless=22654), ccks=3820, wck=0.24, mem=37M155
4.05/3.11 decisions=4551, wrong=1612, backtracks=1378, failedAssignments=896, nogoods=167, foundSolutions=11, bestBound=13
4.05/3.11
4.05/3.11 num=58, depth=18..26, filters=51793, revisions=(31030,useless=23369), ccks=3918, wck=0.244, mem=37M155
4.05/3.11 decisions=4680, wrong=1667, backtracks=1423, failedAssignments=927, nogoods=173, foundSolutions=11, bestBound=13
4.05/3.11
4.05/3.12 num=59, depth=19..30, filters=53414, revisions=(31970,useless=24073), ccks=4032, wck=0.247, mem=37M155
4.05/3.12 decisions=4825, wrong=1729, backtracks=1481, failedAssignments=961, nogoods=176, foundSolutions=11, bestBound=13
4.05/3.12
4.05/3.12 num=60, depth=19..29, filters=55387, revisions=(32931,useless=24744), ccks=4053, wck=0.25, mem=39M797
4.05/3.12 decisions=4997, wrong=1804, backtracks=1548, failedAssignments=998, nogoods=179, foundSolutions=11, bestBound=13
4.05/3.12
4.05/3.12 num=61, depth=18..28, filters=57417, revisions=(33965,useless=25462), ccks=4149, wck=0.254, mem=39M797
4.05/3.12 decisions=5183, wrong=1887, backtracks=1623, failedAssignments=1039, nogoods=182, foundSolutions=11, bestBound=13
4.05/3.12
4.05/3.13 num=62, depth=18..26, filters=59686, revisions=(35067,useless=26242), ccks=4221, wck=0.258, mem=39M797
4.05/3.13 decisions=5379, wrong=1974, backtracks=1702, failedAssignments=1084, nogoods=185, foundSolutions=11, bestBound=13
4.05/3.13
4.05/3.13 num=63, depth=15..27, filters=62053, revisions=(36383,useless=27193), ccks=4332, wck=0.263, mem=39M797
4.05/3.13 decisions=5587, wrong=2069, backtracks=1785, failedAssignments=1134, nogoods=187, foundSolutions=11, bestBound=13
4.05/3.13
4.05/3.14 num=64, depth=16..27, filters=65094, revisions=(37927,useless=28308), ccks=4425, wck=0.268, mem=39M797
4.05/3.14 decisions=5814, wrong=2172, backtracks=1870, failedAssignments=1189, nogoods=192, foundSolutions=11, bestBound=13
4.05/3.14
4.05/3.14 o 14
4.05/3.14 num=65, depth=20..89, filters=66581, revisions=(38820,useless=28989), ccks=4643, wck=0.271, mem=39M797
4.05/3.14 decisions=5929, wrong=2217, backtracks=1904, failedAssignments=1214, nogoods=198, foundSolutions=12, bestBound=14
4.05/3.14
4.05/3.15 num=66, depth=16..28, filters=70479, revisions=(41137,useless=30715), ccks=4892, wck=0.278, mem=39M797
4.05/3.15 decisions=6219, wrong=2353, backtracks=2020, failedAssignments=1281, nogoods=201, foundSolutions=12, bestBound=14
4.05/3.15
4.05/3.15 num=67, depth=20..25, filters=70973, revisions=(41473,useless=30957), ccks=4944, wck=0.279, mem=39M797
4.05/3.15 decisions=6271, wrong=2369, backtracks=2033, failedAssignments=1292, nogoods=205, foundSolutions=12, bestBound=14
4.05/3.15
4.05/3.15 num=68, depth=20..27, filters=71547, revisions=(41816,useless=31204), ccks=4977, wck=0.28, mem=39M797
4.05/3.15 decisions=6326, wrong=2385, backtracks=2047, failedAssignments=1304, nogoods=207, foundSolutions=12, bestBound=14
4.05/3.15
4.05/3.15 num=69, depth=20..28, filters=72190, revisions=(42201,useless=31500), ccks=5017, wck=0.282, mem=39M797
4.05/3.15 decisions=6387, wrong=2404, backtracks=2062, failedAssignments=1317, nogoods=210, foundSolutions=12, bestBound=14
4.05/3.15
4.05/3.16 num=70, depth=19..26, filters=73043, revisions=(42675,useless=31842), ccks=5052, wck=0.284, mem=39M797
4.05/3.16 decisions=6454, wrong=2428, backtracks=2083, failedAssignments=1331, nogoods=213, foundSolutions=12, bestBound=14
4.05/3.16
4.05/3.16 num=71, depth=19..27, filters=73836, revisions=(43118,useless=32169), ccks=5078, wck=0.286, mem=39M797
4.05/3.16 decisions=6526, wrong=2453, backtracks=2105, failedAssignments=1347, nogoods=216, foundSolutions=12, bestBound=14
4.05/3.16
4.05/3.16 num=72, depth=20..27, filters=74707, revisions=(43637,useless=32571), ccks=5122, wck=0.288, mem=39M797
4.05/3.16 decisions=6594, wrong=2477, backtracks=2128, failedAssignments=1364, nogoods=220, foundSolutions=12, bestBound=14
4.05/3.16
4.05/3.16 num=73, depth=21..27, filters=75698, revisions=(44161,useless=32955), ccks=5164, wck=0.29, mem=39M797
4.05/3.16 decisions=6679, wrong=2508, backtracks=2157, failedAssignments=1383, nogoods=223, foundSolutions=12, bestBound=14
4.05/3.16
4.05/3.16 num=74, depth=18..25, filters=76957, revisions=(44935,useless=33531), ccks=5253, wck=0.292, mem=39M797
4.05/3.16 decisions=6789, wrong=2554, backtracks=2194, failedAssignments=1404, nogoods=224, foundSolutions=12, bestBound=14
4.05/3.16
4.05/3.16 num=75, depth=18..26, filters=78323, revisions=(45672,useless=34076), ccks=5301, wck=0.294, mem=39M797
4.05/3.16 decisions=6901, wrong=2601, backtracks=2233, failedAssignments=1427, nogoods=226, foundSolutions=12, bestBound=14
4.05/3.16
4.05/3.17 num=76, depth=20..30, filters=79443, revisions=(46265,useless=34509), ccks=5351, wck=0.297, mem=39M797
4.05/3.17 decisions=7007, wrong=2644, backtracks=2274, failedAssignments=1452, nogoods=229, foundSolutions=12, bestBound=14
4.05/3.17
4.05/3.17 num=77, depth=18..28, filters=80678, revisions=(46917,useless=34980), ccks=5384, wck=0.299, mem=39M797
4.05/3.17 decisions=7115, wrong=2688, backtracks=2313, failedAssignments=1480, nogoods=231, foundSolutions=12, bestBound=14
4.05/3.17
4.05/3.17 num=78, depth=20..27, filters=82111, revisions=(47609,useless=35459), ccks=5397, wck=0.301, mem=39M797
4.05/3.17 decisions=7245, wrong=2743, backtracks=2361, failedAssignments=1511, nogoods=235, foundSolutions=12, bestBound=14
4.05/3.17
4.05/3.17 num=79, depth=19..28, filters=83850, revisions=(48608,useless=36195), ccks=5464, wck=0.304, mem=39M797
4.05/3.17 decisions=7400, wrong=2809, backtracks=2422, failedAssignments=1545, nogoods=238, foundSolutions=12, bestBound=14
4.05/3.17
4.05/3.18 num=80, depth=19..27, filters=85508, revisions=(49429,useless=36783), ccks=5512, wck=0.307, mem=39M797
4.05/3.18 decisions=7545, wrong=2870, backtracks=2476, failedAssignments=1582, nogoods=241, foundSolutions=12, bestBound=14
4.05/3.18
4.05/3.18 num=81, depth=18..27, filters=87390, revisions=(50469,useless=37533), ccks=5611, wck=0.31, mem=39M797
4.05/3.18 decisions=7730, wrong=2952, backtracks=2550, failedAssignments=1623, nogoods=245, foundSolutions=12, bestBound=14
4.05/3.18
4.05/3.18 num=82, depth=18..29, filters=89367, revisions=(51426,useless=38211), ccks=5672, wck=0.313, mem=39M797
4.05/3.18 decisions=7912, wrong=3032, backtracks=2622, failedAssignments=1668, nogoods=248, foundSolutions=12, bestBound=14
4.05/3.18
4.05/3.19 num=83, depth=17..28, filters=91658, revisions=(52721,useless=39157), ccks=5773, wck=0.317, mem=39M797
4.05/3.19 decisions=8106, wrong=3120, backtracks=2699, failedAssignments=1718, nogoods=251, foundSolutions=12, bestBound=14
4.05/3.19
4.05/3.19 num=84, depth=18..27, filters=94276, revisions=(53918,useless=39990), ccks=5827, wck=0.322, mem=39M797
4.05/3.19 decisions=8340, wrong=3227, backtracks=2796, failedAssignments=1773, nogoods=255, foundSolutions=12, bestBound=14
4.05/3.19
4.05/3.20 num=85, depth=16..27, filters=97235, revisions=(55774,useless=41403), ccks=6048, wck=0.326, mem=39M797
4.05/3.20 decisions=8582, wrong=3338, backtracks=2899, failedAssignments=1834, nogoods=258, foundSolutions=12, bestBound=14
4.05/3.20
4.05/3.20 num=86, depth=16..26, filters=100165, revisions=(57581,useless=42754), ccks=6165, wck=0.331, mem=42M440
4.05/3.20 decisions=8836, wrong=3457, backtracks=3007, failedAssignments=1901, nogoods=260, foundSolutions=12, bestBound=14
4.05/3.20
4.35/3.21 num=87, depth=17..26, filters=102980, revisions=(59620,useless=44239), ccks=6513, wck=0.336, mem=42M440
4.35/3.21 decisions=9133, wrong=3595, backtracks=3140, failedAssignments=1975, nogoods=263, foundSolutions=12, bestBound=14
4.35/3.21
4.35/3.21 num=88, depth=17..26, filters=106253, revisions=(61532,useless=45618), ccks=6697, wck=0.341, mem=42M440
4.35/3.21 decisions=9427, wrong=3732, backtracks=3266, failedAssignments=2056, nogoods=268, foundSolutions=12, bestBound=14
4.35/3.21
4.35/3.22 num=89, depth=18..30, filters=111450, revisions=(64512,useless=47785), ccks=7051, wck=0.348, mem=42M440
4.35/3.22 decisions=9824, wrong=3921, backtracks=3435, failedAssignments=2145, nogoods=273, foundSolutions=12, bestBound=14
4.35/3.22
4.35/3.22 num=90, depth=16..26, filters=116495, revisions=(67542,useless=50019), ccks=7337, wck=0.354, mem=42M440
4.35/3.22 decisions=10217, wrong=4108, backtracks=3605, failedAssignments=2243, nogoods=279, foundSolutions=12, bestBound=14
4.35/3.22
4.35/3.23 num=91, depth=16..27, filters=122550, revisions=(70560,useless=52146), ccks=7526, wck=0.362, mem=42M440
4.35/3.23 decisions=10635, wrong=4307, backtracks=3781, failedAssignments=2351, nogoods=282, foundSolutions=12, bestBound=14
4.35/3.23
4.35/3.24 num=92, depth=14..28, filters=127147, revisions=(73270,useless=54141), ccks=7754, wck=0.368, mem=42M440
4.35/3.24 decisions=11045, wrong=4503, backtracks=3965, failedAssignments=2470, nogoods=286, foundSolutions=12, bestBound=14
4.35/3.24
4.35/3.25 num=93, depth=17..30, filters=134371, revisions=(77094,useless=56939), ccks=7961, wck=0.377, mem=42M440
4.35/3.25 decisions=11613, wrong=4777, backtracks=4222, failedAssignments=2601, nogoods=291, foundSolutions=12, bestBound=14
4.35/3.25
4.35/3.25 o 16
4.35/3.25 num=94, depth=18..89, filters=137165, revisions=(78852,useless=58224), ccks=8259, wck=0.381, mem=42M440
4.35/3.25 decisions=11845, wrong=4882, backtracks=4320, failedAssignments=2653, nogoods=297, foundSolutions=13, bestBound=16
4.35/3.25
4.35/3.26 num=95, depth=13..26, filters=144417, revisions=(83322,useless=61611), ccks=8608, wck=0.39, mem=42M440
4.35/3.26 decisions=12445, wrong=5173, backtracks=4587, failedAssignments=2811, nogoods=303, foundSolutions=13, bestBound=16
4.35/3.26
4.35/3.26 num=96, depth=19..26, filters=145026, revisions=(83721,useless=61910), ccks=8653, wck=0.391, mem=42M440
4.35/3.26 decisions=12502, wrong=5192, backtracks=4605, failedAssignments=2822, nogoods=306, foundSolutions=13, bestBound=16
4.35/3.26
4.35/3.26 num=97, depth=18..23, filters=145746, revisions=(84173,useless=62248), ccks=8681, wck=0.392, mem=42M440
4.35/3.26 decisions=12561, wrong=5212, backtracks=4622, failedAssignments=2834, nogoods=309, foundSolutions=13, bestBound=16
4.35/3.26
4.35/3.26 num=98, depth=18..26, filters=146291, revisions=(84512,useless=62506), ccks=8717, wck=0.393, mem=42M440
4.35/3.26 decisions=12616, wrong=5229, backtracks=4634, failedAssignments=2847, nogoods=314, foundSolutions=13, bestBound=16
4.35/3.26
4.35/3.26 num=99, depth=18..27, filters=146874, revisions=(84864,useless=62766), ccks=8744, wck=0.394, mem=42M440
4.35/3.26 decisions=12672, wrong=5247, backtracks=4650, failedAssignments=2861, nogoods=316, foundSolutions=13, bestBound=16
4.35/3.26
4.35/3.27 num=100, depth=19..27, filters=147642, revisions=(85310,useless=63094), ccks=8789, wck=0.395, mem=42M440
4.35/3.27 decisions=12735, wrong=5269, backtracks=4667, failedAssignments=2877, nogoods=319, foundSolutions=13, bestBound=16
4.35/3.27
4.35/3.27 num=101, depth=18..26, filters=148495, revisions=(85800,useless=63456), ccks=8821, wck=0.396, mem=42M440
4.35/3.27 decisions=12810, wrong=5296, backtracks=4687, failedAssignments=2894, nogoods=324, foundSolutions=13, bestBound=16
4.35/3.27
4.35/3.27 num=102, depth=19..26, filters=149422, revisions=(86331,useless=63837), ccks=8872, wck=0.398, mem=42M440
4.35/3.27 decisions=12894, wrong=5327, backtracks=4713, failedAssignments=2913, nogoods=328, foundSolutions=13, bestBound=16
4.35/3.27
4.35/3.27 num=103, depth=17..26, filters=150463, revisions=(86896,useless=64254), ccks=8913, wck=0.399, mem=42M440
4.35/3.27 decisions=12985, wrong=5362, backtracks=4740, failedAssignments=2934, nogoods=332, foundSolutions=13, bestBound=16
4.35/3.27
4.35/3.27 num=104, depth=18..26, filters=151769, revisions=(87649,useless=64811), ccks=9002, wck=0.401, mem=45M82
4.35/3.27 decisions=13090, wrong=5404, backtracks=4777, failedAssignments=2957, nogoods=336, foundSolutions=13, bestBound=16
4.35/3.27
4.35/3.27 num=105, depth=19..27, filters=153126, revisions=(88377,useless=65319), ccks=9048, wck=0.402, mem=45M82
4.35/3.27 decisions=13206, wrong=5451, backtracks=4816, failedAssignments=2982, nogoods=340, foundSolutions=13, bestBound=16
4.35/3.27
4.35/3.27 num=106, depth=18..26, filters=154571, revisions=(89064,useless=65815), ccks=9067, wck=0.404, mem=45M82
4.35/3.27 decisions=13326, wrong=5502, backtracks=4862, failedAssignments=3010, nogoods=342, foundSolutions=13, bestBound=16
4.35/3.27
4.35/3.28 num=107, depth=17..26, filters=155861, revisions=(89881,useless=66415), ccks=9160, wck=0.406, mem=45M82
4.35/3.28 decisions=13449, wrong=5553, backtracks=4906, failedAssignments=3041, nogoods=346, foundSolutions=13, bestBound=16
4.35/3.28
4.35/3.28 num=108, depth=20..29, filters=157287, revisions=(90594,useless=66915), ccks=9183, wck=0.408, mem=45M82
4.35/3.28 decisions=13574, wrong=5604, backtracks=4951, failedAssignments=3075, nogoods=350, foundSolutions=13, bestBound=16
4.35/3.28
4.35/3.28 num=109, depth=17..25, filters=158937, revisions=(91428,useless=67508), ccks=9223, wck=0.41, mem=45M82
4.35/3.28 decisions=13731, wrong=5673, backtracks=5012, failedAssignments=3112, nogoods=356, foundSolutions=13, bestBound=16
4.35/3.28
4.35/3.28 num=110, depth=16..25, filters=160705, revisions=(92365,useless=68187), ccks=9272, wck=0.413, mem=45M82
4.35/3.28 decisions=13871, wrong=5734, backtracks=5065, failedAssignments=3153, nogoods=361, foundSolutions=13, bestBound=16
4.35/3.28
4.35/3.28 num=111, depth=17..26, filters=162449, revisions=(93487,useless=69013), ccks=9393, wck=0.415, mem=45M82
4.35/3.28 decisions=14041, wrong=5810, backtracks=5136, failedAssignments=3198, nogoods=366, foundSolutions=13, bestBound=16
4.35/3.28
4.35/3.29 num=112, depth=18..29, filters=164638, revisions=(94529,useless=69733), ccks=9472, wck=0.418, mem=45M82
4.35/3.29 decisions=14226, wrong=5893, backtracks=5216, failedAssignments=3248, nogoods=368, foundSolutions=13, bestBound=16
4.35/3.29
4.35/3.29 num=113, depth=16..25, filters=166991, revisions=(95910,useless=70727), ccks=9652, wck=0.421, mem=45M82
4.35/3.29 decisions=14442, wrong=5992, backtracks=5305, failedAssignments=3303, nogoods=371, foundSolutions=13, bestBound=16
4.35/3.29
4.35/3.29 num=114, depth=15..27, filters=169958, revisions=(97420,useless=71823), ccks=9742, wck=0.424, mem=45M82
4.35/3.29 decisions=14694, wrong=6109, backtracks=5409, failedAssignments=3364, nogoods=373, foundSolutions=13, bestBound=16
4.35/3.29
4.65/3.30 num=115, depth=16..26, filters=173693, revisions=(99542,useless=73376), ccks=9948, wck=0.429, mem=45M82
4.65/3.30 decisions=14988, wrong=6246, backtracks=5529, failedAssignments=3431, nogoods=378, foundSolutions=13, bestBound=16
4.65/3.30
4.65/3.30 num=116, depth=16..28, filters=176434, revisions=(101277,useless=74638), ccks=10186, wck=0.433, mem=45M82
4.65/3.30 decisions=15255, wrong=6370, backtracks=5641, failedAssignments=3505, nogoods=385, foundSolutions=13, bestBound=16
4.65/3.30
4.65/3.31 num=117, depth=17..28, filters=181011, revisions=(103655,useless=76336), ccks=10416, wck=0.438, mem=45M82
4.65/3.31 decisions=15582, wrong=6523, backtracks=5775, failedAssignments=3586, nogoods=389, foundSolutions=13, bestBound=16
4.65/3.31
4.65/3.31 num=118, depth=16..27, filters=185403, revisions=(105946,useless=77980), ccks=10586, wck=0.443, mem=45M82
4.65/3.31 decisions=15919, wrong=6680, backtracks=5915, failedAssignments=3675, nogoods=393, foundSolutions=13, bestBound=16
4.65/3.31
4.65/3.32 num=119, depth=16..28, filters=190201, revisions=(108414,useless=79735), ccks=10810, wck=0.448, mem=45M82
4.65/3.32 decisions=16293, wrong=6858, backtracks=6074, failedAssignments=3773, nogoods=397, foundSolutions=13, bestBound=16
4.65/3.32
4.65/3.32 num=120, depth=14..28, filters=196256, revisions=(111792,useless=82203), ccks=11121, wck=0.455, mem=45M82
4.65/3.32 decisions=16750, wrong=7077, backtracks=6276, failedAssignments=3881, nogoods=402, foundSolutions=13, bestBound=16
4.65/3.32
4.65/3.33 num=121, depth=16..28, filters=200584, revisions=(114558,useless=84193), ccks=11515, wck=0.461, mem=45M82
4.65/3.33 decisions=17164, wrong=7276, backtracks=6460, failedAssignments=4000, nogoods=404, foundSolutions=13, bestBound=16
4.65/3.33
4.65/3.34 num=122, depth=16..27, filters=206026, revisions=(117612,useless=86430), ccks=11816, wck=0.467, mem=45M82
4.65/3.34 decisions=17627, wrong=7499, backtracks=6664, failedAssignments=4131, nogoods=406, foundSolutions=13, bestBound=16
4.65/3.34
4.65/3.34 num=123, depth=16..28, filters=213221, revisions=(121606,useless=89353), ccks=12162, wck=0.475, mem=47M725
4.65/3.34 decisions=18185, wrong=7768, backtracks=6908, failedAssignments=4275, nogoods=410, foundSolutions=13, bestBound=16
4.65/3.34
4.65/3.35 num=124, depth=16..28, filters=220023, revisions=(125497,useless=92144), ccks=12595, wck=0.483, mem=47M725
4.65/3.35 decisions=18748, wrong=8039, backtracks=7148, failedAssignments=4433, nogoods=414, foundSolutions=13, bestBound=16
4.65/3.35
4.65/3.36 num=125, depth=15..27, filters=227470, revisions=(129714,useless=95135), ccks=12976, wck=0.492, mem=47M725
4.65/3.36 decisions=19401, wrong=8354, backtracks=7443, failedAssignments=4607, nogoods=418, foundSolutions=13, bestBound=16
4.65/3.36
4.65/3.37 num=126, depth=16..28, filters=235197, revisions=(134791,useless=98951), ccks=13654, wck=0.501, mem=47M725
4.65/3.37 decisions=20120, wrong=8703, backtracks=7766, failedAssignments=4798, nogoods=424, foundSolutions=13, bestBound=16
4.65/3.37
4.65/3.38 num=127, depth=15..29, filters=244411, revisions=(140292,useless=103026), ccks=14271, wck=0.511, mem=47M725
4.65/3.38 decisions=20888, wrong=9077, backtracks=8113, failedAssignments=5009, nogoods=428, foundSolutions=13, bestBound=16
4.65/3.38
4.65/3.39 o 17
4.65/3.39 num=128, depth=15..89, filters=250139, revisions=(143767,useless=105630), ccks=14789, wck=0.518, mem=47M725
4.65/3.39 decisions=21281, wrong=9263, backtracks=8283, failedAssignments=5090, nogoods=434, foundSolutions=14, bestBound=17
4.65/3.39
4.97/3.40 num=129, depth=12..26, filters=262908, revisions=(151514,useless=111482), ccks=15596, wck=0.531, mem=47M725
4.97/3.40 decisions=22328, wrong=9778, backtracks=8760, failedAssignments=5345, nogoods=438, foundSolutions=14, bestBound=17
4.97/3.40
4.97/3.40 num=130, depth=20..26, filters=263361, revisions=(151843,useless=111735), ccks=15637, wck=0.532, mem=47M725
4.97/3.40 decisions=22376, wrong=9792, backtracks=8771, failedAssignments=5356, nogoods=441, foundSolutions=14, bestBound=17
4.97/3.40
4.97/3.40 num=131, depth=19..26, filters=263939, revisions=(152276,useless=112067), ccks=15691, wck=0.533, mem=47M725
4.97/3.40 decisions=22431, wrong=9809, backtracks=8783, failedAssignments=5368, nogoods=445, foundSolutions=14, bestBound=17
4.97/3.40
4.97/3.40 num=132, depth=16..21, filters=264544, revisions=(152732,useless=112425), ccks=15726, wck=0.534, mem=47M725
4.97/3.40 decisions=22497, wrong=9833, backtracks=8801, failedAssignments=5381, nogoods=448, foundSolutions=14, bestBound=17
4.97/3.40
4.97/3.40 num=133, depth=15..25, filters=265254, revisions=(153173,useless=112757), ccks=15766, wck=0.535, mem=47M725
4.97/3.40 decisions=22568, wrong=9859, backtracks=8822, failedAssignments=5395, nogoods=450, foundSolutions=14, bestBound=17
4.97/3.40
4.97/3.40 num=134, depth=17..26, filters=265957, revisions=(153652,useless=113116), ccks=15833, wck=0.536, mem=47M725
4.97/3.40 decisions=22636, wrong=9883, backtracks=8840, failedAssignments=5411, nogoods=455, foundSolutions=14, bestBound=17
4.97/3.40
4.97/3.41 num=135, depth=17..25, filters=266812, revisions=(154263,useless=113567), ccks=15915, wck=0.537, mem=47M725
4.97/3.41 decisions=22717, wrong=9914, backtracks=8864, failedAssignments=5428, nogoods=461, foundSolutions=14, bestBound=17
4.97/3.41
4.97/3.41 num=136, depth=16..24, filters=267763, revisions=(154942,useless=114077), ccks=16012, wck=0.538, mem=47M725
4.97/3.41 decisions=22807, wrong=9949, backtracks=8890, failedAssignments=5447, nogoods=466, foundSolutions=14, bestBound=17
4.97/3.41
4.97/3.41 num=137, depth=16..26, filters=268915, revisions=(155545,useless=114532), ccks=16047, wck=0.54, mem=47M725
4.97/3.41 decisions=22899, wrong=9985, backtracks=8921, failedAssignments=5468, nogoods=468, foundSolutions=14, bestBound=17
4.97/3.41
4.97/3.41 num=138, depth=16..25, filters=270418, revisions=(156411,useless=115164), ccks=16135, wck=0.541, mem=47M725
4.97/3.41 decisions=23013, wrong=10033, backtracks=8962, failedAssignments=5491, nogoods=475, foundSolutions=14, bestBound=17
4.97/3.41
4.97/3.41 num=139, depth=15..24, filters=271707, revisions=(157031,useless=115609), ccks=16159, wck=0.543, mem=50M367
4.97/3.41 decisions=23131, wrong=10084, backtracks=9009, failedAssignments=5516, nogoods=479, foundSolutions=14, bestBound=17
4.97/3.41
4.97/3.41 num=140, depth=18..25, filters=272813, revisions=(157743,useless=116132), ccks=16243, wck=0.544, mem=50M367
4.97/3.41 decisions=23251, wrong=10134, backtracks=9055, failedAssignments=5544, nogoods=482, foundSolutions=14, bestBound=17
4.97/3.41
4.97/3.42 num=141, depth=19..28, filters=274434, revisions=(158690,useless=116844), ccks=16328, wck=0.546, mem=50M367
4.97/3.42 decisions=23398, wrong=10197, backtracks=9108, failedAssignments=5575, nogoods=486, foundSolutions=14, bestBound=17
4.97/3.42
4.97/3.42 num=142, depth=16..26, filters=275805, revisions=(159457,useless=117388), ccks=16394, wck=0.548, mem=50M367
4.97/3.42 decisions=23522, wrong=10250, backtracks=9157, failedAssignments=5609, nogoods=492, foundSolutions=14, bestBound=17
4.97/3.42
4.97/3.42 num=143, depth=17..25, filters=277818, revisions=(160487,useless=118119), ccks=16444, wck=0.55, mem=50M367
4.97/3.42 decisions=23697, wrong=10329, backtracks=9230, failedAssignments=5646, nogoods=496, foundSolutions=14, bestBound=17
4.97/3.42
4.97/3.42 num=144, depth=17..27, filters=279916, revisions=(161816,useless=119116), ccks=16593, wck=0.553, mem=50M367
4.97/3.42 decisions=23880, wrong=10412, backtracks=9311, failedAssignments=5687, nogoods=498, foundSolutions=14, bestBound=17
4.97/3.42
4.97/3.42 num=145, depth=16..28, filters=281987, revisions=(162960,useless=119940), ccks=16705, wck=0.555, mem=50M367
4.97/3.42 decisions=24045, wrong=10484, backtracks=9374, failedAssignments=5732, nogoods=503, foundSolutions=14, bestBound=17
4.97/3.42
4.97/3.43 num=146, depth=17..26, filters=284579, revisions=(164274,useless=120868), ccks=16771, wck=0.558, mem=50M367
4.97/3.43 decisions=24238, wrong=10570, backtracks=9453, failedAssignments=5782, nogoods=507, foundSolutions=14, bestBound=17
4.97/3.43
4.97/3.43 num=147, depth=17..29, filters=286654, revisions=(165642,useless=121899), ccks=16926, wck=0.56, mem=50M367
4.97/3.43 decisions=24433, wrong=10657, backtracks=9536, failedAssignments=5837, nogoods=509, foundSolutions=14, bestBound=17
4.97/3.43
4.97/3.43 num=148, depth=16..27, filters=289356, revisions=(166954,useless=122798), ccks=16991, wck=0.563, mem=50M367
4.97/3.43 decisions=24663, wrong=10763, backtracks=9639, failedAssignments=5898, nogoods=511, foundSolutions=14, bestBound=17
4.97/3.43
4.97/3.44 num=149, depth=15..27, filters=292556, revisions=(168706,useless=124074), ccks=17109, wck=0.567, mem=50M367
4.97/3.44 decisions=24913, wrong=10880, backtracks=9745, failedAssignments=5965, nogoods=513, foundSolutions=14, bestBound=17
4.97/3.44
4.97/3.44 num=150, depth=17..29, filters=296087, revisions=(170481,useless=125310), ccks=17231, wck=0.57, mem=50M367
4.97/3.44 decisions=25192, wrong=11009, backtracks=9852, failedAssignments=6039, nogoods=518, foundSolutions=14, bestBound=17
4.97/3.44
4.97/3.44 num=151, depth=17..28, filters=299403, revisions=(172393,useless=126694), ccks=17462, wck=0.574, mem=50M367
4.97/3.44 decisions=25491, wrong=11148, backtracks=9979, failedAssignments=6120, nogoods=522, foundSolutions=14, bestBound=17
4.97/3.44
4.97/3.45 num=152, depth=17..28, filters=303373, revisions=(174321,useless=128064), ccks=17571, wck=0.578, mem=50M367
4.97/3.45 decisions=25816, wrong=11302, backtracks=10119, failedAssignments=6209, nogoods=525, foundSolutions=14, bestBound=17
4.97/3.45
4.97/3.45 num=153, depth=15..26, filters=308077, revisions=(177089,useless=130090), ccks=17919, wck=0.583, mem=50M367
4.97/3.45 decisions=26213, wrong=11491, backtracks=10294, failedAssignments=6307, nogoods=527, foundSolutions=14, bestBound=17
4.97/3.45
4.97/3.46 num=154, depth=14..26, filters=312674, revisions=(180115,useless=132321), ccks=18329, wck=0.588, mem=50M367
4.97/3.46 decisions=26625, wrong=11687, backtracks=10481, failedAssignments=6415, nogoods=530, foundSolutions=14, bestBound=17
4.97/3.46
4.97/3.46 num=155, depth=16..28, filters=317495, revisions=(182991,useless=134460), ccks=18587, wck=0.594, mem=50M367
4.97/3.46 decisions=27060, wrong=11896, backtracks=10675, failedAssignments=6534, nogoods=534, foundSolutions=14, bestBound=17
4.97/3.46
4.97/3.47 num=156, depth=14..25, filters=322748, revisions=(186126,useless=136721), ccks=18903, wck=0.599, mem=50M367
4.97/3.47 decisions=27516, wrong=12114, backtracks=10879, failedAssignments=6665, nogoods=538, foundSolutions=14, bestBound=17
4.97/3.47
4.97/3.47 num=157, depth=16..29, filters=328513, revisions=(189764,useless=139439), ccks=19319, wck=0.606, mem=50M367
4.97/3.47 decisions=28005, wrong=12349, backtracks=11097, failedAssignments=6809, nogoods=544, foundSolutions=14, bestBound=17
4.97/3.47
4.97/3.48 num=158, depth=16..27, filters=335911, revisions=(193518,useless=142146), ccks=19530, wck=0.613, mem=53M10
4.97/3.48 decisions=28573, wrong=12624, backtracks=11348, failedAssignments=6967, nogoods=548, foundSolutions=14, bestBound=17
4.97/3.48
4.97/3.49 num=159, depth=14..29, filters=344552, revisions=(198826,useless=146006), ccks=20355, wck=0.622, mem=53M10
4.97/3.49 decisions=29313, wrong=12985, backtracks=11682, failedAssignments=7141, nogoods=553, foundSolutions=14, bestBound=17
4.97/3.49
5.11/3.50 num=160, depth=15..28, filters=354219, revisions=(203942,useless=149706), ccks=20617, wck=0.632, mem=53M10
5.11/3.50 decisions=30076, wrong=13358, backtracks=12029, failedAssignments=7332, nogoods=558, foundSolutions=14, bestBound=17
5.11/3.50
5.11/3.51 num=161, depth=16..27, filters=362832, revisions=(209049,useless=153440), ccks=21227, wck=0.642, mem=53M10
5.11/3.51 decisions=30788, wrong=13705, backtracks=12352, failedAssignments=7543, nogoods=563, foundSolutions=14, bestBound=17
5.11/3.51
5.11/3.52 num=162, depth=15..28, filters=373801, revisions=(214958,useless=157629), ccks=21835, wck=0.653, mem=53M10
5.11/3.52 decisions=31664, wrong=14134, backtracks=12749, failedAssignments=7775, nogoods=566, foundSolutions=14, bestBound=17
5.11/3.52
5.11/3.54 num=163, depth=14..28, filters=386926, revisions=(222688,useless=163211), ccks=22742, wck=0.667, mem=53M10
5.11/3.54 decisions=32684, wrong=14636, backtracks=13211, failedAssignments=8030, nogoods=568, foundSolutions=14, bestBound=17
5.11/3.54
5.11/3.55 num=164, depth=13..25, filters=399887, revisions=(230224,useless=168621), ccks=23503, wck=0.68, mem=53M10
5.11/3.55 decisions=33760, wrong=15166, backtracks=13698, failedAssignments=8311, nogoods=573, foundSolutions=14, bestBound=17
5.11/3.55
5.11/3.56 num=165, depth=13..28, filters=412351, revisions=(239007,useless=175126), ccks=24965, wck=0.694, mem=55M652
5.11/3.56 decisions=34905, wrong=15729, backtracks=14220, failedAssignments=8620, nogoods=579, foundSolutions=14, bestBound=17
5.11/3.56
5.11/3.58 num=166, depth=14..27, filters=426771, revisions=(247148,useless=181079), ccks=25516, wck=0.708, mem=55M652
5.11/3.58 decisions=36175, wrong=16354, backtracks=14808, failedAssignments=8960, nogoods=583, foundSolutions=14, bestBound=17
5.11/3.58
5.11/3.60 num=167, depth=13..28, filters=446354, revisions=(257490,useless=188528), ccks=26114, wck=0.727, mem=55M652
5.11/3.60 decisions=37700, wrong=17110, backtracks=15528, failedAssignments=9334, nogoods=587, foundSolutions=14, bestBound=17
5.11/3.60
5.23/3.62 num=168, depth=9..26, filters=466939, revisions=(269593,useless=197349), ccks=27343, wck=0.748, mem=55M652
5.23/3.62 decisions=39334, wrong=17918, backtracks=16246, failedAssignments=9745, nogoods=592, foundSolutions=14, bestBound=17
5.23/3.62
5.23/3.64 num=169, depth=13..29, filters=491831, revisions=(284250,useless=207961), ccks=28952, wck=0.772, mem=58M294
5.23/3.64 decisions=41239, wrong=18862, backtracks=17125, failedAssignments=10197, nogoods=596, foundSolutions=14, bestBound=17
5.23/3.64
5.23/3.66 num=170, depth=11..27, filters=513291, revisions=(297547,useless=217638), ccks=30566, wck=0.794, mem=58M294
5.23/3.66 decisions=43158, wrong=19811, backtracks=18008, failedAssignments=10694, nogoods=600, foundSolutions=14, bestBound=17
5.23/3.66
5.23/3.68 o 18
5.23/3.68 num=171, depth=13..89, filters=526694, revisions=(305557,useless=223402), ccks=31578, wck=0.808, mem=58M294
5.23/3.68 decisions=44273, wrong=20360, backtracks=18503, failedAssignments=10972, nogoods=609, foundSolutions=15, bestBound=18
5.23/3.68
5.34/3.71 num=172, depth=10..26, filters=558659, revisions=(323474,useless=236518), ccks=32679, wck=0.84, mem=60M937
5.34/3.71 decisions=46796, wrong=21612, backtracks=19655, failedAssignments=11574, nogoods=615, foundSolutions=15, bestBound=18
5.34/3.71
5.34/3.71 num=173, depth=17..22, filters=559283, revisions=(323808,useless=236761), ccks=32701, wck=0.841, mem=60M937
5.34/3.71 decisions=46848, wrong=21628, backtracks=19667, failedAssignments=11585, nogoods=619, foundSolutions=15, bestBound=18
5.34/3.71
5.34/3.71 num=174, depth=15..23, filters=559835, revisions=(324168,useless=237037), ccks=32737, wck=0.842, mem=60M937
5.34/3.71 decisions=46905, wrong=21649, backtracks=19685, failedAssignments=11597, nogoods=621, foundSolutions=15, bestBound=18
5.34/3.71
5.34/3.71 num=175, depth=14..20, filters=560864, revisions=(324733,useless=237453), ccks=32787, wck=0.843, mem=60M937
5.34/3.71 decisions=46977, wrong=21678, backtracks=19707, failedAssignments=11610, nogoods=623, foundSolutions=15, bestBound=18
5.34/3.71
5.34/3.71 num=176, depth=14..22, filters=561746, revisions=(325265,useless=237845), ccks=32833, wck=0.844, mem=60M937
5.34/3.71 decisions=47050, wrong=21705, backtracks=19727, failedAssignments=11624, nogoods=627, foundSolutions=15, bestBound=18
5.34/3.71
5.34/3.71 num=177, depth=16..23, filters=562620, revisions=(325768,useless=238207), ccks=32878, wck=0.845, mem=60M937
5.34/3.71 decisions=47116, wrong=21730, backtracks=19748, failedAssignments=11640, nogoods=628, foundSolutions=15, bestBound=18
5.34/3.71
5.34/3.71 num=178, depth=14..24, filters=563443, revisions=(326266,useless=238575), ccks=32927, wck=0.846, mem=60M937
5.34/3.71 decisions=47198, wrong=21762, backtracks=19774, failedAssignments=11657, nogoods=631, foundSolutions=15, bestBound=18
5.34/3.71
5.34/3.72 num=179, depth=12..21, filters=564838, revisions=(327064,useless=239153), ccks=32988, wck=0.847, mem=60M937
5.34/3.72 decisions=47304, wrong=21807, backtracks=19813, failedAssignments=11676, nogoods=634, foundSolutions=15, bestBound=18
5.34/3.72
5.34/3.72 num=180, depth=14..23, filters=566196, revisions=(327852,useless=239721), ccks=33043, wck=0.849, mem=60M937
5.34/3.72 decisions=47410, wrong=21851, backtracks=19853, failedAssignments=11697, nogoods=637, foundSolutions=15, bestBound=18
5.34/3.72
5.34/3.72 num=181, depth=14..24, filters=567270, revisions=(328506,useless=240196), ccks=33093, wck=0.85, mem=60M937
5.34/3.72 decisions=47498, wrong=21887, backtracks=19884, failedAssignments=11720, nogoods=640, foundSolutions=15, bestBound=18
5.34/3.72
5.34/3.72 num=182, depth=15..26, filters=568531, revisions=(329197,useless=240709), ccks=33122, wck=0.851, mem=60M937
5.34/3.72 decisions=47595, wrong=21928, backtracks=19922, failedAssignments=11745, nogoods=641, foundSolutions=15, bestBound=18
5.34/3.72
5.34/3.72 num=183, depth=15..24, filters=570077, revisions=(329992,useless=241266), ccks=33176, wck=0.853, mem=60M937
5.34/3.72 decisions=47716, wrong=21980, backtracks=19966, failedAssignments=11773, nogoods=643, foundSolutions=15, bestBound=18
5.34/3.72
5.34/3.72 num=184, depth=12..23, filters=571771, revisions=(330933,useless=241945), ccks=33239, wck=0.855, mem=60M937
5.34/3.72 decisions=47858, wrong=22043, backtracks=20016, failedAssignments=11804, nogoods=645, foundSolutions=15, bestBound=18
5.34/3.72
5.34/3.73 num=185, depth=11..22, filters=573813, revisions=(332038,useless=242737), ccks=33286, wck=0.857, mem=60M937
5.34/3.73 decisions=48019, wrong=22117, backtracks=20081, failedAssignments=11838, nogoods=648, foundSolutions=15, bestBound=18
5.34/3.73
5.34/3.73 num=186, depth=18..29, filters=575534, revisions=(333048,useless=243494), ccks=33367, wck=0.859, mem=60M937
5.34/3.73 decisions=48166, wrong=22181, backtracks=20138, failedAssignments=11875, nogoods=651, foundSolutions=15, bestBound=18
5.34/3.73
5.34/3.73 num=187, depth=14..25, filters=577716, revisions=(334214,useless=244327), ccks=33476, wck=0.862, mem=60M937
5.34/3.73 decisions=48328, wrong=22255, backtracks=20205, failedAssignments=11916, nogoods=654, foundSolutions=15, bestBound=18
5.34/3.73
5.34/3.73 num=188, depth=13..24, filters=580064, revisions=(335456,useless=245217), ccks=33541, wck=0.864, mem=60M937
5.34/3.73 decisions=48517, wrong=22341, backtracks=20276, failedAssignments=11961, nogoods=659, foundSolutions=15, bestBound=18
5.34/3.73
5.34/3.74 num=189, depth=14..26, filters=582600, revisions=(337038,useless=246396), ccks=33729, wck=0.867, mem=60M937
5.34/3.74 decisions=48720, wrong=22435, backtracks=20361, failedAssignments=12011, nogoods=662, foundSolutions=15, bestBound=18
5.34/3.74
5.34/3.74 num=190, depth=15..24, filters=585456, revisions=(338448,useless=247396), ccks=33794, wck=0.87, mem=60M937
5.34/3.74 decisions=48940, wrong=22537, backtracks=20447, failedAssignments=12066, nogoods=667, foundSolutions=15, bestBound=18
5.34/3.74
5.34/3.74 num=191, depth=14..25, filters=588300, revisions=(339879,useless=248383), ccks=33919, wck=0.873, mem=60M937
5.34/3.74 decisions=49159, wrong=22637, backtracks=20539, failedAssignments=12127, nogoods=669, foundSolutions=15, bestBound=18
5.34/3.74
5.34/3.75 num=192, depth=15..27, filters=591204, revisions=(341731,useless=249749), ccks=34169, wck=0.876, mem=60M937
5.34/3.75 decisions=49404, wrong=22752, backtracks=20648, failedAssignments=12194, nogoods=671, foundSolutions=15, bestBound=18
5.34/3.75
5.34/3.75 num=193, depth=12..24, filters=594753, revisions=(343804,useless=251246), ccks=34378, wck=0.88, mem=60M937
5.34/3.75 decisions=49697, wrong=22889, backtracks=20769, failedAssignments=12268, nogoods=677, foundSolutions=15, bestBound=18
5.34/3.75
5.34/3.75 num=194, depth=16..28, filters=598706, revisions=(345904,useless=252751), ccks=34585, wck=0.884, mem=60M937
5.34/3.75 decisions=50009, wrong=23036, backtracks=20900, failedAssignments=12349, nogoods=681, foundSolutions=15, bestBound=18
5.34/3.75
5.34/3.76 num=195, depth=15..29, filters=602795, revisions=(347940,useless=254196), ccks=34657, wck=0.889, mem=63M579
5.34/3.76 decisions=50323, wrong=23183, backtracks=21038, failedAssignments=12438, nogoods=686, foundSolutions=15, bestBound=18
5.34/3.76
5.34/3.76 num=196, depth=13..27, filters=607561, revisions=(350702,useless=256212), ccks=34946, wck=0.894, mem=63M579
5.34/3.76 decisions=50711, wrong=23368, backtracks=21205, failedAssignments=12536, nogoods=690, foundSolutions=15, bestBound=18
5.34/3.76
5.34/3.77 num=197, depth=14..25, filters=614285, revisions=(354057,useless=258637), ccks=35089, wck=0.9, mem=63M579
5.34/3.77 decisions=51186, wrong=23597, backtracks=21413, failedAssignments=12644, nogoods=693, foundSolutions=15, bestBound=18
5.34/3.77
5.34/3.77 num=198, depth=15..26, filters=619507, revisions=(357112,useless=260848), ccks=35378, wck=0.906, mem=63M579
5.34/3.77 decisions=51650, wrong=23819, backtracks=21606, failedAssignments=12763, nogoods=697, foundSolutions=15, bestBound=18
5.34/3.77
5.34/3.78 num=199, depth=16..30, filters=624463, revisions=(359517,useless=262524), ccks=35493, wck=0.911, mem=63M579
5.34/3.78 decisions=52078, wrong=24025, backtracks=21800, failedAssignments=12894, nogoods=699, foundSolutions=15, bestBound=18
5.34/3.78
5.34/3.79 num=200, depth=14..25, filters=630844, revisions=(363174,useless=265196), ccks=35838, wck=0.918, mem=63M579
5.34/3.79 decisions=52623, wrong=24289, backtracks=22040, failedAssignments=13038, nogoods=704, foundSolutions=15, bestBound=18
5.34/3.79
5.34/3.79 num=201, depth=15..26, filters=637254, revisions=(367135,useless=268074), ccks=36283, wck=0.925, mem=63M579
5.34/3.79 decisions=53202, wrong=24570, backtracks=22311, failedAssignments=13196, nogoods=710, foundSolutions=15, bestBound=18
5.34/3.79
5.46/3.80 num=202, depth=13..25, filters=644479, revisions=(370958,useless=270830), ccks=36458, wck=0.933, mem=63M579
5.46/3.80 decisions=53843, wrong=24882, backtracks=22604, failedAssignments=13370, nogoods=712, foundSolutions=15, bestBound=18
5.46/3.80
5.46/3.81 num=203, depth=14..29, filters=653442, revisions=(375943,useless=274435), ccks=37118, wck=0.942, mem=63M579
5.46/3.81 decisions=54580, wrong=25240, backtracks=22932, failedAssignments=13561, nogoods=716, foundSolutions=15, bestBound=18
5.46/3.81
5.46/3.82 num=204, depth=15..26, filters=661352, revisions=(381120,useless=278287), ccks=37805, wck=0.951, mem=63M579
5.46/3.82 decisions=55295, wrong=25588, backtracks=23255, failedAssignments=13772, nogoods=724, foundSolutions=15, bestBound=18
5.46/3.82
5.46/3.83 num=205, depth=14..27, filters=673845, revisions=(387877,useless=283182), ccks=38369, wck=0.963, mem=66M222
5.46/3.83 decisions=56222, wrong=26043, backtracks=23669, failedAssignments=14004, nogoods=728, foundSolutions=15, bestBound=18
5.46/3.83
5.46/3.84 num=206, depth=10..25, filters=685305, revisions=(395495,useless=288733), ccks=39391, wck=0.976, mem=66M222
5.46/3.84 decisions=57238, wrong=26543, backtracks=24125, failedAssignments=14259, nogoods=732, foundSolutions=15, bestBound=18
5.46/3.84
5.46/3.86 num=207, depth=12..26, filters=700066, revisions=(403629,useless=294607), ccks=40073, wck=0.99, mem=66M222
5.46/3.86 decisions=58345, wrong=27089, backtracks=24603, failedAssignments=14540, nogoods=737, foundSolutions=15, bestBound=18
5.46/3.86
5.46/3.88 num=208, depth=13..27, filters=715532, revisions=(412443,useless=301046), ccks=41077, wck=1.007, mem=66M222
5.46/3.88 decisions=59512, wrong=27664, backtracks=25137, failedAssignments=14849, nogoods=745, foundSolutions=15, bestBound=18
5.46/3.88
5.56/3.90 num=209, depth=13..27, filters=737665, revisions=(424067,useless=309315), ccks=42000, wck=1.029, mem=66M222
5.56/3.90 decisions=60949, wrong=28375, backtracks=25793, failedAssignments=15189, nogoods=751, foundSolutions=15, bestBound=18
5.56/3.90
5.56/3.92 num=210, depth=15..30, filters=756424, revisions=(433777,useless=316306), ccks=42872, wck=1.048, mem=68M864
5.56/3.92 decisions=62352, wrong=29067, backtracks=26425, failedAssignments=15563, nogoods=757, foundSolutions=15, bestBound=18
5.56/3.92
5.56/3.94 num=211, depth=12..27, filters=773458, revisions=(444236,useless=323953), ccks=43976, wck=1.067, mem=68M864
5.56/3.94 decisions=63827, wrong=29798, backtracks=27101, failedAssignments=15974, nogoods=761, foundSolutions=15, bestBound=18
5.56/3.94
5.56/3.96 num=212, depth=12..28, filters=796674, revisions=(456798,useless=333009), ccks=44997, wck=1.09, mem=68M864
5.56/3.96 decisions=65679, wrong=30714, backtracks=27950, failedAssignments=16426, nogoods=765, foundSolutions=15, bestBound=18
5.56/3.96
5.56/3.98 num=213, depth=12..28, filters=821405, revisions=(473474,useless=345363), ccks=46862, wck=1.113, mem=71M507
5.56/3.98 decisions=67757, wrong=31745, backtracks=28887, failedAssignments=16923, nogoods=769, foundSolutions=15, bestBound=18
5.56/3.98
5.69/4.01 num=214, depth=12..28, filters=845189, revisions=(488458,useless=356350), ccks=48713, wck=1.14, mem=71M507
5.69/4.01 decisions=69810, wrong=32762, backtracks=29846, failedAssignments=17470, nogoods=772, foundSolutions=15, bestBound=18
5.69/4.01
5.69/4.04 num=215, depth=12..29, filters=876447, revisions=(505749,useless=368692), ccks=49982, wck=1.17, mem=71M507
5.69/4.04 decisions=72275, wrong=33987, backtracks=30972, failedAssignments=18072, nogoods=778, foundSolutions=15, bestBound=18
5.69/4.04
5.69/4.07 num=216, depth=11..27, filters=907434, revisions=(525771,useless=383502), ccks=52243, wck=1.203, mem=74M149
5.69/4.07 decisions=74865, wrong=35274, backtracks=32164, failedAssignments=18734, nogoods=786, foundSolutions=15, bestBound=18
5.69/4.07
5.79/4.11 num=217, depth=12..29, filters=942757, revisions=(545300,useless=397509), ccks=54085, wck=1.238, mem=74M149
5.79/4.11 decisions=77738, wrong=36702, backtracks=33471, failedAssignments=19462, nogoods=789, foundSolutions=15, bestBound=18
5.79/4.11
5.79/4.15 num=218, depth=12..28, filters=981278, revisions=(565667,useless=411977), ccks=55287, wck=1.278, mem=76M792
5.79/4.15 decisions=80844, wrong=38246, backtracks=34890, failedAssignments=20263, nogoods=793, foundSolutions=15, bestBound=18
5.79/4.15
5.79/4.19 num=219, depth=10..28, filters=1025339, revisions=(593279,useless=432576), ccks=57976, wck=1.323, mem=76M792
5.79/4.19 decisions=84304, wrong=39968, backtracks=36490, failedAssignments=21144, nogoods=799, foundSolutions=15, bestBound=18
5.79/4.19
5.90/4.24 num=220, depth=11..27, filters=1077728, revisions=(624284,useless=455092), ccks=60257, wck=1.372, mem=79M434
5.90/4.24 decisions=88383, wrong=41998, backtracks=38368, failedAssignments=22114, nogoods=805, foundSolutions=15, bestBound=18
5.90/4.24
5.90/4.29 num=221, depth=8..30, filters=1128031, revisions=(655287,useless=477483), ccks=63675, wck=1.425, mem=82M76
5.90/4.29 decisions=92709, wrong=44154, backtracks=40357, failedAssignments=23181, nogoods=811, foundSolutions=15, bestBound=18
5.90/4.29
6.00/4.32 o 19
6.00/4.32 num=222, depth=13..89, filters=1148607, revisions=(668452,useless=487436), ccks=65497, wck=1.447, mem=82M76
6.00/4.32 decisions=94524, wrong=45052, backtracks=41209, failedAssignments=23674, nogoods=819, foundSolutions=16, bestBound=19
6.00/4.32
6.00/4.38 num=223, depth=8..25, filters=1212208, revisions=(707540,useless=516320), ccks=68858, wck=1.511, mem=84M719
6.00/4.38 decisions=99734, wrong=47648, backtracks=43650, failedAssignments=24965, nogoods=826, foundSolutions=16, bestBound=19
6.00/4.38
6.00/4.38 num=224, depth=15..22, filters=1212905, revisions=(707950,useless=516608), ccks=68895, wck=1.512, mem=84M719
6.00/4.38 decisions=99795, wrong=47671, backtracks=43673, failedAssignments=24976, nogoods=827, foundSolutions=16, bestBound=19
6.00/4.38
6.00/4.38 num=225, depth=15..25, filters=1213537, revisions=(708312,useless=516867), ccks=68920, wck=1.513, mem=84M719
6.00/4.38 decisions=99854, wrong=47691, backtracks=43690, failedAssignments=24988, nogoods=829, foundSolutions=16, bestBound=19
6.00/4.38
6.00/4.38 num=226, depth=16..24, filters=1214252, revisions=(708773,useless=517202), ccks=68973, wck=1.513, mem=84M719
6.00/4.38 decisions=99922, wrong=47716, backtracks=43711, failedAssignments=25001, nogoods=832, foundSolutions=16, bestBound=19
6.00/4.38
6.00/4.38 num=227, depth=16..24, filters=1214865, revisions=(709179,useless=517490), ccks=69008, wck=1.514, mem=84M719
6.00/4.38 decisions=99982, wrong=47738, backtracks=43731, failedAssignments=25015, nogoods=833, foundSolutions=16, bestBound=19
6.00/4.38
6.00/4.38 num=228, depth=16..27, filters=1215658, revisions=(709696,useless=517865), ccks=69069, wck=1.515, mem=84M719
6.00/4.38 decisions=100058, wrong=47766, backtracks=43755, failedAssignments=25031, nogoods=836, foundSolutions=16, bestBound=19
6.00/4.38
6.00/4.39 num=229, depth=15..22, filters=1216725, revisions=(710363,useless=518355), ccks=69140, wck=1.516, mem=84M719
6.00/4.39 decisions=100144, wrong=47800, backtracks=43785, failedAssignments=25048, nogoods=839, foundSolutions=16, bestBound=19
6.00/4.39
6.00/4.39 num=230, depth=15..23, filters=1217619, revisions=(710894,useless=518732), ccks=69179, wck=1.518, mem=84M719
6.00/4.39 decisions=100232, wrong=47834, backtracks=43815, failedAssignments=25067, nogoods=843, foundSolutions=16, bestBound=19
6.00/4.39
6.00/4.39 num=231, depth=16..25, filters=1218554, revisions=(711501,useless=519169), ccks=69252, wck=1.519, mem=84M719
6.00/4.39 decisions=100318, wrong=47868, backtracks=43843, failedAssignments=25088, nogoods=849, foundSolutions=16, bestBound=19
6.00/4.39
6.00/4.39 num=232, depth=15..25, filters=1219724, revisions=(712158,useless=519629), ccks=69306, wck=1.52, mem=84M719
6.00/4.39 decisions=100421, wrong=47912, backtracks=43881, failedAssignments=25111, nogoods=854, foundSolutions=16, bestBound=19
6.00/4.39
6.00/4.39 num=233, depth=14..24, filters=1221072, revisions=(712899,useless=520162), ccks=69364, wck=1.522, mem=84M719
6.00/4.39 decisions=100538, wrong=47963, backtracks=43926, failedAssignments=25136, nogoods=856, foundSolutions=16, bestBound=19
6.00/4.39
6.00/4.39 num=234, depth=14..23, filters=1222674, revisions=(713876,useless=520861), ccks=69430, wck=1.524, mem=84M719
6.00/4.39 decisions=100656, wrong=48013, backtracks=43970, failedAssignments=25164, nogoods=860, foundSolutions=16, bestBound=19
6.00/4.39
6.00/4.39 num=235, depth=15..26, filters=1223932, revisions=(714627,useless=521399), ccks=69498, wck=1.525, mem=84M719
6.00/4.39 decisions=100765, wrong=48059, backtracks=44008, failedAssignments=25195, nogoods=866, foundSolutions=16, bestBound=19
6.00/4.39
6.10/4.40 num=236, depth=14..23, filters=1226036, revisions=(715899,useless=522329), ccks=69610, wck=1.528, mem=84M719
6.10/4.40 decisions=100910, wrong=48124, backtracks=44067, failedAssignments=25229, nogoods=868, foundSolutions=16, bestBound=19
6.10/4.40
6.10/4.40 num=237, depth=14..26, filters=1228042, revisions=(717148,useless=523212), ccks=69747, wck=1.53, mem=84M719
6.10/4.40 decisions=101073, wrong=48198, backtracks=44134, failedAssignments=25266, nogoods=871, foundSolutions=16, bestBound=19
6.10/4.40
6.10/4.40 num=238, depth=14..25, filters=1230371, revisions=(718490,useless=524173), ccks=69859, wck=1.533, mem=84M719
6.10/4.40 decisions=101259, wrong=48283, backtracks=44214, failedAssignments=25307, nogoods=874, foundSolutions=16, bestBound=19
6.10/4.40
6.10/4.40 num=239, depth=15..25, filters=1232519, revisions=(719778,useless=525115), ccks=69991, wck=1.536, mem=87M361
6.10/4.40 decisions=101436, wrong=48363, backtracks=44285, failedAssignments=25352, nogoods=879, foundSolutions=16, bestBound=19
6.10/4.40
6.10/4.41 num=240, depth=14..24, filters=1235211, revisions=(721266,useless=526184), ccks=70098, wck=1.539, mem=87M361
6.10/4.41 decisions=101637, wrong=48455, backtracks=44368, failedAssignments=25402, nogoods=884, foundSolutions=16, bestBound=19
6.10/4.41
6.10/4.41 num=241, depth=15..26, filters=1237961, revisions=(722845,useless=527367), ccks=70274, wck=1.542, mem=87M361
6.10/4.41 decisions=101844, wrong=48550, backtracks=44460, failedAssignments=25457, nogoods=889, foundSolutions=16, bestBound=19
6.10/4.41
6.10/4.41 num=242, depth=16..26, filters=1240894, revisions=(724477,useless=528550), ccks=70428, wck=1.545, mem=87M361
6.10/4.41 decisions=102077, wrong=48656, backtracks=44567, failedAssignments=25518, nogoods=894, foundSolutions=16, bestBound=19
6.10/4.41
6.10/4.42 num=243, depth=14..26, filters=1244724, revisions=(726521,useless=530018), ccks=70567, wck=1.55, mem=87M361
6.10/4.42 decisions=102359, wrong=48789, backtracks=44689, failedAssignments=25585, nogoods=898, foundSolutions=16, bestBound=19
6.10/4.42
6.10/4.42 num=244, depth=16..27, filters=1247712, revisions=(728245,useless=531267), ccks=70752, wck=1.553, mem=87M361
6.10/4.42 decisions=102610, wrong=48905, backtracks=44799, failedAssignments=25659, nogoods=901, foundSolutions=16, bestBound=19
6.10/4.42
6.10/4.43 num=245, depth=15..25, filters=1250877, revisions=(729774,useless=532335), ccks=70792, wck=1.556, mem=87M361
6.10/4.43 decisions=102900, wrong=49041, backtracks=44926, failedAssignments=25740, nogoods=906, foundSolutions=16, bestBound=19
6.10/4.43
6.10/4.43 num=246, depth=15..27, filters=1255801, revisions=(732450,useless=534355), ccks=70932, wck=1.561, mem=87M361
6.10/4.43 decisions=103275, wrong=49217, backtracks=45089, failedAssignments=25829, nogoods=909, foundSolutions=16, bestBound=19
6.10/4.43
6.10/4.43 num=247, depth=14..24, filters=1259827, revisions=(734383,useless=535714), ccks=71023, wck=1.565, mem=87M361
6.10/4.43 decisions=103617, wrong=49379, backtracks=45237, failedAssignments=25927, nogoods=912, foundSolutions=16, bestBound=19
6.10/4.43
6.10/4.44 num=248, depth=14..27, filters=1265190, revisions=(737441,useless=537914), ccks=71373, wck=1.572, mem=87M361
6.10/4.44 decisions=104042, wrong=49581, backtracks=45410, failedAssignments=26035, nogoods=916, foundSolutions=16, bestBound=19
6.10/4.44
6.10/4.45 num=249, depth=12..25, filters=1272538, revisions=(741368,useless=540746), ccks=71662, wck=1.579, mem=87M361
6.10/4.45 decisions=104577, wrong=49840, backtracks=45641, failedAssignments=26154, nogoods=921, foundSolutions=16, bestBound=19
6.10/4.45
6.10/4.45 num=250, depth=13..28, filters=1277597, revisions=(744459,useless=542944), ccks=72041, wck=1.585, mem=87M361
6.10/4.45 decisions=105056, wrong=50069, backtracks=45848, failedAssignments=26285, nogoods=928, foundSolutions=16, bestBound=19
6.10/4.45
6.10/4.46 num=251, depth=13..27, filters=1284777, revisions=(747989,useless=545474), ccks=72124, wck=1.592, mem=87M361
6.10/4.46 decisions=105627, wrong=50346, backtracks=46109, failedAssignments=26429, nogoods=933, foundSolutions=16, bestBound=19
6.10/4.46
6.10/4.47 o 20
6.10/4.47 num=252, depth=14..89, filters=1288128, revisions=(749501,useless=546531), ccks=72274, wck=1.596, mem=87M361
6.10/4.47 decisions=105889, wrong=50467, backtracks=46213, failedAssignments=26497, nogoods=941, foundSolutions=17, bestBound=20
6.10/4.47
6.10/4.47 num=253, depth=9..21, filters=1297973, revisions=(754888,useless=550450), ccks=72502, wck=1.606, mem=90M4
6.10/4.47 decisions=106593, wrong=50814, backtracks=46530, failedAssignments=26671, nogoods=946, foundSolutions=17, bestBound=20
6.10/4.47
6.10/4.48 num=254, depth=17..22, filters=1298612, revisions=(755236,useless=550699), ccks=72512, wck=1.606, mem=90M4
6.10/4.48 decisions=106654, wrong=50835, backtracks=46548, failedAssignments=26682, nogoods=948, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.48 num=255, depth=15..22, filters=1299390, revisions=(755642,useless=550997), ccks=72527, wck=1.607, mem=90M4
6.10/4.48 decisions=106715, wrong=50857, backtracks=46568, failedAssignments=26694, nogoods=950, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.48 num=256, depth=13..22, filters=1300238, revisions=(756075,useless=551307), ccks=72560, wck=1.608, mem=90M4
6.10/4.48 decisions=106780, wrong=50883, backtracks=46592, failedAssignments=26707, nogoods=951, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.48 num=257, depth=16..22, filters=1301033, revisions=(756499,useless=551619), ccks=72580, wck=1.609, mem=90M4
6.10/4.48 decisions=106846, wrong=50907, backtracks=46608, failedAssignments=26721, nogoods=956, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.48 num=258, depth=16..24, filters=1301904, revisions=(756957,useless=551952), ccks=72589, wck=1.61, mem=90M4
6.10/4.48 decisions=106916, wrong=50934, backtracks=46632, failedAssignments=26737, nogoods=957, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.48 num=259, depth=14..23, filters=1302977, revisions=(757544,useless=552374), ccks=72629, wck=1.611, mem=90M4
6.10/4.48 decisions=107001, wrong=50969, backtracks=46663, failedAssignments=26754, nogoods=959, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.48 num=260, depth=14..22, filters=1304240, revisions=(758239,useless=552880), ccks=72676, wck=1.612, mem=90M4
6.10/4.48 decisions=107098, wrong=51009, backtracks=46698, failedAssignments=26773, nogoods=963, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.48 num=261, depth=12..22, filters=1305118, revisions=(758761,useless=553266), ccks=72726, wck=1.613, mem=90M4
6.10/4.48 decisions=107183, wrong=51045, backtracks=46731, failedAssignments=26794, nogoods=965, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.48 num=262, depth=13..26, filters=1306323, revisions=(759354,useless=553687), ccks=72765, wck=1.615, mem=90M4
6.10/4.48 decisions=107291, wrong=51090, backtracks=46772, failedAssignments=26817, nogoods=967, foundSolutions=17, bestBound=20
6.10/4.48
6.10/4.49 num=263, depth=14..20, filters=1307433, revisions=(759937,useless=554087), ccks=72790, wck=1.616, mem=90M4
6.10/4.49 decisions=107402, wrong=51138, backtracks=46814, failedAssignments=26842, nogoods=971, foundSolutions=17, bestBound=20
6.10/4.49
6.10/4.49 num=264, depth=13..22, filters=1308721, revisions=(760677,useless=554621), ccks=72861, wck=1.617, mem=90M4
6.10/4.49 decisions=107524, wrong=51190, backtracks=46857, failedAssignments=26870, nogoods=975, foundSolutions=17, bestBound=20
6.10/4.49
6.10/4.49 num=265, depth=14..24, filters=1310114, revisions=(761436,useless=555174), ccks=72901, wck=1.619, mem=90M4
6.10/4.49 decisions=107657, wrong=51248, backtracks=46906, failedAssignments=26901, nogoods=982, foundSolutions=17, bestBound=20
6.10/4.49
6.10/4.49 num=266, depth=14..23, filters=1311764, revisions=(762421,useless=555903), ccks=73016, wck=1.621, mem=90M4
6.10/4.49 decisions=107803, wrong=51311, backtracks=46962, failedAssignments=26935, nogoods=984, foundSolutions=17, bestBound=20
6.10/4.49
6.10/4.49 num=267, depth=15..22, filters=1314012, revisions=(763484,useless=556650), ccks=73039, wck=1.623, mem=90M4
6.10/4.49 decisions=107956, wrong=51380, backtracks=47023, failedAssignments=26972, nogoods=988, foundSolutions=17, bestBound=20
6.10/4.49
6.10/4.49 num=268, depth=12..23, filters=1316410, revisions=(764696,useless=557532), ccks=73123, wck=1.625, mem=90M4
6.10/4.49 decisions=108126, wrong=51457, backtracks=47088, failedAssignments=27013, nogoods=993, foundSolutions=17, bestBound=20
6.10/4.49
6.10/4.50 num=269, depth=12..22, filters=1318499, revisions=(765823,useless=558346), ccks=73197, wck=1.627, mem=90M4
6.10/4.50 decisions=108291, wrong=51531, backtracks=47157, failedAssignments=27058, nogoods=998, foundSolutions=17, bestBound=20
6.10/4.50
6.22/4.50 num=270, depth=12..24, filters=1321775, revisions=(767385,useless=559483), ccks=73256, wck=1.63, mem=90M4
6.22/4.50 decisions=108523, wrong=51640, backtracks=47254, failedAssignments=27108, nogoods=1000, foundSolutions=17, bestBound=20
6.22/4.50
6.22/4.50 num=271, depth=13..24, filters=1325172, revisions=(769035,useless=560658), ccks=73358, wck=1.634, mem=90M4
6.22/4.50 decisions=108763, wrong=51752, backtracks=47361, failedAssignments=27163, nogoods=1003, foundSolutions=17, bestBound=20
6.22/4.50
6.22/4.51 num=272, depth=12..23, filters=1328413, revisions=(770737,useless=561874), ccks=73461, wck=1.637, mem=90M4
6.22/4.51 decisions=109007, wrong=51866, backtracks=47460, failedAssignments=27224, nogoods=1006, foundSolutions=17, bestBound=20
6.22/4.51
6.22/4.51 num=273, depth=12..26, filters=1332161, revisions=(772843,useless=563413), ccks=73654, wck=1.641, mem=90M4
6.22/4.51 decisions=109304, wrong=52008, backtracks=47592, failedAssignments=27291, nogoods=1008, foundSolutions=17, bestBound=20
6.22/4.51
6.22/4.52 num=274, depth=13..24, filters=1336975, revisions=(775362,useless=565173), ccks=73816, wck=1.647, mem=90M4
6.22/4.52 decisions=109642, wrong=52168, backtracks=47739, failedAssignments=27365, nogoods=1013, foundSolutions=17, bestBound=20
6.22/4.52
6.22/4.52 num=275, depth=14..26, filters=1340309, revisions=(777305,useless=566568), ccks=73971, wck=1.65, mem=90M4
6.22/4.52 decisions=109929, wrong=52301, backtracks=47860, failedAssignments=27446, nogoods=1016, foundSolutions=17, bestBound=20
6.22/4.52
6.22/4.52 num=276, depth=13..23, filters=1344627, revisions=(779593,useless=568204), ccks=74078, wck=1.654, mem=90M4
6.22/4.52 decisions=110267, wrong=52463, backtracks=48008, failedAssignments=27535, nogoods=1021, foundSolutions=17, bestBound=20
6.22/4.52
6.22/4.53 num=277, depth=13..25, filters=1349744, revisions=(782460,useless=570236), ccks=74378, wck=1.659, mem=90M4
6.22/4.53 decisions=110657, wrong=52650, backtracks=48184, failedAssignments=27633, nogoods=1027, foundSolutions=17, bestBound=20
6.22/4.53
6.22/4.53 num=278, depth=11..24, filters=1355232, revisions=(785202,useless=572157), ccks=74571, wck=1.665, mem=92M646
6.22/4.53 decisions=111076, wrong=52850, backtracks=48372, failedAssignments=27741, nogoods=1032, foundSolutions=17, bestBound=20
6.22/4.53
6.22/4.54 num=279, depth=11..24, filters=1361666, revisions=(788480,useless=574445), ccks=74687, wck=1.672, mem=92M646
6.22/4.54 decisions=111542, wrong=53076, backtracks=48571, failedAssignments=27860, nogoods=1037, foundSolutions=17, bestBound=20
6.22/4.54
6.22/4.55 num=280, depth=12..25, filters=1369830, revisions=(792917,useless=577644), ccks=75016, wck=1.681, mem=92M646
6.22/4.55 decisions=112096, wrong=53345, backtracks=48818, failedAssignments=27991, nogoods=1041, foundSolutions=17, bestBound=20
6.22/4.55
6.22/4.56 num=281, depth=11..24, filters=1377950, revisions=(797322,useless=580872), ccks=75334, wck=1.689, mem=92M646
6.22/4.56 decisions=112682, wrong=53631, backtracks=49082, failedAssignments=28135, nogoods=1045, foundSolutions=17, bestBound=20
6.22/4.56
6.22/4.57 num=282, depth=12..26, filters=1384789, revisions=(800975,useless=583453), ccks=75570, wck=1.697, mem=92M646
6.22/4.57 decisions=113243, wrong=53904, backtracks=49325, failedAssignments=28293, nogoods=1051, foundSolutions=17, bestBound=20
6.22/4.57
6.22/4.57 num=283, depth=12..26, filters=1392682, revisions=(805387,useless=586568), ccks=75955, wck=1.705, mem=92M646
6.22/4.57 decisions=113906, wrong=54227, backtracks=49610, failedAssignments=28467, nogoods=1056, foundSolutions=17, bestBound=20
6.22/4.57
6.22/4.58 num=284, depth=11..28, filters=1402896, revisions=(810685,useless=590365), ccks=76279, wck=1.716, mem=92M646
6.22/4.58 decisions=114665, wrong=54599, backtracks=49940, failedAssignments=28658, nogoods=1061, foundSolutions=17, bestBound=20
6.22/4.58
6.32/4.60 num=285, depth=12..25, filters=1413826, revisions=(817104,useless=595012), ccks=76923, wck=1.728, mem=92M646
6.32/4.60 decisions=115433, wrong=54975, backtracks=50279, failedAssignments=28869, nogoods=1065, foundSolutions=17, bestBound=20
6.32/4.60
6.32/4.61 num=286, depth=12..26, filters=1423811, revisions=(822228,useless=598563), ccks=77296, wck=1.739, mem=95M289
6.32/4.61 decisions=116259, wrong=55381, backtracks=50630, failedAssignments=29101, nogoods=1070, foundSolutions=17, bestBound=20
6.32/4.61
6.32/4.62 num=287, depth=12..26, filters=1438992, revisions=(829367,useless=603519), ccks=77524, wck=1.755, mem=95M289
6.32/4.62 decisions=117317, wrong=55903, backtracks=51121, failedAssignments=29356, nogoods=1075, foundSolutions=17, bestBound=20
6.32/4.62
6.32/4.64 num=288, depth=11..25, filters=1454472, revisions=(838374,useless=610057), ccks=78284, wck=1.77, mem=95M289
6.32/4.64 decisions=118488, wrong=56479, backtracks=51650, failedAssignments=29637, nogoods=1079, foundSolutions=17, bestBound=20
6.32/4.64
6.32/4.65 num=289, depth=13..27, filters=1467958, revisions=(845600,useless=615172), ccks=78660, wck=1.785, mem=95M289
6.32/4.65 decisions=119604, wrong=57028, backtracks=52164, failedAssignments=29946, nogoods=1084, foundSolutions=17, bestBound=20
6.32/4.65
6.32/4.67 num=290, depth=12..28, filters=1483162, revisions=(855130,useless=622088), ccks=79839, wck=1.8, mem=95M289
6.32/4.67 decisions=120947, wrong=57691, backtracks=52771, failedAssignments=30286, nogoods=1090, foundSolutions=17, bestBound=20
6.32/4.67
6.32/4.69 num=291, depth=12..29, filters=1503101, revisions=(865969,useless=629863), ccks=80745, wck=1.821, mem=97M931
6.32/4.69 decisions=122485, wrong=58453, backtracks=53467, failedAssignments=30660, nogoods=1096, foundSolutions=17, bestBound=20
6.32/4.69
6.42/4.71 num=292, depth=11..27, filters=1523516, revisions=(878709,useless=639091), ccks=82519, wck=1.843, mem=97M931
6.42/4.71 decisions=124122, wrong=59264, backtracks=54215, failedAssignments=31071, nogoods=1101, foundSolutions=17, bestBound=20
6.42/4.71
6.42/4.73 num=293, depth=11..26, filters=1542675, revisions=(889763,useless=647023), ccks=83513, wck=1.864, mem=97M931
6.42/4.73 decisions=125749, wrong=60070, backtracks=54973, failedAssignments=31523, nogoods=1110, foundSolutions=17, bestBound=20
6.42/4.73
6.42/4.76 num=294, depth=11..28, filters=1564406, revisions=(902570,useless=656158), ccks=84587, wck=1.888, mem=100M573
6.42/4.76 decisions=127662, wrong=61017, backtracks=55838, failedAssignments=32020, nogoods=1113, foundSolutions=17, bestBound=20
6.42/4.76
6.42/4.79 num=295, depth=12..27, filters=1591758, revisions=(917865,useless=667241), ccks=85732, wck=1.918, mem=100M573
6.42/4.79 decisions=129754, wrong=62054, backtracks=56796, failedAssignments=32567, nogoods=1118, foundSolutions=17, bestBound=20
6.42/4.79
6.52/4.82 num=296, depth=12..28, filters=1622467, revisions=(935202,useless=679823), ccks=87626, wck=1.952, mem=100M573
6.52/4.82 decisions=132107, wrong=63223, backtracks=57868, failedAssignments=33169, nogoods=1123, foundSolutions=17, bestBound=20
6.52/4.82
6.52/4.85 num=297, depth=11..27, filters=1654106, revisions=(951810,useless=691519), ccks=88856, wck=1.985, mem=103M216
6.52/4.85 decisions=134727, wrong=64524, backtracks=59083, failedAssignments=33831, nogoods=1127, foundSolutions=17, bestBound=20
6.52/4.85
6.63/4.90 num=298, depth=10..28, filters=1694525, revisions=(974932,useless=708149), ccks=91002, wck=2.028, mem=103M216
6.63/4.90 decisions=137794, wrong=66048, backtracks=60513, failedAssignments=34559, nogoods=1131, foundSolutions=17, bestBound=20
6.63/4.90
6.63/4.94 num=299, depth=10..29, filters=1732883, revisions=(1000184,useless=726907), ccks=93880, wck=2.07, mem=105M858
6.63/4.94 decisions=141015, wrong=67649, backtracks=62018, failedAssignments=35360, nogoods=1136, foundSolutions=17, bestBound=20
6.63/4.94
6.63/4.98 num=300, depth=10..27, filters=1772085, revisions=(1022319,useless=742975), ccks=95410, wck=2.109, mem=105M858
6.63/4.98 decisions=144283, wrong=69277, backtracks=63558, failedAssignments=36241, nogoods=1142, foundSolutions=17, bestBound=20
6.63/4.98
6.73/5.03 num=301, depth=10..27, filters=1821404, revisions=(1051522,useless=764069), ccks=98371, wck=2.162, mem=108M501
6.73/5.03 decisions=148169, wrong=71214, backtracks=65348, failedAssignments=37211, nogoods=1148, foundSolutions=17, bestBound=20
6.73/5.03
6.73/5.09 num=302, depth=11..27, filters=1874616, revisions=(1084426,useless=787796), ccks=102109, wck=2.219, mem=111M143
6.73/5.09 decisions=152682, wrong=73463, backtracks=67427, failedAssignments=38278, nogoods=1154, foundSolutions=17, bestBound=20
6.73/5.09
6.83/5.14 num=303, depth=12..27, filters=1927161, revisions=(1114200,useless=809034), ccks=104381, wck=2.274, mem=113M786
6.83/5.14 decisions=157397, wrong=75811, backtracks=69630, failedAssignments=39451, nogoods=1160, foundSolutions=17, bestBound=20
6.83/5.14
6.92/5.21 num=304, depth=9..26, filters=1996431, revisions=(1154703,useless=838500), ccks=108029, wck=2.345, mem=116M428
6.92/5.21 decisions=162698, wrong=78455, backtracks=72062, failedAssignments=40742, nogoods=1167, foundSolutions=17, bestBound=20
6.92/5.21
7.02/5.30 num=305, depth=10..31, filters=2078569, revisions=(1202427,useless=873513), ccks=112198, wck=2.432, mem=119M71
7.02/5.30 decisions=168359, wrong=81279, backtracks=74682, failedAssignments=42162, nogoods=1171, foundSolutions=17, bestBound=20
7.02/5.30
7.02/5.39 num=306, depth=8..28, filters=2161788, revisions=(1250894,useless=908892), ccks=116703, wck=2.519, mem=121M713
7.02/5.39 decisions=174767, wrong=84477, backtracks=77643, failedAssignments=43724, nogoods=1175, foundSolutions=17, bestBound=20
7.02/5.39
7.12/5.48 num=307, depth=10..30, filters=2252150, revisions=(1304994,useless=947847), ccks=122622, wck=2.613, mem=124M355
7.12/5.48 decisions=181895, wrong=88033, backtracks=80945, failedAssignments=45442, nogoods=1183, foundSolutions=17, bestBound=20
7.12/5.48
7.22/5.57 num=308, depth=11..30, filters=2336195, revisions=(1356469,useless=984959), ccks=127651, wck=2.702, mem=126M998
7.22/5.57 decisions=189316, wrong=91736, backtracks=84365, failedAssignments=47332, nogoods=1189, foundSolutions=17, bestBound=20
7.22/5.57
7.43/5.70 num=309, depth=7..30, filters=2448806, revisions=(1423514,useless=1033338), ccks=133390, wck=2.829, mem=132M283
7.43/5.70 decisions=197748, wrong=95945, backtracks=88289, failedAssignments=49411, nogoods=1193, foundSolutions=17, bestBound=20
7.43/5.70
7.53/5.83 num=310, depth=10..29, filters=2572714, revisions=(1496202,useless=1086421), ccks=139765, wck=2.959, mem=134M925
7.53/5.83 decisions=207018, wrong=100572, backtracks=92600, failedAssignments=51698, nogoods=1199, foundSolutions=17, bestBound=20
7.53/5.83
7.63/5.93 o 21
7.63/5.93 num=311, depth=8..89, filters=2665512, revisions=(1551596,useless=1127217), ccks=144783, wck=3.059, mem=140M210
7.63/5.93 decisions=214110, wrong=104111, backtracks=95926, failedAssignments=53477, nogoods=1208, foundSolutions=18, bestBound=21
7.63/5.93
7.63/5.97 o 22
7.63/5.97 num=312, depth=8..89, filters=2710373, revisions=(1578877,useless=1147256), ccks=147283, wck=3.104, mem=140M210
7.63/5.97 decisions=217849, wrong=105974, backtracks=97640, failedAssignments=54398, nogoods=1220, foundSolutions=19, bestBound=22
7.63/5.97
7.63/5.97 num=313, depth=10..17, filters=2710877, revisions=(1579180,useless=1147489), ccks=147301, wck=3.105, mem=140M210
7.63/5.97 decisions=217898, wrong=105993, backtracks=97656, failedAssignments=54409, nogoods=1222, foundSolutions=19, bestBound=22
7.63/5.97
7.63/5.98 num=314, depth=12..19, filters=2711503, revisions=(1579586,useless=1147802), ccks=147332, wck=3.106, mem=140M210
7.63/5.98 decisions=217955, wrong=106014, backtracks=97675, failedAssignments=54420, nogoods=1224, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=315, depth=13..18, filters=2712182, revisions=(1579944,useless=1148061), ccks=147347, wck=3.107, mem=140M210
7.63/5.98 decisions=218008, wrong=106034, backtracks=97691, failedAssignments=54432, nogoods=1226, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=316, depth=13..23, filters=2712890, revisions=(1580324,useless=1148340), ccks=147370, wck=3.108, mem=140M210
7.63/5.98 decisions=218069, wrong=106055, backtracks=97706, failedAssignments=54445, nogoods=1230, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=317, depth=14..22, filters=2713676, revisions=(1580787,useless=1148680), ccks=147401, wck=3.108, mem=142M778
7.63/5.98 decisions=218133, wrong=106079, backtracks=97726, failedAssignments=54459, nogoods=1233, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=318, depth=13..21, filters=2714435, revisions=(1581193,useless=1148974), ccks=147421, wck=3.109, mem=142M778
7.63/5.98 decisions=218200, wrong=106105, backtracks=97747, failedAssignments=54475, nogoods=1236, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=319, depth=12..18, filters=2715229, revisions=(1581643,useless=1149306), ccks=147444, wck=3.11, mem=142M778
7.63/5.98 decisions=218269, wrong=106133, backtracks=97771, failedAssignments=54492, nogoods=1238, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=320, depth=13..20, filters=2716274, revisions=(1582230,useless=1149731), ccks=147495, wck=3.111, mem=142M778
7.63/5.98 decisions=218359, wrong=106169, backtracks=97802, failedAssignments=54511, nogoods=1240, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=321, depth=11..20, filters=2717403, revisions=(1582872,useless=1150199), ccks=147557, wck=3.112, mem=142M778
7.63/5.98 decisions=218452, wrong=106210, backtracks=97841, failedAssignments=54532, nogoods=1241, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=322, depth=13..24, filters=2718378, revisions=(1583480,useless=1150645), ccks=147619, wck=3.114, mem=142M778
7.63/5.98 decisions=218539, wrong=106246, backtracks=97874, failedAssignments=54555, nogoods=1243, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.98 num=323, depth=12..22, filters=2719598, revisions=(1584201,useless=1151158), ccks=147697, wck=3.115, mem=142M778
7.63/5.98 decisions=218642, wrong=106290, backtracks=97910, failedAssignments=54580, nogoods=1249, foundSolutions=19, bestBound=22
7.63/5.98
7.63/5.99 num=324, depth=13..25, filters=2720750, revisions=(1584870,useless=1151635), ccks=147762, wck=3.116, mem=142M778
7.63/5.99 decisions=218741, wrong=106331, backtracks=97942, failedAssignments=54608, nogoods=1255, foundSolutions=19, bestBound=22
7.63/5.99
7.63/5.99 num=325, depth=11..20, filters=2722472, revisions=(1585817,useless=1152312), ccks=147808, wck=3.119, mem=142M778
7.63/5.99 decisions=218881, wrong=106394, backtracks=97995, failedAssignments=54639, nogoods=1258, foundSolutions=19, bestBound=22
7.63/5.99
7.63/5.99 num=326, depth=14..23, filters=2723968, revisions=(1586665,useless=1152929), ccks=147888, wck=3.12, mem=142M778
7.63/5.99 decisions=219000, wrong=106446, backtracks=98039, failedAssignments=54673, nogoods=1264, foundSolutions=19, bestBound=22
7.63/5.99
7.63/5.99 num=327, depth=12..21, filters=2725706, revisions=(1587525,useless=1153538), ccks=147910, wck=3.122, mem=142M778
7.63/5.99 decisions=219147, wrong=106512, backtracks=98093, failedAssignments=54710, nogoods=1267, foundSolutions=19, bestBound=22
7.63/5.99
7.63/5.99 num=328, depth=13..22, filters=2728130, revisions=(1588979,useless=1154602), ccks=148095, wck=3.125, mem=142M778
7.63/5.99 decisions=219317, wrong=106589, backtracks=98158, failedAssignments=54751, nogoods=1273, foundSolutions=19, bestBound=22
7.63/5.99
7.63/6.00 num=329, depth=11..20, filters=2730250, revisions=(1590168,useless=1155449), ccks=148179, wck=3.127, mem=142M778
7.63/6.00 decisions=219479, wrong=106663, backtracks=98221, failedAssignments=54796, nogoods=1278, foundSolutions=19, bestBound=22
7.63/6.00
7.63/6.00 num=330, depth=13..24, filters=2732765, revisions=(1591510,useless=1156389), ccks=148277, wck=3.13, mem=142M778
7.63/6.00 decisions=219679, wrong=106755, backtracks=98306, failedAssignments=54846, nogoods=1283, foundSolutions=19, bestBound=22
7.63/6.00
7.63/6.00 num=331, depth=12..23, filters=2735247, revisions=(1592985,useless=1157448), ccks=148439, wck=3.133, mem=142M778
7.63/6.00 decisions=219896, wrong=106857, backtracks=98401, failedAssignments=54901, nogoods=1287, foundSolutions=19, bestBound=22
7.63/6.00
7.63/6.01 num=332, depth=12..26, filters=2738534, revisions=(1594816,useless=1158753), ccks=148594, wck=3.137, mem=142M778
7.63/6.01 decisions=220137, wrong=106971, backtracks=98508, failedAssignments=54962, nogoods=1291, foundSolutions=19, bestBound=22
7.63/6.01
7.76/6.01 num=333, depth=11..24, filters=2741789, revisions=(1596836,useless=1160218), ccks=148845, wck=3.141, mem=142M778
7.76/6.01 decisions=220392, wrong=107093, backtracks=98620, failedAssignments=55029, nogoods=1293, foundSolutions=19, bestBound=22
7.76/6.01
7.76/6.01 num=334, depth=10..21, filters=2746186, revisions=(1599343,useless=1161928), ccks=149094, wck=3.146, mem=142M778
7.76/6.01 decisions=220733, wrong=107257, backtracks=98774, failedAssignments=55103, nogoods=1295, foundSolutions=19, bestBound=22
7.76/6.01
7.76/6.02 num=335, depth=12..24, filters=2750085, revisions=(1601433,useless=1163385), ccks=149264, wck=3.15, mem=142M778
7.76/6.02 decisions=221031, wrong=107398, backtracks=98893, failedAssignments=55184, nogoods=1299, foundSolutions=19, bestBound=22
7.76/6.02
7.76/6.02 num=336, depth=11..22, filters=2754700, revisions=(1604295,useless=1165407), ccks=149634, wck=3.155, mem=142M778
7.76/6.02 decisions=221397, wrong=107574, backtracks=99053, failedAssignments=55273, nogoods=1306, foundSolutions=19, bestBound=22
7.76/6.02
7.76/6.03 num=337, depth=11..23, filters=2759562, revisions=(1607173,useless=1167454), ccks=150007, wck=3.161, mem=142M778
7.76/6.03 decisions=221788, wrong=107763, backtracks=99217, failedAssignments=55371, nogoods=1312, foundSolutions=19, bestBound=22
7.76/6.03
7.76/6.04 num=338, depth=12..24, filters=2764799, revisions=(1610074,useless=1169531), ccks=150285, wck=3.166, mem=142M778
7.76/6.04 decisions=222188, wrong=107956, backtracks=99387, failedAssignments=55479, nogoods=1317, foundSolutions=19, bestBound=22
7.76/6.04
7.76/6.05 num=339, depth=12..24, filters=2770990, revisions=(1613440,useless=1171934), ccks=150564, wck=3.185, mem=22M527
7.76/6.05 decisions=222648, wrong=108179, backtracks=99580, failedAssignments=55598, nogoods=1325, foundSolutions=19, bestBound=22
7.76/6.05
7.76/6.06 num=340, depth=13..24, filters=2777551, revisions=(1616804,useless=1174290), ccks=150780, wck=3.192, mem=22M527
7.76/6.06 decisions=223161, wrong=108429, backtracks=99803, failedAssignments=55729, nogoods=1328, foundSolutions=19, bestBound=22
7.76/6.06
7.76/6.07 num=341, depth=12..23, filters=2784608, revisions=(1620601,useless=1176990), ccks=151015, wck=3.2, mem=22M527
7.76/6.07 decisions=223693, wrong=108689, backtracks=100033, failedAssignments=55873, nogoods=1331, foundSolutions=19, bestBound=22
7.76/6.07
7.76/6.08 num=342, depth=11..24, filters=2791222, revisions=(1624651,useless=1179954), ccks=151413, wck=3.207, mem=22M527
7.76/6.08 decisions=224266, wrong=108967, backtracks=100283, failedAssignments=56031, nogoods=1336, foundSolutions=19, bestBound=22
7.76/6.08
7.76/6.08 num=343, depth=12..25, filters=2798692, revisions=(1629439,useless=1183453), ccks=152036, wck=3.215, mem=22M527
7.76/6.08 decisions=224891, wrong=109272, backtracks=100570, failedAssignments=56205, nogoods=1341, foundSolutions=19, bestBound=22
7.76/6.08
7.76/6.09 num=344, depth=12..25, filters=2806829, revisions=(1633903,useless=1186649), ccks=152497, wck=3.224, mem=22M527
7.76/6.09 decisions=225538, wrong=109588, backtracks=100852, failedAssignments=56396, nogoods=1346, foundSolutions=19, bestBound=22
7.76/6.09
7.76/6.11 num=345, depth=10..23, filters=2818044, revisions=(1640718,useless=1191633), ccks=153241, wck=3.236, mem=22M527
7.76/6.11 decisions=226416, wrong=110022, backtracks=101258, failedAssignments=56607, nogoods=1350, foundSolutions=19, bestBound=22
7.76/6.11
7.90/6.12 num=346, depth=10..24, filters=2830415, revisions=(1648110,useless=1196983), ccks=154231, wck=3.249, mem=22M527
7.90/6.12 decisions=227299, wrong=110456, backtracks=101653, failedAssignments=56839, nogoods=1355, foundSolutions=19, bestBound=22
7.90/6.12
7.90/6.13 num=347, depth=11..26, filters=2842298, revisions=(1654417,useless=1201375), ccks=154805, wck=3.262, mem=25M143
7.90/6.13 decisions=228217, wrong=110907, backtracks=102057, failedAssignments=57094, nogoods=1360, foundSolutions=19, bestBound=22
7.90/6.13
7.90/6.15 num=348, depth=10..25, filters=2857326, revisions=(1663275,useless=1207925), ccks=155699, wck=3.278, mem=25M143
7.90/6.15 decisions=229270, wrong=111427, backtracks=102534, failedAssignments=57375, nogoods=1363, foundSolutions=19, bestBound=22
7.90/6.15
7.90/6.16 num=349, depth=10..26, filters=2872629, revisions=(1671861,useless=1214096), ccks=156443, wck=3.295, mem=25M143
7.90/6.16 decisions=230481, wrong=112026, backtracks=103067, failedAssignments=57684, nogoods=1368, foundSolutions=19, bestBound=22
7.90/6.16
7.90/6.18 num=350, depth=10..25, filters=2889114, revisions=(1680433,useless=1220111), ccks=156878, wck=3.311, mem=25M143
7.90/6.18 decisions=231759, wrong=112658, backtracks=103639, failedAssignments=58024, nogoods=1371, foundSolutions=19, bestBound=22
7.90/6.18
7.90/6.20 num=351, depth=10..26, filters=2903276, revisions=(1689798,useless=1226888), ccks=158068, wck=3.326, mem=25M143
7.90/6.20 decisions=233078, wrong=113311, backtracks=104247, failedAssignments=58398, nogoods=1380, foundSolutions=19, bestBound=22
7.90/6.20
8.00/6.21 num=352, depth=10..24, filters=2922253, revisions=(1699993,useless=1234102), ccks=158814, wck=3.346, mem=27M759
8.00/6.21 decisions=234593, wrong=114061, backtracks=104895, failedAssignments=58809, nogoods=1384, foundSolutions=19, bestBound=22
8.00/6.21
8.00/6.24 num=353, depth=9..26, filters=2944223, revisions=(1712575,useless=1243092), ccks=159902, wck=3.37, mem=27M759
8.00/6.24 decisions=236316, wrong=114915, backtracks=105681, failedAssignments=59261, nogoods=1393, foundSolutions=19, bestBound=22
8.00/6.24
8.00/6.26 num=354, depth=9..25, filters=2968401, revisions=(1726379,useless=1253102), ccks=161244, wck=3.395, mem=27M759
8.00/6.26 decisions=238264, wrong=115884, backtracks=106580, failedAssignments=59758, nogoods=1397, foundSolutions=19, bestBound=22
8.00/6.26
8.00/6.30 num=355, depth=8..25, filters=2996971, revisions=(1744010,useless=1265657), ccks=163182, wck=3.426, mem=30M375
8.00/6.30 decisions=240473, wrong=116981, backtracks=107582, failedAssignments=60305, nogoods=1400, foundSolutions=19, bestBound=22
8.00/6.30
8.10/6.33 num=356, depth=9..26, filters=3030974, revisions=(1762492,useless=1278598), ccks=164546, wck=3.462, mem=30M375
8.10/6.33 decisions=242995, wrong=118237, backtracks=108744, failedAssignments=60907, nogoods=1404, foundSolutions=19, bestBound=22
8.10/6.33
8.10/6.37 num=357, depth=7..27, filters=3064622, revisions=(1781448,useless=1291971), ccks=166206, wck=3.496, mem=32M991
8.10/6.37 decisions=245687, wrong=119575, backtracks=109983, failedAssignments=61569, nogoods=1411, foundSolutions=19, bestBound=22
8.10/6.37
8.20/6.40 num=358, depth=7..25, filters=3099960, revisions=(1803270,useless=1307541), ccks=168632, wck=3.533, mem=32M991
8.20/6.40 decisions=248537, wrong=120992, backtracks=111258, failedAssignments=62297, nogoods=1418, foundSolutions=19, bestBound=22
8.20/6.40
8.20/6.43 o 23
8.20/6.43 num=359, depth=8..89, filters=3125850, revisions=(1819927,useless=1319662), ccks=170891, wck=3.563, mem=35M607
8.20/6.43 decisions=250577, wrong=122005, backtracks=112193, failedAssignments=62833, nogoods=1427, foundSolutions=20, bestBound=23
8.20/6.43
8.20/6.48 num=360, depth=6..27, filters=3168307, revisions=(1844885,useless=1338032), ccks=172769, wck=3.607, mem=35M607
8.20/6.48 decisions=253966, wrong=123693, backtracks=113754, failedAssignments=63714, nogoods=1431, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.48 num=361, depth=14..23, filters=3168851, revisions=(1845241,useless=1338301), ccks=172813, wck=3.608, mem=35M607
8.20/6.48 decisions=254016, wrong=123710, backtracks=113769, failedAssignments=63725, nogoods=1434, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.48 num=362, depth=14..21, filters=3169441, revisions=(1845607,useless=1338579), ccks=172851, wck=3.609, mem=35M607
8.20/6.48 decisions=254067, wrong=123728, backtracks=113784, failedAssignments=63737, nogoods=1437, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.48 num=363, depth=14..19, filters=3170089, revisions=(1845984,useless=1338855), ccks=172871, wck=3.609, mem=35M607
8.20/6.48 decisions=254121, wrong=123748, backtracks=113801, failedAssignments=63750, nogoods=1441, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.48 num=364, depth=14..19, filters=3171012, revisions=(1846489,useless=1339210), ccks=172910, wck=3.61, mem=35M607
8.20/6.48 decisions=254191, wrong=123776, backtracks=113827, failedAssignments=63764, nogoods=1445, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.48 num=365, depth=13..19, filters=3172012, revisions=(1847043,useless=1339614), ccks=172924, wck=3.612, mem=35M607
8.20/6.48 decisions=254258, wrong=123802, backtracks=113846, failedAssignments=63780, nogoods=1449, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.48 num=366, depth=14..23, filters=3172717, revisions=(1847456,useless=1339919), ccks=172954, wck=3.612, mem=35M607
8.20/6.48 decisions=254322, wrong=123827, backtracks=113869, failedAssignments=63797, nogoods=1451, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.48 num=367, depth=12..19, filters=3173708, revisions=(1848023,useless=1340330), ccks=172984, wck=3.613, mem=35M607
8.20/6.48 decisions=254391, wrong=123855, backtracks=113891, failedAssignments=63816, nogoods=1455, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.48 num=368, depth=12..21, filters=3174589, revisions=(1848534,useless=1340685), ccks=173022, wck=3.614, mem=35M607
8.20/6.48 decisions=254481, wrong=123894, backtracks=113927, failedAssignments=63837, nogoods=1457, foundSolutions=20, bestBound=23
8.20/6.48
8.20/6.49 num=369, depth=12..20, filters=3176174, revisions=(1849530,useless=1341433), ccks=173118, wck=3.616, mem=35M607
8.20/6.49 decisions=254582, wrong=123937, backtracks=113963, failedAssignments=63860, nogoods=1462, foundSolutions=20, bestBound=23
8.20/6.49
8.20/6.49 num=370, depth=11..20, filters=3177340, revisions=(1850187,useless=1341912), ccks=173152, wck=3.618, mem=38M223
8.20/6.49 decisions=254676, wrong=123977, backtracks=113999, failedAssignments=63885, nogoods=1465, foundSolutions=20, bestBound=23
8.20/6.49
8.20/6.49 num=371, depth=11..23, filters=3178617, revisions=(1850951,useless=1342472), ccks=173206, wck=3.619, mem=38M223
8.20/6.49 decisions=254785, wrong=124024, backtracks=114040, failedAssignments=63913, nogoods=1471, foundSolutions=20, bestBound=23
8.20/6.49
8.20/6.49 num=372, depth=11..21, filters=3180249, revisions=(1851773,useless=1343045), ccks=173240, wck=3.621, mem=38M223
8.20/6.49 decisions=254920, wrong=124085, backtracks=114093, failedAssignments=63944, nogoods=1476, foundSolutions=20, bestBound=23
8.20/6.49
8.20/6.49 num=373, depth=11..21, filters=3181334, revisions=(1852400,useless=1343494), ccks=173311, wck=3.622, mem=38M223
8.20/6.49 decisions=255034, wrong=124134, backtracks=114135, failedAssignments=63978, nogoods=1481, foundSolutions=20, bestBound=23
8.20/6.49
8.20/6.49 num=374, depth=11..22, filters=3183228, revisions=(1853433,useless=1344219), ccks=173374, wck=3.624, mem=38M223
8.20/6.49 decisions=255190, wrong=124206, backtracks=114197, failedAssignments=64015, nogoods=1487, foundSolutions=20, bestBound=23
8.20/6.49
8.20/6.50 num=375, depth=9..20, filters=3185495, revisions=(1854716,useless=1345138), ccks=173468, wck=3.627, mem=38M223
8.20/6.50 decisions=255362, wrong=124286, backtracks=114267, failedAssignments=64056, nogoods=1493, foundSolutions=20, bestBound=23
8.20/6.50
8.30/6.50 num=376, depth=9..19, filters=3188142, revisions=(1856374,useless=1346331), ccks=173605, wck=3.63, mem=38M223
8.30/6.50 decisions=255574, wrong=124387, backtracks=114369, failedAssignments=64101, nogoods=1498, foundSolutions=20, bestBound=23
8.30/6.50
8.30/6.50 num=377, depth=9..20, filters=3190488, revisions=(1857699,useless=1347284), ccks=173712, wck=3.633, mem=38M223
8.30/6.50 decisions=255755, wrong=124471, backtracks=114444, failedAssignments=64151, nogoods=1505, foundSolutions=20, bestBound=23
8.30/6.50
8.30/6.51 num=378, depth=10..21, filters=3193400, revisions=(1859297,useless=1348429), ccks=173842, wck=3.636, mem=38M223
8.30/6.51 decisions=255970, wrong=124572, backtracks=114533, failedAssignments=64206, nogoods=1513, foundSolutions=20, bestBound=23
8.30/6.51
8.30/6.51 num=379, depth=8..20, filters=3196994, revisions=(1861143,useless=1349706), ccks=173978, wck=3.64, mem=38M223
8.30/6.51 decisions=256223, wrong=124693, backtracks=114645, failedAssignments=64267, nogoods=1517, foundSolutions=20, bestBound=23
8.30/6.51
8.30/6.51 num=380, depth=8..21, filters=3200213, revisions=(1862871,useless=1350919), ccks=174080, wck=3.644, mem=38M223
8.30/6.51 decisions=256481, wrong=124817, backtracks=114759, failedAssignments=64334, nogoods=1519, foundSolutions=20, bestBound=23
8.30/6.51
8.30/6.52 num=381, depth=9..21, filters=3204694, revisions=(1865493,useless=1352813), ccks=174252, wck=3.649, mem=38M223
8.30/6.52 decisions=256793, wrong=124968, backtracks=114899, failedAssignments=64408, nogoods=1524, foundSolutions=20, bestBound=23
8.30/6.52
8.30/6.52 num=382, depth=11..22, filters=3209002, revisions=(1867787,useless=1354460), ccks=174454, wck=3.654, mem=38M223
8.30/6.52 decisions=257117, wrong=125123, backtracks=115035, failedAssignments=64489, nogoods=1529, foundSolutions=20, bestBound=23
8.30/6.52
8.30/6.53 num=383, depth=9..21, filters=3214091, revisions=(1870478,useless=1356305), ccks=174612, wck=3.659, mem=38M223
8.30/6.53 decisions=257486, wrong=125301, backtracks=115197, failedAssignments=64578, nogoods=1534, foundSolutions=20, bestBound=23
8.30/6.53
8.30/6.53 num=384, depth=10..23, filters=3220068, revisions=(1873470,useless=1358394), ccks=174769, wck=3.665, mem=39M544
8.30/6.53 decisions=257890, wrong=125496, backtracks=115378, failedAssignments=64676, nogoods=1538, foundSolutions=20, bestBound=23
8.30/6.53
8.30/6.54 num=385, depth=9..22, filters=3225529, revisions=(1876435,useless=1360471), ccks=174975, wck=3.671, mem=39M544
8.30/6.54 decisions=258299, wrong=125695, backtracks=115561, failedAssignments=64784, nogoods=1542, foundSolutions=20, bestBound=23
8.30/6.54
8.30/6.55 num=386, depth=7..22, filters=3230888, revisions=(1879901,useless=1362960), ccks=175437, wck=3.678, mem=39M544
8.30/6.55 decisions=258760, wrong=125921, backtracks=115773, failedAssignments=64903, nogoods=1547, foundSolutions=20, bestBound=23
8.30/6.55
8.30/6.55 num=387, depth=8..25, filters=3237592, revisions=(1883466,useless=1365499), ccks=175720, wck=3.686, mem=42M160
8.30/6.55 decisions=259264, wrong=126165, backtracks=115981, failedAssignments=65034, nogoods=1553, foundSolutions=20, bestBound=23
8.30/6.55
8.30/6.56 num=388, depth=9..22, filters=3246096, revisions=(1888061,useless=1368734), ccks=175988, wck=3.695, mem=42M160
8.30/6.56 decisions=259859, wrong=126455, backtracks=116244, failedAssignments=65178, nogoods=1560, foundSolutions=20, bestBound=23
8.30/6.56
8.30/6.57 num=389, depth=8..22, filters=3254336, revisions=(1892550,useless=1371947), ccks=176382, wck=3.703, mem=42M160
8.30/6.57 decisions=260476, wrong=126758, backtracks=116498, failedAssignments=65336, nogoods=1563, foundSolutions=20, bestBound=23
8.30/6.57
8.30/6.58 num=390, depth=9..24, filters=3263299, revisions=(1897462,useless=1375441), ccks=176830, wck=3.714, mem=42M160
8.30/6.58 decisions=261158, wrong=127094, backtracks=116797, failedAssignments=65510, nogoods=1567, foundSolutions=20, bestBound=23
8.30/6.58
8.30/6.59 num=391, depth=7..22, filters=3274283, revisions=(1903940,useless=1380227), ccks=177356, wck=3.726, mem=42M160
8.30/6.59 decisions=261939, wrong=127480, backtracks=117151, failedAssignments=65701, nogoods=1574, foundSolutions=20, bestBound=23
8.30/6.59
8.40/6.61 num=392, depth=7..24, filters=3287223, revisions=(1911483,useless=1385624), ccks=178154, wck=3.74, mem=42M160
8.40/6.61 decisions=262808, wrong=127908, backtracks=117548, failedAssignments=65912, nogoods=1579, foundSolutions=20, bestBound=23
8.40/6.61
8.40/6.62 num=393, depth=8..24, filters=3299432, revisions=(1918083,useless=1390305), ccks=178554, wck=3.754, mem=44M776
8.40/6.62 decisions=263662, wrong=128329, backtracks=117949, failedAssignments=66144, nogoods=1583, foundSolutions=20, bestBound=23
8.40/6.62
8.40/6.64 num=394, depth=7..24, filters=3311377, revisions=(1925998,useless=1396016), ccks=179595, wck=3.768, mem=44M776
8.40/6.64 decisions=264671, wrong=128829, backtracks=118409, failedAssignments=66399, nogoods=1587, foundSolutions=20, bestBound=23
8.40/6.64
8.40/6.65 num=395, depth=7..23, filters=3325601, revisions=(1934276,useless=1401872), ccks=180359, wck=3.784, mem=44M776
8.40/6.65 decisions=265738, wrong=129356, backtracks=118876, failedAssignments=66680, nogoods=1592, foundSolutions=20, bestBound=23
8.40/6.65
8.40/6.67 num=396, depth=6..23, filters=3342201, revisions=(1944602,useless=1409284), ccks=181560, wck=3.803, mem=44M776
8.40/6.67 decisions=266999, wrong=129982, backtracks=119444, failedAssignments=66989, nogoods=1599, foundSolutions=20, bestBound=23
8.40/6.67
8.40/6.69 num=397, depth=9..25, filters=3358727, revisions=(1953722,useless=1415601), ccks=182374, wck=3.821, mem=44M776
8.40/6.69 decisions=268327, wrong=130639, backtracks=120015, failedAssignments=67329, nogoods=1606, foundSolutions=20, bestBound=23
8.40/6.69
8.50/6.71 num=398, depth=9..26, filters=3378146, revisions=(1965014,useless=1423707), ccks=183446, wck=3.842, mem=47M392
8.50/6.71 decisions=269812, wrong=131375, backtracks=120676, failedAssignments=67703, nogoods=1613, foundSolutions=20, bestBound=23
8.50/6.71
8.50/6.73 num=399, depth=5..26, filters=3397239, revisions=(1976900,useless=1432255), ccks=184854, wck=3.864, mem=47M392
8.50/6.73 decisions=271439, wrong=132183, backtracks=121418, failedAssignments=68114, nogoods=1621, foundSolutions=20, bestBound=23
8.50/6.73
8.50/6.76 num=400, depth=8..26, filters=3421587, revisions=(1990752,useless=1442180), ccks=186070, wck=3.89, mem=47M392
8.50/6.76 decisions=273214, wrong=133065, backtracks=122233, failedAssignments=68566, nogoods=1625, foundSolutions=20, bestBound=23
8.50/6.76
8.50/6.79 num=401, depth=7..24, filters=3446722, revisions=(2007036,useless=1453790), ccks=188070, wck=3.918, mem=50M8
8.50/6.79 decisions=275251, wrong=134076, backtracks=123171, failedAssignments=69063, nogoods=1631, foundSolutions=20, bestBound=23
8.50/6.79
8.60/6.82 num=402, depth=7..24, filters=3476864, revisions=(2023830,useless=1465600), ccks=189330, wck=3.95, mem=50M8
8.60/6.82 decisions=277514, wrong=135202, backtracks=124206, failedAssignments=69610, nogoods=1638, foundSolutions=20, bestBound=23
8.60/6.82
8.60/6.85 num=403, depth=6..25, filters=3506672, revisions=(2042310,useless=1478765), ccks=191582, wck=3.985, mem=52M624
8.60/6.85 decisions=279890, wrong=136385, backtracks=125296, failedAssignments=70212, nogoods=1644, foundSolutions=20, bestBound=23
8.60/6.85
8.60/6.89 num=404, depth=7..28, filters=3540831, revisions=(2063091,useless=1493705), ccks=193549, wck=4.023, mem=52M624
8.60/6.89 decisions=282429, wrong=137650, backtracks=126442, failedAssignments=70874, nogoods=1656, foundSolutions=20, bestBound=23
8.60/6.89
8.70/6.93 num=405, depth=7..26, filters=3571192, revisions=(2084168,useless=1508989), ccks=197125, wck=4.058, mem=52M624
8.70/6.93 decisions=285221, wrong=139040, backtracks=127691, failedAssignments=71602, nogoods=1665, foundSolutions=20, bestBound=23
8.70/6.93
8.70/6.97 num=406, depth=7..23, filters=3611983, revisions=(2109629,useless=1527564), ccks=199878, wck=4.104, mem=55M240
8.70/6.97 decisions=288563, wrong=140705, backtracks=129219, failedAssignments=72403, nogoods=1676, foundSolutions=20, bestBound=23
8.70/6.97
8.81/7.02 num=407, depth=6..25, filters=3658274, revisions=(2137698,useless=1548123), ccks=203075, wck=4.154, mem=57M856
8.81/7.02 decisions=292075, wrong=142455, backtracks=130804, failedAssignments=73284, nogoods=1681, foundSolutions=20, bestBound=23
8.81/7.02
8.81/7.08 num=408, depth=4..26, filters=3707722, revisions=(2170313,useless=1572169), ccks=206226, wck=4.209, mem=60M472
8.81/7.08 decisions=295929, wrong=144373, backtracks=132586, failedAssignments=74254, nogoods=1691, foundSolutions=20, bestBound=23
8.81/7.08
8.91/7.12 o 24
8.91/7.12 num=409, depth=7..89, filters=3748140, revisions=(2197037,useless=1591705), ccks=209841, wck=4.256, mem=60M472
8.91/7.12 decisions=299109, wrong=145955, backtracks=134016, failedAssignments=75079, nogoods=1701, foundSolutions=21, bestBound=24
8.91/7.12
8.91/7.19 num=410, depth=4..23, filters=3807480, revisions=(2232882,useless=1617602), ccks=212893, wck=4.319, mem=63M88
8.91/7.19 decisions=303665, wrong=148227, backtracks=136131, failedAssignments=76252, nogoods=1705, foundSolutions=21, bestBound=24
8.91/7.19
8.91/7.19 num=411, depth=11..23, filters=3807969, revisions=(2233178,useless=1617823), ccks=212927, wck=4.32, mem=63M88
8.91/7.19 decisions=303710, wrong=148244, backtracks=136142, failedAssignments=76263, nogoods=1710, foundSolutions=21, bestBound=24
8.91/7.19
8.91/7.19 num=412, depth=11..22, filters=3808612, revisions=(2233598,useless=1618125), ccks=212978, wck=4.32, mem=63M88
8.91/7.19 decisions=303758, wrong=148261, backtracks=136152, failedAssignments=76275, nogoods=1716, foundSolutions=21, bestBound=24
8.91/7.19
8.91/7.19 num=413, depth=11..25, filters=3809407, revisions=(2234077,useless=1618465), ccks=213039, wck=4.322, mem=63M88
8.91/7.19 decisions=303819, wrong=148286, backtracks=136170, failedAssignments=76288, nogoods=1723, foundSolutions=21, bestBound=24
8.91/7.19
8.91/7.19 num=414, depth=8..15, filters=3810424, revisions=(2234720,useless=1618932), ccks=213107, wck=4.323, mem=63M88
8.91/7.19 decisions=303887, wrong=148313, backtracks=136194, failedAssignments=76302, nogoods=1725, foundSolutions=21, bestBound=24
8.91/7.19
8.91/7.19 num=415, depth=11..19, filters=3811240, revisions=(2235191,useless=1619264), ccks=213162, wck=4.324, mem=63M88
8.91/7.19 decisions=303959, wrong=148342, backtracks=136216, failedAssignments=76318, nogoods=1730, foundSolutions=21, bestBound=24
8.91/7.19
8.91/7.19 num=416, depth=12..18, filters=3812297, revisions=(2235799,useless=1619695), ccks=213232, wck=4.325, mem=63M88
8.91/7.19 decisions=304029, wrong=148371, backtracks=136238, failedAssignments=76335, nogoods=1734, foundSolutions=21, bestBound=24
8.91/7.19
8.91/7.20 num=417, depth=10..19, filters=3813244, revisions=(2236412,useless=1620140), ccks=213306, wck=4.326, mem=63M88
8.91/7.20 decisions=304106, wrong=148404, backtracks=136263, failedAssignments=76354, nogoods=1738, foundSolutions=21, bestBound=24
8.91/7.20
9.01/7.20 num=418, depth=11..17, filters=3814137, revisions=(2236953,useless=1620528), ccks=213374, wck=4.328, mem=63M88
9.01/7.20 decisions=304183, wrong=148436, backtracks=136292, failedAssignments=76375, nogoods=1742, foundSolutions=21, bestBound=24
9.01/7.20
9.01/7.20 num=419, depth=10..20, filters=3815430, revisions=(2237816,useless=1621173), ccks=213498, wck=4.329, mem=63M88
9.01/7.20 decisions=304280, wrong=148477, backtracks=136325, failedAssignments=76398, nogoods=1747, foundSolutions=21, bestBound=24
9.01/7.20
9.01/7.20 num=420, depth=10..20, filters=3816392, revisions=(2238371,useless=1621562), ccks=213549, wck=4.33, mem=63M88
9.01/7.20 decisions=304371, wrong=148517, backtracks=136357, failedAssignments=76423, nogoods=1750, foundSolutions=21, bestBound=24
9.01/7.20
9.01/7.20 num=421, depth=10..22, filters=3817802, revisions=(2239231,useless=1622199), ccks=213655, wck=4.332, mem=63M88
9.01/7.20 decisions=304495, wrong=148572, backtracks=136410, failedAssignments=76451, nogoods=1754, foundSolutions=21, bestBound=24
9.01/7.20
9.01/7.20 num=422, depth=9..19, filters=3819452, revisions=(2240228,useless=1622920), ccks=213762, wck=4.334, mem=63M88
9.01/7.20 decisions=304627, wrong=148632, backtracks=136463, failedAssignments=76482, nogoods=1757, foundSolutions=21, bestBound=24
9.01/7.20
9.01/7.21 num=423, depth=8..18, filters=3821429, revisions=(2241404,useless=1623772), ccks=213887, wck=4.337, mem=63M88
9.01/7.21 decisions=304771, wrong=148698, backtracks=136519, failedAssignments=76516, nogoods=1761, foundSolutions=21, bestBound=24
9.01/7.21
9.01/7.21 num=424, depth=8..16, filters=3823707, revisions=(2242692,useless=1624659), ccks=213985, wck=4.339, mem=63M88
9.01/7.21 decisions=304912, wrong=148764, backtracks=136579, failedAssignments=76553, nogoods=1764, foundSolutions=21, bestBound=24
9.01/7.21
9.01/7.21 num=425, depth=8..21, filters=3826019, revisions=(2243946,useless=1625526), ccks=214065, wck=4.342, mem=63M88
9.01/7.21 decisions=305076, wrong=148839, backtracks=136642, failedAssignments=76594, nogoods=1770, foundSolutions=21, bestBound=24
9.01/7.21
9.01/7.21 num=426, depth=9..17, filters=3828686, revisions=(2245436,useless=1626598), ccks=214173, wck=4.345, mem=63M88
9.01/7.21 decisions=305278, wrong=148935, backtracks=136727, failedAssignments=76639, nogoods=1775, foundSolutions=21, bestBound=24
9.01/7.21
9.01/7.22 num=427, depth=8..20, filters=3831470, revisions=(2247163,useless=1627832), ccks=214340, wck=4.349, mem=65M704
9.01/7.22 decisions=305481, wrong=149029, backtracks=136811, failedAssignments=76689, nogoods=1779, foundSolutions=21, bestBound=24
9.01/7.22
9.01/7.22 num=428, depth=7..19, filters=3834651, revisions=(2249101,useless=1629196), ccks=214537, wck=4.352, mem=65M704
9.01/7.22 decisions=305704, wrong=149136, backtracks=136907, failedAssignments=76744, nogoods=1783, foundSolutions=21, bestBound=24
9.01/7.22
9.01/7.23 num=429, depth=10..22, filters=3837638, revisions=(2250887,useless=1630476), ccks=214721, wck=4.356, mem=65M704
9.01/7.23 decisions=305929, wrong=149242, backtracks=137005, failedAssignments=76805, nogoods=1791, foundSolutions=21, bestBound=24
9.01/7.23
9.01/7.23 num=430, depth=9..20, filters=3842173, revisions=(2253436,useless=1632261), ccks=214935, wck=4.361, mem=65M704
9.01/7.23 decisions=306221, wrong=149383, backtracks=137129, failedAssignments=76872, nogoods=1796, foundSolutions=21, bestBound=24
9.01/7.23
9.01/7.24 num=431, depth=8..22, filters=3847192, revisions=(2256485,useless=1634484), ccks=215204, wck=4.367, mem=65M704
9.01/7.24 decisions=306539, wrong=149537, backtracks=137268, failedAssignments=76946, nogoods=1799, foundSolutions=21, bestBound=24
9.01/7.24
9.01/7.24 num=432, depth=8..20, filters=3851960, revisions=(2259106,useless=1636311), ccks=215334, wck=4.373, mem=65M704
9.01/7.24 decisions=306885, wrong=149704, backtracks=137423, failedAssignments=77027, nogoods=1802, foundSolutions=21, bestBound=24
9.01/7.24
9.01/7.25 num=433, depth=8..21, filters=3856306, revisions=(2261834,useless=1638293), ccks=215582, wck=4.378, mem=65M704
9.01/7.25 decisions=307199, wrong=149856, backtracks=137557, failedAssignments=77116, nogoods=1808, foundSolutions=21, bestBound=24
9.01/7.25
9.01/7.25 num=434, depth=9..25, filters=3860514, revisions=(2264582,useless=1640289), ccks=215937, wck=4.383, mem=65M704
9.01/7.25 decisions=307562, wrong=150032, backtracks=137702, failedAssignments=77214, nogoods=1812, foundSolutions=21, bestBound=24
9.01/7.25
9.01/7.26 num=435, depth=8..22, filters=3866561, revisions=(2268217,useless=1642823), ccks=216300, wck=4.39, mem=65M704
9.01/7.26 decisions=307973, wrong=150230, backtracks=137876, failedAssignments=77322, nogoods=1819, foundSolutions=21, bestBound=24
9.01/7.26
9.01/7.27 num=436, depth=7..19, filters=3873015, revisions=(2272305,useless=1645761), ccks=216762, wck=4.398, mem=65M704
9.01/7.27 decisions=308449, wrong=150462, backtracks=138090, failedAssignments=77441, nogoods=1822, foundSolutions=21, bestBound=24
9.01/7.27
9.01/7.28 num=437, depth=7..21, filters=3880395, revisions=(2276442,useless=1648601), ccks=217068, wck=4.407, mem=65M704
9.01/7.28 decisions=308972, wrong=150717, backtracks=138305, failedAssignments=77572, nogoods=1827, foundSolutions=21, bestBound=24
9.01/7.28
9.01/7.28 num=438, depth=7..24, filters=3886415, revisions=(2280011,useless=1651129), ccks=217408, wck=4.414, mem=65M704
9.01/7.28 decisions=309451, wrong=150951, backtracks=138509, failedAssignments=77716, nogoods=1831, foundSolutions=21, bestBound=24
9.01/7.28
9.01/7.29 num=439, depth=7..22, filters=3893654, revisions=(2284821,useless=1654591), ccks=218017, wck=4.423, mem=68M320
9.01/7.29 decisions=310035, wrong=151237, backtracks=138769, failedAssignments=77874, nogoods=1835, foundSolutions=21, bestBound=24
9.01/7.29
9.11/7.30 num=440, depth=6..22, filters=3903274, revisions=(2290996,useless=1659021), ccks=218700, wck=4.435, mem=68M320
9.11/7.30 decisions=310735, wrong=151582, backtracks=139070, failedAssignments=78048, nogoods=1842, foundSolutions=21, bestBound=24
9.11/7.30
9.11/7.32 num=441, depth=7..26, filters=3913093, revisions=(2297559,useless=1663844), ccks=219466, wck=4.447, mem=68M320
9.11/7.32 decisions=311473, wrong=151943, backtracks=139414, failedAssignments=78239, nogoods=1848, foundSolutions=21, bestBound=24
9.11/7.32
9.11/7.33 num=442, depth=7..27, filters=3924673, revisions=(2304144,useless=1668552), ccks=219943, wck=4.46, mem=68M320
9.11/7.33 decisions=312294, wrong=152349, backtracks=139770, failedAssignments=78450, nogoods=1850, foundSolutions=21, bestBound=24
9.11/7.33
9.11/7.34 num=443, depth=7..24, filters=3937112, revisions=(2311322,useless=1673670), ccks=220472, wck=4.474, mem=68M320
9.11/7.34 decisions=313197, wrong=152794, backtracks=140184, failedAssignments=78682, nogoods=1856, foundSolutions=21, bestBound=24
9.11/7.34
9.11/7.36 num=444, depth=7..21, filters=3952324, revisions=(2320745,useless=1680360), ccks=221551, wck=4.491, mem=68M320
9.11/7.36 decisions=314297, wrong=153340, backtracks=140695, failedAssignments=78937, nogoods=1858, foundSolutions=21, bestBound=24
9.11/7.36
9.11/7.38 num=445, depth=5..22, filters=3967201, revisions=(2330510,useless=1687422), ccks=222803, wck=4.508, mem=70M936
9.11/7.38 decisions=315412, wrong=153893, backtracks=141210, failedAssignments=79218, nogoods=1866, foundSolutions=21, bestBound=24
9.11/7.38
9.21/7.40 num=446, depth=8..25, filters=3982973, revisions=(2340388,useless=1694451), ccks=224042, wck=4.528, mem=70M936
9.21/7.40 decisions=316586, wrong=154474, backtracks=141745, failedAssignments=79527, nogoods=1874, foundSolutions=21, bestBound=24
9.21/7.40
9.21/7.42 num=447, depth=7..24, filters=4001481, revisions=(2351796,useless=1702552), ccks=225274, wck=4.551, mem=70M936
9.21/7.42 decisions=317918, wrong=155133, backtracks=142362, failedAssignments=79867, nogoods=1881, foundSolutions=21, bestBound=24
9.21/7.42
9.21/7.44 num=448, depth=6..22, filters=4020297, revisions=(2363139,useless=1710645), ccks=226436, wck=4.575, mem=70M936
9.21/7.44 decisions=319422, wrong=155881, backtracks=143061, failedAssignments=80241, nogoods=1884, foundSolutions=21, bestBound=24
9.21/7.44
9.21/7.47 num=449, depth=5..23, filters=4042518, revisions=(2376741,useless=1720531), ccks=227597, wck=4.599, mem=73M552
9.21/7.47 decisions=321061, wrong=156697, backtracks=143824, failedAssignments=80652, nogoods=1890, foundSolutions=21, bestBound=24
9.21/7.47
9.31/7.50 num=450, depth=6..25, filters=4069174, revisions=(2395239,useless=1734145), ccks=230107, wck=4.631, mem=73M552
9.31/7.50 decisions=322948, wrong=157634, backtracks=144702, failedAssignments=81104, nogoods=1896, foundSolutions=21, bestBound=24
9.31/7.50
9.31/7.53 num=451, depth=6..24, filters=4090910, revisions=(2409600,useless=1744623), ccks=231809, wck=4.656, mem=73M552
9.31/7.53 decisions=324782, wrong=158545, backtracks=145535, failedAssignments=81601, nogoods=1906, foundSolutions=21, bestBound=24
9.31/7.53
9.31/7.56 num=452, depth=8..25, filters=4116009, revisions=(2425834,useless=1756600), ccks=233942, wck=4.686, mem=76M168
9.31/7.56 decisions=326808, wrong=159552, backtracks=146468, failedAssignments=82148, nogoods=1918, foundSolutions=21, bestBound=24
9.31/7.56
9.31/7.59 num=453, depth=8..26, filters=4145695, revisions=(2443700,useless=1769442), ccks=236002, wck=4.72, mem=76M168
9.31/7.59 decisions=329067, wrong=160675, backtracks=147497, failedAssignments=82750, nogoods=1926, foundSolutions=21, bestBound=24
9.31/7.59
9.41/7.63 num=454, depth=7..25, filters=4177249, revisions=(2463197,useless=1783841), ccks=238336, wck=4.757, mem=78M784
9.41/7.63 decisions=331526, wrong=161896, backtracks=148599, failedAssignments=83412, nogoods=1931, foundSolutions=21, bestBound=24
9.41/7.63
9.41/7.67 num=455, depth=7..26, filters=4213262, revisions=(2484441,useless=1799152), ccks=240327, wck=4.801, mem=78M784
9.41/7.67 decisions=334208, wrong=163232, backtracks=149791, failedAssignments=84140, nogoods=1939, foundSolutions=21, bestBound=24
9.41/7.67
9.51/7.72 num=456, depth=5..24, filters=4258583, revisions=(2511517,useless=1818489), ccks=242426, wck=4.85, mem=81M400
9.51/7.72 decisions=337551, wrong=164900, backtracks=151360, failedAssignments=84941, nogoods=1946, foundSolutions=21, bestBound=24
9.51/7.72
9.51/7.77 num=457, depth=4..25, filters=4305350, revisions=(2541062,useless=1839872), ccks=245318, wck=4.902, mem=84M16
9.51/7.77 decisions=340974, wrong=166608, backtracks=152952, failedAssignments=85822, nogoods=1955, foundSolutions=21, bestBound=24
9.51/7.77
9.61/7.84 num=458, depth=4..24, filters=4360959, revisions=(2576431,useless=1865627), ccks=248740, wck=4.966, mem=84M16
9.61/7.84 decisions=345110, wrong=168670, backtracks=154878, failedAssignments=86792, nogoods=1963, foundSolutions=21, bestBound=24
9.61/7.84
9.71/7.91 num=459, depth=5..25, filters=4421626, revisions=(2612143,useless=1891203), ccks=251481, wck=5.036, mem=86M632
9.71/7.91 decisions=349369, wrong=170794, backtracks=156856, failedAssignments=87859, nogoods=1971, foundSolutions=21, bestBound=24
9.71/7.91
9.71/7.98 num=460, depth=5..26, filters=4484259, revisions=(2651679,useless=1920114), ccks=255239, wck=5.107, mem=89M248
9.71/7.98 decisions=353928, wrong=173068, backtracks=158974, failedAssignments=89032, nogoods=1976, foundSolutions=21, bestBound=24
9.71/7.98
9.82/8.06 num=461, depth=4..25, filters=4557114, revisions=(2699894,useless=1955433), ccks=260872, wck=5.192, mem=91M864
9.82/8.06 decisions=359244, wrong=175721, backtracks=161368, failedAssignments=90323, nogoods=1982, foundSolutions=21, bestBound=24
9.82/8.06
9.92/8.15 num=462, depth=4..25, filters=4636446, revisions=(2753266,useless=1994639), ccks=267648, wck=5.286, mem=94M480
9.92/8.15 decisions=364978, wrong=178583, backtracks=163971, failedAssignments=91743, nogoods=1987, foundSolutions=21, bestBound=24
9.92/8.15
10.01/8.26 num=463, depth=4..26, filters=4722776, revisions=(2809315,useless=2035571), ccks=273414, wck=5.387, mem=99M712
10.01/8.26 decisions=371557, wrong=181869, backtracks=167021, failedAssignments=93305, nogoods=1996, foundSolutions=21, bestBound=24
10.01/8.26
10.11/8.36 num=464, depth=5..25, filters=4810213, revisions=(2867464,useless=2077542), ccks=280577, wck=5.491, mem=102M328
10.11/8.36 decisions=378207, wrong=185190, backtracks=170025, failedAssignments=95023, nogoods=2002, foundSolutions=21, bestBound=24
10.11/8.36
10.21/8.48 num=465, depth=3..27, filters=4910337, revisions=(2933293,useless=2125783), ccks=287770, wck=5.607, mem=104M944
10.21/8.48 decisions=385797, wrong=188979, backtracks=173538, failedAssignments=96913, nogoods=2006, foundSolutions=21, bestBound=24
10.21/8.48
10.21/8.49 o 25
10.21/8.49 num=466, depth=7..89, filters=4917814, revisions=(2938065,useless=2129232), ccks=288466, wck=5.617, mem=107M560
10.21/8.49 decisions=386338, wrong=189244, backtracks=173778, failedAssignments=97044, nogoods=2020, foundSolutions=22, bestBound=25
10.21/8.49
10.43/8.64 num=467, depth=0..24, filters=5047123, revisions=(3031703,useless=2199012), ccks=298875, wck=5.77, mem=110M176
10.43/8.64 decisions=395828, wrong=193984, backtracks=178278, failedAssignments=99331, nogoods=2026, foundSolutions=22, bestBound=25
10.43/8.64
10.43/8.64 num=468, depth=9..14, filters=5047874, revisions=(3032198,useless=2199355), ccks=298949, wck=5.771, mem=112M792
10.43/8.64 decisions=395879, wrong=194005, backtracks=178297, failedAssignments=99342, nogoods=2028, foundSolutions=22, bestBound=25
10.43/8.64
10.43/8.64 num=469, depth=8..13, filters=5048788, revisions=(3032797,useless=2199778), ccks=299011, wck=5.773, mem=112M792
10.43/8.64 decisions=395936, wrong=194029, backtracks=178319, failedAssignments=99354, nogoods=2031, foundSolutions=22, bestBound=25
10.43/8.64
10.43/8.64 num=470, depth=7..14, filters=5049668, revisions=(3033360,useless=2200170), ccks=299073, wck=5.774, mem=112M792
10.43/8.64 decisions=395992, wrong=194053, backtracks=178339, failedAssignments=99367, nogoods=2033, foundSolutions=22, bestBound=25
10.43/8.64
10.43/8.64 num=471, depth=6..18, filters=5050632, revisions=(3034040,useless=2200665), ccks=299158, wck=5.775, mem=112M792
10.43/8.64 decisions=396061, wrong=194083, backtracks=178364, failedAssignments=99381, nogoods=2038, foundSolutions=22, bestBound=25
10.43/8.64
10.43/8.65 num=472, depth=6..15, filters=5051562, revisions=(3034736,useless=2201176), ccks=299258, wck=5.777, mem=112M792
10.43/8.65 decisions=396126, wrong=194111, backtracks=178388, failedAssignments=99397, nogoods=2040, foundSolutions=22, bestBound=25
10.43/8.65
10.43/8.65 num=473, depth=5..13, filters=5052770, revisions=(3035547,useless=2201756), ccks=299348, wck=5.779, mem=112M792
10.43/8.65 decisions=396202, wrong=194145, backtracks=178417, failedAssignments=99414, nogoods=2043, foundSolutions=22, bestBound=25
10.43/8.65
10.43/8.65 num=474, depth=5..12, filters=5054247, revisions=(3036428,useless=2202354), ccks=299453, wck=5.781, mem=112M792
10.43/8.65 decisions=396284, wrong=194183, backtracks=178448, failedAssignments=99433, nogoods=2045, foundSolutions=22, bestBound=25
10.43/8.65
10.43/8.65 num=475, depth=4..17, filters=5055529, revisions=(3037232,useless=2202925), ccks=299513, wck=5.782, mem=112M792
10.43/8.65 decisions=396375, wrong=194223, backtracks=178479, failedAssignments=99454, nogoods=2052, foundSolutions=22, bestBound=25
10.43/8.65
10.43/8.65 num=476, depth=4..14, filters=5057055, revisions=(3038223,useless=2203648), ccks=299602, wck=5.784, mem=112M792
10.43/8.65 decisions=396480, wrong=194271, backtracks=178521, failedAssignments=99477, nogoods=2055, foundSolutions=22, bestBound=25
10.43/8.65
10.43/8.66 num=477, depth=5..21, filters=5058601, revisions=(3039232,useless=2204348), ccks=299731, wck=5.786, mem=112M792
10.43/8.66 decisions=396595, wrong=194324, backtracks=178568, failedAssignments=99502, nogoods=2058, foundSolutions=22, bestBound=25
10.43/8.66
10.43/8.66 num=478, depth=6..16, filters=5060563, revisions=(3040621,useless=2205382), ccks=299872, wck=5.789, mem=112M792
10.43/8.66 decisions=396723, wrong=194384, backtracks=178624, failedAssignments=99530, nogoods=2061, foundSolutions=22, bestBound=25
10.43/8.66
10.43/8.66 num=479, depth=5..18, filters=5062206, revisions=(3041746,useless=2206190), ccks=299972, wck=5.791, mem=112M792
10.43/8.66 decisions=396840, wrong=194440, backtracks=178674, failedAssignments=99561, nogoods=2064, foundSolutions=22, bestBound=25
10.43/8.66
10.43/8.66 num=480, depth=5..15, filters=5064353, revisions=(3043095,useless=2207157), ccks=300101, wck=5.794, mem=112M792
10.43/8.66 decisions=396984, wrong=194509, backtracks=178739, failedAssignments=99595, nogoods=2068, foundSolutions=22, bestBound=25
10.43/8.66
10.43/8.67 num=481, depth=5..15, filters=5067144, revisions=(3045167,useless=2208642), ccks=300357, wck=5.798, mem=112M792
10.43/8.67 decisions=397155, wrong=194591, backtracks=178810, failedAssignments=99632, nogoods=2074, foundSolutions=22, bestBound=25
10.43/8.67
10.43/8.67 num=482, depth=6..16, filters=5069678, revisions=(3047102,useless=2210049), ccks=300600, wck=5.802, mem=112M792
10.43/8.67 decisions=397319, wrong=194670, backtracks=178885, failedAssignments=99673, nogoods=2080, foundSolutions=22, bestBound=25
10.43/8.67
10.43/8.67 num=483, depth=5..21, filters=5072270, revisions=(3048922,useless=2211358), ccks=300818, wck=5.805, mem=112M792
10.43/8.67 decisions=397516, wrong=194762, backtracks=178963, failedAssignments=99718, nogoods=2090, foundSolutions=22, bestBound=25
10.43/8.67
10.43/8.68 num=484, depth=7..18, filters=5075338, revisions=(3050967,useless=2212821), ccks=301054, wck=5.809, mem=112M792
10.43/8.68 decisions=397715, wrong=194858, backtracks=179054, failedAssignments=99768, nogoods=2093, foundSolutions=22, bestBound=25
10.43/8.68
10.43/8.68 num=485, depth=4..18, filters=5078809, revisions=(3053436,useless=2214580), ccks=301344, wck=5.814, mem=112M792
10.43/8.68 decisions=397953, wrong=194973, backtracks=179157, failedAssignments=99823, nogoods=2098, foundSolutions=22, bestBound=25
10.43/8.68
10.43/8.69 num=486, depth=4..18, filters=5081965, revisions=(3055764,useless=2216296), ccks=301614, wck=5.819, mem=112M792
10.43/8.69 decisions=398193, wrong=195087, backtracks=179253, failedAssignments=99884, nogoods=2102, foundSolutions=22, bestBound=25
10.43/8.69
10.43/8.69 num=487, depth=5..20, filters=5085243, revisions=(3058177,useless=2218068), ccks=301879, wck=5.823, mem=112M792
10.43/8.69 decisions=398449, wrong=195210, backtracks=179361, failedAssignments=99951, nogoods=2110, foundSolutions=22, bestBound=25
10.43/8.69
10.54/8.70 num=488, depth=5..18, filters=5089901, revisions=(3061633,useless=2220613), ccks=302346, wck=5.83, mem=112M792
10.54/8.70 decisions=398787, wrong=195375, backtracks=179520, failedAssignments=100025, nogoods=2113, foundSolutions=22, bestBound=25
10.54/8.70
10.54/8.71 num=489, depth=4..18, filters=5094506, revisions=(3064910,useless=2222963), ccks=302748, wck=5.836, mem=112M792
10.54/8.71 decisions=399104, wrong=195528, backtracks=179660, failedAssignments=100106, nogoods=2121, foundSolutions=22, bestBound=25
10.54/8.71
10.54/8.71 num=490, depth=4..18, filters=5100481, revisions=(3069216,useless=2226095), ccks=303219, wck=5.845, mem=112M792
10.54/8.71 decisions=399486, wrong=195716, backtracks=179836, failedAssignments=100195, nogoods=2125, foundSolutions=22, bestBound=25
10.54/8.71
10.54/8.72 num=491, depth=4..22, filters=5106624, revisions=(3073869,useless=2229508), ccks=303863, wck=5.853, mem=115M408
10.54/8.72 decisions=399879, wrong=195905, backtracks=180005, failedAssignments=100293, nogoods=2133, foundSolutions=22, bestBound=25
10.54/8.72
10.54/8.73 num=492, depth=6..23, filters=5113331, revisions=(3078316,useless=2232682), ccks=304397, wck=5.862, mem=115M408
10.54/8.73 decisions=400343, wrong=196132, backtracks=180213, failedAssignments=100401, nogoods=2138, foundSolutions=22, bestBound=25
10.54/8.73
10.54/8.74 num=493, depth=5..22, filters=5119165, revisions=(3082590,useless=2235810), ccks=304967, wck=5.87, mem=115M408
10.54/8.74 decisions=400813, wrong=196360, backtracks=180418, failedAssignments=100520, nogoods=2143, foundSolutions=22, bestBound=25
10.54/8.74
10.54/8.75 num=494, depth=6..23, filters=5124365, revisions=(3086639,useless=2238828), ccks=305600, wck=5.878, mem=115M408
10.54/8.75 decisions=401295, wrong=196595, backtracks=180637, failedAssignments=100651, nogoods=2151, foundSolutions=22, bestBound=25
10.54/8.75
10.54/8.76 num=495, depth=4..22, filters=5132786, revisions=(3092646,useless=2243212), ccks=306349, wck=5.889, mem=115M408
10.54/8.76 decisions=401870, wrong=196878, backtracks=180901, failedAssignments=100795, nogoods=2157, foundSolutions=22, bestBound=25
10.54/8.76
10.54/8.77 num=496, depth=3..21, filters=5140395, revisions=(3098229,useless=2247286), ccks=307141, wck=5.9, mem=115M408
10.54/8.77 decisions=402473, wrong=197173, backtracks=181166, failedAssignments=100953, nogoods=2165, foundSolutions=22, bestBound=25
10.54/8.77
10.54/8.78 num=497, depth=4..25, filters=5149590, revisions=(3105025,useless=2252231), ccks=308110, wck=5.913, mem=115M408
10.54/8.78 decisions=403176, wrong=197518, backtracks=181480, failedAssignments=101127, nogoods=2174, foundSolutions=22, bestBound=25
10.54/8.78
10.54/8.80 num=498, depth=4..19, filters=5160679, revisions=(3113138,useless=2258274), ccks=309187, wck=5.927, mem=115M408
10.54/8.80 decisions=404007, wrong=197931, backtracks=181869, failedAssignments=101318, nogoods=2181, foundSolutions=22, bestBound=25
10.54/8.80
10.65/8.81 num=499, depth=5..23, filters=5170933, revisions=(3119685,useless=2262971), ccks=309961, wck=5.939, mem=118M24
10.65/8.81 decisions=404841, wrong=198343, backtracks=182254, failedAssignments=101529, nogoods=2188, foundSolutions=22, bestBound=25
10.65/8.81
10.65/8.83 num=500, depth=4..23, filters=5184290, revisions=(3129019,useless=2269743), ccks=310994, wck=5.958, mem=118M24
10.65/8.83 decisions=405777, wrong=198808, backtracks=182695, failedAssignments=101761, nogoods=2191, foundSolutions=22, bestBound=25
10.65/8.83
10.65/8.85 num=501, depth=3..22, filters=5197961, revisions=(3139280,useless=2277329), ccks=312362, wck=5.976, mem=118M24
10.65/8.85 decisions=406759, wrong=199293, backtracks=183127, failedAssignments=102016, nogoods=2195, foundSolutions=22, bestBound=25
10.65/8.85
10.65/8.86 num=502, depth=7..26, filters=5210486, revisions=(3148025,useless=2283772), ccks=313710, wck=5.992, mem=118M24
10.65/8.86 decisions=407858, wrong=199837, backtracks=183630, failedAssignments=102297, nogoods=2205, foundSolutions=22, bestBound=25
10.65/8.86
10.65/8.88 num=503, depth=4..23, filters=5227953, revisions=(3159282,useless=2291930), ccks=314768, wck=6.015, mem=118M24
10.65/8.88 decisions=409131, wrong=200469, backtracks=184223, failedAssignments=102606, nogoods=2209, foundSolutions=22, bestBound=25
10.65/8.88
10.75/8.91 num=504, depth=5..21, filters=5246299, revisions=(3172510,useless=2301551), ccks=316600, wck=6.039, mem=120M640
10.75/8.91 decisions=410516, wrong=201157, backtracks=184872, failedAssignments=102946, nogoods=2216, foundSolutions=22, bestBound=25
10.75/8.91
10.75/8.93 num=505, depth=4..23, filters=5267974, revisions=(3186806,useless=2311948), ccks=318126, wck=6.064, mem=120M640
10.75/8.93 decisions=412038, wrong=201913, backtracks=185543, failedAssignments=103320, nogoods=2223, foundSolutions=22, bestBound=25
10.75/8.93
10.75/8.96 num=506, depth=5..22, filters=5289519, revisions=(3201820,useless=2322850), ccks=319968, wck=6.093, mem=120M640
10.75/8.96 decisions=413591, wrong=202684, backtracks=186271, failedAssignments=103731, nogoods=2231, foundSolutions=22, bestBound=25
10.75/8.96
10.75/8.99 num=507, depth=4..22, filters=5316206, revisions=(3220504,useless=2336468), ccks=322205, wck=6.125, mem=123M256
10.75/8.99 decisions=415494, wrong=203633, backtracks=187150, failedAssignments=104183, nogoods=2235, foundSolutions=22, bestBound=25
10.75/8.99
10.86/9.03 num=508, depth=5..24, filters=5341522, revisions=(3236955,useless=2348187), ccks=324126, wck=6.16, mem=123M256
10.86/9.03 decisions=417369, wrong=204567, backtracks=188005, failedAssignments=104680, nogoods=2240, foundSolutions=22, bestBound=25
10.86/9.03
10.86/9.05 o 26
10.86/9.05 num=509, depth=4..89, filters=5357579, revisions=(3248312,useless=2356632), ccks=325325, wck=6.181, mem=123M256
10.86/9.05 decisions=418464, wrong=205110, backtracks=188508, failedAssignments=104957, nogoods=2255, foundSolutions=23, bestBound=26
10.86/9.05
10.86/9.09 num=510, depth=3..24, filters=5389028, revisions=(3271197,useless=2373334), ccks=328386, wck=6.224, mem=125M872
10.86/9.09 decisions=420765, wrong=206256, backtracks=189551, failedAssignments=105559, nogoods=2257, foundSolutions=23, bestBound=26
10.86/9.09
10.86/9.09 num=511, depth=10..17, filters=5389582, revisions=(3271554,useless=2373593), ccks=328429, wck=6.225, mem=125M872
10.86/9.09 decisions=420812, wrong=206274, backtracks=189565, failedAssignments=105570, nogoods=2261, foundSolutions=23, bestBound=26
10.86/9.09
10.86/9.10 num=512, depth=10..19, filters=5390281, revisions=(3272052,useless=2373953), ccks=328478, wck=6.226, mem=125M872
10.86/9.10 decisions=420866, wrong=206294, backtracks=189578, failedAssignments=105582, nogoods=2267, foundSolutions=23, bestBound=26
10.86/9.10
10.86/9.10 num=513, depth=6..19, filters=5390974, revisions=(3272461,useless=2374248), ccks=328527, wck=6.228, mem=125M872
10.86/9.10 decisions=420923, wrong=206316, backtracks=189598, failedAssignments=105595, nogoods=2269, foundSolutions=23, bestBound=26
10.86/9.10
10.86/9.10 num=514, depth=8..20, filters=5391588, revisions=(3272877,useless=2374540), ccks=328580, wck=6.229, mem=125M872
10.86/9.10 decisions=420973, wrong=206335, backtracks=189612, failedAssignments=105609, nogoods=2274, foundSolutions=23, bestBound=26
10.86/9.10
10.86/9.10 num=515, depth=7..18, filters=5392492, revisions=(3273568,useless=2375051), ccks=328679, wck=6.231, mem=125M872
10.86/9.10 decisions=421044, wrong=206366, backtracks=189640, failedAssignments=105625, nogoods=2278, foundSolutions=23, bestBound=26
10.86/9.10
10.86/9.10 num=516, depth=7..16, filters=5393438, revisions=(3274248,useless=2375528), ccks=328762, wck=6.232, mem=125M872
10.86/9.10 decisions=421114, wrong=206396, backtracks=189663, failedAssignments=105642, nogoods=2281, foundSolutions=23, bestBound=26
10.86/9.10
10.86/9.10 num=517, depth=5..18, filters=5394406, revisions=(3274930,useless=2376002), ccks=328864, wck=6.234, mem=125M872
10.86/9.10 decisions=421202, wrong=206435, backtracks=189698, failedAssignments=105661, nogoods=2284, foundSolutions=23, bestBound=26
10.86/9.10
10.86/9.11 num=518, depth=6..15, filters=5395769, revisions=(3275701,useless=2376531), ccks=328931, wck=6.236, mem=125M872
10.86/9.11 decisions=421292, wrong=206476, backtracks=189731, failedAssignments=105682, nogoods=2287, foundSolutions=23, bestBound=26
10.86/9.11
10.98/9.11 num=519, depth=5..15, filters=5396826, revisions=(3276430,useless=2377057), ccks=329005, wck=6.238, mem=125M872
10.98/9.11 decisions=421375, wrong=206514, backtracks=189760, failedAssignments=105705, nogoods=2290, foundSolutions=23, bestBound=26
10.98/9.11
10.98/9.11 num=520, depth=5..15, filters=5398078, revisions=(3277347,useless=2377718), ccks=329113, wck=6.24, mem=125M872
10.98/9.11 decisions=421464, wrong=206554, backtracks=189796, failedAssignments=105730, nogoods=2296, foundSolutions=23, bestBound=26
10.98/9.11
10.98/9.11 num=521, depth=5..16, filters=5399657, revisions=(3278451,useless=2378507), ccks=329214, wck=6.242, mem=125M872
10.98/9.11 decisions=421573, wrong=206606, backtracks=189841, failedAssignments=105758, nogoods=2299, foundSolutions=23, bestBound=26
10.98/9.11
10.98/9.11 num=522, depth=6..19, filters=5401957, revisions=(3279964,useless=2379555), ccks=329388, wck=6.245, mem=125M872
10.98/9.11 decisions=421702, wrong=206666, backtracks=189897, failedAssignments=105789, nogoods=2304, foundSolutions=23, bestBound=26
10.98/9.11
10.98/9.12 num=523, depth=4..17, filters=5403397, revisions=(3281022,useless=2380328), ccks=329522, wck=6.248, mem=125M872
10.98/9.12 decisions=421825, wrong=206722, backtracks=189940, failedAssignments=105823, nogoods=2312, foundSolutions=23, bestBound=26
10.98/9.12
10.98/9.12 num=524, depth=5..17, filters=5405637, revisions=(3282630,useless=2381487), ccks=329722, wck=6.252, mem=125M872
10.98/9.12 decisions=421976, wrong=206794, backtracks=190006, failedAssignments=105860, nogoods=2320, foundSolutions=23, bestBound=26
10.98/9.12
10.98/9.12 num=525, depth=5..18, filters=5407852, revisions=(3284218,useless=2382606), ccks=329944, wck=6.255, mem=125M872
10.98/9.12 decisions=422138, wrong=206870, backtracks=190079, failedAssignments=105901, nogoods=2324, foundSolutions=23, bestBound=26
10.98/9.12
10.98/9.13 num=526, depth=6..18, filters=5409775, revisions=(3285616,useless=2383622), ccks=330166, wck=6.258, mem=125M872
10.98/9.13 decisions=422310, wrong=206952, backtracks=190155, failedAssignments=105946, nogoods=2330, foundSolutions=23, bestBound=26
10.98/9.13
10.98/9.13 num=527, depth=2..15, filters=5412502, revisions=(3287585,useless=2385004), ccks=330408, wck=6.262, mem=125M872
10.98/9.13 decisions=422507, wrong=207047, backtracks=190237, failedAssignments=105996, nogoods=2333, foundSolutions=23, bestBound=26
10.98/9.13
10.98/9.14 num=528, depth=4..20, filters=5415305, revisions=(3289617,useless=2386447), ccks=330721, wck=6.266, mem=125M872
10.98/9.14 decisions=422717, wrong=207148, backtracks=190331, failedAssignments=106051, nogoods=2338, foundSolutions=23, bestBound=26
10.98/9.14
10.98/9.14 num=529, depth=7..19, filters=5418197, revisions=(3291781,useless=2388046), ccks=331049, wck=6.27, mem=128M489
10.98/9.14 decisions=422972, wrong=207271, backtracks=190441, failedAssignments=106112, nogoods=2344, foundSolutions=23, bestBound=26
10.98/9.14
10.98/9.14 num=530, depth=5..17, filters=5422127, revisions=(3294495,useless=2389968), ccks=331434, wck=6.276, mem=128M489
10.98/9.14 decisions=423237, wrong=207399, backtracks=190551, failedAssignments=106179, nogoods=2354, foundSolutions=23, bestBound=26
10.98/9.14
10.98/9.15 num=531, depth=4..16, filters=5426131, revisions=(3297288,useless=2391986), ccks=331814, wck=6.282, mem=128M489
10.98/9.15 decisions=423529, wrong=207543, backtracks=190679, failedAssignments=106253, nogoods=2360, foundSolutions=23, bestBound=26
10.98/9.15
10.98/9.16 num=532, depth=4..20, filters=5431086, revisions=(3300778,useless=2394541), ccks=332258, wck=6.289, mem=128M489
10.98/9.16 decisions=423880, wrong=207713, backtracks=190833, failedAssignments=106334, nogoods=2367, foundSolutions=23, bestBound=26
10.98/9.16
10.98/9.17 num=533, depth=4..16, filters=5437028, revisions=(3304877,useless=2397461), ccks=332703, wck=6.297, mem=128M489
10.98/9.17 decisions=424227, wrong=207884, backtracks=190996, failedAssignments=106423, nogoods=2370, foundSolutions=23, bestBound=26
10.98/9.17
10.98/9.17 num=534, depth=3..19, filters=5442302, revisions=(3308768,useless=2400281), ccks=333247, wck=6.305, mem=128M489
10.98/9.17 decisions=424638, wrong=208085, backtracks=191183, failedAssignments=106521, nogoods=2375, foundSolutions=23, bestBound=26
10.98/9.17
10.98/9.18 num=535, depth=4..18, filters=5448752, revisions=(3313493,useless=2403671), ccks=333738, wck=6.314, mem=128M489
10.98/9.18 decisions=425049, wrong=208288, backtracks=191366, failedAssignments=106629, nogoods=2382, foundSolutions=23, bestBound=26
10.98/9.18
10.98/9.19 num=536, depth=2..19, filters=5455460, revisions=(3318527,useless=2407328), ccks=334383, wck=6.324, mem=128M489
10.98/9.19 decisions=425522, wrong=208519, backtracks=191578, failedAssignments=106748, nogoods=2386, foundSolutions=23, bestBound=26
10.98/9.19
11.07/9.20 num=537, depth=3..18, filters=5462720, revisions=(3323863,useless=2411216), ccks=335021, wck=6.334, mem=128M489
11.07/9.20 decisions=426051, wrong=208779, backtracks=191826, failedAssignments=106879, nogoods=2393, foundSolutions=23, bestBound=26
11.07/9.20
11.07/9.21 num=538, depth=3..19, filters=5470717, revisions=(3329407,useless=2415227), ccks=335666, wck=6.344, mem=128M489
11.07/9.21 decisions=426641, wrong=209070, backtracks=192098, failedAssignments=107023, nogoods=2402, foundSolutions=23, bestBound=26
11.07/9.21
11.07/9.23 num=539, depth=2..18, filters=5480676, revisions=(3336263,useless=2420244), ccks=336471, wck=6.358, mem=131M105
11.07/9.23 decisions=427341, wrong=209414, backtracks=192420, failedAssignments=107181, nogoods=2407, foundSolutions=23, bestBound=26
11.07/9.23
11.07/9.24 num=540, depth=4..23, filters=5490547, revisions=(3343174,useless=2425257), ccks=337347, wck=6.372, mem=131M105
11.07/9.24 decisions=428076, wrong=209776, backtracks=192764, failedAssignments=107355, nogoods=2415, foundSolutions=23, bestBound=26
11.07/9.24
11.07/9.26 num=541, depth=3..24, filters=5501969, revisions=(3351199,useless=2430957), ccks=338273, wck=6.388, mem=131M105
11.07/9.26 decisions=428822, wrong=210147, backtracks=193103, failedAssignments=107546, nogoods=2420, foundSolutions=23, bestBound=26
11.07/9.26
11.07/9.27 num=542, depth=3..21, filters=5513490, revisions=(3359026,useless=2436579), ccks=339257, wck=6.403, mem=131M105
11.07/9.27 decisions=429678, wrong=210571, backtracks=193486, failedAssignments=107757, nogoods=2428, foundSolutions=23, bestBound=26
11.07/9.27
11.07/9.29 num=543, depth=5..21, filters=5526493, revisions=(3368102,useless=2443222), ccks=340305, wck=6.42, mem=131M105
11.07/9.29 decisions=430552, wrong=211003, backtracks=193885, failedAssignments=107989, nogoods=2437, foundSolutions=23, bestBound=26
11.07/9.29
11.20/9.31 num=544, depth=3..23, filters=5540560, revisions=(3378058,useless=2450365), ccks=341675, wck=6.44, mem=131M105
11.20/9.31 decisions=431556, wrong=211500, backtracks=194327, failedAssignments=108244, nogoods=2446, foundSolutions=23, bestBound=26
11.20/9.31
11.20/9.33 num=545, depth=2..25, filters=5555350, revisions=(3388414,useless=2457856), ccks=342950, wck=6.459, mem=133M721
11.20/9.33 decisions=432585, wrong=212008, backtracks=194791, failedAssignments=108525, nogoods=2452, foundSolutions=23, bestBound=26
11.20/9.33
11.20/9.35 num=546, depth=3..22, filters=5570703, revisions=(3398922,useless=2465392), ccks=344299, wck=6.481, mem=133M721
11.20/9.35 decisions=433747, wrong=212584, backtracks=195311, failedAssignments=108834, nogoods=2459, foundSolutions=23, bestBound=26
11.20/9.35
11.20/9.37 num=547, depth=4..22, filters=5588371, revisions=(3410322,useless=2473477), ccks=345445, wck=6.505, mem=133M721
11.20/9.37 decisions=435117, wrong=213265, backtracks=195938, failedAssignments=109174, nogoods=2463, foundSolutions=23, bestBound=26
11.20/9.37
11.30/9.40 num=548, depth=5..24, filters=5607873, revisions=(3424341,useless=2483922), ccks=347079, wck=6.532, mem=136M337
11.30/9.40 decisions=436548, wrong=213977, backtracks=196602, failedAssignments=109548, nogoods=2469, foundSolutions=23, bestBound=26
11.30/9.40
11.30/9.43 num=549, depth=2..26, filters=5627291, revisions=(3438354,useless=2494031), ccks=349230, wck=6.559, mem=136M337
11.30/9.43 decisions=438036, wrong=214715, backtracks=197277, failedAssignments=109959, nogoods=2476, foundSolutions=23, bestBound=26
11.30/9.43
11.30/9.46 num=550, depth=4..23, filters=5652309, revisions=(3456297,useless=2507264), ccks=351493, wck=6.595, mem=136M337
11.30/9.46 decisions=439772, wrong=215579, backtracks=198066, failedAssignments=110411, nogoods=2480, foundSolutions=23, bestBound=26
11.30/9.46
11.30/9.49 num=551, depth=5..27, filters=5673314, revisions=(3471202,useless=2518245), ccks=353568, wck=6.621, mem=136M337
11.30/9.49 decisions=441591, wrong=216482, backtracks=198882, failedAssignments=110908, nogoods=2491, foundSolutions=23, bestBound=26
11.30/9.49
11.40/9.53 num=552, depth=4..24, filters=5702139, revisions=(3492867,useless=2534320), ccks=356731, wck=6.659, mem=138M953
11.40/9.53 decisions=443764, wrong=217563, backtracks=199852, failedAssignments=111455, nogoods=2502, foundSolutions=23, bestBound=26
11.40/9.53
11.40/9.57 num=553, depth=2..25, filters=5731735, revisions=(3513789,useless=2549412), ccks=359670, wck=6.7, mem=138M953
11.40/9.57 decisions=446091, wrong=218721, backtracks=200909, failedAssignments=112057, nogoods=2508, foundSolutions=23, bestBound=26
11.40/9.57
11.50/9.62 num=554, depth=2..21, filters=5769342, revisions=(3542309,useless=2570423), ccks=363696, wck=6.749, mem=141M569
11.50/9.62 decisions=448655, wrong=219999, backtracks=202061, failedAssignments=112719, nogoods=2514, foundSolutions=23, bestBound=26
11.50/9.62
11.50/9.67 num=555, depth=2..26, filters=5810743, revisions=(3569109,useless=2589275), ccks=366570, wck=6.802, mem=144M185
11.50/9.67 decisions=451470, wrong=221401, backtracks=203348, failedAssignments=113447, nogoods=2519, foundSolutions=23, bestBound=26
11.50/9.67
11.60/9.73 num=556, depth=1..20, filters=5856982, revisions=(3601911,useless=2613187), ccks=370588, wck=6.863, mem=144M185
11.60/9.73 decisions=454717, wrong=223021, backtracks=204831, failedAssignments=114248, nogoods=2528, foundSolutions=23, bestBound=26
11.60/9.73
11.60/9.79 num=557, depth=2..21, filters=5905492, revisions=(3636381,useless=2638466), ccks=374691, wck=6.924, mem=146M801
11.60/9.79 decisions=458266, wrong=224793, backtracks=206463, failedAssignments=115129, nogoods=2537, foundSolutions=23, bestBound=26
11.60/9.79
11.70/9.87 num=558, depth=1..24, filters=5965241, revisions=(3678149,useless=2668595), ccks=379460, wck=7.004, mem=149M417
11.70/9.87 decisions=462326, wrong=226820, backtracks=208361, failedAssignments=116099, nogoods=2544, foundSolutions=23, bestBound=26
11.70/9.87
11.80/9.96 num=559, depth=1..23, filters=6024833, revisions=(3722683,useless=2701142), ccks=385307, wck=7.088, mem=152M31
11.80/9.96 decisions=466442, wrong=228874, backtracks=210253, failedAssignments=117166, nogoods=2551, foundSolutions=23, bestBound=26
11.80/9.96
11.91/10.03
11.91/10.03 New Bounds: 27..26
11.91/10.03 num=560, depth=0..21, filters=6077445, revisions=(3761768,useless=2729613), ccks=390150, wck=7.159, mem=152M31
11.91/10.03 decisions=469908, wrong=230608, backtracks=211857, failedAssignments=118003, foundSolutions=23, bestBound=26
11.91/10.03
11.91/10.03 Global
11.91/10.03 filters=6077445, revisions=(3761768,useless=2729613), ccks=390150
11.91/10.03 Stop=FULL_EXPLORATION, wrong=230608, bestBound=26, bestBoundWck=6.536, bestBoundCpu=8.291, foundSolutions=23, firstSolCpu=2.147
11.91/10.03 wck=7.515, cpu=9.269, mem=152M31
11.91/10.03
11.91/10.03 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>
11.91/10.03 s OPTIMUM FOUND
11.91/10.03
11.91/10.03 d WRONG_DECISIONS 230608
11.91/10.03 d NUMBER_SOLUTIONS 23