2.41/1.89
2.41/1.89 AbsCon 2
2.62/1.91
2.89/2.06 Instance
2.89/2.06 name=instance-4391063-1568388821, framework=COP, bounds=-infty..+infty
2.89/2.06
2.89/2.06 Loading variables...
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@162ced7
2.89/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22e7948f
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7089db
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b0bcec8
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf180cc
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0172bb
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12a2321c
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c83890
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@587c96f3
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8d14b0
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716dad56
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d21694b
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb6d368
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17eaef8e
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53143275
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f377049
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c27fa9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53331eb2
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a217f7
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c77df4
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297dd2bf
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8baded9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34206bf4
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79649f01
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4095ba5e
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3a9d04
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e560a22
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bcf9ef0
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@162386b8
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2c600c
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b52a78b
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35ee20af
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d0ccc52
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@329a5db3
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a830d5
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d758ec
3.12/2.16
3.12/2.16
3.12/2.16 Domains
3.12/2.16 nTypes=2, nValues=396, sizes=[2#36,9#36]
3.12/2.16 Variables
3.12/2.16 count=72, degrees=[2#36,7#4,9#8,10#24]
3.12/2.16 Objectives
3.12/2.16 way=max, type=SumSimpleGE
3.12/2.16 Constraints
3.12/2.16 count=91, nSpecific=37, arities=[2#36,3#18,4#4,6#18,9#14,36#1]
3.12/2.16 distribution=[CtrExtensionV-Bits#36,CtrExtensionV-Matrix3D#18,SumSimpleGE#1,SumWeightedEQ#36]
3.12/2.16 nExtStructures=(5,shared:49), nCftStructures=(5,shared:49,unbuilt:37)
3.12/2.16 wck=0.299, cpu=2.121, mem=21M228
3.12/2.17 Solver SolverBacktrack being built...
3.12/2.17
3.12/2.19
3.12/2.19 Solver
3.12/2.19 guaranteedGAC=false
3.12/2.19 wck=0.323, cpu=2.144, mem=31M870
3.12/2.19
3.12/2.19 Preprocessing
3.12/2.19 filters=22, revisions=(22,useless=22), nACremovedValues=74, nTotalRemovedValues=74, inconcistency=false
3.12/2.19 wck=0.003, cpu=2.148, mem=31M870
3.12/2.19
3.33/2.20 o 0
3.33/2.20 num=0, depth=73..71, filters=245, revisions=(204,useless=171), ccks=109, wck=0.017, mem=31M870
3.33/2.20 decisions=27, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.33/2.20
3.33/2.21 o 4
3.33/2.22 num=1, depth=22..71, filters=532, revisions=(488,useless=411), ccks=218, wck=0.027, mem=31M870
3.33/2.22 decisions=61, wrong=6, backtracks=3, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=4
3.33/2.22
3.33/2.22 o 5
3.33/2.22 num=2, depth=15..71, filters=811, revisions=(757,useless=637), ccks=322, wck=0.032, mem=31M870
3.33/2.22 decisions=91, wrong=12, backtracks=6, failedAssignments=8, nogoods=7, foundSolutions=3, bestBound=5
3.33/2.22
3.33/2.23 num=3, depth=18..23, filters=1284, revisions=(1173,useless=969), ccks=365, wck=0.049, mem=34M513
3.33/2.23 decisions=146, wrong=30, backtracks=16, failedAssignments=19, nogoods=13, foundSolutions=3, bestBound=5
3.33/2.23
3.33/2.24 o 6
3.33/2.24 num=4, depth=14..71, filters=1574, revisions=(1440,useless=1197), ccks=474, wck=0.053, mem=34M513
3.33/2.24 decisions=177, wrong=37, backtracks=20, failedAssignments=24, nogoods=15, foundSolutions=4, bestBound=6
3.33/2.24
3.33/2.24 num=5, depth=16..23, filters=2108, revisions=(1867,useless=1536), ccks=520, wck=0.057, mem=34M513
3.33/2.24 decisions=229, wrong=55, backtracks=38, failedAssignments=36, nogoods=16, foundSolutions=4, bestBound=6
3.33/2.24
3.33/2.25 num=6, depth=16..23, filters=2784, revisions=(2230,useless=1801), ccks=537, wck=0.061, mem=34M513
3.33/2.25 decisions=291, wrong=76, backtracks=56, failedAssignments=47, nogoods=18, foundSolutions=4, bestBound=6
3.33/2.25
3.33/2.25 o 7
3.33/2.25 num=7, depth=15..71, filters=3389, revisions=(2650,useless=2122), ccks=658, wck=0.066, mem=34M513
3.33/2.25 decisions=341, wrong=92, backtracks=69, failedAssignments=57, nogoods=20, foundSolutions=5, bestBound=7
3.33/2.25
3.33/2.26 num=8, depth=16..23, filters=4004, revisions=(3078,useless=2459), ccks=695, wck=0.07, mem=34M513
3.33/2.26 decisions=397, wrong=111, backtracks=84, failedAssignments=70, nogoods=22, foundSolutions=5, bestBound=7
3.33/2.26
3.33/2.26 o 10
3.33/2.26 num=9, depth=18..71, filters=4325, revisions=(3327,useless=2664), ccks=809, wck=0.073, mem=34M513
3.33/2.26 decisions=427, wrong=116, backtracks=84, failedAssignments=75, nogoods=27, foundSolutions=6, bestBound=10
3.33/2.26
3.33/2.26 num=10, depth=12..19, filters=5166, revisions=(3878,useless=3097), ccks=878, wck=0.077, mem=34M513
3.33/2.26 decisions=495, wrong=144, backtracks=109, failedAssignments=87, nogoods=29, foundSolutions=6, bestBound=10
3.33/2.26
3.33/2.27 num=11, depth=14..22, filters=5685, revisions=(4239,useless=3369), ccks=915, wck=0.08, mem=34M513
3.33/2.27 decisions=543, wrong=161, backtracks=125, failedAssignments=98, nogoods=30, foundSolutions=6, bestBound=10
3.33/2.27
3.33/2.27 num=12, depth=16..21, filters=6268, revisions=(4644,useless=3687), ccks=963, wck=0.083, mem=34M513
3.33/2.27 decisions=595, wrong=179, backtracks=142, failedAssignments=110, nogoods=33, foundSolutions=6, bestBound=10
3.33/2.27
3.33/2.27 num=13, depth=15..21, filters=6981, revisions=(5115,useless=4039), ccks=1019, wck=0.086, mem=34M513
3.33/2.27 decisions=658, wrong=201, backtracks=159, failedAssignments=123, nogoods=36, foundSolutions=6, bestBound=10
3.33/2.27
3.33/2.28 num=14, depth=15..22, filters=7595, revisions=(5467,useless=4296), ccks=1052, wck=0.089, mem=34M513
3.33/2.28 decisions=721, wrong=224, backtracks=177, failedAssignments=137, nogoods=39, foundSolutions=6, bestBound=10
3.33/2.28
3.33/2.28 num=15, depth=14..20, filters=8258, revisions=(5895,useless=4617), ccks=1101, wck=0.092, mem=34M513
3.33/2.28 decisions=794, wrong=253, backtracks=205, failedAssignments=153, nogoods=41, foundSolutions=6, bestBound=10
3.33/2.28
3.33/2.28 num=16, depth=16..23, filters=9216, revisions=(6518,useless=5100), ccks=1191, wck=0.096, mem=34M513
3.33/2.28 decisions=875, wrong=285, backtracks=235, failedAssignments=170, nogoods=44, foundSolutions=6, bestBound=10
3.33/2.28
3.33/2.29 num=17, depth=14..22, filters=10145, revisions=(7050,useless=5486), ccks=1244, wck=0.1, mem=34M513
3.33/2.29 decisions=961, wrong=320, backtracks=264, failedAssignments=189, nogoods=47, foundSolutions=6, bestBound=10
3.33/2.29
3.33/2.29 num=18, depth=15..23, filters=11019, revisions=(7598,useless=5886), ccks=1319, wck=0.104, mem=34M513
3.33/2.29 decisions=1045, wrong=354, backtracks=293, failedAssignments=210, nogoods=49, foundSolutions=6, bestBound=10
3.33/2.29
3.33/2.29 num=19, depth=13..21, filters=12049, revisions=(8228,useless=6349), ccks=1401, wck=0.108, mem=34M513
3.33/2.29 decisions=1145, wrong=397, backtracks=330, failedAssignments=233, nogoods=52, foundSolutions=6, bestBound=10
3.33/2.29
3.65/2.30 o 12
3.65/2.30 num=20, depth=13..71, filters=12965, revisions=(8810,useless=6795), ccks=1559, wck=0.113, mem=34M513
3.65/2.30 decisions=1224, wrong=428, backtracks=354, failedAssignments=248, nogoods=56, foundSolutions=7, bestBound=12
3.65/2.30
3.65/2.30 num=21, depth=10..19, filters=14198, revisions=(9717,useless=7481), ccks=1669, wck=0.118, mem=34M513
3.65/2.30 decisions=1338, wrong=480, backtracks=400, failedAssignments=276, nogoods=57, foundSolutions=7, bestBound=12
3.65/2.30
3.65/2.31 num=22, depth=12..19, filters=14806, revisions=(10107,useless=7771), ccks=1728, wck=0.12, mem=34M513
3.65/2.31 decisions=1390, wrong=500, backtracks=419, failedAssignments=287, nogoods=58, foundSolutions=7, bestBound=12
3.65/2.31
3.65/2.31 num=23, depth=12..19, filters=15432, revisions=(10504,useless=8073), ccks=1780, wck=0.122, mem=34M513
3.65/2.31 decisions=1447, wrong=521, backtracks=435, failedAssignments=299, nogoods=61, foundSolutions=7, bestBound=12
3.65/2.31
3.65/2.31 num=24, depth=15..21, filters=15949, revisions=(10820,useless=8306), ccks=1813, wck=0.124, mem=34M513
3.65/2.31 decisions=1504, wrong=541, backtracks=449, failedAssignments=312, nogoods=64, foundSolutions=7, bestBound=12
3.65/2.31
3.65/2.31 num=25, depth=16..22, filters=16616, revisions=(11229,useless=8617), ccks=1863, wck=0.126, mem=34M513
3.65/2.31 decisions=1566, wrong=563, backtracks=467, failedAssignments=326, nogoods=68, foundSolutions=7, bestBound=12
3.65/2.31
3.65/2.31 num=26, depth=15..21, filters=17428, revisions=(11701,useless=8967), ccks=1894, wck=0.129, mem=34M513
3.65/2.31 decisions=1638, wrong=590, backtracks=489, failedAssignments=342, nogoods=71, foundSolutions=7, bestBound=12
3.65/2.31
3.65/2.32 num=27, depth=13..21, filters=18239, revisions=(12257,useless=9378), ccks=1992, wck=0.132, mem=34M513
3.65/2.32 decisions=1718, wrong=621, backtracks=514, failedAssignments=359, nogoods=74, foundSolutions=7, bestBound=12
3.65/2.32
3.65/2.32 num=28, depth=15..24, filters=19123, revisions=(12675,useless=9672), ccks=1998, wck=0.135, mem=34M513
3.65/2.32 decisions=1800, wrong=654, backtracks=545, failedAssignments=378, nogoods=76, foundSolutions=7, bestBound=12
3.65/2.32
3.65/2.32 num=29, depth=13..22, filters=20130, revisions=(13300,useless=10129), ccks=2037, wck=0.138, mem=34M513
3.65/2.32 decisions=1887, wrong=691, backtracks=580, failedAssignments=399, nogoods=78, foundSolutions=7, bestBound=12
3.65/2.32
3.65/2.33 num=30, depth=11..20, filters=21257, revisions=(14022,useless=10673), ccks=2103, wck=0.141, mem=34M513
3.65/2.33 decisions=1982, wrong=733, backtracks=620, failedAssignments=422, nogoods=80, foundSolutions=7, bestBound=12
3.65/2.33
3.65/2.33 num=31, depth=12..21, filters=22204, revisions=(14750,useless=11227), ccks=2205, wck=0.145, mem=34M513
3.65/2.33 decisions=2083, wrong=775, backtracks=656, failedAssignments=447, nogoods=83, foundSolutions=7, bestBound=12
3.65/2.33
3.65/2.33 num=32, depth=14..21, filters=23395, revisions=(15449,useless=11737), ccks=2272, wck=0.148, mem=34M513
3.65/2.33 decisions=2192, wrong=822, backtracks=698, failedAssignments=475, nogoods=87, foundSolutions=7, bestBound=12
3.65/2.33
3.65/2.34 num=33, depth=14..22, filters=24877, revisions=(16414,useless=12467), ccks=2398, wck=0.152, mem=34M513
3.65/2.34 decisions=2321, wrong=878, backtracks=751, failedAssignments=506, nogoods=90, foundSolutions=7, bestBound=12
3.65/2.34
3.65/2.34 num=34, depth=14..23, filters=26461, revisions=(17271,useless=13095), ccks=2463, wck=0.156, mem=34M513
3.65/2.34 decisions=2469, wrong=945, backtracks=810, failedAssignments=540, nogoods=94, foundSolutions=7, bestBound=12
3.65/2.34
3.65/2.35 num=35, depth=10..21, filters=27901, revisions=(18325,useless=13878), ccks=2610, wck=0.16, mem=34M513
3.65/2.35 decisions=2613, wrong=1011, backtracks=870, failedAssignments=577, nogoods=96, foundSolutions=7, bestBound=12
3.65/2.35
3.65/2.35 num=36, depth=11..21, filters=29725, revisions=(19544,useless=14794), ccks=2749, wck=0.165, mem=34M513
3.65/2.35 decisions=2779, wrong=1088, backtracks=938, failedAssignments=618, nogoods=101, foundSolutions=7, bestBound=12
3.65/2.35
3.65/2.36 o 13
3.65/2.36 num=37, depth=10..71, filters=31175, revisions=(20635,useless=15640), ccks=2985, wck=0.17, mem=34M513
3.65/2.36 decisions=2924, wrong=1153, backtracks=987, failedAssignments=656, nogoods=109, foundSolutions=8, bestBound=13
3.65/2.36
3.65/2.36 num=38, depth=10..22, filters=33664, revisions=(22095,useless=16762), ccks=3090, wck=0.175, mem=37M156
3.65/2.36 decisions=3128, wrong=1247, backtracks=1071, failedAssignments=706, nogoods=113, foundSolutions=8, bestBound=13
3.65/2.36
3.65/2.36 num=39, depth=13..21, filters=34137, revisions=(22465,useless=17053), ccks=3141, wck=0.178, mem=37M156
3.65/2.36 decisions=3177, wrong=1263, backtracks=1081, failedAssignments=717, nogoods=118, foundSolutions=8, bestBound=13
3.65/2.36
3.65/2.37 num=40, depth=12..20, filters=34678, revisions=(22863,useless=17355), ccks=3201, wck=0.18, mem=37M156
3.65/2.37 decisions=3234, wrong=1284, backtracks=1099, failedAssignments=729, nogoods=121, foundSolutions=8, bestBound=13
3.65/2.37
3.65/2.37 num=41, depth=10..20, filters=35379, revisions=(23308,useless=17686), ccks=3250, wck=0.182, mem=37M156
3.65/2.37 decisions=3297, wrong=1308, backtracks=1118, failedAssignments=742, nogoods=124, foundSolutions=8, bestBound=13
3.65/2.37
3.65/2.37 num=42, depth=13..23, filters=36000, revisions=(23737,useless=18017), ccks=3299, wck=0.184, mem=37M156
3.65/2.37 decisions=3360, wrong=1332, backtracks=1140, failedAssignments=756, nogoods=128, foundSolutions=8, bestBound=13
3.65/2.37
3.65/2.37 num=43, depth=13..20, filters=36690, revisions=(24143,useless=18319), ccks=3335, wck=0.185, mem=37M156
3.65/2.37 decisions=3424, wrong=1357, backtracks=1163, failedAssignments=772, nogoods=131, foundSolutions=8, bestBound=13
3.65/2.37
3.65/2.37 num=44, depth=14..21, filters=37332, revisions=(24553,useless=18624), ccks=3382, wck=0.187, mem=37M156
3.65/2.37 decisions=3494, wrong=1385, backtracks=1188, failedAssignments=789, nogoods=133, foundSolutions=8, bestBound=13
3.65/2.37
3.65/2.37 num=45, depth=14..22, filters=38148, revisions=(25110,useless=19038), ccks=3460, wck=0.189, mem=37M156
3.65/2.37 decisions=3570, wrong=1415, backtracks=1214, failedAssignments=808, nogoods=136, foundSolutions=8, bestBound=13
3.65/2.37
3.65/2.38 num=46, depth=14..21, filters=38955, revisions=(25605,useless=19408), ccks=3506, wck=0.191, mem=37M156
3.65/2.38 decisions=3642, wrong=1443, backtracks=1236, failedAssignments=829, nogoods=141, foundSolutions=8, bestBound=13
3.65/2.38
3.65/2.38 num=47, depth=12..20, filters=39927, revisions=(26318,useless=19954), ccks=3602, wck=0.193, mem=37M156
3.65/2.38 decisions=3728, wrong=1479, backtracks=1270, failedAssignments=852, nogoods=145, foundSolutions=8, bestBound=13
3.65/2.38
3.65/2.38 num=48, depth=13..21, filters=41073, revisions=(26979,useless=20423), ccks=3664, wck=0.196, mem=37M156
3.65/2.38 decisions=3832, wrong=1523, backtracks=1308, failedAssignments=877, nogoods=149, foundSolutions=8, bestBound=13
3.65/2.38
3.65/2.38 num=49, depth=13..21, filters=42528, revisions=(27771,useless=20985), ccks=3735, wck=0.199, mem=37M156
3.65/2.38 decisions=3951, wrong=1576, backtracks=1356, failedAssignments=905, nogoods=151, foundSolutions=8, bestBound=13
3.65/2.38
3.65/2.39 num=50, depth=13..20, filters=44013, revisions=(28671,useless=21664), ccks=3823, wck=0.202, mem=37M156
3.65/2.39 decisions=4065, wrong=1626, backtracks=1395, failedAssignments=936, nogoods=156, foundSolutions=8, bestBound=13
3.65/2.39
3.65/2.39 num=51, depth=13..22, filters=45584, revisions=(29679,useless=22443), ccks=3932, wck=0.205, mem=37M156
3.65/2.39 decisions=4202, wrong=1688, backtracks=1458, failedAssignments=970, nogoods=159, foundSolutions=8, bestBound=13
3.65/2.39
3.65/2.39 num=52, depth=12..21, filters=46966, revisions=(30573,useless=23095), ccks=4054, wck=0.208, mem=37M156
3.65/2.39 decisions=4343, wrong=1750, backtracks=1509, failedAssignments=1007, nogoods=164, foundSolutions=8, bestBound=13
3.65/2.39
3.96/2.40 num=53, depth=13..21, filters=49082, revisions=(31681,useless=23889), ccks=4133, wck=0.213, mem=37M156
3.96/2.40 decisions=4504, wrong=1822, backtracks=1570, failedAssignments=1048, nogoods=168, foundSolutions=8, bestBound=13
3.96/2.40
3.96/2.40 num=54, depth=13..22, filters=50739, revisions=(32878,useless=24762), ccks=4326, wck=0.216, mem=37M156
3.96/2.40 decisions=4669, wrong=1897, backtracks=1642, failedAssignments=1093, nogoods=172, foundSolutions=8, bestBound=13
3.96/2.40
3.96/2.41 num=55, depth=12..21, filters=53144, revisions=(34449,useless=25940), ccks=4547, wck=0.221, mem=37M156
3.96/2.41 decisions=4884, wrong=1998, backtracks=1736, failedAssignments=1143, nogoods=177, foundSolutions=8, bestBound=13
3.96/2.41
3.96/2.41 num=56, depth=11..21, filters=55776, revisions=(35901,useless=26978), ccks=4684, wck=0.226, mem=37M156
3.96/2.41 decisions=5102, wrong=2101, backtracks=1826, failedAssignments=1198, nogoods=182, foundSolutions=8, bestBound=13
3.96/2.41
3.96/2.42 num=57, depth=13..23, filters=57868, revisions=(37459,useless=28131), ccks=4939, wck=0.23, mem=37M156
3.96/2.42 decisions=5318, wrong=2202, backtracks=1922, failedAssignments=1259, nogoods=185, foundSolutions=8, bestBound=13
3.96/2.42
3.96/2.42 num=58, depth=13..24, filters=61193, revisions=(39301,useless=29474), ccks=5137, wck=0.236, mem=37M156
3.96/2.42 decisions=5583, wrong=2328, backtracks=2034, failedAssignments=1326, nogoods=189, foundSolutions=8, bestBound=13
3.96/2.42
3.96/2.43 num=59, depth=11..22, filters=64655, revisions=(41348,useless=30957), ccks=5343, wck=0.243, mem=37M156
3.96/2.43 decisions=5893, wrong=2476, backtracks=2169, failedAssignments=1400, nogoods=194, foundSolutions=8, bestBound=13
3.96/2.43
3.96/2.44 num=60, depth=11..23, filters=68349, revisions=(43574,useless=32605), ccks=5614, wck=0.25, mem=37M156
3.96/2.44 decisions=6192, wrong=2619, backtracks=2300, failedAssignments=1481, nogoods=200, foundSolutions=8, bestBound=13
3.96/2.44
3.96/2.44 num=61, depth=13..22, filters=72047, revisions=(45352,useless=33840), ccks=5712, wck=0.257, mem=37M156
3.96/2.44 decisions=6515, wrong=2773, backtracks=2435, failedAssignments=1570, nogoods=204, foundSolutions=8, bestBound=13
3.96/2.44
3.96/2.45 num=62, depth=10..23, filters=76260, revisions=(48078,useless=35851), ccks=6054, wck=0.265, mem=39M798
3.96/2.45 decisions=6911, wrong=2964, backtracks=2614, failedAssignments=1668, nogoods=207, foundSolutions=8, bestBound=13
3.96/2.45
3.96/2.46 o 14
3.96/2.46 num=63, depth=10..71, filters=78233, revisions=(49357,useless=36807), ccks=6299, wck=0.27, mem=39M798
3.96/2.46 decisions=7086, wrong=3042, backtracks=2680, failedAssignments=1714, nogoods=214, foundSolutions=9, bestBound=14
3.96/2.46
3.96/2.47 num=64, depth=8..20, filters=84320, revisions=(53429,useless=39934), ccks=6527, wck=0.279, mem=39M798
3.96/2.47 decisions=7588, wrong=3286, backtracks=2910, failedAssignments=1833, nogoods=217, foundSolutions=9, bestBound=14
3.96/2.47
3.96/2.47 num=65, depth=12..18, filters=84924, revisions=(53819,useless=40228), ccks=6569, wck=0.281, mem=39M798
3.96/2.47 decisions=7645, wrong=3308, backtracks=2929, failedAssignments=1844, nogoods=219, foundSolutions=9, bestBound=14
3.96/2.47
3.96/2.47 num=66, depth=11..19, filters=85565, revisions=(54203,useless=40517), ccks=6601, wck=0.282, mem=39M798
3.96/2.47 decisions=7702, wrong=3329, backtracks=2942, failedAssignments=1856, nogoods=223, foundSolutions=9, bestBound=14
3.96/2.47
3.96/2.47 num=67, depth=11..18, filters=86276, revisions=(54631,useless=40844), ccks=6623, wck=0.283, mem=39M798
3.96/2.47 decisions=7761, wrong=3352, backtracks=2963, failedAssignments=1869, nogoods=225, foundSolutions=9, bestBound=14
3.96/2.47
3.96/2.47 num=68, depth=12..18, filters=86901, revisions=(55016,useless=41134), ccks=6653, wck=0.284, mem=39M798
3.96/2.47 decisions=7816, wrong=3373, backtracks=2981, failedAssignments=1883, nogoods=228, foundSolutions=9, bestBound=14
3.96/2.47
3.96/2.48 num=69, depth=13..20, filters=87826, revisions=(55600,useless=41582), ccks=6681, wck=0.286, mem=39M798
3.96/2.48 decisions=7881, wrong=3399, backtracks=3002, failedAssignments=1899, nogoods=232, foundSolutions=9, bestBound=14
3.96/2.48
3.96/2.48 num=70, depth=12..19, filters=88564, revisions=(56051,useless=41915), ccks=6723, wck=0.287, mem=39M798
3.96/2.48 decisions=7946, wrong=3424, backtracks=3022, failedAssignments=1916, nogoods=236, foundSolutions=9, bestBound=14
3.96/2.48
3.96/2.48 num=71, depth=13..20, filters=89558, revisions=(56650,useless=42370), ccks=6764, wck=0.289, mem=39M798
3.96/2.48 decisions=8027, wrong=3458, backtracks=3056, failedAssignments=1935, nogoods=237, foundSolutions=9, bestBound=14
3.96/2.48
3.96/2.48 num=72, depth=10..17, filters=90499, revisions=(57202,useless=42780), ccks=6785, wck=0.29, mem=39M798
3.96/2.48 decisions=8113, wrong=3495, backtracks=3090, failedAssignments=1956, nogoods=239, foundSolutions=9, bestBound=14
3.96/2.48
3.96/2.48 num=73, depth=13..20, filters=91705, revisions=(57963,useless=43329), ccks=6869, wck=0.292, mem=39M798
3.96/2.48 decisions=8220, wrong=3541, backtracks=3132, failedAssignments=1979, nogoods=242, foundSolutions=9, bestBound=14
3.96/2.48
3.96/2.48 num=74, depth=13..19, filters=92513, revisions=(58438,useless=43672), ccks=6905, wck=0.294, mem=39M798
3.96/2.48 decisions=8307, wrong=3578, backtracks=3169, failedAssignments=2004, nogoods=246, foundSolutions=9, bestBound=14
3.96/2.48
3.96/2.48 num=75, depth=10..20, filters=93643, revisions=(59187,useless=44219), ccks=7014, wck=0.296, mem=39M798
3.96/2.48 decisions=8421, wrong=3628, backtracks=3211, failedAssignments=2032, nogoods=249, foundSolutions=9, bestBound=14
3.96/2.48
3.96/2.49 num=76, depth=12..19, filters=95062, revisions=(60147,useless=44923), ccks=7152, wck=0.298, mem=39M798
3.96/2.49 decisions=8541, wrong=3681, backtracks=3256, failedAssignments=2063, nogoods=253, foundSolutions=9, bestBound=14
3.96/2.49
3.96/2.49 num=77, depth=11..19, filters=96474, revisions=(60988,useless=45544), ccks=7227, wck=0.301, mem=39M798
3.96/2.49 decisions=8661, wrong=3735, backtracks=3303, failedAssignments=2097, nogoods=255, foundSolutions=9, bestBound=14
3.96/2.49
3.96/2.49 num=78, depth=11..21, filters=98180, revisions=(62228,useless=46486), ccks=7402, wck=0.304, mem=39M798
3.96/2.49 decisions=8809, wrong=3803, backtracks=3368, failedAssignments=2134, nogoods=257, foundSolutions=9, bestBound=14
3.96/2.49
3.96/2.49 num=79, depth=13..20, filters=99823, revisions=(63335,useless=47293), ccks=7539, wck=0.306, mem=39M798
3.96/2.49 decisions=8978, wrong=3879, backtracks=3434, failedAssignments=2175, nogoods=264, foundSolutions=9, bestBound=14
3.96/2.49
3.96/2.50 num=80, depth=13..21, filters=101525, revisions=(64329,useless=48028), ccks=7608, wck=0.309, mem=39M798
3.96/2.50 decisions=9141, wrong=3953, backtracks=3502, failedAssignments=2220, nogoods=268, foundSolutions=9, bestBound=14
3.96/2.50
4.28/2.50 num=81, depth=12..21, filters=103420, revisions=(65493,useless=48887), ccks=7731, wck=0.313, mem=39M798
4.28/2.50 decisions=9321, wrong=4035, backtracks=3579, failedAssignments=2270, nogoods=272, foundSolutions=9, bestBound=14
4.28/2.50
4.28/2.50 num=82, depth=10..20, filters=105937, revisions=(67168,useless=50144), ccks=7946, wck=0.317, mem=39M798
4.28/2.50 decisions=9534, wrong=4133, backtracks=3667, failedAssignments=2325, nogoods=275, foundSolutions=9, bestBound=14
4.28/2.50
4.28/2.51 num=83, depth=12..22, filters=108698, revisions=(68853,useless=51396), ccks=8102, wck=0.321, mem=39M798
4.28/2.51 decisions=9760, wrong=4239, backtracks=3759, failedAssignments=2386, nogoods=280, foundSolutions=9, bestBound=14
4.28/2.51
4.28/2.51 num=84, depth=11..22, filters=111524, revisions=(70654,useless=52719), ccks=8287, wck=0.326, mem=39M798
4.28/2.51 decisions=10021, wrong=4362, backtracks=3870, failedAssignments=2453, nogoods=284, foundSolutions=9, bestBound=14
4.28/2.51
4.28/2.52 num=85, depth=10..21, filters=114847, revisions=(72782,useless=54300), ccks=8562, wck=0.332, mem=39M798
4.28/2.52 decisions=10323, wrong=4508, backtracks=3998, failedAssignments=2527, nogoods=285, foundSolutions=9, bestBound=14
4.28/2.52
4.28/2.52 num=86, depth=9..20, filters=118295, revisions=(74698,useless=55658), ccks=8752, wck=0.337, mem=39M798
4.28/2.52 decisions=10623, wrong=4650, backtracks=4119, failedAssignments=2608, nogoods=290, foundSolutions=9, bestBound=14
4.28/2.52
4.28/2.53 num=87, depth=10..22, filters=122258, revisions=(77225,useless=57530), ccks=9016, wck=0.343, mem=39M798
4.28/2.53 decisions=10962, wrong=4813, backtracks=4270, failedAssignments=2697, nogoods=294, foundSolutions=9, bestBound=14
4.28/2.53
4.28/2.53 num=88, depth=10..21, filters=126344, revisions=(79770,useless=59376), ccks=9364, wck=0.349, mem=42M440
4.28/2.53 decisions=11333, wrong=4991, backtracks=4434, failedAssignments=2795, nogoods=297, foundSolutions=9, bestBound=14
4.28/2.53
4.28/2.54 num=89, depth=11..22, filters=131659, revisions=(83124,useless=61803), ccks=9756, wck=0.357, mem=42M440
4.28/2.54 decisions=11789, wrong=5213, backtracks=4645, failedAssignments=2903, nogoods=302, foundSolutions=9, bestBound=14
4.28/2.54
4.28/2.55 num=90, depth=9..22, filters=136802, revisions=(86503,useless=64364), ccks=10168, wck=0.364, mem=42M440
4.28/2.55 decisions=12227, wrong=5426, backtracks=4828, failedAssignments=3022, nogoods=308, foundSolutions=9, bestBound=14
4.28/2.55
4.28/2.56 num=91, depth=10..26, filters=143028, revisions=(90206,useless=67034), ccks=10628, wck=0.372, mem=42M440
4.28/2.56 decisions=12734, wrong=5672, backtracks=5052, failedAssignments=3153, nogoods=313, foundSolutions=9, bestBound=14
4.28/2.56
4.28/2.57 num=92, depth=10..24, filters=148469, revisions=(94134,useless=69914), ccks=11205, wck=0.379, mem=42M440
4.28/2.57 decisions=13274, wrong=5934, backtracks=5292, failedAssignments=3297, nogoods=316, foundSolutions=9, bestBound=14
4.28/2.57
4.28/2.58 num=93, depth=9..22, filters=156498, revisions=(99303,useless=73790), ccks=11862, wck=0.39, mem=42M440
4.28/2.58 decisions=13925, wrong=6253, backtracks=5580, failedAssignments=3455, nogoods=321, foundSolutions=9, bestBound=14
4.28/2.58
4.28/2.59 num=94, depth=7..19, filters=165441, revisions=(104981,useless=77973), ccks=12424, wck=0.401, mem=42M440
4.28/2.59 decisions=14629, wrong=6600, backtracks=5893, failedAssignments=3629, nogoods=327, foundSolutions=9, bestBound=14
4.28/2.59
4.28/2.59 o 15
4.28/2.59 num=95, depth=11..71, filters=169734, revisions=(108131,useless=80330), ccks=12973, wck=0.408, mem=42M440
4.28/2.59 decisions=15018, wrong=6788, backtracks=6065, failedAssignments=3740, nogoods=335, foundSolutions=10, bestBound=15
4.28/2.59
4.58/2.61 num=96, depth=6..19, filters=180060, revisions=(115163,useless=85770), ccks=13529, wck=0.421, mem=42M440
4.58/2.61 decisions=15871, wrong=7210, backtracks=6454, failedAssignments=3951, nogoods=344, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.61 num=97, depth=11..19, filters=180580, revisions=(115522,useless=86036), ccks=13585, wck=0.421, mem=42M440
4.58/2.61 decisions=15926, wrong=7231, backtracks=6472, failedAssignments=3962, nogoods=346, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.61 num=98, depth=11..18, filters=181131, revisions=(115851,useless=86269), ccks=13623, wck=0.422, mem=42M440
4.58/2.61 decisions=15984, wrong=7253, backtracks=6489, failedAssignments=3974, nogoods=349, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.61 num=99, depth=11..19, filters=181690, revisions=(116200,useless=86522), ccks=13650, wck=0.423, mem=42M440
4.58/2.61 decisions=16041, wrong=7275, backtracks=6506, failedAssignments=3987, nogoods=351, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.61 num=100, depth=10..17, filters=182545, revisions=(116595,useless=86795), ccks=13664, wck=0.424, mem=42M440
4.58/2.61 decisions=16111, wrong=7305, backtracks=6533, failedAssignments=4001, nogoods=352, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.61 num=101, depth=10..18, filters=183368, revisions=(117149,useless=87193), ccks=13736, wck=0.425, mem=42M440
4.58/2.61 decisions=16187, wrong=7336, backtracks=6558, failedAssignments=4017, nogoods=357, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.61 num=102, depth=11..16, filters=184064, revisions=(117538,useless=87475), ccks=13747, wck=0.426, mem=42M440
4.58/2.61 decisions=16254, wrong=7363, backtracks=6577, failedAssignments=4034, nogoods=363, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.61 num=103, depth=11..20, filters=185079, revisions=(118181,useless=87954), ccks=13816, wck=0.428, mem=42M440
4.58/2.61 decisions=16332, wrong=7396, backtracks=6606, failedAssignments=4053, nogoods=366, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.61 num=104, depth=12..22, filters=185990, revisions=(118765,useless=88382), ccks=13881, wck=0.429, mem=42M440
4.58/2.61 decisions=16419, wrong=7433, backtracks=6639, failedAssignments=4074, nogoods=368, foundSolutions=10, bestBound=15
4.58/2.61
4.58/2.62 num=105, depth=12..19, filters=187084, revisions=(119310,useless=88759), ccks=13908, wck=0.431, mem=45M83
4.58/2.62 decisions=16513, wrong=7474, backtracks=6678, failedAssignments=4097, nogoods=371, foundSolutions=10, bestBound=15
4.58/2.62
4.58/2.62 num=106, depth=12..20, filters=188376, revisions=(120086,useless=89340), ccks=13991, wck=0.432, mem=45M83
4.58/2.62 decisions=16622, wrong=7521, backtracks=6714, failedAssignments=4122, nogoods=376, foundSolutions=10, bestBound=15
4.58/2.62
4.58/2.62 num=107, depth=11..20, filters=189467, revisions=(120645,useless=89742), ccks=14012, wck=0.434, mem=45M83
4.58/2.62 decisions=16721, wrong=7565, backtracks=6756, failedAssignments=4150, nogoods=377, foundSolutions=10, bestBound=15
4.58/2.62
4.58/2.62 num=108, depth=11..20, filters=190753, revisions=(121310,useless=90212), ccks=14053, wck=0.436, mem=45M83
4.58/2.62 decisions=16836, wrong=7616, backtracks=6801, failedAssignments=4181, nogoods=381, foundSolutions=10, bestBound=15
4.58/2.62
4.58/2.62 o 16
4.58/2.62 num=109, depth=12..71, filters=191458, revisions=(121753,useless=90555), ccks=14182, wck=0.437, mem=45M83
4.58/2.62 decisions=16905, wrong=7642, backtracks=6815, failedAssignments=4198, nogoods=389, foundSolutions=11, bestBound=16
4.58/2.62
4.58/2.63 num=110, depth=10..20, filters=193176, revisions=(122794,useless=91344), ccks=14260, wck=0.439, mem=45M83
4.58/2.63 decisions=17056, wrong=7712, backtracks=6878, failedAssignments=4235, nogoods=391, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.63 num=111, depth=9..16, filters=193831, revisions=(123182,useless=91638), ccks=14298, wck=0.44, mem=45M83
4.58/2.63 decisions=17114, wrong=7735, backtracks=6896, failedAssignments=4246, nogoods=393, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.63 num=112, depth=11..17, filters=194426, revisions=(123526,useless=91892), ccks=14326, wck=0.441, mem=45M83
4.58/2.63 decisions=17165, wrong=7754, backtracks=6912, failedAssignments=4258, nogoods=395, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.63 num=113, depth=10..19, filters=195069, revisions=(123952,useless=92204), ccks=14384, wck=0.442, mem=45M83
4.58/2.63 decisions=17228, wrong=7778, backtracks=6934, failedAssignments=4271, nogoods=398, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.63 num=114, depth=11..19, filters=195555, revisions=(124230,useless=92407), ccks=14398, wck=0.443, mem=45M83
4.58/2.63 decisions=17278, wrong=7797, backtracks=6951, failedAssignments=4285, nogoods=401, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.63 num=115, depth=11..23, filters=196126, revisions=(124608,useless=92685), ccks=14441, wck=0.444, mem=45M83
4.58/2.63 decisions=17334, wrong=7818, backtracks=6964, failedAssignments=4301, nogoods=407, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.63 num=116, depth=13..19, filters=196839, revisions=(124993,useless=92962), ccks=14453, wck=0.445, mem=45M83
4.58/2.63 decisions=17403, wrong=7845, backtracks=6987, failedAssignments=4318, nogoods=409, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.63 num=117, depth=10..18, filters=197888, revisions=(125546,useless=93355), ccks=14500, wck=0.446, mem=45M83
4.58/2.63 decisions=17487, wrong=7882, backtracks=7017, failedAssignments=4337, nogoods=412, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.63 num=118, depth=9..15, filters=198802, revisions=(126089,useless=93745), ccks=14558, wck=0.448, mem=45M83
4.58/2.63 decisions=17568, wrong=7917, backtracks=7046, failedAssignments=4358, nogoods=416, foundSolutions=11, bestBound=16
4.58/2.63
4.58/2.64 num=119, depth=13..20, filters=199735, revisions=(126645,useless=94148), ccks=14625, wck=0.449, mem=45M83
4.58/2.64 decisions=17652, wrong=7952, backtracks=7076, failedAssignments=4381, nogoods=420, foundSolutions=11, bestBound=16
4.58/2.64
4.58/2.64 num=120, depth=13..20, filters=200709, revisions=(127172,useless=94519), ccks=14665, wck=0.45, mem=45M83
4.58/2.64 decisions=17745, wrong=7992, backtracks=7111, failedAssignments=4406, nogoods=423, foundSolutions=11, bestBound=16
4.58/2.64
4.58/2.64 num=121, depth=10..20, filters=201960, revisions=(127990,useless=95125), ccks=14772, wck=0.452, mem=45M83
4.58/2.64 decisions=17861, wrong=8043, backtracks=7152, failedAssignments=4434, nogoods=429, foundSolutions=11, bestBound=16
4.58/2.64
4.58/2.64 num=122, depth=12..19, filters=203308, revisions=(128750,useless=95668), ccks=14838, wck=0.454, mem=45M83
4.58/2.64 decisions=17989, wrong=8100, backtracks=7201, failedAssignments=4465, nogoods=434, foundSolutions=11, bestBound=16
4.58/2.64
4.58/2.64 num=123, depth=9..19, filters=204711, revisions=(129573,useless=96248), ccks=14920, wck=0.456, mem=45M83
4.58/2.64 decisions=18121, wrong=8159, backtracks=7253, failedAssignments=4499, nogoods=436, foundSolutions=11, bestBound=16
4.58/2.64
4.58/2.64 num=124, depth=10..21, filters=206133, revisions=(130393,useless=96828), ccks=14998, wck=0.458, mem=45M83
4.58/2.64 decisions=18246, wrong=8215, backtracks=7304, failedAssignments=4536, nogoods=438, foundSolutions=11, bestBound=16
4.58/2.64
4.58/2.65 num=125, depth=11..19, filters=208116, revisions=(131442,useless=97589), ccks=15035, wck=0.46, mem=45M83
4.58/2.65 decisions=18426, wrong=8297, backtracks=7380, failedAssignments=4577, nogoods=441, foundSolutions=11, bestBound=16
4.58/2.65
4.58/2.65 num=126, depth=10..19, filters=210623, revisions=(133013,useless=98752), ccks=15239, wck=0.463, mem=45M83
4.58/2.65 decisions=18632, wrong=8394, backtracks=7465, failedAssignments=4622, nogoods=447, foundSolutions=11, bestBound=16
4.58/2.65
4.58/2.66 num=127, depth=12..22, filters=212785, revisions=(134297,useless=99668), ccks=15385, wck=0.466, mem=45M83
4.58/2.66 decisions=18823, wrong=8483, backtracks=7543, failedAssignments=4672, nogoods=451, foundSolutions=11, bestBound=16
4.58/2.66
4.58/2.66 num=128, depth=10..20, filters=215285, revisions=(136097,useless=101002), ccks=15699, wck=0.469, mem=45M83
4.58/2.66 decisions=19029, wrong=8578, backtracks=7631, failedAssignments=4727, nogoods=454, foundSolutions=11, bestBound=16
4.58/2.66
4.58/2.66 num=129, depth=10..21, filters=218185, revisions=(137858,useless=102274), ccks=15881, wck=0.473, mem=45M83
4.58/2.66 decisions=19285, wrong=8699, backtracks=7741, failedAssignments=4788, nogoods=458, foundSolutions=11, bestBound=16
4.58/2.66
4.58/2.66 num=130, depth=9..20, filters=221337, revisions=(139793,useless=103656), ccks=16107, wck=0.477, mem=45M83
4.58/2.66 decisions=19543, wrong=8823, backtracks=7851, failedAssignments=4855, nogoods=462, foundSolutions=11, bestBound=16
4.58/2.66
4.58/2.67 num=131, depth=11..23, filters=224413, revisions=(141493,useless=104874), ccks=16305, wck=0.481, mem=45M83
4.58/2.67 decisions=19804, wrong=8947, backtracks=7959, failedAssignments=4929, nogoods=465, foundSolutions=11, bestBound=16
4.58/2.67
4.58/2.67 num=132, depth=9..20, filters=227500, revisions=(143304,useless=106182), ccks=16508, wck=0.484, mem=45M83
4.58/2.67 decisions=20102, wrong=9090, backtracks=8090, failedAssignments=5010, nogoods=468, foundSolutions=11, bestBound=16
4.58/2.67
4.58/2.67 num=133, depth=9..22, filters=231252, revisions=(145650,useless=107903), ccks=16760, wck=0.489, mem=45M83
4.58/2.67 decisions=20443, wrong=9254, backtracks=8239, failedAssignments=5099, nogoods=475, foundSolutions=11, bestBound=16
4.58/2.67
4.58/2.68 num=134, depth=11..23, filters=236399, revisions=(148744,useless=110211), ccks=17103, wck=0.495, mem=45M83
4.58/2.68 decisions=20861, wrong=9456, backtracks=8427, failedAssignments=5197, nogoods=480, foundSolutions=11, bestBound=16
4.58/2.68
4.58/2.69 num=135, depth=10..23, filters=241296, revisions=(152185,useless=112819), ccks=17650, wck=0.501, mem=45M83
4.58/2.69 decisions=21288, wrong=9662, backtracks=8623, failedAssignments=5305, nogoods=482, foundSolutions=11, bestBound=16
4.58/2.69
4.58/2.69 num=136, depth=10..23, filters=246177, revisions=(155033,useless=114831), ccks=17962, wck=0.507, mem=47M725
4.58/2.69 decisions=21712, wrong=9869, backtracks=8818, failedAssignments=5424, nogoods=483, foundSolutions=11, bestBound=16
4.58/2.69
4.91/2.70 num=137, depth=8..22, filters=252299, revisions=(159203,useless=117926), ccks=18551, wck=0.514, mem=47M725
4.91/2.70 decisions=22245, wrong=10131, backtracks=9049, failedAssignments=5555, nogoods=489, foundSolutions=11, bestBound=16
4.91/2.70
4.91/2.71 num=138, depth=9..22, filters=258445, revisions=(162791,useless=120507), ccks=18885, wck=0.521, mem=47M725
4.91/2.71 decisions=22768, wrong=10388, backtracks=9285, failedAssignments=5699, nogoods=493, foundSolutions=11, bestBound=16
4.91/2.71
4.91/2.71 num=139, depth=8..20, filters=265640, revisions=(166823,useless=123457), ccks=19256, wck=0.528, mem=47M725
4.91/2.71 decisions=23416, wrong=10708, backtracks=9579, failedAssignments=5857, nogoods=498, foundSolutions=11, bestBound=16
4.91/2.71
4.91/2.72 num=140, depth=8..21, filters=273208, revisions=(171906,useless=127238), ccks=19899, wck=0.537, mem=47M725
4.91/2.72 decisions=24084, wrong=11038, backtracks=9871, failedAssignments=6031, nogoods=500, foundSolutions=11, bestBound=16
4.91/2.72
4.91/2.73 num=141, depth=9..22, filters=281783, revisions=(177813,useless=131655), ccks=20690, wck=0.546, mem=47M725
4.91/2.73 decisions=24855, wrong=11417, backtracks=10234, failedAssignments=6222, nogoods=506, foundSolutions=11, bestBound=16
4.91/2.73
4.91/2.74 num=142, depth=8..21, filters=289795, revisions=(183521,useless=135812), ccks=21582, wck=0.555, mem=47M725
4.91/2.74 decisions=25621, wrong=11793, backtracks=10582, failedAssignments=6433, nogoods=511, foundSolutions=11, bestBound=16
4.91/2.74
4.91/2.75 num=143, depth=8..22, filters=300724, revisions=(190659,useless=141122), ccks=22605, wck=0.567, mem=47M725
4.91/2.75 decisions=26533, wrong=12242, backtracks=10994, failedAssignments=6665, nogoods=517, foundSolutions=11, bestBound=16
4.91/2.75
4.91/2.77 num=144, depth=7..21, filters=311964, revisions=(198324,useless=146834), ccks=23533, wck=0.579, mem=47M725
4.91/2.77 decisions=27514, wrong=12726, backtracks=11444, failedAssignments=6920, nogoods=522, foundSolutions=11, bestBound=16
4.91/2.77
4.91/2.78 num=145, depth=5..20, filters=325437, revisions=(207639,useless=153879), ccks=24615, wck=0.594, mem=50M368
4.91/2.78 decisions=28669, wrong=13298, backtracks=11984, failedAssignments=7201, nogoods=525, foundSolutions=11, bestBound=16
4.91/2.78
4.91/2.79 num=146, depth=6..21, filters=339375, revisions=(216803,useless=160624), ccks=25610, wck=0.609, mem=50M368
4.91/2.79 decisions=29815, wrong=13866, backtracks=12513, failedAssignments=7510, nogoods=530, foundSolutions=11, bestBound=16
4.91/2.79
5.21/2.81 num=147, depth=7..21, filters=356069, revisions=(226880,useless=168040), ccks=26623, wck=0.626, mem=50M368
5.21/2.81 decisions=31181, wrong=14544, backtracks=13121, failedAssignments=7850, nogoods=535, foundSolutions=11, bestBound=16
5.21/2.81
5.21/2.83 num=148, depth=7..21, filters=374428, revisions=(237904,useless=176021), ccks=27604, wck=0.644, mem=50M368
5.21/2.83 decisions=32691, wrong=15292, backtracks=13806, failedAssignments=8224, nogoods=540, foundSolutions=11, bestBound=16
5.21/2.83
5.21/2.85 num=149, depth=7..23, filters=392774, revisions=(249864,useless=184704), ccks=28964, wck=0.663, mem=50M368
5.21/2.85 decisions=34328, wrong=16106, backtracks=14553, failedAssignments=8635, nogoods=547, foundSolutions=11, bestBound=16
5.21/2.85
5.21/2.87 num=150, depth=8..22, filters=413992, revisions=(263379,useless=194629), ccks=30653, wck=0.686, mem=53M10
5.21/2.87 decisions=36131, wrong=17002, backtracks=15387, failedAssignments=9087, nogoods=553, foundSolutions=11, bestBound=16
5.21/2.87
5.42/2.90 num=151, depth=7..23, filters=438706, revisions=(278871,useless=206152), ccks=31965, wck=0.711, mem=53M10
5.42/2.90 decisions=38135, wrong=17998, backtracks=16304, failedAssignments=9584, nogoods=555, foundSolutions=11, bestBound=16
5.42/2.90
5.42/2.93 num=152, depth=6..22, filters=468572, revisions=(298252,useless=220460), ccks=33827, wck=0.742, mem=53M10
5.42/2.93 decisions=40390, wrong=19119, backtracks=17325, failedAssignments=10131, nogoods=560, foundSolutions=11, bestBound=16
5.42/2.93
5.42/2.96 num=153, depth=6..23, filters=495923, revisions=(316399,useless=233913), ccks=36145, wck=0.77, mem=55M653
5.42/2.96 decisions=42830, wrong=20332, backtracks=18469, failedAssignments=10733, nogoods=565, foundSolutions=11, bestBound=16
5.42/2.96
5.42/2.97 o 17
5.42/2.97 num=154, depth=6..71, filters=507176, revisions=(323239,useless=238886), ccks=36852, wck=0.783, mem=55M653
5.42/2.97 decisions=43752, wrong=20786, backtracks=18892, failedAssignments=10977, nogoods=574, foundSolutions=12, bestBound=17
5.42/2.97
5.63/3.01 num=155, depth=3..20, filters=544080, revisions=(348368,useless=257407), ccks=39391, wck=0.823, mem=55M653
5.63/3.01 decisions=46787, wrong=22299, backtracks=20300, failedAssignments=11705, nogoods=581, foundSolutions=12, bestBound=17
5.63/3.01
5.63/3.01 num=156, depth=13..20, filters=544551, revisions=(348686,useless=257645), ccks=39426, wck=0.824, mem=55M653
5.63/3.01 decisions=46830, wrong=22314, backtracks=20311, failedAssignments=11716, nogoods=585, foundSolutions=12, bestBound=17
5.63/3.01
5.63/3.01 num=157, depth=11..18, filters=545124, revisions=(349069,useless=257927), ccks=39467, wck=0.824, mem=55M653
5.63/3.01 decisions=46880, wrong=22332, backtracks=20326, failedAssignments=11728, nogoods=589, foundSolutions=12, bestBound=17
5.63/3.01
5.63/3.01 num=158, depth=11..18, filters=545734, revisions=(349472,useless=258227), ccks=39491, wck=0.825, mem=55M653
5.63/3.01 decisions=46935, wrong=22354, backtracks=20347, failedAssignments=11741, nogoods=590, foundSolutions=12, bestBound=17
5.63/3.01
5.63/3.01 num=159, depth=12..17, filters=546313, revisions=(349836,useless=258499), ccks=39523, wck=0.826, mem=55M653
5.63/3.01 decisions=46991, wrong=22375, backtracks=20365, failedAssignments=11755, nogoods=593, foundSolutions=12, bestBound=17
5.63/3.01
5.63/3.01 num=160, depth=11..18, filters=546901, revisions=(350211,useless=258776), ccks=39559, wck=0.827, mem=55M653
5.63/3.01 decisions=47050, wrong=22398, backtracks=20384, failedAssignments=11771, nogoods=596, foundSolutions=12, bestBound=17
5.63/3.01
5.63/3.01 num=161, depth=11..18, filters=547566, revisions=(350617,useless=259078), ccks=39584, wck=0.828, mem=55M653
5.63/3.01 decisions=47115, wrong=22423, backtracks=20405, failedAssignments=11788, nogoods=599, foundSolutions=12, bestBound=17
5.63/3.01
5.63/3.01 num=162, depth=10..17, filters=548631, revisions=(351269,useless=259568), ccks=39642, wck=0.829, mem=55M653
5.63/3.01 decisions=47193, wrong=22455, backtracks=20430, failedAssignments=11807, nogoods=602, foundSolutions=12, bestBound=17
5.63/3.01
5.63/3.02 num=163, depth=10..19, filters=550003, revisions=(352197,useless=260265), ccks=39759, wck=0.831, mem=55M653
5.63/3.02 decisions=47292, wrong=22499, backtracks=20469, failedAssignments=11828, nogoods=606, foundSolutions=12, bestBound=17
5.63/3.02
5.63/3.02 num=164, depth=12..19, filters=550907, revisions=(352745,useless=260669), ccks=39803, wck=0.832, mem=55M653
5.63/3.02 decisions=47371, wrong=22532, backtracks=20495, failedAssignments=11851, nogoods=614, foundSolutions=12, bestBound=17
5.63/3.02
5.63/3.02 num=165, depth=11..19, filters=552056, revisions=(353536,useless=261252), ccks=39922, wck=0.833, mem=58M295
5.63/3.02 decisions=47484, wrong=22582, backtracks=20540, failedAssignments=11876, nogoods=617, foundSolutions=12, bestBound=17
5.63/3.02
5.63/3.02 num=166, depth=10..19, filters=553504, revisions=(354490,useless=261973), ccks=40058, wck=0.835, mem=58M295
5.63/3.02 decisions=47592, wrong=22630, backtracks=20582, failedAssignments=11904, nogoods=620, foundSolutions=12, bestBound=17
5.63/3.02
5.63/3.02 num=167, depth=10..22, filters=554768, revisions=(355341,useless=262607), ccks=40160, wck=0.837, mem=58M295
5.63/3.02 decisions=47708, wrong=22683, backtracks=20628, failedAssignments=11935, nogoods=626, foundSolutions=12, bestBound=17
5.63/3.02
5.63/3.02 num=168, depth=12..21, filters=556481, revisions=(356412,useless=263390), ccks=40238, wck=0.839, mem=58M295
5.63/3.02 decisions=47851, wrong=22748, backtracks=20684, failedAssignments=11969, nogoods=632, foundSolutions=12, bestBound=17
5.63/3.02
5.63/3.03 num=169, depth=10..19, filters=557888, revisions=(357280,useless=264026), ccks=40332, wck=0.841, mem=58M295
5.63/3.03 decisions=47983, wrong=22809, backtracks=20737, failedAssignments=12006, nogoods=636, foundSolutions=12, bestBound=17
5.63/3.03
5.63/3.03 num=170, depth=11..21, filters=559382, revisions=(358212,useless=264703), ccks=40453, wck=0.842, mem=58M295
5.63/3.03 decisions=48121, wrong=22872, backtracks=20794, failedAssignments=12047, nogoods=640, foundSolutions=12, bestBound=17
5.63/3.03
5.63/3.03 num=171, depth=9..21, filters=561293, revisions=(359461,useless=265595), ccks=40629, wck=0.845, mem=58M295
5.63/3.03 decisions=48297, wrong=22954, backtracks=20868, failedAssignments=12092, nogoods=645, foundSolutions=12, bestBound=17
5.63/3.03
5.63/3.03 num=172, depth=9..20, filters=563851, revisions=(360987,useless=266697), ccks=40776, wck=0.848, mem=58M295
5.63/3.03 decisions=48470, wrong=23034, backtracks=20940, failedAssignments=12142, nogoods=649, foundSolutions=12, bestBound=17
5.63/3.03
5.63/3.04 num=173, depth=10..22, filters=566070, revisions=(362409,useless=267745), ccks=40965, wck=0.851, mem=58M295
5.63/3.04 decisions=48678, wrong=23132, backtracks=21028, failedAssignments=12197, nogoods=653, foundSolutions=12, bestBound=17
5.63/3.04
5.63/3.04 num=174, depth=10..21, filters=568280, revisions=(363703,useless=268703), ccks=41076, wck=0.853, mem=58M295
5.63/3.04 decisions=48884, wrong=23229, backtracks=21115, failedAssignments=12258, nogoods=657, foundSolutions=12, bestBound=17
5.63/3.04
5.63/3.04 num=175, depth=7..19, filters=571566, revisions=(365863,useless=270270), ccks=41299, wck=0.857, mem=58M295
5.63/3.04 decisions=49178, wrong=23372, backtracks=21249, failedAssignments=12325, nogoods=660, foundSolutions=12, bestBound=17
5.63/3.04
5.63/3.05 num=176, depth=8..20, filters=575219, revisions=(368292,useless=272131), ccks=41558, wck=0.861, mem=58M295
5.63/3.05 decisions=49485, wrong=23519, backtracks=21384, failedAssignments=12399, nogoods=663, foundSolutions=12, bestBound=17
5.63/3.05
5.63/3.05 num=177, depth=8..21, filters=579117, revisions=(370679,useless=273925), ccks=41753, wck=0.865, mem=58M295
5.63/3.05 decisions=49798, wrong=23670, backtracks=21523, failedAssignments=12480, nogoods=666, foundSolutions=12, bestBound=17
5.63/3.05
5.63/3.06 num=178, depth=8..19, filters=583076, revisions=(373384,useless=276007), ccks=42030, wck=0.869, mem=58M295
5.63/3.06 decisions=50151, wrong=23841, backtracks=21677, failedAssignments=12569, nogoods=671, foundSolutions=12, bestBound=17
5.63/3.06
5.63/3.06 num=179, depth=10..22, filters=587461, revisions=(375948,useless=277819), ccks=42299, wck=0.874, mem=58M295
5.63/3.06 decisions=50527, wrong=24023, backtracks=21838, failedAssignments=12667, nogoods=675, foundSolutions=12, bestBound=17
5.63/3.06
5.63/3.07 num=180, depth=8..19, filters=591527, revisions=(378625,useless=279778), ccks=42651, wck=0.879, mem=58M295
5.63/3.07 decisions=50916, wrong=24212, backtracks=22014, failedAssignments=12775, nogoods=679, foundSolutions=12, bestBound=17
5.63/3.07
5.63/3.07 num=181, depth=7..20, filters=596005, revisions=(381503,useless=281867), ccks=43005, wck=0.885, mem=58M295
5.63/3.07 decisions=51349, wrong=24422, backtracks=22209, failedAssignments=12894, nogoods=683, foundSolutions=12, bestBound=17
5.63/3.07
5.63/3.08 num=182, depth=8..20, filters=602085, revisions=(385490,useless=284840), ccks=43452, wck=0.891, mem=58M295
5.63/3.08 decisions=51820, wrong=24652, backtracks=22419, failedAssignments=13025, nogoods=686, foundSolutions=12, bestBound=17
5.63/3.08
5.63/3.08 num=183, depth=8..22, filters=608205, revisions=(389472,useless=287738), ccks=43953, wck=0.898, mem=58M295
5.63/3.08 decisions=52400, wrong=24937, backtracks=22669, failedAssignments=13169, nogoods=692, foundSolutions=12, bestBound=17
5.63/3.08
5.63/3.09 num=184, depth=8..23, filters=616120, revisions=(394183,useless=291212), ccks=44264, wck=0.907, mem=58M295
5.63/3.09 decisions=53050, wrong=25254, backtracks=22965, failedAssignments=13327, nogoods=696, foundSolutions=12, bestBound=17
5.63/3.09
5.63/3.10 num=185, depth=8..21, filters=623178, revisions=(398562,useless=294411), ccks=44658, wck=0.915, mem=60M938
5.63/3.10 decisions=53662, wrong=25554, backtracks=23240, failedAssignments=13501, nogoods=702, foundSolutions=12, bestBound=17
5.63/3.10
5.86/3.11 num=186, depth=8..21, filters=631743, revisions=(403929,useless=298393), ccks=45176, wck=0.924, mem=60M938
5.86/3.11 decisions=54365, wrong=25901, backtracks=23557, failedAssignments=13692, nogoods=705, foundSolutions=12, bestBound=17
5.86/3.11
5.86/3.12 num=187, depth=7..22, filters=641794, revisions=(409932,useless=302794), ccks=45811, wck=0.935, mem=60M938
5.86/3.12 decisions=55167, wrong=26297, backtracks=23915, failedAssignments=13903, nogoods=708, foundSolutions=12, bestBound=17
5.86/3.12
5.86/3.13 num=188, depth=8..21, filters=651506, revisions=(416549,useless=307741), ccks=46683, wck=0.946, mem=60M938
5.86/3.13 decisions=56074, wrong=26746, backtracks=24313, failedAssignments=14135, nogoods=719, foundSolutions=12, bestBound=17
5.86/3.13
5.86/3.14 num=189, depth=7..21, filters=662711, revisions=(424978,useless=314159), ccks=47932, wck=0.958, mem=60M938
5.86/3.14 decisions=57067, wrong=27238, backtracks=24773, failedAssignments=14390, nogoods=723, foundSolutions=12, bestBound=17
5.86/3.14
5.86/3.16 num=190, depth=9..24, filters=675050, revisions=(433318,useless=320241), ccks=49175, wck=0.972, mem=60M938
5.86/3.16 decisions=58168, wrong=27782, backtracks=25274, failedAssignments=14671, nogoods=729, foundSolutions=12, bestBound=17
5.86/3.16
5.86/3.17 num=191, depth=7..22, filters=689738, revisions=(442941,useless=327381), ccks=50229, wck=0.988, mem=60M938
5.86/3.17 decisions=59358, wrong=28372, backtracks=25831, failedAssignments=14980, nogoods=734, foundSolutions=12, bestBound=17
5.86/3.17
5.86/3.19 num=192, depth=6..21, filters=706723, revisions=(453999,useless=335397), ccks=51455, wck=1.006, mem=63M580
5.86/3.19 decisions=60737, wrong=29057, backtracks=26460, failedAssignments=15320, nogoods=738, foundSolutions=12, bestBound=17
5.86/3.19
6.06/3.21 num=193, depth=5..22, filters=725833, revisions=(466161,useless=344151), ccks=52870, wck=1.027, mem=63M580
6.06/3.21 decisions=62308, wrong=29836, backtracks=27178, failedAssignments=15694, nogoods=742, foundSolutions=12, bestBound=17
6.06/3.21
6.06/3.23 num=194, depth=6..23, filters=745974, revisions=(478692,useless=353373), ccks=54114, wck=1.048, mem=63M580
6.06/3.23 decisions=64008, wrong=30681, backtracks=27963, failedAssignments=16105, nogoods=747, foundSolutions=12, bestBound=17
6.06/3.23
6.06/3.26 num=195, depth=4..20, filters=767751, revisions=(492356,useless=363296), ccks=55382, wck=1.071, mem=63M580
6.06/3.26 decisions=65770, wrong=31556, backtracks=28769, failedAssignments=16557, nogoods=751, foundSolutions=12, bestBound=17
6.06/3.26
6.06/3.28 num=196, depth=7..22, filters=790603, revisions=(508225,useless=375029), ccks=57397, wck=1.096, mem=66M222
6.06/3.28 decisions=67721, wrong=32525, backtracks=29693, failedAssignments=17054, nogoods=755, foundSolutions=12, bestBound=17
6.06/3.28
6.26/3.31 num=197, depth=3..22, filters=816094, revisions=(526877,useless=388890), ccks=60083, wck=1.125, mem=66M222
6.26/3.31 decisions=69931, wrong=33623, backtracks=30707, failedAssignments=17601, nogoods=759, foundSolutions=12, bestBound=17
6.26/3.31
6.26/3.34 o 18
6.26/3.34 num=198, depth=5..71, filters=847162, revisions=(547321,useless=403933), ccks=62174, wck=1.157, mem=66M222
6.26/3.34 decisions=72457, wrong=34881, backtracks=31873, failedAssignments=18199, nogoods=767, foundSolutions=13, bestBound=18
6.26/3.34
6.26/3.38 num=199, depth=1..19, filters=882513, revisions=(573488,useless=423672), ccks=64949, wck=1.193, mem=68M865
6.26/3.38 decisions=75283, wrong=36290, backtracks=33198, failedAssignments=18861, nogoods=773, foundSolutions=13, bestBound=18
6.26/3.38
6.26/3.38 num=200, depth=7..15, filters=883105, revisions=(573844,useless=423921), ccks=64987, wck=1.194, mem=68M865
6.26/3.38 decisions=75334, wrong=36310, backtracks=33215, failedAssignments=18872, nogoods=776, foundSolutions=13, bestBound=18
6.26/3.38
6.26/3.38 num=201, depth=8..17, filters=883542, revisions=(574149,useless=424145), ccks=65018, wck=1.195, mem=68M865
6.26/3.38 decisions=75380, wrong=36329, backtracks=33233, failedAssignments=18884, nogoods=777, foundSolutions=13, bestBound=18
6.26/3.38
6.26/3.38 num=202, depth=9..17, filters=884235, revisions=(574530,useless=424408), ccks=65040, wck=1.196, mem=68M865
6.26/3.38 decisions=75441, wrong=36354, backtracks=33254, failedAssignments=18897, nogoods=780, foundSolutions=13, bestBound=18
6.26/3.38
6.26/3.38 num=203, depth=8..15, filters=884881, revisions=(574933,useless=424695), ccks=65066, wck=1.197, mem=68M865
6.26/3.38 decisions=75496, wrong=36376, backtracks=33271, failedAssignments=18911, nogoods=785, foundSolutions=13, bestBound=18
6.26/3.38
6.26/3.38 num=204, depth=8..16, filters=885790, revisions=(575508,useless=425096), ccks=65110, wck=1.198, mem=68M865
6.26/3.38 decisions=75566, wrong=36407, backtracks=33299, failedAssignments=18927, nogoods=789, foundSolutions=13, bestBound=18
6.26/3.38
6.26/3.38 num=205, depth=8..15, filters=886671, revisions=(576014,useless=425461), ccks=65143, wck=1.199, mem=68M865
6.26/3.38 decisions=75640, wrong=36440, backtracks=33329, failedAssignments=18944, nogoods=792, foundSolutions=13, bestBound=18
6.26/3.38
6.26/3.39 num=206, depth=8..20, filters=887527, revisions=(576535,useless=425838), ccks=65203, wck=1.2, mem=68M865
6.26/3.39 decisions=75716, wrong=36473, backtracks=33356, failedAssignments=18963, nogoods=797, foundSolutions=13, bestBound=18
6.26/3.39
6.26/3.39 num=207, depth=8..15, filters=888624, revisions=(577223,useless=426357), ccks=65257, wck=1.201, mem=68M865
6.26/3.39 decisions=75802, wrong=36512, backtracks=33392, failedAssignments=18984, nogoods=800, foundSolutions=13, bestBound=18
6.26/3.39
6.26/3.39 num=208, depth=8..18, filters=889670, revisions=(577875,useless=426837), ccks=65324, wck=1.202, mem=68M865
6.26/3.39 decisions=75896, wrong=36552, backtracks=33428, failedAssignments=19007, nogoods=806, foundSolutions=13, bestBound=18
6.26/3.39
6.26/3.39 num=209, depth=7..17, filters=891151, revisions=(578860,useless=427562), ccks=65436, wck=1.204, mem=68M865
6.26/3.39 decisions=76012, wrong=36605, backtracks=33471, failedAssignments=19032, nogoods=812, foundSolutions=13, bestBound=18
6.26/3.39
6.26/3.39 num=210, depth=7..19, filters=892284, revisions=(579597,useless=428113), ccks=65505, wck=1.205, mem=68M865
6.26/3.39 decisions=76116, wrong=36652, backtracks=33510, failedAssignments=19060, nogoods=817, foundSolutions=13, bestBound=18
6.26/3.39
6.26/3.39 num=211, depth=6..16, filters=893973, revisions=(580710,useless=428928), ccks=65626, wck=1.207, mem=68M865
6.26/3.39 decisions=76261, wrong=36719, backtracks=33564, failedAssignments=19091, nogoods=821, foundSolutions=13, bestBound=18
6.26/3.39
6.26/3.39 num=212, depth=7..17, filters=895859, revisions=(581809,useless=429721), ccks=65706, wck=1.209, mem=68M865
6.26/3.39 decisions=76400, wrong=36784, backtracks=33623, failedAssignments=19125, nogoods=824, foundSolutions=13, bestBound=18
6.26/3.39
6.43/3.40 num=213, depth=5..16, filters=898019, revisions=(583184,useless=430748), ccks=65816, wck=1.211, mem=68M865
6.43/3.40 decisions=76562, wrong=36861, backtracks=33694, failedAssignments=19162, nogoods=828, foundSolutions=13, bestBound=18
6.43/3.40
6.43/3.40 num=214, depth=8..16, filters=900198, revisions=(584430,useless=431648), ccks=65918, wck=1.214, mem=68M865
6.43/3.40 decisions=76724, wrong=36938, backtracks=33768, failedAssignments=19203, nogoods=830, foundSolutions=13, bestBound=18
6.43/3.40
6.43/3.40 num=215, depth=7..18, filters=902907, revisions=(586082,useless=432839), ccks=66066, wck=1.216, mem=68M865
6.43/3.40 decisions=76928, wrong=37036, backtracks=33852, failedAssignments=19248, nogoods=834, foundSolutions=13, bestBound=18
6.43/3.40
6.43/3.41 num=216, depth=5..16, filters=905493, revisions=(587789,useless=434099), ccks=66217, wck=1.219, mem=68M865
6.43/3.41 decisions=77128, wrong=37131, backtracks=33935, failedAssignments=19298, nogoods=839, foundSolutions=13, bestBound=18
6.43/3.41
6.43/3.41 num=217, depth=6..17, filters=908337, revisions=(589702,useless=435558), ccks=66410, wck=1.222, mem=68M865
6.43/3.41 decisions=77348, wrong=37236, backtracks=34028, failedAssignments=19353, nogoods=843, foundSolutions=13, bestBound=18
6.43/3.41
6.43/3.41 num=218, depth=5..20, filters=911515, revisions=(591648,useless=436974), ccks=66591, wck=1.226, mem=68M865
6.43/3.41 decisions=77604, wrong=37360, backtracks=34147, failedAssignments=19414, nogoods=846, foundSolutions=13, bestBound=18
6.43/3.41
6.43/3.42 num=219, depth=5..16, filters=915994, revisions=(594595,useless=439149), ccks=66854, wck=1.23, mem=68M865
6.43/3.42 decisions=77901, wrong=37504, backtracks=34278, failedAssignments=19481, nogoods=849, foundSolutions=13, bestBound=18
6.43/3.42
6.43/3.42 num=220, depth=5..16, filters=919937, revisions=(597151,useless=441034), ccks=67084, wck=1.234, mem=71M507
6.43/3.42 decisions=78218, wrong=37658, backtracks=34425, failedAssignments=19555, nogoods=853, foundSolutions=13, bestBound=18
6.43/3.42
6.43/3.43 num=221, depth=6..19, filters=923914, revisions=(599989,useless=443137), ccks=67533, wck=1.239, mem=71M507
6.43/3.43 decisions=78542, wrong=37815, backtracks=34566, failedAssignments=19636, nogoods=859, foundSolutions=13, bestBound=18
6.43/3.43
6.43/3.43 num=222, depth=4..20, filters=928231, revisions=(602816,useless=445168), ccks=67885, wck=1.244, mem=71M507
6.43/3.43 decisions=78891, wrong=37984, backtracks=34723, failedAssignments=19725, nogoods=864, foundSolutions=13, bestBound=18
6.43/3.43
6.43/3.44 num=223, depth=5..17, filters=933296, revisions=(606100,useless=447572), ccks=68213, wck=1.25, mem=71M507
6.43/3.44 decisions=79265, wrong=38168, backtracks=34895, failedAssignments=19823, nogoods=869, foundSolutions=13, bestBound=18
6.43/3.44
6.43/3.44 num=224, depth=3..17, filters=938898, revisions=(609933,useless=450401), ccks=68624, wck=1.256, mem=71M507
6.43/3.44 decisions=79702, wrong=38382, backtracks=35092, failedAssignments=19931, nogoods=875, foundSolutions=13, bestBound=18
6.43/3.44
6.43/3.45 num=225, depth=6..20, filters=944961, revisions=(614244,useless=453592), ccks=69222, wck=1.263, mem=71M507
6.43/3.45 decisions=80198, wrong=38625, backtracks=35320, failedAssignments=20050, nogoods=881, foundSolutions=13, bestBound=18
6.43/3.45
6.43/3.46 num=226, depth=5..18, filters=951219, revisions=(618620,useless=456859), ccks=69794, wck=1.27, mem=71M507
6.43/3.46 decisions=80710, wrong=38878, backtracks=35554, failedAssignments=20181, nogoods=886, foundSolutions=13, bestBound=18
6.43/3.46
6.43/3.46 num=227, depth=4..19, filters=958453, revisions=(623671,useless=460543), ccks=70488, wck=1.278, mem=71M507
6.43/3.46 decisions=81295, wrong=39166, backtracks=35829, failedAssignments=20325, nogoods=892, foundSolutions=13, bestBound=18
6.43/3.46
6.43/3.47 num=228, depth=4..19, filters=966888, revisions=(629711,useless=465034), ccks=71314, wck=1.288, mem=71M507
6.43/3.47 decisions=81934, wrong=39482, backtracks=36124, failedAssignments=20483, nogoods=896, foundSolutions=13, bestBound=18
6.43/3.47
6.43/3.48 num=229, depth=3..18, filters=976956, revisions=(636755,useless=470175), ccks=72157, wck=1.299, mem=71M507
6.43/3.48 decisions=82693, wrong=39859, backtracks=36476, failedAssignments=20657, nogoods=900, foundSolutions=13, bestBound=18
6.43/3.48
6.43/3.49 o 19
6.43/3.49 num=230, depth=5..71, filters=979500, revisions=(638789,useless=471751), ccks=72546, wck=1.302, mem=71M507
6.43/3.49 decisions=82903, wrong=39959, backtracks=36564, failedAssignments=20706, nogoods=907, foundSolutions=14, bestBound=19
6.43/3.49
6.54/3.50 num=231, depth=0..19, filters=990275, revisions=(646883,useless=477852), ccks=73640, wck=1.315, mem=71M507
6.54/3.50 decisions=83792, wrong=40401, backtracks=36984, failedAssignments=20917, nogoods=911, foundSolutions=14, bestBound=19
6.54/3.50
6.54/3.50 num=232, depth=5..10, filters=991044, revisions=(647402,useless=478223), ccks=73704, wck=1.316, mem=74M150
6.54/3.50 decisions=83839, wrong=40422, backtracks=37002, failedAssignments=20928, nogoods=914, foundSolutions=14, bestBound=19
6.54/3.50
6.54/3.50 num=233, depth=5..12, filters=991808, revisions=(647934,useless=478610), ccks=73763, wck=1.317, mem=74M150
6.54/3.50 decisions=83897, wrong=40446, backtracks=37018, failedAssignments=20940, nogoods=917, foundSolutions=14, bestBound=19
6.54/3.50
6.54/3.50 num=234, depth=5..13, filters=992553, revisions=(648422,useless=478958), ccks=73824, wck=1.318, mem=74M150
6.54/3.50 decisions=83950, wrong=40469, backtracks=37038, failedAssignments=20953, nogoods=920, foundSolutions=14, bestBound=19
6.54/3.50
6.54/3.50 num=235, depth=6..14, filters=993253, revisions=(648884,useless=479284), ccks=73889, wck=1.319, mem=74M150
6.54/3.50 decisions=84010, wrong=40496, backtracks=37061, failedAssignments=20967, nogoods=921, foundSolutions=14, bestBound=19
6.54/3.50
6.54/3.51 num=236, depth=5..17, filters=994122, revisions=(649580,useless=479812), ccks=73986, wck=1.32, mem=74M150
6.54/3.51 decisions=84074, wrong=40523, backtracks=37087, failedAssignments=20983, nogoods=923, foundSolutions=14, bestBound=19
6.54/3.51
6.54/3.51 num=237, depth=3..10, filters=994985, revisions=(650194,useless=480263), ccks=74048, wck=1.321, mem=74M150
6.54/3.51 decisions=84133, wrong=40551, backtracks=37113, failedAssignments=21000, nogoods=925, foundSolutions=14, bestBound=19
6.54/3.51
6.54/3.51 num=238, depth=3..11, filters=996217, revisions=(651129,useless=480944), ccks=74156, wck=1.322, mem=74M150
6.54/3.51 decisions=84217, wrong=40590, backtracks=37146, failedAssignments=21019, nogoods=928, foundSolutions=14, bestBound=19
6.54/3.51
6.54/3.51 num=239, depth=5..18, filters=997167, revisions=(651784,useless=481414), ccks=74250, wck=1.324, mem=74M150
6.54/3.51 decisions=84300, wrong=40626, backtracks=37175, failedAssignments=21040, nogoods=933, foundSolutions=14, bestBound=19
6.54/3.51
6.54/3.51 num=240, depth=4..14, filters=998399, revisions=(652581,useless=481979), ccks=74322, wck=1.325, mem=74M150
6.54/3.51 decisions=84394, wrong=40671, backtracks=37217, failedAssignments=21063, nogoods=934, foundSolutions=14, bestBound=19
6.54/3.51
6.54/3.51 num=241, depth=6..14, filters=999831, revisions=(653539,useless=482686), ccks=74441, wck=1.327, mem=74M150
6.54/3.51 decisions=84515, wrong=40728, backtracks=37272, failedAssignments=21088, nogoods=938, foundSolutions=14, bestBound=19
6.54/3.51
6.54/3.51 num=242, depth=3..15, filters=1001535, revisions=(654741,useless=483556), ccks=74587, wck=1.329, mem=74M150
6.54/3.51 decisions=84645, wrong=40789, backtracks=37322, failedAssignments=21116, nogoods=942, foundSolutions=14, bestBound=19
6.54/3.51
6.54/3.52 num=243, depth=4..14, filters=1003719, revisions=(656327,useless=484713), ccks=74792, wck=1.331, mem=74M150
6.54/3.52 decisions=84788, wrong=40858, backtracks=37385, failedAssignments=21147, nogoods=946, foundSolutions=14, bestBound=19
6.54/3.52
6.54/3.52 num=244, depth=4..17, filters=1005238, revisions=(657491,useless=485579), ccks=74943, wck=1.333, mem=74M150
6.54/3.52 decisions=84920, wrong=40920, backtracks=37443, failedAssignments=21181, nogoods=952, foundSolutions=14, bestBound=19
6.54/3.52
6.54/3.52 num=245, depth=4..20, filters=1007047, revisions=(658783,useless=486535), ccks=75107, wck=1.335, mem=74M150
6.54/3.52 decisions=85085, wrong=40998, backtracks=37514, failedAssignments=21218, nogoods=958, foundSolutions=14, bestBound=19
6.54/3.52
6.54/3.52 num=246, depth=6..16, filters=1008911, revisions=(660050,useless=487480), ccks=75252, wck=1.338, mem=74M150
6.54/3.52 decisions=85222, wrong=41062, backtracks=37571, failedAssignments=21259, nogoods=962, foundSolutions=14, bestBound=19
6.54/3.52
6.54/3.53 num=247, depth=4..15, filters=1011190, revisions=(661655,useless=488667), ccks=75436, wck=1.341, mem=74M150
6.54/3.53 decisions=85415, wrong=41155, backtracks=37654, failedAssignments=21304, nogoods=967, foundSolutions=14, bestBound=19
6.54/3.53
6.54/3.53 num=248, depth=4..14, filters=1013642, revisions=(663383,useless=489956), ccks=75673, wck=1.344, mem=74M150
6.54/3.53 decisions=85616, wrong=41250, backtracks=37736, failedAssignments=21354, nogoods=972, foundSolutions=14, bestBound=19
6.54/3.53
6.54/3.53 num=249, depth=2..15, filters=1016515, revisions=(665633,useless=491595), ccks=76001, wck=1.347, mem=74M150
6.54/3.53 decisions=85837, wrong=41358, backtracks=37834, failedAssignments=21409, nogoods=977, foundSolutions=14, bestBound=19
6.54/3.53
6.54/3.54 num=250, depth=5..18, filters=1019580, revisions=(668032,useless=493417), ccks=76327, wck=1.351, mem=74M150
6.54/3.54 decisions=86067, wrong=41468, backtracks=37933, failedAssignments=21470, nogoods=983, foundSolutions=14, bestBound=19
6.54/3.54
6.54/3.54 num=251, depth=4..16, filters=1022735, revisions=(670334,useless=495143), ccks=76628, wck=1.355, mem=74M150
6.54/3.54 decisions=86321, wrong=41590, backtracks=38039, failedAssignments=21537, nogoods=989, foundSolutions=14, bestBound=19
6.54/3.54
6.54/3.55 num=252, depth=3..20, filters=1026400, revisions=(672941,useless=497036), ccks=76955, wck=1.36, mem=74M150
6.54/3.55 decisions=86635, wrong=41741, backtracks=38177, failedAssignments=21611, nogoods=994, foundSolutions=14, bestBound=19
6.54/3.55
6.54/3.55 num=253, depth=4..17, filters=1030929, revisions=(676074,useless=499355), ccks=77348, wck=1.365, mem=74M150
6.54/3.55 decisions=86986, wrong=41913, backtracks=38334, failedAssignments=21692, nogoods=1000, foundSolutions=14, bestBound=19
6.54/3.55
6.54/3.56 num=254, depth=2..18, filters=1034907, revisions=(678966,useless=501480), ccks=77726, wck=1.37, mem=74M150
6.54/3.56 decisions=87338, wrong=42086, backtracks=38486, failedAssignments=21781, nogoods=1003, foundSolutions=14, bestBound=19
6.54/3.56
6.54/3.56 num=255, depth=3..19, filters=1039746, revisions=(682711,useless=504241), ccks=78273, wck=1.377, mem=74M150
6.54/3.56 decisions=87739, wrong=42281, backtracks=38666, failedAssignments=21879, nogoods=1010, foundSolutions=14, bestBound=19
6.54/3.56
6.54/3.57 num=256, depth=3..18, filters=1044928, revisions=(686515,useless=507052), ccks=78754, wck=1.383, mem=74M150
6.54/3.57 decisions=88145, wrong=42480, backtracks=38853, failedAssignments=21987, nogoods=1012, foundSolutions=14, bestBound=19
6.54/3.57
6.54/3.58 num=257, depth=3..20, filters=1050537, revisions=(690805,useless=510193), ccks=79416, wck=1.39, mem=74M150
6.54/3.58 decisions=88607, wrong=42707, backtracks=39065, failedAssignments=22106, nogoods=1017, foundSolutions=14, bestBound=19
6.54/3.58
6.54/3.58 num=258, depth=4..19, filters=1057471, revisions=(695787,useless=513883), ccks=80153, wck=1.399, mem=76M792
6.54/3.58 decisions=89180, wrong=42991, backtracks=39330, failedAssignments=22237, nogoods=1021, foundSolutions=14, bestBound=19
6.54/3.58
6.54/3.59 num=259, depth=3..21, filters=1064244, revisions=(701019,useless=517808), ccks=80911, wck=1.407, mem=76M792
6.54/3.59 decisions=89737, wrong=43267, backtracks=39584, failedAssignments=22381, nogoods=1024, foundSolutions=14, bestBound=19
6.54/3.59
6.65/3.60 num=260, depth=2..17, filters=1071634, revisions=(706832,useless=522155), ccks=81720, wck=1.417, mem=76M792
6.65/3.60 decisions=90324, wrong=43557, backtracks=39850, failedAssignments=22539, nogoods=1031, foundSolutions=14, bestBound=19
6.65/3.60
6.65/3.61 num=261, depth=1..17, filters=1080479, revisions=(713830,useless=527350), ccks=82679, wck=1.427, mem=76M792
6.65/3.61 decisions=91002, wrong=43893, backtracks=40158, failedAssignments=22713, nogoods=1036, foundSolutions=14, bestBound=19
6.65/3.61
6.65/3.62 num=262, depth=1..18, filters=1089781, revisions=(721438,useless=533067), ccks=83878, wck=1.439, mem=76M792
6.65/3.62 decisions=91780, wrong=44281, backtracks=40519, failedAssignments=22904, nogoods=1038, foundSolutions=14, bestBound=19
6.65/3.62
6.65/3.63 o 20
6.65/3.63 num=263, depth=1..71, filters=1095837, revisions=(726145,useless=536538), ccks=84608, wck=1.447, mem=76M792
6.65/3.63 decisions=92222, wrong=44498, backtracks=40713, failedAssignments=23004, nogoods=1045, foundSolutions=15, bestBound=20
6.65/3.63
6.65/3.64
6.65/3.64 New Bounds: 21..20
6.65/3.64 num=264, depth=0..18, filters=1103882, revisions=(732581,useless=541242), ccks=85549, wck=1.459, mem=76M792
6.65/3.64 decisions=92866, wrong=44821, backtracks=41016, failedAssignments=23147, foundSolutions=15, bestBound=20
6.65/3.64
6.65/3.64 Global
6.65/3.64 filters=1103882, revisions=(732581,useless=541242), ccks=85549
6.65/3.64 Stop=FULL_EXPLORATION, wrong=44821, bestBound=20, bestBoundWck=1.771, bestBoundCpu=3.588, foundSolutions=15, firstSolCpu=2.156
6.65/3.64 wck=1.783, cpu=3.601, mem=76M792
6.65/3.65
6.65/3.65 v <instantiation id='sol15' type='solution' cost='20'> <list> x[][] s[][] </list> <values> 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 2 2 4 2 3 2 2 2 2 4 3 5 3 6 2 4 4 3 3 4 4 2 6 3 5 3 4 2 2 2 2 3 2 4 2 2 </values> </instantiation>
6.65/3.65 s OPTIMUM FOUND
6.65/3.65
6.65/3.65 d WRONG_DECISIONS 44821
6.65/3.65 d NUMBER_SOLUTIONS 15