2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
3.31/2.18 Instance
3.31/2.18 name=instance-4390978-1568380679, framework=COP, bounds=-infty..+infty
3.31/2.18
3.31/2.18 Loading variables...
3.98/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcd9901
3.98/2.38 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b275e6d
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40a88bb8
3.98/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a527a17
4.31/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d28e9f
4.31/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe0afca
4.31/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56ba7916
4.31/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65d2c951
4.31/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7ee7da
4.31/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47f5da8f
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f509e84
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5126f
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e4b027
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c8301f
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34901457
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b7d9421
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@319bdd07
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@585760c1
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5823d72a
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f7a90
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e684714
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c836a56
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adc42e9
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ed4d96f
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c88384
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@709c09de
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d91006
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43556489
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b36f676
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a7f2a10
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f510901
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d759c4e
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f341c85
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@782c775d
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fcdcbca
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dfd1004
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d17f4b8
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e81689e
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f8c616f
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e15735
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eee1cbd
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@799c2596
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6966c473
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e9e4a33
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f476675
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16086b10
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c40cf6
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d168cda
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cdf927c
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d580c5
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1de95f1e
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d8947db
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb96d32
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2fe96a
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6da5d0d2
4.31/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b896503
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@452441d3
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13c3b061
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5379fd76
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d5602d6
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253fe4c3
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ced7fd4
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36c997f5
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b46ae6
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7f339
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1051501e
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@870939b
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0c31dc
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@767e9afb
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3729ca49
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e84cf0a
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc85926
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df1728
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5b9e24
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5702143e
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2953ecce
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f2194e
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52353b2a
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ff05b1
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c79b7f2
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c8f3d1f
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b021e9b
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e60646c
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606d4b05
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6012c4fa
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32d4283f
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db3739a
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d77c210
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@526f049a
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c95f2b
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cf81c8
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bd3af7e
4.31/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dadbeff
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d1fe950
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28066cc1
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92bfef9
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@596cf9a5
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a34b3
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415503c8
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40dc19c1
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a68db
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bac407
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b495e61
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bc76377
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d180ba
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e104948
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306cddaa
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10c331be
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f96304
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f70d96
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5910165b
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca74366
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5332b043
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ddaab4c
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fcd3b01
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f74c5b2
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@90a2e8e
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6343ba2a
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce1a0b4
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35650a85
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c187934
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4164e1f6
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f373d89
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a7bb3c
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd123f7
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12124ff3
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4978147d
4.31/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff96dc5
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@499356e4
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244dfb08
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cfbbb0e
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6686486f
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f6302cf
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355f72e9
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43c379ba
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c268b5
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8e257a
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6631cd07
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b759b71
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c60b49
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56582f1f
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33612880
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5998d782
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7deba8db
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5504ffba
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f36396
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5758e4aa
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@194150da
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3577f744
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@207655d9
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e88eed6
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6486bd
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d918405
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d4cda4e
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394f7bfc
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23672821
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7253bf91
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201b33f4
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72703813
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83ca719
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63cf3704
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7269ee33
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19543429
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f5fc282
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec0f50c
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58030451
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ca6d152
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@196a1004
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f24aa1b
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12bf3aa6
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bad7639
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c53a188
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46859060
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2646715b
4.31/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331d4413
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1733f81d
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@193f8dd3
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4795ee3b
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39c11eca
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eba5fae
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293380a8
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@272706b4
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@257728a6
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b428ee
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68beda98
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a3caf18
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77de7a12
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c7110
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca82a57
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0010c3
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d613e6
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c32a9e6
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a81cd4f
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2483d1c1
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ebc6744
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6068e6f0
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0439bf
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5acd27dd
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@296e89d6
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc1eced
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad77a0
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324306d0
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@719487b
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76ef0077
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@467694bf
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ba6e62
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6002d625
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c47e3bf
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3752a03
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e75b65d
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5277dd4a
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba78195
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9bb300e
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee8a6d8
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1eded9
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@692da81a
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@622dcd88
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9574a
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ffeecee
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7370eb8b
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c327f
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3778a983
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@779b5a8d
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c9c7f4
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49029b57
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1e5333
4.31/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cb5d03
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44cb402a
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@368b6f68
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198066b6
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310f54f7
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@93598af
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0d461d
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b4b8075
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a18f88e
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@378c0fb6
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1a5b3b
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ab4d62
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b4db4
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6588b8b9
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e755f20
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f781333
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2134732c
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c1bfbc
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a456606
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76357720
4.31/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9cc5578
4.65/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27371f12
4.65/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77011ad8
4.65/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25224ed1
4.65/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2929d6d8
4.65/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34daf216
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b73f859
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a88325
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@351a3fd
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2852a203
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1053b677
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c5296b5
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52afd315
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b61ddb
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7215b8f0
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441803b4
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32489f0f
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5658668e
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665e3f41
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb48353
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b19fdd6
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75105547
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0f4049
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@181821f6
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613c1ae2
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bec3e1
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34b4ad9b
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c5af63
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f4398a6
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adf2913
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66fb0e8c
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d5a885
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bf4055
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a7d5756
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb4d8fa
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74682145
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c2b24de
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d47d91
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b0af382
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3579864e
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26943338
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e21fc7
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9c69fe2
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65bab24c
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3598a295
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c9bf4f
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aeedafd
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2da7af63
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3951b149
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5183bc39
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5559d579
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f98afe
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b2f1531
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5765da44
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d331dd
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc23905
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74215cbc
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbf70c9
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5990bb5a
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2743ce69
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a334964
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@664e37a1
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@beaf2fe
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fff1a82
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f541a94
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e0d4dfe
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49779a83
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa86334
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59465108
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b33871d
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f855cd0
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583f4d70
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d93934b
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798734cc
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394168ab
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f3718a0
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6854bf0e
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233d6e95
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20762800
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18ca4650
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9eb8ab
4.65/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a71c7ff
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33412117
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@680cfaaf
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46108a3f
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f15cc
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25505d54
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18ecce24
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43c9a803
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f99ece4
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3210e3f5
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5709de61
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c80eb9
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213103d4
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@461c9fec
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4622f7b5
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc9d520
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10decfb1
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7ac57a
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd5dd87
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437e7451
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2e39d5
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c997770
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69accf08
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a8b7c8
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@180bc2c6
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7154dc14
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24916f2b
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd3f96
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f04f223
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56bcad18
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a25ed3
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3f5dda
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e40410d
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd2c0
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@591fe366
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb9d6bd
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@630e4c83
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@679cc787
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f6c66a
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24fa11a8
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf9d98c
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@678d7a62
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24f8ba63
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49b2f52c
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@575c46ec
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a766539
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ff15026
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da71113
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a1ad1f7
4.65/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492c4dd
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f7db6a
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3988b2f2
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6af3f029
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1f0c51
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76dcfa79
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13841e57
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581f4fe7
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c47b45
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4399a291
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed62900
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cfb626d
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2177a9
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d6e34d4
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f35b21c
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278bbfc1
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbc676e
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216f113d
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf235b0
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5831e09c
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a981f1
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39487873
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63850e76
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256359dd
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6418eb8a
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151b68d1
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346e1112
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1a3762
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fc849
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f3534c
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f9d432
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528bd0f
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed3dd00
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a08d7b6
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f18486b
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1c492b
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c1f6a4
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@325fc5ef
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d70d1be
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3219e46d
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b1afdf
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a33ff53
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e765c3
4.65/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27e0f8a7
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e75895e
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6edafc48
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f196aef
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10f69012
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ffbb2e
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dc57788
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be28748
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cae1d39
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66360bdb
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@adafc53
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d0f1867
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df55168
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1efb2690
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6968a642
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f280d6
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fc24acf
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b83b4bb
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bafe17
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49bb624c
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9582c15
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de5e402
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32fb8429
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dcae736
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30e9bea7
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc52da8
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65d68b85
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a5855
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7393c5d3
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c3cc96
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ffb2501
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c829cdd
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56feb9ad
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19f5f29f
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4058db3d
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8685a19
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cac7812
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2114a9d5
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a92f565
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41042c64
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12860800
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b57492
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e917c53
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1592ad2d
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11ee3ee1
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29799055
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58d7203e
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab7991
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28bdf76f
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bcf983a
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625fa548
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54063e5e
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fe61a09
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282e290
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592671cb
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f8fa34
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51512cef
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4faf02
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c74b58
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c1735fa
4.65/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372a38fe
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dfeb00d
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127d8259
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d6f99f8
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6206bc84
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fde4695
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@580cd926
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76602d8f
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a56f8be
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8cdc62
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8c2848e
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c247bc
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ccd4edc
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a66ee4
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7392a9
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e99b7e
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bd44b
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b91de8
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@410ade22
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1f03ae
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6013aee
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e9c2d8d
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38b8cf5c
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dffb4f9
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb7e245
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c06545b
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c875c1
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34192fb3
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5697f09b
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198e15fd
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f150442
4.65/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c4395f8
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64da7020
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4be8b2a0
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d67ca10
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@282835a2
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef211ac
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ecfa0cc
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7efcc828
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721f9c14
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@148ee88e
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573e37a7
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@668ba5dd
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ba504e
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2f2cff
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45a567c8
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9c7005b
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dadf79d
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcf3248
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cad17fe
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8a8761
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6719a67f
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584f1126
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1156ec
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@357e18c
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aae4c7c
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dc44f17
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5023441f
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5297e396
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2177b735
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2443e90b
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@231b37bc
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78290b14
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c72f1f
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5f6267
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55199769
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b4fdbd5
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bbaac
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf2761d
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e7c5702
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ca60b8b
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ab08e0
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5380f57f
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b946128
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42eaa90c
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fd7ff2f
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42209663
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e7d2ed
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2be5aa99
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eb4363a
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@600d34b8
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7460f10
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f306839
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d493fb
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44a25b38
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eada217
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c46e575
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f951079
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763e19d3
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5052ff56
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2285a2
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5378d341
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660d36d5
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef65dd2
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cec63d6
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b07bd9
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef3abe7
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@345922a8
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42aba924
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f277144
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65289fd9
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1199a234
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b7be24
4.65/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ee0d651
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734258c9
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8d712b
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25534dc8
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd2a765
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50985a97
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1128309b
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fed4123
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ca1f97b
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b465c41
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69c7f68b
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cba88b
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48eb6c6a
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78a7e2
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d246c6
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419f5845
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f4d0120
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a51ecf
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437b776e
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49266625
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f5c5af
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ec8290e
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d94c4a
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702b0afd
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79b26c3f
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7809f31f
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd6bf2c
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532ee867
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@733f21ca
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ae098a
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3530d8a1
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c294a5a
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf8d065
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d502c
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bdd8934
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@624864d5
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24f297c7
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e76626a
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c4ee93
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c8f580
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c6578
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@101415a5
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6da1f45f
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5d9529
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af58142
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@667af2c0
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf30291
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f1d52af
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42658353
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1e6f72
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dc112e
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c635f36
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@494f77f5
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd67e21
4.65/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30956a10
4.65/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65394c02
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a3cdd5
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725f0c05
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18496a8c
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7573f14
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72324382
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f153e7
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7301c372
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@444d308f
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ed31d0
4.65/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d11336e
5.03/2.69
5.03/2.69
5.03/2.69 Domains
5.03/2.69 nTypes=11, nValues=645656, sizes=[2#638,22#638,41#638,43#638...137#638,155#638,178#638,212#638]
5.03/2.69 Variables
5.03/2.69 count=7018, degrees=[3#658,4#6360]
5.03/2.69 Objectives
5.03/2.69 way=min, type=SumSimpleLE
5.03/2.69 Constraints
5.03/2.69 count=1287, nSpecific=1287, arities=[11#638,20#637,638#12]
5.03/2.69 distribution=[LexicographicLe#637,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#638]
5.03/2.69 wck=0.842, cpu=2.649, mem=121M652
5.37/2.74 Solver SolverBacktrack being built...
5.37/2.74
5.66/2.82
5.66/2.82 Solver
5.66/2.82 guaranteedGAC=false
5.66/2.82 wck=0.976, cpu=2.754, mem=94M573
6.06/3.05
6.06/3.05 Preprocessing
6.06/3.05 filters=695, nACremovedValues=618860, nTotalRemovedValues=618860, inconcistency=false
6.06/3.05 wck=0.224, cpu=2.984, mem=94M573
6.06/3.05
6.76/3.34 num=0, depth=0..597, filters=6115, wck=0.509, mem=94M573
6.76/3.34 decisions=608, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
6.76/3.34
7.07/3.41 num=1, depth=0..21, filters=11458, wck=0.584, mem=94M573
7.07/3.41 decisions=641, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
7.07/3.41
7.07/3.47 num=2, depth=0..15, filters=17093, wck=0.647, mem=94M573
7.07/3.47 decisions=669, wrong=33, backtracks=0, failedAssignments=33, nogoods=30
7.07/3.47
7.21/3.54 num=3, depth=0..16, filters=23162, wck=0.716, mem=94M573
7.21/3.54 decisions=699, wrong=46, backtracks=0, failedAssignments=46, nogoods=42
7.21/3.54
8.31/4.57 num=4, depth=0..568, filters=127853, wck=1.753, mem=94M573
8.31/4.57 decisions=1674, wrong=256, backtracks=196, failedAssignments=60, nogoods=55
8.31/4.57
9.04/5.20 num=5, depth=0..93, filters=152974, wck=2.379, mem=94M573
9.04/5.20 decisions=1923, wrong=365, backtracks=289, failedAssignments=76, nogoods=66
9.04/5.20
9.04/5.28 num=6, depth=11..28, filters=159095, wck=2.456, mem=94M573
9.04/5.28 decisions=2032, wrong=414, backtracks=327, failedAssignments=93, nogoods=67
9.04/5.28
9.15/5.35 num=7, depth=0..33, filters=164447, wck=2.53, mem=94M573
9.15/5.35 decisions=2129, wrong=453, backtracks=356, failedAssignments=112, nogoods=74
9.15/5.35
9.29/5.43 num=8, depth=8..24, filters=169445, wck=2.609, mem=94M573
9.29/5.43 decisions=2219, wrong=490, backtracks=378, failedAssignments=133, nogoods=79
9.29/5.43
9.42/5.56 num=9, depth=0..37, filters=177872, wck=2.741, mem=94M573
9.42/5.56 decisions=2329, wrong=532, backtracks=405, failedAssignments=156, nogoods=90
9.42/5.56
9.52/5.62 num=10, depth=0..50, filters=181365, wck=2.794, mem=94M573
9.52/5.62 decisions=2431, wrong=567, backtracks=417, failedAssignments=181, nogoods=110
9.52/5.62
9.52/5.66 num=11, depth=1..80, filters=184235, wck=2.842, mem=94M573
9.52/5.66 decisions=2553, wrong=600, backtracks=422, failedAssignments=209, nogoods=136
9.52/5.66
9.62/5.72 num=12, depth=1..59, filters=188021, wck=2.9, mem=94M573
9.62/5.72 decisions=2678, wrong=645, backtracks=437, failedAssignments=240, nogoods=160
9.62/5.72
9.62/5.79 num=13, depth=0..82, filters=192980, wck=2.972, mem=94M573
9.62/5.79 decisions=2837, wrong=698, backtracks=463, failedAssignments=274, nogoods=186
9.62/5.79
9.73/5.86 num=14, depth=0..62, filters=197900, wck=3.043, mem=94M573
9.73/5.86 decisions=2984, wrong=747, backtracks=499, failedAssignments=311, nogoods=195
9.73/5.86
9.83/5.94 num=15, depth=0..111, filters=203097, wck=3.118, mem=97M213
9.83/5.94 decisions=3171, wrong=801, backtracks=517, failedAssignments=352, nogoods=229
9.83/5.94
10.20/6.11 o 638
10.20/6.13 num=16, depth=1..7017, filters=207161, ccks=1287, wck=3.307, mem=99M860
10.20/6.13 decisions=3348, wrong=829, backtracks=517, failedAssignments=380, nogoods=257, foundSolutions=1, bestBound=638
10.20/6.13
10.66/6.47 o 626
10.66/6.47 num=17, depth=2..7017, filters=212309, ccks=2574, wck=3.651, mem=102M519
10.66/6.47 decisions=3568, wrong=865, backtracks=521, failedAssignments=414, nogoods=289, foundSolutions=2, bestBound=626
10.66/6.47
10.95/6.69 num=18, depth=3..100, filters=215578, ccks=2574, wck=3.865, mem=102M519
10.95/6.69 decisions=3684, wrong=876, backtracks=521, failedAssignments=425, nogoods=300, foundSolutions=2, bestBound=626
10.95/6.69
11.08/6.73 num=19, depth=3..96, filters=218697, ccks=2574, wck=3.912, mem=102M519
11.08/6.73 decisions=3794, wrong=887, backtracks=521, failedAssignments=436, nogoods=311, foundSolutions=2, bestBound=626
11.08/6.73
11.08/6.79 num=20, depth=3..155, filters=222683, ccks=2574, wck=3.971, mem=102M519
11.08/6.79 decisions=3968, wrong=899, backtracks=521, failedAssignments=448, nogoods=323, foundSolutions=2, bestBound=626
11.08/6.79
11.18/6.83 num=21, depth=3..67, filters=225415, ccks=2574, wck=4.012, mem=102M519
11.18/6.83 decisions=4050, wrong=912, backtracks=521, failedAssignments=461, nogoods=336, foundSolutions=2, bestBound=626
11.18/6.83
11.18/6.88 num=22, depth=3..90, filters=228802, ccks=2574, wck=4.062, mem=102M519
11.18/6.88 decisions=4157, wrong=926, backtracks=521, failedAssignments=475, nogoods=350, foundSolutions=2, bestBound=626
11.18/6.88
11.28/6.93 num=23, depth=3..77, filters=231993, ccks=2574, wck=4.109, mem=102M519
11.28/6.93 decisions=4252, wrong=942, backtracks=521, failedAssignments=491, nogoods=366, foundSolutions=2, bestBound=626
11.28/6.93
11.28/6.97 num=24, depth=3..55, filters=234628, ccks=2574, wck=4.15, mem=102M519
11.28/6.97 decisions=4326, wrong=959, backtracks=521, failedAssignments=508, nogoods=383, foundSolutions=2, bestBound=626
11.28/6.97
11.39/7.01 num=25, depth=3..64, filters=237431, ccks=2574, wck=4.193, mem=102M519
11.39/7.01 decisions=4411, wrong=978, backtracks=521, failedAssignments=527, nogoods=402, foundSolutions=2, bestBound=626
11.39/7.01
11.39/7.08 num=26, depth=4..168, filters=241976, ccks=2574, wck=4.258, mem=102M519
11.39/7.08 decisions=4613, wrong=1003, backtracks=526, failedAssignments=548, nogoods=421, foundSolutions=2, bestBound=626
11.39/7.08
11.50/7.14 num=27, depth=5..158, filters=246010, ccks=2574, wck=4.319, mem=102M519
11.50/7.14 decisions=4811, wrong=1030, backtracks=534, failedAssignments=571, nogoods=438, foundSolutions=2, bestBound=626
11.50/7.14
11.59/7.29 o 622
11.59/7.30 num=28, depth=5..7017, filters=249677, ccks=3861, wck=4.478, mem=105M160
11.59/7.30 decisions=4978, wrong=1040, backtracks=534, failedAssignments=581, nogoods=448, foundSolutions=3, bestBound=622
11.59/7.30
12.04/7.61 o 618
12.04/7.62 num=29, depth=89..7017, filters=253127, ccks=5148, wck=4.798, mem=107M801
12.04/7.62 decisions=5143, wrong=1045, backtracks=534, failedAssignments=586, nogoods=453, foundSolutions=4, bestBound=618
12.04/7.62
12.35/7.93 o 616
12.35/7.94 num=30, depth=165..7017, filters=256572, ccks=6435, wck=5.117, mem=110M442
12.35/7.94 decisions=5327, wrong=1052, backtracks=535, failedAssignments=592, nogoods=459, foundSolutions=5, bestBound=616
12.35/7.94
12.57/8.16 num=31, depth=171..175, filters=260038, ccks=6435, wck=5.337, mem=110M442
12.57/8.16 decisions=5522, wrong=1063, backtracks=535, failedAssignments=603, nogoods=470, foundSolutions=5, bestBound=616
12.57/8.16
12.69/8.22 num=32, depth=170..180, filters=263697, ccks=6435, wck=5.395, mem=110M442
12.69/8.22 decisions=5714, wrong=1074, backtracks=535, failedAssignments=614, nogoods=481, foundSolutions=5, bestBound=616
12.69/8.22
12.80/8.37 o 611
12.80/8.37 num=33, depth=171..7017, filters=267055, ccks=7722, wck=5.55, mem=113M83
12.80/8.37 decisions=5893, wrong=1077, backtracks=535, failedAssignments=617, nogoods=484, foundSolutions=6, bestBound=611
12.80/8.37
13.02/8.59 num=34, depth=181..184, filters=270520, ccks=7722, wck=5.77, mem=113M83
13.02/8.59 decisions=6102, wrong=1091, backtracks=538, failedAssignments=630, nogoods=493, foundSolutions=6, bestBound=611
13.02/8.59
13.22/8.74 o 609
13.22/8.75 num=35, depth=7019..7017, filters=273902, ccks=9009, wck=5.925, mem=115M724
13.22/8.75 decisions=6287, wrong=1091, backtracks=538, failedAssignments=630, nogoods=493, foundSolutions=7, bestBound=609
13.22/8.75
13.42/8.97 num=36, depth=182..189, filters=277401, ccks=9009, wck=6.144, mem=115M724
13.42/8.97 decisions=6501, wrong=1106, backtracks=545, failedAssignments=642, nogoods=498, foundSolutions=7, bestBound=609
13.42/8.97
13.53/9.02 num=37, depth=111..183, filters=280897, ccks=9009, wck=6.201, mem=115M724
13.53/9.02 decisions=6704, wrong=1119, backtracks=547, failedAssignments=653, nogoods=507, foundSolutions=7, bestBound=609
13.53/9.02
13.53/9.08 num=38, depth=56..177, filters=284237, ccks=9009, wck=6.257, mem=115M724
13.53/9.08 decisions=6905, wrong=1134, backtracks=552, failedAssignments=665, nogoods=513, foundSolutions=7, bestBound=609
13.53/9.08
13.64/9.14 num=39, depth=34..183, filters=288313, ccks=9009, wck=6.318, mem=115M724
13.64/9.14 decisions=7108, wrong=1148, backtracks=553, failedAssignments=678, nogoods=526, foundSolutions=7, bestBound=609
13.64/9.14
13.64/9.19 num=40, depth=125..172, filters=291577, ccks=9009, wck=6.372, mem=115M724
13.64/9.19 decisions=7302, wrong=1162, backtracks=553, failedAssignments=692, nogoods=540, foundSolutions=7, bestBound=609
13.64/9.19
13.83/9.34 o 578
13.83/9.35 num=41, depth=145..7017, filters=294811, ccks=10296, wck=6.526, mem=121M6
13.83/9.35 decisions=7500, wrong=1177, backtracks=553, failedAssignments=707, nogoods=555, foundSolutions=8, bestBound=578
13.83/9.35
14.08/9.57 num=42, depth=33..192, filters=298334, ccks=10296, wck=6.747, mem=121M6
14.08/9.57 decisions=7714, wrong=1194, backtracks=553, failedAssignments=724, nogoods=572, foundSolutions=8, bestBound=578
14.08/9.57
14.32/9.72 o 577
14.32/9.72 num=43, depth=19..7017, filters=301491, ccks=11583, wck=6.901, mem=123M647
14.32/9.72 decisions=7895, wrong=1197, backtracks=553, failedAssignments=727, nogoods=575, foundSolutions=9, bestBound=577
14.32/9.72
14.52/9.95 num=44, depth=19..287, filters=304965, ccks=11583, wck=7.126, mem=123M647
14.52/9.95 decisions=8198, wrong=1210, backtracks=554, failedAssignments=739, nogoods=587, foundSolutions=9, bestBound=577
14.52/9.95
14.63/10.01 num=45, depth=20..266, filters=308198, ccks=11583, wck=7.186, mem=123M647
14.63/10.01 decisions=8482, wrong=1224, backtracks=557, failedAssignments=750, nogoods=596, foundSolutions=9, bestBound=577
14.63/10.01
14.63/10.05 num=46, depth=20..53, filters=310564, ccks=11583, wck=7.225, mem=123M647
14.63/10.05 decisions=8549, wrong=1236, backtracks=557, failedAssignments=762, nogoods=608, foundSolutions=9, bestBound=577
14.63/10.05
14.63/10.10 num=47, depth=20..139, filters=313674, ccks=11583, wck=7.276, mem=123M647
14.63/10.10 decisions=8704, wrong=1249, backtracks=557, failedAssignments=775, nogoods=621, foundSolutions=9, bestBound=577
14.63/10.10
14.73/10.15 num=48, depth=20..134, filters=316991, ccks=11583, wck=7.329, mem=123M647
14.73/10.15 decisions=8879, wrong=1275, backtracks=570, failedAssignments=789, nogoods=626, foundSolutions=9, bestBound=577
14.73/10.15
14.92/10.30 o 576
14.92/10.30 num=49, depth=22..7017, filters=320255, ccks=12870, wck=7.482, mem=126M288
14.92/10.30 decisions=9070, wrong=1282, backtracks=570, failedAssignments=796, nogoods=633, foundSolutions=10, bestBound=576
14.92/10.30
15.12/10.52 num=50, depth=43..52, filters=323348, ccks=12870, wck=7.694, mem=126M288
15.12/10.52 decisions=9177, wrong=1313, backtracks=590, failedAssignments=813, nogoods=635, foundSolutions=10, bestBound=576
15.12/10.52
15.12/10.54 num=51, depth=21..38, filters=324959, ccks=12870, wck=7.722, mem=126M288
15.12/10.54 decisions=9227, wrong=1324, backtracks=590, failedAssignments=824, nogoods=646, foundSolutions=10, bestBound=576
15.12/10.54
15.12/10.58 num=52, depth=9..40, filters=326940, ccks=12870, wck=7.754, mem=126M288
15.12/10.58 decisions=9281, wrong=1337, backtracks=599, failedAssignments=836, nogoods=650, foundSolutions=10, bestBound=576
15.12/10.58
15.22/10.63 num=53, depth=29..89, filters=329595, ccks=12870, wck=7.806, mem=126M288
15.22/10.63 decisions=9387, wrong=1350, backtracks=599, failedAssignments=849, nogoods=663, foundSolutions=10, bestBound=576
15.22/10.63
15.22/10.68 num=54, depth=9..97, filters=332544, ccks=12870, wck=7.855, mem=126M288
15.22/10.68 decisions=9521, wrong=1372, backtracks=607, failedAssignments=863, nogoods=672, foundSolutions=10, bestBound=576
15.22/10.68
15.32/10.75 num=55, depth=7..102, filters=335982, ccks=12870, wck=7.924, mem=126M288
15.32/10.75 decisions=9660, wrong=1396, backtracks=615, failedAssignments=879, nogoods=684, foundSolutions=10, bestBound=576
15.32/10.75
15.42/10.85 num=56, depth=1..72, filters=341894, ccks=12870, wck=8.024, mem=126M288
15.42/10.85 decisions=9786, wrong=1425, backtracks=632, failedAssignments=896, nogoods=692, foundSolutions=10, bestBound=576
15.42/10.85
15.58/10.96 num=57, depth=1..42, filters=349939, ccks=12870, wck=8.139, mem=126M288
15.58/10.96 decisions=9894, wrong=1461, backtracks=659, failedAssignments=915, nogoods=699, foundSolutions=10, bestBound=576
15.58/10.96
15.69/11.07 num=58, depth=1..93, filters=358538, ccks=12870, wck=8.251, mem=126M288
15.69/11.07 decisions=10041, wrong=1493, backtracks=676, failedAssignments=936, nogoods=714, foundSolutions=10, bestBound=576
15.69/11.07
15.79/11.17 num=59, depth=1..80, filters=364876, ccks=12870, wck=8.351, mem=126M288
15.79/11.17 decisions=10193, wrong=1534, backtracks=701, failedAssignments=959, nogoods=729, foundSolutions=10, bestBound=576
15.79/11.17
15.90/11.26 num=60, depth=1..134, filters=371098, ccks=12870, wck=8.44, mem=126M288
15.90/11.26 decisions=10387, wrong=1572, backtracks=719, failedAssignments=984, nogoods=748, foundSolutions=10, bestBound=576
15.90/11.26
16.00/11.37 num=61, depth=2..161, filters=377924, ccks=12870, wck=8.547, mem=126M288
16.00/11.37 decisions=10632, wrong=1620, backtracks=747, failedAssignments=1012, nogoods=765, foundSolutions=10, bestBound=576
16.00/11.37
16.20/11.59 o 575
16.30/11.60 num=62, depth=2..7017, filters=386699, ccks=14157, wck=8.777, mem=128M929
16.30/11.60 decisions=10872, wrong=1669, backtracks=776, failedAssignments=1041, nogoods=784, foundSolutions=11, bestBound=575
16.30/11.60
16.60/11.94 num=63, depth=4..112, filters=400304, ccks=14157, wck=9.116, mem=128M929
16.60/11.94 decisions=11091, wrong=1729, backtracks=814, failedAssignments=1075, nogoods=800, foundSolutions=11, bestBound=575
16.60/11.94
16.60/12.00 num=64, depth=1..70, filters=403813, ccks=14157, wck=9.178, mem=128M929
16.60/12.00 decisions=11194, wrong=1748, backtracks=823, failedAssignments=1086, nogoods=806, foundSolutions=11, bestBound=575
16.60/12.00
16.71/12.08 num=65, depth=1..94, filters=408827, ccks=14157, wck=9.258, mem=128M929
16.71/12.08 decisions=11323, wrong=1768, backtracks=833, failedAssignments=1098, nogoods=814, foundSolutions=11, bestBound=575
16.71/12.08
16.81/12.17 num=66, depth=1..112, filters=414605, ccks=14157, wck=9.349, mem=128M929
16.81/12.17 decisions=11467, wrong=1788, backtracks=843, failedAssignments=1111, nogoods=823, foundSolutions=11, bestBound=575
16.81/12.17
16.90/12.25 num=67, depth=1..89, filters=419264, ccks=14157, wck=9.425, mem=128M929
16.90/12.25 decisions=11588, wrong=1807, backtracks=852, failedAssignments=1125, nogoods=832, foundSolutions=11, bestBound=575
16.90/12.25
17.10/12.41 o 574
17.10/12.41 num=68, depth=2..7017, filters=423348, ccks=15444, wck=9.591, mem=131M588
17.10/12.41 decisions=11755, wrong=1822, backtracks=857, failedAssignments=1136, nogoods=842, foundSolutions=12, bestBound=574
17.10/12.41
17.30/12.62 num=69, depth=3..67, filters=425619, ccks=15444, wck=9.795, mem=131M588
17.30/12.62 decisions=11869, wrong=1854, backtracks=872, failedAssignments=1153, nogoods=848, foundSolutions=12, bestBound=574
17.30/12.62
17.30/12.65 num=70, depth=4..54, filters=427567, ccks=15444, wck=9.829, mem=131M588
17.30/12.65 decisions=11935, wrong=1865, backtracks=872, failedAssignments=1164, nogoods=859, foundSolutions=12, bestBound=574
17.30/12.65
17.30/12.69 num=71, depth=4..60, filters=429822, ccks=15444, wck=9.87, mem=131M588
17.30/12.69 decisions=12008, wrong=1877, backtracks=872, failedAssignments=1176, nogoods=871, foundSolutions=12, bestBound=574
17.30/12.69
17.40/12.73 num=72, depth=4..61, filters=432263, ccks=15444, wck=9.911, mem=131M588
17.40/12.73 decisions=12090, wrong=1894, backtracks=876, failedAssignments=1189, nogoods=882, foundSolutions=12, bestBound=574
17.40/12.73
17.40/12.77 num=73, depth=3..40, filters=435026, ccks=15444, wck=9.952, mem=131M588
17.40/12.77 decisions=12174, wrong=1926, backtracks=894, failedAssignments=1203, nogoods=887, foundSolutions=12, bestBound=574
17.40/12.77
17.60/12.94 o 572
17.60/12.95 num=74, depth=1..7017, filters=439597, ccks=16731, wck=10.124, mem=134M229
17.60/12.95 decisions=12335, wrong=1949, backtracks=904, failedAssignments=1218, nogoods=898, foundSolutions=13, bestBound=572
17.60/12.95
17.82/13.16 num=75, depth=5..130, filters=442783, ccks=16731, wck=10.34, mem=134M229
17.82/13.16 decisions=12486, wrong=1966, backtracks=904, failedAssignments=1235, nogoods=915, foundSolutions=13, bestBound=572
17.82/13.16
18.03/13.31 o 571
18.03/13.32 num=76, depth=3..7017, filters=445863, ccks=18018, wck=10.494, mem=136M870
18.03/13.32 decisions=12606, wrong=1973, backtracks=904, failedAssignments=1242, nogoods=922, foundSolutions=14, bestBound=571
18.03/13.32
18.23/13.52 num=77, depth=46..59, filters=448688, ccks=18018, wck=10.703, mem=136M870
18.23/13.52 decisions=12702, wrong=1995, backtracks=915, failedAssignments=1254, nogoods=927, foundSolutions=14, bestBound=571
18.23/13.52
18.23/13.56 num=78, depth=2..42, filters=451078, ccks=18018, wck=10.74, mem=136M870
18.23/13.56 decisions=12776, wrong=2017, backtracks=927, failedAssignments=1265, nogoods=931, foundSolutions=14, bestBound=571
18.23/13.56
18.33/13.61 num=79, depth=2..60, filters=453779, ccks=18018, wck=10.783, mem=136M870
18.33/13.61 decisions=12859, wrong=2036, backtracks=935, failedAssignments=1277, nogoods=940, foundSolutions=14, bestBound=571
18.33/13.61
18.33/13.65 num=80, depth=2..64, filters=456640, ccks=18018, wck=10.829, mem=136M870
18.33/13.65 decisions=12949, wrong=2055, backtracks=943, failedAssignments=1290, nogoods=949, foundSolutions=14, bestBound=571
18.33/13.65
18.44/13.72 num=81, depth=2..62, filters=460962, ccks=18018, wck=10.899, mem=136M870
18.44/13.72 decisions=13042, wrong=2075, backtracks=951, failedAssignments=1304, nogoods=959, foundSolutions=14, bestBound=571
18.44/13.72
18.54/13.80 num=82, depth=2..61, filters=465936, ccks=18018, wck=10.978, mem=136M870
18.54/13.80 decisions=13143, wrong=2101, backtracks=964, failedAssignments=1320, nogoods=969, foundSolutions=14, bestBound=571
18.54/13.80
18.54/13.88 num=83, depth=2..64, filters=471164, ccks=18018, wck=11.06, mem=136M870
18.54/13.88 decisions=13242, wrong=2124, backtracks=972, failedAssignments=1337, nogoods=981, foundSolutions=14, bestBound=571
18.54/13.88
18.64/13.93 num=84, depth=2..70, filters=474141, ccks=18018, wck=11.11, mem=136M870
18.64/13.93 decisions=13360, wrong=2154, backtracks=986, failedAssignments=1356, nogoods=992, foundSolutions=14, bestBound=571
18.64/13.93
18.64/13.98 num=85, depth=2..64, filters=477423, ccks=18018, wck=11.161, mem=136M870
18.64/13.98 decisions=13472, wrong=2186, backtracks=997, failedAssignments=1377, nogoods=1009, foundSolutions=14, bestBound=571
18.64/13.98
18.74/14.04 num=86, depth=2..79, filters=480528, ccks=18018, wck=11.217, mem=136M870
18.74/14.04 decisions=13608, wrong=2223, backtracks=1015, failedAssignments=1400, nogoods=1021, foundSolutions=14, bestBound=571
18.74/14.04
18.74/14.08 num=87, depth=2..71, filters=482800, ccks=18018, wck=11.263, mem=136M870
18.74/14.08 decisions=13705, wrong=2248, backtracks=1015, failedAssignments=1425, nogoods=1046, foundSolutions=14, bestBound=571
18.74/14.08
18.85/14.15 num=88, depth=26..62, filters=485061, ccks=18018, wck=11.328, mem=136M870
18.85/14.15 decisions=13796, wrong=2276, backtracks=1015, failedAssignments=1453, nogoods=1074, foundSolutions=14, bestBound=571
18.85/14.15
18.94/14.21 num=89, depth=8..68, filters=488384, ccks=18018, wck=11.391, mem=136M870
18.94/14.21 decisions=13929, wrong=2324, backtracks=1032, failedAssignments=1484, nogoods=1090, foundSolutions=14, bestBound=571
18.94/14.21
18.94/14.26 num=90, depth=3..85, filters=490817, ccks=18018, wck=11.439, mem=136M870
18.94/14.26 decisions=14049, wrong=2358, backtracks=1032, failedAssignments=1518, nogoods=1124, foundSolutions=14, bestBound=571
18.94/14.26
19.04/14.33 num=91, depth=8..121, filters=493747, ccks=18018, wck=11.504, mem=136M870
19.04/14.33 decisions=14210, wrong=2395, backtracks=1032, failedAssignments=1555, nogoods=1161, foundSolutions=14, bestBound=571
19.04/14.33
19.14/14.43 num=92, depth=35..64, filters=498106, ccks=18018, wck=11.604, mem=136M870
19.14/14.43 decisions=14418, wrong=2472, backtracks=1099, failedAssignments=1596, nogoods=1166, foundSolutions=14, bestBound=571
19.14/14.43
19.37/14.60 o 567
19.37/14.61 num=93, depth=19..7017, filters=503072, ccks=19305, wck=11.785, mem=139M548
19.37/14.61 decisions=14591, wrong=2521, backtracks=1118, failedAssignments=1628, nogoods=1184, foundSolutions=15, bestBound=567
19.37/14.61
19.68/14.92 o 566
19.68/14.92 num=94, depth=2..7017, filters=506516, ccks=20592, wck=12.099, mem=142M189
19.68/14.92 decisions=14754, wrong=2557, backtracks=1118, failedAssignments=1664, nogoods=1220, foundSolutions=16, bestBound=566
19.68/14.92
19.89/15.12 num=95, depth=3..62, filters=508917, ccks=20592, wck=12.301, mem=142M189
19.89/15.12 decisions=14835, wrong=2572, backtracks=1127, failedAssignments=1675, nogoods=1225, foundSolutions=16, bestBound=566
19.89/15.12
19.98/15.27 o 563
19.98/15.28 num=96, depth=24..7017, filters=511612, ccks=21879, wck=12.457, mem=144M830
19.98/15.28 decisions=14919, wrong=2581, backtracks=1127, failedAssignments=1684, nogoods=1234, foundSolutions=17, bestBound=563
19.98/15.28
20.19/15.49 num=97, depth=26..69, filters=514879, ccks=21879, wck=12.667, mem=144M830
20.19/15.49 decisions=15014, wrong=2598, backtracks=1132, failedAssignments=1696, nogoods=1246, foundSolutions=17, bestBound=563
20.19/15.49
20.29/15.56 num=98, depth=2..59, filters=520131, ccks=21879, wck=12.739, mem=144M830
20.29/15.56 decisions=15110, wrong=2620, backtracks=1144, failedAssignments=1707, nogoods=1254, foundSolutions=17, bestBound=563
20.29/15.56
20.49/15.73 o 562
20.49/15.73 num=99, depth=2..7017, filters=525147, ccks=23166, wck=12.91, mem=147M471
20.49/15.73 decisions=15216, wrong=2636, backtracks=1154, failedAssignments=1715, nogoods=1261, foundSolutions=18, bestBound=562
20.49/15.73
20.69/15.95 num=100, depth=5..80, filters=528659, ccks=23166, wck=13.126, mem=147M471
20.69/15.95 decisions=15323, wrong=2654, backtracks=1160, failedAssignments=1728, nogoods=1273, foundSolutions=18, bestBound=562
20.69/15.95
20.80/16.01 num=101, depth=2..94, filters=532530, ccks=23166, wck=13.188, mem=147M471
20.80/16.01 decisions=15431, wrong=2666, backtracks=1161, failedAssignments=1739, nogoods=1284, foundSolutions=18, bestBound=562
20.80/16.01
20.90/16.16 o 561
20.90/16.17 num=102, depth=2..7017, filters=535881, ccks=24453, wck=13.346, mem=150M112
20.90/16.17 decisions=15538, wrong=2678, backtracks=1162, failedAssignments=1750, nogoods=1295, foundSolutions=19, bestBound=561
20.90/16.17
21.09/16.39 num=103, depth=20..47, filters=538804, ccks=24453, wck=13.566, mem=150M112
21.09/16.39 decisions=15628, wrong=2705, backtracks=1180, failedAssignments=1763, nogoods=1300, foundSolutions=19, bestBound=561
21.09/16.39
21.19/16.44 num=104, depth=2..46, filters=541537, ccks=24453, wck=13.616, mem=150M112
21.19/16.44 decisions=15707, wrong=2727, backtracks=1192, failedAssignments=1774, nogoods=1308, foundSolutions=19, bestBound=561
21.19/16.44
21.19/16.48 num=105, depth=2..38, filters=544259, ccks=24453, wck=13.661, mem=150M112
21.19/16.48 decisions=15774, wrong=2746, backtracks=1199, failedAssignments=1786, nogoods=1315, foundSolutions=19, bestBound=561
21.19/16.48
21.29/16.54 num=106, depth=11..53, filters=546828, ccks=24453, wck=13.715, mem=150M112
21.29/16.54 decisions=15843, wrong=2759, backtracks=1199, failedAssignments=1799, nogoods=1328, foundSolutions=19, bestBound=561
21.29/16.54
21.39/16.60 num=107, depth=2..66, filters=550953, ccks=24453, wck=13.783, mem=150M112
21.39/16.60 decisions=15946, wrong=2783, backtracks=1210, failedAssignments=1813, nogoods=1341, foundSolutions=19, bestBound=561
21.39/16.60
21.39/16.65 num=108, depth=2..67, filters=553562, ccks=24453, wck=13.831, mem=150M112
21.39/16.65 decisions=16032, wrong=2799, backtracks=1210, failedAssignments=1829, nogoods=1357, foundSolutions=19, bestBound=561
21.39/16.65
21.49/16.71 num=109, depth=2..106, filters=556697, ccks=24453, wck=13.886, mem=150M112
21.49/16.71 decisions=16158, wrong=2816, backtracks=1210, failedAssignments=1846, nogoods=1374, foundSolutions=19, bestBound=561
21.49/16.71
21.49/16.77 num=110, depth=2..117, filters=560247, ccks=24453, wck=13.944, mem=150M112
21.49/16.77 decisions=16296, wrong=2835, backtracks=1210, failedAssignments=1865, nogoods=1393, foundSolutions=19, bestBound=561
21.49/16.77
21.59/16.81 num=111, depth=2..65, filters=562977, ccks=24453, wck=13.993, mem=152M753
21.59/16.81 decisions=16383, wrong=2856, backtracks=1210, failedAssignments=1886, nogoods=1414, foundSolutions=19, bestBound=561
21.59/16.81
21.69/16.96 o 545
21.69/16.96 num=112, depth=2..7017, filters=565915, ccks=25740, wck=14.14, mem=155M432
21.69/16.96 decisions=16527, wrong=2871, backtracks=1210, failedAssignments=1901, nogoods=1429, foundSolutions=20, bestBound=545
21.69/16.96
21.90/17.18 num=113, depth=22..68, filters=568472, ccks=25740, wck=14.357, mem=155M432
21.90/17.18 decisions=16623, wrong=2897, backtracks=1211, failedAssignments=1926, nogoods=1454, foundSolutions=20, bestBound=545
21.90/17.18
21.99/17.23 num=114, depth=13..38, filters=569980, ccks=25740, wck=14.405, mem=155M432
21.99/17.23 decisions=16673, wrong=2908, backtracks=1211, failedAssignments=1937, nogoods=1465, foundSolutions=20, bestBound=545
21.99/17.23
21.99/17.26 num=115, depth=2..55, filters=571604, ccks=25740, wck=14.439, mem=155M432
21.99/17.26 decisions=16741, wrong=2920, backtracks=1211, failedAssignments=1949, nogoods=1477, foundSolutions=20, bestBound=545
21.99/17.26
22.09/17.31 num=116, depth=13..54, filters=573285, ccks=25740, wck=14.488, mem=155M432
22.09/17.31 decisions=16809, wrong=2933, backtracks=1211, failedAssignments=1962, nogoods=1490, foundSolutions=20, bestBound=545
22.09/17.31
22.09/17.36 num=117, depth=2..39, filters=576515, ccks=25740, wck=14.543, mem=155M432
22.09/17.36 decisions=16877, wrong=2955, backtracks=1222, failedAssignments=1976, nogoods=1495, foundSolutions=20, bestBound=545
22.09/17.36
22.19/17.41 num=118, depth=2..59, filters=579049, ccks=25740, wck=14.588, mem=155M432
22.19/17.41 decisions=16958, wrong=2973, backtracks=1224, failedAssignments=1992, nogoods=1510, foundSolutions=20, bestBound=545
22.19/17.41
22.19/17.46 num=119, depth=12..44, filters=581403, ccks=25740, wck=14.642, mem=155M432
22.19/17.46 decisions=17028, wrong=2994, backtracks=1232, failedAssignments=2009, nogoods=1520, foundSolutions=20, bestBound=545
22.19/17.46
22.30/17.54 num=120, depth=2..61, filters=585215, ccks=25740, wck=14.72, mem=155M432
22.30/17.54 decisions=17144, wrong=3025, backtracks=1246, failedAssignments=2028, nogoods=1528, foundSolutions=20, bestBound=545
22.30/17.54
22.30/17.58 num=121, depth=2..69, filters=587316, ccks=25740, wck=14.763, mem=155M432
22.30/17.58 decisions=17238, wrong=3047, backtracks=1248, failedAssignments=2049, nogoods=1548, foundSolutions=20, bestBound=545
22.30/17.58
22.40/17.65 num=122, depth=9..116, filters=590395, ccks=25740, wck=14.825, mem=155M432
22.40/17.65 decisions=17383, wrong=3070, backtracks=1248, failedAssignments=2072, nogoods=1571, foundSolutions=20, bestBound=545
22.40/17.65
22.50/17.72 num=123, depth=2..66, filters=593384, ccks=25740, wck=14.896, mem=155M432
22.50/17.72 decisions=17500, wrong=3104, backtracks=1257, failedAssignments=2097, nogoods=1589, foundSolutions=20, bestBound=545
22.50/17.72
22.50/17.78 num=124, depth=6..124, filters=596578, ccks=25740, wck=14.959, mem=155M432
22.50/17.78 decisions=17656, wrong=3132, backtracks=1257, failedAssignments=2125, nogoods=1617, foundSolutions=20, bestBound=545
22.50/17.78
22.60/17.87 num=125, depth=2..57, filters=600472, ccks=25740, wck=15.05, mem=155M432
22.60/17.87 decisions=17802, wrong=3184, backtracks=1280, failedAssignments=2156, nogoods=1633, foundSolutions=20, bestBound=545
22.60/17.87
22.81/18.02 num=126, depth=2..49, filters=608475, ccks=25740, wck=15.195, mem=155M432
22.81/18.02 decisions=17976, wrong=3252, backtracks=1321, failedAssignments=2190, nogoods=1645, foundSolutions=20, bestBound=545
22.81/18.02
22.91/18.15 num=127, depth=2..50, filters=615340, ccks=25740, wck=15.325, mem=155M432
22.91/18.15 decisions=18147, wrong=3324, backtracks=1359, failedAssignments=2227, nogoods=1655, foundSolutions=20, bestBound=545
22.91/18.15
23.00/18.24 num=128, depth=9..68, filters=620244, ccks=25740, wck=15.416, mem=155M432
23.00/18.24 decisions=18295, wrong=3381, backtracks=1376, failedAssignments=2268, nogoods=1689, foundSolutions=20, bestBound=545
23.00/18.24
23.20/18.40 o 539
23.20/18.40 num=129, depth=4..7017, filters=623596, ccks=27027, wck=15.58, mem=158M73
23.20/18.40 decisions=18461, wrong=3411, backtracks=1376, failedAssignments=2298, nogoods=1719, foundSolutions=21, bestBound=539
23.20/18.40
23.41/18.63 num=130, depth=7..126, filters=627519, ccks=27027, wck=15.81, mem=158M73
23.41/18.63 decisions=18673, wrong=3470, backtracks=1390, failedAssignments=2348, nogoods=1759, foundSolutions=21, bestBound=539
23.41/18.63
23.41/18.67 num=131, depth=2..52, filters=629374, ccks=27027, wck=15.85, mem=158M73
23.41/18.67 decisions=18737, wrong=3481, backtracks=1390, failedAssignments=2359, nogoods=1770, foundSolutions=21, bestBound=539
23.41/18.67
23.51/18.71 num=132, depth=2..42, filters=631281, ccks=27027, wck=15.89, mem=158M73
23.51/18.71 decisions=18794, wrong=3494, backtracks=1391, failedAssignments=2371, nogoods=1782, foundSolutions=21, bestBound=539
23.51/18.71
23.51/18.76 num=133, depth=2..39, filters=633535, ccks=27027, wck=15.936, mem=158M73
23.51/18.76 decisions=18850, wrong=3509, backtracks=1396, failedAssignments=2384, nogoods=1791, foundSolutions=21, bestBound=539
23.51/18.76
23.61/18.81 num=134, depth=3..81, filters=636202, ccks=27027, wck=15.993, mem=158M73
23.61/18.81 decisions=18947, wrong=3523, backtracks=1396, failedAssignments=2398, nogoods=1805, foundSolutions=21, bestBound=539
23.61/18.81
23.71/18.97 o 538
23.71/18.97 num=135, depth=7..7017, filters=639234, ccks=28314, wck=16.148, mem=160M714
23.71/18.97 decisions=19088, wrong=3534, backtracks=1396, failedAssignments=2409, nogoods=1816, foundSolutions=22, bestBound=538
23.71/18.97
23.92/19.16 num=136, depth=17..42, filters=640961, ccks=28314, wck=16.343, mem=160M714
23.92/19.16 decisions=19150, wrong=3552, backtracks=1397, failedAssignments=2426, nogoods=1833, foundSolutions=22, bestBound=538
23.92/19.16
24.01/19.22 num=137, depth=6..50, filters=643838, ccks=28314, wck=16.399, mem=160M714
24.01/19.22 decisions=19214, wrong=3563, backtracks=1397, failedAssignments=2437, nogoods=1844, foundSolutions=22, bestBound=538
24.01/19.22
24.01/19.27 num=138, depth=6..36, filters=646004, ccks=28314, wck=16.447, mem=160M714
24.01/19.27 decisions=19271, wrong=3578, backtracks=1400, failedAssignments=2449, nogoods=1854, foundSolutions=22, bestBound=538
24.01/19.27
24.12/19.31 num=139, depth=6..38, filters=647782, ccks=28314, wck=16.487, mem=160M714
24.12/19.31 decisions=19328, wrong=3594, backtracks=1405, failedAssignments=2462, nogoods=1863, foundSolutions=22, bestBound=538
24.12/19.31
24.12/19.35 num=140, depth=10..33, filters=649412, ccks=28314, wck=16.53, mem=160M714
24.12/19.35 decisions=19376, wrong=3608, backtracks=1405, failedAssignments=2476, nogoods=1877, foundSolutions=22, bestBound=538
24.12/19.35
24.22/19.40 num=141, depth=7..41, filters=651491, ccks=28314, wck=16.578, mem=160M714
24.22/19.40 decisions=19434, wrong=3624, backtracks=1405, failedAssignments=2492, nogoods=1893, foundSolutions=22, bestBound=538
24.22/19.40
24.22/19.44 num=142, depth=6..43, filters=653318, ccks=28314, wck=16.621, mem=160M714
24.22/19.44 decisions=19502, wrong=3645, backtracks=1412, failedAssignments=2509, nogoods=1905, foundSolutions=22, bestBound=538
24.22/19.44
24.22/19.49 num=143, depth=3..30, filters=655561, ccks=28314, wck=16.672, mem=160M714
24.22/19.49 decisions=19556, wrong=3667, backtracks=1417, failedAssignments=2528, nogoods=1921, foundSolutions=22, bestBound=538
24.22/19.49
24.32/19.55 num=144, depth=3..50, filters=658617, ccks=28314, wck=16.729, mem=160M714
24.32/19.55 decisions=19628, wrong=3688, backtracks=1417, failedAssignments=2549, nogoods=1942, foundSolutions=22, bestBound=538
24.32/19.55
24.52/19.73 num=145, depth=5..65, filters=666020, ccks=28314, wck=16.906, mem=160M714
24.52/19.73 decisions=19729, wrong=3715, backtracks=1423, failedAssignments=2572, nogoods=1961, foundSolutions=22, bestBound=538
24.52/19.73
24.62/19.87 num=146, depth=2..64, filters=672762, ccks=28314, wck=17.05, mem=160M714
24.62/19.87 decisions=19833, wrong=3746, backtracks=1430, failedAssignments=2597, nogoods=1984, foundSolutions=22, bestBound=538
24.62/19.87
24.83/20.01 num=147, depth=2..44, filters=678954, ccks=28314, wck=17.184, mem=160M714
24.83/20.01 decisions=19937, wrong=3785, backtracks=1445, failedAssignments=2625, nogoods=2006, foundSolutions=22, bestBound=538
24.83/20.01
24.93/20.16 num=148, depth=2..51, filters=686710, ccks=28314, wck=17.342, mem=160M714
24.93/20.16 decisions=20052, wrong=3826, backtracks=1463, failedAssignments=2656, nogoods=2025, foundSolutions=22, bestBound=538
24.93/20.16
25.02/20.25 num=149, depth=2..72, filters=691429, ccks=28314, wck=17.432, mem=160M714
25.02/20.25 decisions=20174, wrong=3864, backtracks=1471, failedAssignments=2690, nogoods=2054, foundSolutions=22, bestBound=538
25.02/20.25
25.22/20.43 o 537
25.22/20.43 num=150, depth=2..7017, filters=696217, ccks=29601, wck=17.61, mem=163M355
25.22/20.43 decisions=20290, wrong=3890, backtracks=1480, failedAssignments=2712, nogoods=2071, foundSolutions=23, bestBound=537
25.22/20.43
25.52/20.77 o 528
25.52/20.77 num=151, depth=8..7017, filters=701191, ccks=30888, wck=17.951, mem=166M55
25.52/20.77 decisions=20437, wrong=3920, backtracks=1489, failedAssignments=2738, nogoods=2090, foundSolutions=24, bestBound=528
25.52/20.77
25.72/20.97 num=152, depth=2..23, filters=702990, ccks=30888, wck=18.145, mem=166M55
25.72/20.97 decisions=20477, wrong=3934, backtracks=1494, failedAssignments=2749, nogoods=2097, foundSolutions=24, bestBound=528
25.72/20.97
25.83/21.02 num=153, depth=7..47, filters=705135, ccks=30888, wck=18.197, mem=166M55
25.83/21.02 decisions=20545, wrong=3948, backtracks=1497, failedAssignments=2760, nogoods=2106, foundSolutions=24, bestBound=528
25.83/21.02
25.83/21.07 num=154, depth=2..20, filters=707263, ccks=30888, wck=18.252, mem=166M55
25.83/21.07 decisions=20590, wrong=3965, backtracks=1503, failedAssignments=2772, nogoods=2114, foundSolutions=24, bestBound=528
25.83/21.07
26.02/21.23 o 527
26.02/21.23 num=155, depth=4..7017, filters=709781, ccks=32175, wck=18.408, mem=168M724
26.02/21.23 decisions=20687, wrong=3968, backtracks=1503, failedAssignments=2775, nogoods=2117, foundSolutions=25, bestBound=527
26.02/21.23
26.22/21.43 num=156, depth=7..35, filters=711360, ccks=32175, wck=18.608, mem=168M724
26.22/21.43 decisions=20737, wrong=3982, backtracks=1503, failedAssignments=2789, nogoods=2131, foundSolutions=25, bestBound=527
26.22/21.43
26.22/21.48 num=157, depth=5..62, filters=713445, ccks=32175, wck=18.66, mem=168M724
26.22/21.48 decisions=20812, wrong=3993, backtracks=1503, failedAssignments=2800, nogoods=2142, foundSolutions=25, bestBound=527
26.22/21.48
26.32/21.53 num=158, depth=2..51, filters=715733, ccks=32175, wck=18.706, mem=168M724
26.32/21.53 decisions=20881, wrong=4007, backtracks=1505, failedAssignments=2812, nogoods=2153, foundSolutions=25, bestBound=527
26.32/21.53
26.32/21.57 num=159, depth=2..47, filters=717883, ccks=32175, wck=18.747, mem=168M724
26.32/21.57 decisions=20950, wrong=4023, backtracks=1508, failedAssignments=2825, nogoods=2164, foundSolutions=25, bestBound=527
26.32/21.57
26.42/21.62 num=160, depth=2..54, filters=720572, ccks=32175, wck=18.796, mem=168M724
26.42/21.62 decisions=21025, wrong=4039, backtracks=1510, failedAssignments=2839, nogoods=2177, foundSolutions=25, bestBound=527
26.42/21.62
26.42/21.67 num=161, depth=2..61, filters=723324, ccks=32175, wck=18.844, mem=168M724
26.42/21.67 decisions=21114, wrong=4059, backtracks=1515, failedAssignments=2855, nogoods=2190, foundSolutions=25, bestBound=527
26.42/21.67
26.52/21.72 num=162, depth=2..84, filters=726173, ccks=32175, wck=18.894, mem=168M724
26.52/21.72 decisions=21222, wrong=4078, backtracks=1517, failedAssignments=2872, nogoods=2206, foundSolutions=25, bestBound=527
26.52/21.72
26.62/21.87 o 526
26.62/21.87 num=163, depth=2..7017, filters=729316, ccks=33462, wck=19.048, mem=171M365
26.62/21.87 decisions=21355, wrong=4097, backtracks=1518, failedAssignments=2890, nogoods=2224, foundSolutions=26, bestBound=526
26.62/21.87
26.83/22.07 num=164, depth=9..53, filters=731071, ccks=33462, wck=19.248, mem=171M365
26.83/22.07 decisions=21430, wrong=4118, backtracks=1518, failedAssignments=2911, nogoods=2245, foundSolutions=26, bestBound=526
26.83/22.07
26.83/22.10 num=165, depth=2..36, filters=732547, ccks=33462, wck=19.281, mem=171M365
26.83/22.10 decisions=21478, wrong=4129, backtracks=1518, failedAssignments=2922, nogoods=2256, foundSolutions=26, bestBound=526
26.83/22.10
26.93/22.16 num=166, depth=16..49, filters=734399, ccks=33462, wck=19.333, mem=171M365
26.93/22.16 decisions=21542, wrong=4141, backtracks=1518, failedAssignments=2934, nogoods=2268, foundSolutions=26, bestBound=526
26.93/22.16
27.02/22.20 num=167, depth=2..63, filters=736472, ccks=33462, wck=19.376, mem=171M365
27.02/22.20 decisions=21621, wrong=4155, backtracks=1519, failedAssignments=2947, nogoods=2281, foundSolutions=26, bestBound=526
27.02/22.20
27.12/22.34 o 525
27.12/22.35 num=168, depth=6..7017, filters=739042, ccks=34749, wck=19.524, mem=174M6
27.12/22.35 decisions=21719, wrong=4165, backtracks=1519, failedAssignments=2957, nogoods=2291, foundSolutions=27, bestBound=525
27.12/22.35
27.32/22.54 num=169, depth=6..38, filters=740491, ccks=34749, wck=19.722, mem=174M6
27.32/22.54 decisions=21774, wrong=4181, backtracks=1519, failedAssignments=2973, nogoods=2307, foundSolutions=27, bestBound=525
27.32/22.54
27.42/22.60 num=170, depth=8..63, filters=742762, ccks=34749, wck=19.776, mem=174M6
27.42/22.60 decisions=21852, wrong=4192, backtracks=1519, failedAssignments=2984, nogoods=2318, foundSolutions=27, bestBound=525
27.42/22.60
27.42/22.65 num=171, depth=16..39, filters=744788, ccks=34749, wck=19.826, mem=174M6
27.42/22.65 decisions=21911, wrong=4207, backtracks=1522, failedAssignments=2996, nogoods=2329, foundSolutions=27, bestBound=525
27.42/22.65
27.52/22.70 num=172, depth=2..41, filters=746910, ccks=34749, wck=19.875, mem=174M6
27.52/22.70 decisions=21973, wrong=4223, backtracks=1525, failedAssignments=3009, nogoods=2341, foundSolutions=27, bestBound=525
27.52/22.70
27.52/22.75 num=173, depth=2..59, filters=749117, ccks=34749, wck=19.924, mem=174M6
27.52/22.75 decisions=22053, wrong=4239, backtracks=1527, failedAssignments=3023, nogoods=2354, foundSolutions=27, bestBound=525
27.52/22.75
27.62/22.80 num=174, depth=2..44, filters=751499, ccks=34749, wck=19.977, mem=174M6
27.62/22.80 decisions=22128, wrong=4260, backtracks=1533, failedAssignments=3039, nogoods=2367, foundSolutions=27, bestBound=525
27.62/22.80
27.62/22.85 num=175, depth=2..71, filters=754087, ccks=34749, wck=20.029, mem=174M6
27.62/22.85 decisions=22227, wrong=4281, backtracks=1538, failedAssignments=3056, nogoods=2383, foundSolutions=27, bestBound=525
27.62/22.85
27.72/22.91 num=176, depth=2..73, filters=756802, ccks=34749, wck=20.091, mem=174M6
27.72/22.91 decisions=22339, wrong=4308, backtracks=1547, failedAssignments=3075, nogoods=2400, foundSolutions=27, bestBound=525
27.72/22.91
27.87/23.09 o 524
27.87/23.10 num=177, depth=2..7017, filters=759831, ccks=36036, wck=20.274, mem=176M647
27.87/23.10 decisions=22458, wrong=4328, backtracks=1550, failedAssignments=3092, nogoods=2416, foundSolutions=28, bestBound=524
27.87/23.10
28.16/23.31 num=178, depth=15..67, filters=762683, ccks=36036, wck=20.491, mem=176M647
28.16/23.31 decisions=22582, wrong=4361, backtracks=1565, failedAssignments=3115, nogoods=2428, foundSolutions=28, bestBound=524
28.16/23.31
28.26/23.47 o 523
28.26/23.47 num=179, depth=2..7017, filters=765601, ccks=37323, wck=20.649, mem=179M288
28.26/23.47 decisions=22692, wrong=4371, backtracks=1565, failedAssignments=3125, nogoods=2438, foundSolutions=29, bestBound=523
28.26/23.47
28.47/23.68 num=180, depth=8..64, filters=767984, ccks=37323, wck=20.863, mem=179M288
28.47/23.68 decisions=22769, wrong=4383, backtracks=1565, failedAssignments=3137, nogoods=2450, foundSolutions=29, bestBound=523
28.47/23.68
28.57/23.74 num=181, depth=2..119, filters=770542, ccks=37323, wck=20.916, mem=179M288
28.57/23.74 decisions=22905, wrong=4395, backtracks=1566, failedAssignments=3148, nogoods=2461, foundSolutions=29, bestBound=523
28.57/23.74
28.67/23.88 o 521
28.67/23.89 num=182, depth=2..7017, filters=772971, ccks=38610, wck=21.065, mem=181M929
28.67/23.89 decisions=23037, wrong=4408, backtracks=1570, failedAssignments=3158, nogoods=2470, foundSolutions=30, bestBound=521
28.67/23.89
28.88/24.10 num=183, depth=17..108, filters=775346, ccks=38610, wck=21.273, mem=181M929
28.88/24.10 decisions=23167, wrong=4422, backtracks=1575, failedAssignments=3171, nogoods=2479, foundSolutions=30, bestBound=521
28.88/24.10
28.98/24.15 num=184, depth=2..103, filters=777891, ccks=38610, wck=21.323, mem=181M929
28.98/24.15 decisions=23295, wrong=4438, backtracks=1580, failedAssignments=3182, nogoods=2488, foundSolutions=30, bestBound=521
28.98/24.15
28.98/24.18 num=185, depth=18..39, filters=779489, ccks=38610, wck=21.359, mem=181M929
28.98/24.18 decisions=23360, wrong=4452, backtracks=1591, failedAssignments=3194, nogoods=2491, foundSolutions=30, bestBound=521
28.98/24.18
29.07/24.23 num=186, depth=17..103, filters=781848, ccks=38610, wck=21.407, mem=181M929
29.07/24.23 decisions=23486, wrong=4466, backtracks=1595, failedAssignments=3207, nogoods=2501, foundSolutions=30, bestBound=521
29.07/24.23
29.18/24.37 o 520
29.34/24.41 num=187, depth=20..7017, filters=784599, ccks=39897, wck=21.591, mem=89M414
29.34/24.41 decisions=23621, wrong=4474, backtracks=1595, failedAssignments=3215, nogoods=2509, foundSolutions=31, bestBound=520
29.34/24.41
29.57/24.62 num=188, depth=19..76, filters=786695, ccks=39897, wck=21.797, mem=89M414
29.57/24.62 decisions=23716, wrong=4490, backtracks=1595, failedAssignments=3231, nogoods=2525, foundSolutions=31, bestBound=520
29.57/24.62
29.57/24.66 num=189, depth=28..63, filters=788815, ccks=39897, wck=21.838, mem=89M414
29.57/24.66 decisions=23797, wrong=4501, backtracks=1595, failedAssignments=3242, nogoods=2536, foundSolutions=31, bestBound=520
29.57/24.66
29.77/24.80 o 516
29.77/24.81 num=190, depth=33..7017, filters=791077, ccks=41184, wck=21.985, mem=92M61
29.77/24.81 decisions=23925, wrong=4511, backtracks=1595, failedAssignments=3252, nogoods=2546, foundSolutions=32, bestBound=516
29.77/24.81
29.87/25.00 num=191, depth=21..39, filters=792339, ccks=41184, wck=22.18, mem=92M61
29.87/25.00 decisions=23980, wrong=4525, backtracks=1596, failedAssignments=3265, nogoods=2559, foundSolutions=32, bestBound=516
29.87/25.00
29.98/25.07 num=192, depth=0..43, filters=794514, ccks=41184, wck=22.244, mem=92M61
29.98/25.07 decisions=24035, wrong=4536, backtracks=1596, failedAssignments=3276, nogoods=2569, foundSolutions=32, bestBound=516
29.98/25.07
30.08/25.11 num=193, depth=2..13, filters=796109, ccks=41184, wck=22.291, mem=92M61
30.08/25.11 decisions=24064, wrong=4549, backtracks=1601, failedAssignments=3288, nogoods=2577, foundSolutions=32, bestBound=516
30.08/25.11
30.18/25.23 num=194, depth=6..29, filters=800206, ccks=41184, wck=22.403, mem=92M61
30.18/25.23 decisions=24130, wrong=4573, backtracks=1612, failedAssignments=3301, nogoods=2584, foundSolutions=32, bestBound=516
30.18/25.23
30.18/25.27 num=195, depth=2..31, filters=801987, ccks=41184, wck=22.452, mem=92M61
30.18/25.27 decisions=24176, wrong=4587, backtracks=1612, failedAssignments=3315, nogoods=2598, foundSolutions=32, bestBound=516
30.18/25.27
30.28/25.33 num=196, depth=9..92, filters=804501, ccks=41184, wck=22.507, mem=92M61
30.28/25.33 decisions=24289, wrong=4603, backtracks=1612, failedAssignments=3331, nogoods=2614, foundSolutions=32, bestBound=516
30.28/25.33
30.28/25.36 num=197, depth=2..51, filters=805840, ccks=41184, wck=22.542, mem=92M61
30.28/25.36 decisions=24358, wrong=4620, backtracks=1612, failedAssignments=3348, nogoods=2631, foundSolutions=32, bestBound=516
30.28/25.36
30.38/25.42 num=198, depth=5..83, filters=808298, ccks=41184, wck=22.597, mem=92M61
30.38/25.42 decisions=24467, wrong=4639, backtracks=1612, failedAssignments=3367, nogoods=2650, foundSolutions=32, bestBound=516
30.38/25.42
30.38/25.46 num=199, depth=2..78, filters=809862, ccks=41184, wck=22.637, mem=92M61
30.38/25.46 decisions=24567, wrong=4660, backtracks=1612, failedAssignments=3388, nogoods=2671, foundSolutions=32, bestBound=516
30.38/25.46
30.48/25.51 num=200, depth=2..131, filters=812282, ccks=41184, wck=22.687, mem=92M61
30.48/25.51 decisions=24724, wrong=4683, backtracks=1612, failedAssignments=3411, nogoods=2694, foundSolutions=32, bestBound=516
30.48/25.51
30.48/25.56 num=201, depth=2..102, filters=814458, ccks=41184, wck=22.734, mem=92M61
30.48/25.56 decisions=24855, wrong=4708, backtracks=1612, failedAssignments=3436, nogoods=2719, foundSolutions=32, bestBound=516
30.48/25.56
30.68/25.70 o 515
30.68/25.70 num=202, depth=2..7017, filters=816791, ccks=42471, wck=22.883, mem=94M702
30.68/25.70 decisions=25011, wrong=4726, backtracks=1612, failedAssignments=3454, nogoods=2737, foundSolutions=33, bestBound=515
30.68/25.70
30.99/26.01 o 514
30.99/26.02 num=203, depth=2..7017, filters=819255, ccks=43758, wck=23.196, mem=97M344
30.99/26.02 decisions=25193, wrong=4751, backtracks=1621, failedAssignments=3477, nogoods=2752, foundSolutions=34, bestBound=514
30.99/26.02
31.18/26.21 num=204, depth=30..44, filters=820575, ccks=43758, wck=23.392, mem=97M344
31.18/26.21 decisions=25250, wrong=4763, backtracks=1626, failedAssignments=3488, nogoods=2759, foundSolutions=34, bestBound=514
31.18/26.21
31.18/26.27 num=205, depth=1..43, filters=822709, ccks=43758, wck=23.445, mem=97M344
31.18/26.27 decisions=25305, wrong=4774, backtracks=1626, failedAssignments=3499, nogoods=2770, foundSolutions=34, bestBound=514
31.18/26.27
31.28/26.31 num=206, depth=24..60, filters=824809, ccks=43758, wck=23.488, mem=97M344
31.28/26.31 decisions=25386, wrong=4787, backtracks=1632, failedAssignments=3511, nogoods=2777, foundSolutions=34, bestBound=514
31.28/26.31
31.28/26.35 num=207, depth=24..55, filters=826406, ccks=43758, wck=23.527, mem=97M344
31.28/26.35 decisions=25455, wrong=4800, backtracks=1632, failedAssignments=3524, nogoods=2790, foundSolutions=34, bestBound=514
31.28/26.35
31.38/26.49 o 513
31.48/26.50 num=208, depth=22..7017, filters=828931, ccks=45045, wck=23.676, mem=99M986
31.48/26.50 decisions=25580, wrong=4812, backtracks=1632, failedAssignments=3536, nogoods=2802, foundSolutions=35, bestBound=513
31.48/26.50
31.68/26.70 num=209, depth=25..78, filters=830854, ccks=45045, wck=23.881, mem=99M986
31.68/26.70 decisions=25677, wrong=4828, backtracks=1632, failedAssignments=3552, nogoods=2818, foundSolutions=35, bestBound=513
31.68/26.70
31.78/26.85 o 512
31.78/26.85 num=210, depth=60..7017, filters=833215, ccks=46332, wck=24.029, mem=102M627
31.78/26.85 decisions=25794, wrong=4831, backtracks=1632, failedAssignments=3555, nogoods=2821, foundSolutions=36, bestBound=512
31.78/26.85
31.99/27.05 num=211, depth=25..48, filters=834880, ccks=46332, wck=24.23, mem=102M627
31.99/27.05 decisions=25865, wrong=4845, backtracks=1639, failedAssignments=3567, nogoods=2827, foundSolutions=36, bestBound=512
31.99/27.05
31.99/27.09 num=212, depth=27..75, filters=836860, ccks=46332, wck=24.272, mem=102M627
31.99/27.09 decisions=25955, wrong=4856, backtracks=1639, failedAssignments=3578, nogoods=2838, foundSolutions=36, bestBound=512
31.99/27.09
32.09/27.14 num=213, depth=28..144, filters=839383, ccks=46332, wck=24.322, mem=102M627
32.09/27.14 decisions=26115, wrong=4868, backtracks=1639, failedAssignments=3590, nogoods=2850, foundSolutions=36, bestBound=512
32.09/27.14
32.09/27.19 num=214, depth=48..87, filters=841352, ccks=46332, wck=24.365, mem=102M627
32.09/27.19 decisions=26217, wrong=4881, backtracks=1639, failedAssignments=3603, nogoods=2863, foundSolutions=36, bestBound=512
32.09/27.19
32.28/27.33 o 511
32.28/27.33 num=215, depth=48..7017, filters=843574, ccks=47619, wck=24.511, mem=107M938
32.28/27.33 decisions=26362, wrong=4887, backtracks=1639, failedAssignments=3609, nogoods=2869, foundSolutions=37, bestBound=511
32.28/27.33
32.58/27.64 o 510
32.58/27.65 num=216, depth=28..7017, filters=846076, ccks=48906, wck=24.824, mem=110M617
32.58/27.65 decisions=26526, wrong=4903, backtracks=1644, failedAssignments=3622, nogoods=2878, foundSolutions=38, bestBound=510
32.58/27.65
32.78/27.86 num=217, depth=24..51, filters=847625, ccks=48906, wck=25.037, mem=110M617
32.78/27.86 decisions=26589, wrong=4914, backtracks=1644, failedAssignments=3633, nogoods=2889, foundSolutions=38, bestBound=510
32.78/27.86
32.88/27.91 num=218, depth=22..58, filters=849466, ccks=48906, wck=25.091, mem=110M617
32.88/27.91 decisions=26666, wrong=4927, backtracks=1648, failedAssignments=3644, nogoods=2898, foundSolutions=38, bestBound=510
32.88/27.91
32.99/28.07 o 509
32.99/28.08 num=219, depth=23..7017, filters=851747, ccks=50193, wck=25.253, mem=113M259
32.99/28.08 decisions=26798, wrong=4935, backtracks=1648, failedAssignments=3652, nogoods=2906, foundSolutions=39, bestBound=509
32.99/28.08
33.20/28.28 num=220, depth=23..55, filters=853391, ccks=50193, wck=25.454, mem=113M259
33.20/28.28 decisions=26873, wrong=4950, backtracks=1651, failedAssignments=3665, nogoods=2917, foundSolutions=39, bestBound=509
33.20/28.28
33.40/28.43 o 508
33.40/28.44 num=221, depth=27..7017, filters=855834, ccks=51480, wck=25.613, mem=115M900
33.40/28.44 decisions=27011, wrong=4961, backtracks=1654, failedAssignments=3674, nogoods=2924, foundSolutions=40, bestBound=508
33.40/28.44
33.60/28.63 num=222, depth=26..35, filters=857154, ccks=51480, wck=25.81, mem=115M900
33.60/28.63 decisions=27074, wrong=4978, backtracks=1662, failedAssignments=3686, nogoods=2930, foundSolutions=40, bestBound=508
33.60/28.63
33.60/28.68 num=223, depth=11..39, filters=858987, ccks=51480, wck=25.86, mem=115M900
33.60/28.68 decisions=27125, wrong=4989, backtracks=1662, failedAssignments=3697, nogoods=2941, foundSolutions=40, bestBound=508
33.60/28.68
33.70/28.73 num=224, depth=2..66, filters=860958, ccks=51480, wck=25.913, mem=115M900
33.70/28.73 decisions=27206, wrong=5001, backtracks=1662, failedAssignments=3709, nogoods=2953, foundSolutions=40, bestBound=508
33.70/28.73
33.70/28.79 num=225, depth=2..72, filters=862958, ccks=51480, wck=25.966, mem=115M900
33.70/28.79 decisions=27295, wrong=5014, backtracks=1662, failedAssignments=3722, nogoods=2966, foundSolutions=40, bestBound=508
33.70/28.79
33.90/28.94 o 507
33.90/28.95 num=226, depth=3..7017, filters=865188, ccks=52767, wck=26.126, mem=118M570
33.90/28.95 decisions=27436, wrong=5024, backtracks=1662, failedAssignments=3732, nogoods=2976, foundSolutions=41, bestBound=507
33.90/28.95
34.11/29.15 num=227, depth=24..77, filters=867267, ccks=52767, wck=26.333, mem=118M570
34.11/29.15 decisions=27540, wrong=5042, backtracks=1668, failedAssignments=3748, nogoods=2988, foundSolutions=41, bestBound=507
34.11/29.15
34.20/29.20 num=228, depth=21..63, filters=868924, ccks=52767, wck=26.382, mem=118M570
34.20/29.20 decisions=27617, wrong=5054, backtracks=1669, failedAssignments=3759, nogoods=2999, foundSolutions=41, bestBound=507
34.20/29.20
34.20/29.26 num=229, depth=3..122, filters=871352, ccks=52767, wck=26.441, mem=118M570
34.20/29.26 decisions=27754, wrong=5066, backtracks=1669, failedAssignments=3771, nogoods=3011, foundSolutions=41, bestBound=507
34.20/29.26
34.30/29.32 num=230, depth=3..44, filters=873476, ccks=52767, wck=26.495, mem=118M570
34.30/29.32 decisions=27827, wrong=5083, backtracks=1677, failedAssignments=3784, nogoods=3017, foundSolutions=41, bestBound=507
34.30/29.32
34.30/29.38 num=231, depth=3..130, filters=876017, ccks=52767, wck=26.556, mem=118M570
34.30/29.38 decisions=27977, wrong=5097, backtracks=1677, failedAssignments=3798, nogoods=3031, foundSolutions=41, bestBound=507
34.30/29.38
34.50/29.53 o 506
34.50/29.54 num=232, depth=4..7017, filters=878816, ccks=54054, wck=26.716, mem=121M211
34.50/29.54 decisions=28133, wrong=5112, backtracks=1677, failedAssignments=3813, nogoods=3046, foundSolutions=42, bestBound=506
34.50/29.54
34.70/29.75 num=233, depth=4..57, filters=881480, ccks=54054, wck=26.928, mem=121M211
34.70/29.75 decisions=28219, wrong=5131, backtracks=1684, failedAssignments=3830, nogoods=3057, foundSolutions=42, bestBound=506
34.70/29.75
34.80/29.80 num=234, depth=3..82, filters=883517, ccks=54054, wck=26.979, mem=121M211
34.80/29.80 decisions=28316, wrong=5142, backtracks=1684, failedAssignments=3841, nogoods=3068, foundSolutions=42, bestBound=506
34.80/29.80
34.90/29.95 o 505
34.90/29.96 num=235, depth=3..7017, filters=885911, ccks=55341, wck=27.137, mem=123M853
34.90/29.96 decisions=28451, wrong=5150, backtracks=1684, failedAssignments=3849, nogoods=3076, foundSolutions=43, bestBound=505
34.90/29.96
35.11/30.16 num=236, depth=23..40, filters=887879, ccks=55341, wck=27.339, mem=123M853
35.11/30.16 decisions=28518, wrong=5166, backtracks=1692, failedAssignments=3862, nogoods=3082, foundSolutions=43, bestBound=505
35.11/30.16
35.30/30.32 o 504
35.30/30.32 num=237, depth=3..7017, filters=890277, ccks=56628, wck=27.498, mem=126M494
35.30/30.32 decisions=28658, wrong=5176, backtracks=1692, failedAssignments=3872, nogoods=3092, foundSolutions=44, bestBound=504
35.30/30.32
35.50/30.52 num=238, depth=20..33, filters=891959, ccks=56628, wck=27.698, mem=126M494
35.50/30.52 decisions=28715, wrong=5194, backtracks=1703, failedAssignments=3884, nogoods=3094, foundSolutions=44, bestBound=504
35.50/30.52
35.50/30.57 num=239, depth=12..30, filters=893505, ccks=56628, wck=27.746, mem=126M494
35.50/30.57 decisions=28757, wrong=5205, backtracks=1703, failedAssignments=3895, nogoods=3105, foundSolutions=44, bestBound=504
35.50/30.57
35.60/30.63 num=240, depth=21..123, filters=896089, ccks=56628, wck=27.805, mem=126M494
35.60/30.63 decisions=28901, wrong=5219, backtracks=1705, failedAssignments=3907, nogoods=3116, foundSolutions=44, bestBound=504
35.60/30.63
35.60/30.68 num=241, depth=4..42, filters=898265, ccks=56628, wck=27.856, mem=126M494
35.60/30.68 decisions=28970, wrong=5235, backtracks=1713, failedAssignments=3920, nogoods=3122, foundSolutions=44, bestBound=504
35.60/30.68
35.80/30.83 o 503
35.80/30.83 num=242, depth=24..7017, filters=900540, ccks=57915, wck=28.012, mem=129M136
35.80/30.83 decisions=29104, wrong=5243, backtracks=1713, failedAssignments=3928, nogoods=3130, foundSolutions=45, bestBound=503
35.80/30.83
36.01/31.04 num=243, depth=23..38, filters=902367, ccks=57915, wck=28.216, mem=129M136
36.01/31.04 decisions=29164, wrong=5261, backtracks=1715, failedAssignments=3944, nogoods=3145, foundSolutions=45, bestBound=503
36.01/31.04
36.01/31.09 num=244, depth=3..30, filters=904137, ccks=57915, wck=28.268, mem=129M136
36.01/31.09 decisions=29207, wrong=5272, backtracks=1715, failedAssignments=3955, nogoods=3156, foundSolutions=45, bestBound=503
36.01/31.09
36.12/31.14 num=245, depth=4..28, filters=905620, ccks=57915, wck=28.313, mem=129M136
36.12/31.14 decisions=29260, wrong=5287, backtracks=1722, failedAssignments=3967, nogoods=3162, foundSolutions=45, bestBound=503
36.12/31.14
36.12/31.19 num=246, depth=5..96, filters=908104, ccks=57915, wck=28.369, mem=129M136
36.12/31.19 decisions=29372, wrong=5300, backtracks=1722, failedAssignments=3980, nogoods=3175, foundSolutions=45, bestBound=503
36.12/31.19
36.21/31.24 num=247, depth=4..32, filters=909588, ccks=57915, wck=28.413, mem=129M136
36.21/31.24 decisions=29429, wrong=5317, backtracks=1727, failedAssignments=3994, nogoods=3185, foundSolutions=45, bestBound=503
36.21/31.24
36.21/31.29 num=248, depth=6..52, filters=911718, ccks=57915, wck=28.464, mem=129M136
36.21/31.29 decisions=29502, wrong=5333, backtracks=1727, failedAssignments=4010, nogoods=3201, foundSolutions=45, bestBound=503
36.21/31.29
36.31/31.34 num=249, depth=5..52, filters=913430, ccks=57915, wck=28.514, mem=129M136
36.31/31.34 decisions=29578, wrong=5352, backtracks=1730, failedAssignments=4027, nogoods=3216, foundSolutions=45, bestBound=503
36.31/31.34
36.31/31.39 num=250, depth=4..47, filters=915323, ccks=57915, wck=28.566, mem=129M136
36.31/31.39 decisions=29655, wrong=5374, backtracks=1734, failedAssignments=4046, nogoods=3232, foundSolutions=45, bestBound=503
36.31/31.39
36.41/31.45 num=251, depth=5..61, filters=918044, ccks=57915, wck=28.624, mem=129M995
36.41/31.45 decisions=29750, wrong=5397, backtracks=1740, failedAssignments=4067, nogoods=3248, foundSolutions=45, bestBound=503
36.41/31.45
36.51/31.51 num=252, depth=5..109, filters=921160, ccks=57915, wck=28.687, mem=129M995
36.51/31.51 decisions=29892, wrong=5422, backtracks=1743, failedAssignments=4090, nogoods=3269, foundSolutions=45, bestBound=503
36.51/31.51
36.51/31.57 num=253, depth=3..123, filters=923887, ccks=57915, wck=28.747, mem=129M995
36.51/31.57 decisions=30049, wrong=5447, backtracks=1743, failedAssignments=4115, nogoods=3294, foundSolutions=45, bestBound=503
36.51/31.57
36.71/31.72 o 502
36.71/31.73 num=254, depth=3..7017, filters=926610, ccks=59202, wck=28.905, mem=132M664
36.71/31.73 decisions=30162, wrong=5461, backtracks=1743, failedAssignments=4129, nogoods=3308, foundSolutions=46, bestBound=502
36.71/31.73
37.03/32.04 o 501
37.03/32.05 num=255, depth=3..7017, filters=929773, ccks=60489, wck=29.225, mem=135M334
37.03/32.05 decisions=30312, wrong=5489, backtracks=1754, failedAssignments=4152, nogoods=3323, foundSolutions=47, bestBound=501
37.03/32.05
37.22/32.26 num=256, depth=11..29, filters=931190, ccks=60489, wck=29.435, mem=135M334
37.22/32.26 decisions=30358, wrong=5503, backtracks=1758, failedAssignments=4163, nogoods=3333, foundSolutions=47, bestBound=501
37.22/32.26
37.32/32.31 num=257, depth=6..60, filters=933478, ccks=60489, wck=29.492, mem=135M334
37.32/32.31 decisions=30432, wrong=5514, backtracks=1758, failedAssignments=4174, nogoods=3344, foundSolutions=47, bestBound=501
37.32/32.31
37.32/32.37 num=258, depth=11..30, filters=935149, ccks=60489, wck=29.552, mem=135M334
37.32/32.37 decisions=30483, wrong=5529, backtracks=1762, failedAssignments=4186, nogoods=3354, foundSolutions=47, bestBound=501
37.32/32.37
37.42/32.43 num=259, depth=11..28, filters=936512, ccks=60489, wck=29.61, mem=135M334
37.42/32.43 decisions=30535, wrong=5547, backtracks=1769, failedAssignments=4199, nogoods=3364, foundSolutions=47, bestBound=501
37.42/32.43
37.42/32.49 num=260, depth=12..30, filters=938311, ccks=60489, wck=29.671, mem=135M334
37.42/32.49 decisions=30592, wrong=5566, backtracks=1776, failedAssignments=4213, nogoods=3376, foundSolutions=47, bestBound=501
37.42/32.49
37.52/32.55 num=261, depth=7..78, filters=940622, ccks=60489, wck=29.729, mem=135M334
37.52/32.55 decisions=30689, wrong=5582, backtracks=1776, failedAssignments=4229, nogoods=3392, foundSolutions=47, bestBound=501
37.52/32.55
37.62/32.60 num=262, depth=17..107, filters=943483, ccks=60489, wck=29.78, mem=135M334
37.62/32.60 decisions=30829, wrong=5604, backtracks=1783, failedAssignments=4246, nogoods=3406, foundSolutions=47, bestBound=501
37.62/32.60
37.72/32.76 o 500
37.72/32.77 num=263, depth=15..7017, filters=946245, ccks=61776, wck=29.945, mem=137M975
37.72/32.77 decisions=30966, wrong=5621, backtracks=1787, failedAssignments=4259, nogoods=3418, foundSolutions=48, bestBound=500
37.72/32.77
37.92/32.97 num=264, depth=15..39, filters=948689, ccks=61776, wck=30.151, mem=137M975
37.92/32.97 decisions=31049, wrong=5647, backtracks=1802, failedAssignments=4280, nogoods=3428, foundSolutions=48, bestBound=500
37.92/32.97
38.03/33.02 num=265, depth=21..90, filters=950841, ccks=61776, wck=30.194, mem=137M975
38.03/33.02 decisions=31152, wrong=5658, backtracks=1802, failedAssignments=4291, nogoods=3439, foundSolutions=48, bestBound=500
38.03/33.02
38.03/33.06 num=266, depth=22..113, filters=952945, ccks=61776, wck=30.239, mem=137M975
38.03/33.06 decisions=31279, wrong=5670, backtracks=1802, failedAssignments=4303, nogoods=3451, foundSolutions=48, bestBound=500
38.03/33.06
38.22/33.21 o 499
38.22/33.22 num=267, depth=21..7017, filters=955160, ccks=63063, wck=30.393, mem=140M617
38.22/33.22 decisions=31406, wrong=5684, backtracks=1804, failedAssignments=4315, nogoods=3462, foundSolutions=49, bestBound=499
38.22/33.22
38.42/33.42 num=268, depth=20..35, filters=957321, ccks=63063, wck=30.597, mem=140M617
38.42/33.42 decisions=31464, wrong=5703, backtracks=1821, failedAssignments=4329, nogoods=3463, foundSolutions=49, bestBound=499
38.42/33.42
38.52/33.58 o 497
38.52/33.58 num=269, depth=14..7017, filters=959689, ccks=64350, wck=30.758, mem=143M258
38.52/33.58 decisions=31560, wrong=5710, backtracks=1821, failedAssignments=4336, nogoods=3470, foundSolutions=50, bestBound=497
38.52/33.58
38.92/33.90 o 496
38.92/33.90 num=270, depth=15..7017, filters=961961, ccks=65637, wck=31.08, mem=145M900
38.92/33.90 decisions=31678, wrong=5717, backtracks=1821, failedAssignments=4343, nogoods=3477, foundSolutions=51, bestBound=496
38.92/33.90
39.13/34.12 num=271, depth=14..71, filters=964111, ccks=65637, wck=31.3, mem=145M900
39.13/34.12 decisions=31762, wrong=5728, backtracks=1821, failedAssignments=4354, nogoods=3488, foundSolutions=51, bestBound=496
39.13/34.12
39.22/34.28 o 495
39.22/34.28 num=272, depth=39..7017, filters=966171, ccks=66924, wck=31.459, mem=148M541
39.22/34.28 decisions=31875, wrong=5734, backtracks=1821, failedAssignments=4360, nogoods=3494, foundSolutions=52, bestBound=495
39.22/34.28
39.42/34.50 num=273, depth=16..29, filters=967706, ccks=66924, wck=31.674, mem=148M541
39.42/34.50 decisions=31919, wrong=5747, backtracks=1822, failedAssignments=4372, nogoods=3506, foundSolutions=52, bestBound=495
39.42/34.50
39.52/34.55 num=274, depth=3..40, filters=969830, ccks=66924, wck=31.732, mem=148M541
39.52/34.55 decisions=31972, wrong=5758, backtracks=1822, failedAssignments=4383, nogoods=3517, foundSolutions=52, bestBound=495
39.52/34.55
39.62/34.60 num=275, depth=15..32, filters=971233, ccks=66924, wck=31.781, mem=148M541
39.62/34.60 decisions=32018, wrong=5771, backtracks=1831, failedAssignments=4395, nogoods=3521, foundSolutions=52, bestBound=495
39.62/34.60
39.62/34.67 num=276, depth=17..93, filters=973758, ccks=66924, wck=31.844, mem=148M541
39.62/34.67 decisions=32128, wrong=5784, backtracks=1831, failedAssignments=4408, nogoods=3534, foundSolutions=52, bestBound=495
39.62/34.67
39.82/34.82 o 494
39.82/34.83 num=277, depth=18..7017, filters=976319, ccks=68211, wck=32.006, mem=151M183
39.82/34.83 decisions=32234, wrong=5796, backtracks=1835, failedAssignments=4416, nogoods=3540, foundSolutions=53, bestBound=494
39.82/34.83
40.03/35.05 num=278, depth=18..55, filters=978748, ccks=68211, wck=32.23, mem=151M183
40.03/35.05 decisions=32324, wrong=5817, backtracks=1844, failedAssignments=4432, nogoods=3550, foundSolutions=53, bestBound=494
40.03/35.05
40.22/35.21 o 493
40.22/35.21 num=279, depth=19..7017, filters=980928, ccks=69498, wck=32.39, mem=153M824
40.22/35.21 decisions=32436, wrong=5828, backtracks=1846, failedAssignments=4441, nogoods=3558, foundSolutions=54, bestBound=493
40.22/35.21
40.42/35.43 num=280, depth=16..26, filters=982496, ccks=69498, wck=32.603, mem=156M466
40.42/35.43 decisions=32484, wrong=5843, backtracks=1850, failedAssignments=4453, nogoods=3567, foundSolutions=54, bestBound=493
40.42/35.43
40.42/35.48 num=281, depth=7..25, filters=984227, ccks=69498, wck=32.658, mem=156M466
40.42/35.48 decisions=32522, wrong=5854, backtracks=1850, failedAssignments=4464, nogoods=3578, foundSolutions=54, bestBound=493
40.42/35.48
40.52/35.53 num=282, depth=13..30, filters=985907, ccks=69498, wck=32.712, mem=156M466
40.52/35.53 decisions=32581, wrong=5871, backtracks=1862, failedAssignments=4476, nogoods=3583, foundSolutions=54, bestBound=493
40.52/35.53
40.52/35.59 num=283, depth=13..32, filters=987685, ccks=69498, wck=32.767, mem=156M466
40.52/35.59 decisions=32640, wrong=5888, backtracks=1874, failedAssignments=4489, nogoods=3588, foundSolutions=54, bestBound=493
40.52/35.59
40.72/35.74 o 492
40.72/35.75 num=284, depth=9..7017, filters=989946, ccks=70785, wck=32.926, mem=159M107
40.72/35.75 decisions=32726, wrong=5897, backtracks=1874, failedAssignments=4498, nogoods=3597, foundSolutions=55, bestBound=492
40.72/35.75
40.92/35.97 num=285, depth=4..25, filters=991986, ccks=70785, wck=33.148, mem=159M107
40.92/35.97 decisions=32788, wrong=5919, backtracks=1888, failedAssignments=4514, nogoods=3603, foundSolutions=55, bestBound=492
40.92/35.97
41.03/36.03 num=286, depth=10..50, filters=994290, ccks=70785, wck=33.206, mem=159M107
41.03/36.03 decisions=32862, wrong=5934, backtracks=1893, failedAssignments=4525, nogoods=3611, foundSolutions=55, bestBound=492
41.03/36.03
41.13/36.18 o 491
41.13/36.19 num=287, depth=10..7017, filters=996485, ccks=72072, wck=33.365, mem=161M749
41.13/36.19 decisions=32952, wrong=5942, backtracks=1894, failedAssignments=4532, nogoods=3618, foundSolutions=56, bestBound=491
41.13/36.19
41.42/36.40 num=288, depth=9..20, filters=998016, ccks=72072, wck=33.577, mem=161M749
41.42/36.40 decisions=32994, wrong=5958, backtracks=1897, failedAssignments=4545, nogoods=3629, foundSolutions=56, bestBound=491
41.42/36.40
41.52/36.56 o 488
41.52/36.56 num=289, depth=8..7017, filters=1000298, ccks=73359, wck=33.738, mem=164M398
41.52/36.56 decisions=33070, wrong=5965, backtracks=1897, failedAssignments=4552, nogoods=3636, foundSolutions=57, bestBound=488
41.52/36.56
41.72/36.77 num=290, depth=10..20, filters=1001764, ccks=73359, wck=33.95, mem=164M398
41.72/36.77 decisions=33122, wrong=5986, backtracks=1914, failedAssignments=4564, nogoods=3637, foundSolutions=57, bestBound=488
41.72/36.77
41.82/36.83 num=291, depth=9..43, filters=1004050, ccks=73359, wck=34.011, mem=164M398
41.82/36.83 decisions=33180, wrong=5997, backtracks=1914, failedAssignments=4575, nogoods=3648, foundSolutions=57, bestBound=488
41.82/36.83
41.92/36.99 o 487
41.92/36.99 num=292, depth=10..7017, filters=1006080, ccks=74646, wck=34.17, mem=167M67
41.92/36.99 decisions=33268, wrong=6003, backtracks=1916, failedAssignments=4579, nogoods=3651, foundSolutions=58, bestBound=487
41.92/36.99
42.22/37.22 num=293, depth=10..20, filters=1008364, ccks=74646, wck=34.395, mem=167M67
42.22/37.22 decisions=33322, wrong=6022, backtracks=1927, failedAssignments=4592, nogoods=3656, foundSolutions=58, bestBound=487
42.22/37.22
42.22/37.28 num=294, depth=6..63, filters=1010711, ccks=74646, wck=34.453, mem=167M67
42.22/37.28 decisions=33399, wrong=6033, backtracks=1927, failedAssignments=4603, nogoods=3667, foundSolutions=58, bestBound=487
42.22/37.28
42.42/37.43 o 486
42.42/37.44 num=295, depth=3..7017, filters=1012981, ccks=75933, wck=34.614, mem=169M709
42.42/37.44 decisions=33468, wrong=6041, backtracks=1927, failedAssignments=4611, nogoods=3675, foundSolutions=59, bestBound=486
42.42/37.44
42.62/37.65 num=296, depth=3..23, filters=1014861, ccks=75933, wck=34.832, mem=169M709
42.62/37.65 decisions=33519, wrong=6059, backtracks=1933, failedAssignments=4624, nogoods=3685, foundSolutions=59, bestBound=486
42.62/37.65
42.72/37.71 num=297, depth=17..76, filters=1017284, ccks=75933, wck=34.891, mem=169M709
42.72/37.71 decisions=33610, wrong=6070, backtracks=1933, failedAssignments=4635, nogoods=3696, foundSolutions=59, bestBound=486
42.72/37.71
42.82/37.87 o 485
42.82/37.87 num=298, depth=30..7017, filters=1019634, ccks=77220, wck=35.052, mem=172M387
42.82/37.87 decisions=33673, wrong=6076, backtracks=1933, failedAssignments=4641, nogoods=3702, foundSolutions=60, bestBound=485
42.82/37.87
43.03/38.10 num=299, depth=2..31, filters=1022153, ccks=77220, wck=35.275, mem=172M387
43.03/38.10 decisions=33723, wrong=6089, backtracks=1933, failedAssignments=4654, nogoods=3715, foundSolutions=60, bestBound=485
43.03/38.10
43.13/38.16 num=300, depth=15..71, filters=1024150, ccks=77220, wck=35.333, mem=172M387
43.13/38.16 decisions=33812, wrong=6100, backtracks=1933, failedAssignments=4665, nogoods=3726, foundSolutions=60, bestBound=485
43.13/38.16
43.22/38.21 num=301, depth=15..48, filters=1026184, ccks=77220, wck=35.389, mem=172M387
43.22/38.21 decisions=33875, wrong=6112, backtracks=1933, failedAssignments=4677, nogoods=3738, foundSolutions=60, bestBound=485
43.22/38.21
43.32/38.36 o 484
43.32/38.37 num=302, depth=15..7017, filters=1028248, ccks=78507, wck=35.547, mem=175M28
43.32/38.37 decisions=33935, wrong=6118, backtracks=1933, failedAssignments=4683, nogoods=3744, foundSolutions=61, bestBound=484
43.32/38.37
43.62/38.69 o 483
43.62/38.69 num=303, depth=2..7017, filters=1030639, ccks=79794, wck=35.871, mem=177M670
43.62/38.69 decisions=34025, wrong=6135, backtracks=1939, failedAssignments=4695, nogoods=3752, foundSolutions=62, bestBound=483
43.62/38.69
43.92/38.91 num=304, depth=2..21, filters=1032582, ccks=79794, wck=36.091, mem=177M670
43.92/38.91 decisions=34069, wrong=6149, backtracks=1945, failedAssignments=4706, nogoods=3759, foundSolutions=62, bestBound=483
43.92/38.91
43.92/38.97 num=305, depth=8..48, filters=1034757, ccks=79794, wck=36.151, mem=177M670
43.92/38.97 decisions=34136, wrong=6162, backtracks=1947, failedAssignments=4717, nogoods=3769, foundSolutions=62, bestBound=483
43.92/38.97
44.13/39.13 o 482
44.13/39.13 num=306, depth=10..7017, filters=1036746, ccks=81081, wck=36.311, mem=180M311
44.13/39.13 decisions=34226, wrong=6172, backtracks=1948, failedAssignments=4726, nogoods=3778, foundSolutions=63, bestBound=482
44.13/39.13
44.32/39.35 num=307, depth=9..33, filters=1038776, ccks=81081, wck=36.532, mem=180M311
44.32/39.35 decisions=34285, wrong=6188, backtracks=1955, failedAssignments=4739, nogoods=3787, foundSolutions=63, bestBound=482
44.32/39.35
44.42/39.42 num=308, depth=20..94, filters=1041188, ccks=81081, wck=36.597, mem=180M311
44.42/39.42 decisions=34396, wrong=6199, backtracks=1955, failedAssignments=4750, nogoods=3798, foundSolutions=63, bestBound=482
44.42/39.42
44.52/39.58 o 481
44.52/39.58 num=309, depth=25..7017, filters=1043186, ccks=82368, wck=36.758, mem=182M953
44.52/39.58 decisions=34499, wrong=6210, backtracks=1955, failedAssignments=4761, nogoods=3809, foundSolutions=64, bestBound=481
44.52/39.58
44.92/39.90 o 480
44.92/39.91 num=310, depth=8..7017, filters=1045430, ccks=83655, wck=37.086, mem=185M595
44.92/39.91 decisions=34598, wrong=6223, backtracks=1956, failedAssignments=4773, nogoods=3821, foundSolutions=65, bestBound=480
44.92/39.91
45.13/40.12 num=311, depth=6..18, filters=1046810, ccks=83655, wck=37.301, mem=185M595
45.13/40.12 decisions=34629, wrong=6235, backtracks=1957, failedAssignments=4784, nogoods=3832, foundSolutions=65, bestBound=480
45.13/40.12
45.13/40.19 num=312, depth=2..83, filters=1049239, ccks=83655, wck=37.367, mem=185M595
45.13/40.19 decisions=34725, wrong=6246, backtracks=1957, failedAssignments=4795, nogoods=3843, foundSolutions=65, bestBound=480
45.13/40.19
45.23/40.25 num=313, depth=2..54, filters=1051501, ccks=83655, wck=37.429, mem=185M595
45.23/40.25 decisions=34796, wrong=6259, backtracks=1959, failedAssignments=4807, nogoods=3854, foundSolutions=65, bestBound=480
45.23/40.25
45.33/40.30 num=314, depth=2..40, filters=1053339, ccks=83655, wck=37.483, mem=185M595
45.33/40.30 decisions=34853, wrong=6273, backtracks=1961, failedAssignments=4820, nogoods=3866, foundSolutions=65, bestBound=480
45.33/40.30
45.43/40.47 o 479
45.43/40.47 num=315, depth=4..7017, filters=1055503, ccks=84942, wck=37.648, mem=188M292
45.43/40.47 decisions=34948, wrong=6286, backtracks=1963, failedAssignments=4832, nogoods=3877, foundSolutions=66, bestBound=479
45.43/40.47
45.63/40.69 num=316, depth=4..24, filters=1057616, ccks=84942, wck=37.872, mem=188M292
45.63/40.69 decisions=35005, wrong=6306, backtracks=1973, failedAssignments=4848, nogoods=3885, foundSolutions=66, bestBound=479
45.63/40.69
45.83/40.85 o 478
45.83/40.85 num=317, depth=2..7017, filters=1059707, ccks=86229, wck=38.029, mem=190M962
45.83/40.85 decisions=35096, wrong=6316, backtracks=1973, failedAssignments=4858, nogoods=3895, foundSolutions=67, bestBound=478
45.83/40.85
46.04/41.07 num=318, depth=3..14, filters=1061548, ccks=86229, wck=38.246, mem=190M962
46.04/41.07 decisions=35136, wrong=6333, backtracks=1982, failedAssignments=4870, nogoods=3901, foundSolutions=67, bestBound=478
46.04/41.07
46.14/41.12 num=319, depth=2..9, filters=1063386, ccks=86229, wck=38.301, mem=190M962
46.14/41.12 decisions=35166, wrong=6346, backtracks=1990, failedAssignments=4881, nogoods=3907, foundSolutions=67, bestBound=478
46.14/41.12
46.23/41.23 num=320, depth=0..37, filters=1066819, ccks=86229, wck=38.408, mem=190M962
46.23/41.23 decisions=35222, wrong=6359, backtracks=1991, failedAssignments=4893, nogoods=3918, foundSolutions=67, bestBound=478
46.23/41.23
46.23/41.28 num=321, depth=25..69, filters=1068885, ccks=86229, wck=38.46, mem=190M962
46.23/41.28 decisions=35316, wrong=6377, backtracks=1996, failedAssignments=4906, nogoods=3927, foundSolutions=67, bestBound=478
46.23/41.28
46.43/41.43 o 477
46.43/41.43 num=322, depth=28..7017, filters=1071071, ccks=87516, wck=38.61, mem=193M603
46.43/41.43 decisions=35396, wrong=6383, backtracks=1996, failedAssignments=4912, nogoods=3933, foundSolutions=68, bestBound=477
46.43/41.43
46.63/41.65 num=323, depth=2..94, filters=1073477, ccks=87516, wck=38.828, mem=193M603
46.63/41.65 decisions=35519, wrong=6400, backtracks=2004, failedAssignments=4928, nogoods=3942, foundSolutions=68, bestBound=477
46.63/41.65
46.83/41.80 o 476
46.83/41.80 num=324, depth=88..7017, filters=1075467, ccks=88803, wck=38.979, mem=196M282
46.83/41.80 decisions=35623, wrong=6407, backtracks=2004, failedAssignments=4935, nogoods=3949, foundSolutions=69, bestBound=476
46.83/41.80
46.93/41.99
46.93/41.99 New Bounds: 476..475
46.93/42.00 num=325, depth=0..1, filters=1076422, ccks=88803, wck=39.182, mem=196M282
46.93/42.00 decisions=35627, wrong=6410, backtracks=2006, failedAssignments=4936, foundSolutions=69, bestBound=476
46.93/42.00
46.93/42.00 Global
46.93/42.00 filters=1076422, ccks=88803
46.93/42.00 Stop=FULL_EXPLORATION, wrong=6410, bestBound=476, bestBoundWck=39.954, bestBoundCpu=41.691, foundSolutions=69, firstSolCpu=6.035
46.93/42.00 wck=40.161, cpu=41.898, mem=196M282
47.05/42.02
47.05/42.02 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>
47.05/42.02 s OPTIMUM FOUND
47.05/42.02
47.05/42.02 d WRONG_DECISIONS 6410
47.05/42.02 d NUMBER_SOLUTIONS 69