2.39/1.89
2.39/1.89 AbsCon 2
2.64/1.91
3.63/2.21 Instance
3.63/2.21 name=instance-4390542-1568383119, framework=CSP
3.63/2.21
3.63/2.21 Loading variables...
3.63/2.27 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9c2696
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21cfe752
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6aca7c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7763295e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1563b0d8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1772c9a9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f09a38
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721bcd64
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16147696
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625c1198
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a49498
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e92bf41
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20681cbc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321ef1c5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d8e149
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c8eea8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c364fbe
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23467ca9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d098748
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e741e5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1470df55
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a6be2f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed393ab
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2decafd4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78340c39
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b826a1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b33e5c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b526492
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fab7696
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@129c309b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606cd99d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77fe18
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36781516
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a436e98
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28eac291
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea8789b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb8843d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ecdeb42
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359584e5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a5973f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eabcfc0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0d5cb9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc2846d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44414e94
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6133e1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39696df3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d11846
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6016469d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d315d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e366ecd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f144012
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@699f4f98
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61cb5c5e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26133ff8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75137abb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6526e84e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7a0f4e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4c5067
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cd927f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c753ac
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb7dacb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666fd06d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b401b47
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f84584d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2269b035
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1876896e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e53c335
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58a8d5c6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@85f2e90
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2abcb2c5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b756e0b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72198430
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57157f2c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352d097c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ccf195c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13accaf3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683e8f0a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6936a6e3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2553db7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a630b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac85f5f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0036d5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a9c367
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c10927
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dc90b57
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46278bc7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b29e5df
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b4cdd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf01454
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd11b6e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f7c876
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61ace1ee
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e972b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f1bcfe
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aa37659
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6595e123
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45df46df
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734f0d23
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27b0b62f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e88432e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f08f84
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3173486e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d6261c5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca37d1b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72b53f23
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482912
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e75199b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ecadc84
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e30ef51
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb64f75
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76fed5ae
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18061107
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68a39c82
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509a65d3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0e20e1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f43471
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ce7a9d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582fae
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66018a4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523cf744
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a77a83
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6c69ce
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@642a4c4e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf136e2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dafd0a9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69fc223c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5f6158
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d17e8fb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73bec33e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52402132
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1201b870
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7364e624
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e02c48
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@661ad4c7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1618b959
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec957a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22655f28
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c4c431
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef3aa7c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1757c5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4010a083
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b990772
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27846f59
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3b18d9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47217b8c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de92682
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc9baac
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d570483
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e06a874
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1550f8a1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55a13bda
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed709d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4fe162
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735a523b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331e2e17
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eb2628
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9837f8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff9ed78
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0a6fe5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8db210
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716b171a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244cb589
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc561ca
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a23b871
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6313aa90
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acb04e5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a449ea5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b5aad9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f082dc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@527d2046
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a4476d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bae27d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b81e4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1830cb8f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239654e0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47584543
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c9ec3f3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54448cd3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46962f3b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af40de0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e92a08f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1d66ca
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588d3bcb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e18c2fa
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5508b6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3184e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea6690
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53797c0d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e0f2ae
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7092731e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713719f5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65225ec9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47e90e1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bf21119
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68870923
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1871b4f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa6ae62
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf5ae78
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ade4c49
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32e6b33c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e1b1ddc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f1f08a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1c57c3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb6eeab
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65219095
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1fa633
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c34e4ba
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b147edf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469def8a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f31f10d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f0387e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e04f831
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ca8ba7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb01dcf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2730188d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bbf228d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6baf30b5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567af6b0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9c6e8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d72f2a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d6e2e7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1313dba9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab02a7e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db0c07f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352a5020
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2277f465
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f6743e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17122b8b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17daba36
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42093f2e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb9e76b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681db825
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ba14e3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348fa6c8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4570f5f8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a32da03
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40af2328
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bae0476
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26ca6d52
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bc8eadd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c359875
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46771f7d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e99bdd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f2489
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1784b0cf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a386f9b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ab81b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d341a8a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696f455e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f391745
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41473016
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51de37fd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75f91df5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271a62ce
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25165d32
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80c8731
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c5a81a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0340da
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad52f4f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f489f15
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee93d4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3734d55f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73728dff
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44fbc3e4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17342728
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b99a177
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fe31152
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25aeeea7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d3acde
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2db9ae
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6acbbf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601a80ca
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324bf804
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0ee714
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485b62d3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a691859
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ebd3b6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454d38ff
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233af3e6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab1769d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4999d767
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5746a3d7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2864704a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddbbb28
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34941154
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff08bd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61fb9e60
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e4129e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7725f4b2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39353a3e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286c944d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a14ffbd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15058165
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24adf63d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be8589
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738c72e5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77417dc5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c5a58
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73247c98
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39fc1050
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a17855a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c301497
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f183400
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490aa957
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e5a8de
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c4b670
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b3146c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dce7626
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ac10dc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550ab419
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509646b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ffdfd5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4cbb5d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9918b98
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b8427e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60027daf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c07958c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dddd2f4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2851f35f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c824fa7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6628cb92
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc0323d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d2e394e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f89353f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5effc77e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7c0fd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec0018
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8574e9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6892dfe5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3c3232
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e17cbd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54dec3ab
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a1b63c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@504239ff
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6d42d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fdcfd09
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e994ae5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9b5cb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696834a0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@459084c8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482f17c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dc5f85
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ece7420
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741b6a39
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278c1a8d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16567646
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ba95935
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb15224
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457b525b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ddc1fe2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ca27f8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bee9f87
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5f7d4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf61c8a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a35959b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c74380
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581274c6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599f90e1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5170f683
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2a344f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b7fb23f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326229a0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75496277
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfb4034
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e005524
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d05ba4d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475e77bd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2840dc08
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afe674e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5265ae19
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df2fbe8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b128e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfcdb5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291f8bee
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f735f31
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6ef9da
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6b3f13
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6520fcbb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a674d7d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625512a9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f44cac3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42321ac4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476a0e39
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5921f969
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9325a0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3dc6d1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b062ee1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f5cdaaf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747e273a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a0841f1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a731031
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26058fd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12cb1a66
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b9e7de
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ed33e8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5cc3be
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f84991
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290b5dd1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@458fea4c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8bed85
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a07a4ca
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289de98f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289467b7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63029897
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c37f43
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770479a5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f043612
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f8c951
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4434c9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3465f029
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a564937
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648622cd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@356a2808
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eff9dd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73149e73
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@87f4e97
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2304a9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64761eba
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4a6f9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@96d501b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0c9332
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63033d9f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66046cc6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763636e5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b790ac1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286198df
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f0dd5e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2755ebdf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7512af21
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f95eb4b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd25259
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c402e10
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72adc022
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d2ffd6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510e7a69
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70031f7b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f864fcc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be542
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f3e7be6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36508061
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45bb5472
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f130ee4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e23db0e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ecd9ca
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230e5237
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec31f0f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2464ff15
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75936fc3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a445a5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b259292
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649fbac
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f8a41e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66438cd6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478e060
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25525a60
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5891b99d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adc3af3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da4ff68
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2794d7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49543aa1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77778177
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2232a8c5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f4642f3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5c959a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb4d887
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a03fe3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2aefc6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513c090f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b41fda
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925ce7a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6818043e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71871783
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579d2c1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78e0f824
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e94d799
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b6699
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd8323f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b8a62f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db9d9a9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5503c065
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c416522
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc1faa6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532c38cc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c3c14f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bdb69b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8bcf2f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ea2ed3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5300dd5d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d94bd9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e68190
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee5fc0e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d8b4fc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3c3e1f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1623bf3f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6375e5e4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa87ee7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3962e7bc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5e608b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bc89bf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe97438
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b91ed1a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d17812d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c55fab
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4017a176
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a66768e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14288119
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6427869c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b1119e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f4f3a9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dc20b1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a558dc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2951579a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e995feb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117efa12
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530a71c9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f6ffe0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541b64af
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743548d2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@512fcd4b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a390eec
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c454897
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f57964d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4661de18
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6537d850
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c621b0b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c84a5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d8d3d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65611041
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e815183
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e1b38
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a21c830
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20070777
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e688234
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cf63a7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca75224
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1000e9b8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108d4b8e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5646afe1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42d67af9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad2dd3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ce4c46
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b4c8f6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f83d85
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c901f14
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e2d750
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f2e6b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64dda3f5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e2f172b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3462463
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53848341
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd31ff
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5483827c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c208afe
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637bc980
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bdb21d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d51709c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d18b60d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37cafbb7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b8c5cd4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572ad22a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c943d1d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a96bd8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537b0d38
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb17ba
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ca7d4a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd2cfdc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29197522
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3eda89
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f6c0c31
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610e5b6c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@154fa520
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6776cbbc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf83a1a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@189c8c00
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64447eb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f22e27
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5498d48e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b98d921
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744fd268
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e744b9a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289b6bdf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@210a3320
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b1ebb0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@506987c5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11465898
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce82112
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e69997d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dc27ac9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5685cc93
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142925d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75da08bc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac77430
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f488085
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3197346a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ced9577
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b525f7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de0825e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c6ef8a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6454c3a3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3bf7e1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d98770
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3887b5e8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265be79e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273ea9f5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4432fe36
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbe2fed
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25131461
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c031880
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b595b21
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e31151
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dbf94b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239304df
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3e37e1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab4a88a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3155a3af
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fa369a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f4dff5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77f8291c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa35932
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4d6c1b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2690866d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233031a2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4b3e3e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d4b96f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb86a9d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e82362
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301b752d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccc95df
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135fec9f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfcbe0d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b024fc8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e8e486
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631da5b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2896b553
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a809e69
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef2f64f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59968f39
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c3a1480
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8e6d7b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a3325f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5008bd3a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e2549b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e1726e2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289422e4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b868cf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35aaa44e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ababa62
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77de1227
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a812022
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283811ce
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@618c686f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2507caee
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf80c9f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25484cca
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492b4163
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8af4f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9e4d6f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63857b3a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba9d333
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704f6ce2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ba8352
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7645af73
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b9c178
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6952f950
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4930441a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aded736
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@292de878
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604f4a76
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c5c50a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d42c78
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fb248e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9d2b03
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a92210
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5860986e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a63b217
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7edbee26
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4887
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@218b16ef
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e79bfc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3183c2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6629fe6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55920206
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32575ca8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708d52db
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5b55d2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d0f4c0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed1c7e2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2835ed01
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e4b03
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a181c4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790f3fdd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7fe6fc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753485e8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@192fb024
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109237a0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2602ac10
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217fa03a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b7035a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658ca800
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb267ad
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1097f63e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b5e635
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54aff8fa
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fd930d4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794c85ed
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77a1a3b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36dc5ae1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e667466
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@472afd0b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73541443
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d7b3172
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d9b5d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c8f9a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be00d8c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dbffd98
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4837e39e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33afb30d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7720d151
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1cc43b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4892e8fb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491cde3e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c856d8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a43396
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb0d086
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478af658
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d32cf5e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173f1e62
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98b3615
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59871312
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cdf6b9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183af604
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1549d300
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bfe034
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7412e0fd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@111b22b4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aa38b1a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8f4b23
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393c5b2f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4545a3a7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eee8ae3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a72b4b9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2724a991
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49010327
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a07222f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501d209a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e223fc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83af466
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11d622c9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb2c383
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fdf3a44
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3269c84f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17869766
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b272c1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6c905b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b4df746
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9a0764
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f49c82
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad4e3f3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37920734
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772b2145
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f44cc75
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2704a13e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d36536
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c06ab9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c147bc3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b5417f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367e4af2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@baa486a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a9f326
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57cc2df6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6ed326
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2285e38c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6317cb33
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cfadfe1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2a33a8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b20268
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cc8512
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223fc590
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b511a35
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7f163f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a9d3fba
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c015bf9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261559dc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ef85f1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@471cb87d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f53f66
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244db9c9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76236927
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386facfb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220611ad
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38362cd2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c71b59d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428b06aa
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f27c584
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59106a47
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd12d5e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614c2104
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e80bc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da7df63
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b195910
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9da3610
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d10a21d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62d7348d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cee17
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d2f0a57
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27940d67
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d4e6da1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@186242f9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bae1c4e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada71cf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e80aa70
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd1cccb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b0f806
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a62b0d8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eeb9c0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62eda5e0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49761dac
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad6aca0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259b7aae
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414d8464
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fab032d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303e77d3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c06544d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd738c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2650ed7a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0e02a4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e5d1b9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691373e2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183f77b5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fa646ea
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b2ef94
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f88792
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2e7612
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533a8866
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d0aad
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@677f9b71
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15bad609
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645bf6b1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10442b56
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76d913b9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79688432
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e61f68b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e59574
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495e48e9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564227e8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c5d3ca
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100361ac
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bea153c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc4ef81
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18525e16
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bae27e9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15edd64a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404c4b8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1c5d00
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e8353c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468716b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f06026e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44475b0d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104a196d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ded587
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbfafb1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e435b8c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@112001b4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adcbf68
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d643775
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647daccd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b8f80a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a61a0b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e29e063
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515d389c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714ecc5a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3802b67d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67921699
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550b7fe8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b9c1725
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cbfae9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395c90db
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61efa976
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a38ada4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71bcb1f4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1069a8e1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498e574e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20634081
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d238631
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1efc27
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7fa132
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf9d082
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550cac83
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6ad681
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fa112a2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7096e2b8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67671d1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fb64d8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297290ce
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb86e4b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163d5017
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619715f2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a1d69d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b764f45
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d0684f9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@298a5e74
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adc5946
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b2791f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52be1eff
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dcc74f8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662aceae
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f53bcf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d5dca09
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d1e06d1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62dbcfb4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1123ec
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc5021f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d454879
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ea5bad
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3edd7015
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac4c8a7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41302d4b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346cf670
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25cf894a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52079e37
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43100229
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75635d92
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efa7f5c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d14768
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3714205d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82401d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3a8f72
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@703a4537
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e3d820
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795d1d1f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74023c04
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59337afc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402b87bf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f36b71
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fba38e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58eeccf0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17d03574
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d96e40a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a9a955
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0f4d6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7985cad2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530c1f75
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ae76fc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a0a02e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b52da7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a31e29
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d28009
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6288da64
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b51665
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dabf63
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2280a0d2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1a17a0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0d57d9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f24ffcf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6535c6cb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b968387
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525b4dc1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ba6fe6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270ee256
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11933fc4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72665a34
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de82cd2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f44fe9a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c61d72e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160ddf4c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd12fcc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172e874d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2680cc4b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24251a8b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f5eacb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25442eb9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165aaad8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77713ac3
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b17a77
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e7ed20
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b6f4d07
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29764d2e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0d3efa
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213b68f0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d353c6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49476095
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66c19b92
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289a9bfd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608c260f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec35799
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c58231c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902685b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@170e05cd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd3b2fd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbc39f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cd816b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7088b5
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a84f73
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b2988c
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d919a7a
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6440990c
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a25a221
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532dae2d
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4d3916
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293a7126
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fb1ba9
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8733b29
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be30958
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7ec900
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b59910
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38745b19
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283eaec8
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47212b44
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbcf2b5
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4808dd8
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a66c83
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113ebc05
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f322e
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27299a7d
4.73/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641120
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bff7d38
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7b90c8
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@185dc726
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4a3fe
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a3b1c4
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151639a7
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77493ee8
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f1d71e
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ae5dfe
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be7ba5
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411fb4fb
4.73/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108f76c2
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bbe7a8
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58cf56d
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcce48d
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66741ca7
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68517e7
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495c9aaa
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32693dbe
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4966e7ad
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cef16e
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481aaba7
4.73/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4993530b
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19710233
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744f30e
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c705bbb
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6fd356
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41881976
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@335d24c
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ffc24f
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513d5a65
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47ea2cbf
4.73/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ace3743
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acbf89a
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d68eb81
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614a549f
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e93aa1
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741efef5
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78cd411f
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211f5391
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109e9527
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde22e
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe45ffc
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76faf5b2
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0e9401
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce3c214
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742c0993
4.73/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471cb3e
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe4bfa3
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216682b0
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282b488
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e9ba9a
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f155e0a
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a5ae1a
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40766271
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27da5b17
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6565ab97
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c25ea63
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9ea26a
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d52089
4.73/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4032ebe8
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6eb4c5
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6afabbf8
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fce5cbe
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7a7719
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26372ae6
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b85537c
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9902e
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bb3bfb
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ea9272
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ca257a2
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26a6854b
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1797e1f3
4.73/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68ecdd53
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6724a2
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cefcfb4
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f8018d
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f66c79b
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddb305
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bb0304
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbe2665
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287f6137
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac752f0
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5dc026
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca707dd
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a2b7a
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36434381
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a0520
4.73/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287bfb59
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cfddb4f
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58984eae
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c52ffbe
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb1189
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f9be18
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c37783
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b36517e
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641850
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8ab57a
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c49150d
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7591a67d
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416996fc
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5059a3
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746b4213
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0b7bed
4.73/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf54d4a
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b442049
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f95729
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6fd09c
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bafb8b4
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707d948e
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702f4cda
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e37378a
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4de9c5
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e647a2c
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a48a12f
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abac7af
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d9ab54
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@817b04f
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43da3992
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46908a6c
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f2b7c77
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4823066c
4.73/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0456c9
4.73/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34882a5a
4.73/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701e8c4c
4.73/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23597e60
4.73/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dd2fe7
4.73/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2d15d5
4.73/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f975aef
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ec9c7f
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e81ac16
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58869328
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6107508
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d0d
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4124d52
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76984393
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f24d43c
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2405f5
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0cd115
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b8b8d
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36760b28
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9f59d2
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418bdd04
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bb67d2
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bbf4de
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e9958ef
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542e9f8
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb17f90
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47bc445a
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206f3554
5.04/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b68d6f0
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@954c771
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742afdd7
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5baf83
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a49017
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ab62f9
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67aa2eb6
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@594ac6db
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1baaf4d4
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4026e893
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c976749
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a9c290
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6613a9be
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3911da28
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1a91ea
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5359c6ab
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@815550
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaff0e
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691a659d
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf8ec4e
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4bafa9
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f13fc8
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3ed338
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32ffcf09
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ff0cf44
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1b3f8f
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59976d2a
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d6c322f
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f30d599
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbcbf1a
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb1e945
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a999ace
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0724d3
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429357b
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49140f46
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@226dd8bd
5.04/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8c41d1d
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ededca2
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d606b41
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752a9bda
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5a18eb
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c08cb56
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60bc6c16
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce44a9e
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e95d9a
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac5cf3f
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51159240
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6050a4
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20bb57b7
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60705772
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d541abd
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6456e4ff
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79caecdb
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532a65c5
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d462a3a
5.04/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dcb9234
5.04/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c78043
5.04/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5309bcd
5.04/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@365d0c30
5.04/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd86836
5.04/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45acf32f
5.04/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cfe12ab
5.65/2.90
5.65/2.90
5.65/2.90 Domains
5.65/2.90 nTypes=2, nValues=6800, sizes=[2#1000,24#200]
5.65/2.91 Variables
5.65/2.91 count=1200, degrees=[2#200,3#5,4#5,5#6...73#2,74#2,75#3,76#55]
5.65/2.91 Constraints
5.65/2.91 count=1428, nSpecific=1428, arities=[2#199,3#396,5#392,6#200...196#1,197#2,198#1,200#6]
5.65/2.91 distribution=[CardinalityConstant#1,CtrExtensionCT-Table#200,SumSimpleGE#240,SumSimpleLE#987]
5.65/2.91 tables=[24#200], nTotalTuples=4800
5.65/2.91 nExtStructures=(1,shared:199)
5.65/2.91 wck=1.043, cpu=2.865, mem=89M930
5.65/2.94 Solver SolverBacktrack being built...
5.65/2.94
5.65/2.98
5.65/2.98 Solver
5.65/2.98 guaranteedGAC=true
5.65/2.98 wck=1.119, cpu=2.94, mem=124M364
5.94/3.03
5.94/3.03 Preprocessing
5.94/3.03 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.94/3.03 wck=0.044, cpu=2.976, mem=127M6
5.94/3.03
6.52/3.23 num=0, depth=87..120, filters=1663, wck=0.248, mem=127M6
6.52/3.23 decisions=140, wrong=11, backtracks=1, failedAssignments=10, nogoods=6
6.52/3.23 nFilterCalls=1623, avgTableProportion=0.9583333333333174, avgTableSize=23.0
6.52/3.23
6.83/3.37 num=1, depth=61..160, filters=2571, wck=0.385, mem=127M6
6.83/3.37 decisions=325, wrong=25, backtracks=5, failedAssignments=21, nogoods=16
6.83/3.37 nFilterCalls=3350, avgTableProportion=0.9583333333333689, avgTableSize=23.0
6.83/3.37
7.38/3.50 num=2, depth=173..182, filters=3550, wck=0.515, mem=127M6
7.38/3.50 decisions=535, wrong=42, backtracks=12, failedAssignments=33, nogoods=18
7.38/3.50 nFilterCalls=4998, avgTableProportion=0.9583333333333414, avgTableSize=23.0
7.38/3.50
7.53/3.61 num=3, depth=118..177, filters=4410, wck=0.628, mem=127M6
7.53/3.61 decisions=740, wrong=56, backtracks=13, failedAssignments=46, nogoods=31
7.53/3.61 nFilterCalls=6442, avgTableProportion=0.9583333333332716, avgTableSize=23.0
7.53/3.61
7.66/3.74 num=4, depth=149..198, filters=5568, wck=0.76, mem=127M6
7.66/3.74 decisions=973, wrong=77, backtracks=20, failedAssignments=60, nogoods=38
7.66/3.74 nFilterCalls=7982, avgTableProportion=0.958333333333225, avgTableSize=23.0
7.66/3.74
7.76/3.86 num=5, depth=176..219, filters=6561, wck=0.883, mem=127M6
7.76/3.86 decisions=1231, wrong=97, backtracks=25, failedAssignments=76, nogoods=44
7.76/3.86 nFilterCalls=9448, avgTableProportion=0.9583333333332814, avgTableSize=23.0
7.76/3.86
7.90/3.98 num=6, depth=171..233, filters=7448, wck=1.002, mem=127M6
7.90/3.98 decisions=1498, wrong=114, backtracks=25, failedAssignments=93, nogoods=61
7.90/3.98 nFilterCalls=10785, avgTableProportion=0.958333333333363, avgTableSize=23.0
7.90/3.98
8.14/4.12 num=7, depth=204..265, filters=8419, wck=1.137, mem=127M6
8.14/4.12 decisions=1807, wrong=136, backtracks=28, failedAssignments=112, nogoods=80
8.14/4.12 nFilterCalls=12184, avgTableProportion=0.9583333333334292, avgTableSize=23.0
8.14/4.12
8.25/4.21 num=8, depth=196..219, filters=10011, wck=1.226, mem=127M6
8.25/4.21 decisions=2094, wrong=175, backtracks=55, failedAssignments=133, nogoods=88
8.25/4.21 nFilterCalls=13087, avgTableProportion=0.9583333333334645, avgTableSize=23.0
8.25/4.21
8.35/4.30 num=9, depth=211..230, filters=10969, wck=1.316, mem=127M6
8.35/4.30 decisions=2483, wrong=264, backtracks=141, failedAssignments=156, nogoods=89
8.35/4.30 nFilterCalls=13739, avgTableProportion=0.958333333333487, avgTableSize=23.0
8.35/4.30
8.35/4.34 num=10, depth=98..110, filters=11651, wck=1.36, mem=127M6
8.35/4.34 decisions=2694, wrong=320, backtracks=187, failedAssignments=181, nogoods=91
8.35/4.34 nFilterCalls=14109, avgTableProportion=0.9583333333334989, avgTableSize=23.0
8.35/4.34
8.35/4.39 num=11, depth=57..125, filters=12317, wck=1.405, mem=127M6
8.35/4.39 decisions=2906, wrong=378, backtracks=219, failedAssignments=209, nogoods=95
8.35/4.39 nFilterCalls=14455, avgTableProportion=0.9583333333335095, avgTableSize=23.0
8.35/4.39
8.47/4.43 num=12, depth=63..74, filters=13021, wck=1.445, mem=127M6
8.47/4.43 decisions=3128, wrong=456, backtracks=285, failedAssignments=240, nogoods=99
8.47/4.43 nFilterCalls=14781, avgTableProportion=0.9583333333335189, avgTableSize=23.0
8.47/4.43
8.57/4.56 num=13, depth=54..298, filters=14572, wck=1.584, mem=127M6
8.57/4.56 decisions=3598, wrong=544, backtracks=356, failedAssignments=274, nogoods=108
8.57/4.56 nFilterCalls=15999, avgTableProportion=0.958333333333551, avgTableSize=23.0
8.57/4.56
8.89/4.85 num=14, depth=233..320, filters=17785, wck=1.868, mem=127M6
8.89/4.85 decisions=4043, wrong=612, backtracks=395, failedAssignments=311, nogoods=118
8.89/4.85 nFilterCalls=18289, avgTableProportion=0.958333333333481, avgTableSize=23.0
8.89/4.85
9.14/5.10 num=15, depth=230..342, filters=20547, wck=2.119, mem=127M6
9.14/5.10 decisions=4529, wrong=687, backtracks=444, failedAssignments=352, nogoods=122
9.14/5.10 nFilterCalls=20393, avgTableProportion=0.9583333333333407, avgTableSize=23.0
9.14/5.10
9.46/5.37 num=16, depth=254..284, filters=23574, wck=2.39, mem=127M6
9.46/5.37 decisions=4953, wrong=768, backtracks=504, failedAssignments=397, nogoods=128
9.46/5.37 nFilterCalls=22640, avgTableProportion=0.9583333333332196, avgTableSize=23.0
9.46/5.37
9.86/5.71 num=17, depth=242..260, filters=27228, wck=2.733, mem=127M6
9.86/5.71 decisions=5385, wrong=859, backtracks=565, failedAssignments=447, nogoods=134
9.86/5.71 nFilterCalls=25694, avgTableProportion=0.958333333333089, avgTableSize=23.0
9.86/5.71
10.17/6.05 num=18, depth=241..257, filters=31123, wck=3.068, mem=127M6
10.17/6.05 decisions=5836, wrong=963, backtracks=648, failedAssignments=502, nogoods=137
10.17/6.05 nFilterCalls=28776, avgTableProportion=0.9583333333329853, avgTableSize=23.0
10.17/6.05
10.70/6.52 num=19, depth=187..263, filters=36552, wck=3.543, mem=127M6
10.70/6.52 decisions=6282, wrong=1058, backtracks=729, failedAssignments=563, nogoods=142
10.70/6.52 nFilterCalls=33077, avgTableProportion=0.9583333333328728, avgTableSize=23.0
10.70/6.52
11.04/6.88 num=20, depth=183..248, filters=40541, wck=3.904, mem=127M6
11.04/6.88 decisions=6763, wrong=1178, backtracks=825, failedAssignments=630, nogoods=146
11.04/6.88 nFilterCalls=36191, avgTableProportion=0.958333333333009, avgTableSize=23.0
11.04/6.88
11.64/7.47 num=21, depth=231..249, filters=47563, wck=4.486, mem=127M6
11.64/7.47 decisions=7285, wrong=1319, backtracks=918, failedAssignments=704, nogoods=150
11.64/7.47 nFilterCalls=41478, avgTableProportion=0.9583333333333595, avgTableSize=23.0
11.64/7.47
12.35/8.18 num=22, depth=219..243, filters=55610, wck=5.196, mem=127M6
12.35/8.18 decisions=7823, wrong=1478, backtracks=1030, failedAssignments=785, nogoods=154
12.35/8.18 nFilterCalls=47930, avgTableProportion=0.9583333333336824, avgTableSize=23.0
12.35/8.18
13.05/8.85 num=23, depth=206..243, filters=63772, wck=5.869, mem=127M6
13.05/8.85 decisions=8299, wrong=1613, backtracks=1141, failedAssignments=874, nogoods=157
13.05/8.85 nFilterCalls=54529, avgTableProportion=0.9583333333339337, avgTableSize=23.0
13.05/8.85
13.95/9.78 num=24, depth=195..225, filters=74614, wck=6.801, mem=129M649
13.95/9.78 decisions=8858, wrong=1791, backtracks=1281, failedAssignments=972, nogoods=164
13.95/9.78 nFilterCalls=63324, avgTableProportion=0.9583333333341871, avgTableSize=23.0
13.95/9.78
15.15/10.91 num=25, depth=192..234, filters=87697, wck=7.931, mem=129M649
15.15/10.91 decisions=9392, wrong=1961, backtracks=1410, failedAssignments=1080, nogoods=169
15.15/10.91 nFilterCalls=74030, avgTableProportion=0.9583333333338596, avgTableSize=23.0
15.15/10.91
15.55/11.38 num=26, depth=179..204, filters=93179, wck=8.4, mem=129M649
15.55/11.38 decisions=9974, wrong=2162, backtracks=1580, failedAssignments=1199, nogoods=175
15.55/11.38 nFilterCalls=78391, avgTableProportion=0.9583333333335605, avgTableSize=23.0
15.55/11.38
16.26/12.04 num=27, depth=178..221, filters=100786, wck=9.06, mem=129M649
16.26/12.04 decisions=10581, wrong=2376, backtracks=1751, failedAssignments=1330, nogoods=178
16.26/12.04 nFilterCalls=84626, avgTableProportion=0.9583333333331864, avgTableSize=23.0
16.26/12.04
16.95/12.73 num=28, depth=187..198, filters=108124, wck=9.745, mem=129M649
16.95/12.73 decisions=11239, wrong=2610, backtracks=1956, failedAssignments=1474, nogoods=182
16.95/12.73 nFilterCalls=90517, avgTableProportion=0.9583333333328803, avgTableSize=23.0
16.95/12.73
17.45/13.26 num=29, depth=180..215, filters=114326, wck=10.279, mem=129M649
17.45/13.26 decisions=11944, wrong=2872, backtracks=2182, failedAssignments=1632, nogoods=188
17.45/13.26 nFilterCalls=95515, avgTableProportion=0.9583333333326501, avgTableSize=23.0
17.45/13.26
18.05/13.83 num=30, depth=181..205, filters=133832, wck=10.845, mem=129M649
18.05/13.83 decisions=12722, wrong=3163, backtracks=2406, failedAssignments=1806, nogoods=193
18.05/13.83 nFilterCalls=106775, avgTableProportion=0.9583333333322106, avgTableSize=23.0
18.05/13.83
18.36/14.13 num=31, depth=120..175, filters=161872, wck=11.149, mem=129M649
18.36/14.13 decisions=13689, wrong=3573, backtracks=2705, failedAssignments=1997, nogoods=200
18.36/14.13 nFilterCalls=120983, avgTableProportion=0.9583333333317728, avgTableSize=23.0
18.36/14.13
18.45/14.29 num=32, depth=94..133, filters=165718, wck=11.305, mem=129M649
18.45/14.29 decisions=14762, wrong=4061, backtracks=3107, failedAssignments=2208, nogoods=204
18.45/14.29 nFilterCalls=122795, avgTableProportion=0.9583333333317243, avgTableSize=23.0
18.45/14.29
18.69/14.47 num=33, depth=83..104, filters=172943, wck=11.488, mem=129M649
18.69/14.47 decisions=15995, wrong=4634, backtracks=3617, failedAssignments=2440, nogoods=208
18.69/14.47 nFilterCalls=126775, avgTableProportion=0.9583333333316225, avgTableSize=23.0
18.69/14.47
18.90/14.69 num=34, depth=78..171, filters=181187, wck=11.706, mem=129M649
18.90/14.69 decisions=17340, wrong=5238, backtracks=4124, failedAssignments=2695, nogoods=213
18.90/14.69 nFilterCalls=130988, avgTableProportion=0.9583333333315216, avgTableSize=23.0
18.90/14.69
19.10/14.89 num=35, depth=77..96, filters=187491, wck=11.914, mem=129M649
19.10/14.89 decisions=18819, wrong=5938, backtracks=4746, failedAssignments=2976, nogoods=217
19.10/14.89 nFilterCalls=134182, avgTableProportion=0.9583333333314492, avgTableSize=23.0
19.10/14.89
20.20/15.91 num=36, depth=85..195, filters=199385, wck=12.928, mem=129M649
20.20/15.91 decisions=19978, wrong=6430, backtracks=5194, failedAssignments=3285, nogoods=224
20.20/15.91 nFilterCalls=143979, avgTableProportion=0.958333333331976, avgTableSize=23.0
20.20/15.91
21.60/17.34 num=37, depth=84..208, filters=216337, wck=14.364, mem=129M649
21.60/17.34 decisions=21217, wrong=6958, backtracks=5672, failedAssignments=3625, nogoods=233
21.60/17.34 nFilterCalls=158283, avgTableProportion=0.9583333333329753, avgTableSize=23.0
21.60/17.34
22.01/17.77 num=38, depth=99..260, filters=236177, wck=14.784, mem=129M649
22.01/17.77 decisions=23511, wrong=7985, backtracks=6560, failedAssignments=3999, nogoods=243
22.01/17.77 nFilterCalls=168021, avgTableProportion=0.9583333333335583, avgTableSize=23.0
22.01/17.77
22.31/18.06 num=39, depth=71..109, filters=245243, wck=15.081, mem=129M649
22.31/18.06 decisions=25545, wrong=8964, backtracks=7407, failedAssignments=4410, nogoods=248
22.31/18.06 nFilterCalls=172659, avgTableProportion=0.9583333333338129, avgTableSize=23.0
22.31/18.06
22.72/18.41 num=40, depth=65..199, filters=256632, wck=15.431, mem=129M649
22.72/18.41 decisions=27798, wrong=9995, backtracks=8271, failedAssignments=4862, nogoods=256
22.72/18.41 nFilterCalls=178107, avgTableProportion=0.958333333334095, avgTableSize=23.0
22.72/18.41
24.12/19.86 num=41, depth=72..204, filters=275546, wck=16.88, mem=129M649
24.12/19.86 decisions=29673, wrong=10841, backtracks=9013, failedAssignments=5359, nogoods=267
24.12/19.86 nFilterCalls=193127, avgTableProportion=0.9583333333347902, avgTableSize=23.0
24.12/19.86
26.03/21.77 num=42, depth=76..231, filters=299288, wck=18.788, mem=129M649
26.03/21.77 decisions=31698, wrong=11757, backtracks=9795, failedAssignments=5906, nogoods=276
26.03/21.77 nFilterCalls=212181, avgTableProportion=0.9583333333355306, avgTableSize=23.0
26.03/21.77
28.03/23.77 num=43, depth=192..238, filters=322177, wck=20.789, mem=129M649
28.03/23.77 decisions=33944, wrong=12783, backtracks=10728, failedAssignments=6508, nogoods=282
28.03/23.77 nFilterCalls=230774, avgTableProportion=0.9583333333361351, avgTableSize=23.0
28.03/23.77
30.14/25.81 num=44, depth=175..202, filters=346853, wck=22.828, mem=129M649
30.14/25.81 decisions=36392, wrong=13918, backtracks=11750, failedAssignments=7170, nogoods=287
30.14/25.81 nFilterCalls=250165, avgTableProportion=0.9583333333366699, avgTableSize=23.0
30.14/25.81
32.45/28.11 num=45, depth=172..192, filters=375452, wck=25.127, mem=129M649
32.45/28.11 decisions=38980, wrong=15123, backtracks=12799, failedAssignments=7898, nogoods=292
32.45/28.11 nFilterCalls=272700, avgTableProportion=0.958333333337196, avgTableSize=23.0
32.45/28.11
36.25/31.91 num=46, depth=171..216, filters=421120, wck=28.932, mem=129M649
36.25/31.91 decisions=41869, wrong=16479, backtracks=14010, failedAssignments=8699, nogoods=301
36.25/31.91 nFilterCalls=309345, avgTableProportion=0.9583333333345192, avgTableSize=23.0
36.25/31.91
39.26/34.99 num=47, depth=171..187, filters=458702, wck=32.012, mem=129M649
39.26/34.99 decisions=45015, wrong=17964, backtracks=15335, failedAssignments=9580, nogoods=308
39.26/34.99 nFilterCalls=340310, avgTableProportion=0.9583333333326458, avgTableSize=23.0
39.26/34.99
42.66/38.34 num=48, depth=184..208, filters=497275, wck=35.354, mem=129M649
42.66/38.34 decisions=48414, wrong=19571, backtracks=16809, failedAssignments=10550, nogoods=314
42.66/38.34 nFilterCalls=372179, avgTableProportion=0.9583333333310433, avgTableSize=23.0
42.66/38.34
46.37/42.05 num=49, depth=177..195, filters=539561, wck=39.07, mem=129M649
46.37/42.05 decisions=52124, wrong=21336, backtracks=18458, failedAssignments=11617, nogoods=323
46.37/42.05 nFilterCalls=406496, avgTableProportion=0.9583333333295986, avgTableSize=23.0
46.37/42.05
51.60/47.28 num=50, depth=178..209, filters=603407, wck=44.295, mem=129M649
51.60/47.28 decisions=56346, wrong=23356, backtracks=20312, failedAssignments=12790, nogoods=331
51.60/47.28 nFilterCalls=458978, avgTableProportion=0.958333333327807, avgTableSize=23.0
51.60/47.28
57.20/52.81 num=51, depth=185..203, filters=672160, wck=49.833, mem=132M291
57.20/52.81 decisions=60868, wrong=25522, backtracks=22270, failedAssignments=14081, nogoods=337
57.20/52.81 nFilterCalls=515552, avgTableProportion=0.9583333333262843, avgTableSize=23.0
57.20/52.81
63.10/58.75 num=52, depth=194..214, filters=743797, wck=55.77, mem=132M291
63.10/58.75 decisions=65704, wrong=27841, backtracks=24431, failedAssignments=15501, nogoods=343
63.10/58.75 nFilterCalls=574723, avgTableProportion=0.9583333333278119, avgTableSize=23.0
63.10/58.75
68.41/64.05 num=53, depth=199..218, filters=806511, wck=61.065, mem=132M291
68.41/64.05 decisions=71218, wrong=30496, backtracks=26837, failedAssignments=17063, nogoods=351
68.41/64.05 nFilterCalls=624818, avgTableProportion=0.9583333333313657, avgTableSize=23.0
68.41/64.05
73.51/69.20 num=54, depth=178..208, filters=963527, wck=66.215, mem=132M291
73.51/69.20 decisions=77970, wrong=33781, backtracks=29742, failedAssignments=18781, nogoods=364
73.51/69.20 nFilterCalls=720592, avgTableProportion=0.9583333333367848, avgTableSize=23.0
73.51/69.20
74.96/70.59 num=55, depth=96..152, filters=1009410, wck=67.608, mem=132M291
74.96/70.59 decisions=88235, wrong=38864, backtracks=34381, failedAssignments=20671, nogoods=368
74.96/70.59 nFilterCalls=743330, avgTableProportion=0.9583333333378663, avgTableSize=23.0
74.96/70.59
86.77/82.31 num=56, depth=78..214, filters=1151344, wck=79.331, mem=132M291
86.77/82.31 decisions=95396, wrong=42365, backtracks=37486, failedAssignments=22750, nogoods=377
86.77/82.31 nFilterCalls=864035, avgTableProportion=0.9583333333426541, avgTableSize=23.0
86.77/82.31
96.37/91.96 num=57, depth=74..265, filters=1272252, wck=88.98, mem=132M291
96.37/91.96 decisions=103667, wrong=46419, backtracks=40965, failedAssignments=25037, nogoods=394
96.37/91.96 nFilterCalls=962705, avgTableProportion=0.958333333345676, avgTableSize=23.0
96.37/91.96
106.27/101.90 num=58, depth=115..193, filters=1395576, wck=98.915, mem=132M291
106.27/101.90 decisions=112183, wrong=50591, backtracks=44751, failedAssignments=27553, nogoods=400
106.27/101.90 nFilterCalls=1062828, avgTableProportion=0.9583333333481688, avgTableSize=23.0
106.27/101.90
109.67/105.20 num=59, depth=74..233, filters=1482484, wck=102.223, mem=132M291
109.67/105.20 decisions=124038, wrong=56418, backtracks=49763, failedAssignments=30321, nogoods=412
109.67/105.20 nFilterCalls=1112259, avgTableProportion=0.9583333333473405, avgTableSize=23.0
109.67/105.20
111.79/107.31 num=60, depth=63..88, filters=1551833, wck=104.328, mem=134M934
111.79/107.31 decisions=139421, wrong=64076, backtracks=56864, failedAssignments=33365, nogoods=419
111.79/107.31 nFilterCalls=1142562, avgTableProportion=0.9583333333449107, avgTableSize=23.0
111.79/107.31
127.20/122.71 num=61, depth=79..186, filters=1735522, wck=119.734, mem=134M934
127.20/122.71 decisions=151120, wrong=69846, backtracks=61977, failedAssignments=36714, nogoods=426
127.20/122.71 nFilterCalls=1294352, avgTableProportion=0.9583333333344516, avgTableSize=23.0
127.20/122.71
139.30/134.85 num=62, depth=80..181, filters=1881252, wck=131.871, mem=134M934
139.30/134.85 decisions=163269, wrong=75842, backtracks=67366, failedAssignments=40398, nogoods=433
139.30/134.85 nFilterCalls=1412361, avgTableProportion=0.9583333333278734, avgTableSize=23.0
139.30/134.85
150.11/145.62 num=63, depth=78..170, filters=2018827, wck=142.644, mem=134M934
150.11/145.62 decisions=176948, wrong=82605, backtracks=73526, failedAssignments=44450, nogoods=440
150.11/145.62 nFilterCalls=1518739, avgTableProportion=0.9583333333228198, avgTableSize=23.0
150.11/145.62
163.31/158.88 num=64, depth=75..171, filters=2186189, wck=155.904, mem=134M934
163.31/158.88 decisions=192835, wrong=90469, backtracks=80644, failedAssignments=48907, nogoods=448
163.31/158.88 nFilterCalls=1655709, avgTableProportion=0.9583333333172691, avgTableSize=23.0
163.31/158.88
179.63/175.17 num=65, depth=153..178, filters=2385891, wck=172.186, mem=137M576
179.63/175.17 decisions=208020, wrong=97983, backtracks=87560, failedAssignments=53810, nogoods=457
179.63/175.17 nFilterCalls=1822548, avgTableProportion=0.9583333333116351, avgTableSize=23.0
179.63/175.17
195.83/191.31 num=66, depth=154..176, filters=2588197, wck=188.326, mem=137M576
195.83/191.31 decisions=225961, wrong=106873, backtracks=95580, failedAssignments=59204, nogoods=463
195.83/191.31 nFilterCalls=1982216, avgTableProportion=0.9583333333071314, avgTableSize=23.0
195.83/191.31
215.13/210.68 num=67, depth=160..185, filters=2832781, wck=207.696, mem=137M576
215.13/210.68 decisions=246278, wrong=116950, backtracks=104641, failedAssignments=65137, nogoods=471
215.13/210.68 nFilterCalls=2176911, avgTableProportion=0.9583333333025336, avgTableSize=23.0
215.13/210.68
235.65/231.16 num=68, depth=171..189, filters=3090098, wck=228.183, mem=137M576
235.65/231.16 decisions=269879, wrong=128663, backtracks=115180, failedAssignments=71663, nogoods=479
235.65/231.16 nFilterCalls=2385269, avgTableProportion=0.9583333333176679, avgTableSize=23.0
235.65/231.16
247.55/243.06 num=69, depth=179..212, filters=3343382, wck=240.083, mem=140M219
247.55/243.06 decisions=296378, wrong=141821, backtracks=126553, failedAssignments=78842, nogoods=485
247.55/243.06 nFilterCalls=2543762, avgTableProportion=0.9583333333283153, avgTableSize=23.0
247.55/243.06
265.25/260.79 num=70, depth=184..235, filters=3713324, wck=257.805, mem=140M219
265.25/260.79 decisions=324104, wrong=155583, backtracks=138284, failedAssignments=86739, nogoods=494
265.25/260.79 nFilterCalls=2782018, avgTableProportion=0.9583333333420383, avgTableSize=23.0
265.25/260.79
282.96/278.45 num=71, depth=72..233, filters=3980383, wck=275.466, mem=140M219
282.96/278.45 decisions=355992, wrong=171445, backtracks=151680, failedAssignments=95426, nogoods=503
282.96/278.45 nFilterCalls=2978457, avgTableProportion=0.9583333333517015, avgTableSize=23.0
282.96/278.45
304.16/299.60 num=72, depth=71..221, filters=4408934, wck=296.622, mem=142M778
304.16/299.60 decisions=394284, wrong=190497, backtracks=168568, failedAssignments=104981, nogoods=508
304.16/299.60 nFilterCalls=3264707, avgTableProportion=0.9583333333637007, avgTableSize=23.0
304.16/299.60
335.39/330.81 num=73, depth=82..220, filters=4818922, wck=327.829, mem=142M778
335.39/330.81 decisions=430620, wrong=208577, backtracks=185042, failedAssignments=115492, nogoods=518
335.39/330.81 nFilterCalls=3579157, avgTableProportion=0.9583333333746697, avgTableSize=23.0
335.39/330.81
374.67/370.07 num=74, depth=117..227, filters=5316854, wck=367.091, mem=47M513
374.67/370.07 decisions=469167, wrong=227752, backtracks=201889, failedAssignments=127054, nogoods=526
374.67/370.07 nFilterCalls=3995334, avgTableProportion=0.9583333333865326, avgTableSize=23.0
374.67/370.07
407.57/402.95 num=75, depth=162..219, filters=5734818, wck=399.974, mem=50M76
407.57/402.95 decisions=509161, wrong=247651, backtracks=220073, failedAssignments=139772, nogoods=537
407.57/402.95 nFilterCalls=4322236, avgTableProportion=0.9583333333942488, avgTableSize=23.0
407.57/402.95
440.49/435.89 num=76, depth=185..230, filters=6291331, wck=432.905, mem=50M76
440.49/435.89 decisions=559795, wrong=272868, backtracks=242296, failedAssignments=153762, nogoods=549
440.49/435.89 nFilterCalls=4726353, avgTableProportion=0.9583333333678593, avgTableSize=23.0
440.49/435.89
450.31/445.64 num=77, depth=131..241, filters=6672541, wck=442.664, mem=52M639
450.31/445.64 decisions=635664, wrong=310733, backtracks=275388, failedAssignments=169151, nogoods=553
450.31/445.64 nFilterCalls=4917587, avgTableProportion=0.9583333333544443, avgTableSize=23.0
450.31/445.64
460.41/455.79 num=78, depth=94..203, filters=7134804, wck=452.809, mem=55M202
460.41/455.79 decisions=708259, wrong=346981, backtracks=304721, failedAssignments=186079, nogoods=560
460.41/455.79 nFilterCalls=5189166, avgTableProportion=0.9583333333370923, avgTableSize=23.0
460.41/455.79
472.02/467.33 num=79, depth=89..124, filters=7668543, wck=464.345, mem=57M765
472.02/467.33 decisions=792759, wrong=389182, backtracks=340290, failedAssignments=204700, nogoods=567
472.02/467.33 nFilterCalls=5401701, avgTableProportion=0.9583333333247298, avgTableSize=23.0
472.02/467.33
490.22/485.54 num=80, depth=76..201, filters=8171978, wck=482.562, mem=60M328
490.22/485.54 decisions=880418, wrong=432924, backtracks=376146, failedAssignments=225184, nogoods=573
490.22/485.54 nFilterCalls=5679726, avgTableProportion=0.9583333333099547, avgTableSize=23.0
490.22/485.54
570.45/565.70 num=81, depth=89..222, filters=9221835, wck=562.719, mem=62M891
570.45/565.70 decisions=956951, wrong=471104, backtracks=410727, failedAssignments=247716, nogoods=583
570.45/565.70 nFilterCalls=6563596, avgTableProportion=0.9583333332712982, avgTableSize=23.0
570.45/565.70
630.17/625.42 num=82, depth=111..210, filters=10022791, wck=622.439, mem=65M454
630.17/625.42 decisions=1040210, wrong=512641, backtracks=448645, failedAssignments=272501, nogoods=595
630.17/625.42 nFilterCalls=7203413, avgTableProportion=0.9583333332492344, avgTableSize=23.0
630.17/625.42
737.00/732.20 num=83, depth=111..207, filters=11357107, wck=729.22, mem=70M580
737.00/732.20 decisions=1134327, wrong=559609, backtracks=490124, failedAssignments=299765, nogoods=605
737.00/732.20 nFilterCalls=8296117, avgTableProportion=0.9583333332194224, avgTableSize=23.0
737.00/732.20
898.45/893.67 num=84, depth=113..216, filters=13364721, wck=890.69, mem=73M143
898.45/893.67 decisions=1224565, wrong=604637, backtracks=532013, failedAssignments=329755, nogoods=611
898.45/893.67 nFilterCalls=9977018, avgTableProportion=0.9583333333005388, avgTableSize=23.0
898.45/893.67
1035.49/1030.69 num=85, depth=114..203, filters=15102883, wck=1027.712, mem=75M706
1035.49/1030.69 decisions=1336123, wrong=660324, backtracks=582048, failedAssignments=362744, nogoods=624
1035.49/1030.69 nFilterCalls=11373430, avgTableProportion=0.9583333333807962, avgTableSize=23.0
1035.49/1030.69
1156.73/1151.83 num=86, depth=184..206, filters=16692747, wck=1148.854, mem=80M832
1156.73/1151.83 decisions=1457819, wrong=721076, backtracks=636773, failedAssignments=399032, nogoods=634
1156.73/1151.83 nFilterCalls=12688646, avgTableProportion=0.9583333334402327, avgTableSize=23.0
1156.73/1151.83
1342.29/1337.35 num=87, depth=192..222, filters=19036959, wck=1334.37, mem=85M958
1342.29/1337.35 decisions=1600483, wrong=792310, backtracks=701607, failedAssignments=438949, nogoods=645
1342.29/1337.35 nFilterCalls=14645948, avgTableProportion=0.958333333508922, avgTableSize=23.0
1342.29/1337.35
1493.44/1488.40 num=88, depth=196..228, filters=21261061, wck=1485.417, mem=91M83
1493.44/1488.40 decisions=1743171, wrong=863553, backtracks=765302, failedAssignments=482858, nogoods=659
1493.44/1488.40 nFilterCalls=16342379, avgTableProportion=0.9583333335551459, avgTableSize=23.0
1493.44/1488.40
1606.98/1601.93 num=89, depth=196..251, filters=23270869, wck=1598.951, mem=96M209
1606.98/1601.93 decisions=1904839, wrong=944285, backtracks=834274, failedAssignments=531158, nogoods=669
1606.98/1601.93 nFilterCalls=17774831, avgTableProportion=0.9583333335592045, avgTableSize=23.0
1606.98/1601.93
1754.02/1748.90 num=90, depth=94..202, filters=25162409, wck=1745.916, mem=101M335
1754.02/1748.90 decisions=2091617, wrong=1037583, backtracks=918872, failedAssignments=584288, nogoods=681
1754.02/1748.90 nFilterCalls=19260302, avgTableProportion=0.9583333334460116, avgTableSize=23.0
1754.02/1748.90
1997.49/1992.36 num=91, depth=183..216, filters=28220227, wck=1989.376, mem=109M24
1997.49/1992.36 decisions=2279643, wrong=1131503, backtracks=1002755, failedAssignments=642731, nogoods=687
1997.49/1992.36 nFilterCalls=21829692, avgTableProportion=0.9583333332865916, avgTableSize=23.0
1997.49/1992.36
2221.76/2216.50 num=92, depth=187..225, filters=32084661, wck=2213.524, mem=116M713
2221.76/2216.50 decisions=2496327, wrong=1239746, backtracks=1100113, failedAssignments=707018, nogoods=694
2221.76/2216.50 nFilterCalls=24660047, avgTableProportion=0.9583333331494331, avgTableSize=23.0
2221.76/2216.50
2416.03/2410.74 num=93, depth=197..247, filters=36597442, wck=2407.76, mem=124M402
2416.03/2410.74 decisions=2720103, wrong=1351530, backtracks=1197030, failedAssignments=777734, nogoods=705
2416.03/2410.74 nFilterCalls=27678976, avgTableProportion=0.9583333330340527, avgTableSize=23.0
2416.03/2410.74
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13975 MiB free)
memory of node 1: 16384 MiB (13436 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390542-1568383119/watcher-4390542-1568383119 -o /tmp/evaluation-result-4390542-1568383119/solver-4390542-1568383119 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568380476-12474 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390542-1568383119.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13460, runsolver pid=13457
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 1.99 1.84 1.72 4/228 13475
/proc/meminfo: memFree=28054432/32770624 swapFree=66998528/67108860
[pid=13460] ppid=13457 vsize=10659884 memory=29176 CPUtime=0.14 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 12443 0 -1 1077944320 5837 0 0 0 12 2 0 0 20 0 15 0 414580717 10915721216 7294 33554432000 4194304 4196468 140728406812384 140728406794928 139906001059575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
/proc/13460/statm: 2664971 7294 2896 1 0 2627468 0
[pid=13460/tid=13462] ppid=13457 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) S 13457 13460 12443 0 -1 1077944384 3218 0 0 0 8 1 0 0 20 0 15 0 414580717 10915721216 7294 33554432000 4194304 4196468 140728406812384 139906005290080 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13463] ppid=13457 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905607719568 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13464] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905606666768 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13465] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905605613968 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13466] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13468] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905559201312 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13469] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905558148464 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13470] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905557096784 139906001078171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13471] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 12443 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905556044144 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13472] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 12443 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905554991344 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13473] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0.02 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) R 13457 13460 12443 0 -1 4202560 592 0 0 0 2 0 0 0 20 0 15 0 414580723 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905553935048 139906001071510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13474] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905552885984 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13475] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 7294 33554432000 4194304 4196468 140728406812384 139905551834288 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29176 KiB
[startup+0.211297 s]*
/proc/loadavg: 1.99 1.84 1.72 3/228 13475
/proc/meminfo: memFree=28047068/32770624 swapFree=66998528/67108860
[pid=13460] ppid=13457 vsize=10659884 memory=34932 CPUtime=0.32 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 12443 0 -1 1077944320 6836 0 0 0 30 2 0 0 20 0 15 0 414580717 10915721216 8733 33554432000 4194304 4196468 140728406812384 140728406794928 139906001059575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
/proc/13460/statm: 2664971 8733 2987 1 0 2627468 0
[pid=13460/tid=13462] ppid=13457 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 12443 0 -1 4202560 3867 0 0 0 18 2 0 0 20 0 15 0 414580717 10915721216 8733 33554432000 4194304 4196468 140728406812384 139906005291664 139906001081501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13463] ppid=13457 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905607719568 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13464] ppid=13457 vsize=10659884 memory=140687908555289 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905606666768 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13465] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905605613968 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13466] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13468] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905559201312 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13469] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905558148464 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13470] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905557096784 139906001078171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13471] ppid=13457 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 12443 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 414580723 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905556044144 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13472] ppid=13457 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 12443 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 15 0 414580723 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905554991344 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13473] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0.05 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 12443 0 -1 1077944384 630 0 0 0 5 0 0 0 20 0 15 0 414580723 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905553938544 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13474] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905552885984 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13475] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 8733 33554432000 4194304 4196468 140728406812384 139905551834288 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34932 KiB
[startup+0.310392 s]*
/proc/loadavg: 1.99 1.84 1.72 3/228 13475
/proc/meminfo: memFree=28039584/32770624 swapFree=66998528/67108860
[pid=13460] ppid=13457 vsize=10659884 memory=40052 CPUtime=0.47 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 12443 0 -1 1077944320 9385 0 0 0 43 4 0 0 20 0 15 0 414580717 10915721216 10013 33554432000 4194304 4196468 140728406812384 140728406794928 139906001059575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
/proc/13460/statm: 2664971 10013 2999 1 0 2627468 0
[pid=13460/tid=13462] ppid=13457 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 12443 0 -1 4202560 6321 0 0 0 27 3 0 0 20 0 15 0 414580717 10915721216 10013 33554432000 4194304 4196468 140728406812384 139906005291376 139906001081501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13463] ppid=13457 vsize=10659884 memory=1946931 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905607719568 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13464] ppid=13457 vsize=10659884 memory=140687908555242 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905606666768 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13465] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905605613968 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13466] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580718 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13468] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905559201312 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13469] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414580720 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905558148464 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13470] ppid=13457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905557096784 139906001078171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13471] ppid=13457 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 12443 0 -1 1077944384 607 0 0 0 4 0 0 0 20 0 15 0 414580723 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905556044144 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13472] ppid=13457 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 12443 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 414580723 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905554991344 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13473] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0.07 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 12443 0 -1 1077944384 660 0 0 0 7 0 0 0 20 0 15 0 414580723 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905553938544 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13474] ppid=13457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905552885984 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13475] ppid=13457 vsize=10659884 memory=140687908542080 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580723 10915721216 10013 33554432000 4194304 4196468 140728406812384 139905551834288 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40052 KiB
[startup+0.701301 s]
/proc/loadavg: 1.99 1.84 1.72 3/228 13475
/proc/meminfo: memFree=28029820/32770624 swapFree=66998528/67108860
[pid=13460] ppid=13457 vsize=10661932 memory=61540 CPUtime=1.1 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 12443 0 -1 1077944320 13033 0 0 0 104 6 0 0 20 0 15 0 414580717 10917818368 15385 33554432000 4194304 4196468 140728406812384 140728406794928 139906001059575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
/proc/13460/statm: 2665483 15385 3073 1 0 2627980 0
[pid=13460/tid=13462] ppid=13457 vsize=10661932 memory=21792 CPUtime=0.68 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 12443 0 -1 4202560 8858 0 0 0 63 5 0 0 20 0 15 0 414580717 10917818368 15385 33554432000 4194304 4196468 140728406812384 139906005291936 139905625700438 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13463] ppid=13457 vsize=10661932 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905607719568 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13464] ppid=13457 vsize=10661932 memory=524 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905606666768 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13465] ppid=13457 vsize=10661932 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905605613968 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13466] ppid=13457 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580718 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10661932 memory=3536 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580720 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13468] ppid=13457 vsize=10661932 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414580720 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905559201312 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13469] ppid=13457 vsize=10661932 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414580720 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905558148464 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13470] ppid=13457 vsize=10661932 memory=816 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580723 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905557096784 139906001078171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13471] ppid=13457 vsize=10661932 memory=6153431502485415268 CPUtime=0.11 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 12443 0 -1 1077944384 928 0 0 0 11 0 0 0 20 0 15 0 414580723 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905556044144 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13472] ppid=13457 vsize=10661932 memory=7453282923461503316 CPUtime=0.1 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 12443 0 -1 1077944384 726 0 0 0 10 0 0 0 20 0 15 0 414580723 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905554991344 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13473] ppid=13457 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 12443 0 -1 1077944384 1162 0 0 0 19 0 0 0 20 0 15 0 414580723 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905553938544 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13474] ppid=13457 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580723 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905552885984 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13475] ppid=13457 vsize=10661932 memory=7738707418567895914 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580723 10917818368 15385 33554432000 4194304 4196468 140728406812384 139905551834288 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61540 KiB
[startup+1.50083 s]
/proc/loadavg: 1.99 1.84 1.72 3/228 13475
/proc/meminfo: memFree=28014700/32770624 swapFree=66998528/67108860
[pid=13460] ppid=13457 vsize=10663980 memory=75776 CPUtime=2.01 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 12443 0 -1 1077944320 18604 0 0 0 194 7 0 0 20 0 15 0 414580717 10919915520 18944 33554432000 4194304 4196468 140728406812384 140728406794928 139906001059575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
/proc/13460/statm: 2665995 18944 3095 1 0 2628492 0
[pid=13460/tid=13462] ppid=13457 vsize=10663980 memory=6378026435766 CPUtime=1.47 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 12443 0 -1 4202560 13130 0 0 0 142 5 0 0 20 0 15 0 414580717 10919915520 18944 33554432000 4194304 4196468 140728406812384 139906005291600 139906001081501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13463] ppid=13457 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10919915520 18944 33554432000 4194304 4196468 140728406812384 139905607719568 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13464] ppid=13457 vsize=10663980 memory=16100368647981698 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10919915520 18944 33554432000 4194304 4196468 140728406812384 139905606666768 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13465] ppid=13457 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580718 10919915520 18944 33554432000 4194304 4196468 140728406812384 139905605613968 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13466] ppid=13457 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580718 10919915520 18944 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 414580720 10919915520 18944 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
################
# More data... #
################
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 274 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.05 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 1784 0 0 0 3 2 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13468] ppid=13457 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 12443 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905559201376 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13469] ppid=13457 vsize=10748324 memory=307948 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 12443 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905558148480 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13470] ppid=13457 vsize=10748324 memory=307948 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905557096784 139906001078171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13471] ppid=13457 vsize=10748324 memory=307948 CPUtime=1.85 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 12443 0 -1 1077944384 11961 0 0 0 183 2 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905556044144 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13472] ppid=13457 vsize=10748324 memory=307948 CPUtime=1.79 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 12443 0 -1 1077944384 9291 0 0 0 178 1 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905554991344 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13473] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.88 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 12443 0 -1 1077944384 8098 0 0 0 86 2 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905553938544 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13474] ppid=13457 vsize=10748324 memory=307948 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905552885984 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13475] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.75 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 12443 0 -1 1077944384 1341 0 0 0 35 40 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905551834288 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13476] ppid=13457 vsize=10748324 memory=307948 CPUtime=2440.24 cores=0,2,4,6
/proc/13460/task/13476/stat : 13476 (java) R 13457 13460 12443 0 -1 4202560 18426 0 0 0 244020 4 0 0 20 0 16 0 414580907 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905541115952 139905631932879 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
Current children cumulated CPU time: 2447.64 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 307948 KiB
[startup+2502.3 s]
/proc/loadavg: 1.65 1.71 1.76 3/229 13807
/proc/meminfo: memFree=24976140/32770624 swapFree=66998528/67108860
[pid=13460] ppid=13457 vsize=10748324 memory=307948 CPUtime=2507.66 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 12443 0 -1 1077944320 69888 0 0 0 250716 50 0 0 20 0 16 0 414580717 11006283776 76987 33554432000 4194304 4196468 140728406812384 140728406794928 139906001059575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
/proc/13460/statm: 2687081 76987 3385 1 0 2647217 0
[pid=13460/tid=13462] ppid=13457 vsize=10748324 memory=307948 CPUtime=1.87 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) S 13457 13460 12443 0 -1 1077944384 15391 0 0 0 180 7 0 0 20 0 16 0 414580717 11006283776 76987 33554432000 4194304 4196468 140728406812384 139906005302448 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13463] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 12443 0 -1 1077944384 1298 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905607719568 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13464] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 12443 0 -1 1077944384 202 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905606666768 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13465] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 12443 0 -1 1077944384 232 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905605613968 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13466] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 274 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.05 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 1791 0 0 0 3 2 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13468] ppid=13457 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 12443 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905559201376 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13469] ppid=13457 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 12443 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905558148480 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13470] ppid=13457 vsize=10748324 memory=39844 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905557096784 139906001078171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13471] ppid=13457 vsize=10748324 memory=307948 CPUtime=1.85 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 12443 0 -1 1077944384 11963 0 0 0 183 2 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905556044144 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13472] ppid=13457 vsize=10748324 memory=307948 CPUtime=1.79 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 12443 0 -1 1077944384 9299 0 0 0 178 1 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905554991344 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13473] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.88 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 12443 0 -1 1077944384 8100 0 0 0 86 2 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905553938544 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13474] ppid=13457 vsize=10748324 memory=307948 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905552885984 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13475] ppid=13457 vsize=10748324 memory=6791534058613427641 CPUtime=0.77 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 12443 0 -1 1077944384 1372 0 0 0 36 41 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905551834288 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13476] ppid=13457 vsize=10748324 memory=4108 CPUtime=2500.24 cores=0,2,4,6
/proc/13460/task/13476/stat : 13476 (java) R 13457 13460 12443 0 -1 4202560 18534 0 0 0 250020 4 0 0 20 0 16 0 414580907 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905541115952 139905631194692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
Current children cumulated CPU time: 2507.66 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 307948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.7 s]
/proc/loadavg: 1.66 1.71 1.76 3/230 13809
/proc/meminfo: memFree=24976312/32770624 swapFree=66998528/67108860
[pid=13460] ppid=13457 vsize=10748324 memory=307948 CPUtime=2520.07 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 12443 0 -1 1077944320 70010 0 0 0 251957 50 0 0 20 0 16 0 414580717 11006283776 76987 33554432000 4194304 4196468 140728406812384 140728406794928 139906001059575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
/proc/13460/statm: 2687081 76987 3385 1 0 2647217 0
[pid=13460/tid=13462] ppid=13457 vsize=10748324 memory=307948 CPUtime=1.87 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) S 13457 13460 12443 0 -1 1077944384 15391 0 0 0 180 7 0 0 20 0 16 0 414580717 11006283776 76987 33554432000 4194304 4196468 140728406812384 139906005302448 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13463] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 12443 0 -1 1077944384 1298 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905607719568 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13464] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 12443 0 -1 1077944384 202 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905606666768 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13465] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 12443 0 -1 1077944384 232 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905605613968 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13466] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 274 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10748324 memory=4160 CPUtime=0.05 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 1798 0 0 0 3 2 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13468] ppid=13457 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 12443 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905559201376 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13469] ppid=13457 vsize=10748324 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 12443 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905558148480 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13470] ppid=13457 vsize=10748324 memory=4160 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905557096784 139906001078171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13471] ppid=13457 vsize=10748324 memory=1204 CPUtime=1.85 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 12443 0 -1 1077944384 11965 0 0 0 183 2 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905556044144 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13472] ppid=13457 vsize=10748324 memory=1536 CPUtime=1.79 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 12443 0 -1 1077944384 9307 0 0 0 178 1 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905554991344 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13473] ppid=13457 vsize=10748324 memory=1712 CPUtime=0.88 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 12443 0 -1 1077944384 8102 0 0 0 86 2 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905553938544 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13474] ppid=13457 vsize=10748324 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905552885984 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13475] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.79 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 12443 0 -1 1077944384 1401 0 0 0 37 42 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905551834288 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13476] ppid=13457 vsize=10748324 memory=307948 CPUtime=2512.64 cores=0,2,4,6
/proc/13460/task/13476/stat : 13476 (java) R 13457 13460 12443 0 -1 4202560 18608 0 0 0 251260 4 0 0 20 0 16 0 414580907 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905541115952 139905631772428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 307948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.71 s]
# the end of solver process 13460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.58 s, system=0.506072 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.7 s]
/proc/loadavg: 1.66 1.71 1.76 3/230 13809
/proc/meminfo: memFree=24976312/32770624 swapFree=66998528/67108860
[pid=13460] ppid=13457 vsize=10748324 memory=307948 CPUtime=2520.07 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 12443 0 -1 1077944320 70010 0 0 0 251957 50 0 0 20 0 16 0 414580717 11006283776 76987 33554432000 4194304 4196468 140728406812384 140728406794928 139906001059575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
/proc/13460/statm: 2687081 76987 3385 1 0 2647217 0
[pid=13460/tid=13462] ppid=13457 vsize=10748324 memory=307948 CPUtime=1.87 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) S 13457 13460 12443 0 -1 1077944384 15391 0 0 0 180 7 0 0 20 0 16 0 414580717 11006283776 76987 33554432000 4194304 4196468 140728406812384 139906005302448 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13463] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 12443 0 -1 1077944384 1298 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905607719568 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13464] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 12443 0 -1 1077944384 202 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905606666768 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13465] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 12443 0 -1 1077944384 232 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905605613968 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13466] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 12443 0 -1 1077944384 274 0 0 0 2 1 0 0 20 0 16 0 414580718 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905604561168 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13467] ppid=13457 vsize=10748324 memory=4160 CPUtime=0.05 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 12443 0 -1 1077944384 1798 0 0 0 3 2 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905560255344 139906001070722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13468] ppid=13457 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 12443 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905559201376 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13469] ppid=13457 vsize=10748324 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 12443 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414580720 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905558148480 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13470] ppid=13457 vsize=10748324 memory=4160 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905557096784 139906001078171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13471] ppid=13457 vsize=10748324 memory=1204 CPUtime=1.85 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 12443 0 -1 1077944384 11965 0 0 0 183 2 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905556044144 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13472] ppid=13457 vsize=10748324 memory=1536 CPUtime=1.79 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 12443 0 -1 1077944384 9307 0 0 0 178 1 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905554991344 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13473] ppid=13457 vsize=10748324 memory=1712 CPUtime=0.88 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 12443 0 -1 1077944384 8102 0 0 0 86 2 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905553938544 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13474] ppid=13457 vsize=10748324 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905552885984 139906001069781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13475] ppid=13457 vsize=10748324 memory=307948 CPUtime=0.79 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 12443 0 -1 1077944384 1401 0 0 0 37 42 0 0 20 0 16 0 414580723 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905551834288 139906001070722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
[pid=13460/tid=13476] ppid=13457 vsize=10748324 memory=307948 CPUtime=2512.64 cores=0,2,4,6
/proc/13460/task/13476/stat : 13476 (java) R 13457 13460 12443 0 -1 4202560 18608 0 0 0 251260 4 0 0 20 0 16 0 414580907 11006283776 76987 33554432000 4194304 4196468 140728406812384 139905541115952 139905631772428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13762560 140728406819851 140728406819954 140728406819954 140728406822863 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 307948 KiB
Child status: 143
Real time (s): 2514.71
CPU time (s): 2520.09
CPU user time (s): 2519.58
CPU system time (s): 0.506072
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 10750268
Max. memory (cumulated for all children) (KiB): 307948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.506072
maximum resident set size= 308384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70435
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57590
involuntary context switches= 3190
# summary of solver processes directly reported to runsolver:
# pid: 13460
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.58
# total CPU system time (s): 0.506072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3219 second user time and 22.1284 second system time
The end