2.54/2.66
2.54/2.66 AbsCon 2
2.54/2.69
2.92/2.84 Instance
2.92/2.84 name=instance-4390774-1568380515, framework=COP, bounds=-infty..+infty
2.92/2.84
2.92/2.84 Loading variables...
2.92/2.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505dcca8
2.92/2.87 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f41079
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b312b2
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328ac699
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f5d06
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68c574
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4b3dd7
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1846740c
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263b629
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
2.92/2.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497932e5
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528c22c
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b774905
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9026e
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
2.92/2.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
2.92/2.89 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
2.92/2.89 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
2.92/2.89 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
2.92/2.89 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
2.92/2.89 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
2.92/2.89 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
2.92/2.89 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
3.13/2.96
3.13/2.96
3.13/2.96 Domains
3.13/2.96 nTypes=2, nValues=462, sizes=[2#42,9#42]
3.13/2.96 Variables
3.13/2.96 count=84, degrees=[2#42,7#4,8#2,9#4,10#32]
3.13/2.96 Objectives
3.13/2.96 way=max, type=SumSimpleGE
3.13/2.96 Constraints
3.13/2.96 count=111, nSpecific=43, arities=[2#42,3#26,4#4,6#26,9#12,42#1]
3.13/2.96 distribution=[CtrExtensionV-Bits#42,CtrExtensionV-Matrix3D#26,SumSimpleGE#1,SumWeightedEQ#42]
3.13/2.96 nExtStructures=(4,shared:64), nCftStructures=(4,shared:64,unbuilt:43)
3.13/2.96 wck=0.33, cpu=2.116, mem=21M227
3.13/2.96 Solver SolverBacktrack being built...
3.13/2.96
3.13/2.98
3.13/2.98 Solver
3.13/2.98 guaranteedGAC=false
3.13/2.98 wck=0.355, cpu=2.139, mem=31M870
3.13/2.99
3.13/2.99 Preprocessing
3.13/2.99 filters=30, revisions=(30,useless=30), nACremovedValues=98, nTotalRemovedValues=98, inconcistency=false
3.13/2.99 wck=0.003, cpu=2.143, mem=31M870
3.13/2.99
3.13/3.00 o 0
3.13/3.00 num=0, depth=85..83, filters=282, revisions=(265,useless=225), ccks=137, wck=0.018, mem=34M512
3.13/3.00 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.13/3.00
3.36/3.02 o 4
3.36/3.02 num=1, depth=23..83, filters=598, revisions=(610,useless=519), ccks=266, wck=0.03, mem=34M512
3.36/3.02 decisions=63, wrong=6, backtracks=3, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=4
3.36/3.02
3.36/3.02 o 6
3.36/3.02 num=2, depth=19..83, filters=927, revisions=(976,useless=829), ccks=406, wck=0.035, mem=34M512
3.36/3.02 decisions=95, wrong=12, backtracks=6, failedAssignments=9, nogoods=7, foundSolutions=3, bestBound=6
3.36/3.02
3.36/3.03 o 7
3.36/3.03 num=3, depth=19..83, filters=1322, revisions=(1373,useless=1165), ccks=538, wck=0.04, mem=34M512
3.36/3.03 decisions=135, wrong=21, backtracks=13, failedAssignments=14, nogoods=9, foundSolutions=4, bestBound=7
3.36/3.03
3.36/3.03 o 8
3.36/3.04 num=4, depth=18..83, filters=1649, revisions=(1773,useless=1516), ccks=672, wck=0.06, mem=34M512
3.36/3.04 decisions=176, wrong=32, backtracks=16, failedAssignments=23, nogoods=14, foundSolutions=5, bestBound=8
3.36/3.04
3.36/3.05 num=5, depth=17..25, filters=2360, revisions=(2311,useless=1935), ccks=741, wck=0.066, mem=34M512
3.36/3.05 decisions=248, wrong=57, backtracks=36, failedAssignments=34, nogoods=16, foundSolutions=5, bestBound=8
3.36/3.05
3.36/3.06 o 9
3.36/3.06 num=6, depth=19..83, filters=2856, revisions=(2660,useless=2210), ccks=891, wck=0.07, mem=34M512
3.36/3.06 decisions=306, wrong=73, backtracks=44, failedAssignments=43, nogoods=20, foundSolutions=6, bestBound=9
3.36/3.06
3.36/3.06 o 11
3.36/3.06 num=7, depth=16..83, filters=3451, revisions=(3241,useless=2693), ccks=1065, wck=0.074, mem=34M512
3.36/3.06 decisions=355, wrong=88, backtracks=54, failedAssignments=52, nogoods=25, foundSolutions=7, bestBound=11
3.36/3.06
3.36/3.06 o 12
3.36/3.06 num=8, depth=15..83, filters=3982, revisions=(3722,useless=3095), ccks=1219, wck=0.078, mem=34M512
3.36/3.06 decisions=401, wrong=103, backtracks=67, failedAssignments=61, nogoods=28, foundSolutions=8, bestBound=12
3.36/3.06
3.36/3.07 num=9, depth=16..22, filters=4527, revisions=(4120,useless=3411), ccks=1262, wck=0.081, mem=34M512
3.36/3.07 decisions=455, wrong=121, backtracks=82, failedAssignments=72, nogoods=32, foundSolutions=8, bestBound=12
3.36/3.07
3.36/3.07 num=10, depth=16..23, filters=5135, revisions=(4586,useless=3767), ccks=1334, wck=0.084, mem=34M512
3.36/3.07 decisions=513, wrong=142, backtracks=99, failedAssignments=83, nogoods=35, foundSolutions=8, bestBound=12
3.36/3.07
3.36/3.07 num=11, depth=19..28, filters=5796, revisions=(5006,useless=4088), ccks=1385, wck=0.086, mem=34M512
3.36/3.07 decisions=578, wrong=164, backtracks=117, failedAssignments=95, nogoods=37, foundSolutions=8, bestBound=12
3.36/3.07
3.36/3.07 num=12, depth=17..24, filters=6569, revisions=(5540,useless=4502), ccks=1459, wck=0.09, mem=34M512
3.36/3.07 decisions=646, wrong=188, backtracks=137, failedAssignments=108, nogoods=40, foundSolutions=8, bestBound=12
3.36/3.07
3.36/3.08 num=13, depth=17..23, filters=7454, revisions=(6177,useless=4993), ccks=1557, wck=0.093, mem=34M512
3.36/3.08 decisions=719, wrong=216, backtracks=164, failedAssignments=122, nogoods=43, foundSolutions=8, bestBound=12
3.36/3.08
3.36/3.08 num=14, depth=19..26, filters=8267, revisions=(6806,useless=5475), ccks=1660, wck=0.097, mem=34M512
3.36/3.08 decisions=797, wrong=245, backtracks=188, failedAssignments=138, nogoods=46, foundSolutions=8, bestBound=12
3.36/3.08
3.36/3.09 num=15, depth=18..26, filters=9163, revisions=(7428,useless=5963), ccks=1743, wck=0.1, mem=34M512
3.36/3.09 decisions=887, wrong=279, backtracks=220, failedAssignments=155, nogoods=48, foundSolutions=8, bestBound=12
3.36/3.09
3.36/3.09 num=16, depth=17..28, filters=10077, revisions=(8005,useless=6391), ccks=1811, wck=0.104, mem=34M512
3.36/3.09 decisions=980, wrong=316, backtracks=252, failedAssignments=174, nogoods=52, foundSolutions=8, bestBound=12
3.36/3.09
3.36/3.09 num=17, depth=16..26, filters=10943, revisions=(8678,useless=6926), ccks=1921, wck=0.108, mem=34M512
3.36/3.09 decisions=1072, wrong=353, backtracks=285, failedAssignments=195, nogoods=54, foundSolutions=8, bestBound=12
3.36/3.09
3.36/3.10 num=18, depth=15..26, filters=11983, revisions=(9287,useless=7388), ccks=1981, wck=0.112, mem=34M512
3.36/3.10 decisions=1174, wrong=394, backtracks=317, failedAssignments=218, nogoods=57, foundSolutions=8, bestBound=12
3.36/3.10
3.36/3.10 num=19, depth=18..27, filters=12958, revisions=(9969,useless=7912), ccks=2068, wck=0.116, mem=34M512
3.36/3.10 decisions=1272, wrong=433, backtracks=349, failedAssignments=243, nogoods=62, foundSolutions=8, bestBound=12
3.36/3.10
3.70/3.11 o 13
3.70/3.11 num=20, depth=16..83, filters=14140, revisions=(10877,useless=8624), ccks=2318, wck=0.121, mem=34M512
3.70/3.11 decisions=1378, wrong=477, backtracks=390, failedAssignments=270, nogoods=67, foundSolutions=9, bestBound=13
3.70/3.11
3.70/3.11 num=21, depth=13..23, filters=15683, revisions=(12169,useless=9634), ccks=2529, wck=0.127, mem=34M512
3.70/3.11 decisions=1506, wrong=533, backtracks=440, failedAssignments=301, nogoods=69, foundSolutions=9, bestBound=13
3.70/3.11
3.70/3.11 num=22, depth=16..24, filters=16386, revisions=(12621,useless=9967), ccks=2590, wck=0.13, mem=34M512
3.70/3.11 decisions=1580, wrong=560, backtracks=459, failedAssignments=312, nogoods=73, foundSolutions=9, bestBound=13
3.70/3.11
3.70/3.12 num=23, depth=17..23, filters=17026, revisions=(13063,useless=10296), ccks=2670, wck=0.133, mem=34M512
3.70/3.12 decisions=1639, wrong=581, backtracks=476, failedAssignments=324, nogoods=75, foundSolutions=9, bestBound=13
3.70/3.12
3.70/3.12 num=24, depth=17..27, filters=17565, revisions=(13416,useless=10554), ccks=2728, wck=0.135, mem=34M512
3.70/3.12 decisions=1701, wrong=602, backtracks=490, failedAssignments=337, nogoods=78, foundSolutions=9, bestBound=13
3.70/3.12
3.70/3.12 num=25, depth=19..27, filters=18156, revisions=(13823,useless=10865), ccks=2780, wck=0.138, mem=34M512
3.70/3.12 decisions=1764, wrong=623, backtracks=503, failedAssignments=351, nogoods=85, foundSolutions=9, bestBound=13
3.70/3.12
3.70/3.13 num=26, depth=18..25, filters=19041, revisions=(14448,useless=11353), ccks=2851, wck=0.141, mem=34M512
3.70/3.13 decisions=1843, wrong=653, backtracks=531, failedAssignments=367, nogoods=89, foundSolutions=9, bestBound=13
3.70/3.13
3.70/3.13 num=27, depth=17..25, filters=19790, revisions=(14938,useless=11721), ccks=2911, wck=0.144, mem=34M512
3.70/3.13 decisions=1924, wrong=685, backtracks=560, failedAssignments=384, nogoods=93, foundSolutions=9, bestBound=13
3.70/3.13
3.70/3.13 num=28, depth=16..25, filters=20600, revisions=(15455,useless=12114), ccks=2980, wck=0.147, mem=34M512
3.70/3.13 decisions=2009, wrong=718, backtracks=586, failedAssignments=403, nogoods=96, foundSolutions=9, bestBound=13
3.70/3.13
3.70/3.13 o 14
3.70/3.15 num=29, depth=19..83, filters=21414, revisions=(16028,useless=12566), ccks=3168, wck=0.15, mem=34M512
3.70/3.15 decisions=2084, wrong=744, backtracks=607, failedAssignments=420, nogoods=101, foundSolutions=10, bestBound=14
3.70/3.15
3.70/3.15 num=30, depth=11..20, filters=22256, revisions=(16779,useless=13152), ccks=3289, wck=0.154, mem=34M512
3.70/3.15 decisions=2171, wrong=780, backtracks=641, failedAssignments=443, nogoods=103, foundSolutions=10, bestBound=14
3.70/3.15
3.70/3.15 num=31, depth=15..21, filters=22722, revisions=(17090,useless=13387), ccks=3321, wck=0.156, mem=34M512
3.70/3.15 decisions=2215, wrong=794, backtracks=649, failedAssignments=454, nogoods=109, foundSolutions=10, bestBound=14
3.70/3.15
3.70/3.15 num=32, depth=16..25, filters=23433, revisions=(17597,useless=13774), ccks=3393, wck=0.159, mem=34M512
3.70/3.15 decisions=2285, wrong=820, backtracks=673, failedAssignments=466, nogoods=111, foundSolutions=10, bestBound=14
3.70/3.15
3.70/3.15 num=33, depth=17..24, filters=24023, revisions=(17972,useless=14056), ccks=3436, wck=0.161, mem=37M155
3.70/3.15 decisions=2346, wrong=841, backtracks=692, failedAssignments=479, nogoods=113, foundSolutions=10, bestBound=14
3.70/3.15
3.70/3.15 num=34, depth=16..23, filters=24883, revisions=(18529,useless=14470), ccks=3522, wck=0.164, mem=37M155
3.70/3.15 decisions=2429, wrong=873, backtracks=721, failedAssignments=493, nogoods=116, foundSolutions=10, bestBound=14
3.70/3.15
3.70/3.15 num=35, depth=15..24, filters=25707, revisions=(19110,useless=14917), ccks=3613, wck=0.166, mem=37M155
3.70/3.15 decisions=2506, wrong=901, backtracks=746, failedAssignments=509, nogoods=119, foundSolutions=10, bestBound=14
3.70/3.15
3.70/3.16 num=36, depth=17..23, filters=26394, revisions=(19603,useless=15292), ccks=3662, wck=0.169, mem=37M155
3.70/3.16 decisions=2582, wrong=930, backtracks=772, failedAssignments=526, nogoods=123, foundSolutions=10, bestBound=14
3.70/3.16
3.70/3.16 num=37, depth=15..22, filters=27244, revisions=(20219,useless=15765), ccks=3742, wck=0.172, mem=37M155
3.70/3.16 decisions=2663, wrong=962, backtracks=800, failedAssignments=545, nogoods=125, foundSolutions=10, bestBound=14
3.70/3.16
3.70/3.16 num=38, depth=15..24, filters=28360, revisions=(21000,useless=16347), ccks=3883, wck=0.175, mem=37M155
3.70/3.16 decisions=2766, wrong=1005, backtracks=841, failedAssignments=566, nogoods=130, foundSolutions=10, bestBound=14
3.70/3.16
3.70/3.16 num=39, depth=15..23, filters=29567, revisions=(21707,useless=16861), ccks=3956, wck=0.18, mem=37M155
3.70/3.16 decisions=2877, wrong=1053, backtracks=885, failedAssignments=589, nogoods=132, foundSolutions=10, bestBound=14
3.70/3.16
3.70/3.17 num=40, depth=17..24, filters=30879, revisions=(22498,useless=17447), ccks=4036, wck=0.183, mem=37M155
3.70/3.17 decisions=2980, wrong=1096, backtracks=925, failedAssignments=614, nogoods=135, foundSolutions=10, bestBound=14
3.70/3.17
3.70/3.17 num=41, depth=15..24, filters=32099, revisions=(23306,useless=18057), ccks=4142, wck=0.187, mem=37M155
3.70/3.17 decisions=3089, wrong=1141, backtracks=964, failedAssignments=642, nogoods=137, foundSolutions=10, bestBound=14
3.70/3.17
3.70/3.18 num=42, depth=17..24, filters=33313, revisions=(24132,useless=18691), ccks=4241, wck=0.191, mem=37M155
3.70/3.18 decisions=3199, wrong=1187, backtracks=1003, failedAssignments=673, nogoods=142, foundSolutions=10, bestBound=14
3.70/3.18
3.70/3.18 num=43, depth=14..23, filters=34760, revisions=(25191,useless=19497), ccks=4421, wck=0.196, mem=37M155
3.70/3.18 decisions=3328, wrong=1243, backtracks=1051, failedAssignments=707, nogoods=148, foundSolutions=10, bestBound=14
3.70/3.18
3.70/3.18 num=44, depth=13..24, filters=36004, revisions=(26092,useless=20167), ccks=4538, wck=0.2, mem=37M155
3.70/3.18 decisions=3456, wrong=1300, backtracks=1102, failedAssignments=744, nogoods=150, foundSolutions=10, bestBound=14
3.70/3.18
3.70/3.19 num=45, depth=12..24, filters=37825, revisions=(27240,useless=21009), ccks=4681, wck=0.205, mem=37M155
3.70/3.19 decisions=3617, wrong=1372, backtracks=1163, failedAssignments=785, nogoods=155, foundSolutions=10, bestBound=14
3.70/3.19
3.70/3.19 o 15
3.70/3.20 num=46, depth=15..83, filters=39237, revisions=(28369,useless=21889), ccks=4961, wck=0.211, mem=37M155
3.70/3.20 decisions=3759, wrong=1434, backtracks=1222, failedAssignments=823, nogoods=161, foundSolutions=11, bestBound=15
3.70/3.20
3.98/3.20 num=47, depth=13..23, filters=41305, revisions=(29664,useless=22857), ccks=5112, wck=0.217, mem=37M155
3.98/3.20 decisions=3965, wrong=1530, backtracks=1311, failedAssignments=873, nogoods=164, foundSolutions=11, bestBound=15
3.98/3.20
3.98/3.20 num=48, depth=17..23, filters=41795, revisions=(30011,useless=23120), ccks=5154, wck=0.219, mem=37M155
3.98/3.20 decisions=4018, wrong=1547, backtracks=1324, failedAssignments=884, nogoods=168, foundSolutions=11, bestBound=15
3.98/3.20
3.98/3.21 num=49, depth=15..21, filters=42695, revisions=(30619,useless=23576), ccks=5224, wck=0.222, mem=37M155
3.98/3.21 decisions=4089, wrong=1575, backtracks=1348, failedAssignments=896, nogoods=171, foundSolutions=11, bestBound=15
3.98/3.21
3.98/3.21 num=50, depth=17..22, filters=43349, revisions=(31027,useless=23886), ccks=5276, wck=0.224, mem=37M155
3.98/3.21 decisions=4146, wrong=1594, backtracks=1363, failedAssignments=909, nogoods=175, foundSolutions=11, bestBound=15
3.98/3.21
3.98/3.21 num=51, depth=16..26, filters=44102, revisions=(31494,useless=24232), ccks=5332, wck=0.226, mem=37M155
3.98/3.21 decisions=4212, wrong=1619, backtracks=1384, failedAssignments=923, nogoods=177, foundSolutions=11, bestBound=15
3.98/3.21
3.98/3.21 num=52, depth=15..21, filters=44873, revisions=(32014,useless=24629), ccks=5398, wck=0.229, mem=37M155
3.98/3.21 decisions=4283, wrong=1645, backtracks=1403, failedAssignments=939, nogoods=180, foundSolutions=11, bestBound=15
3.98/3.21
3.98/3.22 num=53, depth=15..23, filters=45633, revisions=(32502,useless=24988), ccks=5449, wck=0.231, mem=37M155
3.98/3.22 decisions=4368, wrong=1679, backtracks=1432, failedAssignments=956, nogoods=184, foundSolutions=11, bestBound=15
3.98/3.22
3.98/3.22 num=54, depth=16..25, filters=46472, revisions=(33014,useless=25363), ccks=5521, wck=0.233, mem=37M155
3.98/3.22 decisions=4451, wrong=1711, backtracks=1459, failedAssignments=975, nogoods=186, foundSolutions=11, bestBound=15
3.98/3.22
3.98/3.22 num=55, depth=18..26, filters=47438, revisions=(33547,useless=25751), ccks=5561, wck=0.235, mem=37M155
3.98/3.22 decisions=4543, wrong=1748, backtracks=1493, failedAssignments=996, nogoods=189, foundSolutions=11, bestBound=15
3.98/3.22
3.98/3.22 num=56, depth=14..23, filters=48250, revisions=(34165,useless=26210), ccks=5651, wck=0.237, mem=37M155
3.98/3.22 decisions=4631, wrong=1783, backtracks=1526, failedAssignments=1019, nogoods=191, foundSolutions=11, bestBound=15
3.98/3.22
3.98/3.22 num=57, depth=14..23, filters=49647, revisions=(35087,useless=26917), ccks=5776, wck=0.24, mem=37M155
3.98/3.22 decisions=4750, wrong=1833, backtracks=1568, failedAssignments=1044, nogoods=194, foundSolutions=11, bestBound=15
3.98/3.22
3.98/3.23 num=58, depth=16..26, filters=50720, revisions=(35802,useless=27443), ccks=5868, wck=0.242, mem=37M155
3.98/3.23 decisions=4867, wrong=1881, backtracks=1609, failedAssignments=1072, nogoods=199, foundSolutions=11, bestBound=15
3.98/3.23
3.98/3.23 num=59, depth=16..24, filters=51905, revisions=(36512,useless=27970), ccks=5935, wck=0.245, mem=37M155
3.98/3.23 decisions=4992, wrong=1934, backtracks=1651, failedAssignments=1103, nogoods=202, foundSolutions=11, bestBound=15
3.98/3.23
3.98/3.23 num=60, depth=17..27, filters=53411, revisions=(37456,useless=28692), ccks=6050, wck=0.248, mem=37M155
3.98/3.23 decisions=5132, wrong=1994, backtracks=1708, failedAssignments=1137, nogoods=205, foundSolutions=11, bestBound=15
3.98/3.23
3.98/3.23 num=61, depth=15..27, filters=54936, revisions=(38293,useless=29300), ccks=6141, wck=0.251, mem=37M155
3.98/3.23 decisions=5281, wrong=2058, backtracks=1759, failedAssignments=1174, nogoods=210, foundSolutions=11, bestBound=15
3.98/3.23
3.98/3.24 o 16
3.98/3.24 num=62, depth=16..83, filters=56229, revisions=(39217,useless=30011), ccks=6394, wck=0.254, mem=39M798
3.98/3.24 decisions=5409, wrong=2112, backtracks=1804, failedAssignments=1204, nogoods=217, foundSolutions=12, bestBound=16
3.98/3.24
3.98/3.24 num=63, depth=12..23, filters=58080, revisions=(40454,useless=30929), ccks=6544, wck=0.257, mem=39M798
3.98/3.24 decisions=5587, wrong=2194, backtracks=1881, failedAssignments=1249, nogoods=219, foundSolutions=12, bestBound=16
3.98/3.24
3.98/3.24 num=64, depth=14..20, filters=58637, revisions=(40777,useless=31164), ccks=6566, wck=0.259, mem=39M798
3.98/3.24 decisions=5642, wrong=2214, backtracks=1895, failedAssignments=1260, nogoods=221, foundSolutions=12, bestBound=16
3.98/3.24
3.98/3.24 num=65, depth=14..20, filters=59099, revisions=(41099,useless=31407), ccks=6604, wck=0.26, mem=39M798
3.98/3.24 decisions=5687, wrong=2229, backtracks=1908, failedAssignments=1272, nogoods=225, foundSolutions=12, bestBound=16
3.98/3.24
3.98/3.25 num=66, depth=15..24, filters=59639, revisions=(41468,useless=31691), ccks=6656, wck=0.262, mem=39M798
3.98/3.25 decisions=5747, wrong=2250, backtracks=1926, failedAssignments=1285, nogoods=229, foundSolutions=12, bestBound=16
3.98/3.25
3.98/3.25 num=67, depth=17..23, filters=60199, revisions=(41837,useless=31966), ccks=6698, wck=0.263, mem=39M798
3.98/3.25 decisions=5806, wrong=2270, backtracks=1939, failedAssignments=1299, nogoods=234, foundSolutions=12, bestBound=16
3.98/3.25
3.98/3.25 num=68, depth=17..23, filters=60910, revisions=(42277,useless=32292), ccks=6723, wck=0.265, mem=39M798
3.98/3.25 decisions=5881, wrong=2299, backtracks=1965, failedAssignments=1315, nogoods=237, foundSolutions=12, bestBound=16
3.98/3.25
3.98/3.25 num=69, depth=17..25, filters=61674, revisions=(42709,useless=32614), ccks=6768, wck=0.266, mem=39M798
3.98/3.25 decisions=5954, wrong=2325, backtracks=1987, failedAssignments=1332, nogoods=239, foundSolutions=12, bestBound=16
3.98/3.25
3.98/3.25 num=70, depth=16..23, filters=62501, revisions=(43241,useless=33013), ccks=6830, wck=0.268, mem=39M798
3.98/3.25 decisions=6039, wrong=2359, backtracks=2013, failedAssignments=1351, nogoods=242, foundSolutions=12, bestBound=16
3.98/3.25
3.98/3.25 num=71, depth=16..23, filters=63234, revisions=(43768,useless=33399), ccks=6906, wck=0.27, mem=39M798
3.98/3.25 decisions=6125, wrong=2392, backtracks=2042, failedAssignments=1372, nogoods=246, foundSolutions=12, bestBound=16
3.98/3.25
3.98/3.26 num=72, depth=15..25, filters=64173, revisions=(44346,useless=33821), ccks=6960, wck=0.272, mem=39M798
3.98/3.26 decisions=6220, wrong=2431, backtracks=2076, failedAssignments=1395, nogoods=250, foundSolutions=12, bestBound=16
3.98/3.26
3.98/3.26 num=73, depth=15..22, filters=65354, revisions=(44980,useless=34272), ccks=7004, wck=0.274, mem=39M798
3.98/3.26 decisions=6322, wrong=2474, backtracks=2113, failedAssignments=1420, nogoods=254, foundSolutions=12, bestBound=16
3.98/3.26
3.98/3.27 num=74, depth=14..23, filters=66786, revisions=(45765,useless=34820), ccks=7073, wck=0.277, mem=39M798
3.98/3.27 decisions=6441, wrong=2525, backtracks=2158, failedAssignments=1448, nogoods=257, foundSolutions=12, bestBound=16
3.98/3.27
3.98/3.27 num=75, depth=14..23, filters=67884, revisions=(46584,useless=35426), ccks=7185, wck=0.28, mem=39M798
3.98/3.27 decisions=6563, wrong=2579, backtracks=2209, failedAssignments=1479, nogoods=260, foundSolutions=12, bestBound=16
3.98/3.27
3.98/3.27 num=76, depth=15..25, filters=69038, revisions=(47334,useless=35954), ccks=7305, wck=0.282, mem=39M798
3.98/3.27 decisions=6699, wrong=2638, backtracks=2260, failedAssignments=1513, nogoods=263, foundSolutions=12, bestBound=16
3.98/3.27
3.98/3.27 num=77, depth=17..27, filters=70471, revisions=(48247,useless=36633), ccks=7400, wck=0.284, mem=39M798
3.98/3.27 decisions=6837, wrong=2698, backtracks=2309, failedAssignments=1550, nogoods=266, foundSolutions=12, bestBound=16
3.98/3.27
3.98/3.27 num=78, depth=16..26, filters=72243, revisions=(49357,useless=37449), ccks=7560, wck=0.287, mem=39M798
3.98/3.27 decisions=7015, wrong=2777, backtracks=2376, failedAssignments=1591, nogoods=271, foundSolutions=12, bestBound=16
3.98/3.27
3.98/3.28 num=79, depth=14..25, filters=74111, revisions=(50578,useless=38329), ccks=7713, wck=0.291, mem=39M798
3.98/3.28 decisions=7201, wrong=2861, backtracks=2456, failedAssignments=1636, nogoods=274, foundSolutions=12, bestBound=16
3.98/3.28
3.98/3.28 num=80, depth=15..25, filters=76516, revisions=(52017,useless=39379), ccks=7900, wck=0.294, mem=39M798
3.98/3.28 decisions=7399, wrong=2952, backtracks=2538, failedAssignments=1686, nogoods=276, foundSolutions=12, bestBound=16
3.98/3.28
3.98/3.28 num=81, depth=14..24, filters=78708, revisions=(53449,useless=40429), ccks=8096, wck=0.298, mem=39M798
3.98/3.28 decisions=7600, wrong=3044, backtracks=2621, failedAssignments=1741, nogoods=279, foundSolutions=12, bestBound=16
3.98/3.28
3.98/3.29 num=82, depth=13..24, filters=81149, revisions=(54845,useless=41428), ccks=8269, wck=0.302, mem=39M798
3.98/3.29 decisions=7831, wrong=3151, backtracks=2713, failedAssignments=1802, nogoods=283, foundSolutions=12, bestBound=16
3.98/3.29
3.98/3.29 num=83, depth=15..24, filters=84573, revisions=(57007,useless=43011), ccks=8519, wck=0.308, mem=39M798
3.98/3.29 decisions=8120, wrong=3286, backtracks=2833, failedAssignments=1869, nogoods=287, foundSolutions=12, bestBound=16
3.98/3.29
4.30/3.30 num=84, depth=13..25, filters=87571, revisions=(59091,useless=44576), ccks=8825, wck=0.313, mem=39M798
4.30/3.30 decisions=8416, wrong=3426, backtracks=2953, failedAssignments=1943, nogoods=291, foundSolutions=12, bestBound=16
4.30/3.30
4.30/3.30 num=85, depth=14..26, filters=90810, revisions=(60896,useless=45841), ccks=9013, wck=0.32, mem=39M798
4.30/3.30 decisions=8713, wrong=3566, backtracks=3068, failedAssignments=2024, nogoods=294, foundSolutions=12, bestBound=16
4.30/3.30
4.30/3.31 num=86, depth=13..24, filters=94860, revisions=(63138,useless=47428), ccks=9256, wck=0.326, mem=39M798
4.30/3.31 decisions=9073, wrong=3739, backtracks=3222, failedAssignments=2113, nogoods=297, foundSolutions=12, bestBound=16
4.30/3.31
4.30/3.32 num=87, depth=11..25, filters=99291, revisions=(66412,useless=49950), ccks=9794, wck=0.333, mem=39M798
4.30/3.32 decisions=9486, wrong=3937, backtracks=3403, failedAssignments=2211, nogoods=300, foundSolutions=12, bestBound=16
4.30/3.32
4.30/3.32 o 17
4.30/3.32 num=88, depth=14..83, filters=102552, revisions=(68706,useless=51728), ccks=10239, wck=0.339, mem=39M798
4.30/3.32 decisions=9791, wrong=4079, backtracks=3531, failedAssignments=2293, nogoods=308, foundSolutions=13, bestBound=17
4.30/3.32
4.30/3.33 num=89, depth=10..24, filters=106884, revisions=(71629,useless=53977), ccks=10578, wck=0.345, mem=42M440
4.30/3.33 decisions=10211, wrong=4282, backtracks=3711, failedAssignments=2412, nogoods=312, foundSolutions=13, bestBound=17
4.30/3.33
4.30/3.33 num=90, depth=14..21, filters=107371, revisions=(71951,useless=54216), ccks=10624, wck=0.346, mem=42M440
4.30/3.33 decisions=10262, wrong=4300, backtracks=3726, failedAssignments=2423, nogoods=314, foundSolutions=13, bestBound=17
4.30/3.33
4.30/3.33 num=91, depth=15..21, filters=108004, revisions=(72321,useless=54478), ccks=10651, wck=0.347, mem=42M440
4.30/3.33 decisions=10321, wrong=4321, backtracks=3741, failedAssignments=2435, nogoods=317, foundSolutions=13, bestBound=17
4.30/3.33
4.30/3.33 num=92, depth=16..26, filters=108628, revisions=(72749,useless=54804), ccks=10702, wck=0.348, mem=42M440
4.30/3.33 decisions=10380, wrong=4341, backtracks=3754, failedAssignments=2448, nogoods=324, foundSolutions=13, bestBound=17
4.30/3.33
4.30/3.34 num=93, depth=14..22, filters=109426, revisions=(73200,useless=55131), ccks=10742, wck=0.349, mem=42M440
4.30/3.34 decisions=10455, wrong=4370, backtracks=3777, failedAssignments=2462, nogoods=326, foundSolutions=13, bestBound=17
4.30/3.34
4.30/3.34 num=94, depth=16..29, filters=110069, revisions=(73637,useless=55458), ccks=10807, wck=0.35, mem=42M440
4.30/3.34 decisions=10525, wrong=4396, backtracks=3799, failedAssignments=2478, nogoods=330, foundSolutions=13, bestBound=17
4.30/3.34
4.30/3.34 num=95, depth=13..23, filters=110939, revisions=(74108,useless=55788), ccks=10846, wck=0.352, mem=42M440
4.30/3.34 decisions=10614, wrong=4434, backtracks=3831, failedAssignments=2495, nogoods=333, foundSolutions=13, bestBound=17
4.30/3.34
4.30/3.34 num=96, depth=14..21, filters=111890, revisions=(74750,useless=56249), ccks=10905, wck=0.353, mem=42M440
4.30/3.34 decisions=10708, wrong=4472, backtracks=3866, failedAssignments=2514, nogoods=335, foundSolutions=13, bestBound=17
4.30/3.34
4.30/3.34 num=97, depth=12..21, filters=112939, revisions=(75401,useless=56716), ccks=10989, wck=0.355, mem=42M440
4.30/3.34 decisions=10809, wrong=4515, backtracks=3900, failedAssignments=2535, nogoods=339, foundSolutions=13, bestBound=17
4.30/3.34
4.30/3.34 num=98, depth=14..23, filters=114110, revisions=(76106,useless=57222), ccks=11081, wck=0.356, mem=42M440
4.30/3.34 decisions=10916, wrong=4559, backtracks=3935, failedAssignments=2558, nogoods=344, foundSolutions=13, bestBound=17
4.30/3.34
4.30/3.34 num=99, depth=14..26, filters=115408, revisions=(76877,useless=57787), ccks=11152, wck=0.358, mem=42M440
4.30/3.34 decisions=11033, wrong=4608, backtracks=3973, failedAssignments=2583, nogoods=349, foundSolutions=13, bestBound=17
4.30/3.34
4.30/3.34 num=100, depth=12..22, filters=116631, revisions=(77502,useless=58225), ccks=11194, wck=0.36, mem=42M440
4.30/3.34 decisions=11147, wrong=4659, backtracks=4015, failedAssignments=2611, nogoods=350, foundSolutions=13, bestBound=17
4.30/3.34
4.30/3.35 num=101, depth=11..23, filters=117946, revisions=(78309,useless=58786), ccks=11279, wck=0.362, mem=42M440
4.30/3.35 decisions=11276, wrong=4717, backtracks=4062, failedAssignments=2642, nogoods=354, foundSolutions=13, bestBound=17
4.30/3.35
4.30/3.35 num=102, depth=13..24, filters=119350, revisions=(79169,useless=59395), ccks=11357, wck=0.364, mem=42M440
4.30/3.35 decisions=11417, wrong=4778, backtracks=4112, failedAssignments=2676, nogoods=360, foundSolutions=13, bestBound=17
4.30/3.35
4.30/3.35 num=103, depth=12..23, filters=121224, revisions=(80157,useless=60088), ccks=11436, wck=0.366, mem=42M440
4.30/3.35 decisions=11574, wrong=4849, backtracks=4169, failedAssignments=2713, nogoods=364, foundSolutions=13, bestBound=17
4.30/3.35
4.30/3.35 num=104, depth=12..24, filters=123795, revisions=(81950,useless=61428), ccks=11694, wck=0.37, mem=42M440
4.30/3.35 decisions=11770, wrong=4941, backtracks=4255, failedAssignments=2754, nogoods=365, foundSolutions=13, bestBound=17
4.30/3.35
4.30/3.36 num=105, depth=14..26, filters=125771, revisions=(83185,useless=62351), ccks=11844, wck=0.373, mem=42M440
4.30/3.36 decisions=11944, wrong=5021, backtracks=4328, failedAssignments=2799, nogoods=366, foundSolutions=13, bestBound=17
4.30/3.36
4.30/3.36 num=106, depth=13..24, filters=127556, revisions=(84352,useless=63210), ccks=12008, wck=0.375, mem=42M440
4.30/3.36 decisions=12119, wrong=5101, backtracks=4389, failedAssignments=2849, nogoods=371, foundSolutions=13, bestBound=17
4.30/3.36
4.30/3.36 num=107, depth=15..25, filters=130354, revisions=(85770,useless=64199), ccks=12105, wck=0.379, mem=42M440
4.30/3.36 decisions=12355, wrong=5210, backtracks=4482, failedAssignments=2904, nogoods=374, foundSolutions=13, bestBound=17
4.30/3.36
4.30/3.37 num=108, depth=13..23, filters=132749, revisions=(87351,useless=65364), ccks=12327, wck=0.382, mem=42M440
4.30/3.37 decisions=12585, wrong=5316, backtracks=4580, failedAssignments=2965, nogoods=377, foundSolutions=13, bestBound=17
4.30/3.37
4.30/3.37 num=109, depth=14..26, filters=135367, revisions=(89165,useless=66703), ccks=12566, wck=0.386, mem=42M440
4.30/3.37 decisions=12845, wrong=5438, backtracks=4692, failedAssignments=3032, nogoods=382, foundSolutions=13, bestBound=17
4.30/3.37
4.30/3.38 num=110, depth=13..24, filters=138486, revisions=(90919,useless=67974), ccks=12741, wck=0.39, mem=42M440
4.30/3.38 decisions=13125, wrong=5569, backtracks=4797, failedAssignments=3106, nogoods=385, foundSolutions=13, bestBound=17
4.30/3.38
4.30/3.38 num=111, depth=12..26, filters=142256, revisions=(93025,useless=69485), ccks=12947, wck=0.395, mem=42M440
4.30/3.38 decisions=13451, wrong=5724, backtracks=4926, failedAssignments=3187, nogoods=390, foundSolutions=13, bestBound=17
4.30/3.38
4.30/3.38 num=112, depth=12..24, filters=145825, revisions=(95707,useless=71513), ccks=13350, wck=0.399, mem=42M440
4.30/3.38 decisions=13787, wrong=5884, backtracks=5070, failedAssignments=3276, nogoods=393, foundSolutions=13, bestBound=17
4.30/3.38
4.30/3.39 num=113, depth=12..24, filters=150831, revisions=(98836,useless=73816), ccks=13678, wck=0.406, mem=42M440
4.30/3.39 decisions=14195, wrong=6079, backtracks=5243, failedAssignments=3374, nogoods=395, foundSolutions=13, bestBound=17
4.30/3.39
4.30/3.39 o 19
4.30/3.39 num=114, depth=14..83, filters=152567, revisions=(100167,useless=74857), ccks=13943, wck=0.409, mem=42M440
4.30/3.39 decisions=14357, wrong=6151, backtracks=5301, failedAssignments=3415, nogoods=403, foundSolutions=14, bestBound=19
4.30/3.39
4.61/3.40 num=115, depth=10..22, filters=157445, revisions=(103257,useless=77186), ccks=14205, wck=0.415, mem=45M82
4.61/3.40 decisions=14760, wrong=6346, backtracks=5475, failedAssignments=3534, nogoods=407, foundSolutions=14, bestBound=19
4.61/3.40
4.61/3.40 num=116, depth=14..19, filters=158099, revisions=(103634,useless=77457), ccks=14250, wck=0.416, mem=45M82
4.61/3.40 decisions=14817, wrong=6367, backtracks=5492, failedAssignments=3545, nogoods=409, foundSolutions=14, bestBound=19
4.61/3.40
4.61/3.40 num=117, depth=14..20, filters=158491, revisions=(103887,useless=77639), ccks=14272, wck=0.416, mem=45M82
4.61/3.40 decisions=14863, wrong=6382, backtracks=5503, failedAssignments=3557, nogoods=413, foundSolutions=14, bestBound=19
4.61/3.40
4.61/3.40 num=118, depth=12..21, filters=159199, revisions=(104317,useless=77950), ccks=14318, wck=0.417, mem=45M82
4.61/3.40 decisions=14921, wrong=6404, backtracks=5521, failedAssignments=3570, nogoods=415, foundSolutions=14, bestBound=19
4.61/3.40
4.61/3.40 num=119, depth=15..22, filters=159843, revisions=(104751,useless=78271), ccks=14360, wck=0.418, mem=45M82
4.61/3.40 decisions=14984, wrong=6427, backtracks=5539, failedAssignments=3584, nogoods=419, foundSolutions=14, bestBound=19
4.61/3.40
4.61/3.40 num=120, depth=13..22, filters=160506, revisions=(105180,useless=78590), ccks=14404, wck=0.419, mem=45M82
4.61/3.40 decisions=15049, wrong=6451, backtracks=5557, failedAssignments=3600, nogoods=421, foundSolutions=14, bestBound=19
4.61/3.40
4.61/3.41 num=121, depth=11..17, filters=161394, revisions=(105717,useless=78977), ccks=14458, wck=0.42, mem=45M82
4.61/3.41 decisions=15125, wrong=6482, backtracks=5580, failedAssignments=3617, nogoods=427, foundSolutions=14, bestBound=19
4.61/3.41
4.61/3.41 num=122, depth=14..21, filters=162139, revisions=(106166,useless=79280), ccks=14528, wck=0.422, mem=45M82
4.61/3.41 decisions=15211, wrong=6517, backtracks=5606, failedAssignments=3636, nogoods=430, foundSolutions=14, bestBound=19
4.61/3.41
4.61/3.41 num=123, depth=15..23, filters=162906, revisions=(106647,useless=79625), ccks=14595, wck=0.423, mem=45M82
4.61/3.41 decisions=15293, wrong=6550, backtracks=5634, failedAssignments=3657, nogoods=433, foundSolutions=14, bestBound=19
4.61/3.41
4.61/3.41 num=124, depth=12..23, filters=163766, revisions=(107199,useless=80020), ccks=14664, wck=0.424, mem=45M82
4.61/3.41 decisions=15384, wrong=6589, backtracks=5668, failedAssignments=3680, nogoods=440, foundSolutions=14, bestBound=19
4.61/3.41
4.61/3.41 num=125, depth=10..21, filters=164925, revisions=(107841,useless=80496), ccks=14716, wck=0.426, mem=45M82
4.61/3.41 decisions=15491, wrong=6635, backtracks=5706, failedAssignments=3705, nogoods=444, foundSolutions=14, bestBound=19
4.61/3.41
4.61/3.41 num=126, depth=11..20, filters=166338, revisions=(108762,useless=81185), ccks=14821, wck=0.427, mem=45M82
4.61/3.41 decisions=15606, wrong=6685, backtracks=5750, failedAssignments=3733, nogoods=446, foundSolutions=14, bestBound=19
4.61/3.41
4.61/3.41 num=127, depth=13..22, filters=167695, revisions=(109603,useless=81792), ccks=14908, wck=0.429, mem=45M82
4.61/3.41 decisions=15731, wrong=6741, backtracks=5801, failedAssignments=3764, nogoods=448, foundSolutions=14, bestBound=19
4.61/3.41
4.61/3.42 num=128, depth=13..21, filters=168929, revisions=(110410,useless=82380), ccks=15005, wck=0.431, mem=45M82
4.61/3.42 decisions=15857, wrong=6797, backtracks=5853, failedAssignments=3798, nogoods=451, foundSolutions=14, bestBound=19
4.61/3.42
4.61/3.42 num=129, depth=12..20, filters=170475, revisions=(111349,useless=83051), ccks=15114, wck=0.433, mem=45M82
4.61/3.42 decisions=16011, wrong=6865, backtracks=5911, failedAssignments=3835, nogoods=453, foundSolutions=14, bestBound=19
4.61/3.42
4.61/3.42 num=130, depth=12..21, filters=172622, revisions=(112684,useless=84003), ccks=15291, wck=0.436, mem=45M82
4.61/3.42 decisions=16193, wrong=6948, backtracks=5982, failedAssignments=3876, nogoods=456, foundSolutions=14, bestBound=19
4.61/3.42
4.61/3.43 num=131, depth=12..23, filters=174339, revisions=(113704,useless=84740), ccks=15398, wck=0.438, mem=45M82
4.61/3.43 decisions=16351, wrong=7018, backtracks=6040, failedAssignments=3921, nogoods=461, foundSolutions=14, bestBound=19
4.61/3.43
4.61/3.43 num=132, depth=14..22, filters=176531, revisions=(115208,useless=85885), ccks=15608, wck=0.441, mem=45M82
4.61/3.43 decisions=16551, wrong=7109, backtracks=6126, failedAssignments=3971, nogoods=465, foundSolutions=14, bestBound=19
4.61/3.43
4.61/3.43 num=133, depth=14..24, filters=178763, revisions=(116532,useless=86877), ccks=15753, wck=0.444, mem=45M82
4.61/3.43 decisions=16752, wrong=7200, backtracks=6201, failedAssignments=4026, nogoods=473, foundSolutions=14, bestBound=19
4.61/3.43
4.61/3.43 num=134, depth=13..23, filters=181256, revisions=(117926,useless=87867), ccks=15895, wck=0.447, mem=45M82
4.61/3.43 decisions=16989, wrong=7311, backtracks=6296, failedAssignments=4087, nogoods=476, foundSolutions=14, bestBound=19
4.61/3.43
4.61/3.44 num=135, depth=12..23, filters=184228, revisions=(119896,useless=89309), ccks=16172, wck=0.451, mem=45M82
4.61/3.44 decisions=17275, wrong=7448, backtracks=6418, failedAssignments=4154, nogoods=477, foundSolutions=14, bestBound=19
4.61/3.44
4.61/3.44 num=136, depth=13..25, filters=187457, revisions=(121695,useless=90586), ccks=16370, wck=0.455, mem=45M82
4.61/3.44 decisions=17554, wrong=7581, backtracks=6533, failedAssignments=4228, nogoods=480, foundSolutions=14, bestBound=19
4.61/3.44
4.61/3.44 num=137, depth=13..23, filters=190989, revisions=(123807,useless=92119), ccks=16581, wck=0.459, mem=45M82
4.61/3.44 decisions=17874, wrong=7734, backtracks=6669, failedAssignments=4309, nogoods=482, foundSolutions=14, bestBound=19
4.61/3.44
4.61/3.45 num=138, depth=11..22, filters=194332, revisions=(125788,useless=93539), ccks=16798, wck=0.463, mem=45M82
4.61/3.45 decisions=18196, wrong=7888, backtracks=6806, failedAssignments=4398, nogoods=485, foundSolutions=14, bestBound=19
4.61/3.45
4.61/3.45 num=139, depth=10..26, filters=198715, revisions=(128635,useless=95624), ccks=17205, wck=0.468, mem=45M82
4.61/3.45 decisions=18582, wrong=8075, backtracks=6975, failedAssignments=4496, nogoods=489, foundSolutions=14, bestBound=19
4.61/3.45
4.61/3.46 num=140, depth=11..26, filters=203045, revisions=(131048,useless=97366), ccks=17445, wck=0.473, mem=45M82
4.61/3.46 decisions=19000, wrong=8276, backtracks=7134, failedAssignments=4604, nogoods=493, foundSolutions=14, bestBound=19
4.61/3.46
4.61/3.46 num=141, depth=10..21, filters=207656, revisions=(134674,useless=100152), ccks=18079, wck=0.479, mem=45M82
4.61/3.46 decisions=19434, wrong=8488, backtracks=7327, failedAssignments=4723, nogoods=494, foundSolutions=14, bestBound=19
4.61/3.46
4.61/3.47 num=142, depth=10..23, filters=213192, revisions=(138004,useless=102601), ccks=18491, wck=0.485, mem=47M725
4.61/3.47 decisions=19935, wrong=8732, backtracks=7543, failedAssignments=4854, nogoods=500, foundSolutions=14, bestBound=19
4.61/3.47
4.61/3.48 num=143, depth=10..26, filters=219196, revisions=(141853,useless=105409), ccks=19063, wck=0.492, mem=47M725
4.61/3.48 decisions=20493, wrong=9006, backtracks=7794, failedAssignments=4998, nogoods=503, foundSolutions=14, bestBound=19
4.61/3.48
4.61/3.48 num=144, depth=11..23, filters=226130, revisions=(146416,useless=108767), ccks=19678, wck=0.5, mem=47M725
4.61/3.48 decisions=21076, wrong=9290, backtracks=8043, failedAssignments=5156, nogoods=508, foundSolutions=14, bestBound=19
4.61/3.48
4.61/3.49 num=145, depth=11..24, filters=233202, revisions=(151266,useless=112330), ccks=20278, wck=0.507, mem=47M725
4.61/3.49 decisions=21745, wrong=9618, backtracks=8336, failedAssignments=5330, nogoods=513, foundSolutions=14, bestBound=19
4.61/3.49
4.61/3.50 num=146, depth=10..24, filters=239913, revisions=(155786,useless=115550), ccks=20921, wck=0.515, mem=47M725
4.61/3.50 decisions=22437, wrong=9955, backtracks=8632, failedAssignments=5521, nogoods=518, foundSolutions=14, bestBound=19
4.61/3.50
4.95/3.51 num=147, depth=12..25, filters=247829, revisions=(161596,useless=119916), ccks=21890, wck=0.524, mem=47M725
4.95/3.51 decisions=23169, wrong=10314, backtracks=8962, failedAssignments=5732, nogoods=524, foundSolutions=14, bestBound=19
4.95/3.51
4.95/3.52 num=148, depth=9..25, filters=256820, revisions=(167320,useless=124141), ccks=22651, wck=0.533, mem=47M725
4.95/3.52 decisions=23999, wrong=10723, backtracks=9330, failedAssignments=5964, nogoods=528, foundSolutions=14, bestBound=19
4.95/3.52
4.95/3.53 num=149, depth=9..25, filters=266685, revisions=(174888,useless=129942), ccks=23797, wck=0.544, mem=47M725
4.95/3.53 decisions=24973, wrong=11204, backtracks=9757, failedAssignments=6219, nogoods=533, foundSolutions=14, bestBound=19
4.95/3.53
4.95/3.54 num=150, depth=11..24, filters=277010, revisions=(182029,useless=135136), ccks=24905, wck=0.555, mem=47M725
4.95/3.54 decisions=26003, wrong=11712, backtracks=10220, failedAssignments=6500, nogoods=537, foundSolutions=14, bestBound=19
4.95/3.54
4.95/3.55 num=151, depth=12..25, filters=288853, revisions=(190055,useless=141157), ccks=25923, wck=0.567, mem=50M367
4.95/3.55 decisions=27138, wrong=12272, backtracks=10751, failedAssignments=6809, nogoods=541, foundSolutions=14, bestBound=19
4.95/3.55
4.95/3.56 num=152, depth=12..26, filters=302902, revisions=(198852,useless=147748), ccks=27075, wck=0.58, mem=50M367
4.95/3.56 decisions=28405, wrong=12897, backtracks=11313, failedAssignments=7149, nogoods=547, foundSolutions=14, bestBound=19
4.95/3.56
4.95/3.58 num=153, depth=10..27, filters=317632, revisions=(209056,useless=155308), ccks=28548, wck=0.595, mem=50M367
4.95/3.58 decisions=29770, wrong=13573, backtracks=11948, failedAssignments=7523, nogoods=552, foundSolutions=14, bestBound=19
4.95/3.58
4.95/3.59 num=154, depth=11..27, filters=332756, revisions=(218899,useless=162449), ccks=29950, wck=0.61, mem=50M367
4.95/3.59 decisions=31217, wrong=14288, backtracks=12597, failedAssignments=7934, nogoods=556, foundSolutions=14, bestBound=19
4.95/3.59
5.05/3.61 num=155, depth=9..26, filters=350802, revisions=(230871,useless=171374), ccks=31494, wck=0.628, mem=50M367
5.05/3.61 decisions=32928, wrong=15137, backtracks=13380, failedAssignments=8386, nogoods=560, foundSolutions=14, bestBound=19
5.05/3.61
5.05/3.63 num=156, depth=8..26, filters=370323, revisions=(245435,useless=182355), ccks=33764, wck=0.649, mem=53M10
5.05/3.63 decisions=34829, wrong=16081, backtracks=14235, failedAssignments=8883, nogoods=571, foundSolutions=14, bestBound=19
5.05/3.63
5.05/3.66 num=157, depth=9..28, filters=392344, revisions=(260929,useless=193796), ccks=36185, wck=0.672, mem=53M10
5.05/3.66 decisions=36938, wrong=17130, backtracks=15198, failedAssignments=9430, nogoods=577, foundSolutions=14, bestBound=19
5.05/3.66
5.05/3.68 num=158, depth=10..26, filters=415927, revisions=(276700,useless=205569), ccks=38304, wck=0.695, mem=53M10
5.05/3.68 decisions=39175, wrong=18242, backtracks=16225, failedAssignments=10032, nogoods=582, foundSolutions=14, bestBound=19
5.05/3.68
5.16/3.71 num=159, depth=9..25, filters=444857, revisions=(296535,useless=220327), ccks=40639, wck=0.724, mem=55M652
5.16/3.71 decisions=41691, wrong=19492, backtracks=17354, failedAssignments=10694, nogoods=589, foundSolutions=14, bestBound=19
5.16/3.71
5.16/3.74 num=160, depth=7..26, filters=471906, revisions=(315652,useless=234459), ccks=43078, wck=0.753, mem=55M652
5.16/3.74 decisions=44417, wrong=20848, backtracks=18605, failedAssignments=11422, nogoods=595, foundSolutions=14, bestBound=19
5.16/3.74
5.16/3.77 num=161, depth=9..27, filters=507296, revisions=(341795,useless=254257), ccks=46975, wck=0.789, mem=58M295
5.16/3.77 decisions=47484, wrong=22376, backtracks=19986, failedAssignments=12223, nogoods=600, foundSolutions=14, bestBound=19
5.16/3.77
5.27/3.81 num=162, depth=7..25, filters=544782, revisions=(367930,useless=273903), ccks=50408, wck=0.827, mem=58M295
5.27/3.81 decisions=50949, wrong=24102, backtracks=21573, failedAssignments=13104, nogoods=603, foundSolutions=14, bestBound=19
5.27/3.81
5.27/3.85 num=163, depth=10..27, filters=582748, revisions=(397941,useless=296660), ccks=55136, wck=0.867, mem=60M937
5.27/3.85 decisions=54453, wrong=25846, backtracks=23192, failedAssignments=14074, nogoods=607, foundSolutions=14, bestBound=19
5.27/3.85
5.27/3.89 num=164, depth=8..25, filters=625600, revisions=(428140,useless=319439), ccks=59011, wck=0.909, mem=60M937
5.27/3.89 decisions=58289, wrong=27758, backtracks=24969, failedAssignments=15141, nogoods=612, foundSolutions=14, bestBound=19
5.27/3.89
5.37/3.94 num=165, depth=6..27, filters=678406, revisions=(465244,useless=346873), ccks=64120, wck=0.96, mem=63M579
5.37/3.94 decisions=62744, wrong=29978, backtracks=27024, failedAssignments=16314, nogoods=620, foundSolutions=14, bestBound=19
5.37/3.94
5.37/3.97 o 20
5.37/3.97 num=166, depth=9..83, filters=707200, revisions=(485161,useless=361470), ccks=66582, wck=0.99, mem=63M579
5.37/3.97 decisions=65465, wrong=31332, backtracks=28263, failedAssignments=17039, nogoods=631, foundSolutions=15, bestBound=20
5.37/3.97
5.48/4.03 num=167, depth=4..22, filters=762332, revisions=(529630,useless=395164), ccks=73463, wck=1.045, mem=66M222
5.48/4.03 decisions=70780, wrong=33985, backtracks=30700, failedAssignments=18459, nogoods=638, foundSolutions=15, bestBound=20
5.48/4.03
5.48/4.03 num=168, depth=11..17, filters=762719, revisions=(529912,useless=395370), ccks=73508, wck=1.046, mem=66M222
5.48/4.03 decisions=70823, wrong=34001, backtracks=30715, failedAssignments=18470, nogoods=639, foundSolutions=15, bestBound=20
5.48/4.03
5.48/4.03 num=169, depth=15..21, filters=763291, revisions=(530304,useless=395659), ccks=73558, wck=1.047, mem=66M222
5.48/4.03 decisions=70880, wrong=34022, backtracks=30734, failedAssignments=18482, nogoods=641, foundSolutions=15, bestBound=20
5.48/4.03
5.48/4.03 num=170, depth=13..19, filters=763768, revisions=(530631,useless=395903), ccks=73608, wck=1.047, mem=66M222
5.48/4.03 decisions=70931, wrong=34040, backtracks=30750, failedAssignments=18495, nogoods=645, foundSolutions=15, bestBound=20
5.48/4.03
5.48/4.03 num=171, depth=13..20, filters=764335, revisions=(531007,useless=396170), ccks=73649, wck=1.048, mem=66M222
5.48/4.03 decisions=70991, wrong=34063, backtracks=30770, failedAssignments=18509, nogoods=647, foundSolutions=15, bestBound=20
5.48/4.03
5.48/4.03 num=172, depth=13..20, filters=765007, revisions=(531439,useless=396479), ccks=73699, wck=1.049, mem=66M222
5.48/4.03 decisions=71055, wrong=34088, backtracks=30792, failedAssignments=18525, nogoods=651, foundSolutions=15, bestBound=20
5.48/4.03
5.48/4.03 num=173, depth=13..20, filters=765731, revisions=(531926,useless=396837), ccks=73751, wck=1.05, mem=66M222
5.48/4.03 decisions=71129, wrong=34117, backtracks=30815, failedAssignments=18542, nogoods=656, foundSolutions=15, bestBound=20
5.48/4.03
5.48/4.04 num=174, depth=13..20, filters=766501, revisions=(532467,useless=397230), ccks=73819, wck=1.051, mem=66M222
5.48/4.04 decisions=71211, wrong=34151, backtracks=30844, failedAssignments=18561, nogoods=662, foundSolutions=15, bestBound=20
5.48/4.04
5.48/4.04 num=175, depth=14..21, filters=767353, revisions=(532923,useless=397553), ccks=73861, wck=1.052, mem=66M222
5.48/4.04 decisions=71292, wrong=34183, backtracks=30872, failedAssignments=18582, nogoods=665, foundSolutions=15, bestBound=20
5.48/4.04
5.48/4.04 num=176, depth=13..20, filters=768891, revisions=(533886,useless=398225), ccks=73971, wck=1.054, mem=66M222
5.48/4.04 decisions=71397, wrong=34228, backtracks=30910, failedAssignments=18605, nogoods=667, foundSolutions=15, bestBound=20
5.48/4.04
5.48/4.04 num=177, depth=12..20, filters=769876, revisions=(534517,useless=398685), ccks=74039, wck=1.055, mem=66M222
5.48/4.04 decisions=71491, wrong=34269, backtracks=30947, failedAssignments=18630, nogoods=671, foundSolutions=15, bestBound=20
5.48/4.04
5.48/4.04 num=178, depth=13..23, filters=771655, revisions=(535603,useless=399495), ccks=74168, wck=1.057, mem=66M222
5.48/4.04 decisions=71635, wrong=34334, backtracks=31008, failedAssignments=18658, nogoods=673, foundSolutions=15, bestBound=20
5.48/4.04
5.48/4.04 num=179, depth=11..19, filters=772864, revisions=(536330,useless=400009), ccks=74230, wck=1.059, mem=66M222
5.48/4.04 decisions=71742, wrong=34381, backtracks=31048, failedAssignments=18689, nogoods=676, foundSolutions=15, bestBound=20
5.48/4.04
5.48/4.05 num=180, depth=13..22, filters=774593, revisions=(537409,useless=400783), ccks=74343, wck=1.061, mem=66M222
5.48/4.05 decisions=71879, wrong=34441, backtracks=31103, failedAssignments=18723, nogoods=679, foundSolutions=15, bestBound=20
5.48/4.05
5.48/4.05 num=181, depth=14..22, filters=776423, revisions=(538471,useless=401544), ccks=74435, wck=1.063, mem=66M222
5.48/4.05 decisions=72015, wrong=34502, backtracks=31155, failedAssignments=18760, nogoods=683, foundSolutions=15, bestBound=20
5.48/4.05
5.48/4.05 num=182, depth=10..20, filters=778225, revisions=(539672,useless=402404), ccks=74593, wck=1.065, mem=66M222
5.48/4.05 decisions=72179, wrong=34579, backtracks=31222, failedAssignments=18801, nogoods=685, foundSolutions=15, bestBound=20
5.48/4.05
5.48/4.05 num=183, depth=13..23, filters=780584, revisions=(541049,useless=403388), ccks=74746, wck=1.067, mem=66M222
5.48/4.05 decisions=72361, wrong=34663, backtracks=31296, failedAssignments=18846, nogoods=689, foundSolutions=15, bestBound=20
5.48/4.05
5.48/4.05 num=184, depth=11..24, filters=782753, revisions=(542515,useless=404508), ccks=74965, wck=1.07, mem=66M222
5.48/4.05 decisions=72559, wrong=34755, backtracks=31378, failedAssignments=18896, nogoods=693, foundSolutions=15, bestBound=20
5.48/4.05
5.48/4.06 num=185, depth=12..22, filters=785348, revisions=(543987,useless=405574), ccks=75096, wck=1.072, mem=66M222
5.48/4.06 decisions=72785, wrong=34861, backtracks=31473, failedAssignments=18951, nogoods=697, foundSolutions=15, bestBound=20
5.48/4.06
5.48/4.06 num=186, depth=9..20, filters=788302, revisions=(545874,useless=406916), ccks=75338, wck=1.076, mem=68M864
5.48/4.06 decisions=73028, wrong=34975, backtracks=31569, failedAssignments=19012, nogoods=702, foundSolutions=15, bestBound=20
5.48/4.06
5.48/4.06 num=187, depth=13..24, filters=791402, revisions=(547741,useless=408269), ccks=75539, wck=1.079, mem=68M864
5.48/4.06 decisions=73315, wrong=35111, backtracks=31691, failedAssignments=19079, nogoods=706, foundSolutions=15, bestBound=20
5.48/4.06
5.48/4.07 num=188, depth=10..21, filters=794560, revisions=(549721,useless=409733), ccks=75770, wck=1.083, mem=68M864
5.48/4.07 decisions=73607, wrong=35251, backtracks=31816, failedAssignments=19153, nogoods=709, foundSolutions=15, bestBound=20
5.48/4.07
5.48/4.07 num=189, depth=9..21, filters=798240, revisions=(551959,useless=411379), ccks=75986, wck=1.087, mem=68M864
5.48/4.07 decisions=73897, wrong=35390, backtracks=31943, failedAssignments=19234, nogoods=713, foundSolutions=15, bestBound=20
5.48/4.07
5.48/4.08 num=190, depth=10..24, filters=802331, revisions=(554579,useless=413264), ccks=76287, wck=1.091, mem=68M864
5.48/4.08 decisions=74261, wrong=35566, backtracks=32092, failedAssignments=19323, nogoods=721, foundSolutions=15, bestBound=20
5.48/4.08
5.48/4.08 num=191, depth=12..25, filters=806156, revisions=(556782,useless=414875), ccks=76448, wck=1.095, mem=68M864
5.48/4.08 decisions=74615, wrong=35735, backtracks=32248, failedAssignments=19421, nogoods=725, foundSolutions=15, bestBound=20
5.48/4.08
5.48/4.08 num=192, depth=11..25, filters=810904, revisions=(559814,useless=417119), ccks=76799, wck=1.1, mem=68M864
5.48/4.08 decisions=75033, wrong=35937, backtracks=32425, failedAssignments=19529, nogoods=729, foundSolutions=15, bestBound=20
5.48/4.08
5.48/4.09 num=193, depth=11..24, filters=815931, revisions=(562756,useless=419243), ccks=77142, wck=1.106, mem=68M864
5.48/4.09 decisions=75469, wrong=36148, backtracks=32609, failedAssignments=19648, nogoods=733, foundSolutions=15, bestBound=20
5.48/4.09
5.48/4.10 num=194, depth=10..25, filters=821301, revisions=(566318,useless=421811), ccks=77647, wck=1.112, mem=68M864
5.48/4.10 decisions=75957, wrong=36385, backtracks=32815, failedAssignments=19779, nogoods=737, foundSolutions=15, bestBound=20
5.48/4.10
5.48/4.10 num=195, depth=11..24, filters=827173, revisions=(569543,useless=424090), ccks=77894, wck=1.118, mem=68M864
5.48/4.10 decisions=76485, wrong=36642, backtracks=33038, failedAssignments=19923, nogoods=743, foundSolutions=15, bestBound=20
5.48/4.10
5.62/4.11 num=196, depth=10..23, filters=834266, revisions=(574233,useless=427632), ccks=78446, wck=1.125, mem=68M864
5.62/4.11 decisions=77092, wrong=36939, backtracks=33293, failedAssignments=20081, nogoods=748, foundSolutions=15, bestBound=20
5.62/4.11
6.11/4.61 num=197, depth=10..25, filters=841992, revisions=(578920,useless=431016), ccks=78934, wck=1.133, mem=68M864
6.11/4.61 decisions=77739, wrong=37256, backtracks=33563, failedAssignments=20255, nogoods=753, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=198, depth=10..22, filters=850964, revisions=(584049,useless=434720), ccks=79372, wck=1.142, mem=68M864
6.11/4.61 decisions=78443, wrong=37601, backtracks=33861, failedAssignments=20446, nogoods=756, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=199, depth=9..26, filters=859459, revisions=(588932,useless=438176), ccks=79888, wck=1.151, mem=71M507
6.11/4.61 decisions=79215, wrong=37980, backtracks=34207, failedAssignments=20657, nogoods=759, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=200, depth=10..25, filters=869334, revisions=(594916,useless=442488), ccks=80587, wck=1.162, mem=71M507
6.11/4.61 decisions=80096, wrong=38413, backtracks=34592, failedAssignments=20889, nogoods=767, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=201, depth=10..24, filters=879753, revisions=(601713,useless=447419), ccks=81376, wck=1.172, mem=71M507
6.11/4.61 decisions=81056, wrong=38886, backtracks=35010, failedAssignments=21144, nogoods=771, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=202, depth=8..23, filters=892197, revisions=(609670,useless=453270), ccks=82368, wck=1.185, mem=71M507
6.11/4.61 decisions=82083, wrong=39394, backtracks=35454, failedAssignments=21425, nogoods=774, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=203, depth=8..24, filters=905260, revisions=(618336,useless=459642), ccks=83503, wck=1.199, mem=71M507
6.11/4.61 decisions=83279, wrong=39986, backtracks=35967, failedAssignments=21734, nogoods=780, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=204, depth=8..24, filters=920575, revisions=(628569,useless=467047), ccks=84888, wck=1.215, mem=71M507
6.11/4.61 decisions=84638, wrong=40660, backtracks=36556, failedAssignments=22074, nogoods=784, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=205, depth=8..23, filters=936917, revisions=(639273,useless=474875), ccks=86222, wck=1.232, mem=74M149
6.11/4.61 decisions=86059, wrong=41364, backtracks=37191, failedAssignments=22448, nogoods=791, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=206, depth=7..25, filters=954296, revisions=(650133,useless=482728), ccks=87471, wck=1.25, mem=74M149
6.11/4.61 decisions=87650, wrong=42153, backtracks=37877, failedAssignments=22859, nogoods=796, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=207, depth=8..29, filters=972829, revisions=(661945,useless=491395), ccks=88837, wck=1.269, mem=74M149
6.11/4.61 decisions=89379, wrong=43012, backtracks=38643, failedAssignments=23311, nogoods=801, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=208, depth=8..25, filters=993886, revisions=(675435,useless=501254), ccks=90393, wck=1.291, mem=74M149
6.11/4.61 decisions=91225, wrong=43928, backtracks=39473, failedAssignments=23808, nogoods=810, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=209, depth=7..27, filters=1018088, revisions=(691703,useless=513123), ccks=92429, wck=1.317, mem=76M792
6.11/4.61 decisions=93299, wrong=44958, backtracks=40400, failedAssignments=24355, nogoods=816, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=210, depth=7..25, filters=1043230, revisions=(708539,useless=525573), ccks=94494, wck=1.343, mem=76M792
6.11/4.61 decisions=95600, wrong=46103, backtracks=41430, failedAssignments=24957, nogoods=825, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=211, depth=7..24, filters=1070663, revisions=(728884,useless=540889), ccks=97130, wck=1.372, mem=79M434
6.11/4.61 decisions=98042, wrong=47316, backtracks=42495, failedAssignments=25619, nogoods=827, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=212, depth=8..26, filters=1102658, revisions=(752113,useless=557900), ccks=100700, wck=1.407, mem=79M434
6.11/4.61 decisions=101080, wrong=48830, backtracks=43892, failedAssignments=26347, nogoods=835, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=213, depth=9..25, filters=1136112, revisions=(775274,useless=575390), ccks=103493, wck=1.441, mem=79M434
6.11/4.61 decisions=103993, wrong=50280, backtracks=45169, failedAssignments=27148, nogoods=843, foundSolutions=15, bestBound=20
6.11/4.61
6.11/4.61 num=214, depth=8..27, filters=1171896, revisions=(800356,useless=593815), ccks=107033, wck=1.48, mem=82M77
6.11/4.62 decisions=107274, wrong=51913, backtracks=46645, failedAssignments=28029, nogoods=851, foundSolutions=15, bestBound=20
6.11/4.62
6.11/4.62 num=215, depth=9..27, filters=1210929, revisions=(826306,useless=613085), ccks=110001, wck=1.518, mem=82M77
6.11/4.62 decisions=110847, wrong=53691, backtracks=48288, failedAssignments=28999, nogoods=857, foundSolutions=15, bestBound=20
6.11/4.62
6.11/4.62 num=216, depth=6..25, filters=1255880, revisions=(857756,useless=636450), ccks=114192, wck=1.566, mem=84M719
6.11/4.62 decisions=115008, wrong=55766, backtracks=50198, failedAssignments=30066, nogoods=862, foundSolutions=15, bestBound=20
6.11/4.62
6.11/4.62 num=217, depth=7..27, filters=1303366, revisions=(892038,useless=661818), ccks=119185, wck=1.617, mem=87M361
6.11/4.62 decisions=119524, wrong=58016, backtracks=52224, failedAssignments=31239, nogoods=868, foundSolutions=15, bestBound=20
6.11/4.62
6.11/4.65 num=218, depth=8..26, filters=1354422, revisions=(926710,useless=687706), ccks=123741, wck=1.666, mem=87M361
6.11/4.65 decisions=124251, wrong=60373, backtracks=54390, failedAssignments=32530, nogoods=876, foundSolutions=15, bestBound=20
6.11/4.65
6.24/4.72 num=219, depth=8..27, filters=1416832, revisions=(972331,useless=722051), ccks=130442, wck=1.734, mem=90M4
6.24/4.72 decisions=129822, wrong=63153, backtracks=56964, failedAssignments=33950, nogoods=884, foundSolutions=15, bestBound=20
6.24/4.72
6.24/4.79 num=220, depth=6..26, filters=1487973, revisions=(1022878,useless=759818), ccks=136708, wck=1.805, mem=92M646
6.24/4.79 decisions=135925, wrong=66199, backtracks=59772, failedAssignments=35512, nogoods=890, foundSolutions=15, bestBound=20
6.24/4.79
6.36/4.86 num=221, depth=5..26, filters=1562703, revisions=(1078072,useless=801152), ccks=144338, wck=1.88, mem=95M289
6.36/4.86 decisions=142632, wrong=69546, backtracks=62881, failedAssignments=37230, nogoods=894, foundSolutions=15, bestBound=20
6.36/4.86
6.46/4.95 num=222, depth=5..25, filters=1645180, revisions=(1133977,useless=842132), ccks=151305, wck=1.961, mem=97M931
6.46/4.95 decisions=150117, wrong=73283, backtracks=66285, failedAssignments=39120, nogoods=902, foundSolutions=15, bestBound=20
6.46/4.95
6.56/5.04 num=223, depth=5..27, filters=1734098, revisions=(1198758,useless=890526), ccks=160171, wck=2.055, mem=100M574
6.56/5.04 decisions=157923, wrong=77181, backtracks=69912, failedAssignments=41199, nogoods=912, foundSolutions=15, bestBound=20
6.56/5.04
6.67/5.14 num=224, depth=6..27, filters=1831008, revisions=(1270696,useless=944445), ccks=170240, wck=2.157, mem=105M859
6.67/5.14 decisions=166586, wrong=81506, backtracks=73812, failedAssignments=43486, nogoods=920, foundSolutions=15, bestBound=20
6.67/5.14
6.76/5.21 o 21
6.76/5.21 num=225, depth=6..83, filters=1890989, revisions=(1317678,useless=979634), ccks=177607, wck=2.221, mem=108M501
6.76/5.21 decisions=171972, wrong=84193, backtracks=76262, failedAssignments=44856, nogoods=931, foundSolutions=16, bestBound=21
6.76/5.21
6.87/5.33 num=226, depth=3..24, filters=2010115, revisions=(1408859,useless=1048238), ccks=190500, wck=2.345, mem=111M143
6.87/5.33 decisions=182668, wrong=89537, backtracks=81180, failedAssignments=47624, nogoods=939, foundSolutions=16, bestBound=21
6.87/5.33
6.87/5.33 num=227, depth=13..21, filters=2010507, revisions=(1409153,useless=1048459), ccks=190547, wck=2.345, mem=111M143
6.87/5.33 decisions=182715, wrong=89553, backtracks=81194, failedAssignments=47635, nogoods=941, foundSolutions=16, bestBound=21
6.87/5.33
6.87/5.33 num=228, depth=13..21, filters=2011100, revisions=(1409565,useless=1048759), ccks=190590, wck=2.346, mem=111M143
6.87/5.33 decisions=182772, wrong=89575, backtracks=81213, failedAssignments=47647, nogoods=944, foundSolutions=16, bestBound=21
6.87/5.33
6.87/5.33 num=229, depth=12..20, filters=2011707, revisions=(1410009,useless=1049091), ccks=190641, wck=2.347, mem=111M143
6.87/5.33 decisions=182833, wrong=89599, backtracks=81234, failedAssignments=47660, nogoods=946, foundSolutions=16, bestBound=21
6.87/5.33
6.87/5.33 num=230, depth=11..22, filters=2012421, revisions=(1410529,useless=1049469), ccks=190713, wck=2.348, mem=111M143
6.87/5.33 decisions=182901, wrong=89626, backtracks=81258, failedAssignments=47674, nogoods=949, foundSolutions=16, bestBound=21
6.87/5.33
6.87/5.33 num=231, depth=12..19, filters=2013179, revisions=(1411107,useless=1049895), ccks=190788, wck=2.349, mem=111M143
6.87/5.33 decisions=182967, wrong=89653, backtracks=81283, failedAssignments=47690, nogoods=952, foundSolutions=16, bestBound=21
6.87/5.33
6.87/5.33 num=232, depth=10..20, filters=2013942, revisions=(1411694,useless=1050330), ccks=190875, wck=2.35, mem=111M143
6.87/5.33 decisions=183039, wrong=89682, backtracks=81307, failedAssignments=47707, nogoods=957, foundSolutions=16, bestBound=21
6.87/5.33
6.87/5.34 num=233, depth=11..21, filters=2014742, revisions=(1412317,useless=1050796), ccks=190963, wck=2.351, mem=111M143
6.87/5.34 decisions=183112, wrong=89713, backtracks=81333, failedAssignments=47726, nogoods=959, foundSolutions=16, bestBound=21
6.87/5.34
6.87/5.34 num=234, depth=11..25, filters=2015394, revisions=(1412746,useless=1051120), ccks=191015, wck=2.352, mem=111M143
6.87/5.34 decisions=183181, wrong=89739, backtracks=81353, failedAssignments=47747, nogoods=965, foundSolutions=16, bestBound=21
6.87/5.34
6.87/5.34 num=235, depth=12..22, filters=2016260, revisions=(1413360,useless=1051580), ccks=191102, wck=2.353, mem=111M143
6.87/5.34 decisions=183266, wrong=89773, backtracks=81380, failedAssignments=47770, nogoods=971, foundSolutions=16, bestBound=21
6.87/5.34
6.87/5.34 num=236, depth=11..22, filters=2017372, revisions=(1414218,useless=1052199), ccks=191233, wck=2.355, mem=111M143
6.87/5.34 decisions=183369, wrong=89816, backtracks=81420, failedAssignments=47795, nogoods=974, foundSolutions=16, bestBound=21
6.87/5.34
6.87/5.34 num=237, depth=11..23, filters=2018385, revisions=(1414923,useless=1052701), ccks=191328, wck=2.356, mem=111M143
6.87/5.34 decisions=183473, wrong=89860, backtracks=81457, failedAssignments=47823, nogoods=979, foundSolutions=16, bestBound=21
6.87/5.34
6.87/5.34 num=238, depth=12..23, filters=2019533, revisions=(1415750,useless=1053315), ccks=191430, wck=2.357, mem=111M143
6.87/5.34 decisions=183576, wrong=89904, backtracks=81493, failedAssignments=47854, nogoods=983, foundSolutions=16, bestBound=21
6.87/5.34
6.87/5.34 num=239, depth=10..21, filters=2021049, revisions=(1416765,useless=1054042), ccks=191594, wck=2.359, mem=111M143
6.87/5.34 decisions=183708, wrong=89965, backtracks=81546, failedAssignments=47888, nogoods=984, foundSolutions=16, bestBound=21
6.87/5.34
6.87/5.35 num=240, depth=13..21, filters=2022779, revisions=(1417778,useless=1054801), ccks=191679, wck=2.361, mem=111M143
6.87/5.35 decisions=183850, wrong=90029, backtracks=81605, failedAssignments=47925, nogoods=988, foundSolutions=16, bestBound=21
6.87/5.35
6.87/5.35 num=241, depth=12..21, filters=2024592, revisions=(1419062,useless=1055737), ccks=191857, wck=2.363, mem=113M786
6.87/5.35 decisions=183992, wrong=90094, backtracks=81663, failedAssignments=47966, nogoods=993, foundSolutions=16, bestBound=21
6.87/5.35
6.87/5.35 num=242, depth=13..22, filters=2026483, revisions=(1420106,useless=1056477), ccks=191949, wck=2.365, mem=113M786
6.87/5.35 decisions=184149, wrong=90166, backtracks=81727, failedAssignments=48011, nogoods=996, foundSolutions=16, bestBound=21
6.87/5.35
6.87/5.35 num=243, depth=11..24, filters=2028816, revisions=(1421564,useless=1057526), ccks=192126, wck=2.368, mem=113M786
6.87/5.35 decisions=184349, wrong=90259, backtracks=81812, failedAssignments=48061, nogoods=1000, foundSolutions=16, bestBound=21
6.87/5.35
6.87/5.36 num=244, depth=11..22, filters=2031194, revisions=(1423037,useless=1058597), ccks=192288, wck=2.371, mem=113M786
6.87/5.36 decisions=184563, wrong=90359, backtracks=81897, failedAssignments=48116, nogoods=1006, foundSolutions=16, bestBound=21
6.87/5.36
6.87/5.36 num=245, depth=11..22, filters=2033934, revisions=(1424740,useless=1059815), ccks=192476, wck=2.374, mem=113M786
6.87/5.36 decisions=184798, wrong=90470, backtracks=81996, failedAssignments=48177, nogoods=1010, foundSolutions=16, bestBound=21
6.87/5.36
6.87/5.36 num=246, depth=11..20, filters=2036911, revisions=(1426542,useless=1061101), ccks=192667, wck=2.378, mem=113M786
6.87/5.36 decisions=185031, wrong=90580, backtracks=82093, failedAssignments=48244, nogoods=1014, foundSolutions=16, bestBound=21
6.87/5.36
6.87/5.37 num=247, depth=12..21, filters=2040113, revisions=(1428710,useless=1062667), ccks=192884, wck=2.381, mem=113M786
6.87/5.37 decisions=185298, wrong=90706, backtracks=82209, failedAssignments=48318, nogoods=1020, foundSolutions=16, bestBound=21
6.87/5.37
6.87/5.37 num=248, depth=10..20, filters=2043709, revisions=(1430937,useless=1064250), ccks=193134, wck=2.385, mem=113M786
6.87/5.37 decisions=185608, wrong=90856, backtracks=82337, failedAssignments=48399, nogoods=1022, foundSolutions=16, bestBound=21
6.87/5.37
6.87/5.37 num=249, depth=10..22, filters=2047945, revisions=(1433836,useless=1066328), ccks=193494, wck=2.39, mem=113M786
6.87/5.37 decisions=185959, wrong=91025, backtracks=82487, failedAssignments=48488, nogoods=1028, foundSolutions=16, bestBound=21
6.87/5.37
6.87/5.38 num=250, depth=9..22, filters=2052234, revisions=(1436479,useless=1068241), ccks=193782, wck=2.395, mem=113M786
6.87/5.38 decisions=186325, wrong=91202, backtracks=82633, failedAssignments=48586, nogoods=1030, foundSolutions=16, bestBound=21
6.87/5.38
6.87/5.38 num=251, depth=9..23, filters=2056967, revisions=(1439294,useless=1070265), ccks=194032, wck=2.4, mem=113M786
6.87/5.38 decisions=186727, wrong=91398, backtracks=82802, failedAssignments=48694, nogoods=1032, foundSolutions=16, bestBound=21
6.87/5.38
6.87/5.39 num=252, depth=9..23, filters=2061518, revisions=(1442296,useless=1072402), ccks=194453, wck=2.405, mem=113M786
6.87/5.39 decisions=187135, wrong=91595, backtracks=82975, failedAssignments=48813, nogoods=1038, foundSolutions=16, bestBound=21
6.87/5.39
6.87/5.40 num=253, depth=8..22, filters=2067181, revisions=(1445822,useless=1074912), ccks=194850, wck=2.411, mem=113M786
6.87/5.40 decisions=187655, wrong=91849, backtracks=83191, failedAssignments=48944, nogoods=1040, foundSolutions=16, bestBound=21
6.87/5.40
6.97/5.40 num=254, depth=10..25, filters=2073036, revisions=(1449699,useless=1077654), ccks=195287, wck=2.419, mem=113M786
6.97/5.40 decisions=188182, wrong=92105, backtracks=83422, failedAssignments=49088, nogoods=1047, foundSolutions=16, bestBound=21
6.97/5.40
6.97/5.41 num=255, depth=9..23, filters=2080598, revisions=(1454315,useless=1080962), ccks=195827, wck=2.427, mem=113M786
6.97/5.41 decisions=188811, wrong=92413, backtracks=83698, failedAssignments=49246, nogoods=1054, foundSolutions=16, bestBound=21
6.97/5.41
6.97/5.42 num=256, depth=10..21, filters=2086813, revisions=(1458801,useless=1084174), ccks=196560, wck=2.434, mem=113M786
6.97/5.42 decisions=189459, wrong=92730, backtracks=83983, failedAssignments=49420, nogoods=1059, foundSolutions=16, bestBound=21
6.97/5.42
6.97/5.43 num=257, depth=8..22, filters=2095409, revisions=(1464392,useless=1088269), ccks=197256, wck=2.443, mem=116M429
6.97/5.43 decisions=190177, wrong=93084, backtracks=84286, failedAssignments=49611, nogoods=1065, foundSolutions=16, bestBound=21
6.97/5.43
6.97/5.44 num=258, depth=7..23, filters=2104802, revisions=(1471050,useless=1093231), ccks=198076, wck=2.453, mem=116M429
6.97/5.44 decisions=190993, wrong=93486, backtracks=84633, failedAssignments=49822, nogoods=1071, foundSolutions=16, bestBound=21
6.97/5.44
6.97/5.45 num=259, depth=8..23, filters=2115623, revisions=(1478104,useless=1098413), ccks=198870, wck=2.466, mem=116M429
6.97/5.45 decisions=191834, wrong=93900, backtracks=84997, failedAssignments=50054, nogoods=1076, foundSolutions=16, bestBound=21
6.97/5.45
6.97/5.46 num=260, depth=8..24, filters=2126140, revisions=(1485827,useless=1104003), ccks=200161, wck=2.478, mem=116M429
6.97/5.46 decisions=192803, wrong=94379, backtracks=85438, failedAssignments=50309, nogoods=1082, foundSolutions=16, bestBound=21
6.97/5.46
6.97/5.48 num=261, depth=8..22, filters=2138181, revisions=(1493951,useless=1110073), ccks=200992, wck=2.491, mem=116M429
6.97/5.48 decisions=193854, wrong=94898, backtracks=85892, failedAssignments=50590, nogoods=1085, foundSolutions=16, bestBound=21
6.97/5.48
6.97/5.49 num=262, depth=8..25, filters=2151945, revisions=(1503284,useless=1117045), ccks=202117, wck=2.505, mem=116M429
6.97/5.49 decisions=195037, wrong=95483, backtracks=86430, failedAssignments=50899, nogoods=1089, foundSolutions=16, bestBound=21
6.97/5.49
7.07/5.51 num=263, depth=7..22, filters=2167275, revisions=(1514342,useless=1125275), ccks=203621, wck=2.522, mem=119M72
7.07/5.51 decisions=196359, wrong=96137, backtracks=87039, failedAssignments=51239, nogoods=1096, foundSolutions=16, bestBound=21
7.07/5.51
7.07/5.53 num=264, depth=7..21, filters=2183753, revisions=(1526327,useless=1134240), ccks=205318, wck=2.541, mem=119M72
7.07/5.53 decisions=197733, wrong=96819, backtracks=87651, failedAssignments=51613, nogoods=1099, foundSolutions=16, bestBound=21
7.07/5.53
7.07/5.55 num=265, depth=5..24, filters=2201745, revisions=(1539825,useless=1144472), ccks=207306, wck=2.561, mem=119M72
7.07/5.55 decisions=199287, wrong=97590, backtracks=88358, failedAssignments=52024, nogoods=1106, foundSolutions=16, bestBound=21
7.07/5.55
7.07/5.57 num=266, depth=6..22, filters=2222739, revisions=(1554733,useless=1155678), ccks=209391, wck=2.583, mem=119M72
7.07/5.57 decisions=201070, wrong=98477, backtracks=89162, failedAssignments=52476, nogoods=1110, foundSolutions=16, bestBound=21
7.07/5.57
7.07/5.59 num=267, depth=5..24, filters=2246574, revisions=(1572207,useless=1168797), ccks=211829, wck=2.61, mem=121M714
7.07/5.59 decisions=203016, wrong=99442, backtracks=90039, failedAssignments=52973, nogoods=1115, foundSolutions=16, bestBound=21
7.07/5.59
7.17/5.62 num=268, depth=7..25, filters=2269817, revisions=(1589026,useless=1181309), ccks=214152, wck=2.637, mem=121M714
7.17/5.62 decisions=205029, wrong=100444, backtracks=90960, failedAssignments=53520, nogoods=1120, foundSolutions=16, bestBound=21
7.17/5.62
7.17/5.65 num=269, depth=6..24, filters=2295855, revisions=(1608246,useless=1195618), ccks=217192, wck=2.667, mem=121M714
7.17/5.65 decisions=207362, wrong=101606, backtracks=92034, failedAssignments=54122, nogoods=1126, foundSolutions=16, bestBound=21
7.17/5.65
7.17/5.69 num=270, depth=5..24, filters=2327591, revisions=(1631435,useless=1212802), ccks=220290, wck=2.703, mem=124M356
7.17/5.69 decisions=209899, wrong=102870, backtracks=93207, failedAssignments=54784, nogoods=1135, foundSolutions=16, bestBound=21
7.17/5.69
7.27/5.72 num=271, depth=6..24, filters=2359830, revisions=(1653787,useless=1229465), ccks=222947, wck=2.738, mem=124M356
7.27/5.72 decisions=212665, wrong=104247, backtracks=94430, failedAssignments=55512, nogoods=1139, foundSolutions=16, bestBound=21
7.27/5.72
7.27/5.77 num=272, depth=5..24, filters=2399474, revisions=(1683376,useless=1251734), ccks=226785, wck=2.783, mem=126M999
7.27/5.77 decisions=215828, wrong=105825, backtracks=95903, failedAssignments=56313, nogoods=1145, foundSolutions=16, bestBound=21
7.27/5.77
7.37/5.81 o 22
7.37/5.81 num=273, depth=5..83, filters=2432682, revisions=(1709223,useless=1271096), ccks=230743, wck=2.824, mem=126M999
7.37/5.81 decisions=218533, wrong=107171, backtracks=97151, failedAssignments=57003, nogoods=1158, foundSolutions=17, bestBound=22
7.37/5.81
7.37/5.85 num=274, depth=3..20, filters=2474712, revisions=(1740189,useless=1293812), ccks=234873, wck=2.869, mem=129M641
7.37/5.85 decisions=222298, wrong=109051, backtracks=98822, failedAssignments=57973, nogoods=1165, foundSolutions=17, bestBound=22
7.37/5.85
7.37/5.85 num=275, depth=9..16, filters=2475374, revisions=(1740661,useless=1294173), ccks=234937, wck=2.87, mem=129M641
7.37/5.85 decisions=222356, wrong=109075, backtracks=98838, failedAssignments=57984, nogoods=1170, foundSolutions=17, bestBound=22
7.37/5.85
7.37/5.86 num=276, depth=9..16, filters=2475881, revisions=(1741005,useless=1294426), ccks=234981, wck=2.871, mem=129M641
7.37/5.86 decisions=222405, wrong=109094, backtracks=98853, failedAssignments=57996, nogoods=1173, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.86 num=277, depth=10..18, filters=2476424, revisions=(1741346,useless=1294677), ccks=235019, wck=2.872, mem=129M641
7.37/5.86 decisions=222456, wrong=109114, backtracks=98866, failedAssignments=58009, nogoods=1178, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.86 num=278, depth=8..17, filters=2477030, revisions=(1741720,useless=1294958), ccks=235056, wck=2.872, mem=129M641
7.37/5.86 decisions=222517, wrong=109138, backtracks=98883, failedAssignments=58023, nogoods=1183, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.86 num=279, depth=9..21, filters=2477792, revisions=(1742145,useless=1295257), ccks=235096, wck=2.873, mem=129M641
7.37/5.86 decisions=222586, wrong=109165, backtracks=98901, failedAssignments=58039, nogoods=1188, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.86 num=280, depth=8..22, filters=2478571, revisions=(1742572,useless=1295562), ccks=235128, wck=2.874, mem=129M641
7.37/5.86 decisions=222658, wrong=109194, backtracks=98920, failedAssignments=58056, nogoods=1194, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.86 num=281, depth=7..20, filters=2479500, revisions=(1743212,useless=1296031), ccks=235232, wck=2.875, mem=129M641
7.37/5.86 decisions=222741, wrong=109228, backtracks=98947, failedAssignments=58075, nogoods=1200, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.86 num=282, depth=10..20, filters=2480571, revisions=(1743898,useless=1296537), ccks=235288, wck=2.877, mem=129M641
7.37/5.86 decisions=222836, wrong=109269, backtracks=98983, failedAssignments=58096, nogoods=1202, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.86 num=283, depth=7..17, filters=2481714, revisions=(1744601,useless=1297049), ccks=235352, wck=2.878, mem=129M641
7.37/5.86 decisions=222929, wrong=109312, backtracks=99019, failedAssignments=58119, nogoods=1203, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.86 num=284, depth=9..19, filters=2483056, revisions=(1745520,useless=1297716), ccks=235482, wck=2.88, mem=129M641
7.37/5.86 decisions=223045, wrong=109364, backtracks=99059, failedAssignments=58144, nogoods=1210, foundSolutions=17, bestBound=22
7.37/5.86
7.37/5.87 num=285, depth=7..17, filters=2484637, revisions=(1746408,useless=1298352), ccks=235560, wck=2.881, mem=129M641
7.37/5.87 decisions=223180, wrong=109427, backtracks=99116, failedAssignments=58172, nogoods=1212, foundSolutions=17, bestBound=22
7.37/5.87
7.37/5.87 num=286, depth=7..17, filters=2486240, revisions=(1747338,useless=1298998), ccks=235661, wck=2.883, mem=129M641
7.37/5.87 decisions=223332, wrong=109497, backtracks=99174, failedAssignments=58203, nogoods=1216, foundSolutions=17, bestBound=22
7.37/5.87
7.37/5.87 num=287, depth=7..17, filters=2487819, revisions=(1748386,useless=1299771), ccks=235770, wck=2.885, mem=129M641
7.37/5.87 decisions=223465, wrong=109560, backtracks=99230, failedAssignments=58237, nogoods=1219, foundSolutions=17, bestBound=22
7.37/5.87
7.37/5.87 num=288, depth=6..17, filters=2489494, revisions=(1749494,useless=1300578), ccks=235910, wck=2.887, mem=129M641
7.37/5.87 decisions=223607, wrong=109626, backtracks=99284, failedAssignments=58274, nogoods=1224, foundSolutions=17, bestBound=22
7.37/5.87
7.37/5.87 num=289, depth=8..18, filters=2491340, revisions=(1750780,useless=1301489), ccks=236109, wck=2.889, mem=129M641
7.37/5.87 decisions=223771, wrong=109704, backtracks=99351, failedAssignments=58315, nogoods=1225, foundSolutions=17, bestBound=22
7.37/5.87
7.37/5.88 num=290, depth=7..18, filters=2493117, revisions=(1752046,useless=1302407), ccks=236301, wck=2.892, mem=129M641
7.37/5.88 decisions=223941, wrong=109784, backtracks=99420, failedAssignments=58360, nogoods=1231, foundSolutions=17, bestBound=22
7.37/5.88
7.37/5.88 num=291, depth=8..21, filters=2495310, revisions=(1753541,useless=1303487), ccks=236515, wck=2.894, mem=129M641
7.37/5.88 decisions=224141, wrong=109878, backtracks=99499, failedAssignments=58410, nogoods=1237, foundSolutions=17, bestBound=22
7.37/5.88
7.37/5.88 num=292, depth=9..18, filters=2497805, revisions=(1755091,useless=1304627), ccks=236708, wck=2.897, mem=129M641
7.37/5.88 decisions=224357, wrong=109981, backtracks=99589, failedAssignments=58465, nogoods=1244, foundSolutions=17, bestBound=22
7.37/5.88
7.37/5.89 num=293, depth=8..18, filters=2500960, revisions=(1757234,useless=1306224), ccks=236959, wck=2.901, mem=129M641
7.37/5.89 decisions=224601, wrong=110098, backtracks=99692, failedAssignments=58526, nogoods=1251, foundSolutions=17, bestBound=22
7.37/5.89
7.37/5.89 num=294, depth=7..21, filters=2504035, revisions=(1759154,useless=1307584), ccks=237212, wck=2.905, mem=129M641
7.37/5.89 decisions=224867, wrong=110226, backtracks=99802, failedAssignments=58593, nogoods=1258, foundSolutions=17, bestBound=22
7.37/5.89
7.37/5.89 num=295, depth=7..22, filters=2507443, revisions=(1761466,useless=1309271), ccks=237477, wck=2.909, mem=132M284
7.37/5.89 decisions=225168, wrong=110371, backtracks=99934, failedAssignments=58667, nogoods=1264, foundSolutions=17, bestBound=22
7.37/5.89
7.49/5.90 num=296, depth=7..21, filters=2510846, revisions=(1763986,useless=1311161), ccks=237811, wck=2.913, mem=132M284
7.49/5.90 decisions=225463, wrong=110513, backtracks=100066, failedAssignments=58748, nogoods=1268, foundSolutions=17, bestBound=22
7.49/5.90
7.49/5.90 num=297, depth=8..21, filters=2514700, revisions=(1766709,useless=1313203), ccks=238093, wck=2.918, mem=132M284
7.49/5.90 decisions=225778, wrong=110665, backtracks=100200, failedAssignments=58837, nogoods=1275, foundSolutions=17, bestBound=22
7.49/5.90
7.49/5.91 num=298, depth=6..21, filters=2518804, revisions=(1769197,useless=1314951), ccks=238323, wck=2.922, mem=132M284
7.49/5.91 decisions=226135, wrong=110839, backtracks=100351, failedAssignments=58935, nogoods=1283, foundSolutions=17, bestBound=22
7.49/5.91
7.49/5.91 num=299, depth=7..22, filters=2523737, revisions=(1772368,useless=1317262), ccks=238702, wck=2.928, mem=132M284
7.49/5.91 decisions=226515, wrong=111024, backtracks=100521, failedAssignments=59043, nogoods=1286, foundSolutions=17, bestBound=22
7.49/5.91
7.49/5.92 num=300, depth=6..18, filters=2529287, revisions=(1776472,useless=1320325), ccks=239237, wck=2.935, mem=132M284
7.49/5.92 decisions=226992, wrong=111258, backtracks=100730, failedAssignments=59162, nogoods=1290, foundSolutions=17, bestBound=22
7.49/5.92
7.49/5.93 num=301, depth=5..18, filters=2535389, revisions=(1781063,useless=1323726), ccks=239809, wck=2.942, mem=132M284
7.49/5.93 decisions=227527, wrong=111523, backtracks=100973, failedAssignments=59293, nogoods=1291, foundSolutions=17, bestBound=22
7.49/5.93
7.49/5.94 num=302, depth=5..20, filters=2542447, revisions=(1786221,useless=1327491), ccks=240551, wck=2.951, mem=132M284
7.49/5.94 decisions=228110, wrong=111809, backtracks=101225, failedAssignments=59437, nogoods=1300, foundSolutions=17, bestBound=22
7.49/5.94
7.49/5.95 num=303, depth=7..19, filters=2550966, revisions=(1793035,useless=1332618), ccks=241533, wck=2.962, mem=132M284
7.49/5.95 decisions=228698, wrong=112098, backtracks=101490, failedAssignments=59595, nogoods=1308, foundSolutions=17, bestBound=22
7.49/5.95
7.49/5.96 num=304, depth=6..18, filters=2559269, revisions=(1798893,useless=1336868), ccks=242259, wck=2.971, mem=132M284
7.49/5.96 decisions=229371, wrong=112429, backtracks=101787, failedAssignments=59769, nogoods=1316, foundSolutions=17, bestBound=22
7.49/5.96
7.49/5.97 num=305, depth=7..23, filters=2568618, revisions=(1806190,useless=1342325), ccks=243369, wck=2.982, mem=132M284
7.49/5.97 decisions=230078, wrong=112777, backtracks=102117, failedAssignments=59960, nogoods=1322, foundSolutions=17, bestBound=22
7.49/5.97
7.49/5.98 num=306, depth=6..21, filters=2578016, revisions=(1813987,useless=1348275), ccks=244544, wck=2.995, mem=134M926
7.49/5.98 decisions=230881, wrong=113174, backtracks=102492, failedAssignments=60171, nogoods=1332, foundSolutions=17, bestBound=22
7.49/5.98
7.49/5.99 num=307, depth=5..22, filters=2588236, revisions=(1821149,useless=1353537), ccks=245483, wck=3.007, mem=134M926
7.49/5.99 decisions=231777, wrong=113617, backtracks=102899, failedAssignments=60403, nogoods=1339, foundSolutions=17, bestBound=22
7.49/5.99
7.49/6.01 num=308, depth=4..20, filters=2599812, revisions=(1829920,useless=1359983), ccks=246765, wck=3.021, mem=134M926
7.49/6.01 decisions=232769, wrong=114108, backtracks=103344, failedAssignments=60658, nogoods=1348, foundSolutions=17, bestBound=22
7.49/6.01
7.60/6.02 num=309, depth=4..24, filters=2612594, revisions=(1840126,useless=1367683), ccks=248237, wck=3.037, mem=134M926
7.60/6.02 decisions=233878, wrong=114656, backtracks=103841, failedAssignments=60939, nogoods=1351, foundSolutions=17, bestBound=22
7.60/6.02
7.60/6.04 num=310, depth=4..20, filters=2626687, revisions=(1850636,useless=1375582), ccks=249472, wck=3.054, mem=134M926
7.60/6.04 decisions=235024, wrong=115224, backtracks=104372, failedAssignments=61248, nogoods=1361, foundSolutions=17, bestBound=22
7.60/6.04
7.60/6.06 num=311, depth=4..22, filters=2643239, revisions=(1862971,useless=1384754), ccks=251014, wck=3.073, mem=137M569
7.60/6.06 decisions=236287, wrong=115850, backtracks=104945, failedAssignments=61588, nogoods=1366, foundSolutions=17, bestBound=22
7.60/6.06
7.60/6.08 num=312, depth=3..20, filters=2659528, revisions=(1875530,useless=1394166), ccks=252770, wck=3.093, mem=137M569
7.60/6.08 decisions=237689, wrong=116546, backtracks=105585, failedAssignments=61962, nogoods=1370, foundSolutions=17, bestBound=22
7.60/6.08
7.60/6.10 num=313, depth=4..19, filters=2679990, revisions=(1892785,useless=1407397), ccks=255262, wck=3.118, mem=137M569
7.60/6.10 decisions=239343, wrong=117371, backtracks=106355, failedAssignments=62373, nogoods=1375, foundSolutions=17, bestBound=22
7.60/6.10
7.70/6.13 num=314, depth=3..21, filters=2700896, revisions=(1908234,useless=1418820), ccks=257210, wck=3.143, mem=137M569
7.70/6.13 decisions=241030, wrong=118209, backtracks=107111, failedAssignments=62825, nogoods=1380, foundSolutions=17, bestBound=22
7.70/6.13
7.70/6.16 num=315, depth=2..22, filters=2724338, revisions=(1925871,useless=1432022), ccks=259498, wck=3.171, mem=140M211
7.70/6.16 decisions=243047, wrong=119212, backtracks=108029, failedAssignments=63322, nogoods=1384, foundSolutions=17, bestBound=22
7.70/6.16
7.70/6.19 num=316, depth=3..23, filters=2749798, revisions=(1945806,useless=1446859), ccks=262661, wck=3.202, mem=140M211
7.70/6.19 decisions=245324, wrong=120346, backtracks=109088, failedAssignments=63869, nogoods=1394, foundSolutions=17, bestBound=22
7.70/6.19
7.79/6.22 num=317, depth=2..22, filters=2780050, revisions=(1970512,useless=1465722), ccks=266179, wck=3.238, mem=142M778
7.79/6.22 decisions=247878, wrong=121620, backtracks=110295, failedAssignments=64471, nogoods=1404, foundSolutions=17, bestBound=22
7.79/6.22
7.79/6.26 num=318, depth=2..25, filters=2815586, revisions=(1999389,useless=1487651), ccks=270297, wck=3.28, mem=142M778
7.79/6.26 decisions=250587, wrong=122970, backtracks=111551, failedAssignments=65133, nogoods=1415, foundSolutions=17, bestBound=22
7.79/6.26
7.89/6.32 num=319, depth=1..22, filters=2853072, revisions=(2031115,useless=1511809), ccks=275141, wck=3.337, mem=22M527
7.89/6.32 decisions=253645, wrong=124495, backtracks=112973, failedAssignments=65861, nogoods=1420, foundSolutions=17, bestBound=22
7.89/6.32
7.89/6.37 num=320, depth=1..22, filters=2893706, revisions=(2066020,useless=1538661), ccks=280321, wck=3.382, mem=22M527
7.89/6.37 decisions=257076, wrong=126206, backtracks=114599, failedAssignments=66662, nogoods=1425, foundSolutions=17, bestBound=22
7.89/6.37
8.02/6.42 num=321, depth=1..21, filters=2938468, revisions=(2103083,useless=1566832), ccks=285593, wck=3.431, mem=25M143
8.02/6.42 decisions=260678, wrong=128004, backtracks=116301, failedAssignments=67543, nogoods=1432, foundSolutions=17, bestBound=22
8.02/6.42
8.02/6.47 num=322, depth=0..21, filters=2989345, revisions=(2148068,useless=1601550), ccks=292123, wck=3.489, mem=27M759
8.02/6.47 decisions=264880, wrong=130100, backtracks=118232, failedAssignments=68513, nogoods=1439, foundSolutions=17, bestBound=22
8.02/6.47
8.02/6.48
8.02/6.48 New Bounds: 23..22
8.02/6.48 num=323, depth=0..15, filters=2998734, revisions=(2156782,useless=1608402), ccks=293252, wck=3.5, mem=27M759
8.02/6.48 decisions=265590, wrong=130456, backtracks=118562, failedAssignments=68688, foundSolutions=17, bestBound=22
8.02/6.48
8.02/6.48 Global
8.02/6.48 filters=2998734, revisions=(2156782,useless=1608402), ccks=293252
8.02/6.48 Stop=FULL_EXPLORATION, wrong=130456, bestBound=22, bestBoundWck=3.179, bestBoundCpu=4.954, foundSolutions=17, firstSolCpu=2.152
8.02/6.48 wck=3.856, cpu=5.62, mem=27M759
8.02/6.49
8.02/6.49 v <instantiation id='sol17' type='solution' cost='22'> <list> x[][] s[][] </list> <values> 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 2 3 2 2 2 2 2 2 3 2 4 2 3 2 3 6 3 4 3 3 4 3 6 3 4 3 6 3 2 3 2 4 3 3 4 2 3 2 2 2 3 2 </values> </instantiation>
8.02/6.49 s OPTIMUM FOUND
8.02/6.49
8.02/6.49 d WRONG_DECISIONS 130456
8.02/6.49 d NUMBER_SOLUTIONS 17