2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
3.34/2.19 Instance
3.34/2.19 name=instance-4391278-1568389331, framework=COP, bounds=-infty..+infty
3.34/2.19
3.34/2.19 Loading variables...
4.03/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcd9901
4.03/2.37 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b275e6d
4.03/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40a88bb8
4.03/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a527a17
4.03/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d28e9f
4.36/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe0afca
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56ba7916
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65d2c951
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7ee7da
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47f5da8f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f509e84
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5126f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e4b027
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c8301f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34901457
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b7d9421
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@319bdd07
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@585760c1
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5823d72a
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f7a90
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e684714
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c836a56
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adc42e9
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ed4d96f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c88384
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@709c09de
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d91006
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43556489
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b36f676
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a7f2a10
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f510901
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d759c4e
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f341c85
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@782c775d
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fcdcbca
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dfd1004
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d17f4b8
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e81689e
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f8c616f
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e15735
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eee1cbd
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@799c2596
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6966c473
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e9e4a33
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f476675
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16086b10
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c40cf6
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d168cda
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cdf927c
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d580c5
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1de95f1e
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d8947db
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb96d32
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2fe96a
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6da5d0d2
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b896503
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@452441d3
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13c3b061
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5379fd76
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d5602d6
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253fe4c3
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ced7fd4
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36c997f5
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b46ae6
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7f339
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1051501e
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@870939b
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0c31dc
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@767e9afb
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3729ca49
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e84cf0a
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc85926
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df1728
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5b9e24
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5702143e
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2953ecce
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f2194e
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52353b2a
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ff05b1
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c79b7f2
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c8f3d1f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b021e9b
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e60646c
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606d4b05
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6012c4fa
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32d4283f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db3739a
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d77c210
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@526f049a
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c95f2b
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cf81c8
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bd3af7e
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dadbeff
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d1fe950
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28066cc1
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92bfef9
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@596cf9a5
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a34b3
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415503c8
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40dc19c1
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a68db
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bac407
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b495e61
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bc76377
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d180ba
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e104948
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306cddaa
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10c331be
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f96304
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f70d96
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5910165b
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca74366
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5332b043
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ddaab4c
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fcd3b01
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f74c5b2
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@90a2e8e
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6343ba2a
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce1a0b4
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35650a85
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c187934
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4164e1f6
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f373d89
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a7bb3c
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd123f7
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12124ff3
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4978147d
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff96dc5
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@499356e4
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244dfb08
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cfbbb0e
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6686486f
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f6302cf
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355f72e9
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43c379ba
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c268b5
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8e257a
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6631cd07
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b759b71
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c60b49
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56582f1f
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33612880
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5998d782
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7deba8db
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5504ffba
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f36396
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5758e4aa
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@194150da
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3577f744
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@207655d9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e88eed6
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6486bd
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d918405
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d4cda4e
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394f7bfc
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23672821
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7253bf91
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201b33f4
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72703813
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83ca719
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63cf3704
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7269ee33
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19543429
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f5fc282
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec0f50c
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58030451
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ca6d152
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@196a1004
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f24aa1b
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12bf3aa6
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bad7639
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c53a188
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46859060
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2646715b
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331d4413
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1733f81d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@193f8dd3
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4795ee3b
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39c11eca
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eba5fae
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293380a8
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@272706b4
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@257728a6
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b428ee
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68beda98
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a3caf18
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77de7a12
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c7110
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca82a57
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0010c3
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d613e6
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c32a9e6
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a81cd4f
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2483d1c1
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ebc6744
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6068e6f0
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0439bf
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5acd27dd
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@296e89d6
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc1eced
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad77a0
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324306d0
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@719487b
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76ef0077
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@467694bf
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ba6e62
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6002d625
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c47e3bf
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3752a03
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e75b65d
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5277dd4a
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba78195
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9bb300e
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee8a6d8
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1eded9
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@692da81a
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@622dcd88
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9574a
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ffeecee
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7370eb8b
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c327f
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3778a983
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@779b5a8d
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c9c7f4
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49029b57
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1e5333
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cb5d03
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44cb402a
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@368b6f68
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198066b6
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310f54f7
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@93598af
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0d461d
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b4b8075
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a18f88e
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@378c0fb6
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1a5b3b
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ab4d62
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b4db4
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6588b8b9
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e755f20
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f781333
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2134732c
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c1bfbc
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a456606
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76357720
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9cc5578
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27371f12
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77011ad8
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25224ed1
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2929d6d8
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34daf216
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b73f859
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a88325
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@351a3fd
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2852a203
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1053b677
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c5296b5
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52afd315
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b61ddb
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7215b8f0
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441803b4
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32489f0f
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5658668e
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665e3f41
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb48353
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b19fdd6
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75105547
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0f4049
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@181821f6
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613c1ae2
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bec3e1
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34b4ad9b
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c5af63
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f4398a6
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adf2913
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66fb0e8c
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d5a885
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bf4055
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a7d5756
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb4d8fa
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74682145
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2b24de
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d47d91
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b0af382
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3579864e
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26943338
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e21fc7
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9c69fe2
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65bab24c
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3598a295
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c9bf4f
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aeedafd
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2da7af63
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3951b149
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5183bc39
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5559d579
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f98afe
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b2f1531
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5765da44
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d331dd
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc23905
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74215cbc
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbf70c9
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5990bb5a
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2743ce69
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a334964
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@664e37a1
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@beaf2fe
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fff1a82
4.70/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f541a94
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e0d4dfe
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49779a83
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa86334
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59465108
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b33871d
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f855cd0
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583f4d70
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d93934b
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798734cc
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394168ab
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f3718a0
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6854bf0e
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233d6e95
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20762800
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18ca4650
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9eb8ab
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a71c7ff
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33412117
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@680cfaaf
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46108a3f
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f15cc
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25505d54
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18ecce24
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43c9a803
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f99ece4
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3210e3f5
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5709de61
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c80eb9
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213103d4
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@461c9fec
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4622f7b5
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc9d520
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10decfb1
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7ac57a
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd5dd87
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437e7451
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2e39d5
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c997770
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69accf08
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a8b7c8
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@180bc2c6
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7154dc14
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24916f2b
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd3f96
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f04f223
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56bcad18
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a25ed3
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3f5dda
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e40410d
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd2c0
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@591fe366
4.70/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb9d6bd
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@630e4c83
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@679cc787
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f6c66a
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24fa11a8
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf9d98c
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@678d7a62
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24f8ba63
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49b2f52c
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@575c46ec
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a766539
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ff15026
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da71113
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a1ad1f7
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492c4dd
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f7db6a
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3988b2f2
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6af3f029
4.70/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1f0c51
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76dcfa79
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13841e57
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581f4fe7
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c47b45
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4399a291
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed62900
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cfb626d
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2177a9
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d6e34d4
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f35b21c
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278bbfc1
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbc676e
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216f113d
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf235b0
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5831e09c
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a981f1
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39487873
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63850e76
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256359dd
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6418eb8a
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151b68d1
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346e1112
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1a3762
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fc849
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f3534c
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f9d432
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528bd0f
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed3dd00
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a08d7b6
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f18486b
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1c492b
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c1f6a4
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@325fc5ef
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d70d1be
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3219e46d
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b1afdf
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a33ff53
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e765c3
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27e0f8a7
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e75895e
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6edafc48
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f196aef
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10f69012
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ffbb2e
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dc57788
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be28748
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cae1d39
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66360bdb
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@adafc53
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d0f1867
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df55168
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1efb2690
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6968a642
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f280d6
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fc24acf
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b83b4bb
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bafe17
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49bb624c
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9582c15
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de5e402
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32fb8429
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dcae736
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30e9bea7
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc52da8
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65d68b85
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a5855
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7393c5d3
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c3cc96
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ffb2501
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c829cdd
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56feb9ad
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19f5f29f
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4058db3d
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8685a19
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cac7812
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2114a9d5
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a92f565
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41042c64
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12860800
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b57492
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e917c53
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1592ad2d
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11ee3ee1
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29799055
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58d7203e
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab7991
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28bdf76f
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bcf983a
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625fa548
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54063e5e
4.70/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fe61a09
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282e290
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592671cb
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f8fa34
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51512cef
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4faf02
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c74b58
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c1735fa
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372a38fe
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dfeb00d
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127d8259
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d6f99f8
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6206bc84
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fde4695
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@580cd926
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76602d8f
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a56f8be
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8cdc62
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8c2848e
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c247bc
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ccd4edc
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a66ee4
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7392a9
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e99b7e
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bd44b
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b91de8
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@410ade22
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1f03ae
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6013aee
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e9c2d8d
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38b8cf5c
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dffb4f9
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb7e245
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c06545b
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c875c1
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34192fb3
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5697f09b
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198e15fd
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f150442
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c4395f8
4.70/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64da7020
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4be8b2a0
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d67ca10
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@282835a2
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef211ac
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ecfa0cc
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7efcc828
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721f9c14
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@148ee88e
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573e37a7
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@668ba5dd
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ba504e
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2f2cff
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45a567c8
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9c7005b
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dadf79d
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcf3248
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cad17fe
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8a8761
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6719a67f
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584f1126
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1156ec
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@357e18c
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aae4c7c
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dc44f17
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5023441f
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5297e396
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2177b735
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2443e90b
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@231b37bc
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78290b14
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c72f1f
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5f6267
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55199769
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b4fdbd5
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bbaac
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf2761d
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e7c5702
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ca60b8b
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ab08e0
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5380f57f
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b946128
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42eaa90c
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fd7ff2f
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42209663
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e7d2ed
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2be5aa99
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eb4363a
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@600d34b8
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7460f10
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f306839
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d493fb
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44a25b38
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eada217
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c46e575
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f951079
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763e19d3
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5052ff56
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2285a2
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5378d341
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660d36d5
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef65dd2
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cec63d6
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b07bd9
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef3abe7
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@345922a8
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42aba924
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f277144
4.70/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65289fd9
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1199a234
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b7be24
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ee0d651
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734258c9
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8d712b
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25534dc8
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd2a765
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50985a97
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1128309b
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fed4123
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ca1f97b
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b465c41
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69c7f68b
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cba88b
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48eb6c6a
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78a7e2
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d246c6
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419f5845
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f4d0120
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a51ecf
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437b776e
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49266625
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f5c5af
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ec8290e
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d94c4a
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702b0afd
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79b26c3f
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7809f31f
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd6bf2c
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532ee867
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@733f21ca
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ae098a
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3530d8a1
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c294a5a
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf8d065
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d502c
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bdd8934
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@624864d5
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24f297c7
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e76626a
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c4ee93
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c8f580
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c6578
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@101415a5
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6da1f45f
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5d9529
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af58142
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@667af2c0
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf30291
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f1d52af
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42658353
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1e6f72
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dc112e
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c635f36
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@494f77f5
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd67e21
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30956a10
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65394c02
4.70/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a3cdd5
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725f0c05
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18496a8c
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7573f14
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72324382
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f153e7
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7301c372
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@444d308f
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ed31d0
4.70/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d11336e
5.08/2.67
5.08/2.67
5.08/2.67 Domains
5.08/2.67 nTypes=11, nValues=645656, sizes=[2#638,22#638,41#638,43#638...137#638,155#638,178#638,212#638]
5.08/2.67 Variables
5.08/2.67 count=7018, degrees=[3#658,4#6360]
5.08/2.67 Objectives
5.08/2.67 way=min, type=SumSimpleLE
5.08/2.67 Constraints
5.08/2.67 count=1287, nSpecific=1287, arities=[11#638,20#637,638#12]
5.08/2.67 distribution=[LexicographicLe#637,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#638]
5.08/2.67 wck=0.83, cpu=2.626, mem=124M294
5.43/2.72 Solver SolverBacktrack being built...
5.43/2.72
5.68/2.80
5.68/2.80 Solver
5.68/2.80 guaranteedGAC=false
5.68/2.80 wck=0.962, cpu=2.729, mem=94M486
6.15/3.04
6.15/3.04 Preprocessing
6.15/3.04 filters=695, nACremovedValues=618860, nTotalRemovedValues=618860, inconcistency=false
6.15/3.04 wck=0.23, cpu=2.965, mem=94M486
6.15/3.04
6.88/3.32 num=0, depth=0..597, filters=6115, wck=0.52, mem=94M486
6.88/3.32 decisions=608, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
6.88/3.32
7.19/3.41 num=1, depth=0..21, filters=11458, wck=0.602, mem=94M486
7.19/3.41 decisions=641, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
7.19/3.41
7.19/3.48 num=2, depth=0..15, filters=17093, wck=0.673, mem=94M486
7.19/3.48 decisions=669, wrong=33, backtracks=0, failedAssignments=33, nogoods=30
7.19/3.48
7.46/3.55 num=3, depth=0..16, filters=23162, wck=0.746, mem=94M486
7.46/3.55 decisions=699, wrong=46, backtracks=0, failedAssignments=46, nogoods=42
7.46/3.55
8.69/4.63 num=4, depth=0..568, filters=127853, wck=1.824, mem=94M486
8.69/4.63 decisions=1674, wrong=256, backtracks=196, failedAssignments=60, nogoods=55
8.69/4.63
9.33/5.28 num=5, depth=0..93, filters=152974, wck=2.478, mem=94M486
9.33/5.28 decisions=1923, wrong=365, backtracks=289, failedAssignments=76, nogoods=66
9.33/5.28
9.43/5.36 num=6, depth=11..28, filters=159095, wck=2.56, mem=94M486
9.43/5.36 decisions=2032, wrong=414, backtracks=327, failedAssignments=93, nogoods=67
9.43/5.36
9.54/5.44 num=7, depth=0..33, filters=164447, wck=2.638, mem=94M486
9.54/5.44 decisions=2129, wrong=453, backtracks=356, failedAssignments=112, nogoods=74
9.54/5.44
9.69/5.52 num=8, depth=8..24, filters=169445, wck=2.721, mem=94M486
9.69/5.52 decisions=2219, wrong=490, backtracks=378, failedAssignments=133, nogoods=79
9.69/5.52
9.81/5.66 num=9, depth=0..37, filters=177872, wck=2.859, mem=94M486
9.81/5.66 decisions=2329, wrong=532, backtracks=405, failedAssignments=156, nogoods=90
9.81/5.66
9.91/5.72 num=10, depth=0..50, filters=181365, wck=2.916, mem=94M486
9.91/5.72 decisions=2431, wrong=567, backtracks=417, failedAssignments=181, nogoods=110
9.91/5.72
9.91/5.77 num=11, depth=1..80, filters=184235, wck=2.965, mem=94M486
9.91/5.77 decisions=2553, wrong=600, backtracks=422, failedAssignments=209, nogoods=136
9.91/5.77
10.01/5.83 num=12, depth=1..59, filters=188021, wck=3.024, mem=94M486
10.01/5.83 decisions=2678, wrong=645, backtracks=437, failedAssignments=240, nogoods=160
10.01/5.83
10.12/5.90 num=13, depth=0..82, filters=192980, wck=3.1, mem=97M102
10.12/5.90 decisions=2837, wrong=698, backtracks=463, failedAssignments=274, nogoods=186
10.12/5.90
10.12/5.98 num=14, depth=0..62, filters=197900, wck=3.174, mem=97M102
10.12/5.98 decisions=2984, wrong=747, backtracks=499, failedAssignments=311, nogoods=195
10.12/5.98
10.23/6.06 num=15, depth=0..111, filters=203097, wck=3.251, mem=97M102
10.23/6.06 decisions=3171, wrong=801, backtracks=517, failedAssignments=352, nogoods=229
10.23/6.06
10.52/6.23 o 638
10.52/6.25 num=16, depth=1..7017, filters=207161, ccks=1287, wck=3.444, mem=99M717
10.52/6.25 decisions=3348, wrong=829, backtracks=517, failedAssignments=380, nogoods=257, foundSolutions=1, bestBound=638
10.52/6.25
11.06/6.60 o 626
11.21/6.60 num=17, depth=2..7017, filters=212309, ccks=2574, wck=3.799, mem=102M332
11.21/6.60 decisions=3568, wrong=865, backtracks=521, failedAssignments=414, nogoods=289, foundSolutions=2, bestBound=626
11.21/6.60
11.47/6.82 num=18, depth=3..100, filters=215578, ccks=2574, wck=4.016, mem=102M332
11.47/6.82 decisions=3684, wrong=876, backtracks=521, failedAssignments=425, nogoods=300, foundSolutions=2, bestBound=626
11.47/6.82
11.47/6.87 num=19, depth=3..96, filters=218697, ccks=2574, wck=4.066, mem=102M332
11.47/6.87 decisions=3794, wrong=887, backtracks=521, failedAssignments=436, nogoods=311, foundSolutions=2, bestBound=626
11.47/6.87
11.58/6.93 num=20, depth=3..155, filters=222683, ccks=2574, wck=4.129, mem=102M332
11.58/6.93 decisions=3968, wrong=899, backtracks=521, failedAssignments=448, nogoods=323, foundSolutions=2, bestBound=626
11.58/6.93
11.58/6.98 num=21, depth=3..67, filters=225415, ccks=2574, wck=4.172, mem=102M332
11.58/6.98 decisions=4050, wrong=912, backtracks=521, failedAssignments=461, nogoods=336, foundSolutions=2, bestBound=626
11.58/6.98
11.69/7.03 num=22, depth=3..90, filters=228802, ccks=2574, wck=4.226, mem=102M332
11.69/7.03 decisions=4157, wrong=926, backtracks=521, failedAssignments=475, nogoods=350, foundSolutions=2, bestBound=626
11.69/7.03
11.69/7.08 num=23, depth=3..77, filters=231993, ccks=2574, wck=4.276, mem=102M332
11.69/7.08 decisions=4252, wrong=942, backtracks=521, failedAssignments=491, nogoods=366, foundSolutions=2, bestBound=626
11.69/7.08
11.79/7.12 num=24, depth=3..55, filters=234628, ccks=2574, wck=4.318, mem=102M332
11.79/7.12 decisions=4326, wrong=959, backtracks=521, failedAssignments=508, nogoods=383, foundSolutions=2, bestBound=626
11.79/7.12
11.79/7.17 num=25, depth=3..64, filters=237431, ccks=2574, wck=4.363, mem=102M332
11.79/7.17 decisions=4411, wrong=978, backtracks=521, failedAssignments=527, nogoods=402, foundSolutions=2, bestBound=626
11.79/7.17
11.88/7.24 num=26, depth=4..168, filters=241976, ccks=2574, wck=4.431, mem=102M332
11.88/7.24 decisions=4613, wrong=1003, backtracks=526, failedAssignments=548, nogoods=421, foundSolutions=2, bestBound=626
11.88/7.24
11.98/7.30 num=27, depth=5..158, filters=246010, ccks=2574, wck=4.495, mem=102M332
11.98/7.30 decisions=4811, wrong=1030, backtracks=534, failedAssignments=571, nogoods=438, foundSolutions=2, bestBound=626
11.98/7.30
12.08/7.46 o 622
12.08/7.46 num=28, depth=5..7017, filters=249677, ccks=3861, wck=4.659, mem=104M947
12.08/7.46 decisions=4978, wrong=1040, backtracks=534, failedAssignments=581, nogoods=448, foundSolutions=3, bestBound=622
12.08/7.46
12.40/7.78 o 618
12.40/7.79 num=29, depth=89..7017, filters=253127, ccks=5148, wck=4.985, mem=107M562
12.40/7.79 decisions=5143, wrong=1045, backtracks=534, failedAssignments=586, nogoods=453, foundSolutions=4, bestBound=618
12.40/7.79
12.82/8.11 o 616
12.82/8.12 num=30, depth=165..7017, filters=256572, ccks=6435, wck=5.312, mem=110M177
12.82/8.12 decisions=5327, wrong=1052, backtracks=535, failedAssignments=592, nogoods=459, foundSolutions=5, bestBound=616
12.82/8.12
13.04/8.34 num=31, depth=171..175, filters=260038, ccks=6435, wck=5.535, mem=110M177
13.04/8.34 decisions=5522, wrong=1063, backtracks=535, failedAssignments=603, nogoods=470, foundSolutions=5, bestBound=616
13.04/8.34
13.17/8.40 num=32, depth=170..180, filters=263697, ccks=6435, wck=5.596, mem=110M177
13.17/8.40 decisions=5714, wrong=1074, backtracks=535, failedAssignments=614, nogoods=481, foundSolutions=5, bestBound=616
13.17/8.40
13.27/8.56 o 611
13.27/8.56 num=33, depth=171..7017, filters=267055, ccks=7722, wck=5.758, mem=112M797
13.27/8.56 decisions=5893, wrong=1077, backtracks=535, failedAssignments=617, nogoods=484, foundSolutions=6, bestBound=611
13.27/8.56
13.47/8.78 num=34, depth=181..184, filters=270520, ccks=7722, wck=5.98, mem=112M797
13.47/8.78 decisions=6102, wrong=1091, backtracks=538, failedAssignments=630, nogoods=493, foundSolutions=6, bestBound=611
13.47/8.78
13.67/8.94 o 609
13.67/8.95 num=35, depth=7019..7017, filters=273902, ccks=9009, wck=6.142, mem=118M27
13.67/8.95 decisions=6287, wrong=1091, backtracks=538, failedAssignments=630, nogoods=493, foundSolutions=7, bestBound=609
13.67/8.95
13.88/9.17 num=36, depth=182..189, filters=277401, ccks=9009, wck=6.365, mem=118M27
13.88/9.17 decisions=6501, wrong=1106, backtracks=545, failedAssignments=642, nogoods=498, foundSolutions=7, bestBound=609
13.88/9.17
13.97/9.23 num=37, depth=111..183, filters=280897, ccks=9009, wck=6.425, mem=118M27
13.97/9.23 decisions=6704, wrong=1119, backtracks=547, failedAssignments=653, nogoods=507, foundSolutions=7, bestBound=609
13.97/9.23
13.97/9.29 num=38, depth=56..177, filters=284237, ccks=9009, wck=6.483, mem=118M27
13.97/9.29 decisions=6905, wrong=1134, backtracks=552, failedAssignments=665, nogoods=513, foundSolutions=7, bestBound=609
13.97/9.29
14.07/9.35 num=39, depth=34..183, filters=288313, ccks=9009, wck=6.548, mem=118M27
14.07/9.35 decisions=7108, wrong=1148, backtracks=553, failedAssignments=678, nogoods=526, foundSolutions=7, bestBound=609
14.07/9.35
14.17/9.41 num=40, depth=125..172, filters=291577, ccks=9009, wck=6.605, mem=118M27
14.17/9.41 decisions=7302, wrong=1162, backtracks=553, failedAssignments=692, nogoods=540, foundSolutions=7, bestBound=609
14.17/9.41
14.27/9.56 o 578
14.27/9.57 num=41, depth=145..7017, filters=294811, ccks=10296, wck=6.765, mem=120M642
14.27/9.57 decisions=7500, wrong=1177, backtracks=553, failedAssignments=707, nogoods=555, foundSolutions=8, bestBound=578
14.27/9.57
14.51/9.79 num=42, depth=33..192, filters=298334, ccks=10296, wck=6.99, mem=120M642
14.51/9.79 decisions=7714, wrong=1194, backtracks=553, failedAssignments=724, nogoods=572, foundSolutions=8, bestBound=578
14.51/9.79
14.76/9.95 o 577
14.76/9.96 num=43, depth=19..7017, filters=301491, ccks=11583, wck=7.151, mem=123M257
14.76/9.96 decisions=7895, wrong=1197, backtracks=553, failedAssignments=727, nogoods=575, foundSolutions=9, bestBound=577
14.76/9.96
15.01/10.18 num=44, depth=19..287, filters=304965, ccks=11583, wck=7.38, mem=123M257
15.01/10.18 decisions=8198, wrong=1210, backtracks=554, failedAssignments=739, nogoods=587, foundSolutions=9, bestBound=577
15.01/10.18
15.10/10.25 num=45, depth=20..266, filters=308198, ccks=11583, wck=7.444, mem=123M257
15.10/10.25 decisions=8482, wrong=1224, backtracks=557, failedAssignments=750, nogoods=596, foundSolutions=9, bestBound=577
15.10/10.25
15.10/10.29 num=46, depth=20..53, filters=310564, ccks=11583, wck=7.484, mem=123M257
15.10/10.29 decisions=8549, wrong=1236, backtracks=557, failedAssignments=762, nogoods=608, foundSolutions=9, bestBound=577
15.10/10.29
15.20/10.34 num=47, depth=20..139, filters=313674, ccks=11583, wck=7.538, mem=123M257
15.20/10.34 decisions=8704, wrong=1249, backtracks=557, failedAssignments=775, nogoods=621, foundSolutions=9, bestBound=577
15.20/10.34
15.30/10.40 num=48, depth=20..134, filters=316991, ccks=11583, wck=7.595, mem=123M257
15.30/10.40 decisions=8879, wrong=1275, backtracks=570, failedAssignments=789, nogoods=626, foundSolutions=9, bestBound=577
15.30/10.40
15.40/10.55 o 576
15.40/10.56 num=49, depth=22..7017, filters=320255, ccks=12870, wck=7.754, mem=125M872
15.40/10.56 decisions=9070, wrong=1282, backtracks=570, failedAssignments=796, nogoods=633, foundSolutions=10, bestBound=576
15.40/10.56
15.60/10.77 num=50, depth=43..52, filters=323348, ccks=12870, wck=7.97, mem=125M872
15.60/10.77 decisions=9177, wrong=1313, backtracks=590, failedAssignments=813, nogoods=635, foundSolutions=10, bestBound=576
15.60/10.77
15.70/10.80 num=51, depth=21..38, filters=324959, ccks=12870, wck=8.0, mem=125M872
15.70/10.80 decisions=9227, wrong=1324, backtracks=590, failedAssignments=824, nogoods=646, foundSolutions=10, bestBound=576
15.70/10.80
15.70/10.84 num=52, depth=9..40, filters=326940, ccks=12870, wck=8.034, mem=125M872
15.70/10.84 decisions=9281, wrong=1337, backtracks=599, failedAssignments=836, nogoods=650, foundSolutions=10, bestBound=576
15.70/10.84
15.70/10.89 num=53, depth=29..89, filters=329595, ccks=12870, wck=8.09, mem=125M872
15.70/10.89 decisions=9387, wrong=1350, backtracks=599, failedAssignments=849, nogoods=663, foundSolutions=10, bestBound=576
15.70/10.89
15.81/10.95 num=54, depth=9..97, filters=332544, ccks=12870, wck=8.142, mem=125M872
15.81/10.95 decisions=9521, wrong=1372, backtracks=607, failedAssignments=863, nogoods=672, foundSolutions=10, bestBound=576
15.81/10.95
15.94/11.02 num=55, depth=7..102, filters=335982, ccks=12870, wck=8.215, mem=125M872
15.94/11.02 decisions=9660, wrong=1396, backtracks=615, failedAssignments=879, nogoods=684, foundSolutions=10, bestBound=576
15.94/11.02
16.04/11.13 num=56, depth=1..72, filters=341894, ccks=12870, wck=8.322, mem=125M872
16.04/11.13 decisions=9786, wrong=1425, backtracks=632, failedAssignments=896, nogoods=692, foundSolutions=10, bestBound=576
16.04/11.13
16.19/11.25 num=57, depth=1..42, filters=349939, ccks=12870, wck=8.444, mem=125M872
16.19/11.25 decisions=9894, wrong=1461, backtracks=659, failedAssignments=915, nogoods=699, foundSolutions=10, bestBound=576
16.19/11.25
16.29/11.37 num=58, depth=1..93, filters=358538, ccks=12870, wck=8.562, mem=125M872
16.29/11.37 decisions=10041, wrong=1493, backtracks=676, failedAssignments=936, nogoods=714, foundSolutions=10, bestBound=576
16.29/11.37
16.39/11.47 num=59, depth=1..80, filters=364876, ccks=12870, wck=8.669, mem=125M872
16.39/11.47 decisions=10193, wrong=1534, backtracks=701, failedAssignments=959, nogoods=729, foundSolutions=10, bestBound=576
16.39/11.47
16.51/11.57 num=60, depth=1..134, filters=371098, ccks=12870, wck=8.764, mem=125M872
16.51/11.57 decisions=10387, wrong=1572, backtracks=719, failedAssignments=984, nogoods=748, foundSolutions=10, bestBound=576
16.51/11.57
16.61/11.68 num=61, depth=2..161, filters=377924, ccks=12870, wck=8.878, mem=125M872
16.61/11.68 decisions=10632, wrong=1620, backtracks=747, failedAssignments=1012, nogoods=765, foundSolutions=10, bestBound=576
16.61/11.68
16.91/11.92 o 575
16.91/11.92 num=62, depth=2..7017, filters=386699, ccks=14157, wck=9.12, mem=128M487
16.91/11.92 decisions=10872, wrong=1669, backtracks=776, failedAssignments=1041, nogoods=784, foundSolutions=11, bestBound=575
16.91/11.92
17.26/12.28 num=63, depth=4..112, filters=400304, ccks=14157, wck=9.472, mem=128M487
17.26/12.28 decisions=11091, wrong=1729, backtracks=814, failedAssignments=1075, nogoods=800, foundSolutions=11, bestBound=575
17.26/12.28
17.36/12.34 num=64, depth=1..70, filters=403813, ccks=14157, wck=9.539, mem=128M487
17.36/12.34 decisions=11194, wrong=1748, backtracks=823, failedAssignments=1086, nogoods=806, foundSolutions=11, bestBound=575
17.36/12.34
17.46/12.43 num=65, depth=1..94, filters=408827, ccks=14157, wck=9.623, mem=128M487
17.46/12.43 decisions=11323, wrong=1768, backtracks=833, failedAssignments=1098, nogoods=814, foundSolutions=11, bestBound=575
17.46/12.43
17.56/12.52 num=66, depth=1..112, filters=414605, ccks=14157, wck=9.719, mem=128M487
17.56/12.52 decisions=11467, wrong=1788, backtracks=843, failedAssignments=1111, nogoods=823, foundSolutions=11, bestBound=575
17.56/12.52
17.66/12.60 num=67, depth=1..89, filters=419264, ccks=14157, wck=9.799, mem=128M487
17.66/12.60 decisions=11588, wrong=1807, backtracks=852, failedAssignments=1125, nogoods=832, foundSolutions=11, bestBound=575
17.66/12.60
17.76/12.77 o 574
17.76/12.78 num=68, depth=2..7017, filters=423348, ccks=15444, wck=9.974, mem=131M130
17.76/12.78 decisions=11755, wrong=1822, backtracks=857, failedAssignments=1136, nogoods=842, foundSolutions=12, bestBound=574
17.76/12.78
18.01/12.98 num=69, depth=3..67, filters=425619, ccks=15444, wck=10.181, mem=131M130
18.01/12.98 decisions=11869, wrong=1854, backtracks=872, failedAssignments=1153, nogoods=848, foundSolutions=12, bestBound=574
18.01/12.98
18.12/13.02 num=70, depth=4..54, filters=427567, ccks=15444, wck=10.217, mem=131M130
18.12/13.02 decisions=11935, wrong=1865, backtracks=872, failedAssignments=1164, nogoods=859, foundSolutions=12, bestBound=574
18.12/13.02
18.12/13.06 num=71, depth=4..60, filters=429822, ccks=15444, wck=10.26, mem=131M130
18.12/13.06 decisions=12008, wrong=1877, backtracks=872, failedAssignments=1176, nogoods=871, foundSolutions=12, bestBound=574
18.12/13.06
18.22/13.11 num=72, depth=4..61, filters=432263, ccks=15444, wck=10.304, mem=131M130
18.22/13.11 decisions=12090, wrong=1894, backtracks=876, failedAssignments=1189, nogoods=882, foundSolutions=12, bestBound=574
18.22/13.11
18.22/13.15 num=73, depth=3..40, filters=435026, ccks=15444, wck=10.347, mem=131M130
18.22/13.15 decisions=12174, wrong=1926, backtracks=894, failedAssignments=1203, nogoods=887, foundSolutions=12, bestBound=574
18.22/13.15
18.41/13.33 o 572
18.41/13.33 num=74, depth=1..7017, filters=439597, ccks=16731, wck=10.528, mem=133M773
18.41/13.33 decisions=12335, wrong=1949, backtracks=904, failedAssignments=1218, nogoods=898, foundSolutions=13, bestBound=572
18.41/13.33
18.61/13.55 num=75, depth=5..130, filters=442783, ccks=16731, wck=10.748, mem=133M773
18.61/13.55 decisions=12486, wrong=1966, backtracks=904, failedAssignments=1235, nogoods=915, foundSolutions=13, bestBound=572
18.61/13.55
18.83/13.71 o 571
18.83/13.71 num=76, depth=3..7017, filters=445863, ccks=18018, wck=10.91, mem=136M388
18.83/13.71 decisions=12606, wrong=1973, backtracks=904, failedAssignments=1242, nogoods=922, foundSolutions=14, bestBound=571
18.83/13.71
19.04/13.93 num=77, depth=46..59, filters=448688, ccks=18018, wck=11.122, mem=136M388
19.04/13.93 decisions=12702, wrong=1995, backtracks=915, failedAssignments=1254, nogoods=927, foundSolutions=14, bestBound=571
19.04/13.93
19.04/13.97 num=78, depth=2..42, filters=451078, ccks=18018, wck=11.161, mem=136M388
19.04/13.97 decisions=12776, wrong=2017, backtracks=927, failedAssignments=1265, nogoods=931, foundSolutions=14, bestBound=571
19.04/13.97
19.15/14.01 num=79, depth=2..60, filters=453779, ccks=18018, wck=11.208, mem=136M388
19.15/14.01 decisions=12859, wrong=2036, backtracks=935, failedAssignments=1277, nogoods=940, foundSolutions=14, bestBound=571
19.15/14.01
19.15/14.06 num=80, depth=2..64, filters=456640, ccks=18018, wck=11.256, mem=136M388
19.15/14.06 decisions=12949, wrong=2055, backtracks=943, failedAssignments=1290, nogoods=949, foundSolutions=14, bestBound=571
19.15/14.06
19.25/14.14 num=81, depth=2..62, filters=460962, ccks=18018, wck=11.333, mem=136M388
19.25/14.14 decisions=13042, wrong=2075, backtracks=951, failedAssignments=1304, nogoods=959, foundSolutions=14, bestBound=571
19.25/14.14
19.34/14.22 num=82, depth=2..61, filters=465936, ccks=18018, wck=11.418, mem=136M388
19.34/14.22 decisions=13143, wrong=2101, backtracks=964, failedAssignments=1320, nogoods=969, foundSolutions=14, bestBound=571
19.34/14.22
19.44/14.31 num=83, depth=2..64, filters=471164, ccks=18018, wck=11.507, mem=136M388
19.44/14.31 decisions=13242, wrong=2124, backtracks=972, failedAssignments=1337, nogoods=981, foundSolutions=14, bestBound=571
19.44/14.31
19.44/14.36 num=84, depth=2..70, filters=474141, ccks=18018, wck=11.56, mem=136M388
19.44/14.36 decisions=13360, wrong=2154, backtracks=986, failedAssignments=1356, nogoods=992, foundSolutions=14, bestBound=571
19.44/14.36
19.54/14.42 num=85, depth=2..64, filters=477423, ccks=18018, wck=11.612, mem=136M388
19.54/14.42 decisions=13472, wrong=2186, backtracks=997, failedAssignments=1377, nogoods=1009, foundSolutions=14, bestBound=571
19.54/14.42
19.54/14.48 num=86, depth=2..79, filters=480528, ccks=18018, wck=11.674, mem=136M388
19.54/14.48 decisions=13608, wrong=2223, backtracks=1015, failedAssignments=1400, nogoods=1021, foundSolutions=14, bestBound=571
19.54/14.48
19.64/14.53 num=87, depth=2..71, filters=482800, ccks=18018, wck=11.722, mem=136M388
19.64/14.53 decisions=13705, wrong=2248, backtracks=1015, failedAssignments=1425, nogoods=1046, foundSolutions=14, bestBound=571
19.64/14.53
19.64/14.59 num=88, depth=26..62, filters=485061, ccks=18018, wck=11.79, mem=136M388
19.64/14.59 decisions=13796, wrong=2276, backtracks=1015, failedAssignments=1453, nogoods=1074, foundSolutions=14, bestBound=571
19.64/14.59
19.74/14.66 num=89, depth=8..68, filters=488384, ccks=18018, wck=11.856, mem=136M388
19.74/14.66 decisions=13929, wrong=2324, backtracks=1032, failedAssignments=1484, nogoods=1090, foundSolutions=14, bestBound=571
19.74/14.66
19.84/14.71 num=90, depth=3..85, filters=490817, ccks=18018, wck=11.907, mem=136M388
19.84/14.71 decisions=14049, wrong=2358, backtracks=1032, failedAssignments=1518, nogoods=1124, foundSolutions=14, bestBound=571
19.84/14.71
19.84/14.78 num=91, depth=8..121, filters=493747, ccks=18018, wck=11.975, mem=136M388
19.84/14.78 decisions=14210, wrong=2395, backtracks=1032, failedAssignments=1555, nogoods=1161, foundSolutions=14, bestBound=571
19.84/14.78
19.94/14.88 num=92, depth=35..64, filters=498106, ccks=18018, wck=12.079, mem=136M388
19.94/14.88 decisions=14418, wrong=2472, backtracks=1099, failedAssignments=1596, nogoods=1166, foundSolutions=14, bestBound=571
19.94/14.88
20.19/15.07 o 567
20.30/15.14 num=93, depth=19..7017, filters=503072, ccks=19305, wck=12.269, mem=139M3
20.30/15.14 decisions=14591, wrong=2521, backtracks=1118, failedAssignments=1628, nogoods=1184, foundSolutions=15, bestBound=567
20.30/15.14
20.49/15.39 o 566
20.49/15.39 num=94, depth=2..7017, filters=506516, ccks=20592, wck=12.59, mem=141M621
20.49/15.39 decisions=14754, wrong=2557, backtracks=1118, failedAssignments=1664, nogoods=1220, foundSolutions=16, bestBound=566
20.49/15.39
20.79/15.60 num=95, depth=3..62, filters=508917, ccks=20592, wck=12.794, mem=141M621
20.79/15.60 decisions=14835, wrong=2572, backtracks=1127, failedAssignments=1675, nogoods=1225, foundSolutions=16, bestBound=566
20.79/15.60
20.89/15.76 o 563
20.89/15.76 num=96, depth=24..7017, filters=511612, ccks=21879, wck=12.957, mem=144M236
20.89/15.76 decisions=14919, wrong=2581, backtracks=1127, failedAssignments=1684, nogoods=1234, foundSolutions=17, bestBound=563
20.89/15.76
21.10/15.97 num=97, depth=26..69, filters=514879, ccks=21879, wck=13.17, mem=146M851
21.10/15.97 decisions=15014, wrong=2598, backtracks=1132, failedAssignments=1696, nogoods=1246, foundSolutions=17, bestBound=563
21.10/15.97
21.21/16.05 num=98, depth=2..59, filters=520131, ccks=21879, wck=13.248, mem=146M851
21.21/16.05 decisions=15110, wrong=2620, backtracks=1144, failedAssignments=1707, nogoods=1254, foundSolutions=17, bestBound=563
21.21/16.05
21.40/16.23 o 562
21.40/16.23 num=99, depth=2..7017, filters=525147, ccks=23166, wck=13.428, mem=149M466
21.40/16.23 decisions=15216, wrong=2636, backtracks=1154, failedAssignments=1715, nogoods=1261, foundSolutions=18, bestBound=562
21.40/16.23
21.60/16.45 num=100, depth=5..80, filters=528659, ccks=23166, wck=13.646, mem=149M466
21.60/16.45 decisions=15323, wrong=2654, backtracks=1160, failedAssignments=1728, nogoods=1273, foundSolutions=18, bestBound=562
21.60/16.45
21.70/16.52 num=101, depth=2..94, filters=532530, ccks=23166, wck=13.712, mem=149M466
21.70/16.52 decisions=15431, wrong=2666, backtracks=1161, failedAssignments=1739, nogoods=1284, foundSolutions=18, bestBound=562
21.70/16.52
21.80/16.68 o 561
21.80/16.68 num=102, depth=2..7017, filters=535881, ccks=24453, wck=13.877, mem=152M98
21.80/16.68 decisions=15538, wrong=2678, backtracks=1162, failedAssignments=1750, nogoods=1295, foundSolutions=19, bestBound=561
21.80/16.68
22.10/16.90 num=103, depth=20..47, filters=538804, ccks=24453, wck=14.101, mem=152M98
22.10/16.90 decisions=15628, wrong=2705, backtracks=1180, failedAssignments=1763, nogoods=1300, foundSolutions=19, bestBound=561
22.10/16.90
22.10/16.96 num=104, depth=2..46, filters=541537, ccks=24453, wck=14.154, mem=152M98
22.10/16.96 decisions=15707, wrong=2727, backtracks=1192, failedAssignments=1774, nogoods=1308, foundSolutions=19, bestBound=561
22.10/16.96
22.10/17.00 num=105, depth=2..38, filters=544259, ccks=24453, wck=14.201, mem=152M98
22.10/17.00 decisions=15774, wrong=2746, backtracks=1199, failedAssignments=1786, nogoods=1315, foundSolutions=19, bestBound=561
22.10/17.00
22.21/17.06 num=106, depth=11..53, filters=546828, ccks=24453, wck=14.258, mem=152M98
22.21/17.06 decisions=15843, wrong=2759, backtracks=1199, failedAssignments=1799, nogoods=1328, foundSolutions=19, bestBound=561
22.21/17.06
22.31/17.13 num=107, depth=2..66, filters=550953, ccks=24453, wck=14.329, mem=152M98
22.31/17.13 decisions=15946, wrong=2783, backtracks=1210, failedAssignments=1813, nogoods=1341, foundSolutions=19, bestBound=561
22.31/17.13
22.31/17.18 num=108, depth=2..67, filters=553562, ccks=24453, wck=14.38, mem=152M98
22.31/17.18 decisions=16032, wrong=2799, backtracks=1210, failedAssignments=1829, nogoods=1357, foundSolutions=19, bestBound=561
22.31/17.18
22.40/17.24 num=109, depth=2..106, filters=556697, ccks=24453, wck=14.438, mem=152M98
22.40/17.24 decisions=16158, wrong=2816, backtracks=1210, failedAssignments=1846, nogoods=1374, foundSolutions=19, bestBound=561
22.40/17.24
22.50/17.30 num=110, depth=2..117, filters=560247, ccks=24453, wck=14.5, mem=152M98
22.50/17.30 decisions=16296, wrong=2835, backtracks=1210, failedAssignments=1865, nogoods=1393, foundSolutions=19, bestBound=561
22.50/17.30
22.50/17.36 num=111, depth=2..65, filters=562977, ccks=24453, wck=14.552, mem=152M98
22.50/17.36 decisions=16383, wrong=2856, backtracks=1210, failedAssignments=1886, nogoods=1414, foundSolutions=19, bestBound=561
22.50/17.36
22.70/17.50 o 545
22.70/17.51 num=112, depth=2..7017, filters=565915, ccks=25740, wck=14.705, mem=154M713
22.70/17.51 decisions=16527, wrong=2871, backtracks=1210, failedAssignments=1901, nogoods=1429, foundSolutions=20, bestBound=545
22.70/17.51
22.90/17.73 num=113, depth=22..68, filters=568472, ccks=25740, wck=14.924, mem=154M713
22.90/17.73 decisions=16623, wrong=2897, backtracks=1211, failedAssignments=1926, nogoods=1454, foundSolutions=20, bestBound=545
22.90/17.73
22.90/17.78 num=114, depth=13..38, filters=569980, ccks=25740, wck=14.974, mem=154M713
22.90/17.78 decisions=16673, wrong=2908, backtracks=1211, failedAssignments=1937, nogoods=1465, foundSolutions=20, bestBound=545
22.90/17.78
23.00/17.81 num=115, depth=2..55, filters=571604, ccks=25740, wck=15.01, mem=154M713
23.00/17.81 decisions=16741, wrong=2920, backtracks=1211, failedAssignments=1949, nogoods=1477, foundSolutions=20, bestBound=545
23.00/17.81
23.00/17.86 num=116, depth=13..54, filters=573285, ccks=25740, wck=15.061, mem=154M713
23.00/17.86 decisions=16809, wrong=2933, backtracks=1211, failedAssignments=1962, nogoods=1490, foundSolutions=20, bestBound=545
23.00/17.86
23.10/17.92 num=117, depth=2..39, filters=576515, ccks=25740, wck=15.119, mem=154M713
23.10/17.92 decisions=16877, wrong=2955, backtracks=1222, failedAssignments=1976, nogoods=1495, foundSolutions=20, bestBound=545
23.10/17.92
23.10/17.97 num=118, depth=2..59, filters=579049, ccks=25740, wck=15.167, mem=154M713
23.10/17.97 decisions=16958, wrong=2973, backtracks=1224, failedAssignments=1992, nogoods=1510, foundSolutions=20, bestBound=545
23.10/17.97
23.21/18.03 num=119, depth=12..44, filters=581403, ccks=25740, wck=15.223, mem=154M713
23.21/18.03 decisions=17028, wrong=2994, backtracks=1232, failedAssignments=2009, nogoods=1520, foundSolutions=20, bestBound=545
23.21/18.03
23.31/18.11 num=120, depth=2..61, filters=585215, ccks=25740, wck=15.305, mem=154M713
23.31/18.11 decisions=17144, wrong=3025, backtracks=1246, failedAssignments=2028, nogoods=1528, foundSolutions=20, bestBound=545
23.31/18.11
23.31/18.16 num=121, depth=2..69, filters=587316, ccks=25740, wck=15.351, mem=154M713
23.31/18.16 decisions=17238, wrong=3047, backtracks=1248, failedAssignments=2049, nogoods=1548, foundSolutions=20, bestBound=545
23.31/18.16
23.41/18.22 num=122, depth=9..116, filters=590395, ccks=25740, wck=15.417, mem=154M713
23.41/18.22 decisions=17383, wrong=3070, backtracks=1248, failedAssignments=2072, nogoods=1571, foundSolutions=20, bestBound=545
23.41/18.22
23.41/18.30 num=123, depth=2..66, filters=593384, ccks=25740, wck=15.491, mem=154M713
23.41/18.30 decisions=17500, wrong=3104, backtracks=1257, failedAssignments=2097, nogoods=1589, foundSolutions=20, bestBound=545
23.41/18.30
23.51/18.36 num=124, depth=6..124, filters=596578, ccks=25740, wck=15.558, mem=154M713
23.51/18.36 decisions=17656, wrong=3132, backtracks=1257, failedAssignments=2125, nogoods=1617, foundSolutions=20, bestBound=545
23.51/18.36
23.61/18.46 num=125, depth=2..57, filters=600472, ccks=25740, wck=15.653, mem=154M713
23.61/18.46 decisions=17802, wrong=3184, backtracks=1280, failedAssignments=2156, nogoods=1633, foundSolutions=20, bestBound=545
23.61/18.46
23.81/18.61 num=126, depth=2..49, filters=608475, ccks=25740, wck=15.804, mem=154M713
23.81/18.61 decisions=17976, wrong=3252, backtracks=1321, failedAssignments=2190, nogoods=1645, foundSolutions=20, bestBound=545
23.81/18.61
23.91/18.75 num=127, depth=2..50, filters=615340, ccks=25740, wck=15.941, mem=154M713
23.91/18.75 decisions=18147, wrong=3324, backtracks=1359, failedAssignments=2227, nogoods=1655, foundSolutions=20, bestBound=545
23.91/18.75
24.01/18.84 num=128, depth=9..68, filters=620244, ccks=25740, wck=16.038, mem=154M713
24.01/18.84 decisions=18295, wrong=3381, backtracks=1376, failedAssignments=2268, nogoods=1689, foundSolutions=20, bestBound=545
24.01/18.84
24.22/19.01 o 539
24.22/19.01 num=129, depth=4..7017, filters=623596, ccks=27027, wck=16.21, mem=157M328
24.22/19.01 decisions=18461, wrong=3411, backtracks=1376, failedAssignments=2298, nogoods=1719, foundSolutions=21, bestBound=539
24.22/19.01
24.42/19.25 num=130, depth=7..126, filters=627519, ccks=27027, wck=16.443, mem=157M328
24.42/19.25 decisions=18673, wrong=3470, backtracks=1390, failedAssignments=2348, nogoods=1759, foundSolutions=21, bestBound=539
24.42/19.25
24.42/19.29 num=131, depth=2..52, filters=629374, ccks=27027, wck=16.485, mem=157M328
24.42/19.29 decisions=18737, wrong=3481, backtracks=1390, failedAssignments=2359, nogoods=1770, foundSolutions=21, bestBound=539
24.42/19.29
24.52/19.33 num=132, depth=2..42, filters=631281, ccks=27027, wck=16.528, mem=157M328
24.52/19.33 decisions=18794, wrong=3494, backtracks=1391, failedAssignments=2371, nogoods=1782, foundSolutions=21, bestBound=539
24.52/19.33
24.52/19.38 num=133, depth=2..39, filters=633535, ccks=27027, wck=16.576, mem=157M328
24.52/19.38 decisions=18850, wrong=3509, backtracks=1396, failedAssignments=2384, nogoods=1791, foundSolutions=21, bestBound=539
24.52/19.38
24.62/19.44 num=134, depth=3..81, filters=636202, ccks=27027, wck=16.636, mem=157M328
24.62/19.44 decisions=18947, wrong=3523, backtracks=1396, failedAssignments=2398, nogoods=1805, foundSolutions=21, bestBound=539
24.62/19.44
24.82/19.60 o 538
24.82/19.60 num=135, depth=7..7017, filters=639234, ccks=28314, wck=16.798, mem=159M971
24.82/19.60 decisions=19088, wrong=3534, backtracks=1396, failedAssignments=2409, nogoods=1816, foundSolutions=22, bestBound=538
24.82/19.60
25.02/19.80 num=136, depth=17..42, filters=640961, ccks=28314, wck=16.994, mem=159M971
25.02/19.80 decisions=19150, wrong=3552, backtracks=1397, failedAssignments=2426, nogoods=1833, foundSolutions=22, bestBound=538
25.02/19.80
25.02/19.86 num=137, depth=6..50, filters=643838, ccks=28314, wck=17.053, mem=159M971
25.02/19.86 decisions=19214, wrong=3563, backtracks=1397, failedAssignments=2437, nogoods=1844, foundSolutions=22, bestBound=538
25.02/19.86
25.13/19.91 num=138, depth=6..36, filters=646004, ccks=28314, wck=17.104, mem=159M971
25.13/19.91 decisions=19271, wrong=3578, backtracks=1400, failedAssignments=2449, nogoods=1854, foundSolutions=22, bestBound=538
25.13/19.91
25.13/19.95 num=139, depth=6..38, filters=647782, ccks=28314, wck=17.146, mem=159M971
25.13/19.95 decisions=19328, wrong=3594, backtracks=1405, failedAssignments=2462, nogoods=1863, foundSolutions=22, bestBound=538
25.13/19.95
25.13/20.00 num=140, depth=10..33, filters=649412, ccks=28314, wck=17.191, mem=159M971
25.13/20.00 decisions=19376, wrong=3608, backtracks=1405, failedAssignments=2476, nogoods=1877, foundSolutions=22, bestBound=538
25.13/20.00
25.24/20.05 num=141, depth=7..41, filters=651491, ccks=28314, wck=17.242, mem=159M971
25.24/20.05 decisions=19434, wrong=3624, backtracks=1405, failedAssignments=2492, nogoods=1893, foundSolutions=22, bestBound=538
25.24/20.05
25.24/20.09 num=142, depth=6..43, filters=653318, ccks=28314, wck=17.288, mem=159M971
25.24/20.09 decisions=19502, wrong=3645, backtracks=1412, failedAssignments=2509, nogoods=1905, foundSolutions=22, bestBound=538
25.24/20.09
25.34/20.15 num=143, depth=3..30, filters=655561, ccks=28314, wck=17.342, mem=159M971
25.34/20.15 decisions=19556, wrong=3667, backtracks=1417, failedAssignments=2528, nogoods=1921, foundSolutions=22, bestBound=538
25.34/20.15
25.43/20.21 num=144, depth=3..50, filters=658617, ccks=28314, wck=17.402, mem=159M971
25.43/20.21 decisions=19628, wrong=3688, backtracks=1417, failedAssignments=2549, nogoods=1942, foundSolutions=22, bestBound=538
25.43/20.21
25.53/20.39 num=145, depth=5..65, filters=666020, ccks=28314, wck=17.588, mem=159M971
25.53/20.39 decisions=19729, wrong=3715, backtracks=1423, failedAssignments=2572, nogoods=1961, foundSolutions=22, bestBound=538
25.53/20.39
25.73/20.54 num=146, depth=2..64, filters=672762, ccks=28314, wck=17.739, mem=159M971
25.73/20.54 decisions=19833, wrong=3746, backtracks=1430, failedAssignments=2597, nogoods=1984, foundSolutions=22, bestBound=538
25.73/20.54
25.83/20.68 num=147, depth=2..44, filters=678954, ccks=28314, wck=17.88, mem=159M971
25.83/20.68 decisions=19937, wrong=3785, backtracks=1445, failedAssignments=2625, nogoods=2006, foundSolutions=22, bestBound=538
25.83/20.68
26.03/20.85 num=148, depth=2..51, filters=686710, ccks=28314, wck=18.044, mem=159M971
26.03/20.85 decisions=20052, wrong=3826, backtracks=1463, failedAssignments=2656, nogoods=2025, foundSolutions=22, bestBound=538
26.03/20.85
26.13/20.94 num=149, depth=2..72, filters=691429, ccks=28314, wck=18.139, mem=159M971
26.13/20.94 decisions=20174, wrong=3864, backtracks=1471, failedAssignments=2690, nogoods=2054, foundSolutions=22, bestBound=538
26.13/20.94
26.34/21.12 o 537
26.34/21.13 num=150, depth=2..7017, filters=696217, ccks=29601, wck=18.325, mem=162M586
26.34/21.13 decisions=20290, wrong=3890, backtracks=1480, failedAssignments=2712, nogoods=2071, foundSolutions=23, bestBound=537
26.34/21.13
26.63/21.48 o 528
26.63/21.48 num=151, depth=8..7017, filters=701191, ccks=30888, wck=18.676, mem=165M201
26.63/21.48 decisions=20437, wrong=3920, backtracks=1489, failedAssignments=2738, nogoods=2090, foundSolutions=24, bestBound=528
26.63/21.48
26.83/21.68 num=152, depth=2..23, filters=702990, ccks=30888, wck=18.872, mem=165M201
26.83/21.68 decisions=20477, wrong=3934, backtracks=1494, failedAssignments=2749, nogoods=2097, foundSolutions=24, bestBound=528
26.83/21.68
26.93/21.73 num=153, depth=7..47, filters=705135, ccks=30888, wck=18.926, mem=165M201
26.93/21.73 decisions=20545, wrong=3948, backtracks=1497, failedAssignments=2760, nogoods=2106, foundSolutions=24, bestBound=528
26.93/21.73
26.93/21.79 num=154, depth=2..20, filters=707263, ccks=30888, wck=18.984, mem=165M201
26.93/21.79 decisions=20590, wrong=3965, backtracks=1503, failedAssignments=2772, nogoods=2114, foundSolutions=24, bestBound=528
26.93/21.79
27.13/21.95 o 527
27.13/21.95 num=155, depth=4..7017, filters=709781, ccks=32175, wck=19.146, mem=167M816
27.13/21.95 decisions=20687, wrong=3968, backtracks=1503, failedAssignments=2775, nogoods=2117, foundSolutions=25, bestBound=527
27.13/21.95
27.34/22.15 num=156, depth=7..35, filters=711360, ccks=32175, wck=19.348, mem=167M816
27.34/22.15 decisions=20737, wrong=3982, backtracks=1503, failedAssignments=2789, nogoods=2131, foundSolutions=25, bestBound=527
27.34/22.15
27.43/22.21 num=157, depth=5..62, filters=713445, ccks=32175, wck=19.402, mem=167M816
27.43/22.21 decisions=20812, wrong=3993, backtracks=1503, failedAssignments=2800, nogoods=2142, foundSolutions=25, bestBound=527
27.43/22.21
27.43/22.25 num=158, depth=2..51, filters=715733, ccks=32175, wck=19.451, mem=167M816
27.43/22.25 decisions=20881, wrong=4007, backtracks=1505, failedAssignments=2812, nogoods=2153, foundSolutions=25, bestBound=527
27.43/22.25
27.53/22.30 num=159, depth=2..47, filters=717883, ccks=32175, wck=19.495, mem=167M816
27.53/22.30 decisions=20950, wrong=4023, backtracks=1508, failedAssignments=2825, nogoods=2164, foundSolutions=25, bestBound=527
27.53/22.30
27.53/22.35 num=160, depth=2..54, filters=720572, ccks=32175, wck=19.546, mem=167M816
27.53/22.35 decisions=21025, wrong=4039, backtracks=1510, failedAssignments=2839, nogoods=2177, foundSolutions=25, bestBound=527
27.53/22.35
27.63/22.40 num=161, depth=2..61, filters=723324, ccks=32175, wck=19.597, mem=167M816
27.63/22.40 decisions=21114, wrong=4059, backtracks=1515, failedAssignments=2855, nogoods=2190, foundSolutions=25, bestBound=527
27.63/22.40
27.63/22.45 num=162, depth=2..84, filters=726173, ccks=32175, wck=19.649, mem=167M816
27.63/22.45 decisions=21222, wrong=4078, backtracks=1517, failedAssignments=2872, nogoods=2206, foundSolutions=25, bestBound=527
27.63/22.45
27.83/22.61 o 526
27.83/22.61 num=163, depth=2..7017, filters=729316, ccks=33462, wck=19.811, mem=170M432
27.83/22.61 decisions=21355, wrong=4097, backtracks=1518, failedAssignments=2890, nogoods=2224, foundSolutions=26, bestBound=526
27.83/22.61
28.03/22.82 num=164, depth=9..53, filters=731071, ccks=33462, wck=20.013, mem=173M47
28.03/22.82 decisions=21430, wrong=4118, backtracks=1518, failedAssignments=2911, nogoods=2245, foundSolutions=26, bestBound=526
28.03/22.82
28.03/22.85 num=165, depth=2..36, filters=732547, ccks=33462, wck=20.048, mem=173M47
28.03/22.85 decisions=21478, wrong=4129, backtracks=1518, failedAssignments=2922, nogoods=2256, foundSolutions=26, bestBound=526
28.03/22.85
28.13/22.91 num=166, depth=16..49, filters=734399, ccks=33462, wck=20.102, mem=173M47
28.13/22.91 decisions=21542, wrong=4141, backtracks=1518, failedAssignments=2934, nogoods=2268, foundSolutions=26, bestBound=526
28.13/22.91
28.13/22.95 num=167, depth=2..63, filters=736472, ccks=33462, wck=20.147, mem=173M47
28.13/22.95 decisions=21621, wrong=4155, backtracks=1519, failedAssignments=2947, nogoods=2281, foundSolutions=26, bestBound=526
28.13/22.95
28.24/23.10 o 525
28.34/23.11 num=168, depth=6..7017, filters=739042, ccks=34749, wck=20.302, mem=175M687
28.34/23.11 decisions=21719, wrong=4165, backtracks=1519, failedAssignments=2957, nogoods=2291, foundSolutions=27, bestBound=525
28.34/23.11
28.53/23.31 num=169, depth=6..38, filters=740491, ccks=34749, wck=20.502, mem=175M687
28.53/23.31 decisions=21774, wrong=4181, backtracks=1519, failedAssignments=2973, nogoods=2307, foundSolutions=27, bestBound=525
28.53/23.31
28.53/23.36 num=170, depth=8..63, filters=742762, ccks=34749, wck=20.559, mem=175M687
28.53/23.36 decisions=21852, wrong=4192, backtracks=1519, failedAssignments=2984, nogoods=2318, foundSolutions=27, bestBound=525
28.53/23.36
28.63/23.42 num=171, depth=16..39, filters=744788, ccks=34749, wck=20.611, mem=175M687
28.63/23.42 decisions=21911, wrong=4207, backtracks=1522, failedAssignments=2996, nogoods=2329, foundSolutions=27, bestBound=525
28.63/23.42
28.63/23.47 num=172, depth=2..41, filters=746910, ccks=34749, wck=20.663, mem=175M687
28.63/23.47 decisions=21973, wrong=4223, backtracks=1525, failedAssignments=3009, nogoods=2341, foundSolutions=27, bestBound=525
28.63/23.47
28.74/23.52 num=173, depth=2..59, filters=749117, ccks=34749, wck=20.715, mem=175M687
28.74/23.52 decisions=22053, wrong=4239, backtracks=1527, failedAssignments=3023, nogoods=2354, foundSolutions=27, bestBound=525
28.74/23.52
28.74/23.57 num=174, depth=2..44, filters=751499, ccks=34749, wck=20.77, mem=175M687
28.74/23.57 decisions=22128, wrong=4260, backtracks=1533, failedAssignments=3039, nogoods=2367, foundSolutions=27, bestBound=525
28.74/23.57
28.84/23.63 num=175, depth=2..71, filters=754087, ccks=34749, wck=20.825, mem=175M687
28.84/23.63 decisions=22227, wrong=4281, backtracks=1538, failedAssignments=3056, nogoods=2383, foundSolutions=27, bestBound=525
28.84/23.63
28.84/23.69 num=176, depth=2..73, filters=756802, ccks=34749, wck=20.89, mem=175M687
28.84/23.69 decisions=22339, wrong=4308, backtracks=1547, failedAssignments=3075, nogoods=2400, foundSolutions=27, bestBound=525
28.84/23.69
29.07/23.88 o 524
29.07/23.88 num=177, depth=2..7017, filters=759831, ccks=36036, wck=21.079, mem=178M330
29.07/23.88 decisions=22458, wrong=4328, backtracks=1550, failedAssignments=3092, nogoods=2416, foundSolutions=28, bestBound=524
29.07/23.88
29.28/24.10 num=178, depth=15..67, filters=762683, ccks=36036, wck=21.301, mem=178M330
29.28/24.10 decisions=22582, wrong=4361, backtracks=1565, failedAssignments=3115, nogoods=2428, foundSolutions=28, bestBound=524
29.28/24.10
29.47/24.26 o 523
29.47/24.27 num=179, depth=2..7017, filters=765601, ccks=37323, wck=21.464, mem=180M683
29.47/24.27 decisions=22692, wrong=4371, backtracks=1565, failedAssignments=3125, nogoods=2438, foundSolutions=29, bestBound=523
29.47/24.27
29.68/24.49 num=180, depth=8..64, filters=767984, ccks=37323, wck=21.682, mem=180M683
29.68/24.49 decisions=22769, wrong=4383, backtracks=1565, failedAssignments=3137, nogoods=2450, foundSolutions=29, bestBound=523
29.68/24.49
29.78/24.54 num=181, depth=2..119, filters=770542, ccks=37323, wck=21.738, mem=180M683
29.78/24.54 decisions=22905, wrong=4395, backtracks=1566, failedAssignments=3148, nogoods=2461, foundSolutions=29, bestBound=523
29.78/24.54
29.88/24.69 o 521
30.02/24.73 num=182, depth=2..7017, filters=772971, ccks=38610, wck=21.923, mem=89M270
30.02/24.73 decisions=23037, wrong=4408, backtracks=1570, failedAssignments=3158, nogoods=2470, foundSolutions=30, bestBound=521
30.02/24.73
30.26/24.94 num=183, depth=17..108, filters=775346, ccks=38610, wck=22.132, mem=89M270
30.26/24.94 decisions=23167, wrong=4422, backtracks=1575, failedAssignments=3171, nogoods=2479, foundSolutions=30, bestBound=521
30.26/24.94
30.26/24.99 num=184, depth=2..103, filters=777891, ccks=38610, wck=22.182, mem=89M270
30.26/24.99 decisions=23295, wrong=4438, backtracks=1580, failedAssignments=3182, nogoods=2488, foundSolutions=30, bestBound=521
30.26/24.99
30.37/25.02 num=185, depth=18..39, filters=779489, ccks=38610, wck=22.219, mem=89M270
30.37/25.02 decisions=23360, wrong=4452, backtracks=1591, failedAssignments=3194, nogoods=2491, foundSolutions=30, bestBound=521
30.37/25.02
30.37/25.07 num=186, depth=17..103, filters=781848, ccks=38610, wck=22.266, mem=90M128
30.37/25.07 decisions=23486, wrong=4466, backtracks=1595, failedAssignments=3207, nogoods=2501, foundSolutions=30, bestBound=521
30.37/25.07
30.56/25.22 o 520
30.56/25.22 num=187, depth=20..7017, filters=784599, ccks=39897, wck=22.417, mem=92M743
30.56/25.22 decisions=23621, wrong=4474, backtracks=1595, failedAssignments=3215, nogoods=2509, foundSolutions=31, bestBound=520
30.56/25.22
30.76/25.43 num=188, depth=19..76, filters=786695, ccks=39897, wck=22.622, mem=92M743
30.76/25.43 decisions=23716, wrong=4490, backtracks=1595, failedAssignments=3231, nogoods=2525, foundSolutions=31, bestBound=520
30.76/25.43
30.76/25.47 num=189, depth=28..63, filters=788815, ccks=39897, wck=22.663, mem=92M743
30.76/25.47 decisions=23797, wrong=4501, backtracks=1595, failedAssignments=3242, nogoods=2536, foundSolutions=31, bestBound=520
30.76/25.47
30.96/25.61 o 516
30.96/25.61 num=190, depth=33..7017, filters=791077, ccks=41184, wck=22.809, mem=95M414
30.96/25.61 decisions=23925, wrong=4511, backtracks=1595, failedAssignments=3252, nogoods=2546, foundSolutions=32, bestBound=516
30.96/25.61
31.16/25.81 num=191, depth=21..39, filters=792339, ccks=41184, wck=23.005, mem=95M414
31.16/25.81 decisions=23980, wrong=4525, backtracks=1596, failedAssignments=3265, nogoods=2559, foundSolutions=32, bestBound=516
31.16/25.81
31.16/25.87 num=192, depth=0..43, filters=794514, ccks=41184, wck=23.069, mem=95M414
31.16/25.87 decisions=24035, wrong=4536, backtracks=1596, failedAssignments=3276, nogoods=2569, foundSolutions=32, bestBound=516
31.16/25.87
31.26/25.92 num=193, depth=2..13, filters=796109, ccks=41184, wck=23.116, mem=95M414
31.26/25.92 decisions=24064, wrong=4549, backtracks=1601, failedAssignments=3288, nogoods=2577, foundSolutions=32, bestBound=516
31.26/25.92
31.39/26.03 num=194, depth=6..29, filters=800206, ccks=41184, wck=23.229, mem=95M414
31.39/26.03 decisions=24130, wrong=4573, backtracks=1612, failedAssignments=3301, nogoods=2584, foundSolutions=32, bestBound=516
31.39/26.03
31.39/26.08 num=195, depth=2..31, filters=801987, ccks=41184, wck=23.279, mem=95M414
31.39/26.08 decisions=24176, wrong=4587, backtracks=1612, failedAssignments=3315, nogoods=2598, foundSolutions=32, bestBound=516
31.39/26.08
31.49/26.14 num=196, depth=9..92, filters=804501, ccks=41184, wck=23.334, mem=95M414
31.49/26.14 decisions=24289, wrong=4603, backtracks=1612, failedAssignments=3331, nogoods=2614, foundSolutions=32, bestBound=516
31.49/26.14
31.49/26.17 num=197, depth=2..51, filters=805840, ccks=41184, wck=23.369, mem=95M414
31.49/26.17 decisions=24358, wrong=4620, backtracks=1612, failedAssignments=3348, nogoods=2631, foundSolutions=32, bestBound=516
31.49/26.17
31.59/26.23 num=198, depth=5..83, filters=808298, ccks=41184, wck=23.425, mem=95M414
31.59/26.23 decisions=24467, wrong=4639, backtracks=1612, failedAssignments=3367, nogoods=2650, foundSolutions=32, bestBound=516
31.59/26.23
31.59/26.27 num=199, depth=2..78, filters=809862, ccks=41184, wck=23.464, mem=95M414
31.59/26.27 decisions=24567, wrong=4660, backtracks=1612, failedAssignments=3388, nogoods=2671, foundSolutions=32, bestBound=516
31.59/26.27
31.69/26.32 num=200, depth=2..131, filters=812282, ccks=41184, wck=23.515, mem=95M414
31.69/26.32 decisions=24724, wrong=4683, backtracks=1612, failedAssignments=3411, nogoods=2694, foundSolutions=32, bestBound=516
31.69/26.32
31.69/26.37 num=201, depth=2..102, filters=814458, ccks=41184, wck=23.562, mem=95M414
31.69/26.37 decisions=24855, wrong=4708, backtracks=1612, failedAssignments=3436, nogoods=2719, foundSolutions=32, bestBound=516
31.69/26.37
31.89/26.51 o 515
31.89/26.52 num=202, depth=2..7017, filters=816791, ccks=42471, wck=23.712, mem=98M28
31.89/26.52 decisions=25011, wrong=4726, backtracks=1612, failedAssignments=3454, nogoods=2737, foundSolutions=33, bestBound=515
31.89/26.52
32.19/26.83 o 514
32.19/26.83 num=203, depth=2..7017, filters=819255, ccks=43758, wck=24.026, mem=100M643
32.19/26.83 decisions=25193, wrong=4751, backtracks=1621, failedAssignments=3477, nogoods=2752, foundSolutions=34, bestBound=514
32.19/26.83
32.39/27.03 num=204, depth=30..44, filters=820575, ccks=43758, wck=24.222, mem=100M643
32.39/27.03 decisions=25250, wrong=4763, backtracks=1626, failedAssignments=3488, nogoods=2759, foundSolutions=34, bestBound=514
32.39/27.03
32.39/27.08 num=205, depth=1..43, filters=822709, ccks=43758, wck=24.275, mem=100M643
32.39/27.08 decisions=25305, wrong=4774, backtracks=1626, failedAssignments=3499, nogoods=2770, foundSolutions=34, bestBound=514
32.39/27.08
32.49/27.12 num=206, depth=24..60, filters=824809, ccks=43758, wck=24.319, mem=100M643
32.49/27.12 decisions=25386, wrong=4787, backtracks=1632, failedAssignments=3511, nogoods=2777, foundSolutions=34, bestBound=514
32.49/27.12
32.49/27.16 num=207, depth=24..55, filters=826406, ccks=43758, wck=24.357, mem=100M643
32.49/27.16 decisions=25455, wrong=4800, backtracks=1632, failedAssignments=3524, nogoods=2790, foundSolutions=34, bestBound=514
32.49/27.16
32.69/27.31 o 513
32.69/27.31 num=208, depth=22..7017, filters=828931, ccks=45045, wck=24.508, mem=103M257
32.69/27.31 decisions=25580, wrong=4812, backtracks=1632, failedAssignments=3536, nogoods=2802, foundSolutions=35, bestBound=513
32.69/27.31
32.89/27.52 num=209, depth=25..78, filters=830854, ccks=45045, wck=24.714, mem=103M257
32.89/27.52 decisions=25677, wrong=4828, backtracks=1632, failedAssignments=3552, nogoods=2818, foundSolutions=35, bestBound=513
32.89/27.52
32.99/27.66 o 512
32.99/27.67 num=210, depth=60..7017, filters=833215, ccks=46332, wck=24.862, mem=105M872
32.99/27.67 decisions=25794, wrong=4831, backtracks=1632, failedAssignments=3555, nogoods=2821, foundSolutions=36, bestBound=512
32.99/27.67
33.19/27.87 num=211, depth=25..48, filters=834880, ccks=46332, wck=25.064, mem=105M872
33.19/27.87 decisions=25865, wrong=4845, backtracks=1639, failedAssignments=3567, nogoods=2827, foundSolutions=36, bestBound=512
33.19/27.87
33.29/27.91 num=212, depth=27..75, filters=836860, ccks=46332, wck=25.106, mem=105M872
33.29/27.91 decisions=25955, wrong=4856, backtracks=1639, failedAssignments=3578, nogoods=2838, foundSolutions=36, bestBound=512
33.29/27.91
33.29/27.96 num=213, depth=28..144, filters=839383, ccks=46332, wck=25.158, mem=105M872
33.29/27.96 decisions=26115, wrong=4868, backtracks=1639, failedAssignments=3590, nogoods=2850, foundSolutions=36, bestBound=512
33.29/27.96
33.29/28.01 num=214, depth=48..87, filters=841352, ccks=46332, wck=25.201, mem=105M872
33.29/28.01 decisions=26217, wrong=4881, backtracks=1639, failedAssignments=3603, nogoods=2863, foundSolutions=36, bestBound=512
33.29/28.01
33.50/28.15 o 511
33.50/28.15 num=215, depth=48..7017, filters=843574, ccks=47619, wck=25.348, mem=108M486
33.50/28.15 decisions=26362, wrong=4887, backtracks=1639, failedAssignments=3609, nogoods=2869, foundSolutions=37, bestBound=511
33.50/28.15
33.79/28.46 o 510
33.79/28.47 num=216, depth=28..7017, filters=846076, ccks=48906, wck=25.662, mem=113M715
33.79/28.47 decisions=26526, wrong=4903, backtracks=1644, failedAssignments=3622, nogoods=2878, foundSolutions=38, bestBound=510
33.79/28.47
33.99/28.68 num=217, depth=24..51, filters=847625, ccks=48906, wck=25.875, mem=113M715
33.99/28.68 decisions=26589, wrong=4914, backtracks=1644, failedAssignments=3633, nogoods=2889, foundSolutions=38, bestBound=510
33.99/28.68
34.09/28.73 num=218, depth=22..58, filters=849466, ccks=48906, wck=25.93, mem=113M715
34.09/28.73 decisions=26666, wrong=4927, backtracks=1648, failedAssignments=3644, nogoods=2898, foundSolutions=38, bestBound=510
34.09/28.73
34.19/28.89 o 509
34.19/28.90 num=219, depth=23..7017, filters=851747, ccks=50193, wck=26.092, mem=116M355
34.19/28.90 decisions=26798, wrong=4935, backtracks=1648, failedAssignments=3652, nogoods=2906, foundSolutions=39, bestBound=509
34.19/28.90
34.40/29.10 num=220, depth=23..55, filters=853391, ccks=50193, wck=26.294, mem=116M355
34.40/29.10 decisions=26873, wrong=4950, backtracks=1651, failedAssignments=3665, nogoods=2917, foundSolutions=39, bestBound=509
34.40/29.10
34.59/29.25 o 508
34.59/29.26 num=221, depth=27..7017, filters=855834, ccks=51480, wck=26.454, mem=118M969
34.59/29.26 decisions=27011, wrong=4961, backtracks=1654, failedAssignments=3674, nogoods=2924, foundSolutions=40, bestBound=508
34.59/29.26
34.79/29.46 num=222, depth=26..35, filters=857154, ccks=51480, wck=26.651, mem=118M969
34.79/29.46 decisions=27074, wrong=4978, backtracks=1662, failedAssignments=3686, nogoods=2930, foundSolutions=40, bestBound=508
34.79/29.46
34.89/29.51 num=223, depth=11..39, filters=858987, ccks=51480, wck=26.701, mem=118M969
34.89/29.51 decisions=27125, wrong=4989, backtracks=1662, failedAssignments=3697, nogoods=2941, foundSolutions=40, bestBound=508
34.89/29.51
34.89/29.56 num=224, depth=2..66, filters=860958, ccks=51480, wck=26.755, mem=118M969
34.89/29.56 decisions=27206, wrong=5001, backtracks=1662, failedAssignments=3709, nogoods=2953, foundSolutions=40, bestBound=508
34.89/29.56
34.99/29.61 num=225, depth=2..72, filters=862958, ccks=51480, wck=26.809, mem=118M969
34.99/29.61 decisions=27295, wrong=5014, backtracks=1662, failedAssignments=3722, nogoods=2966, foundSolutions=40, bestBound=508
34.99/29.61
35.09/29.77 o 507
35.09/29.77 num=226, depth=3..7017, filters=865188, ccks=52767, wck=26.969, mem=121M609
35.09/29.77 decisions=27436, wrong=5024, backtracks=1662, failedAssignments=3732, nogoods=2976, foundSolutions=41, bestBound=507
35.09/29.77
35.30/29.98 num=227, depth=24..77, filters=867267, ccks=52767, wck=27.176, mem=121M609
35.30/29.98 decisions=27540, wrong=5042, backtracks=1668, failedAssignments=3748, nogoods=2988, foundSolutions=41, bestBound=507
35.30/29.98
35.40/30.03 num=228, depth=21..63, filters=868924, ccks=52767, wck=27.226, mem=121M609
35.40/30.03 decisions=27617, wrong=5054, backtracks=1669, failedAssignments=3759, nogoods=2999, foundSolutions=41, bestBound=507
35.40/30.03
35.40/30.09 num=229, depth=3..122, filters=871352, ccks=52767, wck=27.286, mem=121M609
35.40/30.09 decisions=27754, wrong=5066, backtracks=1669, failedAssignments=3771, nogoods=3011, foundSolutions=41, bestBound=507
35.40/30.09
35.50/30.14 num=230, depth=3..44, filters=873476, ccks=52767, wck=27.34, mem=121M609
35.50/30.14 decisions=27827, wrong=5083, backtracks=1677, failedAssignments=3784, nogoods=3017, foundSolutions=41, bestBound=507
35.50/30.14
35.60/30.21 num=231, depth=3..130, filters=876017, ccks=52767, wck=27.401, mem=121M609
35.60/30.21 decisions=27977, wrong=5097, backtracks=1677, failedAssignments=3798, nogoods=3031, foundSolutions=41, bestBound=507
35.60/30.21
35.70/30.36 o 506
35.70/30.37 num=232, depth=4..7017, filters=878816, ccks=54054, wck=27.562, mem=124M260
35.70/30.37 decisions=28133, wrong=5112, backtracks=1677, failedAssignments=3813, nogoods=3046, foundSolutions=42, bestBound=506
35.70/30.37
35.90/30.58 num=233, depth=4..57, filters=881480, ccks=54054, wck=27.774, mem=124M260
35.90/30.58 decisions=28219, wrong=5131, backtracks=1684, failedAssignments=3830, nogoods=3057, foundSolutions=42, bestBound=506
35.90/30.58
36.00/30.63 num=234, depth=3..82, filters=883517, ccks=54054, wck=27.826, mem=124M260
36.00/30.63 decisions=28316, wrong=5142, backtracks=1684, failedAssignments=3841, nogoods=3068, foundSolutions=42, bestBound=506
36.00/30.63
36.10/30.78 o 505
36.10/30.79 num=235, depth=3..7017, filters=885911, ccks=55341, wck=27.983, mem=126M875
36.10/30.79 decisions=28451, wrong=5150, backtracks=1684, failedAssignments=3849, nogoods=3076, foundSolutions=43, bestBound=505
36.10/30.79
36.30/30.99 num=236, depth=23..40, filters=887879, ccks=55341, wck=28.187, mem=126M875
36.30/30.99 decisions=28518, wrong=5166, backtracks=1692, failedAssignments=3862, nogoods=3082, foundSolutions=43, bestBound=505
36.30/30.99
36.51/31.15 o 504
36.51/31.15 num=237, depth=3..7017, filters=890277, ccks=56628, wck=28.346, mem=129M508
36.51/31.15 decisions=28658, wrong=5176, backtracks=1692, failedAssignments=3872, nogoods=3092, foundSolutions=44, bestBound=504
36.51/31.15
36.70/31.35 num=238, depth=20..33, filters=891959, ccks=56628, wck=28.546, mem=129M508
36.70/31.35 decisions=28715, wrong=5194, backtracks=1703, failedAssignments=3884, nogoods=3094, foundSolutions=44, bestBound=504
36.70/31.35
36.80/31.40 num=239, depth=12..30, filters=893505, ccks=56628, wck=28.595, mem=129M508
36.80/31.40 decisions=28757, wrong=5205, backtracks=1703, failedAssignments=3895, nogoods=3105, foundSolutions=44, bestBound=504
36.80/31.40
36.80/31.46 num=240, depth=21..123, filters=896089, ccks=56628, wck=28.654, mem=129M508
36.80/31.46 decisions=28901, wrong=5219, backtracks=1705, failedAssignments=3907, nogoods=3116, foundSolutions=44, bestBound=504
36.80/31.46
36.90/31.51 num=241, depth=4..42, filters=898265, ccks=56628, wck=28.706, mem=129M508
36.90/31.51 decisions=28970, wrong=5235, backtracks=1713, failedAssignments=3920, nogoods=3122, foundSolutions=44, bestBound=504
36.90/31.51
37.00/31.66 o 503
37.00/31.67 num=242, depth=24..7017, filters=900540, ccks=57915, wck=28.863, mem=132M122
37.00/31.67 decisions=29104, wrong=5243, backtracks=1713, failedAssignments=3928, nogoods=3130, foundSolutions=45, bestBound=503
37.00/31.67
37.20/31.87 num=243, depth=23..38, filters=902367, ccks=57915, wck=29.068, mem=132M122
37.20/31.87 decisions=29164, wrong=5261, backtracks=1715, failedAssignments=3944, nogoods=3145, foundSolutions=45, bestBound=503
37.20/31.87
37.30/31.92 num=244, depth=3..30, filters=904137, ccks=57915, wck=29.121, mem=132M122
37.30/31.92 decisions=29207, wrong=5272, backtracks=1715, failedAssignments=3955, nogoods=3156, foundSolutions=45, bestBound=503
37.30/31.92
37.30/31.97 num=245, depth=4..28, filters=905620, ccks=57915, wck=29.166, mem=132M122
37.30/31.97 decisions=29260, wrong=5287, backtracks=1722, failedAssignments=3967, nogoods=3162, foundSolutions=45, bestBound=503
37.30/31.97
37.41/32.03 num=246, depth=5..96, filters=908104, ccks=57915, wck=29.222, mem=132M122
37.41/32.03 decisions=29372, wrong=5300, backtracks=1722, failedAssignments=3980, nogoods=3175, foundSolutions=45, bestBound=503
37.41/32.03
37.41/32.07 num=247, depth=4..32, filters=909588, ccks=57915, wck=29.267, mem=132M122
37.41/32.07 decisions=29429, wrong=5317, backtracks=1727, failedAssignments=3994, nogoods=3185, foundSolutions=45, bestBound=503
37.41/32.07
37.51/32.12 num=248, depth=6..52, filters=911718, ccks=57915, wck=29.318, mem=132M122
37.51/32.12 decisions=29502, wrong=5333, backtracks=1727, failedAssignments=4010, nogoods=3201, foundSolutions=45, bestBound=503
37.51/32.12
37.51/32.17 num=249, depth=5..52, filters=913430, ccks=57915, wck=29.369, mem=132M122
37.51/32.17 decisions=29578, wrong=5352, backtracks=1730, failedAssignments=4027, nogoods=3216, foundSolutions=45, bestBound=503
37.51/32.17
37.60/32.23 num=250, depth=4..47, filters=915323, ccks=57915, wck=29.421, mem=132M122
37.60/32.23 decisions=29655, wrong=5374, backtracks=1734, failedAssignments=4046, nogoods=3232, foundSolutions=45, bestBound=503
37.60/32.23
37.60/32.28 num=251, depth=5..61, filters=918044, ccks=57915, wck=29.479, mem=132M122
37.60/32.28 decisions=29750, wrong=5397, backtracks=1740, failedAssignments=4067, nogoods=3248, foundSolutions=45, bestBound=503
37.60/32.28
37.71/32.35 num=252, depth=5..109, filters=921160, ccks=57915, wck=29.543, mem=132M122
37.71/32.35 decisions=29892, wrong=5422, backtracks=1743, failedAssignments=4090, nogoods=3269, foundSolutions=45, bestBound=503
37.71/32.35
37.81/32.41 num=253, depth=3..123, filters=923887, ccks=57915, wck=29.603, mem=132M122
37.81/32.41 decisions=30049, wrong=5447, backtracks=1743, failedAssignments=4115, nogoods=3294, foundSolutions=45, bestBound=503
37.81/32.41
37.91/32.56 o 502
37.91/32.57 num=254, depth=3..7017, filters=926610, ccks=59202, wck=29.762, mem=134M762
37.91/32.57 decisions=30162, wrong=5461, backtracks=1743, failedAssignments=4129, nogoods=3308, foundSolutions=46, bestBound=502
37.91/32.57
38.21/32.88 o 501
38.21/32.89 num=255, depth=3..7017, filters=929773, ccks=60489, wck=30.082, mem=137M377
38.21/32.89 decisions=30312, wrong=5489, backtracks=1754, failedAssignments=4152, nogoods=3323, foundSolutions=47, bestBound=501
38.21/32.89
38.42/33.10 num=256, depth=11..29, filters=931190, ccks=60489, wck=30.293, mem=137M377
38.42/33.10 decisions=30358, wrong=5503, backtracks=1758, failedAssignments=4163, nogoods=3333, foundSolutions=47, bestBound=501
38.42/33.10
38.52/33.15 num=257, depth=6..60, filters=933478, ccks=60489, wck=30.351, mem=137M377
38.52/33.15 decisions=30432, wrong=5514, backtracks=1758, failedAssignments=4174, nogoods=3344, foundSolutions=47, bestBound=501
38.52/33.15
38.61/33.21 num=258, depth=11..30, filters=935149, ccks=60489, wck=30.411, mem=137M377
38.61/33.21 decisions=30483, wrong=5529, backtracks=1762, failedAssignments=4186, nogoods=3354, foundSolutions=47, bestBound=501
38.61/33.21
38.61/33.27 num=259, depth=11..28, filters=936512, ccks=60489, wck=30.468, mem=137M377
38.61/33.27 decisions=30535, wrong=5547, backtracks=1769, failedAssignments=4199, nogoods=3364, foundSolutions=47, bestBound=501
38.61/33.27
38.71/33.33 num=260, depth=12..30, filters=938311, ccks=60489, wck=30.53, mem=137M377
38.71/33.33 decisions=30592, wrong=5566, backtracks=1776, failedAssignments=4213, nogoods=3376, foundSolutions=47, bestBound=501
38.71/33.33
38.71/33.39 num=261, depth=7..78, filters=940622, ccks=60489, wck=30.589, mem=137M377
38.71/33.39 decisions=30689, wrong=5582, backtracks=1776, failedAssignments=4229, nogoods=3392, foundSolutions=47, bestBound=501
38.71/33.39
38.81/33.44 num=262, depth=17..107, filters=943483, ccks=60489, wck=30.64, mem=137M377
38.81/33.44 decisions=30829, wrong=5604, backtracks=1783, failedAssignments=4246, nogoods=3406, foundSolutions=47, bestBound=501
38.81/33.44
39.01/33.61 o 500
39.01/33.61 num=263, depth=15..7017, filters=946245, ccks=61776, wck=30.805, mem=139M991
39.01/33.61 decisions=30966, wrong=5621, backtracks=1787, failedAssignments=4259, nogoods=3418, foundSolutions=48, bestBound=500
39.01/33.61
39.21/33.82 num=264, depth=15..39, filters=948689, ccks=61776, wck=31.013, mem=139M991
39.21/33.82 decisions=31049, wrong=5647, backtracks=1802, failedAssignments=4280, nogoods=3428, foundSolutions=48, bestBound=500
39.21/33.82
39.21/33.86 num=265, depth=21..90, filters=950841, ccks=61776, wck=31.056, mem=139M991
39.21/33.86 decisions=31152, wrong=5658, backtracks=1802, failedAssignments=4291, nogoods=3439, foundSolutions=48, bestBound=500
39.21/33.86
39.31/33.90 num=266, depth=22..113, filters=952945, ccks=61776, wck=31.101, mem=139M991
39.31/33.90 decisions=31279, wrong=5670, backtracks=1802, failedAssignments=4303, nogoods=3451, foundSolutions=48, bestBound=500
39.31/33.90
39.42/34.06 o 499
39.42/34.06 num=267, depth=21..7017, filters=955160, ccks=63063, wck=31.256, mem=142M605
39.42/34.06 decisions=31406, wrong=5684, backtracks=1804, failedAssignments=4315, nogoods=3462, foundSolutions=49, bestBound=499
39.42/34.06
39.62/34.26 num=268, depth=20..35, filters=957321, ccks=63063, wck=31.46, mem=142M605
39.62/34.26 decisions=31464, wrong=5703, backtracks=1821, failedAssignments=4329, nogoods=3463, foundSolutions=49, bestBound=499
39.62/34.26
39.82/34.42 o 497
39.82/34.42 num=269, depth=14..7017, filters=959689, ccks=64350, wck=31.621, mem=145M220
39.82/34.42 decisions=31560, wrong=5710, backtracks=1821, failedAssignments=4336, nogoods=3470, foundSolutions=50, bestBound=497
39.82/34.42
40.12/34.74 o 496
40.12/34.75 num=270, depth=15..7017, filters=961961, ccks=65637, wck=31.944, mem=147M834
40.12/34.75 decisions=31678, wrong=5717, backtracks=1821, failedAssignments=4343, nogoods=3477, foundSolutions=51, bestBound=496
40.12/34.75
40.32/34.97 num=271, depth=14..71, filters=964111, ccks=65637, wck=32.164, mem=147M834
40.32/34.97 decisions=31762, wrong=5728, backtracks=1821, failedAssignments=4354, nogoods=3488, foundSolutions=51, bestBound=496
40.32/34.97
40.52/35.12 o 495
40.52/35.13 num=272, depth=39..7017, filters=966171, ccks=66924, wck=32.324, mem=153M63
40.52/35.13 decisions=31875, wrong=5734, backtracks=1821, failedAssignments=4360, nogoods=3494, foundSolutions=52, bestBound=495
40.52/35.13
40.72/35.34 num=273, depth=16..29, filters=967706, ccks=66924, wck=32.539, mem=153M63
40.72/35.34 decisions=31919, wrong=5747, backtracks=1822, failedAssignments=4372, nogoods=3506, foundSolutions=52, bestBound=495
40.72/35.34
40.82/35.40 num=274, depth=3..40, filters=969830, ccks=66924, wck=32.598, mem=153M63
40.82/35.40 decisions=31972, wrong=5758, backtracks=1822, failedAssignments=4383, nogoods=3517, foundSolutions=52, bestBound=495
40.82/35.40
40.82/35.45 num=275, depth=15..32, filters=971233, ccks=66924, wck=32.647, mem=153M63
40.82/35.45 decisions=32018, wrong=5771, backtracks=1831, failedAssignments=4395, nogoods=3521, foundSolutions=52, bestBound=495
40.82/35.45
40.92/35.51 num=276, depth=17..93, filters=973758, ccks=66924, wck=32.711, mem=153M63
40.92/35.51 decisions=32128, wrong=5784, backtracks=1831, failedAssignments=4408, nogoods=3534, foundSolutions=52, bestBound=495
40.92/35.51
41.02/35.67 o 494
41.02/35.68 num=277, depth=18..7017, filters=976319, ccks=68211, wck=32.873, mem=155M678
41.02/35.68 decisions=32234, wrong=5796, backtracks=1835, failedAssignments=4416, nogoods=3540, foundSolutions=53, bestBound=494
41.02/35.68
41.32/35.90 num=278, depth=18..55, filters=978748, ccks=68211, wck=33.098, mem=155M678
41.32/35.90 decisions=32324, wrong=5817, backtracks=1844, failedAssignments=4432, nogoods=3550, foundSolutions=53, bestBound=494
41.32/35.90
41.43/36.06 o 493
41.43/36.06 num=279, depth=19..7017, filters=980928, ccks=69498, wck=33.259, mem=158M300
41.43/36.06 decisions=32436, wrong=5828, backtracks=1846, failedAssignments=4441, nogoods=3558, foundSolutions=54, bestBound=493
41.43/36.06
41.62/36.28 num=280, depth=16..26, filters=982496, ccks=69498, wck=33.473, mem=158M300
41.62/36.28 decisions=32484, wrong=5843, backtracks=1850, failedAssignments=4453, nogoods=3567, foundSolutions=54, bestBound=493
41.62/36.28
41.72/36.33 num=281, depth=7..25, filters=984227, ccks=69498, wck=33.528, mem=158M300
41.72/36.33 decisions=32522, wrong=5854, backtracks=1850, failedAssignments=4464, nogoods=3578, foundSolutions=54, bestBound=493
41.72/36.33
41.72/36.39 num=282, depth=13..30, filters=985907, ccks=69498, wck=33.582, mem=158M300
41.72/36.39 decisions=32581, wrong=5871, backtracks=1862, failedAssignments=4476, nogoods=3583, foundSolutions=54, bestBound=493
41.72/36.39
41.82/36.44 num=283, depth=13..32, filters=987685, ccks=69498, wck=33.637, mem=158M300
41.82/36.44 decisions=32640, wrong=5888, backtracks=1874, failedAssignments=4489, nogoods=3588, foundSolutions=54, bestBound=493
41.82/36.44
42.02/36.60 o 492
42.02/36.60 num=284, depth=9..7017, filters=989946, ccks=70785, wck=33.797, mem=160M914
42.02/36.60 decisions=32726, wrong=5897, backtracks=1874, failedAssignments=4498, nogoods=3597, foundSolutions=55, bestBound=492
42.02/36.60
42.22/36.82 num=285, depth=4..25, filters=991986, ccks=70785, wck=34.019, mem=160M914
42.22/36.82 decisions=32788, wrong=5919, backtracks=1888, failedAssignments=4514, nogoods=3603, foundSolutions=55, bestBound=492
42.22/36.82
42.22/36.88 num=286, depth=10..50, filters=994290, ccks=70785, wck=34.077, mem=160M914
42.22/36.88 decisions=32862, wrong=5934, backtracks=1893, failedAssignments=4525, nogoods=3611, foundSolutions=55, bestBound=492
42.22/36.88
42.43/37.04 o 491
42.43/37.04 num=287, depth=10..7017, filters=996485, ccks=72072, wck=34.237, mem=163M565
42.43/37.04 decisions=32952, wrong=5942, backtracks=1894, failedAssignments=4532, nogoods=3618, foundSolutions=56, bestBound=491
42.43/37.04
42.62/37.25 num=288, depth=9..20, filters=998016, ccks=72072, wck=34.449, mem=163M565
42.62/37.25 decisions=32994, wrong=5958, backtracks=1897, failedAssignments=4545, nogoods=3629, foundSolutions=56, bestBound=491
42.62/37.25
42.82/37.41 o 488
42.82/37.41 num=289, depth=8..7017, filters=1000298, ccks=73359, wck=34.611, mem=166M180
42.82/37.41 decisions=33070, wrong=5965, backtracks=1897, failedAssignments=4552, nogoods=3636, foundSolutions=57, bestBound=488
42.82/37.41
43.02/37.63 num=290, depth=10..20, filters=1001764, ccks=73359, wck=34.823, mem=166M180
43.02/37.63 decisions=33122, wrong=5986, backtracks=1914, failedAssignments=4564, nogoods=3637, foundSolutions=57, bestBound=488
43.02/37.63
43.02/37.69 num=291, depth=9..43, filters=1004050, ccks=73359, wck=34.885, mem=166M180
43.02/37.69 decisions=33180, wrong=5997, backtracks=1914, failedAssignments=4575, nogoods=3648, foundSolutions=57, bestBound=488
43.02/37.69
43.22/37.84 o 487
43.22/37.85 num=292, depth=10..7017, filters=1006080, ccks=74646, wck=35.044, mem=168M813
43.22/37.85 decisions=33268, wrong=6003, backtracks=1916, failedAssignments=4579, nogoods=3651, foundSolutions=58, bestBound=487
43.22/37.85
43.43/38.07 num=293, depth=10..20, filters=1008364, ccks=74646, wck=35.269, mem=168M813
43.43/38.07 decisions=33322, wrong=6022, backtracks=1927, failedAssignments=4592, nogoods=3656, foundSolutions=58, bestBound=487
43.43/38.07
43.53/38.13 num=294, depth=6..63, filters=1010711, ccks=74646, wck=35.329, mem=168M813
43.53/38.13 decisions=33399, wrong=6033, backtracks=1927, failedAssignments=4603, nogoods=3667, foundSolutions=58, bestBound=487
43.53/38.13
43.62/38.29 o 486
43.62/38.29 num=295, depth=3..7017, filters=1012981, ccks=75933, wck=35.49, mem=171M427
43.62/38.29 decisions=33468, wrong=6041, backtracks=1927, failedAssignments=4611, nogoods=3675, foundSolutions=59, bestBound=486
43.62/38.29
43.92/38.51 num=296, depth=3..23, filters=1014861, ccks=75933, wck=35.708, mem=171M427
43.92/38.51 decisions=33519, wrong=6059, backtracks=1933, failedAssignments=4624, nogoods=3685, foundSolutions=59, bestBound=486
43.92/38.51
43.92/38.57 num=297, depth=17..76, filters=1017284, ccks=75933, wck=35.768, mem=171M427
43.92/38.57 decisions=33610, wrong=6070, backtracks=1933, failedAssignments=4635, nogoods=3696, foundSolutions=59, bestBound=486
43.92/38.57
44.12/38.73 o 485
44.12/38.73 num=298, depth=30..7017, filters=1019634, ccks=77220, wck=35.929, mem=174M44
44.12/38.73 decisions=33673, wrong=6076, backtracks=1933, failedAssignments=4641, nogoods=3702, foundSolutions=60, bestBound=485
44.12/38.73
44.32/38.96 num=299, depth=2..31, filters=1022153, ccks=77220, wck=36.153, mem=174M44
44.32/38.96 decisions=33723, wrong=6089, backtracks=1933, failedAssignments=4654, nogoods=3715, foundSolutions=60, bestBound=485
44.32/38.96
44.43/39.02 num=300, depth=15..71, filters=1024150, ccks=77220, wck=36.212, mem=174M44
44.43/39.02 decisions=33812, wrong=6100, backtracks=1933, failedAssignments=4665, nogoods=3726, foundSolutions=60, bestBound=485
44.43/39.02
44.43/39.07 num=301, depth=15..48, filters=1026184, ccks=77220, wck=36.268, mem=174M44
44.43/39.07 decisions=33875, wrong=6112, backtracks=1933, failedAssignments=4677, nogoods=3738, foundSolutions=60, bestBound=485
44.43/39.07
44.62/39.23 o 484
44.62/39.23 num=302, depth=15..7017, filters=1028248, ccks=78507, wck=36.426, mem=176M715
44.62/39.23 decisions=33935, wrong=6118, backtracks=1933, failedAssignments=4683, nogoods=3744, foundSolutions=61, bestBound=484
44.62/39.23
44.92/39.55 o 483
44.92/39.56 num=303, depth=2..7017, filters=1030639, ccks=79794, wck=36.752, mem=179M357
44.92/39.56 decisions=34025, wrong=6135, backtracks=1939, failedAssignments=4695, nogoods=3752, foundSolutions=62, bestBound=483
44.92/39.56
45.12/39.78 num=304, depth=2..21, filters=1032582, ccks=79794, wck=36.972, mem=179M357
45.12/39.78 decisions=34069, wrong=6149, backtracks=1945, failedAssignments=4706, nogoods=3759, foundSolutions=62, bestBound=483
45.12/39.78
45.22/39.84 num=305, depth=8..48, filters=1034757, ccks=79794, wck=37.033, mem=179M357
45.22/39.84 decisions=34136, wrong=6162, backtracks=1947, failedAssignments=4717, nogoods=3769, foundSolutions=62, bestBound=483
45.22/39.84
45.32/39.99 o 482
45.32/40.00 num=306, depth=10..7017, filters=1036746, ccks=81081, wck=37.193, mem=181M972
45.32/40.00 decisions=34226, wrong=6172, backtracks=1948, failedAssignments=4726, nogoods=3778, foundSolutions=63, bestBound=482
45.32/40.00
45.63/40.22 num=307, depth=9..33, filters=1038776, ccks=81081, wck=37.415, mem=181M972
45.63/40.22 decisions=34285, wrong=6188, backtracks=1955, failedAssignments=4739, nogoods=3787, foundSolutions=63, bestBound=482
45.63/40.22
45.63/40.28 num=308, depth=20..94, filters=1041188, ccks=81081, wck=37.48, mem=181M972
45.63/40.28 decisions=34396, wrong=6199, backtracks=1955, failedAssignments=4750, nogoods=3798, foundSolutions=63, bestBound=482
45.63/40.28
45.83/40.44 o 481
45.83/40.45 num=309, depth=25..7017, filters=1043186, ccks=82368, wck=37.642, mem=184M586
45.83/40.45 decisions=34499, wrong=6210, backtracks=1955, failedAssignments=4761, nogoods=3809, foundSolutions=64, bestBound=481
45.83/40.45
46.13/40.77 o 480
46.13/40.77 num=310, depth=8..7017, filters=1045430, ccks=83655, wck=37.97, mem=187M201
46.13/40.77 decisions=34598, wrong=6223, backtracks=1956, failedAssignments=4773, nogoods=3821, foundSolutions=65, bestBound=480
46.13/40.77
46.33/40.99 num=311, depth=6..18, filters=1046810, ccks=83655, wck=38.185, mem=187M201
46.33/40.99 decisions=34629, wrong=6235, backtracks=1957, failedAssignments=4784, nogoods=3832, foundSolutions=65, bestBound=480
46.33/40.99
46.43/41.06 num=312, depth=2..83, filters=1049239, ccks=83655, wck=38.251, mem=187M201
46.43/41.06 decisions=34725, wrong=6246, backtracks=1957, failedAssignments=4795, nogoods=3843, foundSolutions=65, bestBound=480
46.43/41.06
46.54/41.12 num=313, depth=2..54, filters=1051501, ccks=83655, wck=38.314, mem=187M201
46.54/41.12 decisions=34796, wrong=6259, backtracks=1959, failedAssignments=4807, nogoods=3854, foundSolutions=65, bestBound=480
46.54/41.12
46.54/41.17 num=314, depth=2..40, filters=1053339, ccks=83655, wck=38.369, mem=187M201
46.54/41.17 decisions=34853, wrong=6273, backtracks=1961, failedAssignments=4820, nogoods=3866, foundSolutions=65, bestBound=480
46.54/41.17
46.73/41.33 o 479
46.73/41.34 num=315, depth=4..7017, filters=1055503, ccks=84942, wck=38.534, mem=189M815
46.73/41.34 decisions=34948, wrong=6286, backtracks=1963, failedAssignments=4832, nogoods=3877, foundSolutions=66, bestBound=479
46.73/41.34
46.93/41.56 num=316, depth=4..24, filters=1057616, ccks=84942, wck=38.759, mem=189M815
46.93/41.56 decisions=35005, wrong=6306, backtracks=1973, failedAssignments=4848, nogoods=3885, foundSolutions=66, bestBound=479
46.93/41.56
47.13/41.72 o 478
47.13/41.72 num=317, depth=2..7017, filters=1059707, ccks=86229, wck=38.916, mem=192M429
47.13/41.72 decisions=35096, wrong=6316, backtracks=1973, failedAssignments=4858, nogoods=3895, foundSolutions=67, bestBound=478
47.13/41.72
47.33/41.94 num=318, depth=3..14, filters=1061548, ccks=86229, wck=39.134, mem=192M429
47.33/41.94 decisions=35136, wrong=6333, backtracks=1982, failedAssignments=4870, nogoods=3901, foundSolutions=67, bestBound=478
47.33/41.94
47.33/41.99 num=319, depth=2..9, filters=1063386, ccks=86229, wck=39.19, mem=192M429
47.33/41.99 decisions=35166, wrong=6346, backtracks=1990, failedAssignments=4881, nogoods=3907, foundSolutions=67, bestBound=478
47.33/41.99
47.43/42.10 num=320, depth=0..37, filters=1066819, ccks=86229, wck=39.297, mem=192M429
47.43/42.10 decisions=35222, wrong=6359, backtracks=1991, failedAssignments=4893, nogoods=3918, foundSolutions=67, bestBound=478
47.43/42.10
47.54/42.15 num=321, depth=25..69, filters=1068885, ccks=86229, wck=39.349, mem=192M429
47.54/42.15 decisions=35316, wrong=6377, backtracks=1996, failedAssignments=4906, nogoods=3927, foundSolutions=67, bestBound=478
47.54/42.15
47.73/42.30 o 477
47.73/42.30 num=322, depth=28..7017, filters=1071071, ccks=87516, wck=39.5, mem=197M658
47.73/42.30 decisions=35396, wrong=6383, backtracks=1996, failedAssignments=4912, nogoods=3933, foundSolutions=68, bestBound=477
47.73/42.30
47.93/42.52 num=323, depth=2..94, filters=1073477, ccks=87516, wck=39.718, mem=197M658
47.93/42.52 decisions=35519, wrong=6400, backtracks=2004, failedAssignments=4928, nogoods=3942, foundSolutions=68, bestBound=477
47.93/42.52
48.03/42.67 o 476
48.03/42.67 num=324, depth=88..7017, filters=1075467, ccks=88803, wck=39.87, mem=200M273
48.03/42.67 decisions=35623, wrong=6407, backtracks=2004, failedAssignments=4935, nogoods=3949, foundSolutions=69, bestBound=476
48.03/42.67
48.23/42.86
48.23/42.86 New Bounds: 476..475
48.23/42.88 num=325, depth=0..1, filters=1076422, ccks=88803, wck=40.072, mem=200M273
48.23/42.88 decisions=35627, wrong=6410, backtracks=2006, failedAssignments=4936, foundSolutions=69, bestBound=476
48.23/42.88
48.23/42.88 Global
48.23/42.88 filters=1076422, ccks=88803
48.23/42.88 Stop=FULL_EXPLORATION, wrong=6410, bestBound=476, bestBoundWck=40.831, bestBoundCpu=42.567, foundSolutions=69, firstSolCpu=6.149
48.23/42.88 wck=41.037, cpu=42.773, mem=200M273
48.23/42.89
48.23/42.89 v <instantiation id='sol69' type='solution' cost='476'> <list> p[] r[][] </list> <values> 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 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 0 0 0 1 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 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 </values> </instantiation>
48.23/42.89 s OPTIMUM FOUND
48.23/42.89
48.23/42.89 d WRONG_DECISIONS 6410
48.23/42.89 d NUMBER_SOLUTIONS 69