2.59/1.92
2.59/1.92 AbsCon 2
2.59/1.93
2.85/2.10 Instance
2.85/2.10 name=instance-4391324-1568389055, framework=COP, bounds=-infty..+infty
2.85/2.10
2.85/2.10 Loading variables...
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d52808
3.16/2.14 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76130896
3.16/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76dedfc
3.16/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@483f6bc7
3.16/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611309f0
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@405476d7
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78708c47
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a67ad0d
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d3ffa65
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670da068
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e2cf7b6
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fb3a6eb
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c47f532
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615fc973
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2efa3ab0
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2e5c43
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ab126a
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@159c10ab
3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eb0e185
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a
3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43114cc0
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43114cc0
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43114cc0
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@db2a26a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@db2a26a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@539948ef
3.47/2.28
3.47/2.28
3.47/2.28 Domains
3.47/2.28 nTypes=2, nValues=777, sizes=[2#380,17#1]
3.47/2.28 Variables
3.47/2.28 count=381, degrees=[21#4,22#70,23#306,172#1]
3.47/2.28 Objectives
3.47/2.28 way=min, type=ObjVarLE
3.47/2.28 Constraints
3.47/2.28 count=228, nSpecific=228, arities=[1#1,20#19,38#19,40#18,41#171]
3.47/2.28 distribution=[LexicographicLe#37,ObjVarLE#1,SumScalarBooleanLEVar#171,SumSimpleEQ#19]
3.47/2.28 wck=0.392, cpu=2.239, mem=31M797
3.47/2.28 Solver SolverBacktrack being built...
3.47/2.28
3.72/2.31
3.72/2.31 Solver
3.72/2.31 guaranteedGAC=true
3.72/2.31 wck=0.427, cpu=2.273, mem=45M82
3.72/2.32
3.72/2.32 Preprocessing
3.72/2.32 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.72/2.32 wck=0.008, cpu=2.283, mem=45M82
3.72/2.32
3.72/2.33 num=0, depth=18..33, filters=101, wck=0.02, mem=45M82
3.72/2.33 decisions=71, wrong=22, backtracks=19, failedAssignments=10, nogoods=3
3.72/2.33
3.72/2.34 num=1, depth=9..16, filters=434, wck=0.032, mem=45M82
3.72/2.34 decisions=132, wrong=47, backtracks=35, failedAssignments=21, nogoods=8
3.72/2.34
3.72/2.36 num=2, depth=6..15, filters=847, wck=0.051, mem=45M82
3.72/2.36 decisions=206, wrong=80, backtracks=63, failedAssignments=33, nogoods=10
3.72/2.36
3.72/2.37 num=3, depth=4..12, filters=1436, wck=0.059, mem=45M82
3.72/2.37 decisions=289, wrong=117, backtracks=94, failedAssignments=46, nogoods=13
3.72/2.37
3.72/2.38 num=4, depth=2..12, filters=1913, wck=0.065, mem=45M82
3.72/2.38 decisions=367, wrong=152, backtracks=124, failedAssignments=60, nogoods=17
3.72/2.38
3.72/2.38 num=5, depth=0..13, filters=2288, wck=0.07, mem=45M82
3.72/2.38 decisions=434, wrong=183, backtracks=148, failedAssignments=76, nogoods=21
3.72/2.38
3.72/2.40 o 9
4.04/2.40 num=6, depth=1..380, filters=2650, ccks=228, wck=0.089, mem=45M82
4.04/2.40 decisions=531, wrong=202, backtracks=154, failedAssignments=89, nogoods=31, foundSolutions=1, bestBound=9
4.04/2.40
4.04/2.41 num=7, depth=3..102, filters=3002, ccks=228, wck=0.097, mem=45M82
4.04/2.41 decisions=679, wrong=231, backtracks=173, failedAssignments=108, nogoods=39, foundSolutions=1, bestBound=9
4.04/2.41
4.04/2.41 num=8, depth=4..21, filters=3085, ccks=228, wck=0.099, mem=45M82
4.04/2.41 decisions=718, wrong=244, backtracks=176, failedAssignments=119, nogoods=48, foundSolutions=1, bestBound=9
4.04/2.41
4.04/2.41 num=9, depth=6..72, filters=3282, ccks=228, wck=0.102, mem=45M82
4.04/2.41 decisions=816, wrong=263, backtracks=187, failedAssignments=131, nogoods=50, foundSolutions=1, bestBound=9
4.04/2.41
4.04/2.42 num=10, depth=2..82, filters=3440, ccks=228, wck=0.107, mem=45M82
4.04/2.42 decisions=918, wrong=277, backtracks=192, failedAssignments=144, nogoods=59, foundSolutions=1, bestBound=9
4.04/2.42
4.04/2.42 num=11, depth=2..102, filters=3610, ccks=228, wck=0.111, mem=45M82
4.04/2.42 decisions=1048, wrong=298, backtracks=199, failedAssignments=158, nogoods=67, foundSolutions=1, bestBound=9
4.04/2.42
4.04/2.43 num=12, depth=2..114, filters=3760, ccks=228, wck=0.115, mem=45M82
4.04/2.43 decisions=1184, wrong=316, backtracks=201, failedAssignments=174, nogoods=82, foundSolutions=1, bestBound=9
4.04/2.43
4.04/2.43 num=13, depth=2..166, filters=3931, ccks=228, wck=0.12, mem=45M82
4.04/2.43 decisions=1370, wrong=334, backtracks=202, failedAssignments=191, nogoods=99, foundSolutions=1, bestBound=9
4.04/2.43
4.04/2.44 num=14, depth=2..172, filters=4170, ccks=228, wck=0.125, mem=45M82
4.04/2.44 decisions=1580, wrong=361, backtracks=213, failedAssignments=210, nogoods=110, foundSolutions=1, bestBound=9
4.04/2.44
4.04/2.44 num=15, depth=2..117, filters=4679, ccks=228, wck=0.131, mem=45M82
4.04/2.44 decisions=1771, wrong=409, backtracks=248, failedAssignments=231, nogoods=117, foundSolutions=1, bestBound=9
4.04/2.44
4.04/2.45 num=16, depth=2..91, filters=4880, ccks=228, wck=0.135, mem=45M82
4.04/2.45 decisions=1889, wrong=433, backtracks=253, failedAssignments=254, nogoods=136, foundSolutions=1, bestBound=9
4.04/2.45
4.04/2.45 num=17, depth=2..97, filters=5144, ccks=228, wck=0.139, mem=45M82
4.04/2.45 decisions=2018, wrong=460, backtracks=257, failedAssignments=279, nogoods=159, foundSolutions=1, bestBound=9
4.04/2.45
4.04/2.46 num=18, depth=2..133, filters=5402, ccks=228, wck=0.144, mem=45M82
4.04/2.46 decisions=2219, wrong=506, backtracks=277, failedAssignments=307, nogoods=170, foundSolutions=1, bestBound=9
4.04/2.46
4.04/2.46 num=19, depth=3..83, filters=5731, ccks=228, wck=0.148, mem=45M82
4.04/2.46 decisions=2379, wrong=558, backtracks=303, failedAssignments=338, nogoods=178, foundSolutions=1, bestBound=9
4.04/2.46
4.04/2.47 num=20, depth=16..26, filters=6371, ccks=228, wck=0.153, mem=45M82
4.04/2.47 decisions=2525, wrong=623, backtracks=356, failedAssignments=372, nogoods=180, foundSolutions=1, bestBound=9
4.04/2.47
4.04/2.47 num=21, depth=0..27, filters=6887, ccks=228, wck=0.158, mem=45M82
4.04/2.47 decisions=2670, wrong=688, backtracks=406, failedAssignments=409, nogoods=188, foundSolutions=1, bestBound=9
4.04/2.47
4.04/2.48 num=22, depth=17..154, filters=7310, ccks=228, wck=0.164, mem=45M82
4.04/2.48 decisions=2938, wrong=758, backtracks=453, failedAssignments=450, nogoods=198, foundSolutions=1, bestBound=9
4.04/2.48
4.04/2.48 num=23, depth=12..73, filters=7598, ccks=228, wck=0.168, mem=45M82
4.04/2.48 decisions=3120, wrong=820, backtracks=503, failedAssignments=495, nogoods=209, foundSolutions=1, bestBound=9
4.04/2.48
4.04/2.49 o 8
4.04/2.49 num=24, depth=14..380, filters=8129, ccks=456, wck=0.178, mem=45M82
4.04/2.49 decisions=3364, wrong=879, backtracks=546, failedAssignments=531, nogoods=217, foundSolutions=2, bestBound=8
4.04/2.49
4.37/2.50 num=25, depth=14..136, filters=8616, ccks=456, wck=0.185, mem=45M82
4.37/2.50 decisions=3644, wrong=960, backtracks=609, failedAssignments=586, nogoods=230, foundSolutions=2, bestBound=8
4.37/2.50
4.37/2.50 num=26, depth=15..27, filters=8833, ccks=456, wck=0.187, mem=45M82
4.37/2.50 decisions=3694, wrong=975, backtracks=615, failedAssignments=597, nogoods=236, foundSolutions=2, bestBound=8
4.37/2.50
4.37/2.50 num=27, depth=15..22, filters=9087, ccks=456, wck=0.189, mem=45M82
4.37/2.50 decisions=3759, wrong=1000, backtracks=636, failedAssignments=609, nogoods=239, foundSolutions=2, bestBound=8
4.37/2.50
4.37/2.50 num=28, depth=2..8, filters=9325, ccks=456, wck=0.191, mem=45M82
4.37/2.50 decisions=3815, wrong=1027, backtracks=655, failedAssignments=622, nogoods=240, foundSolutions=2, bestBound=8
4.37/2.50
4.37/2.51 num=29, depth=8..101, filters=9448, ccks=456, wck=0.194, mem=45M82
4.37/2.51 decisions=3932, wrong=1042, backtracks=657, failedAssignments=636, nogoods=253, foundSolutions=2, bestBound=8
4.37/2.51
4.37/2.51 o 7
4.37/2.51 num=30, depth=8..380, filters=9580, ccks=684, wck=0.2, mem=45M82
4.37/2.51 decisions=4092, wrong=1055, backtracks=663, failedAssignments=648, nogoods=260, foundSolutions=3, bestBound=7
4.37/2.51
4.37/2.52 num=31, depth=8..47, filters=9759, ccks=684, wck=0.203, mem=45M82
4.37/2.52 decisions=4193, wrong=1088, backtracks=687, failedAssignments=665, nogoods=265, foundSolutions=3, bestBound=7
4.37/2.52
4.37/2.52 num=32, depth=12..22, filters=9944, ccks=684, wck=0.205, mem=45M82
4.37/2.52 decisions=4249, wrong=1108, backtracks=700, failedAssignments=676, nogoods=268, foundSolutions=3, bestBound=7
4.37/2.52
4.37/2.52 num=33, depth=0..19, filters=10205, ccks=684, wck=0.207, mem=45M82
4.37/2.52 decisions=4307, wrong=1134, backtracks=723, failedAssignments=688, nogoods=269, foundSolutions=3, bestBound=7
4.37/2.52
4.37/2.52 num=34, depth=5..54, filters=10311, ccks=684, wck=0.209, mem=47M724
4.37/2.52 decisions=4376, wrong=1148, backtracks=724, failedAssignments=701, nogoods=282, foundSolutions=3, bestBound=7
4.37/2.52
4.37/2.52 num=35, depth=9..42, filters=10460, ccks=684, wck=0.211, mem=47M724
4.37/2.52 decisions=4443, wrong=1166, backtracks=736, failedAssignments=715, nogoods=289, foundSolutions=3, bestBound=7
4.37/2.52
4.37/2.52 num=36, depth=13..51, filters=10579, ccks=684, wck=0.212, mem=47M724
4.37/2.52 decisions=4528, wrong=1189, backtracks=747, failedAssignments=731, nogoods=298, foundSolutions=3, bestBound=7
4.37/2.52
4.37/2.53 num=37, depth=9..44, filters=10768, ccks=684, wck=0.216, mem=47M724
4.37/2.53 decisions=4617, wrong=1215, backtracks=769, failedAssignments=748, nogoods=302, foundSolutions=3, bestBound=7
4.37/2.53
4.37/2.53 num=38, depth=9..63, filters=10892, ccks=684, wck=0.218, mem=47M724
4.37/2.53 decisions=4721, wrong=1240, backtracks=784, failedAssignments=767, nogoods=312, foundSolutions=3, bestBound=7
4.37/2.53
4.37/2.53 num=39, depth=14..138, filters=11036, ccks=684, wck=0.221, mem=47M724
4.37/2.53 decisions=4884, wrong=1263, backtracks=786, failedAssignments=788, nogoods=332, foundSolutions=3, bestBound=7
4.37/2.53
4.37/2.54 num=40, depth=10..32, filters=11306, ccks=684, wck=0.225, mem=47M724
4.37/2.54 decisions=4979, wrong=1300, backtracks=816, failedAssignments=811, nogoods=337, foundSolutions=3, bestBound=7
4.37/2.54
4.37/2.54 num=41, depth=7..19, filters=11613, ccks=684, wck=0.229, mem=47M724
4.37/2.54 decisions=5083, wrong=1347, backtracks=858, failedAssignments=836, nogoods=340, foundSolutions=3, bestBound=7
4.37/2.54
4.37/2.54 num=42, depth=5..52, filters=11817, ccks=684, wck=0.231, mem=47M724
4.37/2.54 decisions=5197, wrong=1386, backtracks=884, failedAssignments=864, nogoods=351, foundSolutions=3, bestBound=7
4.37/2.54
4.37/2.55 num=43, depth=6..101, filters=12004, ccks=684, wck=0.235, mem=47M724
4.37/2.55 decisions=5363, wrong=1425, backtracks=906, failedAssignments=895, nogoods=364, foundSolutions=3, bestBound=7
4.37/2.55
4.37/2.55 num=44, depth=4..60, filters=12256, ccks=684, wck=0.238, mem=47M724
4.37/2.55 decisions=5507, wrong=1474, backtracks=938, failedAssignments=929, nogoods=375, foundSolutions=3, bestBound=7
4.37/2.55
4.37/2.56 num=45, depth=4..116, filters=12504, ccks=684, wck=0.243, mem=47M724
4.37/2.56 decisions=5710, wrong=1529, backtracks=965, failedAssignments=966, nogoods=399, foundSolutions=3, bestBound=7
4.37/2.56
4.37/2.56 num=46, depth=3..128, filters=12715, ccks=684, wck=0.247, mem=47M724
4.37/2.56 decisions=5919, wrong=1579, backtracks=1001, failedAssignments=1007, nogoods=414, foundSolutions=3, bestBound=7
4.37/2.56
4.37/2.56 num=47, depth=4..89, filters=13073, ccks=684, wck=0.251, mem=47M724
4.37/2.56 decisions=6109, wrong=1641, backtracks=1029, failedAssignments=1052, nogoods=436, foundSolutions=3, bestBound=7
4.37/2.56
4.37/2.57 num=48, depth=4..192, filters=13324, ccks=684, wck=0.258, mem=47M724
4.37/2.57 decisions=6394, wrong=1700, backtracks=1062, failedAssignments=1102, nogoods=462, foundSolutions=3, bestBound=7
4.37/2.57
4.37/2.57 num=49, depth=4..63, filters=13740, ccks=684, wck=0.263, mem=47M724
4.37/2.57 decisions=6638, wrong=1796, backtracks=1144, failedAssignments=1157, nogoods=474, foundSolutions=3, bestBound=7
4.37/2.57
4.37/2.58 o 6
4.37/2.58 num=50, depth=15..380, filters=13916, ccks=912, wck=0.27, mem=47M724
4.37/2.58 decisions=6833, wrong=1817, backtracks=1150, failedAssignments=1174, nogoods=487, foundSolutions=4, bestBound=6
4.37/2.58
4.37/2.59 num=51, depth=16..37, filters=14665, ccks=912, wck=0.278, mem=47M724
4.37/2.59 decisions=7090, wrong=1933, backtracks=1258, failedAssignments=1241, nogoods=491, foundSolutions=4, bestBound=6
4.37/2.59
4.37/2.59 num=52, depth=13..23, filters=14787, ccks=912, wck=0.28, mem=47M724
4.37/2.59 decisions=7137, wrong=1949, backtracks=1266, failedAssignments=1252, nogoods=498, foundSolutions=4, bestBound=6
4.37/2.59
4.37/2.59 num=53, depth=5..23, filters=14865, ccks=912, wck=0.281, mem=47M724
4.37/2.59 decisions=7184, wrong=1964, backtracks=1278, failedAssignments=1264, nogoods=501, foundSolutions=4, bestBound=6
4.37/2.59
4.37/2.59 num=54, depth=5..23, filters=14994, ccks=912, wck=0.283, mem=47M724
4.37/2.59 decisions=7229, wrong=1979, backtracks=1288, failedAssignments=1277, nogoods=507, foundSolutions=4, bestBound=6
4.37/2.59
4.37/2.60 num=55, depth=4..22, filters=15165, ccks=912, wck=0.284, mem=47M724
4.37/2.60 decisions=7277, wrong=1996, backtracks=1298, failedAssignments=1291, nogoods=513, foundSolutions=4, bestBound=6
4.37/2.60
4.37/2.60 num=56, depth=6..26, filters=15312, ccks=912, wck=0.286, mem=47M724
4.37/2.60 decisions=7339, wrong=2020, backtracks=1315, failedAssignments=1307, nogoods=518, foundSolutions=4, bestBound=6
4.37/2.60
4.37/2.60 num=57, depth=7..40, filters=15631, ccks=912, wck=0.29, mem=47M724
4.37/2.60 decisions=7435, wrong=2054, backtracks=1340, failedAssignments=1324, nogoods=527, foundSolutions=4, bestBound=6
4.37/2.60
4.71/2.61 num=58, depth=5..25, filters=15971, ccks=912, wck=0.293, mem=47M724
4.71/2.61 decisions=7520, wrong=2088, backtracks=1368, failedAssignments=1343, nogoods=530, foundSolutions=4, bestBound=6
4.71/2.61
4.71/2.61 num=59, depth=5..23, filters=16144, ccks=912, wck=0.295, mem=47M724
4.71/2.61 decisions=7593, wrong=2117, backtracks=1392, failedAssignments=1364, nogoods=537, foundSolutions=4, bestBound=6
4.71/2.61
4.71/2.61 num=60, depth=12..46, filters=16332, ccks=912, wck=0.297, mem=47M724
4.71/2.61 decisions=7696, wrong=2152, backtracks=1414, failedAssignments=1387, nogoods=551, foundSolutions=4, bestBound=6
4.71/2.61
4.71/2.61 num=61, depth=13..54, filters=16478, ccks=912, wck=0.299, mem=47M724
4.71/2.61 decisions=7807, wrong=2186, backtracks=1438, failedAssignments=1412, nogoods=559, foundSolutions=4, bestBound=6
4.71/2.61
4.71/2.61 num=62, depth=11..22, filters=16805, ccks=912, wck=0.301, mem=47M724
4.71/2.61 decisions=7915, wrong=2234, backtracks=1481, failedAssignments=1440, nogoods=562, foundSolutions=4, bestBound=6
4.71/2.61
4.71/2.62 num=63, depth=11..49, filters=17034, ccks=912, wck=0.303, mem=47M724
4.71/2.62 decisions=8046, wrong=2281, backtracks=1521, failedAssignments=1471, nogoods=571, foundSolutions=4, bestBound=6
4.71/2.62
4.71/2.62 num=64, depth=7..32, filters=17428, ccks=912, wck=0.306, mem=47M724
4.71/2.62 decisions=8172, wrong=2331, backtracks=1563, failedAssignments=1505, nogoods=576, foundSolutions=4, bestBound=6
4.71/2.62
4.71/2.62 num=65, depth=9..63, filters=17628, ccks=912, wck=0.309, mem=47M724
4.71/2.62 decisions=8333, wrong=2387, backtracks=1604, failedAssignments=1542, nogoods=591, foundSolutions=4, bestBound=6
4.71/2.62
4.71/2.63 num=66, depth=1..43, filters=18613, ccks=912, wck=0.314, mem=47M724
4.71/2.63 decisions=8513, wrong=2465, backtracks=1665, failedAssignments=1583, nogoods=606, foundSolutions=4, bestBound=6
4.71/2.63
4.71/2.63 num=67, depth=1..24, filters=19177, ccks=912, wck=0.318, mem=47M724
4.71/2.63 decisions=8654, wrong=2528, backtracks=1718, failedAssignments=1628, nogoods=614, foundSolutions=4, bestBound=6
4.71/2.63
4.71/2.63 num=68, depth=1..110, filters=19513, ccks=912, wck=0.322, mem=47M724
4.71/2.63 decisions=8869, wrong=2591, backtracks=1762, failedAssignments=1678, nogoods=633, foundSolutions=4, bestBound=6
4.71/2.63
4.71/2.64 num=69, depth=1..60, filters=20247, ccks=912, wck=0.327, mem=47M724
4.71/2.64 decisions=9141, wrong=2710, backtracks=1864, failedAssignments=1733, nogoods=647, foundSolutions=4, bestBound=6
4.71/2.64
4.71/2.64 num=70, depth=1..26, filters=21020, ccks=912, wck=0.331, mem=47M724
4.71/2.64 decisions=9358, wrong=2812, backtracks=1958, failedAssignments=1794, nogoods=654, foundSolutions=4, bestBound=6
4.71/2.64
4.71/2.66 num=71, depth=2..43, filters=23970, ccks=912, wck=0.344, mem=47M724
4.71/2.66 decisions=9676, wrong=2959, backtracks=2087, failedAssignments=1861, nogoods=665, foundSolutions=4, bestBound=6
4.71/2.66
4.71/2.66 num=72, depth=3..26, filters=25001, ccks=912, wck=0.35, mem=47M724
4.71/2.66 decisions=9994, wrong=3112, backtracks=2224, failedAssignments=1935, nogoods=672, foundSolutions=4, bestBound=6
4.71/2.66
4.71/2.68 num=73, depth=13..61, filters=27733, ccks=912, wck=0.363, mem=47M724
4.71/2.68 decisions=10401, wrong=3296, backtracks=2387, failedAssignments=2016, nogoods=687, foundSolutions=4, bestBound=6
4.71/2.68
4.71/2.68 num=74, depth=4..67, filters=28656, ccks=912, wck=0.369, mem=47M724
4.71/2.68 decisions=10853, wrong=3502, backtracks=2566, failedAssignments=2105, nogoods=712, foundSolutions=4, bestBound=6
4.71/2.68
4.71/2.69 num=75, depth=12..23, filters=29629, ccks=912, wck=0.375, mem=47M724
4.71/2.69 decisions=11195, wrong=3667, backtracks=2724, failedAssignments=2203, nogoods=714, foundSolutions=4, bestBound=6
4.71/2.69
4.71/2.69 num=76, depth=10..146, filters=30363, ccks=912, wck=0.381, mem=47M724
4.71/2.69 decisions=11649, wrong=3840, backtracks=2867, failedAssignments=2311, nogoods=741, foundSolutions=4, bestBound=6
4.71/2.69
4.99/2.70 num=77, depth=10..56, filters=31354, ccks=912, wck=0.388, mem=47M724
4.99/2.70 decisions=12126, wrong=4059, backtracks=3064, failedAssignments=2430, nogoods=754, foundSolutions=4, bestBound=6
4.99/2.70
4.99/2.71 num=78, depth=12..40, filters=33207, ccks=912, wck=0.398, mem=47M724
4.99/2.71 decisions=12608, wrong=4288, backtracks=3278, failedAssignments=2561, nogoods=769, foundSolutions=4, bestBound=6
4.99/2.71
4.99/2.72 num=79, depth=2..64, filters=34700, ccks=912, wck=0.407, mem=50M367
4.99/2.72 decisions=13187, wrong=4555, backtracks=3513, failedAssignments=2705, nogoods=791, foundSolutions=4, bestBound=6
4.99/2.72
4.99/2.72 num=80, depth=2..120, filters=35338, ccks=912, wck=0.413, mem=50M367
4.99/2.72 decisions=13693, wrong=4762, backtracks=3688, failedAssignments=2863, nogoods=819, foundSolutions=4, bestBound=6
4.99/2.72
4.99/2.74 num=81, depth=3..45, filters=36912, ccks=912, wck=0.422, mem=50M367
4.99/2.74 decisions=14444, wrong=5122, backtracks=4032, failedAssignments=3037, nogoods=833, foundSolutions=4, bestBound=6
4.99/2.74
4.99/2.74 num=82, depth=8..40, filters=38723, ccks=912, wck=0.433, mem=50M367
4.99/2.74 decisions=15031, wrong=5403, backtracks=4288, failedAssignments=3228, nogoods=841, foundSolutions=4, bestBound=6
4.99/2.74
4.99/2.75 num=83, depth=7..93, filters=40279, ccks=912, wck=0.442, mem=50M367
4.99/2.75 decisions=15880, wrong=5795, backtracks=4652, failedAssignments=3439, nogoods=865, foundSolutions=4, bestBound=6
4.99/2.75
4.99/2.77 num=84, depth=6..42, filters=43437, ccks=912, wck=0.458, mem=50M367
4.99/2.77 decisions=16763, wrong=6223, backtracks=5040, failedAssignments=3671, nogoods=877, foundSolutions=4, bestBound=6
4.99/2.77
4.99/2.79 num=85, depth=8..47, filters=47325, ccks=912, wck=0.479, mem=50M367
4.99/2.79 decisions=17839, wrong=6744, backtracks=5533, failedAssignments=3926, nogoods=895, foundSolutions=4, bestBound=6
4.99/2.79
5.13/2.81 num=86, depth=17..44, filters=50143, ccks=912, wck=0.494, mem=50M367
5.13/2.81 decisions=18783, wrong=7204, backtracks=5914, failedAssignments=4207, nogoods=905, foundSolutions=4, bestBound=6
5.13/2.81
5.13/2.82 num=87, depth=1..39, filters=53264, ccks=912, wck=0.509, mem=50M367
5.13/2.82 decisions=19875, wrong=7740, backtracks=6427, failedAssignments=4516, nogoods=915, foundSolutions=4, bestBound=6
5.13/2.82
5.13/2.84 num=88, depth=8..28, filters=56451, ccks=912, wck=0.526, mem=50M367
5.13/2.84 decisions=21086, wrong=8338, backtracks=7005, failedAssignments=4856, nogoods=922, foundSolutions=4, bestBound=6
5.13/2.84
5.13/2.85 num=89, depth=8..142, filters=58005, ccks=912, wck=0.537, mem=50M367
5.13/2.85 decisions=22229, wrong=8864, backtracks=7491, failedAssignments=5230, nogoods=955, foundSolutions=4, bestBound=6
5.13/2.85
5.13/2.86 num=90, depth=2..96, filters=60535, ccks=912, wck=0.551, mem=50M367
5.13/2.86 decisions=23880, wrong=9656, backtracks=8187, failedAssignments=5641, nogoods=988, foundSolutions=4, bestBound=6
5.13/2.86
5.13/2.88 num=91, depth=1..145, filters=63885, ccks=912, wck=0.57, mem=50M367
5.13/2.88 decisions=25776, wrong=10557, backtracks=9016, failedAssignments=6093, nogoods=1031, foundSolutions=4, bestBound=6
5.13/2.88
5.25/2.91 num=92, depth=1..75, filters=69459, ccks=912, wck=0.602, mem=50M367
5.25/2.91 decisions=28352, wrong=11830, backtracks=10255, failedAssignments=6590, nogoods=1041, foundSolutions=4, bestBound=6
5.25/2.91
5.25/2.94 num=93, depth=10..98, filters=73594, ccks=912, wck=0.624, mem=50M367
5.25/2.94 decisions=30514, wrong=12877, backtracks=11239, failedAssignments=7137, nogoods=1070, foundSolutions=4, bestBound=6
5.25/2.94
5.25/2.96 num=94, depth=1..52, filters=78486, ccks=912, wck=0.65, mem=50M367
5.25/2.96 decisions=32937, wrong=14076, backtracks=12411, failedAssignments=7739, nogoods=1080, foundSolutions=4, bestBound=6
5.25/2.96
5.25/3.00 num=95, depth=5..178, filters=85517, ccks=912, wck=0.689, mem=53M9
5.25/3.00 decisions=35679, wrong=15378, backtracks=13605, failedAssignments=8401, nogoods=1124, foundSolutions=4, bestBound=6
5.25/3.00
5.36/3.03 num=96, depth=4..76, filters=91125, ccks=912, wck=0.718, mem=53M9
5.36/3.03 decisions=38835, wrong=16931, backtracks=15110, failedAssignments=9129, nogoods=1150, foundSolutions=4, bestBound=6
5.36/3.03
5.36/3.06 num=97, depth=2..36, filters=97150, ccks=912, wck=0.751, mem=53M9
5.36/3.06 decisions=42084, wrong=18547, backtracks=16666, failedAssignments=9930, nogoods=1156, foundSolutions=4, bestBound=6
5.36/3.06
5.46/3.13 num=98, depth=8..37, filters=108377, ccks=912, wck=0.815, mem=53M9
5.46/3.13 decisions=45312, wrong=20150, backtracks=18165, failedAssignments=10811, nogoods=1164, foundSolutions=4, bestBound=6
5.46/3.13
5.55/3.20 num=99, depth=11..123, filters=122813, ccks=912, wck=0.887, mem=53M9
5.55/3.20 decisions=50390, wrong=22647, backtracks=20498, failedAssignments=11781, nogoods=1189, foundSolutions=4, bestBound=6
5.55/3.20
5.65/3.35 num=100, depth=18..65, filters=161679, ccks=912, wck=1.033, mem=53M9
5.65/3.35 decisions=55617, wrong=25241, backtracks=22956, failedAssignments=12848, nogoods=1209, foundSolutions=4, bestBound=6
5.65/3.35
5.75/3.41 num=101, depth=12..37, filters=173915, ccks=912, wck=1.097, mem=53M9
5.75/3.41 decisions=60140, wrong=27493, backtracks=25010, failedAssignments=14021, nogoods=1224, foundSolutions=4, bestBound=6
5.75/3.41
5.75/3.48 num=102, depth=15..47, filters=187264, ccks=912, wck=1.163, mem=55M652
5.75/3.48 decisions=64325, wrong=29575, backtracks=26966, failedAssignments=15312, nogoods=1235, foundSolutions=4, bestBound=6
5.75/3.48
5.85/3.54 num=103, depth=6..37, filters=200565, ccks=912, wck=1.229, mem=55M652
5.85/3.54 decisions=69474, wrong=32142, backtracks=29395, failedAssignments=16732, nogoods=1245, foundSolutions=4, bestBound=6
5.85/3.54
5.95/3.62 num=104, depth=3..120, filters=213847, ccks=912, wck=1.311, mem=55M652
5.95/3.62 decisions=76823, wrong=35777, backtracks=32904, failedAssignments=18294, nogoods=1274, foundSolutions=4, bestBound=6
5.95/3.62
6.05/3.71 num=105, depth=6..49, filters=229685, ccks=912, wck=1.397, mem=55M652
6.05/3.71 decisions=83586, wrong=39150, backtracks=35759, failedAssignments=20012, nogoods=1286, foundSolutions=4, bestBound=6
6.05/3.71
6.15/3.86 num=106, depth=11..71, filters=263158, ccks=912, wck=1.549, mem=58M294
6.15/3.86 decisions=92466, wrong=43570, backtracks=39983, failedAssignments=21902, nogoods=1307, foundSolutions=4, bestBound=6
6.15/3.86
6.25/4.00 num=107, depth=7..38, filters=289605, ccks=912, wck=1.688, mem=58M294
6.25/4.00 decisions=99789, wrong=47223, backtracks=43502, failedAssignments=23981, nogoods=1318, foundSolutions=4, bestBound=6
6.25/4.00
6.46/4.12 num=108, depth=5..42, filters=314587, ccks=912, wck=1.807, mem=60M937
6.46/4.12 decisions=108377, wrong=51505, backtracks=47649, failedAssignments=26268, nogoods=1331, foundSolutions=4, bestBound=6
6.46/4.12
6.57/4.23 num=109, depth=2..152, filters=332483, ccks=912, wck=1.918, mem=60M937
6.57/4.23 decisions=119201, wrong=56860, backtracks=52734, failedAssignments=28784, nogoods=1365, foundSolutions=4, bestBound=6
6.57/4.23
6.68/4.33 num=110, depth=5..73, filters=349624, ccks=912, wck=2.014, mem=60M937
6.68/4.33 decisions=131661, wrong=63068, backtracks=58785, failedAssignments=31552, nogoods=1387, foundSolutions=4, bestBound=6
6.68/4.33
6.78/4.45 num=111, depth=7..144, filters=370815, ccks=912, wck=2.133, mem=63M579
6.78/4.45 decisions=144183, wrong=69283, backtracks=64797, failedAssignments=34596, nogoods=1435, foundSolutions=4, bestBound=6
6.78/4.45
6.98/4.60 num=112, depth=9..130, filters=400597, ccks=912, wck=2.291, mem=63M579
6.98/4.60 decisions=158902, wrong=76605, backtracks=71731, failedAssignments=37945, nogoods=1473, foundSolutions=4, bestBound=6
6.98/4.60
7.08/4.76 num=113, depth=5..130, filters=429242, ccks=912, wck=2.445, mem=63M579
7.08/4.76 decisions=176808, wrong=85521, backtracks=80382, failedAssignments=41629, nogoods=1515, foundSolutions=4, bestBound=6
7.08/4.76
7.28/4.92 num=114, depth=1..86, filters=458963, ccks=912, wck=2.603, mem=66M222
7.28/4.92 decisions=193461, wrong=93821, backtracks=88436, failedAssignments=45681, nogoods=1544, foundSolutions=4, bestBound=6
7.28/4.92
7.28/4.93 o 5
7.28/4.94 num=115, depth=11..380, filters=461342, ccks=1140, wck=2.622, mem=66M222
7.28/4.94 decisions=195076, wrong=94557, backtracks=89089, failedAssignments=46079, nogoods=1581, foundSolutions=5, bestBound=5
7.28/4.94
7.52/5.12 num=116, depth=11..94, filters=491535, ccks=1140, wck=2.812, mem=68M864
7.52/5.12 decisions=215048, wrong=104513, backtracks=98845, failedAssignments=50982, nogoods=1612, foundSolutions=5, bestBound=5
7.52/5.12
7.52/5.13 num=117, depth=1..40, filters=491642, ccks=1140, wck=2.813, mem=68M864
7.52/5.13 decisions=215100, wrong=104524, backtracks=98845, failedAssignments=50993, nogoods=1623, foundSolutions=5, bestBound=5
7.52/5.13
7.52/5.13 num=118, depth=1..39, filters=491778, ccks=1140, wck=2.815, mem=68M864
7.52/5.13 decisions=215157, wrong=104539, backtracks=98849, failedAssignments=51005, nogoods=1632, foundSolutions=5, bestBound=5
7.52/5.13
7.52/5.13 num=119, depth=1..39, filters=491911, ccks=1140, wck=2.816, mem=68M864
7.52/5.13 decisions=215221, wrong=104556, backtracks=98856, failedAssignments=51018, nogoods=1642, foundSolutions=5, bestBound=5
7.52/5.13
7.52/5.13 num=120, depth=1..40, filters=492035, ccks=1140, wck=2.817, mem=68M864
7.52/5.13 decisions=215280, wrong=104571, backtracks=98860, failedAssignments=51032, nogoods=1653, foundSolutions=5, bestBound=5
7.52/5.13
7.52/5.13 num=121, depth=1..40, filters=492178, ccks=1140, wck=2.818, mem=68M864
7.52/5.13 decisions=215350, wrong=104594, backtracks=98868, failedAssignments=51048, nogoods=1662, foundSolutions=5, bestBound=5
7.52/5.13
7.52/5.13 num=122, depth=1..38, filters=492306, ccks=1140, wck=2.82, mem=68M864
7.52/5.13 decisions=215425, wrong=104620, backtracks=98881, failedAssignments=51065, nogoods=1668, foundSolutions=5, bestBound=5
7.52/5.13
7.52/5.13 num=123, depth=1..42, filters=492469, ccks=1140, wck=2.821, mem=68M864
7.52/5.13 decisions=215502, wrong=104647, backtracks=98891, failedAssignments=51084, nogoods=1678, foundSolutions=5, bestBound=5
7.52/5.13
7.52/5.13 num=124, depth=20..37, filters=492675, ccks=1140, wck=2.822, mem=68M864
7.52/5.13 decisions=215602, wrong=104682, backtracks=98913, failedAssignments=51105, nogoods=1683, foundSolutions=5, bestBound=5
7.52/5.13
7.52/5.14 num=125, depth=1..41, filters=492864, ccks=1140, wck=2.824, mem=68M864
7.52/5.14 decisions=215692, wrong=104712, backtracks=98932, failedAssignments=51128, nogoods=1694, foundSolutions=5, bestBound=5
7.52/5.14
7.52/5.14 num=126, depth=20..39, filters=493223, ccks=1140, wck=2.826, mem=68M864
7.52/5.14 decisions=215825, wrong=104763, backtracks=98971, failedAssignments=51153, nogoods=1700, foundSolutions=5, bestBound=5
7.52/5.14
7.52/5.14 num=127, depth=19..38, filters=493548, ccks=1140, wck=2.828, mem=68M864
7.52/5.14 decisions=215974, wrong=104824, backtracks=99011, failedAssignments=51181, nogoods=1705, foundSolutions=5, bestBound=5
7.52/5.14
7.52/5.14 num=128, depth=1..44, filters=493911, ccks=1140, wck=2.83, mem=68M864
7.52/5.14 decisions=216101, wrong=104872, backtracks=99040, failedAssignments=51212, nogoods=1717, foundSolutions=5, bestBound=5
7.52/5.14
7.52/5.15 num=129, depth=1..48, filters=494323, ccks=1140, wck=2.833, mem=68M864
7.52/5.15 decisions=216255, wrong=104933, backtracks=99087, failedAssignments=51246, nogoods=1729, foundSolutions=5, bestBound=5
7.52/5.15
7.52/5.15 num=130, depth=5..42, filters=494768, ccks=1140, wck=2.836, mem=68M864
7.52/5.15 decisions=216443, wrong=105012, backtracks=99150, failedAssignments=51283, nogoods=1736, foundSolutions=5, bestBound=5
7.52/5.15
7.52/5.15 num=131, depth=1..48, filters=495213, ccks=1140, wck=2.839, mem=68M864
7.52/5.15 decisions=216623, wrong=105086, backtracks=99209, failedAssignments=51324, nogoods=1747, foundSolutions=5, bestBound=5
7.52/5.15
7.52/5.15 num=132, depth=1..50, filters=495630, ccks=1140, wck=2.841, mem=68M864
7.52/5.15 decisions=216812, wrong=105163, backtracks=99272, failedAssignments=51369, nogoods=1759, foundSolutions=5, bestBound=5
7.52/5.15
7.52/5.16 num=133, depth=1..42, filters=495970, ccks=1140, wck=2.843, mem=68M864
7.52/5.16 decisions=217027, wrong=105255, backtracks=99327, failedAssignments=51419, nogoods=1769, foundSolutions=5, bestBound=5
7.52/5.16
7.52/5.16 num=134, depth=5..45, filters=496504, ccks=1140, wck=2.847, mem=68M864
7.52/5.16 decisions=217295, wrong=105374, backtracks=99430, failedAssignments=51474, nogoods=1777, foundSolutions=5, bestBound=5
7.52/5.16
7.52/5.16 num=135, depth=26..39, filters=497042, ccks=1140, wck=2.85, mem=68M864
7.52/5.16 decisions=217550, wrong=105487, backtracks=99516, failedAssignments=51535, nogoods=1779, foundSolutions=5, bestBound=5
7.52/5.16
7.52/5.16 num=136, depth=5..43, filters=497474, ccks=1140, wck=2.852, mem=68M864
7.52/5.16 decisions=217804, wrong=105599, backtracks=99611, failedAssignments=51602, nogoods=1787, foundSolutions=5, bestBound=5
7.52/5.16
7.52/5.17 num=137, depth=21..38, filters=497889, ccks=1140, wck=2.855, mem=68M864
7.52/5.17 decisions=218092, wrong=105728, backtracks=99726, failedAssignments=51676, nogoods=1792, foundSolutions=5, bestBound=5
7.52/5.17
7.52/5.17 num=138, depth=20..42, filters=498664, ccks=1140, wck=2.86, mem=68M864
7.52/5.17 decisions=218423, wrong=105879, backtracks=99862, failedAssignments=51757, nogoods=1796, foundSolutions=5, bestBound=5
7.52/5.17
7.52/5.18 num=139, depth=22..39, filters=499312, ccks=1140, wck=2.863, mem=68M864
7.52/5.18 decisions=218805, wrong=106055, backtracks=100009, failedAssignments=51846, nogoods=1799, foundSolutions=5, bestBound=5
7.52/5.18
7.52/5.18 num=140, depth=27..44, filters=500162, ccks=1140, wck=2.868, mem=68M864
7.52/5.18 decisions=219190, wrong=106232, backtracks=100171, failedAssignments=51944, nogoods=1805, foundSolutions=5, bestBound=5
7.52/5.18
7.52/5.18 num=141, depth=1..44, filters=500902, ccks=1140, wck=2.873, mem=68M864
7.52/5.18 decisions=219575, wrong=106410, backtracks=100325, failedAssignments=52052, nogoods=1816, foundSolutions=5, bestBound=5
7.52/5.18
7.52/5.19 num=142, depth=1..49, filters=501941, ccks=1140, wck=2.878, mem=68M864
7.52/5.19 decisions=220039, wrong=106628, backtracks=100528, failedAssignments=52171, nogoods=1825, foundSolutions=5, bestBound=5
7.52/5.19
7.52/5.20 num=143, depth=26..43, filters=503110, ccks=1140, wck=2.884, mem=68M864
7.52/5.20 decisions=220561, wrong=106874, backtracks=100750, failedAssignments=52302, nogoods=1832, foundSolutions=5, bestBound=5
7.52/5.20
7.64/5.20 num=144, depth=1..70, filters=504115, ccks=1140, wck=2.891, mem=68M864
7.64/5.20 decisions=221027, wrong=107083, backtracks=100922, failedAssignments=52446, nogoods=1853, foundSolutions=5, bestBound=5
7.64/5.20
7.64/5.21 num=145, depth=1..52, filters=505182, ccks=1140, wck=2.897, mem=68M864
7.64/5.21 decisions=221566, wrong=107335, backtracks=101162, failedAssignments=52604, nogoods=1865, foundSolutions=5, bestBound=5
7.64/5.21
7.64/5.22 num=146, depth=4..46, filters=506531, ccks=1140, wck=2.904, mem=68M864
7.64/5.22 decisions=222215, wrong=107643, backtracks=101442, failedAssignments=52778, nogoods=1878, foundSolutions=5, bestBound=5
7.64/5.22
7.64/5.22 num=147, depth=1..51, filters=508066, ccks=1140, wck=2.912, mem=68M864
7.64/5.22 decisions=222899, wrong=107968, backtracks=101732, failedAssignments=52969, nogoods=1891, foundSolutions=5, bestBound=5
7.64/5.22
7.64/5.23 num=148, depth=1..39, filters=510351, ccks=1140, wck=2.923, mem=68M864
7.64/5.23 decisions=223673, wrong=108344, backtracks=102073, failedAssignments=53180, nogoods=1900, foundSolutions=5, bestBound=5
7.64/5.23
7.64/5.25 num=149, depth=1..77, filters=512542, ccks=1140, wck=2.935, mem=68M864
7.64/5.25 decisions=224674, wrong=108821, backtracks=102510, failedAssignments=53412, nogoods=1926, foundSolutions=5, bestBound=5
7.64/5.25
7.64/5.26 num=150, depth=1..49, filters=514609, ccks=1140, wck=2.945, mem=68M864
7.64/5.26 decisions=225659, wrong=109297, backtracks=102962, failedAssignments=53667, nogoods=1942, foundSolutions=5, bestBound=5
7.64/5.26
7.64/5.27 num=151, depth=9..71, filters=517576, ccks=1140, wck=2.96, mem=68M864
7.64/5.27 decisions=226984, wrong=109934, backtracks=103552, failedAssignments=53948, nogoods=1954, foundSolutions=5, bestBound=5
7.64/5.27
7.64/5.28 num=152, depth=1..77, filters=519715, ccks=1140, wck=2.973, mem=68M864
7.64/5.28 decisions=228203, wrong=110518, backtracks=104110, failedAssignments=54257, nogoods=1974, foundSolutions=5, bestBound=5
7.64/5.28
7.64/5.30 num=153, depth=1..82, filters=521615, ccks=1140, wck=2.984, mem=68M864
7.64/5.30 decisions=229547, wrong=111164, backtracks=104729, failedAssignments=54597, nogoods=1998, foundSolutions=5, bestBound=5
7.64/5.30
7.76/5.31 num=154, depth=1..77, filters=524359, ccks=1140, wck=2.999, mem=68M864
7.76/5.31 decisions=231008, wrong=111868, backtracks=105396, failedAssignments=54971, nogoods=2018, foundSolutions=5, bestBound=5
7.76/5.31
7.76/5.33 num=155, depth=1..65, filters=526640, ccks=1140, wck=3.013, mem=68M864
7.76/5.33 decisions=232674, wrong=112679, backtracks=106188, failedAssignments=55382, nogoods=2034, foundSolutions=5, bestBound=5
7.76/5.33
7.76/5.34 num=156, depth=1..51, filters=529861, ccks=1140, wck=3.032, mem=68M864
7.76/5.34 decisions=234643, wrong=113650, backtracks=107135, failedAssignments=55834, nogoods=2053, foundSolutions=5, bestBound=5
7.76/5.34
7.76/5.37 num=157, depth=1..55, filters=533716, ccks=1140, wck=3.055, mem=71M507
7.76/5.37 decisions=236836, wrong=114733, backtracks=108182, failedAssignments=56331, nogoods=2072, foundSolutions=5, bestBound=5
7.76/5.37
7.76/5.39 num=158, depth=1..63, filters=537335, ccks=1140, wck=3.076, mem=71M507
7.76/5.39 decisions=239283, wrong=115938, backtracks=109330, failedAssignments=56878, nogoods=2088, foundSolutions=5, bestBound=5
7.76/5.39
7.86/5.41 num=159, depth=1..83, filters=541707, ccks=1140, wck=3.1, mem=71M507
7.86/5.41 decisions=241962, wrong=117255, backtracks=110547, failedAssignments=57480, nogoods=2120, foundSolutions=5, bestBound=5
7.86/5.41
7.86/5.44 num=160, depth=1..74, filters=546282, ccks=1140, wck=3.125, mem=71M507
7.86/5.44 decisions=244745, wrong=118625, backtracks=111850, failedAssignments=58142, nogoods=2144, foundSolutions=5, bestBound=5
7.86/5.44
7.86/5.46 num=161, depth=1..74, filters=551534, ccks=1140, wck=3.153, mem=71M507
7.86/5.46 decisions=247689, wrong=120077, backtracks=113242, failedAssignments=58870, nogoods=2170, foundSolutions=5, bestBound=5
7.86/5.46
8.03/5.50 num=162, depth=1..47, filters=557635, ccks=1140, wck=3.185, mem=71M507
8.03/5.50 decisions=251146, wrong=121794, backtracks=114882, failedAssignments=59671, nogoods=2182, foundSolutions=5, bestBound=5
8.03/5.50
8.03/5.52 num=163, depth=1..50, filters=562884, ccks=1140, wck=3.212, mem=71M507
8.03/5.52 decisions=254318, wrong=123368, backtracks=116340, failedAssignments=60552, nogoods=2199, foundSolutions=5, bestBound=5
8.03/5.52
8.03/5.58 num=164, depth=1..118, filters=572551, ccks=1140, wck=3.266, mem=71M507
8.03/5.58 decisions=259337, wrong=125844, backtracks=118739, failedAssignments=61522, nogoods=2231, foundSolutions=5, bestBound=5
8.03/5.58
8.13/5.63 num=165, depth=1..101, filters=580788, ccks=1140, wck=3.315, mem=71M507
8.13/5.63 decisions=264250, wrong=128267, backtracks=121046, failedAssignments=62589, nogoods=2259, foundSolutions=5, bestBound=5
8.13/5.63
8.13/5.67 num=166, depth=1..83, filters=589627, ccks=1140, wck=3.362, mem=71M507
8.13/5.67 decisions=269393, wrong=130816, backtracks=123397, failedAssignments=63762, nogoods=2283, foundSolutions=5, bestBound=5
8.13/5.67
8.25/5.74 num=167, depth=4..134, filters=601463, ccks=1140, wck=3.429, mem=71M507
8.25/5.74 decisions=276361, wrong=134257, backtracks=126726, failedAssignments=65053, nogoods=2320, foundSolutions=5, bestBound=5
8.25/5.74
8.41/5.82 num=168, depth=1..89, filters=615256, ccks=1140, wck=3.509, mem=74M149
8.41/5.82 decisions=283074, wrong=137584, backtracks=129850, failedAssignments=66473, nogoods=2349, foundSolutions=5, bestBound=5
8.41/5.82
8.41/5.89 num=169, depth=1..103, filters=627573, ccks=1140, wck=3.579, mem=74M149
8.41/5.89 decisions=290272, wrong=141152, backtracks=133289, failedAssignments=68035, nogoods=2387, foundSolutions=5, bestBound=5
8.41/5.89
8.52/5.95 num=170, depth=1..56, filters=639105, ccks=1140, wck=3.64, mem=74M149
8.52/5.95 decisions=297944, wrong=144972, backtracks=137033, failedAssignments=69753, nogoods=2404, foundSolutions=5, bestBound=5
8.52/5.95
8.62/6.04 num=171, depth=4..53, filters=656453, ccks=1140, wck=3.728, mem=74M149
8.62/6.04 decisions=305434, wrong=148707, backtracks=140670, failedAssignments=71643, nogoods=2420, foundSolutions=5, bestBound=5
8.62/6.04
8.72/6.12 num=172, depth=1..65, filters=672098, ccks=1140, wck=3.812, mem=74M149
8.72/6.12 decisions=313174, wrong=152557, backtracks=143950, failedAssignments=73722, nogoods=2443, foundSolutions=5, bestBound=5
8.72/6.12
8.81/6.22 num=173, depth=6..73, filters=690110, ccks=1140, wck=3.908, mem=76M791
8.81/6.22 decisions=322380, wrong=157136, backtracks=148155, failedAssignments=76009, nogoods=2469, foundSolutions=5, bestBound=5
8.81/6.22
8.91/6.33 num=174, depth=3..78, filters=710637, ccks=1140, wck=4.016, mem=76M791
8.91/6.33 decisions=332813, wrong=162332, backtracks=152623, failedAssignments=78525, nogoods=2491, foundSolutions=5, bestBound=5
8.91/6.33
9.01/6.45 num=175, depth=3..38, filters=735807, ccks=1140, wck=4.138, mem=76M791
9.01/6.45 decisions=344591, wrong=168210, backtracks=158137, failedAssignments=81293, nogoods=2502, foundSolutions=5, bestBound=5
9.01/6.45
9.22/6.63 num=176, depth=6..71, filters=768735, ccks=1140, wck=4.322, mem=76M791
9.22/6.63 decisions=357617, wrong=174702, backtracks=164008, failedAssignments=84337, nogoods=2517, foundSolutions=5, bestBound=5
9.22/6.63
9.32/6.73 num=177, depth=15..79, filters=784725, ccks=1140, wck=4.413, mem=79M434
9.32/6.73 decisions=368994, wrong=180363, backtracks=169386, failedAssignments=87686, nogoods=2534, foundSolutions=5, bestBound=5
9.32/6.73
9.42/6.88 num=178, depth=7..112, filters=811896, ccks=1140, wck=4.566, mem=79M434
9.42/6.88 decisions=387102, wrong=189386, backtracks=178138, failedAssignments=91370, nogoods=2571, foundSolutions=5, bestBound=5
9.42/6.88
9.73/7.13 num=179, depth=2..68, filters=858107, ccks=1140, wck=4.821, mem=79M434
9.73/7.13 decisions=408086, wrong=199858, backtracks=188225, failedAssignments=95422, nogoods=2590, foundSolutions=5, bestBound=5
9.73/7.13
9.93/7.37 num=180, depth=6..54, filters=899648, ccks=1140, wck=5.059, mem=82M76
9.93/7.37 decisions=428896, wrong=210245, backtracks=198435, failedAssignments=99879, nogoods=2605, foundSolutions=5, bestBound=5
9.93/7.37
10.13/7.56 num=181, depth=3..55, filters=936316, ccks=1140, wck=5.253, mem=82M76
10.13/7.56 decisions=450331, wrong=220948, backtracks=208713, failedAssignments=104782, nogoods=2622, foundSolutions=5, bestBound=5
10.13/7.56
10.33/7.76 num=182, depth=6..124, filters=968942, ccks=1140, wck=5.443, mem=84M719
10.33/7.76 decisions=474440, wrong=232967, backtracks=220445, failedAssignments=110176, nogoods=2651, foundSolutions=5, bestBound=5
10.33/7.76
10.53/7.96 num=183, depth=5..87, filters=1005198, ccks=1140, wck=5.645, mem=84M719
10.53/7.96 decisions=501814, wrong=246627, backtracks=233881, failedAssignments=116109, nogoods=2677, foundSolutions=5, bestBound=5
10.53/7.96
10.74/8.19 num=184, depth=5..78, filters=1047632, ccks=1140, wck=5.883, mem=87M361
10.74/8.19 decisions=531713, wrong=261555, backtracks=248479, failedAssignments=122635, nogoods=2699, foundSolutions=5, bestBound=5
10.74/8.19
11.03/8.43 num=185, depth=6..77, filters=1092157, ccks=1140, wck=6.117, mem=90M4
11.03/8.43 decisions=560269, wrong=275820, backtracks=262283, failedAssignments=129814, nogoods=2715, foundSolutions=5, bestBound=5
11.03/8.43
11.33/8.76 num=186, depth=3..81, filters=1153413, ccks=1140, wck=6.451, mem=92M646
11.33/8.76 decisions=595159, wrong=293243, backtracks=278761, failedAssignments=137711, nogoods=2732, foundSolutions=5, bestBound=5
11.33/8.76
11.65/9.08 num=187, depth=5..72, filters=1214811, ccks=1140, wck=6.772, mem=92M646
11.65/9.08 decisions=631278, wrong=311293, backtracks=295311, failedAssignments=146398, nogoods=2742, foundSolutions=5, bestBound=5
11.65/9.08
12.04/9.44 num=188, depth=6..92, filters=1281688, ccks=1140, wck=7.123, mem=95M289
12.04/9.44 decisions=669926, wrong=330605, backtracks=313886, failedAssignments=155953, nogoods=2760, foundSolutions=5, bestBound=5
12.04/9.44
12.44/9.81 num=189, depth=9..100, filters=1350396, ccks=1140, wck=7.502, mem=97M931
12.44/9.81 decisions=709127, wrong=350175, backtracks=331099, failedAssignments=166464, nogoods=2799, foundSolutions=5, bestBound=5
12.44/9.81
12.84/10.25 num=190, depth=11..47, filters=1433785, ccks=1140, wck=7.941, mem=100M573
12.84/10.25 decisions=748568, wrong=369883, backtracks=348087, failedAssignments=178026, nogoods=2812, foundSolutions=5, bestBound=5
12.84/10.25
13.34/10.77 num=191, depth=5..85, filters=1524100, ccks=1140, wck=8.459, mem=103M216
13.34/10.77 decisions=798090, wrong=394619, backtracks=370765, failedAssignments=190744, nogoods=2838, foundSolutions=5, bestBound=5
13.34/10.77
14.24/11.63 num=192, depth=8..83, filters=1692989, ccks=1140, wck=9.323, mem=108M501
14.24/11.63 decisions=858372, wrong=424736, backtracks=400060, failedAssignments=204734, nogoods=2870, foundSolutions=5, bestBound=5
14.24/11.63
14.94/12.38 num=193, depth=7..68, filters=1838724, ccks=1140, wck=10.069, mem=111M144
14.94/12.38 decisions=925340, wrong=458201, backtracks=431638, failedAssignments=220123, nogoods=2896, foundSolutions=5, bestBound=5
14.94/12.38
15.54/13.00 num=194, depth=9..89, filters=1947615, ccks=1140, wck=10.69, mem=116M428
15.54/13.00 decisions=996124, wrong=493576, backtracks=464082, failedAssignments=237051, nogoods=2920, foundSolutions=5, bestBound=5
15.54/13.00
16.24/13.63 num=195, depth=3..73, filters=2066007, ccks=1140, wck=11.32, mem=121M713
16.24/13.63 decisions=1069574, wrong=530284, backtracks=499829, failedAssignments=255672, nogoods=2943, foundSolutions=5, bestBound=5
16.24/13.63
16.84/14.26 num=196, depth=14..56, filters=2182226, ccks=1140, wck=11.945, mem=124M356
16.84/14.26 decisions=1146364, wrong=568664, backtracks=536208, failedAssignments=276156, nogoods=2958, foundSolutions=5, bestBound=5
16.84/14.26
17.94/15.35 num=197, depth=8..91, filters=2381869, ccks=1140, wck=13.039, mem=129M641
17.94/15.35 decisions=1238906, wrong=614907, backtracks=578087, failedAssignments=298688, nogoods=2989, foundSolutions=5, bestBound=5
17.94/15.35
19.04/16.49 num=198, depth=6..82, filters=2585822, ccks=1140, wck=14.176, mem=137M568
19.04/16.49 decisions=1333314, wrong=662086, backtracks=617625, failedAssignments=323473, nogoods=3006, foundSolutions=5, bestBound=5
19.04/16.49
20.55/17.91 num=199, depth=7..87, filters=2871398, ccks=1140, wck=15.602, mem=142M778
20.55/17.91 decisions=1453120, wrong=721965, backtracks=674386, failedAssignments=350737, nogoods=3035, foundSolutions=5, bestBound=5
20.55/17.91
21.79/19.11 num=200, depth=3..82, filters=3097012, ccks=1140, wck=16.801, mem=29M528
21.79/19.11 decisions=1583415, wrong=787095, backtracks=736589, failedAssignments=380727, nogoods=3055, foundSolutions=5, bestBound=5
21.79/19.11
22.79/20.13 num=201, depth=7..42, filters=3290583, ccks=1140, wck=17.816, mem=37M376
22.79/20.13 decisions=1720236, wrong=855496, backtracks=802726, failedAssignments=413716, nogoods=3058, foundSolutions=5, bestBound=5
22.79/20.13
24.09/21.41 num=202, depth=7..43, filters=3522840, ccks=1140, wck=19.1, mem=45M224
24.09/21.41 decisions=1871181, wrong=930960, backtracks=875553, failedAssignments=450004, nogoods=3068, foundSolutions=5, bestBound=5
24.09/21.41
25.69/23.03 num=203, depth=10..47, filters=3818097, ccks=1140, wck=20.719, mem=55M688
25.69/23.03 decisions=2017257, wrong=1003991, backtracks=944092, failedAssignments=489921, nogoods=3076, foundSolutions=5, bestBound=5
25.69/23.03
27.29/24.68 num=204, depth=3..63, filters=4126900, ccks=1140, wck=22.372, mem=66M152
27.29/24.68 decisions=2208801, wrong=1099749, backtracks=1036521, failedAssignments=533830, nogoods=3090, foundSolutions=5, bestBound=5
27.29/24.68
28.89/26.20 num=205, depth=5..62, filters=4406518, ccks=1140, wck=23.89, mem=76M616
28.89/26.20 decisions=2405574, wrong=1198120, backtracks=1131610, failedAssignments=582130, nogoods=3113, foundSolutions=5, bestBound=5
28.89/26.20
30.80/28.12 num=206, depth=7..45, filters=4765196, ccks=1140, wck=25.805, mem=89M696
30.80/28.12 decisions=2641903, wrong=1316277, backtracks=1247011, failedAssignments=635260, nogoods=3127, foundSolutions=5, bestBound=5
30.80/28.12
32.99/30.34 num=207, depth=13..63, filters=5208593, ccks=1140, wck=28.032, mem=105M392
32.99/30.34 decisions=2871582, wrong=1431100, backtracks=1347702, failedAssignments=693703, nogoods=3139, foundSolutions=5, bestBound=5
32.99/30.34
35.09/32.44 num=208, depth=0..69, filters=5626912, ccks=1140, wck=30.133, mem=121M88
35.09/32.44 decisions=3130812, wrong=1560695, backtracks=1456910, failedAssignments=757990, nogoods=3160, foundSolutions=5, bestBound=5
35.09/32.44
38.99/36.35 num=209, depth=9..85, filters=6417324, ccks=1140, wck=34.034, mem=136M784
38.99/36.35 decisions=3422821, wrong=1706680, backtracks=1592496, failedAssignments=828706, nogoods=3177, foundSolutions=5, bestBound=5
38.99/36.35
41.42/38.71 num=210, depth=5..60, filters=6872063, ccks=1140, wck=36.403, mem=24M281
41.42/38.71 decisions=3729548, wrong=1860028, backtracks=1733718, failedAssignments=906493, nogoods=3193, foundSolutions=5, bestBound=5
41.42/38.71
44.73/42.02 num=211, depth=7..74, filters=7547236, ccks=1140, wck=39.707, mem=45M283
44.73/42.02 decisions=4087498, wrong=2038986, backtracks=1904423, failedAssignments=992059, nogoods=3215, foundSolutions=5, bestBound=5
44.73/42.02
51.92/49.26 num=212, depth=7..98, filters=8880282, ccks=1140, wck=46.947, mem=71M535
51.92/49.26 decisions=4601623, wrong=2296021, backtracks=2157105, failedAssignments=1086182, nogoods=3235, foundSolutions=5, bestBound=5
51.92/49.26
56.33/53.60 num=213, depth=9..89, filters=9680342, ccks=1140, wck=51.292, mem=95M162
56.33/53.60 decisions=5063656, wrong=2527013, backtracks=2377195, failedAssignments=1189717, nogoods=3260, foundSolutions=5, bestBound=5
56.33/53.60
61.63/58.92 num=214, depth=15..88, filters=10700025, ccks=1140, wck=56.608, mem=124M40
61.63/58.92 decisions=5550216, wrong=2770274, backtracks=2601026, failedAssignments=1303606, nogoods=3281, foundSolutions=5, bestBound=5
61.63/58.92
66.75/64.04 num=215, depth=11..94, filters=11631272, ccks=1140, wck=61.73, mem=153M776
66.75/64.04 decisions=6103965, wrong=3047121, backtracks=2870189, failedAssignments=1428884, nogoods=3312, foundSolutions=5, bestBound=5
66.75/64.04
75.67/73.00 num=216, depth=15..82, filters=13452321, ccks=1140, wck=70.687, mem=55M903
75.67/73.00 decisions=6766599, wrong=3378421, backtracks=3189502, failedAssignments=1566690, nogoods=3325, foundSolutions=5, bestBound=5
75.67/73.00
80.67/77.95 num=217, depth=8..67, filters=14358064, ccks=1140, wck=75.64, mem=92M740
80.67/77.95 decisions=7417564, wrong=3703890, backtracks=3508088, failedAssignments=1718276, nogoods=3341, foundSolutions=5, bestBound=5
80.67/77.95
86.37/83.65 num=218, depth=7..72, filters=15403880, ccks=1140, wck=81.334, mem=134M840
86.37/83.65 decisions=8111174, wrong=4050675, backtracks=3844729, failedAssignments=1885021, nogoods=3366, foundSolutions=5, bestBound=5
86.37/83.65
92.31/89.57 num=219, depth=13..62, filters=16498822, ccks=1140, wck=87.254, mem=47M663
92.31/89.57 decisions=8846854, wrong=4418503, backtracks=4178966, failedAssignments=2068440, nogoods=3384, foundSolutions=5, bestBound=5
92.31/89.57
99.32/96.53 num=220, depth=7..54, filters=17784139, ccks=1140, wck=94.217, mem=96M936
99.32/96.53 decisions=9631664, wrong=4810896, backtracks=4551626, failedAssignments=2270201, nogoods=3407, foundSolutions=5, bestBound=5
99.32/96.53
106.83/104.09 num=221, depth=12..69, filters=19231062, ccks=1140, wck=101.782, mem=146M209
106.83/104.09 decisions=10455493, wrong=5222796, backtracks=4931596, failedAssignments=2492139, nogoods=3423, foundSolutions=5, bestBound=5
106.83/104.09
116.86/114.04 num=222, depth=10..49, filters=21077315, ccks=1140, wck=111.732, mem=75M362
116.86/114.04 decisions=11444386, wrong=5717231, backtracks=5403875, failedAssignments=2736270, nogoods=3439, foundSolutions=5, bestBound=5
116.86/114.04
126.76/123.92 num=223, depth=9..55, filters=22935781, ccks=1140, wck=121.608, mem=136M657
126.76/123.92 decisions=12408709, wrong=6199380, backtracks=5859051, failedAssignments=3004815, nogoods=3457, foundSolutions=5, bestBound=5
126.76/123.92
139.09/136.20 num=224, depth=6..44, filters=25196855, ccks=1140, wck=133.887, mem=79M543
139.09/136.20 decisions=13662394, wrong=6826212, backtracks=6467178, failedAssignments=3300214, nogoods=3476, foundSolutions=5, bestBound=5
139.09/136.20
151.24/148.33 num=225, depth=8..51, filters=27411195, ccks=1140, wck=146.02, mem=34M93
151.24/148.33 decisions=14895413, wrong=7442710, backtracks=7053776, failedAssignments=3625153, nogoods=3499, foundSolutions=5, bestBound=5
151.24/148.33
171.25/168.33 num=226, depth=15..66, filters=31076543, ccks=1140, wck=166.014, mem=110M749
171.25/168.33 decisions=16240928, wrong=8115456, backtracks=7662174, failedAssignments=3982586, nogoods=3514, foundSolutions=5, bestBound=5
171.25/168.33
192.27/189.38 num=227, depth=7..59, filters=35397675, ccks=1140, wck=187.063, mem=82M517
192.27/189.38 decisions=17890096, wrong=8940026, backtracks=8373989, failedAssignments=4375762, nogoods=3534, foundSolutions=5, bestBound=5
192.27/189.38
208.48/205.56 num=228, depth=12..65, filters=38552867, ccks=1140, wck=203.245, mem=59M969
208.48/205.56 decisions=19557924, wrong=9773923, backtracks=9131733, failedAssignments=4808256, nogoods=3561, foundSolutions=5, bestBound=5
208.48/205.56
226.50/223.57 num=229, depth=17..77, filters=41894298, ccks=1140, wck=221.261, mem=73M623
226.50/223.57 decisions=21380209, wrong=10685052, backtracks=9990889, failedAssignments=5284000, nogoods=3579, foundSolutions=5, bestBound=5
226.50/223.57
246.02/243.09 num=230, depth=10..56, filters=45412105, ccks=1140, wck=240.783, mem=75M295
246.02/243.09 decisions=23466746, wrong=11728311, backtracks=10976551, failedAssignments=5807318, nogoods=3590, foundSolutions=5, bestBound=5
246.02/243.09
266.83/263.83 num=231, depth=8..63, filters=49284152, ccks=1140, wck=261.519, mem=99M832
266.83/263.83 decisions=25678429, wrong=12834140, backtracks=12022744, failedAssignments=6382968, nogoods=3603, foundSolutions=5, bestBound=5
266.83/263.83
311.54/308.54 num=232, depth=9..62, filters=56787772, ccks=1140, wck=306.223, mem=128M208
311.54/308.54 decisions=28050197, wrong=14020009, backtracks=13022823, failedAssignments=7016183, nogoods=3622, foundSolutions=5, bestBound=5
311.54/308.54
348.68/345.62 num=233, depth=12..73, filters=63901553, ccks=1140, wck=343.305, mem=72M407
348.68/345.62 decisions=30952608, wrong=15471201, backtracks=14330708, failedAssignments=7712719, nogoods=3640, foundSolutions=5, bestBound=5
348.68/345.62
401.72/398.66 num=234, depth=3..104, filters=74885217, ccks=1140, wck=396.345, mem=38M941
401.72/398.66 decisions=34894054, wrong=17441903, backtracks=16208481, failedAssignments=8478909, nogoods=3670, foundSolutions=5, bestBound=5
401.72/398.66
454.75/451.61 num=235, depth=3..114, filters=84969640, ccks=1140, wck=449.301, mem=30M215
454.75/451.61 decisions=38789994, wrong=19389848, backtracks=18060595, failedAssignments=9321718, nogoods=3700, foundSolutions=5, bestBound=5
454.75/451.61
501.98/498.83 num=236, depth=4..87, filters=93786006, ccks=1140, wck=496.517, mem=48M148
501.98/498.83 decisions=42946139, wrong=21467897, backtracks=20063185, failedAssignments=10248808, nogoods=3721, foundSolutions=5, bestBound=5
501.98/498.83
554.12/550.97 num=237, depth=3..94, filters=103924904, ccks=1140, wck=548.657, mem=108M771
554.12/550.97 decisions=48029466, wrong=24009537, backtracks=22550584, failedAssignments=11268607, nogoods=3763, foundSolutions=5, bestBound=5
554.12/550.97
601.37/598.19 num=238, depth=6..95, filters=112964028, ccks=1140, wck=595.875, mem=87M1
601.37/598.19 decisions=53181847, wrong=26585702, backtracks=25069085, failedAssignments=12390386, nogoods=3792, foundSolutions=5, bestBound=5
601.37/598.19
654.69/651.47 num=239, depth=5..97, filters=122609253, ccks=1140, wck=649.159, mem=108M902
654.69/651.47 decisions=58746940, wrong=29368220, backtracks=27743313, failedAssignments=13624343, nogoods=3823, foundSolutions=5, bestBound=5
654.69/651.47
702.04/698.70 num=240, depth=8..91, filters=131084473, ccks=1140, wck=696.392, mem=90M924
702.04/698.70 decisions=63848771, wrong=31919109, backtracks=30055618, failedAssignments=14981696, nogoods=3848, foundSolutions=5, bestBound=5
702.04/698.70
749.97/746.67 num=241, depth=10..71, filters=139601254, ccks=1140, wck=744.361, mem=104M528
749.97/746.67 decisions=69549170, wrong=34769293, backtracks=32676362, failedAssignments=16474784, nogoods=3867, foundSolutions=5, bestBound=5
749.97/746.67
802.63/799.20 num=242, depth=9..85, filters=149707030, ccks=1140, wck=796.888, mem=53M793
802.63/799.20 decisions=76072159, wrong=38030772, backtracks=35552152, failedAssignments=18117181, nogoods=3887, foundSolutions=5, bestBound=5
802.63/799.20
898.19/894.72 num=243, depth=7..86, filters=167936041, ccks=1140, wck=892.407, mem=51M58
898.19/894.72 decisions=83578949, wrong=41784147, backtracks=38783017, failedAssignments=19923818, nogoods=3920, foundSolutions=5, bestBound=5
898.19/894.72
984.07/980.53 num=244, depth=5..102, filters=183875907, ccks=1140, wck=978.216, mem=33M910
984.07/980.53 decisions=92160707, wrong=46074997, backtracks=42814490, failedAssignments=21911119, nogoods=3963, foundSolutions=5, bestBound=5
984.07/980.53
1066.15/1062.51 num=245, depth=15..106, filters=198462892, ccks=1140, wck=1060.199, mem=27M861
1066.15/1062.51 decisions=100407136, wrong=50198179, backtracks=46488914, failedAssignments=24097150, nogoods=3991, foundSolutions=5, bestBound=5
1066.15/1062.51
1152.14/1148.46 num=246, depth=10..79, filters=213465414, ccks=1140, wck=1146.148, mem=30M41
1152.14/1148.46 decisions=110512323, wrong=55250753, backtracks=51233278, failedAssignments=26501784, nogoods=4017, foundSolutions=5, bestBound=5
1152.14/1148.46
1253.24/1249.45 num=247, depth=8..87, filters=232222535, ccks=1140, wck=1247.143, mem=67M533
1253.24/1249.45 decisions=121428314, wrong=60708731, backtracks=56461697, failedAssignments=29146881, nogoods=4040, foundSolutions=5, bestBound=5
1253.24/1249.45
1363.27/1359.32 num=248, depth=14..75, filters=252426975, ccks=1140, wck=1357.006, mem=39M686
1363.27/1359.32 decisions=133452864, wrong=66720993, backtracks=62163362, failedAssignments=32056488, nogoods=4052, foundSolutions=5, bestBound=5
1363.27/1359.32
1537.43/1533.34 num=249, depth=11..104, filters=283903149, ccks=1140, wck=1531.024, mem=48M169
1537.43/1533.34 decisions=147943822, wrong=73966454, backtracks=68405363, failedAssignments=35257056, nogoods=4077, foundSolutions=5, bestBound=5
1537.43/1533.34
1695.78/1691.59 num=250, depth=7..100, filters=314417118, ccks=1140, wck=1689.283, mem=59M959
1695.78/1691.59 decisions=161404427, wrong=80696730, backtracks=74535648, failedAssignments=38777681, nogoods=4113, foundSolutions=5, bestBound=5
1695.78/1691.59
1820.62/1816.29 num=251, depth=6..110, filters=338376208, ccks=1140, wck=1813.981, mem=58M914
1820.62/1816.29 decisions=176010499, wrong=87999743, backtracks=81176186, failedAssignments=42650368, nogoods=4146, foundSolutions=5, bestBound=5
1820.62/1816.29
1981.16/1976.64 num=252, depth=8..119, filters=366779992, ccks=1140, wck=1974.331, mem=48M243
1981.16/1976.64 decisions=193212267, wrong=96600591, backtracks=88973853, failedAssignments=46910324, nogoods=4190, foundSolutions=5, bestBound=5
1981.16/1976.64
2171.93/2167.29 num=253, depth=12..117, filters=399728755, ccks=1140, wck=2164.982, mem=60M32
2171.93/2167.29 decisions=211729879, wrong=105859366, backtracks=97465421, failedAssignments=51596276, nogoods=4223, foundSolutions=5, bestBound=5
2171.93/2167.29
2383.93/2379.08 num=254, depth=11..115, filters=437089119, ccks=1140, wck=2376.769, mem=41M875
2383.93/2379.08 decisions=232449823, wrong=116219307, backtracks=107022757, failedAssignments=56750823, nogoods=4263, foundSolutions=5, bestBound=5
2383.93/2379.08
2400.07/2395.11
2400.07/2395.11 v <instantiation id='sol5' type='solution' cost='5'> <list> z x[][] </list> <values> 5 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 </values> </instantiation>
2400.07/2395.11 s SATISFIABLE