2.36/1.89
2.36/1.89 AbsCon 2
2.62/1.90
2.86/2.05 Instance
2.86/2.05 name=instance-4391074-1568388636, framework=COP, bounds=-infty..+infty
2.86/2.05
2.86/2.05 Loading variables...
2.86/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505dcca8
2.86/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f41079
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b312b2
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328ac699
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f5d06
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68c574
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4b3dd7
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1846740c
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263b629
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
2.86/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497932e5
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528c22c
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b774905
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9026e
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
2.86/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
2.86/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
2.86/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
2.86/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
2.86/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
2.86/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
2.86/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
2.86/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
2.86/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
3.10/2.16
3.10/2.16
3.10/2.16 Domains
3.10/2.16 nTypes=2, nValues=462, sizes=[2#42,9#42]
3.10/2.16 Variables
3.10/2.16 count=84, degrees=[2#42,7#4,8#2,9#4,10#32]
3.10/2.16 Objectives
3.10/2.16 way=max, type=SumSimpleGE
3.10/2.16 Constraints
3.10/2.16 count=111, nSpecific=43, arities=[2#42,3#26,4#4,6#26,9#12,42#1]
3.10/2.16 distribution=[CtrExtensionV-Bits#42,CtrExtensionV-Matrix3D#26,SumSimpleGE#1,SumWeightedEQ#42]
3.10/2.16 nExtStructures=(4,shared:64), nCftStructures=(4,shared:64,unbuilt:43)
3.10/2.16 wck=0.299, cpu=2.112, mem=21M227
3.10/2.16 Solver SolverBacktrack being built...
3.10/2.16
3.10/2.18
3.10/2.18 Solver
3.10/2.18 guaranteedGAC=false
3.10/2.18 wck=0.323, cpu=2.135, mem=31M870
3.10/2.19
3.10/2.19 Preprocessing
3.10/2.19 filters=30, revisions=(30,useless=30), nACremovedValues=98, nTotalRemovedValues=98, inconcistency=false
3.10/2.19 wck=0.003, cpu=2.14, mem=31M870
3.10/2.19
3.10/2.20 o 0
3.34/2.20 num=0, depth=85..83, filters=282, revisions=(265,useless=225), ccks=137, wck=0.018, mem=34M512
3.34/2.20 decisions=28, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.34/2.20
3.34/2.21 o 4
3.34/2.21 num=1, depth=23..83, filters=598, revisions=(610,useless=519), ccks=266, wck=0.027, mem=34M512
3.34/2.21 decisions=63, wrong=6, backtracks=3, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=4
3.34/2.21
3.34/2.21 o 6
3.34/2.21 num=2, depth=19..83, filters=927, revisions=(976,useless=829), ccks=406, wck=0.033, mem=34M512
3.34/2.21 decisions=95, wrong=12, backtracks=6, failedAssignments=9, nogoods=7, foundSolutions=3, bestBound=6
3.34/2.21
3.34/2.23 o 7
3.34/2.23 num=3, depth=19..83, filters=1322, revisions=(1373,useless=1165), ccks=538, wck=0.05, mem=34M512
3.34/2.23 decisions=135, wrong=21, backtracks=13, failedAssignments=14, nogoods=9, foundSolutions=4, bestBound=7
3.34/2.23
3.34/2.24 o 8
3.34/2.24 num=4, depth=18..83, filters=1649, revisions=(1773,useless=1516), ccks=672, wck=0.055, mem=34M512
3.34/2.24 decisions=176, wrong=32, backtracks=16, failedAssignments=23, nogoods=14, foundSolutions=5, bestBound=8
3.34/2.24
3.34/2.25 num=5, depth=17..25, filters=2360, revisions=(2311,useless=1935), ccks=741, wck=0.06, mem=34M512
3.34/2.25 decisions=248, wrong=57, backtracks=36, failedAssignments=34, nogoods=16, foundSolutions=5, bestBound=8
3.34/2.25
3.34/2.25 o 9
3.34/2.25 num=6, depth=19..83, filters=2856, revisions=(2660,useless=2210), ccks=891, wck=0.064, mem=34M512
3.34/2.25 decisions=306, wrong=73, backtracks=44, failedAssignments=43, nogoods=20, foundSolutions=6, bestBound=9
3.34/2.25
3.34/2.25 o 11
3.34/2.25 num=7, depth=16..83, filters=3451, revisions=(3241,useless=2693), ccks=1065, wck=0.069, mem=34M512
3.34/2.25 decisions=355, wrong=88, backtracks=54, failedAssignments=52, nogoods=25, foundSolutions=7, bestBound=11
3.34/2.25
3.34/2.27 o 12
3.34/2.27 num=8, depth=15..83, filters=3982, revisions=(3722,useless=3095), ccks=1219, wck=0.074, mem=34M512
3.34/2.27 decisions=401, wrong=103, backtracks=67, failedAssignments=61, nogoods=28, foundSolutions=8, bestBound=12
3.34/2.27
3.34/2.27 num=9, depth=16..22, filters=4527, revisions=(4120,useless=3411), ccks=1262, wck=0.077, mem=34M512
3.34/2.27 decisions=455, wrong=121, backtracks=82, failedAssignments=72, nogoods=32, foundSolutions=8, bestBound=12
3.34/2.27
3.34/2.27 num=10, depth=16..23, filters=5135, revisions=(4586,useless=3767), ccks=1334, wck=0.08, mem=34M512
3.34/2.27 decisions=513, wrong=142, backtracks=99, failedAssignments=83, nogoods=35, foundSolutions=8, bestBound=12
3.34/2.27
3.34/2.27 num=11, depth=19..28, filters=5796, revisions=(5006,useless=4088), ccks=1385, wck=0.083, mem=34M512
3.34/2.27 decisions=578, wrong=164, backtracks=117, failedAssignments=95, nogoods=37, foundSolutions=8, bestBound=12
3.34/2.27
3.34/2.27 num=12, depth=17..24, filters=6569, revisions=(5540,useless=4502), ccks=1459, wck=0.087, mem=34M512
3.34/2.27 decisions=646, wrong=188, backtracks=137, failedAssignments=108, nogoods=40, foundSolutions=8, bestBound=12
3.34/2.27
3.34/2.27 num=13, depth=17..23, filters=7454, revisions=(6177,useless=4993), ccks=1557, wck=0.09, mem=34M512
3.34/2.27 decisions=719, wrong=216, backtracks=164, failedAssignments=122, nogoods=43, foundSolutions=8, bestBound=12
3.34/2.27
3.34/2.28 num=14, depth=19..26, filters=8267, revisions=(6806,useless=5475), ccks=1660, wck=0.094, mem=34M512
3.34/2.28 decisions=797, wrong=245, backtracks=188, failedAssignments=138, nogoods=46, foundSolutions=8, bestBound=12
3.34/2.28
3.34/2.28 num=15, depth=18..26, filters=9163, revisions=(7428,useless=5963), ccks=1743, wck=0.098, mem=34M512
3.34/2.28 decisions=887, wrong=279, backtracks=220, failedAssignments=155, nogoods=48, foundSolutions=8, bestBound=12
3.34/2.28
3.34/2.28 num=16, depth=17..28, filters=10077, revisions=(8005,useless=6391), ccks=1811, wck=0.102, mem=34M512
3.34/2.28 decisions=980, wrong=316, backtracks=252, failedAssignments=174, nogoods=52, foundSolutions=8, bestBound=12
3.34/2.28
3.98/2.42 num=17, depth=16..26, filters=10943, revisions=(8678,useless=6926), ccks=1921, wck=0.106, mem=34M512
3.98/2.42 decisions=1072, wrong=353, backtracks=285, failedAssignments=195, nogoods=54, foundSolutions=8, bestBound=12
3.98/2.42
3.98/2.42 num=18, depth=15..26, filters=11983, revisions=(9287,useless=7388), ccks=1981, wck=0.111, mem=34M512
3.98/2.42 decisions=1174, wrong=394, backtracks=317, failedAssignments=218, nogoods=57, foundSolutions=8, bestBound=12
3.98/2.42
3.98/2.42 num=19, depth=18..27, filters=12958, revisions=(9969,useless=7912), ccks=2068, wck=0.116, mem=34M512
3.98/2.42 decisions=1272, wrong=433, backtracks=349, failedAssignments=243, nogoods=62, foundSolutions=8, bestBound=12
3.98/2.42
3.98/2.42 o 13
3.98/2.42 num=20, depth=16..83, filters=14140, revisions=(10877,useless=8624), ccks=2318, wck=0.121, mem=34M512
3.98/2.42 decisions=1378, wrong=477, backtracks=390, failedAssignments=270, nogoods=67, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 num=21, depth=13..23, filters=15683, revisions=(12169,useless=9634), ccks=2529, wck=0.128, mem=34M512
3.98/2.42 decisions=1506, wrong=533, backtracks=440, failedAssignments=301, nogoods=69, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 num=22, depth=16..24, filters=16386, revisions=(12621,useless=9967), ccks=2590, wck=0.13, mem=34M512
3.98/2.42 decisions=1580, wrong=560, backtracks=459, failedAssignments=312, nogoods=73, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 num=23, depth=17..23, filters=17026, revisions=(13063,useless=10296), ccks=2670, wck=0.133, mem=34M512
3.98/2.42 decisions=1639, wrong=581, backtracks=476, failedAssignments=324, nogoods=75, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 num=24, depth=17..27, filters=17565, revisions=(13416,useless=10554), ccks=2728, wck=0.135, mem=34M512
3.98/2.42 decisions=1701, wrong=602, backtracks=490, failedAssignments=337, nogoods=78, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 num=25, depth=19..27, filters=18156, revisions=(13823,useless=10865), ccks=2780, wck=0.138, mem=34M512
3.98/2.42 decisions=1764, wrong=623, backtracks=503, failedAssignments=351, nogoods=85, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 num=26, depth=18..25, filters=19041, revisions=(14448,useless=11353), ccks=2851, wck=0.142, mem=34M512
3.98/2.42 decisions=1843, wrong=653, backtracks=531, failedAssignments=367, nogoods=89, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 num=27, depth=17..25, filters=19790, revisions=(14938,useless=11721), ccks=2911, wck=0.145, mem=34M512
3.98/2.42 decisions=1924, wrong=685, backtracks=560, failedAssignments=384, nogoods=93, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 num=28, depth=16..25, filters=20600, revisions=(15455,useless=12114), ccks=2980, wck=0.148, mem=34M512
3.98/2.42 decisions=2009, wrong=718, backtracks=586, failedAssignments=403, nogoods=96, foundSolutions=9, bestBound=13
3.98/2.42
3.98/2.42 o 14
3.98/2.42 num=29, depth=19..83, filters=21414, revisions=(16028,useless=12566), ccks=3168, wck=0.151, mem=34M512
3.98/2.42 decisions=2084, wrong=744, backtracks=607, failedAssignments=420, nogoods=101, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=30, depth=11..20, filters=22256, revisions=(16779,useless=13152), ccks=3289, wck=0.155, mem=34M512
3.98/2.42 decisions=2171, wrong=780, backtracks=641, failedAssignments=443, nogoods=103, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=31, depth=15..21, filters=22722, revisions=(17090,useless=13387), ccks=3321, wck=0.157, mem=34M512
3.98/2.42 decisions=2215, wrong=794, backtracks=649, failedAssignments=454, nogoods=109, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=32, depth=16..25, filters=23433, revisions=(17597,useless=13774), ccks=3393, wck=0.16, mem=34M512
3.98/2.42 decisions=2285, wrong=820, backtracks=673, failedAssignments=466, nogoods=111, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=33, depth=17..24, filters=24023, revisions=(17972,useless=14056), ccks=3436, wck=0.162, mem=37M155
3.98/2.42 decisions=2346, wrong=841, backtracks=692, failedAssignments=479, nogoods=113, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=34, depth=16..23, filters=24883, revisions=(18529,useless=14470), ccks=3522, wck=0.165, mem=37M155
3.98/2.42 decisions=2429, wrong=873, backtracks=721, failedAssignments=493, nogoods=116, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=35, depth=15..24, filters=25707, revisions=(19110,useless=14917), ccks=3613, wck=0.168, mem=37M155
3.98/2.42 decisions=2506, wrong=901, backtracks=746, failedAssignments=509, nogoods=119, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=36, depth=17..23, filters=26394, revisions=(19603,useless=15292), ccks=3662, wck=0.171, mem=37M155
3.98/2.42 decisions=2582, wrong=930, backtracks=772, failedAssignments=526, nogoods=123, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=37, depth=15..22, filters=27244, revisions=(20219,useless=15765), ccks=3742, wck=0.174, mem=37M155
3.98/2.42 decisions=2663, wrong=962, backtracks=800, failedAssignments=545, nogoods=125, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=38, depth=15..24, filters=28360, revisions=(21000,useless=16347), ccks=3883, wck=0.178, mem=37M155
3.98/2.42 decisions=2766, wrong=1005, backtracks=841, failedAssignments=566, nogoods=130, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=39, depth=15..23, filters=29567, revisions=(21707,useless=16861), ccks=3956, wck=0.182, mem=37M155
3.98/2.42 decisions=2877, wrong=1053, backtracks=885, failedAssignments=589, nogoods=132, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=40, depth=17..24, filters=30879, revisions=(22498,useless=17447), ccks=4036, wck=0.186, mem=37M155
3.98/2.42 decisions=2980, wrong=1096, backtracks=925, failedAssignments=614, nogoods=135, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=41, depth=15..24, filters=32099, revisions=(23306,useless=18057), ccks=4142, wck=0.189, mem=37M155
3.98/2.42 decisions=3089, wrong=1141, backtracks=964, failedAssignments=642, nogoods=137, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=42, depth=17..24, filters=33313, revisions=(24132,useless=18691), ccks=4241, wck=0.193, mem=37M155
3.98/2.42 decisions=3199, wrong=1187, backtracks=1003, failedAssignments=673, nogoods=142, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=43, depth=14..23, filters=34760, revisions=(25191,useless=19497), ccks=4421, wck=0.197, mem=37M155
3.98/2.42 decisions=3328, wrong=1243, backtracks=1051, failedAssignments=707, nogoods=148, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=44, depth=13..24, filters=36004, revisions=(26092,useless=20167), ccks=4538, wck=0.201, mem=37M155
3.98/2.42 decisions=3456, wrong=1300, backtracks=1102, failedAssignments=744, nogoods=150, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 num=45, depth=12..24, filters=37825, revisions=(27240,useless=21009), ccks=4681, wck=0.207, mem=37M155
3.98/2.42 decisions=3617, wrong=1372, backtracks=1163, failedAssignments=785, nogoods=155, foundSolutions=10, bestBound=14
3.98/2.42
3.98/2.42 o 15
3.98/2.42 num=46, depth=15..83, filters=39237, revisions=(28369,useless=21889), ccks=4961, wck=0.212, mem=37M155
3.98/2.42 decisions=3759, wrong=1434, backtracks=1222, failedAssignments=823, nogoods=161, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=47, depth=13..23, filters=41305, revisions=(29664,useless=22857), ccks=5112, wck=0.219, mem=37M155
3.98/2.42 decisions=3965, wrong=1530, backtracks=1311, failedAssignments=873, nogoods=164, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=48, depth=17..23, filters=41795, revisions=(30011,useless=23120), ccks=5154, wck=0.22, mem=37M155
3.98/2.42 decisions=4018, wrong=1547, backtracks=1324, failedAssignments=884, nogoods=168, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=49, depth=15..21, filters=42695, revisions=(30619,useless=23576), ccks=5224, wck=0.223, mem=37M155
3.98/2.42 decisions=4089, wrong=1575, backtracks=1348, failedAssignments=896, nogoods=171, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=50, depth=17..22, filters=43349, revisions=(31027,useless=23886), ccks=5276, wck=0.225, mem=37M155
3.98/2.42 decisions=4146, wrong=1594, backtracks=1363, failedAssignments=909, nogoods=175, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=51, depth=16..26, filters=44102, revisions=(31494,useless=24232), ccks=5332, wck=0.227, mem=37M155
3.98/2.42 decisions=4212, wrong=1619, backtracks=1384, failedAssignments=923, nogoods=177, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=52, depth=15..21, filters=44873, revisions=(32014,useless=24629), ccks=5398, wck=0.23, mem=37M155
3.98/2.42 decisions=4283, wrong=1645, backtracks=1403, failedAssignments=939, nogoods=180, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=53, depth=15..23, filters=45633, revisions=(32502,useless=24988), ccks=5449, wck=0.232, mem=37M155
3.98/2.42 decisions=4368, wrong=1679, backtracks=1432, failedAssignments=956, nogoods=184, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=54, depth=16..25, filters=46472, revisions=(33014,useless=25363), ccks=5521, wck=0.235, mem=37M155
3.98/2.42 decisions=4451, wrong=1711, backtracks=1459, failedAssignments=975, nogoods=186, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=55, depth=18..26, filters=47438, revisions=(33547,useless=25751), ccks=5561, wck=0.238, mem=37M155
3.98/2.42 decisions=4543, wrong=1748, backtracks=1493, failedAssignments=996, nogoods=189, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.42 num=56, depth=14..23, filters=48250, revisions=(34165,useless=26210), ccks=5651, wck=0.241, mem=37M155
3.98/2.42 decisions=4631, wrong=1783, backtracks=1526, failedAssignments=1019, nogoods=191, foundSolutions=11, bestBound=15
3.98/2.42
3.98/2.43 num=57, depth=14..23, filters=49647, revisions=(35087,useless=26917), ccks=5776, wck=0.245, mem=37M155
3.98/2.43 decisions=4750, wrong=1833, backtracks=1568, failedAssignments=1044, nogoods=194, foundSolutions=11, bestBound=15
3.98/2.43
3.98/2.43 num=58, depth=16..26, filters=50720, revisions=(35802,useless=27443), ccks=5868, wck=0.248, mem=37M155
3.98/2.43 decisions=4867, wrong=1881, backtracks=1609, failedAssignments=1072, nogoods=199, foundSolutions=11, bestBound=15
3.98/2.43
3.98/2.43 num=59, depth=16..24, filters=51905, revisions=(36512,useless=27970), ccks=5935, wck=0.252, mem=37M155
3.98/2.43 decisions=4992, wrong=1934, backtracks=1651, failedAssignments=1103, nogoods=202, foundSolutions=11, bestBound=15
3.98/2.43
3.98/2.44 num=60, depth=17..27, filters=53411, revisions=(37456,useless=28692), ccks=6050, wck=0.256, mem=37M155
3.98/2.44 decisions=5132, wrong=1994, backtracks=1708, failedAssignments=1137, nogoods=205, foundSolutions=11, bestBound=15
3.98/2.44
3.98/2.44 num=61, depth=15..27, filters=54936, revisions=(38293,useless=29300), ccks=6141, wck=0.26, mem=37M155
3.98/2.44 decisions=5281, wrong=2058, backtracks=1759, failedAssignments=1174, nogoods=210, foundSolutions=11, bestBound=15
3.98/2.44
3.98/2.44 o 16
3.98/2.45 num=62, depth=16..83, filters=56229, revisions=(39217,useless=30011), ccks=6394, wck=0.263, mem=37M155
3.98/2.45 decisions=5409, wrong=2112, backtracks=1804, failedAssignments=1204, nogoods=217, foundSolutions=12, bestBound=16
3.98/2.45
3.98/2.45 num=63, depth=12..23, filters=58080, revisions=(40454,useless=30929), ccks=6544, wck=0.268, mem=37M155
3.98/2.45 decisions=5587, wrong=2194, backtracks=1881, failedAssignments=1249, nogoods=219, foundSolutions=12, bestBound=16
3.98/2.45
3.98/2.46 num=64, depth=14..20, filters=58637, revisions=(40777,useless=31164), ccks=6566, wck=0.27, mem=37M155
3.98/2.46 decisions=5642, wrong=2214, backtracks=1895, failedAssignments=1260, nogoods=221, foundSolutions=12, bestBound=16
3.98/2.46
3.98/2.46 num=65, depth=14..20, filters=59099, revisions=(41099,useless=31407), ccks=6604, wck=0.272, mem=39M797
3.98/2.46 decisions=5687, wrong=2229, backtracks=1908, failedAssignments=1272, nogoods=225, foundSolutions=12, bestBound=16
3.98/2.46
3.98/2.46 num=66, depth=15..24, filters=59639, revisions=(41468,useless=31691), ccks=6656, wck=0.274, mem=39M797
3.98/2.46 decisions=5747, wrong=2250, backtracks=1926, failedAssignments=1285, nogoods=229, foundSolutions=12, bestBound=16
3.98/2.46
3.98/2.46 num=67, depth=17..23, filters=60199, revisions=(41837,useless=31966), ccks=6698, wck=0.275, mem=39M797
3.98/2.46 decisions=5806, wrong=2270, backtracks=1939, failedAssignments=1299, nogoods=234, foundSolutions=12, bestBound=16
3.98/2.46
3.98/2.46 num=68, depth=17..23, filters=60910, revisions=(42277,useless=32292), ccks=6723, wck=0.277, mem=39M797
3.98/2.46 decisions=5881, wrong=2299, backtracks=1965, failedAssignments=1315, nogoods=237, foundSolutions=12, bestBound=16
3.98/2.46
3.98/2.46 num=69, depth=17..25, filters=61674, revisions=(42709,useless=32614), ccks=6768, wck=0.28, mem=39M797
3.98/2.46 decisions=5954, wrong=2325, backtracks=1987, failedAssignments=1332, nogoods=239, foundSolutions=12, bestBound=16
3.98/2.46
3.98/2.46 num=70, depth=16..23, filters=62501, revisions=(43241,useless=33013), ccks=6830, wck=0.282, mem=39M797
3.98/2.46 decisions=6039, wrong=2359, backtracks=2013, failedAssignments=1351, nogoods=242, foundSolutions=12, bestBound=16
3.98/2.46
3.98/2.47 num=71, depth=16..23, filters=63234, revisions=(43768,useless=33399), ccks=6906, wck=0.284, mem=39M797
3.98/2.47 decisions=6125, wrong=2392, backtracks=2042, failedAssignments=1372, nogoods=246, foundSolutions=12, bestBound=16
3.98/2.47
3.98/2.47 num=72, depth=15..25, filters=64173, revisions=(44346,useless=33821), ccks=6960, wck=0.287, mem=39M797
3.98/2.47 decisions=6220, wrong=2431, backtracks=2076, failedAssignments=1395, nogoods=250, foundSolutions=12, bestBound=16
3.98/2.47
3.98/2.48 num=73, depth=15..22, filters=65354, revisions=(44980,useless=34272), ccks=7004, wck=0.29, mem=39M797
3.98/2.48 decisions=6322, wrong=2474, backtracks=2113, failedAssignments=1420, nogoods=254, foundSolutions=12, bestBound=16
3.98/2.48
3.98/2.48 num=74, depth=14..23, filters=66786, revisions=(45765,useless=34820), ccks=7073, wck=0.294, mem=39M797
3.98/2.48 decisions=6441, wrong=2525, backtracks=2158, failedAssignments=1448, nogoods=257, foundSolutions=12, bestBound=16
3.98/2.48
3.98/2.48 num=75, depth=14..23, filters=67884, revisions=(46584,useless=35426), ccks=7185, wck=0.297, mem=39M797
3.98/2.48 decisions=6563, wrong=2579, backtracks=2209, failedAssignments=1479, nogoods=260, foundSolutions=12, bestBound=16
3.98/2.48
3.98/2.48 num=76, depth=15..25, filters=69038, revisions=(47334,useless=35954), ccks=7305, wck=0.301, mem=39M797
3.98/2.48 decisions=6699, wrong=2638, backtracks=2260, failedAssignments=1513, nogoods=263, foundSolutions=12, bestBound=16
3.98/2.48
3.98/2.49 num=77, depth=17..27, filters=70471, revisions=(48247,useless=36633), ccks=7400, wck=0.304, mem=39M797
3.98/2.49 decisions=6837, wrong=2698, backtracks=2309, failedAssignments=1550, nogoods=266, foundSolutions=12, bestBound=16
3.98/2.49
3.98/2.49 num=78, depth=16..26, filters=72243, revisions=(49357,useless=37449), ccks=7560, wck=0.308, mem=39M797
3.98/2.49 decisions=7015, wrong=2777, backtracks=2376, failedAssignments=1591, nogoods=271, foundSolutions=12, bestBound=16
3.98/2.49
3.98/2.49 num=79, depth=14..25, filters=74111, revisions=(50578,useless=38329), ccks=7713, wck=0.312, mem=39M797
3.98/2.49 decisions=7201, wrong=2861, backtracks=2456, failedAssignments=1636, nogoods=274, foundSolutions=12, bestBound=16
3.98/2.49
3.98/2.50 num=80, depth=15..25, filters=76516, revisions=(52017,useless=39379), ccks=7900, wck=0.317, mem=39M797
3.98/2.50 decisions=7399, wrong=2952, backtracks=2538, failedAssignments=1686, nogoods=276, foundSolutions=12, bestBound=16
3.98/2.50
3.98/2.50 num=81, depth=14..24, filters=78708, revisions=(53449,useless=40429), ccks=8096, wck=0.321, mem=39M797
3.98/2.50 decisions=7600, wrong=3044, backtracks=2621, failedAssignments=1741, nogoods=279, foundSolutions=12, bestBound=16
3.98/2.50
4.32/2.51 num=82, depth=13..24, filters=81149, revisions=(54845,useless=41428), ccks=8269, wck=0.326, mem=39M797
4.32/2.51 decisions=7831, wrong=3151, backtracks=2713, failedAssignments=1802, nogoods=283, foundSolutions=12, bestBound=16
4.32/2.51
4.32/2.51 num=83, depth=15..24, filters=84573, revisions=(57007,useless=43011), ccks=8519, wck=0.331, mem=39M797
4.32/2.51 decisions=8120, wrong=3286, backtracks=2833, failedAssignments=1869, nogoods=287, foundSolutions=12, bestBound=16
4.32/2.51
4.32/2.52 num=84, depth=13..25, filters=87571, revisions=(59091,useless=44576), ccks=8825, wck=0.337, mem=39M797
4.32/2.52 decisions=8416, wrong=3426, backtracks=2953, failedAssignments=1943, nogoods=291, foundSolutions=12, bestBound=16
4.32/2.52
4.32/2.52 num=85, depth=14..26, filters=90810, revisions=(60896,useless=45841), ccks=9013, wck=0.343, mem=39M797
4.32/2.52 decisions=8713, wrong=3566, backtracks=3068, failedAssignments=2024, nogoods=294, foundSolutions=12, bestBound=16
4.32/2.52
4.32/2.53 num=86, depth=13..24, filters=94860, revisions=(63138,useless=47428), ccks=9256, wck=0.35, mem=39M797
4.32/2.53 decisions=9073, wrong=3739, backtracks=3222, failedAssignments=2113, nogoods=297, foundSolutions=12, bestBound=16
4.32/2.53
4.32/2.54 num=87, depth=11..25, filters=99291, revisions=(66412,useless=49950), ccks=9794, wck=0.357, mem=39M797
4.32/2.54 decisions=9486, wrong=3937, backtracks=3403, failedAssignments=2211, nogoods=300, foundSolutions=12, bestBound=16
4.32/2.54
4.32/2.54 o 17
4.32/2.54 num=88, depth=14..83, filters=102552, revisions=(68706,useless=51728), ccks=10239, wck=0.363, mem=39M797
4.32/2.54 decisions=9791, wrong=4079, backtracks=3531, failedAssignments=2293, nogoods=308, foundSolutions=13, bestBound=17
4.32/2.54
4.32/2.55 num=89, depth=10..24, filters=106884, revisions=(71629,useless=53977), ccks=10578, wck=0.369, mem=39M797
4.32/2.55 decisions=10211, wrong=4282, backtracks=3711, failedAssignments=2412, nogoods=312, foundSolutions=13, bestBound=17
4.32/2.55
4.32/2.55 num=90, depth=14..21, filters=107371, revisions=(71951,useless=54216), ccks=10624, wck=0.37, mem=39M797
4.32/2.55 decisions=10262, wrong=4300, backtracks=3726, failedAssignments=2423, nogoods=314, foundSolutions=13, bestBound=17
4.32/2.55
4.32/2.55 num=91, depth=15..21, filters=108004, revisions=(72321,useless=54478), ccks=10651, wck=0.371, mem=39M797
4.32/2.55 decisions=10321, wrong=4321, backtracks=3741, failedAssignments=2435, nogoods=317, foundSolutions=13, bestBound=17
4.32/2.55
4.32/2.55 num=92, depth=16..26, filters=108628, revisions=(72749,useless=54804), ccks=10702, wck=0.373, mem=39M797
4.32/2.55 decisions=10380, wrong=4341, backtracks=3754, failedAssignments=2448, nogoods=324, foundSolutions=13, bestBound=17
4.32/2.55
4.32/2.56 num=93, depth=14..22, filters=109426, revisions=(73200,useless=55131), ccks=10742, wck=0.374, mem=39M797
4.32/2.56 decisions=10455, wrong=4370, backtracks=3777, failedAssignments=2462, nogoods=326, foundSolutions=13, bestBound=17
4.32/2.56
4.32/2.56 num=94, depth=16..29, filters=110069, revisions=(73637,useless=55458), ccks=10807, wck=0.375, mem=39M797
4.32/2.56 decisions=10525, wrong=4396, backtracks=3799, failedAssignments=2478, nogoods=330, foundSolutions=13, bestBound=17
4.32/2.56
4.32/2.56 num=95, depth=13..23, filters=110939, revisions=(74108,useless=55788), ccks=10846, wck=0.376, mem=39M797
4.32/2.56 decisions=10614, wrong=4434, backtracks=3831, failedAssignments=2495, nogoods=333, foundSolutions=13, bestBound=17
4.32/2.56
4.32/2.56 num=96, depth=14..21, filters=111890, revisions=(74750,useless=56249), ccks=10905, wck=0.378, mem=39M797
4.32/2.56 decisions=10708, wrong=4472, backtracks=3866, failedAssignments=2514, nogoods=335, foundSolutions=13, bestBound=17
4.32/2.56
4.32/2.56 num=97, depth=12..21, filters=112939, revisions=(75401,useless=56716), ccks=10989, wck=0.38, mem=39M797
4.32/2.56 decisions=10809, wrong=4515, backtracks=3900, failedAssignments=2535, nogoods=339, foundSolutions=13, bestBound=17
4.32/2.56
4.32/2.56 num=98, depth=14..23, filters=114110, revisions=(76106,useless=57222), ccks=11081, wck=0.382, mem=39M797
4.32/2.56 decisions=10916, wrong=4559, backtracks=3935, failedAssignments=2558, nogoods=344, foundSolutions=13, bestBound=17
4.32/2.56
4.32/2.57 num=99, depth=14..26, filters=115408, revisions=(76877,useless=57787), ccks=11152, wck=0.384, mem=39M797
4.32/2.57 decisions=11033, wrong=4608, backtracks=3973, failedAssignments=2583, nogoods=349, foundSolutions=13, bestBound=17
4.32/2.57
4.32/2.57 num=100, depth=12..22, filters=116631, revisions=(77502,useless=58225), ccks=11194, wck=0.385, mem=39M797
4.32/2.57 decisions=11147, wrong=4659, backtracks=4015, failedAssignments=2611, nogoods=350, foundSolutions=13, bestBound=17
4.32/2.57
4.32/2.57 num=101, depth=11..23, filters=117946, revisions=(78309,useless=58786), ccks=11279, wck=0.388, mem=39M797
4.32/2.57 decisions=11276, wrong=4717, backtracks=4062, failedAssignments=2642, nogoods=354, foundSolutions=13, bestBound=17
4.32/2.57
4.32/2.57 num=102, depth=13..24, filters=119350, revisions=(79169,useless=59395), ccks=11357, wck=0.39, mem=39M797
4.32/2.57 decisions=11417, wrong=4778, backtracks=4112, failedAssignments=2676, nogoods=360, foundSolutions=13, bestBound=17
4.32/2.57
4.32/2.58 num=103, depth=12..23, filters=121224, revisions=(80157,useless=60088), ccks=11436, wck=0.393, mem=39M797
4.32/2.58 decisions=11574, wrong=4849, backtracks=4169, failedAssignments=2713, nogoods=364, foundSolutions=13, bestBound=17
4.32/2.58
4.32/2.58 num=104, depth=12..24, filters=123795, revisions=(81950,useless=61428), ccks=11694, wck=0.396, mem=39M797
4.32/2.58 decisions=11770, wrong=4941, backtracks=4255, failedAssignments=2754, nogoods=365, foundSolutions=13, bestBound=17
4.32/2.58
4.32/2.58 num=105, depth=14..26, filters=125771, revisions=(83185,useless=62351), ccks=11844, wck=0.399, mem=39M797
4.32/2.58 decisions=11944, wrong=5021, backtracks=4328, failedAssignments=2799, nogoods=366, foundSolutions=13, bestBound=17
4.32/2.58
4.32/2.58 num=106, depth=13..24, filters=127556, revisions=(84352,useless=63210), ccks=12008, wck=0.402, mem=39M797
4.32/2.58 decisions=12119, wrong=5101, backtracks=4389, failedAssignments=2849, nogoods=371, foundSolutions=13, bestBound=17
4.32/2.58
4.32/2.59 num=107, depth=15..25, filters=130354, revisions=(85770,useless=64199), ccks=12105, wck=0.406, mem=39M797
4.32/2.59 decisions=12355, wrong=5210, backtracks=4482, failedAssignments=2904, nogoods=374, foundSolutions=13, bestBound=17
4.32/2.59
4.32/2.59 num=108, depth=13..23, filters=132749, revisions=(87351,useless=65364), ccks=12327, wck=0.41, mem=39M797
4.32/2.59 decisions=12585, wrong=5316, backtracks=4580, failedAssignments=2965, nogoods=377, foundSolutions=13, bestBound=17
4.32/2.59
4.32/2.60 num=109, depth=14..26, filters=135367, revisions=(89165,useless=66703), ccks=12566, wck=0.413, mem=39M797
4.32/2.60 decisions=12845, wrong=5438, backtracks=4692, failedAssignments=3032, nogoods=382, foundSolutions=13, bestBound=17
4.32/2.60
4.60/2.60 num=110, depth=13..24, filters=138486, revisions=(90919,useless=67974), ccks=12741, wck=0.418, mem=39M797
4.60/2.60 decisions=13125, wrong=5569, backtracks=4797, failedAssignments=3106, nogoods=385, foundSolutions=13, bestBound=17
4.60/2.60
4.60/2.60 num=111, depth=12..26, filters=142256, revisions=(93025,useless=69485), ccks=12947, wck=0.423, mem=39M797
4.60/2.60 decisions=13451, wrong=5724, backtracks=4926, failedAssignments=3187, nogoods=390, foundSolutions=13, bestBound=17
4.60/2.60
4.60/2.61 num=112, depth=12..24, filters=145825, revisions=(95707,useless=71513), ccks=13350, wck=0.428, mem=39M797
4.60/2.61 decisions=13787, wrong=5884, backtracks=5070, failedAssignments=3276, nogoods=393, foundSolutions=13, bestBound=17
4.60/2.61
4.60/2.62 num=113, depth=12..24, filters=150831, revisions=(98836,useless=73816), ccks=13678, wck=0.434, mem=39M797
4.60/2.62 decisions=14195, wrong=6079, backtracks=5243, failedAssignments=3374, nogoods=395, foundSolutions=13, bestBound=17
4.60/2.62
4.60/2.62 o 19
4.60/2.62 num=114, depth=14..83, filters=152567, revisions=(100167,useless=74857), ccks=13943, wck=0.438, mem=39M797
4.60/2.62 decisions=14357, wrong=6151, backtracks=5301, failedAssignments=3415, nogoods=403, foundSolutions=14, bestBound=19
4.60/2.62
4.60/2.63 num=115, depth=10..22, filters=157445, revisions=(103257,useless=77186), ccks=14205, wck=0.444, mem=39M797
4.60/2.63 decisions=14760, wrong=6346, backtracks=5475, failedAssignments=3534, nogoods=407, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.63 num=116, depth=14..19, filters=158099, revisions=(103634,useless=77457), ccks=14250, wck=0.445, mem=39M797
4.60/2.63 decisions=14817, wrong=6367, backtracks=5492, failedAssignments=3545, nogoods=409, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.63 num=117, depth=14..20, filters=158491, revisions=(103887,useless=77639), ccks=14272, wck=0.446, mem=39M797
4.60/2.63 decisions=14863, wrong=6382, backtracks=5503, failedAssignments=3557, nogoods=413, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.63 num=118, depth=12..21, filters=159199, revisions=(104317,useless=77950), ccks=14318, wck=0.447, mem=39M797
4.60/2.63 decisions=14921, wrong=6404, backtracks=5521, failedAssignments=3570, nogoods=415, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.63 num=119, depth=15..22, filters=159843, revisions=(104751,useless=78271), ccks=14360, wck=0.448, mem=39M797
4.60/2.63 decisions=14984, wrong=6427, backtracks=5539, failedAssignments=3584, nogoods=419, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.63 num=120, depth=13..22, filters=160506, revisions=(105180,useless=78590), ccks=14404, wck=0.449, mem=39M797
4.60/2.63 decisions=15049, wrong=6451, backtracks=5557, failedAssignments=3600, nogoods=421, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.63 num=121, depth=11..17, filters=161394, revisions=(105717,useless=78977), ccks=14458, wck=0.45, mem=39M797
4.60/2.63 decisions=15125, wrong=6482, backtracks=5580, failedAssignments=3617, nogoods=427, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.63 num=122, depth=14..21, filters=162139, revisions=(106166,useless=79280), ccks=14528, wck=0.451, mem=39M797
4.60/2.63 decisions=15211, wrong=6517, backtracks=5606, failedAssignments=3636, nogoods=430, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.63 num=123, depth=15..23, filters=162906, revisions=(106647,useless=79625), ccks=14595, wck=0.452, mem=39M797
4.60/2.63 decisions=15293, wrong=6550, backtracks=5634, failedAssignments=3657, nogoods=433, foundSolutions=14, bestBound=19
4.60/2.63
4.60/2.64 num=124, depth=12..23, filters=163766, revisions=(107199,useless=80020), ccks=14664, wck=0.454, mem=39M797
4.60/2.64 decisions=15384, wrong=6589, backtracks=5668, failedAssignments=3680, nogoods=440, foundSolutions=14, bestBound=19
4.60/2.64
4.60/2.64 num=125, depth=10..21, filters=164925, revisions=(107841,useless=80496), ccks=14716, wck=0.455, mem=42M440
4.60/2.64 decisions=15491, wrong=6635, backtracks=5706, failedAssignments=3705, nogoods=444, foundSolutions=14, bestBound=19
4.60/2.64
4.60/2.64 num=126, depth=11..20, filters=166338, revisions=(108762,useless=81185), ccks=14821, wck=0.457, mem=42M440
4.60/2.64 decisions=15606, wrong=6685, backtracks=5750, failedAssignments=3733, nogoods=446, foundSolutions=14, bestBound=19
4.60/2.64
4.60/2.64 num=127, depth=13..22, filters=167695, revisions=(109603,useless=81792), ccks=14908, wck=0.46, mem=42M440
4.60/2.64 decisions=15731, wrong=6741, backtracks=5801, failedAssignments=3764, nogoods=448, foundSolutions=14, bestBound=19
4.60/2.64
4.60/2.64 num=128, depth=13..21, filters=168929, revisions=(110410,useless=82380), ccks=15005, wck=0.461, mem=42M440
4.60/2.64 decisions=15857, wrong=6797, backtracks=5853, failedAssignments=3798, nogoods=451, foundSolutions=14, bestBound=19
4.60/2.64
4.60/2.65 num=129, depth=12..20, filters=170475, revisions=(111349,useless=83051), ccks=15114, wck=0.464, mem=42M440
4.60/2.65 decisions=16011, wrong=6865, backtracks=5911, failedAssignments=3835, nogoods=453, foundSolutions=14, bestBound=19
4.60/2.65
4.60/2.65 num=130, depth=12..21, filters=172622, revisions=(112684,useless=84003), ccks=15291, wck=0.466, mem=42M440
4.60/2.65 decisions=16193, wrong=6948, backtracks=5982, failedAssignments=3876, nogoods=456, foundSolutions=14, bestBound=19
4.60/2.65
4.60/2.65 num=131, depth=12..23, filters=174339, revisions=(113704,useless=84740), ccks=15398, wck=0.469, mem=42M440
4.60/2.65 decisions=16351, wrong=7018, backtracks=6040, failedAssignments=3921, nogoods=461, foundSolutions=14, bestBound=19
4.60/2.65
4.60/2.65 num=132, depth=14..22, filters=176531, revisions=(115208,useless=85885), ccks=15608, wck=0.471, mem=42M440
4.60/2.65 decisions=16551, wrong=7109, backtracks=6126, failedAssignments=3971, nogoods=465, foundSolutions=14, bestBound=19
4.60/2.65
4.60/2.66 num=133, depth=14..24, filters=178763, revisions=(116532,useless=86877), ccks=15753, wck=0.474, mem=42M440
4.60/2.66 decisions=16752, wrong=7200, backtracks=6201, failedAssignments=4026, nogoods=473, foundSolutions=14, bestBound=19
4.60/2.66
4.60/2.66 num=134, depth=13..23, filters=181256, revisions=(117926,useless=87867), ccks=15895, wck=0.477, mem=42M440
4.60/2.66 decisions=16989, wrong=7311, backtracks=6296, failedAssignments=4087, nogoods=476, foundSolutions=14, bestBound=19
4.60/2.66
4.60/2.66 num=135, depth=12..23, filters=184228, revisions=(119896,useless=89309), ccks=16172, wck=0.481, mem=42M440
4.60/2.66 decisions=17275, wrong=7448, backtracks=6418, failedAssignments=4154, nogoods=477, foundSolutions=14, bestBound=19
4.60/2.66
4.60/2.67 num=136, depth=13..25, filters=187457, revisions=(121695,useless=90586), ccks=16370, wck=0.485, mem=42M440
4.60/2.67 decisions=17554, wrong=7581, backtracks=6533, failedAssignments=4228, nogoods=480, foundSolutions=14, bestBound=19
4.60/2.67
4.60/2.67 num=137, depth=13..23, filters=190989, revisions=(123807,useless=92119), ccks=16581, wck=0.49, mem=42M440
4.60/2.67 decisions=17874, wrong=7734, backtracks=6669, failedAssignments=4309, nogoods=482, foundSolutions=14, bestBound=19
4.60/2.67
4.60/2.68 num=138, depth=11..22, filters=194332, revisions=(125788,useless=93539), ccks=16798, wck=0.494, mem=42M440
4.60/2.68 decisions=18196, wrong=7888, backtracks=6806, failedAssignments=4398, nogoods=485, foundSolutions=14, bestBound=19
4.60/2.68
4.60/2.68 num=139, depth=10..26, filters=198715, revisions=(128635,useless=95624), ccks=17205, wck=0.499, mem=42M440
4.60/2.68 decisions=18582, wrong=8075, backtracks=6975, failedAssignments=4496, nogoods=489, foundSolutions=14, bestBound=19
4.60/2.68
4.60/2.69 num=140, depth=11..26, filters=203045, revisions=(131048,useless=97366), ccks=17445, wck=0.504, mem=42M440
4.60/2.69 decisions=19000, wrong=8276, backtracks=7134, failedAssignments=4604, nogoods=493, foundSolutions=14, bestBound=19
4.60/2.69
4.60/2.69 num=141, depth=10..21, filters=207656, revisions=(134674,useless=100152), ccks=18079, wck=0.51, mem=42M440
4.60/2.69 decisions=19434, wrong=8488, backtracks=7327, failedAssignments=4723, nogoods=494, foundSolutions=14, bestBound=19
4.60/2.69
4.92/2.70 num=142, depth=10..23, filters=213192, revisions=(138004,useless=102601), ccks=18491, wck=0.517, mem=42M440
4.92/2.70 decisions=19935, wrong=8732, backtracks=7543, failedAssignments=4854, nogoods=500, foundSolutions=14, bestBound=19
4.92/2.70
4.92/2.71 num=143, depth=10..26, filters=219196, revisions=(141853,useless=105409), ccks=19063, wck=0.524, mem=42M440
4.92/2.71 decisions=20493, wrong=9006, backtracks=7794, failedAssignments=4998, nogoods=503, foundSolutions=14, bestBound=19
4.92/2.71
4.92/2.71 num=144, depth=11..23, filters=226130, revisions=(146416,useless=108767), ccks=19678, wck=0.532, mem=42M440
4.92/2.71 decisions=21076, wrong=9290, backtracks=8043, failedAssignments=5156, nogoods=508, foundSolutions=14, bestBound=19
4.92/2.71
4.92/2.72 num=145, depth=11..24, filters=233202, revisions=(151266,useless=112330), ccks=20278, wck=0.54, mem=42M440
4.92/2.72 decisions=21745, wrong=9618, backtracks=8336, failedAssignments=5330, nogoods=513, foundSolutions=14, bestBound=19
4.92/2.72
4.92/2.73 num=146, depth=10..24, filters=239913, revisions=(155786,useless=115550), ccks=20921, wck=0.548, mem=42M440
4.92/2.73 decisions=22437, wrong=9955, backtracks=8632, failedAssignments=5521, nogoods=518, foundSolutions=14, bestBound=19
4.92/2.73
4.92/2.74 num=147, depth=12..25, filters=247829, revisions=(161596,useless=119916), ccks=21890, wck=0.557, mem=42M440
4.92/2.74 decisions=23169, wrong=10314, backtracks=8962, failedAssignments=5732, nogoods=524, foundSolutions=14, bestBound=19
4.92/2.74
4.92/2.75 num=148, depth=9..25, filters=256820, revisions=(167320,useless=124141), ccks=22651, wck=0.567, mem=42M440
4.92/2.75 decisions=23999, wrong=10723, backtracks=9330, failedAssignments=5964, nogoods=528, foundSolutions=14, bestBound=19
4.92/2.75
4.92/2.76 num=149, depth=9..25, filters=266685, revisions=(174888,useless=129942), ccks=23797, wck=0.578, mem=42M440
4.92/2.76 decisions=24973, wrong=11204, backtracks=9757, failedAssignments=6219, nogoods=533, foundSolutions=14, bestBound=19
4.92/2.76
4.92/2.77 num=150, depth=11..24, filters=277010, revisions=(182029,useless=135136), ccks=24905, wck=0.589, mem=42M440
4.92/2.77 decisions=26003, wrong=11712, backtracks=10220, failedAssignments=6500, nogoods=537, foundSolutions=14, bestBound=19
4.92/2.77
4.92/2.78 num=151, depth=12..25, filters=288853, revisions=(190055,useless=141157), ccks=25923, wck=0.601, mem=42M440
4.92/2.78 decisions=27138, wrong=12272, backtracks=10751, failedAssignments=6809, nogoods=541, foundSolutions=14, bestBound=19
4.92/2.78
5.10/2.80 num=152, depth=12..26, filters=302902, revisions=(198852,useless=147748), ccks=27075, wck=0.616, mem=42M440
5.10/2.80 decisions=28405, wrong=12897, backtracks=11313, failedAssignments=7149, nogoods=547, foundSolutions=14, bestBound=19
5.10/2.80
5.10/2.81 num=153, depth=10..27, filters=317632, revisions=(209056,useless=155308), ccks=28548, wck=0.631, mem=42M440
5.10/2.81 decisions=29770, wrong=13573, backtracks=11948, failedAssignments=7523, nogoods=552, foundSolutions=14, bestBound=19
5.10/2.81
5.10/2.83 num=154, depth=11..27, filters=332756, revisions=(218899,useless=162449), ccks=29950, wck=0.647, mem=42M440
5.10/2.83 decisions=31217, wrong=14288, backtracks=12597, failedAssignments=7934, nogoods=556, foundSolutions=14, bestBound=19
5.10/2.83
5.10/2.85 num=155, depth=9..26, filters=350802, revisions=(230871,useless=171374), ccks=31494, wck=0.666, mem=42M440
5.10/2.85 decisions=32928, wrong=15137, backtracks=13380, failedAssignments=8386, nogoods=560, foundSolutions=14, bestBound=19
5.10/2.85
5.10/2.87 num=156, depth=8..26, filters=370323, revisions=(245435,useless=182355), ccks=33764, wck=0.687, mem=42M440
5.10/2.87 decisions=34829, wrong=16081, backtracks=14235, failedAssignments=8883, nogoods=571, foundSolutions=14, bestBound=19
5.10/2.87
5.10/2.89 num=157, depth=9..28, filters=392344, revisions=(260929,useless=193796), ccks=36185, wck=0.71, mem=42M440
5.10/2.89 decisions=36938, wrong=17130, backtracks=15198, failedAssignments=9430, nogoods=577, foundSolutions=14, bestBound=19
5.10/2.89
5.21/2.92 num=158, depth=10..26, filters=415927, revisions=(276700,useless=205569), ccks=38304, wck=0.734, mem=42M440
5.21/2.92 decisions=39175, wrong=18242, backtracks=16225, failedAssignments=10032, nogoods=582, foundSolutions=14, bestBound=19
5.21/2.92
5.21/2.95 num=159, depth=9..25, filters=444857, revisions=(296535,useless=220327), ccks=40639, wck=0.763, mem=42M440
5.21/2.95 decisions=41691, wrong=19492, backtracks=17354, failedAssignments=10694, nogoods=589, foundSolutions=14, bestBound=19
5.21/2.95
5.21/2.97 num=160, depth=7..26, filters=471906, revisions=(315652,useless=234459), ccks=43078, wck=0.792, mem=42M440
5.21/2.97 decisions=44417, wrong=20848, backtracks=18605, failedAssignments=11422, nogoods=595, foundSolutions=14, bestBound=19
5.21/2.97
5.32/3.02 num=161, depth=9..27, filters=507296, revisions=(341795,useless=254257), ccks=46975, wck=0.838, mem=42M440
5.32/3.02 decisions=47484, wrong=22376, backtracks=19986, failedAssignments=12223, nogoods=600, foundSolutions=14, bestBound=19
5.32/3.02
5.32/3.06 num=162, depth=7..25, filters=544782, revisions=(367930,useless=273903), ccks=50408, wck=0.876, mem=42M440
5.32/3.06 decisions=50949, wrong=24102, backtracks=21573, failedAssignments=13104, nogoods=603, foundSolutions=14, bestBound=19
5.32/3.06
5.32/3.10 num=163, depth=10..27, filters=582748, revisions=(397941,useless=296660), ccks=55136, wck=0.916, mem=42M440
5.32/3.10 decisions=54453, wrong=25846, backtracks=23192, failedAssignments=14074, nogoods=607, foundSolutions=14, bestBound=19
5.32/3.10
5.42/3.14 num=164, depth=8..25, filters=625600, revisions=(428140,useless=319439), ccks=59011, wck=0.959, mem=42M440
5.42/3.14 decisions=58289, wrong=27758, backtracks=24969, failedAssignments=15141, nogoods=612, foundSolutions=14, bestBound=19
5.42/3.14
5.42/3.19 num=165, depth=6..27, filters=678406, revisions=(465244,useless=346873), ccks=64120, wck=1.011, mem=42M440
5.42/3.19 decisions=62744, wrong=29978, backtracks=27024, failedAssignments=16314, nogoods=620, foundSolutions=14, bestBound=19
5.42/3.19
5.51/3.22 o 20
5.51/3.22 num=166, depth=9..83, filters=707200, revisions=(485161,useless=361470), ccks=66582, wck=1.042, mem=42M440
5.51/3.22 decisions=65465, wrong=31332, backtracks=28263, failedAssignments=17039, nogoods=631, foundSolutions=15, bestBound=20
5.51/3.22
5.51/3.28 num=167, depth=4..22, filters=762332, revisions=(529630,useless=395164), ccks=73463, wck=1.098, mem=42M440
5.51/3.28 decisions=70780, wrong=33985, backtracks=30700, failedAssignments=18459, nogoods=638, foundSolutions=15, bestBound=20
5.51/3.28
5.51/3.28 num=168, depth=11..17, filters=762719, revisions=(529912,useless=395370), ccks=73508, wck=1.099, mem=42M440
5.51/3.28 decisions=70823, wrong=34001, backtracks=30715, failedAssignments=18470, nogoods=639, foundSolutions=15, bestBound=20
5.51/3.28
5.51/3.28 num=169, depth=15..21, filters=763291, revisions=(530304,useless=395659), ccks=73558, wck=1.099, mem=42M440
5.51/3.28 decisions=70880, wrong=34022, backtracks=30734, failedAssignments=18482, nogoods=641, foundSolutions=15, bestBound=20
5.51/3.28
5.51/3.28 num=170, depth=13..19, filters=763768, revisions=(530631,useless=395903), ccks=73608, wck=1.1, mem=42M440
5.51/3.28 decisions=70931, wrong=34040, backtracks=30750, failedAssignments=18495, nogoods=645, foundSolutions=15, bestBound=20
5.51/3.28
5.51/3.28 num=171, depth=13..20, filters=764335, revisions=(531007,useless=396170), ccks=73649, wck=1.101, mem=42M440
5.51/3.28 decisions=70991, wrong=34063, backtracks=30770, failedAssignments=18509, nogoods=647, foundSolutions=15, bestBound=20
5.51/3.28
5.51/3.28 num=172, depth=13..20, filters=765007, revisions=(531439,useless=396479), ccks=73699, wck=1.102, mem=42M440
5.51/3.28 decisions=71055, wrong=34088, backtracks=30792, failedAssignments=18525, nogoods=651, foundSolutions=15, bestBound=20
5.51/3.28
5.51/3.28 num=173, depth=13..20, filters=765731, revisions=(531926,useless=396837), ccks=73751, wck=1.103, mem=42M440
5.51/3.28 decisions=71129, wrong=34117, backtracks=30815, failedAssignments=18542, nogoods=656, foundSolutions=15, bestBound=20
5.51/3.28
5.51/3.29 num=174, depth=13..20, filters=766501, revisions=(532467,useless=397230), ccks=73819, wck=1.104, mem=42M440
5.51/3.29 decisions=71211, wrong=34151, backtracks=30844, failedAssignments=18561, nogoods=662, foundSolutions=15, bestBound=20
5.51/3.29
5.51/3.29 num=175, depth=14..21, filters=767353, revisions=(532923,useless=397553), ccks=73861, wck=1.105, mem=42M440
5.51/3.29 decisions=71292, wrong=34183, backtracks=30872, failedAssignments=18582, nogoods=665, foundSolutions=15, bestBound=20
5.51/3.29
5.51/3.29 num=176, depth=13..20, filters=768891, revisions=(533886,useless=398225), ccks=73971, wck=1.106, mem=42M440
5.51/3.29 decisions=71397, wrong=34228, backtracks=30910, failedAssignments=18605, nogoods=667, foundSolutions=15, bestBound=20
5.51/3.29
5.51/3.29 num=177, depth=12..20, filters=769876, revisions=(534517,useless=398685), ccks=74039, wck=1.108, mem=42M440
5.51/3.29 decisions=71491, wrong=34269, backtracks=30947, failedAssignments=18630, nogoods=671, foundSolutions=15, bestBound=20
5.51/3.29
5.51/3.29 num=178, depth=13..23, filters=771655, revisions=(535603,useless=399495), ccks=74168, wck=1.11, mem=42M440
5.51/3.29 decisions=71635, wrong=34334, backtracks=31008, failedAssignments=18658, nogoods=673, foundSolutions=15, bestBound=20
5.51/3.29
5.51/3.29 num=179, depth=11..19, filters=772864, revisions=(536330,useless=400009), ccks=74230, wck=1.111, mem=42M440
5.51/3.29 decisions=71742, wrong=34381, backtracks=31048, failedAssignments=18689, nogoods=676, foundSolutions=15, bestBound=20
5.51/3.29
5.51/3.30 num=180, depth=13..22, filters=774593, revisions=(537409,useless=400783), ccks=74343, wck=1.113, mem=42M440
5.51/3.30 decisions=71879, wrong=34441, backtracks=31103, failedAssignments=18723, nogoods=679, foundSolutions=15, bestBound=20
5.51/3.30
5.62/3.30 num=181, depth=14..22, filters=776423, revisions=(538471,useless=401544), ccks=74435, wck=1.115, mem=42M440
5.62/3.30 decisions=72015, wrong=34502, backtracks=31155, failedAssignments=18760, nogoods=683, foundSolutions=15, bestBound=20
5.62/3.30
5.62/3.30 num=182, depth=10..20, filters=778225, revisions=(539672,useless=402404), ccks=74593, wck=1.117, mem=42M440
5.62/3.30 decisions=72179, wrong=34579, backtracks=31222, failedAssignments=18801, nogoods=685, foundSolutions=15, bestBound=20
5.62/3.30
5.62/3.30 num=183, depth=13..23, filters=780584, revisions=(541049,useless=403388), ccks=74746, wck=1.12, mem=45M82
5.62/3.30 decisions=72361, wrong=34663, backtracks=31296, failedAssignments=18846, nogoods=689, foundSolutions=15, bestBound=20
5.62/3.30
5.62/3.30 num=184, depth=11..24, filters=782753, revisions=(542515,useless=404508), ccks=74965, wck=1.122, mem=45M82
5.62/3.30 decisions=72559, wrong=34755, backtracks=31378, failedAssignments=18896, nogoods=693, foundSolutions=15, bestBound=20
5.62/3.30
5.62/3.31 num=185, depth=12..22, filters=785348, revisions=(543987,useless=405574), ccks=75096, wck=1.125, mem=45M82
5.62/3.31 decisions=72785, wrong=34861, backtracks=31473, failedAssignments=18951, nogoods=697, foundSolutions=15, bestBound=20
5.62/3.31
5.62/3.31 num=186, depth=9..20, filters=788302, revisions=(545874,useless=406916), ccks=75338, wck=1.128, mem=45M82
5.62/3.31 decisions=73028, wrong=34975, backtracks=31569, failedAssignments=19012, nogoods=702, foundSolutions=15, bestBound=20
5.62/3.31
5.62/3.31 num=187, depth=13..24, filters=791402, revisions=(547741,useless=408269), ccks=75539, wck=1.132, mem=45M82
5.62/3.31 decisions=73315, wrong=35111, backtracks=31691, failedAssignments=19079, nogoods=706, foundSolutions=15, bestBound=20
5.62/3.31
5.62/3.32 num=188, depth=10..21, filters=794560, revisions=(549721,useless=409733), ccks=75770, wck=1.136, mem=45M82
5.62/3.32 decisions=73607, wrong=35251, backtracks=31816, failedAssignments=19153, nogoods=709, foundSolutions=15, bestBound=20
5.62/3.32
5.62/3.32 num=189, depth=9..21, filters=798240, revisions=(551959,useless=411379), ccks=75986, wck=1.14, mem=45M82
5.62/3.32 decisions=73897, wrong=35390, backtracks=31943, failedAssignments=19234, nogoods=713, foundSolutions=15, bestBound=20
5.62/3.32
5.62/3.33 num=190, depth=10..24, filters=802331, revisions=(554579,useless=413264), ccks=76287, wck=1.144, mem=45M82
5.62/3.33 decisions=74261, wrong=35566, backtracks=32092, failedAssignments=19323, nogoods=721, foundSolutions=15, bestBound=20
5.62/3.33
5.62/3.33 num=191, depth=12..25, filters=806156, revisions=(556782,useless=414875), ccks=76448, wck=1.148, mem=45M82
5.62/3.33 decisions=74615, wrong=35735, backtracks=32248, failedAssignments=19421, nogoods=725, foundSolutions=15, bestBound=20
5.62/3.33
5.62/3.34 num=192, depth=11..25, filters=810904, revisions=(559814,useless=417119), ccks=76799, wck=1.153, mem=45M82
5.62/3.34 decisions=75033, wrong=35937, backtracks=32425, failedAssignments=19529, nogoods=729, foundSolutions=15, bestBound=20
5.62/3.34
5.62/3.34 num=193, depth=11..24, filters=815931, revisions=(562756,useless=419243), ccks=77142, wck=1.159, mem=45M82
5.62/3.34 decisions=75469, wrong=36148, backtracks=32609, failedAssignments=19648, nogoods=733, foundSolutions=15, bestBound=20
5.62/3.34
5.62/3.35 num=194, depth=10..25, filters=821301, revisions=(566318,useless=421811), ccks=77647, wck=1.165, mem=45M82
5.62/3.35 decisions=75957, wrong=36385, backtracks=32815, failedAssignments=19779, nogoods=737, foundSolutions=15, bestBound=20
5.62/3.35
5.62/3.35 num=195, depth=11..24, filters=827173, revisions=(569543,useless=424090), ccks=77894, wck=1.171, mem=45M82
5.62/3.35 decisions=76485, wrong=36642, backtracks=33038, failedAssignments=19923, nogoods=743, foundSolutions=15, bestBound=20
5.62/3.35
5.62/3.36 num=196, depth=10..23, filters=834266, revisions=(574233,useless=427632), ccks=78446, wck=1.179, mem=45M82
5.62/3.36 decisions=77092, wrong=36939, backtracks=33293, failedAssignments=20081, nogoods=748, foundSolutions=15, bestBound=20
5.62/3.36
5.62/3.37 num=197, depth=10..25, filters=841992, revisions=(578920,useless=431016), ccks=78934, wck=1.186, mem=45M82
5.62/3.37 decisions=77739, wrong=37256, backtracks=33563, failedAssignments=20255, nogoods=753, foundSolutions=15, bestBound=20
5.62/3.37
5.62/3.38 num=198, depth=10..22, filters=850964, revisions=(584049,useless=434720), ccks=79372, wck=1.195, mem=45M82
5.62/3.38 decisions=78443, wrong=37601, backtracks=33861, failedAssignments=20446, nogoods=756, foundSolutions=15, bestBound=20
5.62/3.38
5.62/3.39 num=199, depth=9..26, filters=859459, revisions=(588932,useless=438176), ccks=79888, wck=1.204, mem=45M82
5.62/3.39 decisions=79215, wrong=37980, backtracks=34207, failedAssignments=20657, nogoods=759, foundSolutions=15, bestBound=20
5.62/3.39
5.62/3.40 num=200, depth=10..25, filters=869334, revisions=(594916,useless=442488), ccks=80587, wck=1.215, mem=45M82
5.62/3.40 decisions=80096, wrong=38413, backtracks=34592, failedAssignments=20889, nogoods=767, foundSolutions=15, bestBound=20
5.62/3.40
5.76/3.41 num=201, depth=10..24, filters=879753, revisions=(601713,useless=447419), ccks=81376, wck=1.226, mem=45M82
5.76/3.41 decisions=81056, wrong=38886, backtracks=35010, failedAssignments=21144, nogoods=771, foundSolutions=15, bestBound=20
5.76/3.41
5.76/3.42 num=202, depth=8..23, filters=892197, revisions=(609670,useless=453270), ccks=82368, wck=1.239, mem=45M82
5.76/3.42 decisions=82083, wrong=39394, backtracks=35454, failedAssignments=21425, nogoods=774, foundSolutions=15, bestBound=20
5.76/3.42
5.76/3.43 num=203, depth=8..24, filters=905260, revisions=(618336,useless=459642), ccks=83503, wck=1.253, mem=45M82
5.76/3.43 decisions=83279, wrong=39986, backtracks=35967, failedAssignments=21734, nogoods=780, foundSolutions=15, bestBound=20
5.76/3.43
5.76/3.45 num=204, depth=8..24, filters=920575, revisions=(628569,useless=467047), ccks=84888, wck=1.269, mem=45M82
5.76/3.45 decisions=84638, wrong=40660, backtracks=36556, failedAssignments=22074, nogoods=784, foundSolutions=15, bestBound=20
5.76/3.45
5.76/3.47 num=205, depth=8..23, filters=936917, revisions=(639273,useless=474875), ccks=86222, wck=1.286, mem=45M82
5.76/3.47 decisions=86059, wrong=41364, backtracks=37191, failedAssignments=22448, nogoods=791, foundSolutions=15, bestBound=20
5.76/3.47
5.76/3.49 num=206, depth=7..25, filters=954296, revisions=(650133,useless=482728), ccks=87471, wck=1.304, mem=45M82
5.76/3.49 decisions=87650, wrong=42153, backtracks=37877, failedAssignments=22859, nogoods=796, foundSolutions=15, bestBound=20
5.76/3.49
5.86/3.51 num=207, depth=8..29, filters=972829, revisions=(661945,useless=491395), ccks=88837, wck=1.323, mem=45M82
5.86/3.51 decisions=89379, wrong=43012, backtracks=38643, failedAssignments=23311, nogoods=801, foundSolutions=15, bestBound=20
5.86/3.51
5.86/3.53 num=208, depth=8..25, filters=993886, revisions=(675435,useless=501254), ccks=90393, wck=1.345, mem=45M82
5.86/3.53 decisions=91225, wrong=43928, backtracks=39473, failedAssignments=23808, nogoods=810, foundSolutions=15, bestBound=20
5.86/3.53
5.86/3.55 num=209, depth=7..27, filters=1018088, revisions=(691703,useless=513123), ccks=92429, wck=1.371, mem=45M82
5.86/3.55 decisions=93299, wrong=44958, backtracks=40400, failedAssignments=24355, nogoods=816, foundSolutions=15, bestBound=20
5.86/3.55
5.86/3.58 num=210, depth=7..25, filters=1043230, revisions=(708539,useless=525573), ccks=94494, wck=1.397, mem=45M82
5.86/3.58 decisions=95600, wrong=46103, backtracks=41430, failedAssignments=24957, nogoods=825, foundSolutions=15, bestBound=20
5.86/3.58
5.96/3.61 num=211, depth=7..24, filters=1070663, revisions=(728884,useless=540889), ccks=97130, wck=1.427, mem=45M82
5.96/3.61 decisions=98042, wrong=47316, backtracks=42495, failedAssignments=25619, nogoods=827, foundSolutions=15, bestBound=20
5.96/3.61
5.96/3.64 num=212, depth=8..26, filters=1102658, revisions=(752113,useless=557900), ccks=100700, wck=1.462, mem=45M82
5.96/3.64 decisions=101080, wrong=48830, backtracks=43892, failedAssignments=26347, nogoods=835, foundSolutions=15, bestBound=20
5.96/3.64
5.96/3.68 num=213, depth=9..25, filters=1136112, revisions=(775274,useless=575390), ccks=103493, wck=1.497, mem=45M82
5.96/3.68 decisions=103993, wrong=50280, backtracks=45169, failedAssignments=27148, nogoods=843, foundSolutions=15, bestBound=20
5.96/3.68
6.09/3.72 num=214, depth=8..27, filters=1171896, revisions=(800356,useless=593815), ccks=107033, wck=1.535, mem=45M82
6.09/3.72 decisions=107274, wrong=51913, backtracks=46645, failedAssignments=28029, nogoods=851, foundSolutions=15, bestBound=20
6.09/3.72
6.09/3.76 num=215, depth=9..27, filters=1210929, revisions=(826306,useless=613085), ccks=110001, wck=1.574, mem=45M82
6.09/3.76 decisions=110847, wrong=53691, backtracks=48288, failedAssignments=28999, nogoods=857, foundSolutions=15, bestBound=20
6.09/3.76
6.21/3.80 num=216, depth=6..25, filters=1255880, revisions=(857756,useless=636450), ccks=114192, wck=1.623, mem=45M82
6.21/3.80 decisions=115008, wrong=55766, backtracks=50198, failedAssignments=30066, nogoods=862, foundSolutions=15, bestBound=20
6.21/3.80
6.21/3.86 num=217, depth=7..27, filters=1303366, revisions=(892038,useless=661818), ccks=119185, wck=1.673, mem=45M82
6.21/3.86 decisions=119524, wrong=58016, backtracks=52224, failedAssignments=31239, nogoods=868, foundSolutions=15, bestBound=20
6.21/3.86
6.31/3.90 num=218, depth=8..26, filters=1354422, revisions=(926710,useless=687706), ccks=123741, wck=1.722, mem=45M82
6.31/3.90 decisions=124251, wrong=60373, backtracks=54390, failedAssignments=32530, nogoods=876, foundSolutions=15, bestBound=20
6.31/3.90
6.31/3.97 num=219, depth=8..27, filters=1416832, revisions=(972331,useless=722051), ccks=130442, wck=1.789, mem=45M82
6.31/3.97 decisions=129822, wrong=63153, backtracks=56964, failedAssignments=33950, nogoods=884, foundSolutions=15, bestBound=20
6.31/3.97
6.43/4.04 num=220, depth=6..26, filters=1487973, revisions=(1022878,useless=759818), ccks=136708, wck=1.86, mem=45M82
6.43/4.04 decisions=135925, wrong=66199, backtracks=59772, failedAssignments=35512, nogoods=890, foundSolutions=15, bestBound=20
6.43/4.04
6.53/4.12 num=221, depth=5..26, filters=1562703, revisions=(1078072,useless=801152), ccks=144338, wck=1.935, mem=45M82
6.53/4.12 decisions=142632, wrong=69546, backtracks=62881, failedAssignments=37230, nogoods=894, foundSolutions=15, bestBound=20
6.53/4.12
6.62/4.20 num=222, depth=5..25, filters=1645180, revisions=(1133977,useless=842132), ccks=151305, wck=2.016, mem=45M82
6.62/4.20 decisions=150117, wrong=73283, backtracks=66285, failedAssignments=39120, nogoods=902, foundSolutions=15, bestBound=20
6.62/4.20
6.62/4.29 num=223, depth=5..27, filters=1734098, revisions=(1198758,useless=890526), ccks=160171, wck=2.11, mem=45M82
6.62/4.29 decisions=157923, wrong=77181, backtracks=69912, failedAssignments=41199, nogoods=912, foundSolutions=15, bestBound=20
6.62/4.29
6.72/4.39 num=224, depth=6..27, filters=1831008, revisions=(1270696,useless=944445), ccks=170240, wck=2.212, mem=47M725
6.72/4.39 decisions=166586, wrong=81506, backtracks=73812, failedAssignments=43486, nogoods=920, foundSolutions=15, bestBound=20
6.72/4.39
6.82/4.46 o 21
6.82/4.46 num=225, depth=6..83, filters=1890989, revisions=(1317678,useless=979634), ccks=177607, wck=2.277, mem=47M725
6.82/4.46 decisions=171972, wrong=84193, backtracks=76262, failedAssignments=44856, nogoods=931, foundSolutions=16, bestBound=21
6.82/4.46
6.92/4.58 num=226, depth=3..24, filters=2010115, revisions=(1408859,useless=1048238), ccks=190500, wck=2.401, mem=47M725
6.92/4.58 decisions=182668, wrong=89537, backtracks=81180, failedAssignments=47624, nogoods=939, foundSolutions=16, bestBound=21
6.92/4.58
6.92/4.58 num=227, depth=13..21, filters=2010507, revisions=(1409153,useless=1048459), ccks=190547, wck=2.402, mem=47M725
6.92/4.58 decisions=182715, wrong=89553, backtracks=81194, failedAssignments=47635, nogoods=941, foundSolutions=16, bestBound=21
6.92/4.58
6.92/4.58 num=228, depth=13..21, filters=2011100, revisions=(1409565,useless=1048759), ccks=190590, wck=2.402, mem=47M725
6.92/4.58 decisions=182772, wrong=89575, backtracks=81213, failedAssignments=47647, nogoods=944, foundSolutions=16, bestBound=21
6.92/4.58
6.92/4.58 num=229, depth=12..20, filters=2011707, revisions=(1410009,useless=1049091), ccks=190641, wck=2.403, mem=47M725
6.92/4.58 decisions=182833, wrong=89599, backtracks=81234, failedAssignments=47660, nogoods=946, foundSolutions=16, bestBound=21
6.92/4.58
6.92/4.59 num=230, depth=11..22, filters=2012421, revisions=(1410529,useless=1049469), ccks=190713, wck=2.404, mem=47M725
6.92/4.59 decisions=182901, wrong=89626, backtracks=81258, failedAssignments=47674, nogoods=949, foundSolutions=16, bestBound=21
6.92/4.59
6.92/4.59 num=231, depth=12..19, filters=2013179, revisions=(1411107,useless=1049895), ccks=190788, wck=2.405, mem=47M725
6.92/4.59 decisions=182967, wrong=89653, backtracks=81283, failedAssignments=47690, nogoods=952, foundSolutions=16, bestBound=21
6.92/4.59
6.92/4.59 num=232, depth=10..20, filters=2013942, revisions=(1411694,useless=1050330), ccks=190875, wck=2.406, mem=47M725
6.92/4.59 decisions=183039, wrong=89682, backtracks=81307, failedAssignments=47707, nogoods=957, foundSolutions=16, bestBound=21
6.92/4.59
6.92/4.59 num=233, depth=11..21, filters=2014742, revisions=(1412317,useless=1050796), ccks=190963, wck=2.407, mem=47M725
6.92/4.59 decisions=183112, wrong=89713, backtracks=81333, failedAssignments=47726, nogoods=959, foundSolutions=16, bestBound=21
6.92/4.59
6.92/4.59 num=234, depth=11..25, filters=2015394, revisions=(1412746,useless=1051120), ccks=191015, wck=2.408, mem=47M725
6.92/4.59 decisions=183181, wrong=89739, backtracks=81353, failedAssignments=47747, nogoods=965, foundSolutions=16, bestBound=21
6.92/4.59
6.92/4.59 num=235, depth=12..22, filters=2016260, revisions=(1413360,useless=1051580), ccks=191102, wck=2.409, mem=47M725
6.92/4.59 decisions=183266, wrong=89773, backtracks=81380, failedAssignments=47770, nogoods=971, foundSolutions=16, bestBound=21
6.92/4.59
6.92/4.59 num=236, depth=11..22, filters=2017372, revisions=(1414218,useless=1052199), ccks=191233, wck=2.411, mem=47M725
6.92/4.59 decisions=183369, wrong=89816, backtracks=81420, failedAssignments=47795, nogoods=974, foundSolutions=16, bestBound=21
6.92/4.59
6.92/4.59 num=237, depth=11..23, filters=2018385, revisions=(1414923,useless=1052701), ccks=191328, wck=2.412, mem=47M725
6.92/4.59 decisions=183473, wrong=89860, backtracks=81457, failedAssignments=47823, nogoods=979, foundSolutions=16, bestBound=21
6.92/4.59
6.92/4.60 num=238, depth=12..23, filters=2019533, revisions=(1415750,useless=1053315), ccks=191430, wck=2.414, mem=47M725
6.92/4.60 decisions=183576, wrong=89904, backtracks=81493, failedAssignments=47854, nogoods=983, foundSolutions=16, bestBound=21
6.92/4.60
7.03/4.60 num=239, depth=10..21, filters=2021049, revisions=(1416765,useless=1054042), ccks=191594, wck=2.415, mem=47M725
7.03/4.60 decisions=183708, wrong=89965, backtracks=81546, failedAssignments=47888, nogoods=984, foundSolutions=16, bestBound=21
7.03/4.60
7.03/4.60 num=240, depth=13..21, filters=2022779, revisions=(1417778,useless=1054801), ccks=191679, wck=2.417, mem=47M725
7.03/4.60 decisions=183850, wrong=90029, backtracks=81605, failedAssignments=47925, nogoods=988, foundSolutions=16, bestBound=21
7.03/4.60
7.03/4.60 num=241, depth=12..21, filters=2024592, revisions=(1419062,useless=1055737), ccks=191857, wck=2.419, mem=47M725
7.03/4.60 decisions=183992, wrong=90094, backtracks=81663, failedAssignments=47966, nogoods=993, foundSolutions=16, bestBound=21
7.03/4.60
7.03/4.60 num=242, depth=13..22, filters=2026483, revisions=(1420106,useless=1056477), ccks=191949, wck=2.421, mem=47M725
7.03/4.60 decisions=184149, wrong=90166, backtracks=81727, failedAssignments=48011, nogoods=996, foundSolutions=16, bestBound=21
7.03/4.60
7.03/4.61 num=243, depth=11..24, filters=2028816, revisions=(1421564,useless=1057526), ccks=192126, wck=2.424, mem=47M725
7.03/4.61 decisions=184349, wrong=90259, backtracks=81812, failedAssignments=48061, nogoods=1000, foundSolutions=16, bestBound=21
7.03/4.61
7.03/4.61 num=244, depth=11..22, filters=2031194, revisions=(1423037,useless=1058597), ccks=192288, wck=2.427, mem=47M725
7.03/4.61 decisions=184563, wrong=90359, backtracks=81897, failedAssignments=48116, nogoods=1006, foundSolutions=16, bestBound=21
7.03/4.61
7.03/4.61 num=245, depth=11..22, filters=2033934, revisions=(1424740,useless=1059815), ccks=192476, wck=2.43, mem=47M725
7.03/4.61 decisions=184798, wrong=90470, backtracks=81996, failedAssignments=48177, nogoods=1010, foundSolutions=16, bestBound=21
7.03/4.61
7.03/4.62 num=246, depth=11..20, filters=2036911, revisions=(1426542,useless=1061101), ccks=192667, wck=2.434, mem=47M725
7.03/4.62 decisions=185031, wrong=90580, backtracks=82093, failedAssignments=48244, nogoods=1014, foundSolutions=16, bestBound=21
7.03/4.62
7.03/4.62 num=247, depth=12..21, filters=2040113, revisions=(1428710,useless=1062667), ccks=192884, wck=2.437, mem=47M725
7.03/4.62 decisions=185298, wrong=90706, backtracks=82209, failedAssignments=48318, nogoods=1020, foundSolutions=16, bestBound=21
7.03/4.62
7.03/4.62 num=248, depth=10..20, filters=2043709, revisions=(1430937,useless=1064250), ccks=193134, wck=2.441, mem=47M725
7.03/4.62 decisions=185608, wrong=90856, backtracks=82337, failedAssignments=48399, nogoods=1022, foundSolutions=16, bestBound=21
7.03/4.62
7.03/4.63 num=249, depth=10..22, filters=2047945, revisions=(1433836,useless=1066328), ccks=193494, wck=2.446, mem=47M725
7.03/4.63 decisions=185959, wrong=91025, backtracks=82487, failedAssignments=48488, nogoods=1028, foundSolutions=16, bestBound=21
7.03/4.63
7.03/4.63 num=250, depth=9..22, filters=2052234, revisions=(1436479,useless=1068241), ccks=193782, wck=2.451, mem=47M725
7.03/4.63 decisions=186325, wrong=91202, backtracks=82633, failedAssignments=48586, nogoods=1030, foundSolutions=16, bestBound=21
7.03/4.63
7.03/4.64 num=251, depth=9..23, filters=2056967, revisions=(1439294,useless=1070265), ccks=194032, wck=2.456, mem=47M725
7.03/4.64 decisions=186727, wrong=91398, backtracks=82802, failedAssignments=48694, nogoods=1032, foundSolutions=16, bestBound=21
7.03/4.64
7.03/4.64 num=252, depth=9..23, filters=2061518, revisions=(1442296,useless=1072402), ccks=194453, wck=2.462, mem=47M725
7.03/4.64 decisions=187135, wrong=91595, backtracks=82975, failedAssignments=48813, nogoods=1038, foundSolutions=16, bestBound=21
7.03/4.64
7.03/4.65 num=253, depth=8..22, filters=2067181, revisions=(1445822,useless=1074912), ccks=194850, wck=2.468, mem=47M725
7.03/4.65 decisions=187655, wrong=91849, backtracks=83191, failedAssignments=48944, nogoods=1040, foundSolutions=16, bestBound=21
7.03/4.65
7.03/4.66 num=254, depth=10..25, filters=2073036, revisions=(1449699,useless=1077654), ccks=195287, wck=2.475, mem=47M725
7.03/4.66 decisions=188182, wrong=92105, backtracks=83422, failedAssignments=49088, nogoods=1047, foundSolutions=16, bestBound=21
7.03/4.66
7.03/4.66 num=255, depth=9..23, filters=2080598, revisions=(1454315,useless=1080962), ccks=195827, wck=2.483, mem=47M725
7.03/4.66 decisions=188811, wrong=92413, backtracks=83698, failedAssignments=49246, nogoods=1054, foundSolutions=16, bestBound=21
7.03/4.66
7.03/4.67 num=256, depth=10..21, filters=2086813, revisions=(1458801,useless=1084174), ccks=196560, wck=2.49, mem=47M725
7.03/4.67 decisions=189459, wrong=92730, backtracks=83983, failedAssignments=49420, nogoods=1059, foundSolutions=16, bestBound=21
7.03/4.67
7.03/4.68 num=257, depth=8..22, filters=2095409, revisions=(1464392,useless=1088269), ccks=197256, wck=2.499, mem=47M725
7.03/4.68 decisions=190177, wrong=93084, backtracks=84286, failedAssignments=49611, nogoods=1065, foundSolutions=16, bestBound=21
7.03/4.68
7.03/4.69 num=258, depth=7..23, filters=2104802, revisions=(1471050,useless=1093231), ccks=198076, wck=2.509, mem=47M725
7.03/4.69 decisions=190993, wrong=93486, backtracks=84633, failedAssignments=49822, nogoods=1071, foundSolutions=16, bestBound=21
7.03/4.69
7.13/4.70 num=259, depth=8..23, filters=2115623, revisions=(1478104,useless=1098413), ccks=198870, wck=2.522, mem=47M725
7.13/4.70 decisions=191834, wrong=93900, backtracks=84997, failedAssignments=50054, nogoods=1076, foundSolutions=16, bestBound=21
7.13/4.70
7.13/4.72 num=260, depth=8..24, filters=2126140, revisions=(1485827,useless=1104003), ccks=200161, wck=2.534, mem=47M725
7.13/4.72 decisions=192803, wrong=94379, backtracks=85438, failedAssignments=50309, nogoods=1082, foundSolutions=16, bestBound=21
7.13/4.72
7.13/4.73 num=261, depth=8..22, filters=2138181, revisions=(1493951,useless=1110073), ccks=200992, wck=2.547, mem=47M725
7.13/4.73 decisions=193854, wrong=94898, backtracks=85892, failedAssignments=50590, nogoods=1085, foundSolutions=16, bestBound=21
7.13/4.73
7.13/4.74 num=262, depth=8..25, filters=2151945, revisions=(1503284,useless=1117045), ccks=202117, wck=2.561, mem=47M725
7.13/4.74 decisions=195037, wrong=95483, backtracks=86430, failedAssignments=50899, nogoods=1089, foundSolutions=16, bestBound=21
7.13/4.74
7.13/4.76 num=263, depth=7..22, filters=2167275, revisions=(1514342,useless=1125275), ccks=203621, wck=2.578, mem=47M725
7.13/4.76 decisions=196359, wrong=96137, backtracks=87039, failedAssignments=51239, nogoods=1096, foundSolutions=16, bestBound=21
7.13/4.76
7.13/4.78 num=264, depth=7..21, filters=2183753, revisions=(1526327,useless=1134240), ccks=205318, wck=2.597, mem=47M725
7.13/4.78 decisions=197733, wrong=96819, backtracks=87651, failedAssignments=51613, nogoods=1099, foundSolutions=16, bestBound=21
7.13/4.78
7.23/4.80 num=265, depth=5..24, filters=2201745, revisions=(1539825,useless=1144472), ccks=207306, wck=2.617, mem=47M725
7.23/4.80 decisions=199287, wrong=97590, backtracks=88358, failedAssignments=52024, nogoods=1106, foundSolutions=16, bestBound=21
7.23/4.80
7.23/4.82 num=266, depth=6..22, filters=2222739, revisions=(1554733,useless=1155678), ccks=209391, wck=2.639, mem=47M725
7.23/4.82 decisions=201070, wrong=98477, backtracks=89162, failedAssignments=52476, nogoods=1110, foundSolutions=16, bestBound=21
7.23/4.82
7.23/4.85 num=267, depth=5..24, filters=2246574, revisions=(1572207,useless=1168797), ccks=211829, wck=2.666, mem=47M725
7.23/4.85 decisions=203016, wrong=99442, backtracks=90039, failedAssignments=52973, nogoods=1115, foundSolutions=16, bestBound=21
7.23/4.85
7.23/4.87 num=268, depth=7..25, filters=2269817, revisions=(1589026,useless=1181309), ccks=214152, wck=2.693, mem=47M725
7.23/4.87 decisions=205029, wrong=100444, backtracks=90960, failedAssignments=53520, nogoods=1120, foundSolutions=16, bestBound=21
7.23/4.87
7.33/4.90 num=269, depth=6..24, filters=2295855, revisions=(1608246,useless=1195618), ccks=217192, wck=2.723, mem=47M725
7.33/4.90 decisions=207362, wrong=101606, backtracks=92034, failedAssignments=54122, nogoods=1126, foundSolutions=16, bestBound=21
7.33/4.90
7.33/4.94 num=270, depth=5..24, filters=2327591, revisions=(1631435,useless=1212802), ccks=220290, wck=2.759, mem=47M725
7.33/4.94 decisions=209899, wrong=102870, backtracks=93207, failedAssignments=54784, nogoods=1135, foundSolutions=16, bestBound=21
7.33/4.94
7.33/4.98 num=271, depth=6..24, filters=2359830, revisions=(1653787,useless=1229465), ccks=222947, wck=2.794, mem=47M725
7.33/4.98 decisions=212665, wrong=104247, backtracks=94430, failedAssignments=55512, nogoods=1139, foundSolutions=16, bestBound=21
7.33/4.98
7.44/5.02 num=272, depth=5..24, filters=2399474, revisions=(1683376,useless=1251734), ccks=226785, wck=2.839, mem=47M725
7.44/5.02 decisions=215828, wrong=105825, backtracks=95903, failedAssignments=56313, nogoods=1145, foundSolutions=16, bestBound=21
7.44/5.02
7.44/5.06 o 22
7.44/5.06 num=273, depth=5..83, filters=2432682, revisions=(1709223,useless=1271096), ccks=230743, wck=2.879, mem=47M725
7.44/5.06 decisions=218533, wrong=107171, backtracks=97151, failedAssignments=57003, nogoods=1158, foundSolutions=17, bestBound=22
7.44/5.06
7.54/5.11 num=274, depth=3..20, filters=2474712, revisions=(1740189,useless=1293812), ccks=234873, wck=2.925, mem=47M725
7.54/5.11 decisions=222298, wrong=109051, backtracks=98822, failedAssignments=57973, nogoods=1165, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.11 num=275, depth=9..16, filters=2475374, revisions=(1740661,useless=1294173), ccks=234937, wck=2.926, mem=47M725
7.54/5.11 decisions=222356, wrong=109075, backtracks=98838, failedAssignments=57984, nogoods=1170, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.11 num=276, depth=9..16, filters=2475881, revisions=(1741005,useless=1294426), ccks=234981, wck=2.927, mem=47M725
7.54/5.11 decisions=222405, wrong=109094, backtracks=98853, failedAssignments=57996, nogoods=1173, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.11 num=277, depth=10..18, filters=2476424, revisions=(1741346,useless=1294677), ccks=235019, wck=2.928, mem=47M725
7.54/5.11 decisions=222456, wrong=109114, backtracks=98866, failedAssignments=58009, nogoods=1178, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.11 num=278, depth=8..17, filters=2477030, revisions=(1741720,useless=1294958), ccks=235056, wck=2.928, mem=47M725
7.54/5.11 decisions=222517, wrong=109138, backtracks=98883, failedAssignments=58023, nogoods=1183, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.11 num=279, depth=9..21, filters=2477792, revisions=(1742145,useless=1295257), ccks=235096, wck=2.929, mem=47M725
7.54/5.11 decisions=222586, wrong=109165, backtracks=98901, failedAssignments=58039, nogoods=1188, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.11 num=280, depth=8..22, filters=2478571, revisions=(1742572,useless=1295562), ccks=235128, wck=2.93, mem=47M725
7.54/5.11 decisions=222658, wrong=109194, backtracks=98920, failedAssignments=58056, nogoods=1194, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.11 num=281, depth=7..20, filters=2479500, revisions=(1743212,useless=1296031), ccks=235232, wck=2.931, mem=50M367
7.54/5.11 decisions=222741, wrong=109228, backtracks=98947, failedAssignments=58075, nogoods=1200, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.11 num=282, depth=10..20, filters=2480571, revisions=(1743898,useless=1296537), ccks=235288, wck=2.933, mem=50M367
7.54/5.11 decisions=222836, wrong=109269, backtracks=98983, failedAssignments=58096, nogoods=1202, foundSolutions=17, bestBound=22
7.54/5.11
7.54/5.12 num=283, depth=7..17, filters=2481714, revisions=(1744601,useless=1297049), ccks=235352, wck=2.934, mem=50M367
7.54/5.12 decisions=222929, wrong=109312, backtracks=99019, failedAssignments=58119, nogoods=1203, foundSolutions=17, bestBound=22
7.54/5.12
7.54/5.12 num=284, depth=9..19, filters=2483056, revisions=(1745520,useless=1297716), ccks=235482, wck=2.936, mem=50M367
7.54/5.12 decisions=223045, wrong=109364, backtracks=99059, failedAssignments=58144, nogoods=1210, foundSolutions=17, bestBound=22
7.54/5.12
7.54/5.12 num=285, depth=7..17, filters=2484637, revisions=(1746408,useless=1298352), ccks=235560, wck=2.938, mem=50M367
7.54/5.12 decisions=223180, wrong=109427, backtracks=99116, failedAssignments=58172, nogoods=1212, foundSolutions=17, bestBound=22
7.54/5.12
7.54/5.12 num=286, depth=7..17, filters=2486240, revisions=(1747338,useless=1298998), ccks=235661, wck=2.939, mem=50M367
7.54/5.12 decisions=223332, wrong=109497, backtracks=99174, failedAssignments=58203, nogoods=1216, foundSolutions=17, bestBound=22
7.54/5.12
7.54/5.12 num=287, depth=7..17, filters=2487819, revisions=(1748386,useless=1299771), ccks=235770, wck=2.941, mem=50M367
7.54/5.12 decisions=223465, wrong=109560, backtracks=99230, failedAssignments=58237, nogoods=1219, foundSolutions=17, bestBound=22
7.54/5.12
7.54/5.12 num=288, depth=6..17, filters=2489494, revisions=(1749494,useless=1300578), ccks=235910, wck=2.943, mem=50M367
7.54/5.12 decisions=223607, wrong=109626, backtracks=99284, failedAssignments=58274, nogoods=1224, foundSolutions=17, bestBound=22
7.54/5.12
7.54/5.13 num=289, depth=8..18, filters=2491340, revisions=(1750780,useless=1301489), ccks=236109, wck=2.945, mem=50M367
7.54/5.13 decisions=223771, wrong=109704, backtracks=99351, failedAssignments=58315, nogoods=1225, foundSolutions=17, bestBound=22
7.54/5.13
7.54/5.13 num=290, depth=7..18, filters=2493117, revisions=(1752046,useless=1302407), ccks=236301, wck=2.948, mem=50M367
7.54/5.13 decisions=223941, wrong=109784, backtracks=99420, failedAssignments=58360, nogoods=1231, foundSolutions=17, bestBound=22
7.54/5.13
7.54/5.13 num=291, depth=8..21, filters=2495310, revisions=(1753541,useless=1303487), ccks=236515, wck=2.95, mem=50M367
7.54/5.13 decisions=224141, wrong=109878, backtracks=99499, failedAssignments=58410, nogoods=1237, foundSolutions=17, bestBound=22
7.54/5.13
7.54/5.13 num=292, depth=9..18, filters=2497805, revisions=(1755091,useless=1304627), ccks=236708, wck=2.953, mem=50M367
7.54/5.13 decisions=224357, wrong=109981, backtracks=99589, failedAssignments=58465, nogoods=1244, foundSolutions=17, bestBound=22
7.54/5.13
7.54/5.14 num=293, depth=8..18, filters=2500960, revisions=(1757234,useless=1306224), ccks=236959, wck=2.957, mem=50M367
7.54/5.14 decisions=224601, wrong=110098, backtracks=99692, failedAssignments=58526, nogoods=1251, foundSolutions=17, bestBound=22
7.54/5.14
7.54/5.14 num=294, depth=7..21, filters=2504035, revisions=(1759154,useless=1307584), ccks=237212, wck=2.961, mem=50M367
7.54/5.14 decisions=224867, wrong=110226, backtracks=99802, failedAssignments=58593, nogoods=1258, foundSolutions=17, bestBound=22
7.54/5.14
7.54/5.15 num=295, depth=7..22, filters=2507443, revisions=(1761466,useless=1309271), ccks=237477, wck=2.965, mem=50M367
7.54/5.15 decisions=225168, wrong=110371, backtracks=99934, failedAssignments=58667, nogoods=1264, foundSolutions=17, bestBound=22
7.54/5.15
7.54/5.15 num=296, depth=7..21, filters=2510846, revisions=(1763986,useless=1311161), ccks=237811, wck=2.969, mem=50M367
7.54/5.15 decisions=225463, wrong=110513, backtracks=100066, failedAssignments=58748, nogoods=1268, foundSolutions=17, bestBound=22
7.54/5.15
7.54/5.16 num=297, depth=8..21, filters=2514700, revisions=(1766709,useless=1313203), ccks=238093, wck=2.974, mem=50M367
7.54/5.16 decisions=225778, wrong=110665, backtracks=100200, failedAssignments=58837, nogoods=1275, foundSolutions=17, bestBound=22
7.54/5.16
7.54/5.16 num=298, depth=6..21, filters=2518804, revisions=(1769197,useless=1314951), ccks=238323, wck=2.978, mem=50M367
7.54/5.16 decisions=226135, wrong=110839, backtracks=100351, failedAssignments=58935, nogoods=1283, foundSolutions=17, bestBound=22
7.54/5.16
7.54/5.17 num=299, depth=7..22, filters=2523737, revisions=(1772368,useless=1317262), ccks=238702, wck=2.984, mem=50M367
7.54/5.17 decisions=226515, wrong=111024, backtracks=100521, failedAssignments=59043, nogoods=1286, foundSolutions=17, bestBound=22
7.54/5.17
7.54/5.17 num=300, depth=6..18, filters=2529287, revisions=(1776472,useless=1320325), ccks=239237, wck=2.991, mem=50M367
7.54/5.17 decisions=226992, wrong=111258, backtracks=100730, failedAssignments=59162, nogoods=1290, foundSolutions=17, bestBound=22
7.54/5.17
7.54/5.18 num=301, depth=5..18, filters=2535389, revisions=(1781063,useless=1323726), ccks=239809, wck=2.998, mem=50M367
7.54/5.18 decisions=227527, wrong=111523, backtracks=100973, failedAssignments=59293, nogoods=1291, foundSolutions=17, bestBound=22
7.54/5.18
7.54/5.19 num=302, depth=5..20, filters=2542447, revisions=(1786221,useless=1327491), ccks=240551, wck=3.006, mem=50M367
7.54/5.19 decisions=228110, wrong=111809, backtracks=101225, failedAssignments=59437, nogoods=1300, foundSolutions=17, bestBound=22
7.54/5.19
7.64/5.20 num=303, depth=7..19, filters=2550966, revisions=(1793035,useless=1332618), ccks=241533, wck=3.017, mem=50M367
7.64/5.20 decisions=228698, wrong=112098, backtracks=101490, failedAssignments=59595, nogoods=1308, foundSolutions=17, bestBound=22
7.64/5.20
7.64/5.21 num=304, depth=6..18, filters=2559269, revisions=(1798893,useless=1336868), ccks=242259, wck=3.027, mem=50M367
7.64/5.21 decisions=229371, wrong=112429, backtracks=101787, failedAssignments=59769, nogoods=1316, foundSolutions=17, bestBound=22
7.64/5.21
7.64/5.22 num=305, depth=7..23, filters=2568618, revisions=(1806190,useless=1342325), ccks=243369, wck=3.038, mem=50M367
7.64/5.22 decisions=230078, wrong=112777, backtracks=102117, failedAssignments=59960, nogoods=1322, foundSolutions=17, bestBound=22
7.64/5.22
7.64/5.23 num=306, depth=6..21, filters=2578016, revisions=(1813987,useless=1348275), ccks=244544, wck=3.05, mem=50M367
7.64/5.23 decisions=230881, wrong=113174, backtracks=102492, failedAssignments=60171, nogoods=1332, foundSolutions=17, bestBound=22
7.64/5.23
7.64/5.24 num=307, depth=5..22, filters=2588236, revisions=(1821149,useless=1353537), ccks=245483, wck=3.062, mem=50M367
7.64/5.24 decisions=231777, wrong=113617, backtracks=102899, failedAssignments=60403, nogoods=1339, foundSolutions=17, bestBound=22
7.64/5.24
7.64/5.26 num=308, depth=4..20, filters=2599812, revisions=(1829920,useless=1359983), ccks=246765, wck=3.076, mem=50M367
7.64/5.26 decisions=232769, wrong=114108, backtracks=103344, failedAssignments=60658, nogoods=1348, foundSolutions=17, bestBound=22
7.64/5.26
7.64/5.27 num=309, depth=4..24, filters=2612594, revisions=(1840126,useless=1367683), ccks=248237, wck=3.092, mem=50M367
7.64/5.27 decisions=233878, wrong=114656, backtracks=103841, failedAssignments=60939, nogoods=1351, foundSolutions=17, bestBound=22
7.64/5.27
7.64/5.29 num=310, depth=4..20, filters=2626687, revisions=(1850636,useless=1375582), ccks=249472, wck=3.109, mem=50M367
7.64/5.29 decisions=235024, wrong=115224, backtracks=104372, failedAssignments=61248, nogoods=1361, foundSolutions=17, bestBound=22
7.64/5.29
7.74/5.31 num=311, depth=4..22, filters=2643239, revisions=(1862971,useless=1384754), ccks=251014, wck=3.129, mem=50M367
7.74/5.31 decisions=236287, wrong=115850, backtracks=104945, failedAssignments=61588, nogoods=1366, foundSolutions=17, bestBound=22
7.74/5.31
7.74/5.33 num=312, depth=3..20, filters=2659528, revisions=(1875530,useless=1394166), ccks=252770, wck=3.149, mem=50M367
7.74/5.33 decisions=237689, wrong=116546, backtracks=105585, failedAssignments=61962, nogoods=1370, foundSolutions=17, bestBound=22
7.74/5.33
7.74/5.36 num=313, depth=4..19, filters=2679990, revisions=(1892785,useless=1407397), ccks=255262, wck=3.173, mem=50M367
7.74/5.36 decisions=239343, wrong=117371, backtracks=106355, failedAssignments=62373, nogoods=1375, foundSolutions=17, bestBound=22
7.74/5.36
7.74/5.38 num=314, depth=3..21, filters=2700896, revisions=(1908234,useless=1418820), ccks=257210, wck=3.199, mem=50M367
7.74/5.38 decisions=241030, wrong=118209, backtracks=107111, failedAssignments=62825, nogoods=1380, foundSolutions=17, bestBound=22
7.74/5.38
7.84/5.41 num=315, depth=2..22, filters=2724338, revisions=(1925871,useless=1432022), ccks=259498, wck=3.226, mem=50M367
7.84/5.41 decisions=243047, wrong=119212, backtracks=108029, failedAssignments=63322, nogoods=1384, foundSolutions=17, bestBound=22
7.84/5.41
7.84/5.44 num=316, depth=3..23, filters=2749798, revisions=(1945806,useless=1446859), ccks=262661, wck=3.257, mem=50M367
7.84/5.44 decisions=245324, wrong=120346, backtracks=109088, failedAssignments=63869, nogoods=1394, foundSolutions=17, bestBound=22
7.84/5.44
7.84/5.47 num=317, depth=2..22, filters=2780050, revisions=(1970512,useless=1465722), ccks=266179, wck=3.292, mem=50M367
7.84/5.47 decisions=247878, wrong=121620, backtracks=110295, failedAssignments=64471, nogoods=1404, foundSolutions=17, bestBound=22
7.84/5.47
7.94/5.52 num=318, depth=2..25, filters=2815586, revisions=(1999389,useless=1487651), ccks=270297, wck=3.335, mem=50M367
7.94/5.52 decisions=250587, wrong=122970, backtracks=111551, failedAssignments=65133, nogoods=1415, foundSolutions=17, bestBound=22
7.94/5.52
7.94/5.56 num=319, depth=1..22, filters=2853072, revisions=(2031115,useless=1511809), ccks=275141, wck=3.38, mem=50M367
7.94/5.56 decisions=253645, wrong=124495, backtracks=112973, failedAssignments=65861, nogoods=1420, foundSolutions=17, bestBound=22
7.94/5.56
8.04/5.61 num=320, depth=1..22, filters=2893706, revisions=(2066020,useless=1538661), ccks=280321, wck=3.428, mem=50M367
8.04/5.61 decisions=257076, wrong=126206, backtracks=114599, failedAssignments=66662, nogoods=1425, foundSolutions=17, bestBound=22
8.04/5.61
8.04/5.66 num=321, depth=1..21, filters=2938468, revisions=(2103083,useless=1566832), ccks=285593, wck=3.48, mem=50M367
8.04/5.66 decisions=260678, wrong=128004, backtracks=116301, failedAssignments=67543, nogoods=1432, foundSolutions=17, bestBound=22
8.04/5.66
8.14/5.72 num=322, depth=0..21, filters=2989345, revisions=(2148068,useless=1601550), ccks=292123, wck=3.542, mem=50M367
8.14/5.72 decisions=264880, wrong=130100, backtracks=118232, failedAssignments=68513, nogoods=1439, foundSolutions=17, bestBound=22
8.14/5.72
8.14/5.74
8.14/5.74 New Bounds: 23..22
8.14/5.74 num=323, depth=0..15, filters=2998734, revisions=(2156782,useless=1608402), ccks=293252, wck=3.554, mem=50M367
8.14/5.74 decisions=265590, wrong=130456, backtracks=118562, failedAssignments=68688, foundSolutions=17, bestBound=22
8.14/5.74
8.14/5.74 Global
8.14/5.74 filters=2998734, revisions=(2156782,useless=1608402), ccks=293252
8.14/5.74 Stop=FULL_EXPLORATION, wrong=130456, bestBound=22, bestBoundWck=3.203, bestBoundCpu=5.001, foundSolutions=17, firstSolCpu=2.149
8.14/5.74 wck=3.878, cpu=5.676, mem=50M367
8.14/5.74
8.14/5.74 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.14/5.74 s OPTIMUM FOUND
8.14/5.74
8.14/5.74 d WRONG_DECISIONS 130456
8.14/5.74 d NUMBER_SOLUTIONS 17