2.40/1.89
2.40/1.89 AbsCon 2
2.67/1.91
2.91/2.08 Instance
2.91/2.08 name=instance-4391132-1568389356, framework=COP, bounds=-infty..+infty
2.91/2.08
2.91/2.08 Loading variables...
3.21/2.12 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4a9954
3.21/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@366dbf14
3.21/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e382c22
3.21/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f952664
3.21/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755302a8
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac6299a
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26be7da4
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75129448
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e08293
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e46e9c
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e52a4b
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbb3ff4
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c3d99ca
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7769f8c2
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a14954
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5ecfe4
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eefcde2
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a16969
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76eee040
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62521cae
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200f80a9
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e99bed
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d29dc2b
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2188ceda
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b06070c
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65976bd5
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c985cef
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242d87f6
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135e9f4e
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ceecd4
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78ea0d
3.21/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305aaef8
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577ccb44
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533436f9
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2bbe2b
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6e4b59
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9f9f7b
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d37f1ff
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666c231f
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db8c75b
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a128d5b
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30afe6be
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d0773b
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35afd474
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa20d7e
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@590be9bf
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e3baa51
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e83ee
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8e8c8b
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498fa84f
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4871a00f
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3e260e
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4e9235
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430c0ea6
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ec7db6
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0f0e41
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b7a7b6
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524c6fa8
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c43dc46
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7852ec4c
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4293c57e
3.21/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731f1ce6
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b89af71
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bef6ee
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff7f21
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cd1996
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@149486b8
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26406dd8
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc154c5
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb6c751
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a831ca
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@684a24e4
3.21/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc43ed2
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73863750
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b25c2c
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b79a6b0
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a17e0b
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25ff22ec
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c79471
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306f160c
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f1425c
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a85d6da
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68330606
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d48f3f2
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfaf546
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421fc88f
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75f04b1a
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7367865f
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708d7d45
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec421fa
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6975b13a
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7719a662
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d7d8bcc
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@736f80a9
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73749b7d
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d757fe7
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a933857
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1885a649
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9611c61
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91ecf99
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7d736c
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9b060
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f8d453
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6b92ee
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee46030
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5985cee0
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d55368c
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b467ac0
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468d4c3b
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611bb531
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e09b1d1
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16e3af9
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a19480
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a2d021
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc54a5e
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65874223
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccc2458
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14bdad95
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705d0252
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@612d03b3
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64638446
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b484153
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dabfdac
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d456e
3.21/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef9b163
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9bdb7e
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8e1c66
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d0069b
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bfec93b
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@456ca3c1
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dd0a3e
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f894d48
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ff8e6a
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4231d68d
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7033217b
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2231d8ff
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750f213d
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f49cb3
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9872d3
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372cb39e
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b018ab1
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6509d73a
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c44beec
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ca8dfb
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@543a29b8
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224cb735
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18782459
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0029b
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ec8be7
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@439ad5d5
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722d0ad
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4d74d
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b5a791
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce7064f
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfa0ec8
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a01c345
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136dc7a2
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ac77dd
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69270621
3.21/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3
3.21/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5391c438
3.21/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd480e4
3.21/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b922a1
3.21/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51acc96a
3.21/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c88dd3
3.21/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3203a192
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af2e621
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e64e1a8
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36de814a
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@188497c0
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44437955
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199328ae
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1021c514
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0fcfea
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2be76bd9
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eb77aff
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b0efe
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f706a62
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374369e6
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc55ab7
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb65b5
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2bb8bd
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@607caf42
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58889d3a
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73ce0a90
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df17874
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d3d6b0
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a94991
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6dc44d
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@acbcc41
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68630657
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7deb5b
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d7d9c0
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1696e28b
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69eea49e
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253007a9
3.48/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44219f33
3.48/2.29
3.48/2.29
3.48/2.29 Domains
3.48/2.29 nTypes=3, nValues=1036, sizes=[1#16,2#240,36#15]
3.48/2.29 Variables
3.48/2.29 count=271, degrees=[0#16,2#30,4#210,29#15]
3.48/2.29 Objectives
3.48/2.29 way=min, type=SumWeightedLE
3.48/2.29 Constraints
3.48/2.29 count=256, nSpecific=241, arities=[1#15,3#210,15#30,240#1]
3.48/2.29 distribution=[CtrIntension#15,Exactly1#30,SumWeightedLE#211]
3.48/2.29 nIntStructures=(12,shared:3)
3.48/2.29 wck=0.43, cpu=2.265, mem=31M800
3.48/2.29 Solver SolverBacktrack being built...
3.48/2.29
3.73/2.32
3.73/2.32 Solver
3.73/2.32 guaranteedGAC=true
3.73/2.32 wck=0.462, cpu=2.296, mem=42M442
3.73/2.33
3.73/2.33 Preprocessing
3.73/2.33 filters=105, revisions=(15,useless=0), ccks=381, nACremovedValues=336, nTotalRemovedValues=336, inconcistency=false
3.73/2.33 wck=0.011, cpu=2.307, mem=42M442
3.73/2.33
3.73/2.35 num=0, depth=13..28, filters=878, revisions=(106,useless=91), ccks=949, wck=0.026, mem=42M442
3.73/2.35 decisions=92, wrong=39, backtracks=32, failedAssignments=10, nogoods=2
3.73/2.35
3.73/2.37 o 577
3.73/2.37 num=1, depth=272..270, filters=931, revisions=(118,useless=103), ccks=1249, wck=0.05, mem=42M442
3.73/2.37 decisions=185, wrong=39, backtracks=32, failedAssignments=10, nogoods=2, foundSolutions=1, bestBound=577
3.73/2.37
3.73/2.39 num=2, depth=79..93, filters=1334, revisions=(180,useless=165), ccks=1893, wck=0.058, mem=42M442
3.73/2.39 decisions=344, wrong=74, backtracks=66, failedAssignments=22, nogoods=6, foundSolutions=1, bestBound=577
3.73/2.39
3.73/2.39 o 555
3.73/2.39 num=3, depth=77..270, filters=1457, revisions=(203,useless=188), ccks=2298, wck=0.066, mem=45M86
3.73/2.39 decisions=453, wrong=81, backtracks=72, failedAssignments=23, nogoods=7, foundSolutions=2, bestBound=555
3.73/2.39
4.04/2.40 o 530
4.04/2.40 num=4, depth=79..270, filters=1518, revisions=(232,useless=217), ccks=2915, wck=0.072, mem=45M86
4.04/2.40 decisions=543, wrong=82, backtracks=72, failedAssignments=24, nogoods=8, foundSolutions=3, bestBound=530
4.04/2.40
4.04/2.40 o 513
4.04/2.40 num=5, depth=68..270, filters=1591, revisions=(263,useless=248), ccks=3540, wck=0.078, mem=45M86
4.04/2.40 decisions=623, wrong=83, backtracks=72, failedAssignments=25, nogoods=9, foundSolutions=4, bestBound=513
4.04/2.40
4.04/2.40 num=6, depth=73..88, filters=1959, revisions=(321,useless=306), ccks=4118, wck=0.084, mem=45M86
4.04/2.40 decisions=766, wrong=115, backtracks=101, failedAssignments=36, nogoods=11, foundSolutions=4, bestBound=513
4.04/2.40
4.04/2.41 num=7, depth=89..103, filters=2264, revisions=(354,useless=339), ccks=4346, wck=0.089, mem=45M86
4.04/2.41 decisions=913, wrong=140, backtracks=122, failedAssignments=47, nogoods=14, foundSolutions=4, bestBound=513
4.04/2.41
4.04/2.42 o 487
4.04/2.42 num=8, depth=92..270, filters=2398, revisions=(388,useless=373), ccks=4790, wck=0.095, mem=45M86
4.04/2.42 decisions=1034, wrong=147, backtracks=128, failedAssignments=49, nogoods=15, foundSolutions=5, bestBound=487
4.04/2.42
4.04/2.42 num=9, depth=82..109, filters=2937, revisions=(452,useless=437), ccks=5578, wck=0.103, mem=45M86
4.04/2.42 decisions=1248, wrong=201, backtracks=182, failedAssignments=62, nogoods=17, foundSolutions=5, bestBound=487
4.04/2.42
4.04/2.43 num=10, depth=77..98, filters=3575, revisions=(538,useless=523), ccks=6297, wck=0.111, mem=45M86
4.04/2.43 decisions=1401, wrong=239, backtracks=218, failedAssignments=73, nogoods=18, foundSolutions=5, bestBound=487
4.04/2.43
4.04/2.44 num=11, depth=79..96, filters=4280, revisions=(639,useless=624), ccks=7168, wck=0.118, mem=45M86
4.04/2.44 decisions=1565, wrong=277, backtracks=249, failedAssignments=85, nogoods=22, foundSolutions=5, bestBound=487
4.04/2.44
4.04/2.45 num=12, depth=57..75, filters=4849, revisions=(707,useless=692), ccks=7637, wck=0.124, mem=45M86
4.04/2.45 decisions=1717, wrong=318, backtracks=291, failedAssignments=98, nogoods=24, foundSolutions=5, bestBound=487
4.04/2.45
4.04/2.45 num=13, depth=77..89, filters=5375, revisions=(770,useless=755), ccks=8085, wck=0.129, mem=45M86
4.04/2.45 decisions=1876, wrong=359, backtracks=330, failedAssignments=112, nogoods=26, foundSolutions=5, bestBound=487
4.04/2.45
4.04/2.46 num=14, depth=82..95, filters=5956, revisions=(886,useless=871), ccks=9096, wck=0.136, mem=45M86
4.04/2.46 decisions=2038, wrong=399, backtracks=365, failedAssignments=128, nogoods=28, foundSolutions=5, bestBound=487
4.04/2.46
4.04/2.46 num=15, depth=87..99, filters=6534, revisions=(974,useless=959), ccks=9557, wck=0.142, mem=45M86
4.04/2.46 decisions=2232, wrong=450, backtracks=413, failedAssignments=145, nogoods=30, foundSolutions=5, bestBound=487
4.04/2.46
4.04/2.47 num=16, depth=74..94, filters=7688, revisions=(1158,useless=1143), ccks=10678, wck=0.151, mem=45M86
4.04/2.47 decisions=2443, wrong=518, backtracks=477, failedAssignments=164, nogoods=34, foundSolutions=5, bestBound=487
4.04/2.47
4.04/2.48 num=17, depth=69..88, filters=8558, revisions=(1282,useless=1267), ccks=11613, wck=0.158, mem=45M86
4.04/2.48 decisions=2645, wrong=582, backtracks=539, failedAssignments=185, nogoods=36, foundSolutions=5, bestBound=487
4.04/2.48
4.04/2.49 num=18, depth=58..101, filters=9854, revisions=(1494,useless=1479), ccks=13334, wck=0.171, mem=45M86
4.04/2.49 decisions=2892, wrong=666, backtracks=622, failedAssignments=208, nogoods=40, foundSolutions=5, bestBound=487
4.04/2.49
4.36/2.50 num=19, depth=83..97, filters=10460, revisions=(1584,useless=1569), ccks=14162, wck=0.183, mem=47M728
4.36/2.50 decisions=3095, wrong=726, backtracks=680, failedAssignments=233, nogoods=42, foundSolutions=5, bestBound=487
4.36/2.50
4.36/2.53 num=20, depth=73..106, filters=12118, revisions=(1889,useless=1874), ccks=16600, wck=0.21, mem=47M728
4.36/2.53 decisions=3367, wrong=823, backtracks=772, failedAssignments=261, nogoods=44, foundSolutions=5, bestBound=487
4.36/2.53
4.36/2.55 num=21, depth=75..92, filters=13196, revisions=(2088,useless=2073), ccks=18039, wck=0.227, mem=47M728
4.36/2.55 decisions=3628, wrong=915, backtracks=854, failedAssignments=292, nogoods=49, foundSolutions=5, bestBound=487
4.36/2.55
4.36/2.56 num=22, depth=85..99, filters=14318, revisions=(2250,useless=2235), ccks=18898, wck=0.24, mem=47M728
4.36/2.56 decisions=3876, wrong=995, backtracks=932, failedAssignments=326, nogoods=52, foundSolutions=5, bestBound=487
4.36/2.56
4.36/2.57 num=23, depth=70..93, filters=15750, revisions=(2484,useless=2469), ccks=20450, wck=0.248, mem=47M728
4.36/2.57 decisions=4173, wrong=1107, backtracks=1045, failedAssignments=363, nogoods=56, foundSolutions=5, bestBound=487
4.36/2.57
4.36/2.58 num=24, depth=78..99, filters=17176, revisions=(2739,useless=2724), ccks=22390, wck=0.256, mem=47M728
4.36/2.58 decisions=4474, wrong=1218, backtracks=1149, failedAssignments=404, nogoods=58, foundSolutions=5, bestBound=487
4.36/2.58
4.36/2.59 num=25, depth=52..75, filters=19753, revisions=(3134,useless=3119), ccks=24882, wck=0.267, mem=47M728
4.36/2.59 decisions=4889, wrong=1397, backtracks=1328, failedAssignments=449, nogoods=61, foundSolutions=5, bestBound=487
4.36/2.59
4.36/2.60 num=26, depth=89..107, filters=21204, revisions=(3309,useless=3294), ccks=26434, wck=0.275, mem=47M728
4.36/2.60 decisions=5290, wrong=1551, backtracks=1490, failedAssignments=499, nogoods=64, foundSolutions=5, bestBound=487
4.36/2.60
4.68/2.61 num=27, depth=60..85, filters=24040, revisions=(3798,useless=3783), ccks=29795, wck=0.287, mem=47M728
4.68/2.61 decisions=5700, wrong=1721, backtracks=1656, failedAssignments=554, nogoods=67, foundSolutions=5, bestBound=487
4.68/2.61
4.68/2.62 num=28, depth=59..101, filters=26204, revisions=(4062,useless=4047), ccks=31970, wck=0.296, mem=50M371
4.68/2.62 decisions=6214, wrong=1933, backtracks=1871, failedAssignments=615, nogoods=69, foundSolutions=5, bestBound=487
4.68/2.62
4.68/2.63 num=29, depth=73..98, filters=29389, revisions=(4550,useless=4535), ccks=35368, wck=0.31, mem=50M371
4.68/2.63 decisions=6765, wrong=2172, backtracks=2119, failedAssignments=682, nogoods=70, foundSolutions=5, bestBound=487
4.68/2.63
4.68/2.66 num=30, depth=51..83, filters=34697, revisions=(5382,useless=5367), ccks=40826, wck=0.332, mem=50M371
4.68/2.66 decisions=7359, wrong=2436, backtracks=2383, failedAssignments=756, nogoods=74, foundSolutions=5, bestBound=487
4.68/2.66
4.68/2.66 num=31, depth=86..110, filters=37180, revisions=(5628,useless=5613), ccks=42764, wck=0.343, mem=50M371
4.68/2.66 decisions=8000, wrong=2707, backtracks=2664, failedAssignments=837, nogoods=77, foundSolutions=5, bestBound=487
4.68/2.66
4.68/2.68 num=32, depth=78..101, filters=41611, revisions=(6425,useless=6410), ccks=49106, wck=0.362, mem=53M13
4.68/2.68 decisions=8572, wrong=2953, backtracks=2908, failedAssignments=926, nogoods=81, foundSolutions=5, bestBound=487
4.68/2.68
4.68/2.70 o 468
4.68/2.70 num=33, depth=52..270, filters=44448, revisions=(6960,useless=6945), ccks=53947, wck=0.375, mem=53M13
4.68/2.70 decisions=9057, wrong=3158, backtracks=3113, failedAssignments=979, nogoods=86, foundSolutions=6, bestBound=468
4.68/2.70
4.97/2.71 num=34, depth=49..83, filters=49307, revisions=(7477,useless=7462), ccks=57916, wck=0.394, mem=53M13
4.97/2.71 decisions=10061, wrong=3630, backtracks=3596, failedAssignments=1087, nogoods=90, foundSolutions=6, bestBound=468
4.97/2.71
4.97/2.72 num=35, depth=83..92, filters=49687, revisions=(7538,useless=7523), ccks=58303, wck=0.397, mem=53M13
4.97/2.72 decisions=10200, wrong=3657, backtracks=3618, failedAssignments=1098, nogoods=92, foundSolutions=6, bestBound=468
4.97/2.72
4.97/2.72 num=36, depth=79..90, filters=50144, revisions=(7610,useless=7595), ccks=58668, wck=0.4, mem=53M13
4.97/2.72 decisions=10339, wrong=3687, backtracks=3649, failedAssignments=1110, nogoods=94, foundSolutions=6, bestBound=468
4.97/2.72
4.97/2.73 num=37, depth=80..91, filters=50593, revisions=(7672,useless=7657), ccks=58977, wck=0.404, mem=53M13
4.97/2.73 decisions=10482, wrong=3717, backtracks=3675, failedAssignments=1123, nogoods=99, foundSolutions=6, bestBound=468
4.97/2.73
4.97/2.73 num=38, depth=84..98, filters=51106, revisions=(7745,useless=7730), ccks=59532, wck=0.408, mem=53M13
4.97/2.73 decisions=10644, wrong=3756, backtracks=3712, failedAssignments=1137, nogoods=102, foundSolutions=6, bestBound=468
4.97/2.73
4.97/2.73 num=39, depth=78..88, filters=51915, revisions=(7866,useless=7851), ccks=60236, wck=0.412, mem=53M13
4.97/2.73 decisions=10837, wrong=3810, backtracks=3770, failedAssignments=1153, nogoods=105, foundSolutions=6, bestBound=468
4.97/2.73
4.97/2.74 num=40, depth=82..92, filters=52476, revisions=(7954,useless=7939), ccks=60740, wck=0.415, mem=53M13
4.97/2.74 decisions=10995, wrong=3848, backtracks=3807, failedAssignments=1170, nogoods=107, foundSolutions=6, bestBound=468
4.97/2.74
4.97/2.74 num=41, depth=91..102, filters=52939, revisions=(8012,useless=7997), ccks=61320, wck=0.418, mem=53M13
4.97/2.74 decisions=11182, wrong=3896, backtracks=3854, failedAssignments=1189, nogoods=108, foundSolutions=6, bestBound=468
4.97/2.74
4.97/2.74 num=42, depth=88..109, filters=53597, revisions=(8108,useless=8093), ccks=62222, wck=0.422, mem=53M13
4.97/2.74 decisions=11414, wrong=3960, backtracks=3919, failedAssignments=1210, nogoods=110, foundSolutions=6, bestBound=468
4.97/2.74
4.97/2.75 num=43, depth=87..99, filters=54232, revisions=(8167,useless=8152), ccks=62849, wck=0.426, mem=53M13
4.97/2.75 decisions=11635, wrong=4027, backtracks=3983, failedAssignments=1233, nogoods=111, foundSolutions=6, bestBound=468
4.97/2.75
4.97/2.75 num=44, depth=77..91, filters=55498, revisions=(8371,useless=8356), ccks=64267, wck=0.431, mem=55M656
4.97/2.75 decisions=11875, wrong=4105, backtracks=4056, failedAssignments=1258, nogoods=115, foundSolutions=6, bestBound=468
4.97/2.75
4.97/2.76 num=45, depth=81..101, filters=56702, revisions=(8545,useless=8530), ccks=65601, wck=0.436, mem=55M656
4.97/2.76 decisions=12144, wrong=4195, backtracks=4139, failedAssignments=1286, nogoods=118, foundSolutions=6, bestBound=468
4.97/2.76
4.97/2.76 num=46, depth=72..97, filters=58245, revisions=(8775,useless=8760), ccks=67137, wck=0.442, mem=55M656
4.97/2.76 decisions=12461, wrong=4317, backtracks=4271, failedAssignments=1317, nogoods=122, foundSolutions=6, bestBound=468
4.97/2.76
4.97/2.77 o 466
4.97/2.77 num=47, depth=80..270, filters=58665, revisions=(8867,useless=8852), ccks=68057, wck=0.446, mem=55M656
4.97/2.77 decisions=12612, wrong=4342, backtracks=4291, failedAssignments=1326, nogoods=125, foundSolutions=7, bestBound=466
4.97/2.77
4.97/2.77 num=48, depth=72..89, filters=60101, revisions=(9105,useless=9090), ccks=70015, wck=0.452, mem=55M656
4.97/2.77 decisions=12924, wrong=4461, backtracks=4408, failedAssignments=1363, nogoods=127, foundSolutions=7, bestBound=466
4.97/2.77
4.97/2.78 num=49, depth=88..106, filters=60573, revisions=(9172,useless=9157), ccks=70543, wck=0.455, mem=55M656
4.97/2.78 decisions=13091, wrong=4496, backtracks=4439, failedAssignments=1374, nogoods=129, foundSolutions=7, bestBound=466
4.97/2.78
4.97/2.78 num=50, depth=78..93, filters=60951, revisions=(9223,useless=9208), ccks=71039, wck=0.457, mem=55M656
4.97/2.78 decisions=13237, wrong=4530, backtracks=4473, failedAssignments=1386, nogoods=130, foundSolutions=7, bestBound=466
4.97/2.78
4.97/2.78 num=51, depth=98..112, filters=61456, revisions=(9292,useless=9277), ccks=71671, wck=0.46, mem=55M656
4.97/2.78 decisions=13419, wrong=4572, backtracks=4514, failedAssignments=1399, nogoods=131, foundSolutions=7, bestBound=466
4.97/2.78
4.97/2.78 num=52, depth=77..97, filters=62077, revisions=(9383,useless=9368), ccks=72464, wck=0.463, mem=55M656
4.97/2.78 decisions=13606, wrong=4627, backtracks=4570, failedAssignments=1413, nogoods=132, foundSolutions=7, bestBound=466
4.97/2.78
4.97/2.79 num=53, depth=76..92, filters=63199, revisions=(9521,useless=9506), ccks=73518, wck=0.467, mem=55M656
4.97/2.79 decisions=13824, wrong=4698, backtracks=4646, failedAssignments=1429, nogoods=133, foundSolutions=7, bestBound=466
4.97/2.79
4.97/2.79 num=54, depth=73..86, filters=63677, revisions=(9579,useless=9564), ccks=73962, wck=0.47, mem=55M656
4.97/2.79 decisions=13989, wrong=4744, backtracks=4695, failedAssignments=1446, nogoods=134, foundSolutions=7, bestBound=466
4.97/2.79
4.97/2.79 num=55, depth=67..86, filters=64434, revisions=(9717,useless=9702), ccks=75119, wck=0.473, mem=55M656
4.97/2.79 decisions=14154, wrong=4793, backtracks=4741, failedAssignments=1465, nogoods=135, foundSolutions=7, bestBound=466
4.97/2.79
5.26/2.80 num=56, depth=78..92, filters=65311, revisions=(9838,useless=9823), ccks=76067, wck=0.477, mem=55M656
5.26/2.80 decisions=14378, wrong=4865, backtracks=4814, failedAssignments=1486, nogoods=138, foundSolutions=7, bestBound=466
5.26/2.80
5.26/2.80 num=57, depth=76..91, filters=66272, revisions=(9986,useless=9971), ccks=77225, wck=0.481, mem=55M656
5.26/2.80 decisions=14614, wrong=4945, backtracks=4895, failedAssignments=1509, nogoods=139, foundSolutions=7, bestBound=466
5.26/2.80
5.26/2.81 num=58, depth=86..100, filters=67180, revisions=(10124,useless=10109), ccks=78455, wck=0.485, mem=55M656
5.26/2.81 decisions=14847, wrong=5018, backtracks=4968, failedAssignments=1534, nogoods=143, foundSolutions=7, bestBound=466
5.26/2.81
5.26/2.81 num=59, depth=86..100, filters=68087, revisions=(10272,useless=10257), ccks=79632, wck=0.488, mem=55M656
5.26/2.81 decisions=15086, wrong=5094, backtracks=5040, failedAssignments=1562, nogoods=146, foundSolutions=7, bestBound=466
5.26/2.81
5.26/2.81 num=60, depth=91..105, filters=69281, revisions=(10466,useless=10451), ccks=81204, wck=0.493, mem=58M298
5.26/2.81 decisions=15353, wrong=5182, backtracks=5126, failedAssignments=1593, nogoods=149, foundSolutions=7, bestBound=466
5.26/2.81
5.26/2.82 num=61, depth=85..102, filters=70812, revisions=(10779,useless=10764), ccks=83951, wck=0.5, mem=58M298
5.26/2.82 decisions=15632, wrong=5279, backtracks=5223, failedAssignments=1627, nogoods=151, foundSolutions=7, bestBound=466
5.26/2.82
5.26/2.83 num=62, depth=75..91, filters=72042, revisions=(10915,useless=10900), ccks=85031, wck=0.505, mem=58M298
5.26/2.83 decisions=15937, wrong=5390, backtracks=5338, failedAssignments=1664, nogoods=154, foundSolutions=7, bestBound=466
5.26/2.83
5.26/2.83 num=63, depth=85..106, filters=74064, revisions=(11252,useless=11237), ccks=87887, wck=0.512, mem=58M298
5.26/2.83 decisions=16251, wrong=5502, backtracks=5447, failedAssignments=1705, nogoods=156, foundSolutions=7, bestBound=466
5.26/2.83
5.26/2.84 num=64, depth=78..98, filters=75959, revisions=(11530,useless=11515), ccks=89920, wck=0.519, mem=58M298
5.26/2.84 decisions=16661, wrong=5663, backtracks=5608, failedAssignments=1750, nogoods=159, foundSolutions=7, bestBound=466
5.26/2.84
5.26/2.85 num=65, depth=89..103, filters=77800, revisions=(11801,useless=11786), ccks=91867, wck=0.525, mem=58M298
5.26/2.85 decisions=17022, wrong=5799, backtracks=5740, failedAssignments=1800, nogoods=164, foundSolutions=7, bestBound=466
5.26/2.85
5.26/2.86 num=66, depth=62..83, filters=80647, revisions=(12328,useless=12313), ccks=95071, wck=0.535, mem=58M298
5.26/2.86 decisions=17423, wrong=5967, backtracks=5906, failedAssignments=1855, nogoods=166, foundSolutions=7, bestBound=466
5.26/2.86
5.26/2.86 num=67, depth=73..96, filters=82754, revisions=(12582,useless=12567), ccks=96670, wck=0.542, mem=58M298
5.26/2.86 decisions=17891, wrong=6160, backtracks=6099, failedAssignments=1916, nogoods=169, foundSolutions=7, bestBound=466
5.26/2.86
5.26/2.88 num=68, depth=75..98, filters=86538, revisions=(13099,useless=13084), ccks=100470, wck=0.555, mem=60M941
5.26/2.88 decisions=18558, wrong=6456, backtracks=6405, failedAssignments=1983, nogoods=171, foundSolutions=7, bestBound=466
5.26/2.88
5.26/2.89 num=69, depth=56..97, filters=89631, revisions=(13478,useless=13463), ccks=103020, wck=0.564, mem=60M941
5.26/2.89 decisions=19173, wrong=6719, backtracks=6661, failedAssignments=2057, nogoods=175, foundSolutions=7, bestBound=466
5.26/2.89
5.26/2.89 num=70, depth=88..108, filters=92515, revisions=(13886,useless=13871), ccks=106627, wck=0.574, mem=60M941
5.26/2.89 decisions=19831, wrong=7003, backtracks=6944, failedAssignments=2138, nogoods=177, foundSolutions=7, bestBound=466
5.26/2.89
5.46/2.91 num=71, depth=52..85, filters=97539, revisions=(14774,useless=14759), ccks=112474, wck=0.59, mem=60M941
5.46/2.91 decisions=20433, wrong=7278, backtracks=7229, failedAssignments=2227, nogoods=178, foundSolutions=7, bestBound=466
5.46/2.91
5.46/2.92 num=72, depth=70..97, filters=101119, revisions=(15218,useless=15203), ccks=115821, wck=0.601, mem=60M941
5.46/2.92 decisions=21174, wrong=7610, backtracks=7570, failedAssignments=2325, nogoods=181, foundSolutions=7, bestBound=466
5.46/2.92
5.46/2.94 num=73, depth=67..93, filters=105776, revisions=(15905,useless=15890), ccks=120139, wck=0.615, mem=63M583
5.46/2.94 decisions=21975, wrong=7972, backtracks=7948, failedAssignments=2433, nogoods=183, foundSolutions=7, bestBound=466
5.46/2.94
5.46/2.96 num=74, depth=67..97, filters=112183, revisions=(16929,useless=16914), ccks=126929, wck=0.635, mem=63M583
5.46/2.96 decisions=22899, wrong=8396, backtracks=8396, failedAssignments=2552, nogoods=188, foundSolutions=7, bestBound=466
5.46/2.96
5.46/2.97 o 461
5.46/2.97 num=75, depth=94..270, filters=114606, revisions=(17391,useless=17376), ccks=130226, wck=0.645, mem=63M583
5.46/2.97 decisions=23355, wrong=8570, backtracks=8572, failedAssignments=2613, nogoods=189, foundSolutions=8, bestBound=461
5.46/2.97
5.46/2.98 num=76, depth=72..92, filters=120228, revisions=(18180,useless=18165), ccks=137341, wck=0.663, mem=63M583
5.46/2.98 decisions=24244, wrong=8977, backtracks=8998, failedAssignments=2757, nogoods=191, foundSolutions=8, bestBound=461
5.46/2.98
5.46/2.99 num=77, depth=66..81, filters=120806, revisions=(18280,useless=18265), ccks=138075, wck=0.666, mem=66M225
5.46/2.99 decisions=24390, wrong=9017, backtracks=9029, failedAssignments=2768, nogoods=192, foundSolutions=8, bestBound=461
5.46/2.99
5.46/2.99 num=78, depth=82..103, filters=121328, revisions=(18362,useless=18347), ccks=138794, wck=0.669, mem=66M225
5.46/2.99 decisions=24548, wrong=9055, backtracks=9066, failedAssignments=2780, nogoods=193, foundSolutions=8, bestBound=461
5.46/2.99
5.46/2.99 num=79, depth=76..91, filters=121926, revisions=(18452,useless=18437), ccks=139394, wck=0.671, mem=66M225
5.46/2.99 decisions=24723, wrong=9101, backtracks=9114, failedAssignments=2793, nogoods=195, foundSolutions=8, bestBound=461
5.46/2.99
5.46/3.00 num=80, depth=74..90, filters=122680, revisions=(18551,useless=18536), ccks=140263, wck=0.675, mem=66M225
5.46/3.00 decisions=24892, wrong=9146, backtracks=9150, failedAssignments=2807, nogoods=199, foundSolutions=8, bestBound=461
5.46/3.00
5.46/3.00 num=81, depth=82..95, filters=123156, revisions=(18629,useless=18614), ccks=140773, wck=0.677, mem=66M225
5.46/3.00 decisions=25069, wrong=9190, backtracks=9192, failedAssignments=2823, nogoods=202, foundSolutions=8, bestBound=461
5.46/3.00
5.46/3.00 num=82, depth=86..99, filters=123740, revisions=(18707,useless=18692), ccks=141228, wck=0.682, mem=66M225
5.46/3.00 decisions=25256, wrong=9237, backtracks=9238, failedAssignments=2840, nogoods=206, foundSolutions=8, bestBound=461
5.46/3.00
5.60/3.01 num=83, depth=70..95, filters=124671, revisions=(18855,useless=18840), ccks=142433, wck=0.686, mem=66M225
5.60/3.01 decisions=25484, wrong=9308, backtracks=9304, failedAssignments=2859, nogoods=209, foundSolutions=8, bestBound=461
5.60/3.01
5.60/3.01 num=84, depth=86..100, filters=125346, revisions=(18942,useless=18927), ccks=143219, wck=0.689, mem=66M225
5.60/3.01 decisions=25696, wrong=9371, backtracks=9366, failedAssignments=2880, nogoods=210, foundSolutions=8, bestBound=461
5.60/3.01
5.60/3.01 num=85, depth=84..98, filters=126271, revisions=(19080,useless=19065), ccks=144104, wck=0.693, mem=66M225
5.60/3.01 decisions=25936, wrong=9449, backtracks=9440, failedAssignments=2903, nogoods=212, foundSolutions=8, bestBound=461
5.60/3.01
5.60/3.02 num=86, depth=90..107, filters=127285, revisions=(19258,useless=19243), ccks=145496, wck=0.698, mem=66M225
5.60/3.02 decisions=26158, wrong=9514, backtracks=9509, failedAssignments=2928, nogoods=214, foundSolutions=8, bestBound=461
5.60/3.02
5.60/3.02 num=87, depth=69..101, filters=128302, revisions=(19422,useless=19407), ccks=146697, wck=0.702, mem=66M225
5.60/3.02 decisions=26407, wrong=9602, backtracks=9586, failedAssignments=2956, nogoods=217, foundSolutions=8, bestBound=461
5.60/3.02
5.60/3.03 num=88, depth=80..98, filters=129400, revisions=(19573,useless=19558), ccks=147694, wck=0.706, mem=66M225
5.60/3.03 decisions=26653, wrong=9685, backtracks=9673, failedAssignments=2987, nogoods=218, foundSolutions=8, bestBound=461
5.60/3.03
5.60/3.03 num=89, depth=69..104, filters=131265, revisions=(19869,useless=19854), ccks=149738, wck=0.714, mem=66M225
5.60/3.03 decisions=26986, wrong=9815, backtracks=9808, failedAssignments=3021, nogoods=221, foundSolutions=8, bestBound=461
5.60/3.03
5.60/3.04 num=90, depth=80..97, filters=132398, revisions=(20000,useless=19985), ccks=150862, wck=0.718, mem=66M225
5.60/3.04 decisions=27297, wrong=9930, backtracks=9915, failedAssignments=3058, nogoods=223, foundSolutions=8, bestBound=461
5.60/3.04
5.60/3.05 num=91, depth=81..100, filters=134213, revisions=(20269,useless=20254), ccks=153066, wck=0.724, mem=66M225
5.60/3.05 decisions=27656, wrong=10067, backtracks=10047, failedAssignments=3099, nogoods=227, foundSolutions=8, bestBound=461
5.60/3.05
5.60/3.05 num=92, depth=65..96, filters=136185, revisions=(20545,useless=20530), ccks=154977, wck=0.731, mem=68M868
5.60/3.05 decisions=28064, wrong=10232, backtracks=10217, failedAssignments=3144, nogoods=230, foundSolutions=8, bestBound=461
5.60/3.05
5.60/3.06 num=93, depth=69..91, filters=139093, revisions=(20956,useless=20941), ccks=157970, wck=0.742, mem=68M868
5.60/3.06 decisions=28532, wrong=10429, backtracks=10420, failedAssignments=3194, nogoods=233, foundSolutions=8, bestBound=461
5.60/3.06
5.60/3.07 num=94, depth=58..98, filters=141532, revisions=(21344,useless=21329), ccks=160820, wck=0.751, mem=68M868
5.60/3.07 decisions=28969, wrong=10618, backtracks=10596, failedAssignments=3249, nogoods=236, foundSolutions=8, bestBound=461
5.60/3.07
5.60/3.08 num=95, depth=77..98, filters=143814, revisions=(21644,useless=21629), ccks=163074, wck=0.758, mem=68M868
5.60/3.08 decisions=29438, wrong=10814, backtracks=10789, failedAssignments=3310, nogoods=237, foundSolutions=8, bestBound=461
5.60/3.08
5.60/3.09 num=96, depth=63..88, filters=146073, revisions=(21908,useless=21893), ccks=165255, wck=0.766, mem=68M868
5.60/3.09 decisions=29969, wrong=11042, backtracks=11015, failedAssignments=3377, nogoods=241, foundSolutions=8, bestBound=461
5.60/3.09
5.60/3.10 num=97, depth=72..101, filters=149202, revisions=(22363,useless=22348), ccks=168459, wck=0.777, mem=68M868
5.60/3.10 decisions=30636, wrong=11331, backtracks=11311, failedAssignments=3451, nogoods=244, foundSolutions=8, bestBound=461
5.60/3.10
5.71/3.11 num=98, depth=57..94, filters=153281, revisions=(22983,useless=22968), ccks=173199, wck=0.791, mem=71M510
5.71/3.11 decisions=31252, wrong=11605, backtracks=11577, failedAssignments=3532, nogoods=247, foundSolutions=8, bestBound=461
5.71/3.11
5.71/3.12 num=99, depth=75..96, filters=156679, revisions=(23389,useless=23374), ccks=176106, wck=0.802, mem=71M510
5.71/3.12 decisions=31880, wrong=11880, backtracks=11866, failedAssignments=3621, nogoods=250, foundSolutions=8, bestBound=461
5.71/3.12
5.71/3.14 num=100, depth=77..104, filters=160970, revisions=(24049,useless=24034), ccks=180804, wck=0.816, mem=71M510
5.71/3.14 decisions=32631, wrong=12213, backtracks=12207, failedAssignments=3719, nogoods=253, foundSolutions=8, bestBound=461
5.71/3.14
5.71/3.15 num=101, depth=50..75, filters=164895, revisions=(24549,useless=24534), ccks=184400, wck=0.829, mem=71M510
5.71/3.15 decisions=33303, wrong=12523, backtracks=12527, failedAssignments=3827, nogoods=258, foundSolutions=8, bestBound=461
5.71/3.15
5.71/3.16 num=102, depth=66..89, filters=169587, revisions=(25123,useless=25108), ccks=189268, wck=0.844, mem=71M510
5.71/3.16 decisions=34231, wrong=12951, backtracks=12980, failedAssignments=3946, nogoods=261, foundSolutions=8, bestBound=461
5.71/3.16
5.71/3.19 num=103, depth=45..100, filters=177252, revisions=(26221,useless=26206), ccks=197908, wck=0.872, mem=74M153
5.71/3.19 decisions=35215, wrong=13417, backtracks=13455, failedAssignments=4077, nogoods=264, foundSolutions=8, bestBound=461
5.71/3.19
5.81/3.21 num=104, depth=81..106, filters=182853, revisions=(27073,useless=27058), ccks=203084, wck=0.891, mem=74M153
5.81/3.21 decisions=36218, wrong=13877, backtracks=13921, failedAssignments=4221, nogoods=267, foundSolutions=8, bestBound=461
5.81/3.21
5.81/3.24 num=105, depth=64..94, filters=190589, revisions=(28185,useless=28170), ccks=211021, wck=0.918, mem=76M795
5.81/3.24 decisions=37216, wrong=14339, backtracks=14389, failedAssignments=4379, nogoods=271, foundSolutions=8, bestBound=461
5.81/3.24
5.81/3.26 num=106, depth=84..107, filters=196674, revisions=(29054,useless=29039), ccks=218510, wck=0.938, mem=76M795
5.81/3.26 decisions=38352, wrong=14863, backtracks=14933, failedAssignments=4553, nogoods=273, foundSolutions=8, bestBound=461
5.81/3.26
5.90/3.30 num=107, depth=39..79, filters=209632, revisions=(31100,useless=31085), ccks=232434, wck=0.983, mem=79M438
5.90/3.30 decisions=39887, wrong=15607, backtracks=15711, failedAssignments=4744, nogoods=277, foundSolutions=8, bestBound=461
5.90/3.30
5.90/3.33 num=108, depth=86..110, filters=216867, revisions=(31866,useless=31851), ccks=238498, wck=1.005, mem=79M438
5.90/3.33 decisions=41402, wrong=16316, backtracks=16415, failedAssignments=4955, nogoods=280, foundSolutions=8, bestBound=461
5.90/3.33
5.90/3.36 num=109, depth=74..104, filters=227077, revisions=(33461,useless=33446), ccks=249782, wck=1.041, mem=82M80
5.90/3.36 decisions=42971, wrong=17057, backtracks=17185, failedAssignments=5187, nogoods=284, foundSolutions=8, bestBound=461
5.90/3.36
6.01/3.40 num=110, depth=60..105, filters=238900, revisions=(35461,useless=35446), ccks=263736, wck=1.08, mem=82M80
6.01/3.40 decisions=44507, wrong=17791, backtracks=17933, failedAssignments=5442, nogoods=287, foundSolutions=8, bestBound=461
6.01/3.40
6.01/3.44 num=111, depth=73..107, filters=252200, revisions=(37566,useless=37551), ccks=281239, wck=1.123, mem=84M723
6.01/3.44 decisions=46526, wrong=18762, backtracks=18943, failedAssignments=5723, nogoods=289, foundSolutions=8, bestBound=461
6.01/3.44
6.01/3.50 num=112, depth=55..96, filters=268079, revisions=(40161,useless=40146), ccks=299298, wck=1.175, mem=87M365
6.01/3.50 decisions=48503, wrong=19717, backtracks=19948, failedAssignments=6032, nogoods=292, foundSolutions=8, bestBound=461
6.01/3.50
6.11/3.53 num=113, depth=83..111, filters=279768, revisions=(41643,useless=41628), ccks=310369, wck=1.212, mem=87M365
6.11/3.53 decisions=50791, wrong=20812, backtracks=21055, failedAssignments=6372, nogoods=295, foundSolutions=8, bestBound=461
6.11/3.53
6.21/3.61 num=114, depth=43..97, filters=301589, revisions=(44917,useless=44902), ccks=332680, wck=1.284, mem=92M650
6.21/3.61 decisions=53422, wrong=22099, backtracks=22417, failedAssignments=6746, nogoods=298, foundSolutions=8, bestBound=461
6.21/3.61
6.21/3.64 num=115, depth=77..109, filters=313698, revisions=(46150,useless=46135), ccks=343541, wck=1.321, mem=92M650
6.21/3.64 decisions=56180, wrong=23433, backtracks=23771, failedAssignments=7157, nogoods=301, foundSolutions=8, bestBound=461
6.21/3.64
6.31/3.72 num=116, depth=48..86, filters=336675, revisions=(50112,useless=50097), ccks=373578, wck=1.397, mem=97M935
6.31/3.72 decisions=59388, wrong=25007, backtracks=25433, failedAssignments=7609, nogoods=304, foundSolutions=8, bestBound=461
6.31/3.72
6.31/3.77 num=117, depth=71..112, filters=352730, revisions=(51891,useless=51876), ccks=384880, wck=1.448, mem=97M935
6.31/3.77 decisions=62895, wrong=26713, backtracks=27172, failedAssignments=8106, nogoods=308, foundSolutions=8, bestBound=461
6.31/3.77
6.41/3.87 num=118, depth=43..88, filters=382833, revisions=(56475,useless=56460), ccks=416955, wck=1.545, mem=103M220
6.41/3.87 decisions=66807, wrong=28640, backtracks=29180, failedAssignments=8653, nogoods=312, foundSolutions=8, bestBound=461
6.41/3.87
6.51/3.93 num=119, depth=79..108, filters=403147, revisions=(58828,useless=58813), ccks=435594, wck=1.609, mem=105M862
6.51/3.93 decisions=70867, wrong=30623, backtracks=31158, failedAssignments=9255, nogoods=315, foundSolutions=8, bestBound=461
6.51/3.93
6.62/4.04 o 456
6.62/4.04 num=120, depth=46..270, filters=435529, revisions=(63620,useless=63605), ccks=469390, wck=1.715, mem=111M147
6.62/4.04 decisions=74895, wrong=32601, backtracks=33237, failedAssignments=9851, nogoods=321, foundSolutions=9, bestBound=456
6.62/4.04
6.74/4.11 num=121, depth=67..95, filters=458647, revisions=(66001,useless=65986), ccks=488729, wck=1.791, mem=113M789
6.74/4.11 decisions=79781, wrong=35004, backtracks=35672, failedAssignments=10579, nogoods=325, foundSolutions=9, bestBound=456
6.74/4.11
6.74/4.12 num=122, depth=70..91, filters=459308, revisions=(66119,useless=66104), ccks=489778, wck=1.795, mem=113M789
6.74/4.12 decisions=79937, wrong=35047, backtracks=35714, failedAssignments=10590, nogoods=326, foundSolutions=9, bestBound=456
6.74/4.12
6.74/4.12 num=123, depth=66..88, filters=459919, revisions=(66220,useless=66205), ccks=490633, wck=1.798, mem=113M789
6.74/4.12 decisions=80089, wrong=35090, backtracks=35753, failedAssignments=10602, nogoods=327, foundSolutions=9, bestBound=456
6.74/4.12
6.74/4.12 num=124, depth=67..88, filters=460856, revisions=(66368,useless=66353), ccks=491774, wck=1.802, mem=113M789
6.74/4.12 decisions=80272, wrong=35148, backtracks=35812, failedAssignments=10615, nogoods=328, foundSolutions=9, bestBound=456
6.74/4.12
6.74/4.13 num=125, depth=62..80, filters=461705, revisions=(66517,useless=66502), ccks=492965, wck=1.806, mem=116M432
6.74/4.13 decisions=80447, wrong=35201, backtracks=35861, failedAssignments=10629, nogoods=330, foundSolutions=9, bestBound=456
6.74/4.13
6.74/4.13 num=126, depth=63..82, filters=462758, revisions=(66700,useless=66685), ccks=494287, wck=1.81, mem=116M432
6.74/4.13 decisions=80640, wrong=35266, backtracks=35925, failedAssignments=10645, nogoods=332, foundSolutions=9, bestBound=456
6.74/4.13
6.74/4.14 num=127, depth=65..79, filters=463747, revisions=(66857,useless=66842), ccks=495418, wck=1.815, mem=116M432
6.74/4.14 decisions=80832, wrong=35327, backtracks=35987, failedAssignments=10662, nogoods=334, foundSolutions=9, bestBound=456
6.74/4.14
6.74/4.14 num=128, depth=58..79, filters=465241, revisions=(67127,useless=67112), ccks=497425, wck=1.821, mem=116M432
6.74/4.14 decisions=81103, wrong=35425, backtracks=36090, failedAssignments=10681, nogoods=336, foundSolutions=9, bestBound=456
6.74/4.14
6.74/4.15 num=129, depth=60..79, filters=466780, revisions=(67365,useless=67350), ccks=499427, wck=1.828, mem=116M432
6.74/4.15 decisions=81365, wrong=35526, backtracks=36189, failedAssignments=10702, nogoods=337, foundSolutions=9, bestBound=456
6.74/4.15
6.74/4.16 num=130, depth=53..76, filters=468421, revisions=(67645,useless=67630), ccks=501429, wck=1.834, mem=116M432
6.74/4.16 decisions=81630, wrong=35628, backtracks=36285, failedAssignments=10725, nogoods=340, foundSolutions=9, bestBound=456
6.74/4.16
6.74/4.16 num=131, depth=65..82, filters=469810, revisions=(67914,useless=67899), ccks=503707, wck=1.84, mem=116M432
6.74/4.16 decisions=81862, wrong=35710, backtracks=36365, failedAssignments=10750, nogoods=343, foundSolutions=9, bestBound=456
6.74/4.16
6.74/4.17 num=132, depth=53..75, filters=471052, revisions=(68094,useless=68079), ccks=504777, wck=1.846, mem=116M432
6.74/4.17 decisions=82116, wrong=35804, backtracks=36461, failedAssignments=10778, nogoods=345, foundSolutions=9, bestBound=456
6.74/4.17
6.74/4.17 num=133, depth=61..78, filters=472580, revisions=(68298,useless=68283), ccks=506446, wck=1.852, mem=116M432
6.74/4.17 decisions=82435, wrong=35933, backtracks=36591, failedAssignments=10809, nogoods=347, foundSolutions=9, bestBound=456
6.74/4.17
6.74/4.18 num=134, depth=65..80, filters=474012, revisions=(68520,useless=68505), ccks=507890, wck=1.857, mem=116M432
6.74/4.18 decisions=82726, wrong=36043, backtracks=36708, failedAssignments=10843, nogoods=349, foundSolutions=9, bestBound=456
6.74/4.18
6.74/4.18 num=135, depth=63..83, filters=475450, revisions=(68723,useless=68708), ccks=509469, wck=1.862, mem=116M432
6.74/4.18 decisions=83039, wrong=36164, backtracks=36832, failedAssignments=10880, nogoods=353, foundSolutions=9, bestBound=456
6.74/4.18
6.74/4.19 num=136, depth=72..86, filters=477452, revisions=(69064,useless=69049), ccks=512011, wck=1.87, mem=116M432
6.74/4.19 decisions=83357, wrong=36287, backtracks=36958, failedAssignments=10921, nogoods=354, foundSolutions=9, bestBound=456
6.74/4.19
6.74/4.20 num=137, depth=77..96, filters=478914, revisions=(69267,useless=69252), ccks=513662, wck=1.875, mem=119M74
6.74/4.20 decisions=83718, wrong=36427, backtracks=37098, failedAssignments=10966, nogoods=357, foundSolutions=9, bestBound=456
6.74/4.20
6.85/4.20 num=138, depth=87..102, filters=480365, revisions=(69426,useless=69411), ccks=514957, wck=1.881, mem=119M74
6.85/4.20 decisions=84113, wrong=36580, backtracks=37246, failedAssignments=11016, nogoods=361, foundSolutions=9, bestBound=456
6.85/4.20
6.85/4.21 num=139, depth=63..94, filters=483491, revisions=(70004,useless=69989), ccks=519557, wck=1.893, mem=119M74
6.85/4.21 decisions=84569, wrong=36774, backtracks=37443, failedAssignments=11071, nogoods=364, foundSolutions=9, bestBound=456
6.85/4.21
6.85/4.22 num=140, depth=73..108, filters=485903, revisions=(70366,useless=70351), ccks=522401, wck=1.903, mem=119M74
6.85/4.22 decisions=85052, wrong=36971, backtracks=37632, failedAssignments=11132, nogoods=368, foundSolutions=9, bestBound=456
6.85/4.22
6.85/4.23 num=141, depth=73..91, filters=488613, revisions=(70770,useless=70755), ccks=525035, wck=1.912, mem=119M74
6.85/4.23 decisions=85540, wrong=37177, backtracks=37835, failedAssignments=11199, nogoods=370, foundSolutions=9, bestBound=456
6.85/4.23
6.85/4.24 num=142, depth=73..103, filters=491312, revisions=(71195,useless=71180), ccks=528191, wck=1.923, mem=119M74
6.85/4.24 decisions=86052, wrong=37395, backtracks=38054, failedAssignments=11273, nogoods=373, foundSolutions=9, bestBound=456
6.85/4.24
6.85/4.26 num=143, depth=71..98, filters=494774, revisions=(71701,useless=71686), ccks=531782, wck=1.935, mem=119M74
6.85/4.26 decisions=86588, wrong=37626, backtracks=38294, failedAssignments=11354, nogoods=375, foundSolutions=9, bestBound=456
6.85/4.26
6.85/4.27 num=144, depth=85..106, filters=498884, revisions=(72374,useless=72359), ccks=537367, wck=1.95, mem=121M717
6.85/4.27 decisions=87241, wrong=37910, backtracks=38588, failedAssignments=11443, nogoods=376, foundSolutions=9, bestBound=456
6.85/4.27
6.85/4.29 num=145, depth=67..97, filters=503958, revisions=(73189,useless=73174), ccks=542732, wck=1.969, mem=121M717
6.85/4.29 decisions=87950, wrong=38230, backtracks=38925, failedAssignments=11541, nogoods=380, foundSolutions=9, bestBound=456
6.85/4.29
6.96/4.30 num=146, depth=73..97, filters=507731, revisions=(73600,useless=73585), ccks=545965, wck=1.98, mem=121M717
6.96/4.30 decisions=88748, wrong=38589, backtracks=39295, failedAssignments=11649, nogoods=384, foundSolutions=9, bestBound=456
6.96/4.30
6.96/4.32 num=147, depth=63..93, filters=513141, revisions=(74500,useless=74485), ccks=551465, wck=2.0, mem=121M717
6.96/4.32 decisions=89655, wrong=39002, backtracks=39714, failedAssignments=11768, nogoods=390, foundSolutions=9, bestBound=456
6.96/4.32
6.96/4.34 num=148, depth=85..112, filters=517847, revisions=(75035,useless=75020), ccks=556182, wck=2.017, mem=124M360
6.96/4.34 decisions=90698, wrong=39473, backtracks=40193, failedAssignments=11899, nogoods=393, foundSolutions=9, bestBound=456
6.96/4.34
6.96/4.37 num=149, depth=53..103, filters=526706, revisions=(76440,useless=76425), ccks=566144, wck=2.049, mem=124M360
6.96/4.37 decisions=91641, wrong=39915, backtracks=40654, failedAssignments=12043, nogoods=396, foundSolutions=9, bestBound=456
6.96/4.37
6.96/4.39 num=150, depth=75..106, filters=531706, revisions=(77001,useless=76986), ccks=570385, wck=2.067, mem=127M2
6.96/4.39 decisions=92744, wrong=40419, backtracks=41142, failedAssignments=12201, nogoods=400, foundSolutions=9, bestBound=456
6.96/4.39
7.09/4.42 num=151, depth=67..101, filters=540328, revisions=(78492,useless=78477), ccks=580964, wck=2.1, mem=127M2
7.09/4.42 decisions=93949, wrong=40984, backtracks=41727, failedAssignments=12375, nogoods=404, foundSolutions=9, bestBound=456
7.09/4.42
7.09/4.44 num=152, depth=77..105, filters=546848, revisions=(79432,useless=79417), ccks=588899, wck=2.121, mem=127M2
7.09/4.44 decisions=95210, wrong=41572, backtracks=42324, failedAssignments=12566, nogoods=407, foundSolutions=9, bestBound=456
7.09/4.44
7.09/4.47 num=153, depth=70..98, filters=556793, revisions=(80876,useless=80861), ccks=599833, wck=2.154, mem=129M645
7.09/4.47 decisions=96695, wrong=42277, backtracks=43028, failedAssignments=12777, nogoods=411, foundSolutions=9, bestBound=456
7.09/4.47
7.19/4.51 num=154, depth=64..96, filters=565889, revisions=(82232,useless=82217), ccks=610293, wck=2.186, mem=132M287
7.19/4.51 decisions=98350, wrong=43069, backtracks=43841, failedAssignments=13009, nogoods=415, foundSolutions=9, bestBound=456
7.19/4.51
7.19/4.55 num=155, depth=66..100, filters=577931, revisions=(84004,useless=83989), ccks=623852, wck=2.226, mem=132M287
7.19/4.55 decisions=100096, wrong=43906, backtracks=44694, failedAssignments=13264, nogoods=421, foundSolutions=9, bestBound=456
7.19/4.55
7.19/4.59 num=156, depth=67..101, filters=590030, revisions=(85939,useless=85924), ccks=638396, wck=2.269, mem=134M930
7.19/4.59 decisions=102103, wrong=44874, backtracks=45667, failedAssignments=13545, nogoods=424, foundSolutions=9, bestBound=456
7.19/4.59
7.29/4.65 num=157, depth=55..101, filters=608131, revisions=(88418,useless=88403), ccks=656148, wck=2.331, mem=137M572
7.29/4.65 decisions=104408, wrong=45998, backtracks=46830, failedAssignments=13854, nogoods=428, foundSolutions=9, bestBound=456
7.29/4.65
7.29/4.69 num=158, depth=81..110, filters=619166, revisions=(89928,useless=89913), ccks=667050, wck=2.37, mem=137M572
7.29/4.69 decisions=106569, wrong=47035, backtracks=47889, failedAssignments=14194, nogoods=431, foundSolutions=9, bestBound=456
7.29/4.69
7.41/4.75 num=159, depth=41..98, filters=636948, revisions=(92251,useless=92236), ccks=681064, wck=2.427, mem=140M215
7.41/4.75 decisions=109563, wrong=48503, backtracks=49423, failedAssignments=14568, nogoods=436, foundSolutions=9, bestBound=456
7.41/4.75
7.51/4.80 num=160, depth=64..94, filters=652699, revisions=(94617,useless=94602), ccks=701652, wck=2.484, mem=142M778
7.51/4.80 decisions=112059, wrong=49713, backtracks=50647, failedAssignments=14979, nogoods=441, foundSolutions=9, bestBound=456
7.51/4.80
7.51/4.88 num=161, depth=58..87, filters=673325, revisions=(97461,useless=97446), ccks=718557, wck=2.558, mem=25M962
7.51/4.88 decisions=115317, wrong=51306, backtracks=52292, failedAssignments=15431, nogoods=444, foundSolutions=9, bestBound=456
7.51/4.88
7.64/4.95 num=162, depth=63..95, filters=694650, revisions=(100645,useless=100630), ccks=741137, wck=2.63, mem=28M578
7.64/4.95 decisions=118427, wrong=52824, backtracks=53862, failedAssignments=15928, nogoods=449, foundSolutions=9, bestBound=456
7.64/4.95
7.75/5.03 num=163, depth=65..95, filters=719178, revisions=(104378,useless=104363), ccks=768937, wck=2.708, mem=31M194
7.75/5.03 decisions=122208, wrong=54677, backtracks=55775, failedAssignments=16475, nogoods=453, foundSolutions=9, bestBound=456
7.75/5.03
7.85/5.11 num=164, depth=62..106, filters=744134, revisions=(107696,useless=107681), ccks=792756, wck=2.787, mem=36M426
7.85/5.11 decisions=126684, wrong=56884, backtracks=57979, failedAssignments=17077, nogoods=454, foundSolutions=9, bestBound=456
7.85/5.11
7.95/5.22 num=165, depth=62..103, filters=778220, revisions=(112134,useless=112119), ccks=823581, wck=2.895, mem=41M658
7.95/5.22 decisions=131837, wrong=59414, backtracks=60587, failedAssignments=17739, nogoods=458, foundSolutions=9, bestBound=456
7.95/5.22
8.05/5.31 num=166, depth=60..112, filters=808684, revisions=(116398,useless=116383), ccks=854267, wck=2.992, mem=44M274
8.05/5.31 decisions=136975, wrong=61935, backtracks=63187, failedAssignments=18467, nogoods=462, foundSolutions=9, bestBound=456
8.05/5.31
8.15/5.43 num=167, depth=61..99, filters=846479, revisions=(121863,useless=121848), ccks=896224, wck=3.11, mem=49M506
8.15/5.43 decisions=142948, wrong=64884, backtracks=66307, failedAssignments=19268, nogoods=466, foundSolutions=9, bestBound=456
8.15/5.43
8.25/5.55 num=168, depth=66..99, filters=882279, revisions=(127319,useless=127304), ccks=937906, wck=3.23, mem=54M738
8.25/5.55 decisions=148161, wrong=67454, backtracks=68864, failedAssignments=20149, nogoods=472, foundSolutions=9, bestBound=456
8.25/5.55
8.35/5.67 o 455
8.35/5.67 num=169, depth=61..270, filters=919710, revisions=(132775,useless=132760), ccks=971361, wck=3.345, mem=62M586
8.35/5.67 decisions=154563, wrong=70613, backtracks=72149, failedAssignments=21088, nogoods=478, foundSolutions=10, bestBound=455
8.35/5.67
8.45/5.79 num=170, depth=59..96, filters=956896, revisions=(137813,useless=137798), ccks=1012574, wck=3.472, mem=67M818
8.45/5.79 decisions=160701, wrong=73651, backtracks=75271, failedAssignments=22155, nogoods=481, foundSolutions=10, bestBound=455
8.45/5.79
8.55/5.80 num=171, depth=73..90, filters=957748, revisions=(137942,useless=137927), ccks=1013435, wck=3.476, mem=67M818
8.55/5.80 decisions=160858, wrong=73693, backtracks=75309, failedAssignments=22166, nogoods=482, foundSolutions=10, bestBound=455
8.55/5.80
8.55/5.80 num=172, depth=67..79, filters=958624, revisions=(138085,useless=138070), ccks=1014375, wck=3.48, mem=67M818
8.55/5.80 decisions=161008, wrong=73731, backtracks=75343, failedAssignments=22178, nogoods=484, foundSolutions=10, bestBound=455
8.55/5.80
8.55/5.80 num=173, depth=67..83, filters=959138, revisions=(138177,useless=138162), ccks=1014882, wck=3.483, mem=67M818
8.55/5.80 decisions=161149, wrong=73766, backtracks=75376, failedAssignments=22191, nogoods=486, foundSolutions=10, bestBound=455
8.55/5.80
8.55/5.81 num=174, depth=67..80, filters=959959, revisions=(138330,useless=138315), ccks=1015764, wck=3.487, mem=67M818
8.55/5.81 decisions=161320, wrong=73817, backtracks=75427, failedAssignments=22205, nogoods=489, foundSolutions=10, bestBound=455
8.55/5.81
8.55/5.81 num=175, depth=64..81, filters=960870, revisions=(138478,useless=138463), ccks=1016771, wck=3.491, mem=67M818
8.55/5.81 decisions=161492, wrong=73866, backtracks=75474, failedAssignments=22221, nogoods=492, foundSolutions=10, bestBound=455
8.55/5.81
8.55/5.82 num=176, depth=69..87, filters=961651, revisions=(138605,useless=138590), ccks=1017684, wck=3.494, mem=67M818
8.55/5.82 decisions=161644, wrong=73905, backtracks=75511, failedAssignments=22238, nogoods=494, foundSolutions=10, bestBound=455
8.55/5.82
8.55/5.82 num=177, depth=72..84, filters=962465, revisions=(138728,useless=138713), ccks=1018485, wck=3.498, mem=67M818
8.55/5.82 decisions=161830, wrong=73962, backtracks=75568, failedAssignments=22257, nogoods=495, foundSolutions=10, bestBound=455
8.55/5.82
8.55/5.82 num=178, depth=69..83, filters=963596, revisions=(138897,useless=138882), ccks=1019718, wck=3.502, mem=67M818
8.55/5.82 decisions=162014, wrong=74019, backtracks=75627, failedAssignments=22278, nogoods=498, foundSolutions=10, bestBound=455
8.55/5.82
8.55/5.83 num=179, depth=74..98, filters=964458, revisions=(139026,useless=139011), ccks=1020591, wck=3.507, mem=67M818
8.55/5.83 decisions=162244, wrong=74089, backtracks=75694, failedAssignments=22301, nogoods=504, foundSolutions=10, bestBound=455
8.55/5.83
8.55/5.83 num=180, depth=81..98, filters=965169, revisions=(139138,useless=139123), ccks=1021397, wck=3.51, mem=67M818
8.55/5.83 decisions=162438, wrong=74142, backtracks=75749, failedAssignments=22326, nogoods=508, foundSolutions=10, bestBound=455
8.55/5.83
8.55/5.84 num=181, depth=80..97, filters=966633, revisions=(139370,useless=139355), ccks=1022707, wck=3.516, mem=67M818
8.55/5.84 decisions=162726, wrong=74243, backtracks=75847, failedAssignments=22354, nogoods=510, foundSolutions=10, bestBound=455
8.55/5.84
8.55/5.84 num=182, depth=69..87, filters=967771, revisions=(139556,useless=139541), ccks=1024011, wck=3.52, mem=67M818
8.55/5.84 decisions=162977, wrong=74332, backtracks=75939, failedAssignments=22385, nogoods=512, foundSolutions=10, bestBound=455
8.55/5.84
8.55/5.85 num=183, depth=76..94, filters=968869, revisions=(139687,useless=139672), ccks=1024740, wck=3.525, mem=67M818
8.55/5.85 decisions=163280, wrong=74445, backtracks=76054, failedAssignments=22419, nogoods=514, foundSolutions=10, bestBound=455
8.55/5.85
8.55/5.85 num=184, depth=80..101, filters=970184, revisions=(139896,useless=139881), ccks=1025908, wck=3.53, mem=67M818
8.55/5.85 decisions=163570, wrong=74543, backtracks=76152, failedAssignments=22456, nogoods=517, foundSolutions=10, bestBound=455
8.55/5.85
8.55/5.86 num=185, depth=64..82, filters=971504, revisions=(140086,useless=140071), ccks=1027270, wck=3.535, mem=71M755
8.55/5.86 decisions=163878, wrong=74661, backtracks=76269, failedAssignments=22497, nogoods=519, foundSolutions=10, bestBound=455
8.55/5.86
8.55/5.86 num=186, depth=80..97, filters=973141, revisions=(140317,useless=140302), ccks=1029282, wck=3.542, mem=71M755
8.55/5.86 decisions=164243, wrong=74798, backtracks=76405, failedAssignments=22542, nogoods=522, foundSolutions=10, bestBound=455
8.55/5.86
8.55/5.87 num=187, depth=75..97, filters=976045, revisions=(140848,useless=140833), ccks=1033051, wck=3.554, mem=71M755
8.55/5.87 decisions=164648, wrong=74960, backtracks=76565, failedAssignments=22592, nogoods=525, foundSolutions=10, bestBound=455
8.55/5.87
8.55/5.88 num=188, depth=82..101, filters=978248, revisions=(141157,useless=141142), ccks=1035874, wck=3.563, mem=71M755
8.55/5.88 decisions=165112, wrong=75149, backtracks=76759, failedAssignments=22647, nogoods=527, foundSolutions=10, bestBound=455
8.55/5.88
8.55/5.89 num=189, depth=67..91, filters=981326, revisions=(141596,useless=141581), ccks=1038719, wck=3.573, mem=71M755
8.55/5.89 decisions=165591, wrong=75352, backtracks=76968, failedAssignments=22708, nogoods=530, foundSolutions=10, bestBound=455
8.55/5.89
8.66/5.90 num=190, depth=87..101, filters=983603, revisions=(141949,useless=141934), ccks=1041180, wck=3.582, mem=71M755
8.66/5.90 decisions=166007, wrong=75516, backtracks=77120, failedAssignments=22775, nogoods=532, foundSolutions=10, bestBound=455
8.66/5.90
8.66/5.92 num=191, depth=77..102, filters=986760, revisions=(142509,useless=142494), ccks=1046105, wck=3.595, mem=71M755
8.66/5.92 decisions=166518, wrong=75732, backtracks=77340, failedAssignments=22849, nogoods=534, foundSolutions=10, bestBound=455
8.66/5.92
8.66/5.93 num=192, depth=70..92, filters=991062, revisions=(143230,useless=143215), ccks=1050854, wck=3.611, mem=74M371
8.66/5.93 decisions=167121, wrong=75996, backtracks=77598, failedAssignments=22930, nogoods=536, foundSolutions=10, bestBound=455
8.66/5.93
8.66/5.95 num=193, depth=72..101, filters=994377, revisions=(143755,useless=143740), ccks=1054751, wck=3.624, mem=74M371
8.66/5.95 decisions=167685, wrong=76242, backtracks=77850, failedAssignments=23019, nogoods=538, foundSolutions=10, bestBound=455
8.66/5.95
8.66/5.96 num=194, depth=77..103, filters=998518, revisions=(144331,useless=144316), ccks=1059126, wck=3.639, mem=74M371
8.66/5.96 decisions=168401, wrong=76559, backtracks=78191, failedAssignments=23117, nogoods=541, foundSolutions=10, bestBound=455
8.66/5.96
8.66/5.98 num=195, depth=51..98, filters=1004069, revisions=(145188,useless=145173), ccks=1064398, wck=3.659, mem=74M371
8.66/5.98 decisions=169290, wrong=76972, backtracks=78607, failedAssignments=23225, nogoods=547, foundSolutions=10, bestBound=455
8.66/5.98
8.66/6.00 num=196, depth=78..110, filters=1009383, revisions=(145963,useless=145948), ccks=1069947, wck=3.679, mem=76M987
8.66/6.00 decisions=170192, wrong=77375, backtracks=79014, failedAssignments=23344, nogoods=549, foundSolutions=10, bestBound=455
8.66/6.00
8.77/6.03 num=197, depth=62..103, filters=1016363, revisions=(147146,useless=147131), ccks=1078625, wck=3.707, mem=76M987
8.77/6.03 decisions=171069, wrong=77777, backtracks=79424, failedAssignments=23475, nogoods=553, foundSolutions=10, bestBound=455
8.77/6.03
8.77/6.04 num=198, depth=80..107, filters=1021261, revisions=(147659,useless=147644), ccks=1083256, wck=3.723, mem=76M987
8.77/6.04 decisions=172182, wrong=78288, backtracks=79945, failedAssignments=23619, nogoods=557, foundSolutions=10, bestBound=455
8.77/6.04
8.77/6.08 num=199, depth=55..95, filters=1029868, revisions=(149023,useless=149008), ccks=1092709, wck=3.757, mem=79M603
8.77/6.08 decisions=173275, wrong=78807, backtracks=80492, failedAssignments=23777, nogoods=561, foundSolutions=10, bestBound=455
8.77/6.08
8.77/6.10 num=200, depth=75..105, filters=1036784, revisions=(149961,useless=149946), ccks=1099200, wck=3.78, mem=79M603
8.77/6.10 decisions=174429, wrong=79344, backtracks=81018, failedAssignments=23951, nogoods=565, foundSolutions=10, bestBound=455
8.77/6.10
8.89/6.13 num=201, depth=65..96, filters=1045283, revisions=(151486,useless=151471), ccks=1111034, wck=3.812, mem=82M219
8.89/6.13 decisions=175643, wrong=79916, backtracks=81605, failedAssignments=24142, nogoods=569, foundSolutions=10, bestBound=455
8.89/6.13
8.89/6.16 num=202, depth=75..104, filters=1053154, revisions=(152821,useless=152806), ccks=1120350, wck=3.842, mem=82M219
8.89/6.16 decisions=176946, wrong=80527, backtracks=82235, failedAssignments=24353, nogoods=572, foundSolutions=10, bestBound=455
8.89/6.16
8.98/6.20 num=203, depth=70..101, filters=1063448, revisions=(154260,useless=154245), ccks=1131471, wck=3.879, mem=84M835
8.98/6.20 decisions=178609, wrong=81319, backtracks=83041, failedAssignments=24585, nogoods=576, foundSolutions=10, bestBound=455
8.98/6.20
8.98/6.25 num=204, depth=69..106, filters=1076694, revisions=(156751,useless=156736), ccks=1150167, wck=3.93, mem=87M451
8.98/6.25 decisions=180455, wrong=82205, backtracks=83972, failedAssignments=24840, nogoods=579, foundSolutions=10, bestBound=455
8.98/6.25
8.98/6.29 num=205, depth=79..111, filters=1086948, revisions=(158024,useless=158009), ccks=1159588, wck=3.966, mem=87M451
8.98/6.29 decisions=182332, wrong=83104, backtracks=84865, failedAssignments=25121, nogoods=580, foundSolutions=10, bestBound=455
8.98/6.29
9.08/6.34 num=206, depth=73..113, filters=1102019, revisions=(160375,useless=160360), ccks=1176229, wck=4.017, mem=90M67
9.08/6.34 decisions=184581, wrong=84188, backtracks=85970, failedAssignments=25430, nogoods=583, foundSolutions=10, bestBound=455
9.08/6.34
9.08/6.39 o 453
9.08/6.39 num=207, depth=57..270, filters=1116632, revisions=(162703,useless=162688), ccks=1190651, wck=4.07, mem=92M683
9.08/6.39 decisions=186757, wrong=85233, backtracks=87045, failedAssignments=25732, nogoods=588, foundSolutions=11, bestBound=453
9.08/6.39
9.21/6.44 num=208, depth=66..94, filters=1131788, revisions=(164884,useless=164869), ccks=1207655, wck=4.123, mem=95M299
9.21/6.44 decisions=189143, wrong=86391, backtracks=88218, failedAssignments=26106, nogoods=592, foundSolutions=11, bestBound=453
9.21/6.44
9.21/6.45 num=209, depth=76..90, filters=1132549, revisions=(165022,useless=165007), ccks=1208362, wck=4.127, mem=95M299
9.21/6.45 decisions=189303, wrong=86430, backtracks=88252, failedAssignments=26117, nogoods=596, foundSolutions=11, bestBound=453
9.21/6.45
9.21/6.45 num=210, depth=71..83, filters=1133359, revisions=(165167,useless=165152), ccks=1209356, wck=4.131, mem=95M299
9.21/6.45 decisions=189458, wrong=86470, backtracks=88285, failedAssignments=26129, nogoods=598, foundSolutions=11, bestBound=453
9.21/6.45
9.21/6.45 num=211, depth=70..84, filters=1133928, revisions=(165278,useless=165263), ccks=1210078, wck=4.134, mem=95M299
9.21/6.45 decisions=189590, wrong=86499, backtracks=88311, failedAssignments=26142, nogoods=601, foundSolutions=11, bestBound=453
9.21/6.45
9.21/6.46 num=212, depth=70..81, filters=1134895, revisions=(165443,useless=165428), ccks=1211102, wck=4.138, mem=95M299
9.21/6.46 decisions=189777, wrong=86554, backtracks=88362, failedAssignments=26156, nogoods=603, foundSolutions=11, bestBound=453
9.21/6.46
9.21/6.46 num=213, depth=74..84, filters=1135538, revisions=(165552,useless=165537), ccks=1211921, wck=4.141, mem=95M299
9.21/6.46 decisions=189929, wrong=86593, backtracks=88401, failedAssignments=26172, nogoods=604, foundSolutions=11, bestBound=453
9.21/6.46
9.21/6.47 num=214, depth=74..85, filters=1136318, revisions=(165686,useless=165671), ccks=1212766, wck=4.145, mem=95M299
9.21/6.47 decisions=190079, wrong=86631, backtracks=88441, failedAssignments=26189, nogoods=605, foundSolutions=11, bestBound=453
9.21/6.47
9.21/6.47 num=215, depth=72..86, filters=1137311, revisions=(165846,useless=165831), ccks=1214003, wck=4.149, mem=95M299
9.21/6.47 decisions=190256, wrong=86682, backtracks=88493, failedAssignments=26208, nogoods=608, foundSolutions=11, bestBound=453
9.21/6.47
9.21/6.47 num=216, depth=64..79, filters=1138316, revisions=(165996,useless=165981), ccks=1214929, wck=4.154, mem=95M299
9.21/6.47 decisions=190459, wrong=86747, backtracks=88557, failedAssignments=26229, nogoods=610, foundSolutions=11, bestBound=453
9.21/6.47
9.21/6.48 num=217, depth=72..85, filters=1139639, revisions=(166222,useless=166207), ccks=1216541, wck=4.16, mem=95M299
9.21/6.48 decisions=190657, wrong=86810, backtracks=88622, failedAssignments=26252, nogoods=613, foundSolutions=11, bestBound=453
9.21/6.48
9.21/6.49 num=218, depth=84..94, filters=1140713, revisions=(166411,useless=166396), ccks=1218035, wck=4.165, mem=95M299
9.21/6.49 decisions=190869, wrong=86874, backtracks=88682, failedAssignments=26277, nogoods=616, foundSolutions=11, bestBound=453
9.21/6.49
9.21/6.49 num=219, depth=84..97, filters=1141545, revisions=(166543,useless=166528), ccks=1219060, wck=4.169, mem=95M299
9.21/6.49 decisions=191101, wrong=86947, backtracks=88752, failedAssignments=26305, nogoods=618, foundSolutions=11, bestBound=453
9.21/6.49
9.21/6.49 num=220, depth=92..107, filters=1142573, revisions=(166672,useless=166657), ccks=1220103, wck=4.173, mem=95M299
9.21/6.49 decisions=191373, wrong=87035, backtracks=88839, failedAssignments=26336, nogoods=621, foundSolutions=11, bestBound=453
9.21/6.49
9.31/6.50 num=221, depth=80..103, filters=1144303, revisions=(166957,useless=166942), ccks=1221666, wck=4.181, mem=97M915
9.31/6.50 decisions=191704, wrong=87155, backtracks=88956, failedAssignments=26370, nogoods=623, foundSolutions=11, bestBound=453
9.31/6.50
9.31/6.51 num=222, depth=77..93, filters=1146373, revisions=(167300,useless=167285), ccks=1224847, wck=4.19, mem=97M915
9.31/6.51 decisions=192003, wrong=87264, backtracks=89074, failedAssignments=26407, nogoods=626, foundSolutions=11, bestBound=453
9.31/6.51
9.31/6.52 num=223, depth=84..100, filters=1147825, revisions=(167499,useless=167484), ccks=1226408, wck=4.196, mem=97M915
9.31/6.52 decisions=192340, wrong=87387, backtracks=89202, failedAssignments=26448, nogoods=628, foundSolutions=11, bestBound=453
9.31/6.52
9.31/6.53 num=224, depth=91..107, filters=1149897, revisions=(167851,useless=167836), ccks=1229076, wck=4.205, mem=97M915
9.31/6.53 decisions=192684, wrong=87513, backtracks=89331, failedAssignments=26493, nogoods=630, foundSolutions=11, bestBound=453
9.31/6.53
9.31/6.53 num=225, depth=87..102, filters=1152071, revisions=(168188,useless=168173), ccks=1232350, wck=4.213, mem=97M915
9.31/6.53 decisions=193087, wrong=87670, backtracks=89482, failedAssignments=26543, nogoods=633, foundSolutions=11, bestBound=453
9.31/6.53
9.31/6.54 num=226, depth=77..93, filters=1154387, revisions=(168597,useless=168582), ccks=1235103, wck=4.223, mem=97M915
9.31/6.54 decisions=193487, wrong=87831, backtracks=89645, failedAssignments=26598, nogoods=637, foundSolutions=11, bestBound=453
9.31/6.54
9.31/6.55 num=227, depth=80..103, filters=1156599, revisions=(168913,useless=168898), ccks=1237909, wck=4.232, mem=97M915
9.31/6.55 decisions=193944, wrong=88017, backtracks=89826, failedAssignments=26659, nogoods=640, foundSolutions=11, bestBound=453
9.31/6.55
9.31/6.57 num=228, depth=70..91, filters=1159953, revisions=(169468,useless=169453), ccks=1241629, wck=4.244, mem=97M915
9.31/6.57 decisions=194481, wrong=88248, backtracks=90056, failedAssignments=26726, nogoods=643, foundSolutions=11, bestBound=453
9.31/6.57
9.31/6.58 num=229, depth=74..100, filters=1163044, revisions=(169917,useless=169902), ccks=1245302, wck=4.257, mem=100M531
9.31/6.58 decisions=194997, wrong=88466, backtracks=90285, failedAssignments=26800, nogoods=649, foundSolutions=11, bestBound=453
9.31/6.58
9.31/6.59 num=230, depth=83..109, filters=1166350, revisions=(170358,useless=170343), ccks=1249245, wck=4.269, mem=100M531
9.31/6.59 decisions=195694, wrong=88773, backtracks=90598, failedAssignments=26881, nogoods=650, foundSolutions=11, bestBound=453
9.31/6.59
9.44/6.61 num=231, depth=67..106, filters=1171091, revisions=(171237,useless=171222), ccks=1255724, wck=4.29, mem=100M531
9.44/6.61 decisions=196302, wrong=89040, backtracks=90863, failedAssignments=26970, nogoods=654, foundSolutions=11, bestBound=453
9.44/6.61
9.44/6.63 num=232, depth=68..105, filters=1175659, revisions=(171848,useless=171833), ccks=1260160, wck=4.308, mem=100M531
9.44/6.63 decisions=197076, wrong=89385, backtracks=91212, failedAssignments=27068, nogoods=658, foundSolutions=11, bestBound=453
9.44/6.63
9.44/6.65 num=233, depth=90..109, filters=1179735, revisions=(172436,useless=172421), ccks=1264514, wck=4.324, mem=103M147
9.44/6.65 decisions=197815, wrong=89706, backtracks=91544, failedAssignments=27176, nogoods=663, foundSolutions=11, bestBound=453
9.44/6.65
9.44/6.68 num=234, depth=47..82, filters=1187560, revisions=(173744,useless=173729), ccks=1273899, wck=4.356, mem=103M147
9.44/6.68 decisions=198807, wrong=90174, backtracks=92027, failedAssignments=27295, nogoods=666, foundSolutions=11, bestBound=453
9.44/6.68
9.44/6.69 num=235, depth=83..105, filters=1191891, revisions=(174188,useless=174173), ccks=1277862, wck=4.372, mem=103M147
9.44/6.69 decisions=199773, wrong=90614, backtracks=92473, failedAssignments=27426, nogoods=670, foundSolutions=11, bestBound=453
9.44/6.69
9.54/6.72 num=236, depth=80..107, filters=1198359, revisions=(175118,useless=175103), ccks=1285148, wck=4.397, mem=105M763
9.54/6.72 decisions=200921, wrong=91141, backtracks=93018, failedAssignments=27570, nogoods=674, foundSolutions=11, bestBound=453
9.54/6.72
9.54/6.75 num=237, depth=45..78, filters=1207362, revisions=(176398,useless=176383), ccks=1294601, wck=4.43, mem=105M763
9.54/6.75 decisions=201872, wrong=91588, backtracks=93471, failedAssignments=27728, nogoods=677, foundSolutions=11, bestBound=453
9.54/6.75
9.54/6.77 num=238, depth=71..111, filters=1213682, revisions=(177114,useless=177099), ccks=1299711, wck=4.453, mem=108M379
9.54/6.77 decisions=203164, wrong=92189, backtracks=94077, failedAssignments=27902, nogoods=681, foundSolutions=11, bestBound=453
9.54/6.77
9.64/6.82 num=239, depth=50..105, filters=1225540, revisions=(179278,useless=179263), ccks=1315977, wck=4.502, mem=108M379
9.64/6.82 decisions=204655, wrong=92906, backtracks=94803, failedAssignments=28093, nogoods=684, foundSolutions=11, bestBound=453
9.64/6.82
9.64/6.85 num=240, depth=73..105, filters=1234246, revisions=(180152,useless=180137), ccks=1322571, wck=4.533, mem=110M995
9.64/6.85 decisions=206497, wrong=93787, backtracks=95715, failedAssignments=28304, nogoods=687, foundSolutions=11, bestBound=453
9.64/6.85
9.64/6.88 num=241, depth=86..113, filters=1241623, revisions=(181232,useless=181217), ccks=1329620, wck=4.558, mem=110M995
9.64/6.88 decisions=207936, wrong=94462, backtracks=96396, failedAssignments=28536, nogoods=690, foundSolutions=11, bestBound=453
9.64/6.88
9.75/6.93 num=242, depth=37..92, filters=1254865, revisions=(183197,useless=183182), ccks=1343526, wck=4.608, mem=113M611
9.75/6.93 decisions=210008, wrong=95462, backtracks=97440, failedAssignments=28791, nogoods=693, foundSolutions=11, bestBound=453
9.75/6.93
9.75/6.96 num=243, depth=76..103, filters=1265009, revisions=(184469,useless=184454), ccks=1351387, wck=4.642, mem=113M611
9.75/6.96 decisions=212049, wrong=96442, backtracks=98415, failedAssignments=29072, nogoods=697, foundSolutions=11, bestBound=453
9.75/6.96
9.86/7.02 num=244, depth=41..83, filters=1279486, revisions=(186480,useless=186465), ccks=1364642, wck=4.695, mem=116M227
9.86/7.02 decisions=214125, wrong=97450, backtracks=99451, failedAssignments=29381, nogoods=702, foundSolutions=11, bestBound=453
9.86/7.02
9.86/7.06 num=245, depth=68..99, filters=1292812, revisions=(188033,useless=188018), ccks=1374464, wck=4.743, mem=118M843
9.86/7.06 decisions=216694, wrong=98695, backtracks=100725, failedAssignments=29721, nogoods=706, foundSolutions=11, bestBound=453
9.86/7.06
9.96/7.12 num=246, depth=36..77, filters=1309380, revisions=(190605,useless=190590), ccks=1394457, wck=4.801, mem=121M459
9.96/7.12 decisions=219054, wrong=99842, backtracks=101918, failedAssignments=30095, nogoods=711, foundSolutions=11, bestBound=453
9.96/7.12
9.96/7.18 num=247, depth=72..113, filters=1325716, revisions=(192669,useless=192654), ccks=1408532, wck=4.859, mem=124M75
9.96/7.18 decisions=222209, wrong=101379, backtracks=103448, failedAssignments=30506, nogoods=716, foundSolutions=11, bestBound=453
9.96/7.18
10.05/7.25 num=248, depth=51..81, filters=1345581, revisions=(195262,useless=195247), ccks=1426751, wck=4.934, mem=126M691
10.05/7.25 decisions=224910, wrong=102699, backtracks=104794, failedAssignments=30958, nogoods=720, foundSolutions=11, bestBound=453
10.05/7.25
10.15/7.33 num=249, depth=66..98, filters=1366253, revisions=(197961,useless=197946), ccks=1446804, wck=5.006, mem=129M307
10.15/7.33 decisions=228577, wrong=104496, backtracks=106610, failedAssignments=31455, nogoods=724, foundSolutions=11, bestBound=453
10.15/7.33
10.25/7.42 num=250, depth=63..94, filters=1390870, revisions=(201794,useless=201779), ccks=1476888, wck=5.102, mem=134M539
10.25/7.42 decisions=231923, wrong=106135, backtracks=108301, failedAssignments=32002, nogoods=726, foundSolutions=11, bestBound=453
10.25/7.42
10.35/7.50 num=251, depth=75..108, filters=1412902, revisions=(204674,useless=204659), ccks=1497853, wck=5.182, mem=137M155
10.35/7.50 decisions=235753, wrong=108008, backtracks=110187, failedAssignments=32604, nogoods=730, foundSolutions=11, bestBound=453
10.35/7.50
10.45/7.60 num=252, depth=52..97, filters=1441451, revisions=(208870,useless=208855), ccks=1529065, wck=5.28, mem=142M386
10.45/7.60 decisions=240303, wrong=110250, backtracks=112496, failedAssignments=33266, nogoods=735, foundSolutions=11, bestBound=453
10.45/7.60
10.55/7.70 num=253, depth=69..106, filters=1469842, revisions=(212865,useless=212850), ccks=1555182, wck=5.384, mem=145M2
10.55/7.70 decisions=244986, wrong=112555, backtracks=114836, failedAssignments=33994, nogoods=739, foundSolutions=11, bestBound=453
10.55/7.70
10.67/7.85 num=254, depth=53..92, filters=1507846, revisions=(218402,useless=218387), ccks=1596861, wck=5.525, mem=150M234
10.67/7.85 decisions=250151, wrong=115103, backtracks=117461, failedAssignments=34795, nogoods=743, foundSolutions=11, bestBound=453
10.67/7.85
10.77/7.98 num=255, depth=61..105, filters=1543396, revisions=(222986,useless=222971), ccks=1629728, wck=5.663, mem=23M453
10.77/7.98 decisions=256459, wrong=118212, backtracks=120664, failedAssignments=35676, nogoods=746, foundSolutions=11, bestBound=453
10.77/7.98
11.01/8.17 num=256, depth=59..95, filters=1591514, revisions=(231517,useless=231502), ccks=1695831, wck=5.849, mem=31M301
11.01/8.17 decisions=263095, wrong=121496, backtracks=124183, failedAssignments=36646, nogoods=750, foundSolutions=11, bestBound=453
11.01/8.17
11.10/8.29 num=257, depth=58..97, filters=1630744, revisions=(235810,useless=235795), ccks=1729688, wck=5.974, mem=36M533
11.10/8.29 decisions=271137, wrong=125484, backtracks=128333, failedAssignments=37713, nogoods=753, foundSolutions=11, bestBound=453
11.10/8.29
11.30/8.49 num=258, depth=53..95, filters=1683024, revisions=(244424,useless=244409), ccks=1793568, wck=6.173, mem=44M381
11.30/8.49 decisions=279020, wrong=129396, backtracks=132476, failedAssignments=38886, nogoods=756, foundSolutions=11, bestBound=453
11.30/8.49
11.50/8.67 num=259, depth=72..106, filters=1732637, revisions=(250494,useless=250479), ccks=1837198, wck=6.344, mem=52M229
11.50/8.67 decisions=288267, wrong=133981, backtracks=137192, failedAssignments=40177, nogoods=762, foundSolutions=11, bestBound=453
11.50/8.67
11.80/8.94 num=260, depth=48..85, filters=1809502, revisions=(262768,useless=262753), ccks=1927579, wck=6.622, mem=62M693
11.80/8.94 decisions=298265, wrong=138953, backtracks=142387, failedAssignments=41597, nogoods=768, foundSolutions=11, bestBound=453
11.80/8.94
12.01/9.15 num=261, depth=68..111, filters=1867454, revisions=(269562,useless=269547), ccks=1972978, wck=6.827, mem=73M157
12.01/9.15 decisions=309928, wrong=144740, backtracks=148342, failedAssignments=43159, nogoods=771, foundSolutions=11, bestBound=453
12.01/9.15
12.30/9.46 num=262, depth=55..97, filters=1948237, revisions=(282395,useless=282380), ccks=2072852, wck=7.136, mem=83M620
12.30/9.46 decisions=321989, wrong=150735, backtracks=154576, failedAssignments=44877, nogoods=776, foundSolutions=11, bestBound=453
12.30/9.46
12.60/9.71 num=263, depth=60..95, filters=2019866, revisions=(291649,useless=291634), ccks=2137940, wck=7.387, mem=94M84
12.60/9.71 decisions=333237, wrong=156319, backtracks=160239, failedAssignments=46767, nogoods=779, foundSolutions=11, bestBound=453
12.60/9.71
12.91/10.04 num=264, depth=51..96, filters=2110936, revisions=(305798,useless=305783), ccks=2235376, wck=7.721, mem=107M164
12.91/10.04 decisions=347027, wrong=163184, backtracks=167469, failedAssignments=48846, nogoods=783, foundSolutions=11, bestBound=453
12.91/10.04
13.20/10.34 num=265, depth=63..104, filters=2196218, revisions=(316824,useless=316809), ccks=2309148, wck=8.016, mem=120M244
13.20/10.34 decisions=362034, wrong=170646, backtracks=175118, failedAssignments=51133, nogoods=788, foundSolutions=11, bestBound=453
13.20/10.34
13.60/10.75 num=266, depth=45..95, filters=2309510, revisions=(334598,useless=334583), ccks=2433548, wck=8.433, mem=138M556
13.60/10.75 decisions=379510, wrong=179354, backtracks=184202, failedAssignments=53649, nogoods=791, foundSolutions=11, bestBound=453
13.60/10.75
13.91/11.10 num=267, depth=76..111, filters=2401902, revisions=(345976,useless=345961), ccks=2519133, wck=8.775, mem=151M636
13.91/11.10 decisions=396754, wrong=187937, backtracks=192894, failedAssignments=56417, nogoods=795, foundSolutions=11, bestBound=453
13.91/11.10
14.53/11.61 num=268, depth=44..100, filters=2542196, revisions=(367406,useless=367391), ccks=2667857, wck=9.285, mem=41M130
14.53/11.61 decisions=418545, wrong=198805, backtracks=204252, failedAssignments=59461, nogoods=800, foundSolutions=11, bestBound=453
14.53/11.61
14.63/11.79 o 450
14.63/11.79 num=269, depth=68..270, filters=2594470, revisions=(375319,useless=375304), ccks=2724169, wck=9.473, mem=47M880
14.63/11.79 decisions=427406, wrong=203189, backtracks=208724, failedAssignments=61105, nogoods=804, foundSolutions=12, bestBound=450
14.63/11.79
15.24/12.31 num=270, depth=47..94, filters=2748355, revisions=(395285,useless=395270), ccks=2858202, wck=9.988, mem=71M507
15.24/12.31 decisions=454270, wrong=216592, backtracks=222516, failedAssignments=64789, nogoods=809, foundSolutions=12, bestBound=450
15.24/12.31
15.24/12.31 num=271, depth=81..102, filters=2749065, revisions=(395388,useless=395373), ccks=2858833, wck=9.993, mem=71M507
15.24/12.31 decisions=454462, wrong=216641, backtracks=222557, failedAssignments=64800, nogoods=813, foundSolutions=12, bestBound=450
15.24/12.31
15.24/12.32 num=272, depth=86..99, filters=2749638, revisions=(395447,useless=395432), ccks=2859217, wck=9.996, mem=71M507
15.24/12.32 decisions=454634, wrong=216684, backtracks=222596, failedAssignments=64812, nogoods=814, foundSolutions=12, bestBound=450
15.24/12.32
15.24/12.32 num=273, depth=86..105, filters=2750588, revisions=(395580,useless=395565), ccks=2860167, wck=10.002, mem=71M507
15.24/12.32 decisions=454857, wrong=216750, backtracks=222660, failedAssignments=64825, nogoods=817, foundSolutions=12, bestBound=450
15.24/12.32
15.24/12.33 num=274, depth=84..102, filters=2751320, revisions=(395673,useless=395658), ccks=2860906, wck=10.006, mem=71M507
15.24/12.33 decisions=455042, wrong=216797, backtracks=222706, failedAssignments=64839, nogoods=819, foundSolutions=12, bestBound=450
15.24/12.33
15.24/12.33 num=275, depth=77..96, filters=2752036, revisions=(395740,useless=395725), ccks=2861402, wck=10.01, mem=71M507
15.24/12.33 decisions=455259, wrong=216863, backtracks=222764, failedAssignments=64855, nogoods=823, foundSolutions=12, bestBound=450
15.24/12.33
15.24/12.33 num=276, depth=84..97, filters=2752788, revisions=(395828,useless=395813), ccks=2862041, wck=10.014, mem=71M507
15.24/12.33 decisions=455481, wrong=216929, backtracks=222826, failedAssignments=64872, nogoods=827, foundSolutions=12, bestBound=450
15.24/12.33
15.24/12.34 num=277, depth=81..98, filters=2753559, revisions=(395913,useless=395898), ccks=2862686, wck=10.019, mem=71M507
15.24/12.34 decisions=455699, wrong=216993, backtracks=222881, failedAssignments=64891, nogoods=829, foundSolutions=12, bestBound=450
15.24/12.34
15.24/12.34 num=278, depth=81..102, filters=2754414, revisions=(396049,useless=396034), ccks=2863636, wck=10.024, mem=71M507
15.24/12.34 decisions=455922, wrong=217058, backtracks=222935, failedAssignments=64912, nogoods=833, foundSolutions=12, bestBound=450
15.24/12.34
15.24/12.35 num=279, depth=82..101, filters=2755282, revisions=(396173,useless=396158), ccks=2864608, wck=10.028, mem=74M882
15.24/12.35 decisions=456151, wrong=217128, backtracks=222996, failedAssignments=64935, nogoods=837, foundSolutions=12, bestBound=450
15.24/12.35
15.24/12.35 num=280, depth=81..103, filters=2756353, revisions=(396318,useless=396303), ccks=2865575, wck=10.034, mem=74M882
15.24/12.35 decisions=456401, wrong=217209, backtracks=223070, failedAssignments=64960, nogoods=842, foundSolutions=12, bestBound=450
15.24/12.35
15.24/12.36 num=281, depth=81..105, filters=2757344, revisions=(396462,useless=396447), ccks=2866532, wck=10.04, mem=74M882
15.24/12.36 decisions=456640, wrong=217286, backtracks=223135, failedAssignments=64988, nogoods=847, foundSolutions=12, bestBound=450
15.24/12.36
15.24/12.37 num=282, depth=83..98, filters=2758364, revisions=(396592,useless=396577), ccks=2867466, wck=10.045, mem=74M882
15.24/12.37 decisions=456907, wrong=217375, backtracks=223217, failedAssignments=65019, nogoods=850, foundSolutions=12, bestBound=450
15.24/12.37
15.24/12.37 num=283, depth=75..96, filters=2760003, revisions=(396750,useless=396735), ccks=2868662, wck=10.052, mem=74M882
15.24/12.37 decisions=457292, wrong=217526, backtracks=223361, failedAssignments=65053, nogoods=852, foundSolutions=12, bestBound=450
15.24/12.37
15.24/12.38 num=284, depth=80..104, filters=2761852, revisions=(396983,useless=396968), ccks=2870524, wck=10.061, mem=74M882
15.24/12.38 decisions=457670, wrong=217669, backtracks=223495, failedAssignments=65090, nogoods=856, foundSolutions=12, bestBound=450
15.24/12.38
15.24/12.39 num=285, depth=80..104, filters=2763547, revisions=(397163,useless=397148), ccks=2872119, wck=10.07, mem=74M882
15.24/12.39 decisions=458028, wrong=217802, backtracks=223620, failedAssignments=65131, nogoods=861, foundSolutions=12, bestBound=450
15.24/12.39
15.34/12.40 num=286, depth=80..100, filters=2765491, revisions=(397379,useless=397364), ccks=2873746, wck=10.08, mem=74M882
15.34/12.40 decisions=458427, wrong=217957, backtracks=223766, failedAssignments=65176, nogoods=865, foundSolutions=12, bestBound=450
15.34/12.40
15.34/12.41 num=287, depth=80..104, filters=2767398, revisions=(397592,useless=397577), ccks=2875629, wck=10.088, mem=74M882
15.34/12.41 decisions=458832, wrong=218116, backtracks=223923, failedAssignments=65226, nogoods=869, foundSolutions=12, bestBound=450
15.34/12.41
15.34/12.42 num=288, depth=80..102, filters=2769565, revisions=(397832,useless=397817), ccks=2877529, wck=10.098, mem=74M882
15.34/12.42 decisions=459309, wrong=218309, backtracks=224108, failedAssignments=65281, nogoods=874, foundSolutions=12, bestBound=450
15.34/12.42
15.34/12.43 num=289, depth=78..100, filters=2771939, revisions=(398111,useless=398096), ccks=2879728, wck=10.109, mem=74M882
15.34/12.43 decisions=459796, wrong=218512, backtracks=224308, failedAssignments=65342, nogoods=878, foundSolutions=12, bestBound=450
15.34/12.43
15.34/12.44 num=290, depth=77..103, filters=2774703, revisions=(398459,useless=398444), ccks=2882729, wck=10.122, mem=78M258
15.34/12.44 decisions=460324, wrong=218730, backtracks=224512, failedAssignments=65409, nogoods=883, foundSolutions=12, bestBound=450
15.34/12.44
15.34/12.45 num=291, depth=71..94, filters=2777279, revisions=(398717,useless=398702), ccks=2885127, wck=10.133, mem=78M258
15.34/12.45 decisions=460910, wrong=218981, backtracks=224746, failedAssignments=65483, nogoods=887, foundSolutions=12, bestBound=450
15.34/12.45
15.34/12.47 num=292, depth=78..102, filters=2780728, revisions=(399220,useless=399205), ccks=2890127, wck=10.15, mem=78M258
15.34/12.47 decisions=461481, wrong=219225, backtracks=224979, failedAssignments=65564, nogoods=890, foundSolutions=12, bestBound=450
15.34/12.47
15.34/12.49 num=293, depth=78..103, filters=2784527, revisions=(399720,useless=399705), ccks=2895100, wck=10.167, mem=78M258
15.34/12.49 decisions=462117, wrong=219499, backtracks=225243, failedAssignments=65653, nogoods=897, foundSolutions=12, bestBound=450
15.34/12.49
15.44/12.50 num=294, depth=77..96, filters=2788581, revisions=(400212,useless=400197), ccks=2900004, wck=10.184, mem=78M258
15.44/12.50 decisions=462841, wrong=219819, backtracks=225538, failedAssignments=65751, nogoods=900, foundSolutions=12, bestBound=450
15.44/12.50
15.44/12.53 num=295, depth=75..100, filters=2793470, revisions=(400811,useless=400796), ccks=2905162, wck=10.205, mem=81M633
15.44/12.53 decisions=463656, wrong=220187, backtracks=225890, failedAssignments=65859, nogoods=905, foundSolutions=12, bestBound=450
15.44/12.53
15.44/12.55 num=296, depth=74..99, filters=2799314, revisions=(401518,useless=401503), ccks=2911392, wck=10.232, mem=81M633
15.44/12.55 decisions=464584, wrong=220608, backtracks=226297, failedAssignments=65978, nogoods=911, foundSolutions=12, bestBound=450
15.44/12.55
15.44/12.58 num=297, depth=73..102, filters=2805392, revisions=(402408,useless=402393), ccks=2918738, wck=10.258, mem=81M633
15.44/12.58 decisions=465529, wrong=221039, backtracks=226727, failedAssignments=66109, nogoods=913, foundSolutions=12, bestBound=450
15.44/12.58
15.54/12.60 num=298, depth=73..99, filters=2810867, revisions=(403178,useless=403163), ccks=2925486, wck=10.281, mem=81M633
15.54/12.60 decisions=466445, wrong=221455, backtracks=227122, failedAssignments=66253, nogoods=917, foundSolutions=12, bestBound=450
15.54/12.60
15.54/12.63 num=299, depth=73..100, filters=2816952, revisions=(403970,useless=403955), ccks=2932187, wck=10.307, mem=85M8
15.54/12.63 decisions=467480, wrong=221932, backtracks=227596, failedAssignments=66411, nogoods=921, foundSolutions=12, bestBound=450
15.54/12.63
15.54/12.66 num=300, depth=72..100, filters=2823999, revisions=(404911,useless=404896), ccks=2940212, wck=10.337, mem=85M8
15.54/12.66 decisions=468606, wrong=222455, backtracks=228137, failedAssignments=66585, nogoods=926, foundSolutions=12, bestBound=450
15.54/12.66
15.54/12.69 num=301, depth=71..100, filters=2832157, revisions=(405894,useless=405879), ccks=2948286, wck=10.37, mem=85M8
15.54/12.69 decisions=470083, wrong=223154, backtracks=228847, failedAssignments=66776, nogoods=928, foundSolutions=12, bestBound=450
15.54/12.69
15.64/12.72 num=302, depth=70..98, filters=2839916, revisions=(406865,useless=406850), ccks=2957094, wck=10.401, mem=88M384
15.64/12.72 decisions=471476, wrong=223814, backtracks=229527, failedAssignments=66987, nogoods=934, foundSolutions=12, bestBound=450
15.64/12.72
15.64/12.75 num=303, depth=85..111, filters=2847489, revisions=(407939,useless=407924), ccks=2965173, wck=10.43, mem=88M384
15.64/12.75 decisions=472918, wrong=224490, backtracks=230206, failedAssignments=67219, nogoods=937, foundSolutions=12, bestBound=450
15.64/12.75
15.64/12.79 num=304, depth=75..106, filters=2857594, revisions=(409214,useless=409199), ccks=2975452, wck=10.473, mem=91M759
15.64/12.79 decisions=474847, wrong=225414, backtracks=231142, failedAssignments=67474, nogoods=940, foundSolutions=12, bestBound=450
15.64/12.79
15.74/12.84 num=305, depth=73..99, filters=2868921, revisions=(410865,useless=410850), ccks=2987641, wck=10.515, mem=91M759
15.74/12.84 decisions=476906, wrong=226402, backtracks=232150, failedAssignments=67755, nogoods=944, foundSolutions=12, bestBound=450
15.74/12.84
15.74/12.90 num=306, depth=54..89, filters=2883308, revisions=(412928,useless=412913), ccks=3002262, wck=10.575, mem=95M134
15.74/12.90 decisions=479242, wrong=227532, backtracks=233303, failedAssignments=68064, nogoods=948, foundSolutions=12, bestBound=450
15.74/12.90
15.84/12.95 num=307, depth=74..106, filters=2898879, revisions=(415185,useless=415170), ccks=3017393, wck=10.632, mem=95M134
15.84/12.95 decisions=481738, wrong=228739, backtracks=234556, failedAssignments=68404, nogoods=953, foundSolutions=12, bestBound=450
15.84/12.95
15.95/13.04 num=308, depth=49..110, filters=2918192, revisions=(418309,useless=418294), ccks=3039296, wck=10.715, mem=98M509
15.95/13.04 decisions=484374, wrong=230032, backtracks=235892, failedAssignments=68778, nogoods=955, foundSolutions=12, bestBound=450
15.95/13.04
15.95/13.09 num=309, depth=81..112, filters=2932952, revisions=(420149,useless=420134), ccks=3054331, wck=10.769, mem=101M885
15.95/13.09 decisions=487207, wrong=231404, backtracks=237279, failedAssignments=69189, nogoods=959, foundSolutions=12, bestBound=450
15.95/13.09
16.05/13.18 num=310, depth=61..101, filters=2955524, revisions=(423938,useless=423923), ccks=3078181, wck=10.86, mem=105M260
16.05/13.18 decisions=490064, wrong=232797, backtracks=238766, failedAssignments=69641, nogoods=964, foundSolutions=12, bestBound=450
16.05/13.18
16.14/13.26 num=311, depth=74..113, filters=2973676, revisions=(426208,useless=426193), ccks=3097737, wck=10.936, mem=108M635
16.14/13.26 decisions=493242, wrong=234338, backtracks=240372, failedAssignments=70138, nogoods=968, foundSolutions=12, bestBound=450
16.14/13.26
16.24/13.38 num=312, depth=55..86, filters=3004442, revisions=(431183,useless=431168), ccks=3132545, wck=11.058, mem=112M11
16.24/13.38 decisions=497212, wrong=236293, backtracks=242408, failedAssignments=70685, nogoods=973, foundSolutions=12, bestBound=450
16.24/13.38
16.34/13.48 num=313, depth=65..108, filters=3029360, revisions=(434289,useless=434274), ccks=3158141, wck=11.157, mem=115M386
16.34/13.48 decisions=501700, wrong=238493, backtracks=244654, failedAssignments=71287, nogoods=977, foundSolutions=12, bestBound=450
16.34/13.48
16.44/13.59 num=314, depth=55..96, filters=3061709, revisions=(438667,useless=438652), ccks=3185227, wck=11.271, mem=118M761
16.44/13.59 decisions=506519, wrong=240866, backtracks=247131, failedAssignments=71949, nogoods=980, foundSolutions=12, bestBound=450
16.44/13.59
16.64/13.73 num=315, depth=60..98, filters=3095405, revisions=(443252,useless=443237), ccks=3219298, wck=11.405, mem=125M512
16.64/13.73 decisions=511822, wrong=243478, backtracks=249817, failedAssignments=72677, nogoods=983, foundSolutions=12, bestBound=450
16.64/13.73
16.74/13.88 num=316, depth=55..97, filters=3134224, revisions=(448985,useless=448970), ccks=3261550, wck=11.561, mem=132M262
16.74/13.88 decisions=517111, wrong=246090, backtracks=252526, failedAssignments=73478, nogoods=988, foundSolutions=12, bestBound=450
16.74/13.88
16.95/14.01 num=317, depth=73..112, filters=3165616, revisions=(453207,useless=453192), ccks=3295764, wck=11.688, mem=135M638
16.95/14.01 decisions=522884, wrong=248931, backtracks=255442, failedAssignments=74359, nogoods=992, foundSolutions=12, bestBound=450
16.95/14.01
17.14/14.21 num=318, depth=45..88, filters=3217182, revisions=(460151,useless=460136), ccks=3344260, wck=11.892, mem=142M388
17.14/14.21 decisions=530504, wrong=252711, backtracks=259429, failedAssignments=75329, nogoods=996, foundSolutions=12, bestBound=450
17.14/14.21
17.24/14.37 num=319, depth=67..106, filters=3255879, revisions=(465051,useless=465036), ccks=3386251, wck=12.05, mem=149M139
17.24/14.37 decisions=538045, wrong=256444, backtracks=263206, failedAssignments=76396, nogoods=1001, foundSolutions=12, bestBound=450
17.24/14.37
17.44/14.59 num=320, depth=50..89, filters=3311481, revisions=(473110,useless=473095), ccks=3443469, wck=12.266, mem=155M889
17.44/14.59 decisions=546287, wrong=260530, backtracks=267440, failedAssignments=77569, nogoods=1007, foundSolutions=12, bestBound=450
17.44/14.59
17.64/14.79 num=321, depth=70..109, filters=3360135, revisions=(479391,useless=479376), ccks=3498143, wck=12.471, mem=162M640
17.64/14.79 decisions=555254, wrong=264973, backtracks=271971, failedAssignments=78860, nogoods=1011, foundSolutions=12, bestBound=450
17.64/14.79
17.95/15.05 num=322, depth=46..84, filters=3425541, revisions=(488143,useless=488128), ccks=3559485, wck=12.73, mem=172M766
17.95/15.05 decisions=565057, wrong=269841, backtracks=276936, failedAssignments=80280, nogoods=1015, foundSolutions=12, bestBound=450
17.95/15.05
18.14/15.27 num=323, depth=59..103, filters=3483339, revisions=(496051,useless=496036), ccks=3623464, wck=12.948, mem=182M892
18.14/15.27 decisions=575634, wrong=275090, backtracks=282380, failedAssignments=81842, nogoods=1020, foundSolutions=12, bestBound=450
18.14/15.27
18.44/15.55 num=324, depth=60..104, filters=3550884, revisions=(505366,useless=505351), ccks=3692673, wck=13.231, mem=24M294
18.44/15.55 decisions=587183, wrong=280826, backtracks=288266, failedAssignments=83560, nogoods=1025, foundSolutions=12, bestBound=450
18.44/15.55
18.78/15.81 num=325, depth=53..105, filters=3619489, revisions=(514424,useless=514409), ccks=3751579, wck=13.484, mem=34M443
18.78/15.81 decisions=599768, wrong=287079, backtracks=294599, failedAssignments=85450, nogoods=1030, foundSolutions=12, bestBound=450
18.78/15.81
19.09/16.16 num=326, depth=51..94, filters=3710596, revisions=(526797,useless=526782), ccks=3841172, wck=13.843, mem=47M975
19.09/16.16 decisions=614193, wrong=294259, backtracks=301925, failedAssignments=87529, nogoods=1035, foundSolutions=12, bestBound=450
19.09/16.16
19.38/16.48 num=327, depth=63..101, filters=3794483, revisions=(538196,useless=538181), ccks=3926029, wck=14.16, mem=58M124
19.38/16.48 decisions=629520, wrong=301884, backtracks=309763, failedAssignments=89816, nogoods=1039, foundSolutions=12, bestBound=450
19.38/16.48
19.88/16.94 num=328, depth=54..99, filters=3909879, revisions=(554330,useless=554315), ccks=4045741, wck=14.618, mem=78M422
19.88/16.94 decisions=648174, wrong=311167, backtracks=319270, failedAssignments=92332, nogoods=1042, foundSolutions=12, bestBound=450
19.88/16.94
20.18/17.24 num=329, depth=62..99, filters=3989575, revisions=(564344,useless=564329), ccks=4111155, wck=14.915, mem=88M571
20.18/17.24 decisions=664226, wrong=319156, backtracks=327358, failedAssignments=95100, nogoods=1045, foundSolutions=12, bestBound=450
20.18/17.24
20.68/17.71 num=330, depth=55..111, filters=4112100, revisions=(581447,useless=581432), ccks=4228312, wck=15.394, mem=108M869
20.68/17.71 decisions=684979, wrong=329495, backtracks=337951, failedAssignments=98144, nogoods=1048, foundSolutions=12, bestBound=450
20.68/17.71
21.18/18.20 num=331, depth=66..107, filters=4237164, revisions=(598483,useless=598468), ccks=4350219, wck=15.883, mem=129M167
21.18/18.20 decisions=706646, wrong=340289, backtracks=348991, failedAssignments=101493, nogoods=1053, foundSolutions=12, bestBound=450
21.18/18.20
21.78/18.84 num=332, depth=59..108, filters=4389581, revisions=(620807,useless=620792), ccks=4533402, wck=16.515, mem=149M465
21.78/18.84 decisions=731919, wrong=352883, backtracks=362014, failedAssignments=105177, nogoods=1056, foundSolutions=12, bestBound=450
21.78/18.84
22.38/19.42 num=333, depth=56..99, filters=4536820, revisions=(641388,useless=641373), ccks=4689184, wck=17.101, mem=173M147
22.38/19.42 decisions=757529, wrong=365650, backtracks=375017, failedAssignments=109229, nogoods=1059, foundSolutions=12, bestBound=450
22.38/19.42
23.13/20.12 num=334, depth=50..98, filters=4712698, revisions=(664863,useless=664848), ccks=4861910, wck=17.803, mem=29M518
23.13/20.12 decisions=787793, wrong=380750, backtracks=390575, failedAssignments=113686, nogoods=1064, foundSolutions=12, bestBound=450
23.13/20.12
23.82/20.86 num=335, depth=63..107, filters=4902362, revisions=(692086,useless=692071), ccks=5062235, wck=18.539, mem=59M529
23.82/20.86 decisions=819742, wrong=396687, backtracks=406826, failedAssignments=118589, nogoods=1069, foundSolutions=12, bestBound=450
23.82/20.86
24.72/21.78 num=336, depth=47..93, filters=5140001, revisions=(726078,useless=726063), ccks=5298279, wck=19.458, mem=93M828
24.72/21.78 decisions=855721, wrong=414644, backtracks=425187, failedAssignments=123983, nogoods=1073, foundSolutions=12, bestBound=450
24.72/21.78
25.62/22.67 num=337, depth=60..110, filters=5366358, revisions=(758737,useless=758722), ccks=5537568, wck=20.348, mem=128M127
25.62/22.67 decisions=894189, wrong=433840, backtracks=444728, failedAssignments=129916, nogoods=1077, foundSolutions=12, bestBound=450
25.62/22.67
26.72/23.76 num=338, depth=48..101, filters=5650862, revisions=(798241,useless=798226), ccks=5812903, wck=21.435, mem=171M0
26.72/23.76 decisions=938909, wrong=456170, backtracks=467766, failedAssignments=136442, nogoods=1081, foundSolutions=12, bestBound=450
26.72/23.76
27.72/24.75 num=339, depth=63..113, filters=5900425, revisions=(830529,useless=830514), ccks=6058679, wck=22.427, mem=209M586
27.72/24.75 decisions=987831, wrong=480587, backtracks=492500, failedAssignments=143621, nogoods=1086, foundSolutions=12, bestBound=450
27.72/24.75
28.95/25.99 num=340, depth=38..105, filters=6234316, revisions=(874318,useless=874303), ccks=6361800, wck=23.666, mem=42M486
28.95/25.99 decisions=1041969, wrong=507614, backtracks=520315, failedAssignments=151518, nogoods=1089, foundSolutions=12, bestBound=450
28.95/25.99
30.16/27.12 num=341, depth=55..109, filters=6534479, revisions=(914126,useless=914111), ccks=6638684, wck=24.802, mem=89M807
30.16/27.12 decisions=1096446, wrong=534820, backtracks=548012, failedAssignments=160205, nogoods=1093, foundSolutions=12, bestBound=450
30.16/27.12
31.45/28.42 num=342, depth=57..107, filters=6872431, revisions=(960225,useless=960210), ccks=6987688, wck=26.098, mem=141M431
31.45/28.42 decisions=1157467, wrong=565297, backtracks=578964, failedAssignments=169760, nogoods=1097, foundSolutions=12, bestBound=450
31.45/28.42
32.95/29.91 num=343, depth=51..108, filters=7250348, revisions=(1012710,useless=1012695), ccks=7359871, wck=27.586, mem=201M658
32.95/29.91 decisions=1222402, wrong=597727, backtracks=611416, failedAssignments=180271, nogoods=1101, foundSolutions=12, bestBound=450
32.95/29.91
34.49/31.42 num=344, depth=49..101, filters=7652767, revisions=(1062855,useless=1062840), ccks=7736154, wck=29.096, mem=46M176
34.49/31.42 decisions=1296894, wrong=634931, backtracks=648753, failedAssignments=191833, nogoods=1104, foundSolutions=12, bestBound=450
34.49/31.42
36.10/33.02 num=345, depth=54..107, filters=8065440, revisions=(1117317,useless=1117302), ccks=8128333, wck=30.696, mem=113M374
36.10/33.02 decisions=1373640, wrong=673265, backtracks=687066, failedAssignments=204551, nogoods=1109, foundSolutions=12, bestBound=450
36.10/33.02
38.49/35.47 num=346, depth=38..100, filters=8706033, revisions=(1208458,useless=1208443), ccks=8763432, wck=33.153, mem=209M972
38.49/35.47 decisions=1475366, wrong=724088, backtracks=739813, failedAssignments=218541, nogoods=1114, foundSolutions=12, bestBound=450
38.49/35.47
40.32/37.26 num=347, depth=59..109, filters=9159488, revisions=(1263295,useless=1263280), ccks=9162661, wck=34.942, mem=70M264
40.32/37.26 decisions=1568189, wrong=770462, backtracks=786728, failedAssignments=233930, nogoods=1118, foundSolutions=12, bestBound=450
40.32/37.26
42.62/39.52 num=348, depth=49..106, filters=9792653, revisions=(1342985,useless=1342970), ccks=9710359, wck=37.204, mem=164M732
42.62/39.52 decisions=1683551, wrong=828114, backtracks=846081, failedAssignments=250858, nogoods=1124, foundSolutions=12, bestBound=450
42.62/39.52
45.05/41.92 num=349, depth=47..111, filters=10416445, revisions=(1413974,useless=1413959), ccks=10280722, wck=39.595, mem=61M117
45.05/41.92 decisions=1806896, wrong=889746, backtracks=907867, failedAssignments=269479, nogoods=1130, foundSolutions=12, bestBound=450
45.05/41.92
47.75/44.63 num=350, depth=55..111, filters=11132270, revisions=(1507884,useless=1507869), ccks=10936483, wck=42.308, mem=169M497
47.75/44.63 decisions=1940462, wrong=956494, backtracks=975879, failedAssignments=289963, nogoods=1134, foundSolutions=12, bestBound=450
47.75/44.63
50.37/47.22 num=351, depth=44..110, filters=11821017, revisions=(1584573,useless=1584558), ccks=11476006, wck=44.899, mem=75M895
50.37/47.22 decisions=2083559, wrong=1028007, backtracks=1047628, failedAssignments=312495, nogoods=1140, foundSolutions=12, bestBound=450
50.37/47.22
54.29/51.17 num=352, depth=29..107, filters=12844164, revisions=(1718183,useless=1718168), ccks=12375566, wck=48.848, mem=40M194
54.29/51.17 decisions=2264183, wrong=1118287, backtracks=1140028, failedAssignments=337280, nogoods=1144, foundSolutions=12, bestBound=450
54.29/51.17
57.68/54.50 num=353, depth=53..114, filters=13735942, revisions=(1823126,useless=1823111), ccks=13140822, wck=52.182, mem=182M163
57.68/54.50 decisions=2445779, wrong=1209052, backtracks=1232117, failedAssignments=364544, nogoods=1149, foundSolutions=12, bestBound=450
57.68/54.50
61.70/58.56 num=354, depth=50..108, filters=14791233, revisions=(1949097,useless=1949082), ccks=14015156, wck=56.24, mem=156M139
61.70/58.56 decisions=2639882, wrong=1306074, backtracks=1329615, failedAssignments=394534, nogoods=1154, foundSolutions=12, bestBound=450
61.70/58.56
66.21/63.10 num=355, depth=45..104, filters=15972542, revisions=(2095822,useless=2095807), ccks=15118600, wck=60.781, mem=153M126
66.21/63.10 decisions=2861409, wrong=1416812, backtracks=1441708, failedAssignments=427523, nogoods=1159, foundSolutions=12, bestBound=450
66.21/63.10
70.72/67.51 num=356, depth=41..107, filters=17179945, revisions=(2235160,useless=2235145), ccks=16012427, wck=65.184, mem=157M681
70.72/67.51 decisions=3099077, wrong=1535611, backtracks=1562259, failedAssignments=463811, nogoods=1163, foundSolutions=12, bestBound=450
70.72/67.51
76.35/73.13 num=357, depth=43..106, filters=18615708, revisions=(2409530,useless=2409515), ccks=17331399, wck=70.807, mem=34M883
76.35/73.13 decisions=3376276, wrong=1674171, backtracks=1702715, failedAssignments=503728, nogoods=1167, foundSolutions=12, bestBound=450
76.35/73.13
82.15/78.98 num=358, depth=37..102, filters=20107021, revisions=(2600579,useless=2600564), ccks=18545091, wck=76.662, mem=88M578
82.15/78.98 decisions=3650276, wrong=1811138, backtracks=1841175, failedAssignments=547637, nogoods=1171, foundSolutions=12, bestBound=450
82.15/78.98
88.47/85.21 num=359, depth=42..107, filters=21641555, revisions=(2768409,useless=2768394), ccks=19829070, wck=82.893, mem=156M936
88.47/85.21 decisions=3966984, wrong=1969458, backtracks=2002001, failedAssignments=595937, nogoods=1174, foundSolutions=12, bestBound=450
88.47/85.21
94.89/91.70 num=360, depth=49..108, filters=23255223, revisions=(2948751,useless=2948736), ccks=21020126, wck=89.375, mem=84M886
94.89/91.70 decisions=4296212, wrong=2134043, backtracks=2165997, failedAssignments=649067, nogoods=1178, foundSolutions=12, bestBound=450
94.89/91.70
103.80/100.58 num=361, depth=36..107, filters=25461912, revisions=(3203641,useless=3203626), ccks=22879127, wck=98.255, mem=106M905
103.80/100.58 decisions=4710530, wrong=2341172, backtracks=2375269, failedAssignments=707510, nogoods=1183, foundSolutions=12, bestBound=450
103.80/100.58
112.72/109.44 num=362, depth=33..109, filters=27678799, revisions=(3471972,useless=3471957), ccks=24680702, wck=107.124, mem=145M416
112.72/109.44 decisions=5131743, wrong=2551744, backtracks=2588736, failedAssignments=771797, nogoods=1187, foundSolutions=12, bestBound=450
112.72/109.44
122.74/119.44 num=363, depth=32..107, filters=30212310, revisions=(3759302,useless=3759287), ccks=26660525, wck=117.116, mem=91M281
122.74/119.44 decisions=5635898, wrong=2803790, backtracks=2846332, failedAssignments=842513, nogoods=1192, foundSolutions=12, bestBound=450
122.74/119.44
132.15/128.86 num=364, depth=43..114, filters=32483723, revisions=(4008500,useless=4008485), ccks=28436132, wck=126.54, mem=29M303
132.15/128.86 decisions=6099556, wrong=3035589, backtracks=3079386, failedAssignments=920300, nogoods=1198, foundSolutions=12, bestBound=450
132.15/128.86
144.07/140.73 num=365, depth=19..103, filters=35502510, revisions=(4348292,useless=4348277), ccks=30635668, wck=138.409, mem=112M739
144.07/140.73 decisions=6713860, wrong=3342713, backtracks=3390780, failedAssignments=1005866, nogoods=1202, foundSolutions=12, bestBound=450
144.07/140.73
156.10/152.76 num=366, depth=36..112, filters=38392544, revisions=(4680509,useless=4680494), ccks=33112778, wck=150.438, mem=61M706
156.10/152.76 decisions=7310692, wrong=3641091, backtracks=3695927, failedAssignments=1099989, nogoods=1205, foundSolutions=12, bestBound=450
156.10/152.76
170.13/166.78 num=367, depth=32..112, filters=41805661, revisions=(5070715,useless=5070700), ccks=35703283, wck=164.463, mem=30M278
170.13/166.78 decisions=7996869, wrong=3984137, backtracks=4041848, failedAssignments=1203524, nogoods=1208, foundSolutions=12, bestBound=450
170.13/166.78
184.66/181.23 num=368, depth=32..110, filters=45336594, revisions=(5459226,useless=5459211), ccks=38378594, wck=178.905, mem=39M990
184.66/181.23 decisions=8733173, wrong=4352259, backtracks=4413001, failedAssignments=1317413, nogoods=1212, foundSolutions=12, bestBound=450
184.66/181.23
201.90/198.43 num=369, depth=25..106, filters=49478933, revisions=(5913389,useless=5913374), ccks=41476716, wck=196.105, mem=104M31
201.90/198.43 decisions=9595110, wrong=4783204, backtracks=4848360, failedAssignments=1442691, nogoods=1216, foundSolutions=12, bestBound=450
201.90/198.43
221.76/218.25 num=370, depth=22..108, filters=54296800, revisions=(6451492,useless=6451477), ccks=45116827, wck=215.926, mem=95M49
221.76/218.25 decisions=10545900, wrong=5258579, backtracks=5331655, failedAssignments=1580497, nogoods=1220, foundSolutions=12, bestBound=450
221.76/218.25
243.83/240.22 num=371, depth=18..107, filters=59561329, revisions=(7050870,useless=7050855), ccks=49239404, wck=237.897, mem=90M287
243.83/240.22 decisions=11613533, wrong=5792363, backtracks=5877289, failedAssignments=1732083, nogoods=1224, foundSolutions=12, bestBound=450
243.83/240.22
273.62/269.99 num=372, depth=3..114, filters=66572232, revisions=(7862676,useless=7862661), ccks=54658596, wck=267.672, mem=46M883
273.62/269.99 decisions=12918075, wrong=6444622, backtracks=6548708, failedAssignments=1898828, nogoods=1228, foundSolutions=12, bestBound=450
273.62/269.99
301.61/297.80
301.61/297.80 New Bounds: 450..449
301.61/297.80 num=373, depth=0..106, filters=73077125, revisions=(8619173,useless=8619158), ccks=59572998, wck=295.477, mem=51M564
301.61/297.80 decisions=14130501, wrong=7050836, backtracks=7177884, failedAssignments=2044864, foundSolutions=12, bestBound=450
301.61/297.80
301.61/297.80 Global
301.61/297.80 filters=73077125, revisions=(8619173,useless=8619158), ccks=59572998
301.61/297.80 Stop=FULL_EXPLORATION, wrong=7050836, bestBound=450, bestBoundWck=9.935, bestBoundCpu=11.731, foundSolutions=12, firstSolCpu=2.339
301.61/297.80 wck=295.94, cpu=297.372, mem=51M564
301.61/297.80
301.61/297.80 v <instantiation id='sol12' type='solution' cost='450'> <list> x[][] u[] </list> <values> 0 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 19 30 35 23 11 31 29 28 14 8 30 22 6 30 33 </values> </instantiation>
301.61/297.80 s OPTIMUM FOUND
301.61/297.80
301.61/297.80 d WRONG_DECISIONS 7050836
301.61/297.80 d NUMBER_SOLUTIONS 12