2.62/1.90
2.62/1.90 AbsCon 2
2.62/1.92
3.60/2.20 Instance
3.60/2.20 name=instance-4390576-1568383104, framework=CSP
3.60/2.20
3.60/2.20 Loading variables...
3.60/2.28 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9c2696
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21cfe752
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6aca7c
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7763295e
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1563b0d8
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1772c9a9
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f09a38
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721bcd64
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16147696
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625c1198
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a49498
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e92bf41
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20681cbc
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321ef1c5
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d8e149
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c8eea8
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c364fbe
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23467ca9
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d098748
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e741e5
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1470df55
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a6be2f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed393ab
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2decafd4
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78340c39
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b826a1
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b33e5c
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b526492
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fab7696
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@129c309b
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606cd99d
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77fe18
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36781516
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a436e98
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28eac291
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea8789b
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb8843d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ecdeb42
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359584e5
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a5973f
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eabcfc0
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0d5cb9
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc2846d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44414e94
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6133e1
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39696df3
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d11846
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6016469d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d315d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e366ecd
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f144012
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@699f4f98
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61cb5c5e
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26133ff8
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75137abb
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6526e84e
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7a0f4e
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4c5067
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cd927f
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c753ac
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb7dacb
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666fd06d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b401b47
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f84584d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2269b035
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1876896e
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e53c335
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58a8d5c6
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@85f2e90
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2abcb2c5
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b756e0b
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72198430
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57157f2c
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352d097c
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ccf195c
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13accaf3
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683e8f0a
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6936a6e3
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2553db7
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a630b
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac85f5f
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0036d5
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a9c367
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c10927
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dc90b57
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46278bc7
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b29e5df
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b4cdd
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf01454
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd11b6e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f7c876
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61ace1ee
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e972b
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f1bcfe
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aa37659
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6595e123
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45df46df
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734f0d23
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27b0b62f
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e88432e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f08f84
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3173486e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d6261c5
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca37d1b
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72b53f23
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482912
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e75199b
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ecadc84
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e30ef51
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb64f75
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76fed5ae
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18061107
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68a39c82
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509a65d3
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0e20e1
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f43471
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ce7a9d
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582fae
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66018a4
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523cf744
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a77a83
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6c69ce
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@642a4c4e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf136e2
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dafd0a9
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69fc223c
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5f6158
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d17e8fb
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73bec33e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52402132
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1201b870
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7364e624
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e02c48
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@661ad4c7
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1618b959
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec957a
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22655f28
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c4c431
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef3aa7c
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1757c5
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4010a083
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b990772
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27846f59
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3b18d9
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47217b8c
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de92682
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc9baac
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d570483
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e06a874
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1550f8a1
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55a13bda
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed709d
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4fe162
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735a523b
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331e2e17
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eb2628
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9837f8
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff9ed78
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0a6fe5
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8db210
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716b171a
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244cb589
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc561ca
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a23b871
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6313aa90
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acb04e5
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a449ea5
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b5aad9
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f082dc
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@527d2046
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a4476d
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bae27d
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b81e4
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1830cb8f
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239654e0
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47584543
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c9ec3f3
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54448cd3
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46962f3b
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af40de0
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e92a08f
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1d66ca
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588d3bcb
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e18c2fa
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5508b6
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3184e
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea6690
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53797c0d
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e0f2ae
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7092731e
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713719f5
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65225ec9
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47e90e1
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bf21119
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68870923
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1871b4f
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa6ae62
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf5ae78
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ade4c49
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32e6b33c
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e1b1ddc
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f1f08a
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1c57c3
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb6eeab
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65219095
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1fa633
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c34e4ba
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b147edf
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469def8a
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f31f10d
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f0387e
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e04f831
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ca8ba7
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb01dcf
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2730188d
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bbf228d
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6baf30b5
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567af6b0
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9c6e8
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d72f2a
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d6e2e7
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1313dba9
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab02a7e
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db0c07f
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352a5020
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2277f465
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f6743e
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17122b8b
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17daba36
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42093f2e
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb9e76b
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681db825
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ba14e3
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348fa6c8
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4570f5f8
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a32da03
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40af2328
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bae0476
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26ca6d52
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bc8eadd
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c359875
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46771f7d
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e99bdd
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f2489
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1784b0cf
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a386f9b
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ab81b
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d341a8a
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696f455e
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f391745
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41473016
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51de37fd
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75f91df5
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271a62ce
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25165d32
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80c8731
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c5a81a
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0340da
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad52f4f
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f489f15
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee93d4
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3734d55f
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73728dff
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44fbc3e4
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17342728
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b99a177
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fe31152
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25aeeea7
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d3acde
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2db9ae
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6acbbf
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601a80ca
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324bf804
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0ee714
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485b62d3
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a691859
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ebd3b6
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454d38ff
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233af3e6
3.96/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab1769d
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4999d767
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5746a3d7
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2864704a
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddbbb28
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34941154
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff08bd
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61fb9e60
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e4129e
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7725f4b2
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39353a3e
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286c944d
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a14ffbd
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15058165
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24adf63d
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be8589
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738c72e5
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77417dc5
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c5a58
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73247c98
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39fc1050
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a17855a
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c301497
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f183400
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490aa957
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e5a8de
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c4b670
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b3146c
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dce7626
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ac10dc
3.96/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550ab419
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509646b
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ffdfd5
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4cbb5d
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9918b98
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b8427e
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60027daf
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c07958c
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dddd2f4
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2851f35f
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c824fa7
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6628cb92
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc0323d
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d2e394e
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f89353f
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5effc77e
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7c0fd
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec0018
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8574e9
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6892dfe5
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3c3232
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e17cbd
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54dec3ab
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a1b63c
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@504239ff
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6d42d
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fdcfd09
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e994ae5
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9b5cb
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696834a0
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@459084c8
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482f17c
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dc5f85
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ece7420
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741b6a39
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278c1a8d
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16567646
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ba95935
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb15224
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457b525b
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ddc1fe2
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ca27f8
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bee9f87
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5f7d4
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf61c8a
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a35959b
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c74380
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581274c6
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599f90e1
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5170f683
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2a344f
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b7fb23f
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326229a0
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75496277
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfb4034
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e005524
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d05ba4d
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475e77bd
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2840dc08
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afe674e
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5265ae19
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df2fbe8
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b128e
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfcdb5
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291f8bee
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f735f31
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6ef9da
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6b3f13
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6520fcbb
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a674d7d
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625512a9
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f44cac3
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42321ac4
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476a0e39
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5921f969
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9325a0
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3dc6d1
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b062ee1
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f5cdaaf
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747e273a
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a0841f1
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a731031
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26058fd
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12cb1a66
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b9e7de
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ed33e8
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5cc3be
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f84991
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290b5dd1
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@458fea4c
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8bed85
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a07a4ca
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289de98f
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289467b7
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63029897
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c37f43
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770479a5
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f043612
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f8c951
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4434c9
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3465f029
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a564937
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648622cd
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@356a2808
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eff9dd
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73149e73
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@87f4e97
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2304a9
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64761eba
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4a6f9
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@96d501b
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0c9332
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63033d9f
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66046cc6
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763636e5
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b790ac1
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286198df
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f0dd5e
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2755ebdf
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7512af21
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f95eb4b
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd25259
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c402e10
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72adc022
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d2ffd6
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510e7a69
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70031f7b
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f864fcc
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be542
4.32/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f3e7be6
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36508061
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45bb5472
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f130ee4
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e23db0e
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ecd9ca
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230e5237
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec31f0f
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2464ff15
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75936fc3
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a445a5
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b259292
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649fbac
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f8a41e
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66438cd6
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478e060
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25525a60
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5891b99d
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adc3af3
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da4ff68
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2794d7
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49543aa1
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77778177
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2232a8c5
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f4642f3
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5c959a
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb4d887
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a03fe3
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2aefc6
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513c090f
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b41fda
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925ce7a
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6818043e
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71871783
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579d2c1
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78e0f824
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e94d799
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b6699
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd8323f
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b8a62f
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db9d9a9
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5503c065
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c416522
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc1faa6
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532c38cc
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c3c14f
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bdb69b
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8bcf2f
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ea2ed3
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5300dd5d
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d94bd9
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e68190
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee5fc0e
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d8b4fc
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3c3e1f
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1623bf3f
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6375e5e4
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa87ee7
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3962e7bc
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5e608b
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bc89bf
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe97438
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b91ed1a
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d17812d
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c55fab
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4017a176
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a66768e
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14288119
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6427869c
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b1119e
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f4f3a9
4.32/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dc20b1
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a558dc
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2951579a
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e995feb
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117efa12
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530a71c9
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f6ffe0
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541b64af
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743548d2
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@512fcd4b
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a390eec
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c454897
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f57964d
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4661de18
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6537d850
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c621b0b
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c84a5
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d8d3d
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65611041
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e815183
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e1b38
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a21c830
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20070777
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e688234
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cf63a7
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca75224
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1000e9b8
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108d4b8e
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5646afe1
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42d67af9
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad2dd3
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ce4c46
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b4c8f6
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f83d85
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c901f14
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e2d750
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f2e6b
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64dda3f5
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e2f172b
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3462463
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53848341
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd31ff
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5483827c
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c208afe
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637bc980
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bdb21d
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d51709c
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d18b60d
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37cafbb7
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b8c5cd4
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572ad22a
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c943d1d
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a96bd8
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537b0d38
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb17ba
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ca7d4a
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd2cfdc
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29197522
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3eda89
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f6c0c31
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610e5b6c
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@154fa520
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6776cbbc
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf83a1a
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@189c8c00
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64447eb
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f22e27
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5498d48e
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b98d921
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744fd268
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e744b9a
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289b6bdf
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@210a3320
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b1ebb0
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@506987c5
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11465898
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce82112
4.32/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e69997d
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dc27ac9
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5685cc93
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142925d
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75da08bc
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac77430
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f488085
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3197346a
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ced9577
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b525f7
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de0825e
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c6ef8a
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6454c3a3
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3bf7e1
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d98770
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3887b5e8
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265be79e
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273ea9f5
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4432fe36
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbe2fed
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25131461
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c031880
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b595b21
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e31151
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dbf94b
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239304df
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3e37e1
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab4a88a
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3155a3af
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fa369a
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f4dff5
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77f8291c
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa35932
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4d6c1b
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2690866d
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233031a2
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4b3e3e
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d4b96f
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb86a9d
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e82362
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301b752d
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccc95df
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135fec9f
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfcbe0d
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b024fc8
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e8e486
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631da5b
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2896b553
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a809e69
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef2f64f
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59968f39
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c3a1480
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8e6d7b
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a3325f
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5008bd3a
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e2549b
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e1726e2
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289422e4
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b868cf
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35aaa44e
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ababa62
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77de1227
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a812022
4.32/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283811ce
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@618c686f
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2507caee
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf80c9f
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25484cca
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492b4163
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8af4f
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9e4d6f
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63857b3a
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba9d333
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704f6ce2
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ba8352
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7645af73
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b9c178
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6952f950
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4930441a
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aded736
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@292de878
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604f4a76
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c5c50a
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d42c78
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fb248e
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9d2b03
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a92210
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5860986e
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a63b217
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7edbee26
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4887
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@218b16ef
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e79bfc
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3183c2
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6629fe6
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55920206
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32575ca8
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708d52db
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5b55d2
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d0f4c0
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed1c7e2
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2835ed01
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e4b03
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a181c4
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790f3fdd
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7fe6fc
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753485e8
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@192fb024
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109237a0
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2602ac10
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217fa03a
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b7035a
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658ca800
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb267ad
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1097f63e
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b5e635
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54aff8fa
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fd930d4
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794c85ed
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77a1a3b
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36dc5ae1
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e667466
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@472afd0b
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73541443
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d7b3172
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d9b5d
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c8f9a
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be00d8c
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dbffd98
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4837e39e
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33afb30d
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7720d151
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1cc43b
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4892e8fb
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491cde3e
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c856d8
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a43396
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb0d086
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478af658
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d32cf5e
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173f1e62
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98b3615
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59871312
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cdf6b9
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183af604
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1549d300
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bfe034
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7412e0fd
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@111b22b4
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aa38b1a
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8f4b23
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393c5b2f
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4545a3a7
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eee8ae3
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a72b4b9
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2724a991
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49010327
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a07222f
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501d209a
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e223fc
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83af466
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11d622c9
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb2c383
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fdf3a44
4.32/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3269c84f
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17869766
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b272c1
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6c905b
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b4df746
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9a0764
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f49c82
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad4e3f3
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37920734
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772b2145
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f44cc75
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2704a13e
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d36536
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c06ab9
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c147bc3
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b5417f
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367e4af2
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@baa486a
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a9f326
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57cc2df6
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6ed326
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2285e38c
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6317cb33
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cfadfe1
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2a33a8
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b20268
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cc8512
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223fc590
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b511a35
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7f163f
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a9d3fba
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c015bf9
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261559dc
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ef85f1
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@471cb87d
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f53f66
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244db9c9
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76236927
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386facfb
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220611ad
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38362cd2
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c71b59d
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428b06aa
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f27c584
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59106a47
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd12d5e
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614c2104
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e80bc
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da7df63
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b195910
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9da3610
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d10a21d
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62d7348d
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cee17
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d2f0a57
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27940d67
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d4e6da1
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@186242f9
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bae1c4e
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada71cf
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e80aa70
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd1cccb
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b0f806
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a62b0d8
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eeb9c0
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62eda5e0
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49761dac
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad6aca0
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259b7aae
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414d8464
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fab032d
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303e77d3
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c06544d
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd738c
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2650ed7a
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0e02a4
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e5d1b9
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691373e2
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183f77b5
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fa646ea
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b2ef94
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f88792
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2e7612
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533a8866
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d0aad
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@677f9b71
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15bad609
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645bf6b1
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10442b56
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76d913b9
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79688432
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e61f68b
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e59574
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495e48e9
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564227e8
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c5d3ca
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100361ac
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bea153c
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc4ef81
4.32/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18525e16
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bae27e9
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15edd64a
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404c4b8
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1c5d00
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e8353c
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468716b
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f06026e
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44475b0d
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104a196d
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ded587
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbfafb1
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e435b8c
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@112001b4
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adcbf68
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d643775
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647daccd
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b8f80a
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a61a0b
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e29e063
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515d389c
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714ecc5a
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3802b67d
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67921699
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550b7fe8
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b9c1725
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cbfae9
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395c90db
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61efa976
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a38ada4
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71bcb1f4
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1069a8e1
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498e574e
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20634081
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d238631
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1efc27
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7fa132
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf9d082
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550cac83
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6ad681
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fa112a2
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7096e2b8
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67671d1
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fb64d8
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297290ce
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb86e4b
4.32/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163d5017
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619715f2
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a1d69d
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b764f45
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d0684f9
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@298a5e74
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adc5946
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b2791f
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52be1eff
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dcc74f8
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662aceae
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f53bcf
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d5dca09
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d1e06d1
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62dbcfb4
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1123ec
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc5021f
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d454879
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ea5bad
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3edd7015
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac4c8a7
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41302d4b
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346cf670
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25cf894a
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52079e37
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43100229
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75635d92
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efa7f5c
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d14768
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3714205d
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82401d
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3a8f72
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@703a4537
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e3d820
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795d1d1f
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74023c04
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59337afc
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402b87bf
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f36b71
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fba38e
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58eeccf0
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17d03574
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d96e40a
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a9a955
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0f4d6
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7985cad2
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530c1f75
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ae76fc
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a0a02e
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b52da7
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a31e29
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d28009
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6288da64
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b51665
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dabf63
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2280a0d2
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1a17a0
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0d57d9
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f24ffcf
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6535c6cb
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b968387
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525b4dc1
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ba6fe6
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270ee256
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11933fc4
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72665a34
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de82cd2
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f44fe9a
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c61d72e
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160ddf4c
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd12fcc
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172e874d
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2680cc4b
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24251a8b
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f5eacb
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25442eb9
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165aaad8
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77713ac3
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b17a77
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e7ed20
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b6f4d07
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29764d2e
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0d3efa
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213b68f0
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d353c6
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49476095
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66c19b92
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289a9bfd
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608c260f
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec35799
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c58231c
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902685b
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@170e05cd
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd3b2fd
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbc39f
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cd816b
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7088b5
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a84f73
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b2988c
4.32/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d919a7a
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6440990c
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a25a221
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532dae2d
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4d3916
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293a7126
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fb1ba9
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8733b29
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be30958
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7ec900
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b59910
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38745b19
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283eaec8
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47212b44
4.32/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbcf2b5
4.32/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4808dd8
4.32/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a66c83
4.32/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113ebc05
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f322e
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27299a7d
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641120
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bff7d38
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7b90c8
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@185dc726
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4a3fe
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a3b1c4
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151639a7
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77493ee8
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f1d71e
4.69/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ae5dfe
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be7ba5
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411fb4fb
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108f76c2
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bbe7a8
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58cf56d
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcce48d
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66741ca7
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68517e7
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495c9aaa
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32693dbe
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4966e7ad
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cef16e
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481aaba7
4.69/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4993530b
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19710233
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744f30e
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c705bbb
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6fd356
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41881976
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@335d24c
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ffc24f
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513d5a65
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47ea2cbf
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ace3743
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acbf89a
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d68eb81
4.69/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614a549f
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e93aa1
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741efef5
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78cd411f
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211f5391
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109e9527
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde22e
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe45ffc
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76faf5b2
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0e9401
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce3c214
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742c0993
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471cb3e
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe4bfa3
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216682b0
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282b488
4.69/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e9ba9a
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f155e0a
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a5ae1a
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40766271
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27da5b17
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6565ab97
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c25ea63
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9ea26a
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d52089
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4032ebe8
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6eb4c5
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6afabbf8
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fce5cbe
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7a7719
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26372ae6
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b85537c
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9902e
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bb3bfb
4.69/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ea9272
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ca257a2
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26a6854b
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1797e1f3
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68ecdd53
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6724a2
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cefcfb4
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f8018d
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f66c79b
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddb305
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bb0304
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbe2665
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287f6137
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac752f0
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5dc026
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca707dd
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a2b7a
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36434381
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a0520
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287bfb59
4.69/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cfddb4f
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58984eae
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c52ffbe
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb1189
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f9be18
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c37783
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b36517e
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641850
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8ab57a
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c49150d
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7591a67d
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416996fc
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5059a3
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746b4213
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0b7bed
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf54d4a
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b442049
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f95729
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6fd09c
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bafb8b4
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707d948e
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702f4cda
4.69/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e37378a
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4de9c5
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e647a2c
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a48a12f
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abac7af
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d9ab54
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@817b04f
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43da3992
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46908a6c
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f2b7c77
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4823066c
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0456c9
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34882a5a
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701e8c4c
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23597e60
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dd2fe7
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2d15d5
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f975aef
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ec9c7f
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e81ac16
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58869328
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6107508
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d0d
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4124d52
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76984393
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f24d43c
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2405f5
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0cd115
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b8b8d
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36760b28
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9f59d2
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418bdd04
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bb67d2
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bbf4de
4.69/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e9958ef
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542e9f8
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb17f90
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47bc445a
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206f3554
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b68d6f0
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@954c771
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742afdd7
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5baf83
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a49017
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ab62f9
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67aa2eb6
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@594ac6db
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1baaf4d4
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4026e893
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c976749
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a9c290
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6613a9be
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3911da28
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1a91ea
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5359c6ab
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@815550
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaff0e
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691a659d
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf8ec4e
4.69/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4bafa9
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f13fc8
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3ed338
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32ffcf09
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ff0cf44
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1b3f8f
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59976d2a
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d6c322f
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f30d599
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbcbf1a
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb1e945
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a999ace
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0724d3
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429357b
4.69/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49140f46
5.45/2.86
5.45/2.86
5.45/2.86 Domains
5.45/2.86 nTypes=2, nValues=6400, sizes=[2#1000,22#200]
5.45/2.86 Variables
5.45/2.86 count=1200, degrees=[2#200,3#5,4#5,5#6...57#2,58#2,59#3,60#87]
5.45/2.86 Constraints
5.45/2.86 count=1401, nSpecific=1401, arities=[2#199,3#396,5#392,6#200...196#1,197#2,198#1,200#6]
5.45/2.86 distribution=[CardinalityConstant#1,CtrExtensionCT-Table#200,SumSimpleGE#213,SumSimpleLE#987]
5.45/2.86 tables=[22#200], nTotalTuples=4400
5.45/2.86 nExtStructures=(1,shared:199)
5.45/2.86 wck=0.991, cpu=2.811, mem=87M293
5.45/2.89 Solver SolverBacktrack being built...
5.45/2.89
5.66/2.93
5.66/2.93 Solver
5.66/2.93 guaranteedGAC=true
5.66/2.93 wck=1.064, cpu=2.882, mem=121M717
5.66/2.97
5.66/2.97 Preprocessing
5.66/2.97 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.66/2.97 wck=0.032, cpu=2.916, mem=121M717
5.66/2.97
6.27/3.18 num=0, depth=101..144, filters=1068, wck=0.244, mem=121M717
6.27/3.18 decisions=166, wrong=12, backtracks=2, failedAssignments=10, nogoods=9
6.27/3.18 nFilterCalls=1785, avgTableProportion=0.954545454545482, avgTableSize=21.0
6.27/3.18
6.55/3.29 num=1, depth=117..126, filters=2539, wck=0.359, mem=121M717
6.55/3.29 decisions=306, wrong=23, backtracks=2, failedAssignments=21, nogoods=20
6.55/3.29 nFilterCalls=3388, avgTableProportion=0.9545454545454886, avgTableSize=21.0
6.55/3.29
7.02/3.41 num=2, depth=176..240, filters=3729, wck=0.482, mem=121M717
7.02/3.41 decisions=576, wrong=40, backtracks=8, failedAssignments=33, nogoods=27
7.02/3.41 nFilterCalls=4774, avgTableProportion=0.9545454545454446, avgTableSize=21.0
7.02/3.41
7.02/3.49 num=3, depth=178..209, filters=5249, wck=0.557, mem=121M717
7.02/3.49 decisions=831, wrong=66, backtracks=31, failedAssignments=46, nogoods=30
7.02/3.49 nFilterCalls=5610, avgTableProportion=0.9545454545453845, avgTableSize=21.0
7.02/3.49
7.16/3.57 num=4, depth=214..227, filters=6350, wck=0.635, mem=124M360
7.16/3.57 decisions=1188, wrong=136, backtracks=98, failedAssignments=60, nogoods=32
7.16/3.57 nFilterCalls=6162, avgTableProportion=0.9545454545453538, avgTableSize=21.0
7.16/3.57
7.31/3.64 num=5, depth=210..227, filters=7197, wck=0.705, mem=124M360
7.31/3.64 decisions=1494, wrong=184, backtracks=145, failedAssignments=76, nogoods=33
7.31/3.64 nFilterCalls=6627, avgTableProportion=0.9545454545453318, avgTableSize=21.0
7.31/3.64
7.31/3.66 num=6, depth=63..80, filters=7578, wck=0.729, mem=124M360
7.31/3.66 decisions=1625, wrong=218, backtracks=162, failedAssignments=93, nogoods=34
7.31/3.66 nFilterCalls=6838, avgTableProportion=0.9545454545453228, avgTableSize=21.0
7.31/3.66
7.43/3.74 num=7, depth=54..177, filters=10058, wck=0.81, mem=124M360
7.43/3.74 decisions=1891, wrong=265, backtracks=201, failedAssignments=112, nogoods=40
7.43/3.74 nFilterCalls=8145, avgTableProportion=0.9545454545452776, avgTableSize=21.0
7.43/3.74
7.58/3.85 num=8, depth=61..188, filters=14663, wck=0.919, mem=124M360
7.58/3.85 decisions=2148, wrong=302, backtracks=232, failedAssignments=133, nogoods=45
7.58/3.85 nFilterCalls=10539, avgTableProportion=0.9545454545453929, avgTableSize=21.0
7.58/3.85
7.79/3.99 num=9, depth=178..199, filters=21919, wck=1.057, mem=124M360
7.79/3.99 decisions=2437, wrong=351, backtracks=274, failedAssignments=156, nogoods=53
7.79/3.99 nFilterCalls=14296, avgTableProportion=0.9545454545455394, avgTableSize=21.0
7.79/3.99
8.01/4.13 num=10, depth=178..208, filters=27002, wck=1.199, mem=127M2
8.01/4.13 decisions=2750, wrong=409, backtracks=322, failedAssignments=181, nogoods=60
8.01/4.13 nFilterCalls=16974, avgTableProportion=0.9545454545456042, avgTableSize=21.0
8.01/4.13
8.10/4.23 num=11, depth=226..236, filters=28345, wck=1.3, mem=127M2
8.10/4.23 decisions=3148, wrong=493, backtracks=399, failedAssignments=209, nogoods=62
8.10/4.23 nFilterCalls=17726, avgTableProportion=0.9545454545455613, avgTableSize=21.0
8.10/4.23
8.20/4.34 num=12, depth=228..238, filters=29791, wck=1.405, mem=127M2
8.20/4.34 decisions=3577, wrong=593, backtracks=491, failedAssignments=240, nogoods=64
8.20/4.34 nFilterCalls=18499, avgTableProportion=0.9545454545455015, avgTableSize=21.0
8.20/4.34
8.30/4.41 num=13, depth=176..187, filters=31088, wck=1.482, mem=127M2
8.30/4.41 decisions=3933, wrong=683, backtracks=575, failedAssignments=274, nogoods=66
8.30/4.41 nFilterCalls=19168, avgTableProportion=0.9545454545454537, avgTableSize=21.0
8.30/4.41
8.41/4.50 num=14, depth=170..191, filters=33785, wck=1.572, mem=127M2
8.41/4.50 decisions=4248, wrong=753, backtracks=613, failedAssignments=311, nogoods=73
8.41/4.50 nFilterCalls=20496, avgTableProportion=0.9545454545453681, avgTableSize=21.0
8.41/4.50
8.41/4.58 num=15, depth=168..176, filters=35126, wck=1.65, mem=127M2
8.41/4.58 decisions=4609, wrong=849, backtracks=696, failedAssignments=352, nogoods=76
8.41/4.58 nFilterCalls=21332, avgTableProportion=0.9545454545453196, avgTableSize=21.0
8.41/4.58
8.62/4.70 num=16, depth=171..255, filters=36712, wck=1.765, mem=127M2
8.62/4.70 decisions=5025, wrong=933, backtracks=756, failedAssignments=397, nogoods=80
8.62/4.70 nFilterCalls=22353, avgTableProportion=0.9545454545452654, avgTableSize=21.0
8.62/4.70
8.72/4.80 num=17, depth=173..199, filters=39588, wck=1.871, mem=127M2
8.72/4.80 decisions=5408, wrong=1034, backtracks=828, failedAssignments=447, nogoods=91
8.72/4.80 nFilterCalls=24100, avgTableProportion=0.9545454545451831, avgTableSize=21.0
8.72/4.80
8.82/4.90 num=18, depth=182..200, filters=42054, wck=1.965, mem=127M2
8.82/4.90 decisions=5848, wrong=1158, backtracks=934, failedAssignments=502, nogoods=97
8.82/4.90 nFilterCalls=25665, avgTableProportion=0.9545454545451191, avgTableSize=21.0
8.82/4.90
8.82/4.99 num=19, depth=187..199, filters=44704, wck=2.061, mem=129M645
8.82/4.99 decisions=6337, wrong=1309, backtracks=1071, failedAssignments=563, nogoods=98
8.82/4.99 nFilterCalls=27231, avgTableProportion=0.9545454545450622, avgTableSize=21.0
8.82/4.99
9.19/5.21 num=20, depth=191..359, filters=47194, wck=2.278, mem=129M645
9.19/5.21 decisions=6942, wrong=1437, backtracks=1171, failedAssignments=630, nogoods=108
9.19/5.21 nFilterCalls=29112, avgTableProportion=0.9545454545450022, avgTableSize=21.0
9.19/5.21
9.29/5.36 num=21, depth=193..331, filters=49583, wck=2.423, mem=129M645
9.29/5.36 decisions=7550, wrong=1581, backtracks=1288, failedAssignments=704, nogoods=115
9.29/5.36 nFilterCalls=30431, avgTableProportion=0.9545454545449644, avgTableSize=21.0
9.29/5.36
9.51/5.52 num=22, depth=248..335, filters=51804, wck=2.587, mem=129M645
9.51/5.52 decisions=8278, wrong=1782, backtracks=1474, failedAssignments=785, nogoods=120
9.51/5.52 nFilterCalls=31648, avgTableProportion=0.9545454545449324, avgTableSize=21.0
9.51/5.52
9.65/5.62 num=23, depth=238..294, filters=53182, wck=2.692, mem=129M645
9.65/5.62 decisions=8784, wrong=1912, backtracks=1601, failedAssignments=874, nogoods=123
9.65/5.62 nFilterCalls=32425, avgTableProportion=0.9545454545449132, avgTableSize=21.0
9.65/5.62
9.75/5.76 num=24, depth=156..282, filters=55123, wck=2.823, mem=129M645
9.75/5.76 decisions=9431, wrong=2099, backtracks=1784, failedAssignments=972, nogoods=127
9.75/5.76 nFilterCalls=33547, avgTableProportion=0.954545454544887, avgTableSize=21.0
9.75/5.76
9.85/5.89 num=25, depth=140..282, filters=58163, wck=2.961, mem=129M645
9.85/5.89 decisions=10094, wrong=2310, backtracks=1963, failedAssignments=1080, nogoods=131
9.85/5.89 nFilterCalls=35217, avgTableProportion=0.9545454545448513, avgTableSize=21.0
9.85/5.89
9.95/5.99 num=26, depth=105..134, filters=60053, wck=3.056, mem=129M645
9.95/5.99 decisions=10633, wrong=2525, backtracks=2170, failedAssignments=1199, nogoods=135
9.95/5.99 nFilterCalls=36085, avgTableProportion=0.954545454544834, avgTableSize=21.0
9.95/5.99
10.26/6.24 num=27, depth=101..319, filters=66893, wck=3.311, mem=132M287
10.26/6.24 decisions=11527, wrong=2829, backtracks=2424, failedAssignments=1330, nogoods=142
10.26/6.24 nFilterCalls=40382, avgTableProportion=0.9545454545447593, avgTableSize=21.0
10.26/6.24
10.46/6.42 num=28, depth=93..290, filters=69821, wck=3.491, mem=132M287
10.46/6.42 decisions=12494, wrong=3169, backtracks=2752, failedAssignments=1474, nogoods=146
10.46/6.42 nFilterCalls=41999, avgTableProportion=0.954545454544735, avgTableSize=21.0
10.46/6.42
10.69/6.61 num=29, depth=86..302, filters=74066, wck=3.675, mem=132M287
10.69/6.61 decisions=13508, wrong=3532, backtracks=3094, failedAssignments=1632, nogoods=152
10.69/6.61 nFilterCalls=44120, avgTableProportion=0.9545454545447061, avgTableSize=21.0
10.69/6.61
10.89/6.83 num=30, depth=82..299, filters=78686, wck=3.901, mem=132M287
10.89/6.83 decisions=14817, wrong=4057, backtracks=3591, failedAssignments=1806, nogoods=156
10.89/6.83 nFilterCalls=46645, avgTableProportion=0.954545454544675, avgTableSize=21.0
10.89/6.83
10.99/6.96 num=31, depth=93..107, filters=81623, wck=4.032, mem=134M929
10.99/6.96 decisions=15628, wrong=4415, backtracks=3919, failedAssignments=1997, nogoods=161
10.99/6.96 nFilterCalls=48231, avgTableProportion=0.9545454545446571, avgTableSize=21.0
10.99/6.96
11.29/7.25 num=32, depth=94..382, filters=89803, wck=4.319, mem=134M929
11.29/7.25 decisions=16862, wrong=4862, backtracks=4272, failedAssignments=2208, nogoods=174
11.29/7.25 nFilterCalls=52424, avgTableProportion=0.954545454544615, avgTableSize=21.0
11.29/7.25
11.60/7.55 num=33, depth=91..231, filters=97695, wck=4.613, mem=134M929
11.60/7.55 decisions=18354, wrong=5507, backtracks=4908, failedAssignments=2440, nogoods=180
11.60/7.55 nFilterCalls=57329, avgTableProportion=0.9545454545445737, avgTableSize=21.0
11.60/7.55
11.90/7.82 num=34, depth=121..335, filters=104108, wck=4.889, mem=137M572
11.90/7.82 decisions=19743, wrong=6049, backtracks=5330, failedAssignments=2695, nogoods=211
11.90/7.82 nFilterCalls=60974, avgTableProportion=0.9545454545445473, avgTableSize=21.0
11.90/7.82
12.11/8.10 num=35, depth=132..188, filters=109690, wck=5.172, mem=137M572
12.11/8.10 decisions=21186, wrong=6687, backtracks=5901, failedAssignments=2976, nogoods=214
12.11/8.10 nFilterCalls=64615, avgTableProportion=0.9545454545445239, avgTableSize=21.0
12.11/8.10
12.62/8.55 num=36, depth=156..381, filters=122318, wck=5.614, mem=137M572
12.62/8.55 decisions=22447, wrong=7147, backtracks=6253, failedAssignments=3285, nogoods=255
12.62/8.55 nFilterCalls=72576, avgTableProportion=0.9545454545444809, avgTableSize=21.0
12.62/8.55
12.83/8.79 num=37, depth=148..160, filters=127293, wck=5.853, mem=140M214
12.83/8.79 decisions=23939, wrong=7817, backtracks=6878, failedAssignments=3625, nogoods=259
12.83/8.79 nFilterCalls=75231, avgTableProportion=0.9545454545444686, avgTableSize=21.0
12.83/8.79
13.14/9.06 num=38, depth=137..166, filters=132838, wck=6.128, mem=140M214
13.14/9.06 decisions=25519, wrong=8527, backtracks=7527, failedAssignments=3999, nogoods=264
13.14/9.06 nFilterCalls=78411, avgTableProportion=0.9545454545444549, avgTableSize=21.0
13.14/9.06
14.05/9.99 num=39, depth=114..459, filters=150309, wck=7.056, mem=142M778
14.05/9.99 decisions=27582, wrong=9369, backtracks=8119, failedAssignments=4410, nogoods=294
14.05/9.99 nFilterCalls=89535, avgTableProportion=0.9545454545444148, avgTableSize=21.0
14.05/9.99
14.66/10.56 num=40, depth=109..362, filters=163479, wck=7.629, mem=142M778
14.66/10.56 decisions=29547, wrong=10236, backtracks=8718, failedAssignments=4862, nogoods=302
14.66/10.56 nFilterCalls=96650, avgTableProportion=0.9545454545443939, avgTableSize=21.0
14.66/10.56
15.22/11.03 num=41, depth=114..239, filters=182731, wck=8.101, mem=47M134
15.22/11.03 decisions=31903, wrong=11323, backtracks=9648, failedAssignments=5359, nogoods=317
15.22/11.03 nFilterCalls=107649, avgTableProportion=0.9545454545443671, avgTableSize=21.0
15.22/11.03
15.51/11.37 num=42, depth=99..115, filters=191446, wck=8.435, mem=49M723
15.51/11.37 decisions=34072, wrong=12358, backtracks=10608, failedAssignments=5906, nogoods=319
15.51/11.37 nFilterCalls=113227, avgTableProportion=0.9545454545443556, avgTableSize=21.0
15.51/11.37
16.41/12.25 num=43, depth=79..180, filters=207746, wck=9.322, mem=53M634
16.41/12.25 decisions=37004, wrong=13744, backtracks=11801, failedAssignments=6508, nogoods=326
16.41/12.25 nFilterCalls=122233, avgTableProportion=0.954545454544339, avgTableSize=21.0
16.41/12.25
17.48/13.24 num=44, depth=102..455, filters=223597, wck=10.305, mem=53M634
17.48/13.24 decisions=39760, wrong=14942, backtracks=12576, failedAssignments=7170, nogoods=350
17.48/13.24 nFilterCalls=131752, avgTableProportion=0.954545454544324, avgTableSize=21.0
17.48/13.24
18.10/13.81 num=45, depth=119..429, filters=254338, wck=10.878, mem=56M223
18.10/13.81 decisions=42936, wrong=16344, backtracks=13626, failedAssignments=7898, nogoods=378
18.10/13.81 nFilterCalls=153872, avgTableProportion=0.9545454545458623, avgTableSize=21.0
18.10/13.81
20.70/16.40 num=46, depth=118..417, filters=291771, wck=13.469, mem=56M223
20.70/16.40 decisions=46052, wrong=17735, backtracks=14821, failedAssignments=8699, nogoods=391
20.70/16.40 nFilterCalls=176631, avgTableProportion=0.9545454545475144, avgTableSize=21.0
20.70/16.40
24.32/20.05 num=47, depth=129..374, filters=339511, wck=17.12, mem=56M223
24.32/20.05 decisions=49028, wrong=19057, backtracks=16032, failedAssignments=9580, nogoods=407
24.32/20.05 nFilterCalls=207520, avgTableProportion=0.9545454545491768, avgTableSize=21.0
24.32/20.05
26.71/22.47 num=48, depth=170..330, filters=384270, wck=19.543, mem=56M223
26.71/22.47 decisions=53199, wrong=20997, backtracks=17511, failedAssignments=10550, nogoods=421
26.71/22.47 nFilterCalls=232021, avgTableProportion=0.9545454545501807, avgTableSize=21.0
26.71/22.47
27.13/22.84 num=49, depth=126..1199, filters=392068, ccks=1401, wck=19.909, mem=58M813
27.13/22.84 decisions=55099, wrong=21730, backtracks=18159, failedAssignments=10856, nogoods=421, foundSolutions=1
27.13/22.84 nFilterCalls=236088, avgTableProportion=0.9545454545503272, avgTableSize=21.0
27.13/22.84
27.13/22.84 Global
27.13/22.84 filters=392068, ccks=1401, nogoods=421
27.13/22.84 Stop=REACHED_GOAL, wrong=21730, foundSolutions=1, firstSolCpu=22.739
27.13/22.84 wck=20.974, cpu=22.765, mem=58M813
27.13/22.84
27.13/22.84 v <instantiation id='sol1' type='solution'> <list> cls[] opt[][] </list> <values> 5 5 6 5 5 2 5 7 5 16 15 5 2 18 2 5 20 2 4 16 4 2 21 10 5 5 6 5 4 7 9 2 5 15 5 15 16 3 7 5 4 2 20 5 2 5 15 16 5 4 2 15 21 5 2 9 5 1 20 5 2 4 16 4 7 2 2 5 4 16 5 2 4 5 16 2 4 16 7 4 2 4 16 4 1 20 2 5 5 6 12 5 16 11 3 21 16 15 2 2 8 5 15 2 0 21 16 15 2 3 7 5 15 6 2 12 5 5 2 2 15 14 5 3 11 15 21 5 2 2 4 7 16 11 2 10 7 5 0 2 10 7 15 11 11 15 14 5 2 11 5 7 5 0 2 10 5 7 17 11 15 16 21 11 3 5 15 7 19 3 5 15 21 11 6 5 5 12 2 2 20 5 12 11 11 16 4 7 13 11 4 16 21 2 19 15 5 18 2 11 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 </values> </instantiation>
27.13/22.84 s SATISFIABLE
27.13/22.84
27.13/22.84 d WRONG_DECISIONS 21730
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 (13692 MiB free)
memory of node 1: 16384 MiB (13632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390576-1568383104/watcher-4390576-1568383104 -o /tmp/evaluation-result-4390576-1568383104/solver-4390576-1568383104 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20883 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390576-1568383104.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
Current StackSize limit: 8192 KiB
solver pid=22097, runsolver pid=22094
[startup+0.10172 s]*
/proc/loadavg: 2.00 2.04 1.92 3/229 22112
/proc/meminfo: memFree=27963328/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10659884 memory=30556 CPUtime=0.14 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 5607 0 0 0 13 1 0 0 20 0 15 0 414578221 10915721216 7639 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2664971 7639 2916 1 0 2627468 0
[pid=22097/tid=22099] ppid=22094 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) R 22094 22097 20852 0 -1 4202560 2987 0 0 0 9 0 0 0 20 0 15 0 414578221 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933942515288 139933930523454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578223 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22105] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22105/stat : 22105 (java) S 22094 22097 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414578224 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933429204128 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22106] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22106/stat : 22106 (java) S 22094 22097 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414578224 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933428151024 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22107] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22107/stat : 22107 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414578226 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933427099600 139933938304923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22108] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22108/stat : 22108 (java) R 22094 22097 20852 0 -1 4202560 617 0 0 0 0 0 0 0 20 0 15 0 414578226 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933426038112 139933923707984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22109] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22109/stat : 22109 (java) S 22094 22097 20852 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 414578226 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933424995184 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22110] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0.02 cores=0,2,4,6
/proc/22097/task/22110/stat : 22110 (java) R 22094 22097 20852 0 -1 4202560 573 0 0 0 2 0 0 0 20 0 15 0 414578226 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933423939064 139933919051505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22111] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22111/stat : 22111 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414578226 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933422889824 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22112] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22112/stat : 22112 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578227 10915721216 7639 33554432000 4194304 4196468 140727933096400 139933421836848 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30556 KiB
[startup+0.211026 s]*
/proc/loadavg: 2.00 2.04 1.92 3/229 22112
/proc/meminfo: memFree=27958056/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10659884 memory=35436 CPUtime=0.32 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 6410 0 0 0 30 2 0 0 20 0 15 0 414578221 10915721216 8859 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2664971 8859 2990 1 0 2627468 0
[pid=22097/tid=22099] ppid=22094 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) R 22094 22097 20852 0 -1 4202560 3455 0 0 0 18 1 0 0 20 0 15 0 414578221 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933942518416 139933894913059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10659884 memory=3690901785617467040 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578223 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22105] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22105/stat : 22105 (java) S 22094 22097 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414578224 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933429204128 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22106] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22106/stat : 22106 (java) S 22094 22097 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414578224 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933428151024 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22107] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22107/stat : 22107 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414578226 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933427099600 139933938304923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22108] ppid=22094 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22108/stat : 22108 (java) S 22094 22097 20852 0 -1 1077944384 701 0 0 0 3 0 0 0 20 0 15 0 414578226 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933426047728 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22109] ppid=22094 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22109/stat : 22109 (java) S 22094 22097 20852 0 -1 1077944384 302 0 0 0 3 0 0 0 20 0 15 0 414578226 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933424995184 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22110] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0.05 cores=0,2,4,6
/proc/22097/task/22110/stat : 22110 (java) S 22094 22097 20852 0 -1 1077944384 594 0 0 0 5 0 0 0 20 0 15 0 414578226 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933423942128 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22111] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22111/stat : 22111 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414578226 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933422889824 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22112] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22112/stat : 22112 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578227 10915721216 8859 33554432000 4194304 4196468 140727933096400 139933421836848 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35436 KiB
[startup+0.31025 s]*
/proc/loadavg: 2.00 2.04 1.92 3/229 22112
/proc/meminfo: memFree=27952948/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10659884 memory=40344 CPUtime=0.45 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 8863 0 0 0 42 3 0 0 20 0 15 0 414578221 10915721216 10086 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2664971 10086 3002 1 0 2627468 0
[pid=22097/tid=22099] ppid=22094 vsize=10659884 memory=8390339637985935414 CPUtime=0.29 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) R 22094 22097 20852 0 -1 4202560 5846 0 0 0 27 2 0 0 20 0 15 0 414578221 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933942507216 139933919871056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10659884 memory=4050908280830396064 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578222 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578223 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22105] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22105/stat : 22105 (java) S 22094 22097 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414578224 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933429204128 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22106] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22106/stat : 22106 (java) S 22094 22097 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414578224 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933428151024 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22107] ppid=22094 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22107/stat : 22107 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414578226 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933427099600 139933938304923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22108] ppid=22094 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22108/stat : 22108 (java) S 22094 22097 20852 0 -1 1077944384 709 0 0 0 3 0 0 0 20 0 15 0 414578226 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933426047728 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22109] ppid=22094 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/22097/task/22109/stat : 22109 (java) S 22094 22097 20852 0 -1 1077944384 341 0 0 0 4 0 0 0 20 0 15 0 414578226 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933424995184 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22110] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0.07 cores=0,2,4,6
/proc/22097/task/22110/stat : 22110 (java) R 22094 22097 20852 0 -1 4202560 611 0 0 0 7 0 0 0 20 0 15 0 414578226 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933423942128 139933938298262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22111] ppid=22094 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22111/stat : 22111 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414578226 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933422889824 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22112] ppid=22094 vsize=10659884 memory=140111338636928 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22112/stat : 22112 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578227 10915721216 10086 33554432000 4194304 4196468 140727933096400 139933421836848 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40344 KiB
[startup+0.700682 s]
/proc/loadavg: 2.00 2.04 1.92 3/228 22112
/proc/meminfo: memFree=27941568/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10661932 memory=61720 CPUtime=1.09 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 12532 0 0 0 103 6 0 0 20 0 15 0 414578221 10917818368 15430 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2665483 15430 3066 1 0 2627980 0
[pid=22097/tid=22099] ppid=22094 vsize=10661932 memory=1276 CPUtime=0.67 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) R 22094 22097 20852 0 -1 4202560 8376 0 0 0 63 4 0 0 20 0 15 0 414578221 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933942507664 139933938308253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10661932 memory=752 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10661932 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10661932 memory=9584 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578222 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10661932 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578223 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22105] ppid=22094 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22105/stat : 22105 (java) S 22094 22097 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414578224 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933429204128 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22106] ppid=22094 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22106/stat : 22106 (java) S 22094 22097 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414578224 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933428151024 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22107] ppid=22094 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22107/stat : 22107 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414578226 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933427099600 139933938304923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22108] ppid=22094 vsize=10661932 memory=7594592247738553961 CPUtime=0.1 cores=0,2,4,6
/proc/22097/task/22108/stat : 22108 (java) S 22094 22097 20852 0 -1 1077944384 1052 0 0 0 10 0 0 0 20 0 15 0 414578226 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933426047728 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22109] ppid=22094 vsize=10661932 memory=5787213857196369745 CPUtime=0.1 cores=0,2,4,6
/proc/22097/task/22109/stat : 22109 (java) S 22094 22097 20852 0 -1 1077944384 634 0 0 0 10 0 0 0 20 0 15 0 414578226 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933424995184 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22110] ppid=22094 vsize=10661932 memory=5450909908396308010 CPUtime=0.19 cores=0,2,4,6
/proc/22097/task/22110/stat : 22110 (java) S 22094 22097 20852 0 -1 1077944384 1112 0 0 0 19 0 0 0 20 0 15 0 414578226 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933423942128 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22111] ppid=22094 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22111/stat : 22111 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414578226 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933422889824 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22112] ppid=22094 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22112/stat : 22112 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578227 10917818368 15430 33554432000 4194304 4196468 140727933096400 139933421836848 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61720 KiB
[startup+1.50073 s]
/proc/loadavg: 2.00 2.04 1.92 3/228 22112
/proc/meminfo: memFree=27925488/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10663980 memory=75856 CPUtime=2 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 17863 0 0 0 193 7 0 0 20 0 15 0 414578221 10919915520 18964 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2665995 18964 3093 1 0 2628492 0
[pid=22097/tid=22099] ppid=22094 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) R 22094 22097 20852 0 -1 4202560 12346 0 0 0 142 5 0 0 20 0 15 0 414578221 10919915520 18964 33554432000 4194304 4196468 140727933096400 139933942512208 139933921473157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10919915520 18964 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10919915520 18964 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414578222 10919915520 18964 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414578222 10919915520 18964 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 414578223 10919915520 18964 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
################
# More data... #
################
[startup+20.8007 s]
/proc/loadavg: 2.13 2.07 1.93 3/229 22114
/proc/meminfo: memFree=27706440/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10748324 memory=285984 CPUtime=25.11 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 45394 0 0 0 2492 19 0 0 20 0 16 0 414578221 11006283776 71496 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2687081 71496 3373 1 0 2647217 0
[pid=22097/tid=22099] ppid=22094 vsize=10748324 memory=6791534058613427641 CPUtime=1.87 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) S 22094 22097 20852 0 -1 1077944384 14534 0 0 0 181 6 0 0 20 0 16 0 414578221 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933942529200 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10748324 memory=928 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 289 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10748324 memory=1660 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 229 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10748324 memory=5787477641288517003 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 188 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10748324 memory=-8961168018402230209 CPUtime=0.02 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 1403 0 0 0 2 0 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10748324 memory=-8253362762722141311 CPUtime=0.01 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 1393 0 0 0 1 0 0 0 20 0 16 0 414578223 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22105] ppid=22094 vsize=10748324 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22105/stat : 22105 (java) S 22094 22097 20852 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414578224 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933429204192 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22106] ppid=22094 vsize=10748324 memory=-7175204567652784766 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22106/stat : 22106 (java) S 22094 22097 20852 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414578224 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933428151040 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22107] ppid=22094 vsize=10748324 memory=3054156605268465310 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22107/stat : 22107 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933427099600 139933938304923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22108] ppid=22094 vsize=10748324 memory=4715433313220523562 CPUtime=1.66 cores=0,2,4,6
/proc/22097/task/22108/stat : 22108 (java) S 22094 22097 20852 0 -1 1077944384 7601 0 0 0 164 2 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933426047728 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22109] ppid=22094 vsize=10748324 memory=8514726395714825349 CPUtime=1.71 cores=0,2,4,6
/proc/22097/task/22109/stat : 22109 (java) S 22094 22097 20852 0 -1 1077944384 6617 0 0 0 170 1 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933424995184 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22110] ppid=22094 vsize=10748324 memory=-8253362762722141311 CPUtime=0.84 cores=0,2,4,6
/proc/22097/task/22110/stat : 22110 (java) S 22094 22097 20852 0 -1 1077944384 5700 0 0 0 83 1 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933423942128 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22111] ppid=22094 vsize=10748324 memory=4713745541279610410 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22111/stat : 22111 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933422889824 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22112] ppid=22094 vsize=10748324 memory=285984 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22112/stat : 22112 (java) S 22094 22097 20852 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 414578227 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933421836848 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22113] ppid=22094 vsize=10748324 memory=288230617509003574 CPUtime=18.82 cores=0,2,4,6
/proc/22097/task/22113/stat : 22113 (java) R 22094 22097 20852 0 -1 4202560 5875 0 0 0 1880 2 0 0 20 0 16 0 414578411 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933404767528 139933548915527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
Current children cumulated CPU time: 25.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285984 KiB
[startup+21.6007 s]
/proc/loadavg: 2.13 2.07 1.93 3/229 22114
/proc/meminfo: memFree=27706440/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10748324 memory=285984 CPUtime=25.91 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 45395 0 0 0 2572 19 0 0 20 0 16 0 414578221 11006283776 71496 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2687081 71496 3373 1 0 2647217 0
[pid=22097/tid=22099] ppid=22094 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) S 22094 22097 20852 0 -1 1077944384 14534 0 0 0 181 6 0 0 20 0 16 0 414578221 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933942529200 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10748324 memory=285980 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 289 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10748324 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 229 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10748324 memory=752 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 188 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10748324 memory=1228 CPUtime=0.02 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 1403 0 0 0 2 0 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10748324 memory=9584 CPUtime=0.01 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 1393 0 0 0 1 0 0 0 20 0 16 0 414578223 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22105] ppid=22094 vsize=10748324 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22105/stat : 22105 (java) S 22094 22097 20852 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414578224 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933429204192 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22106] ppid=22094 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22106/stat : 22106 (java) S 22094 22097 20852 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414578224 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933428151040 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22107] ppid=22094 vsize=10748324 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22107/stat : 22107 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933427099600 139933938304923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22108] ppid=22094 vsize=10748324 memory=1720 CPUtime=1.66 cores=0,2,4,6
/proc/22097/task/22108/stat : 22108 (java) S 22094 22097 20852 0 -1 1077944384 7601 0 0 0 164 2 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933426047728 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22109] ppid=22094 vsize=10748324 memory=5960 CPUtime=1.71 cores=0,2,4,6
/proc/22097/task/22109/stat : 22109 (java) S 22094 22097 20852 0 -1 1077944384 6617 0 0 0 170 1 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933424995184 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22110] ppid=22094 vsize=10748324 memory=772 CPUtime=0.84 cores=0,2,4,6
/proc/22097/task/22110/stat : 22110 (java) S 22094 22097 20852 0 -1 1077944384 5700 0 0 0 83 1 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933423942128 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22111] ppid=22094 vsize=10748324 memory=952 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22111/stat : 22111 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933422889824 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22112] ppid=22094 vsize=10748324 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22112/stat : 22112 (java) S 22094 22097 20852 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 414578227 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933421836848 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22113] ppid=22094 vsize=10748324 memory=285984 CPUtime=19.62 cores=0,2,4,6
/proc/22097/task/22113/stat : 22113 (java) R 22094 22097 20852 0 -1 4202560 5876 0 0 0 1960 2 0 0 20 0 16 0 414578411 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933404761776 139933548915912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
Current children cumulated CPU time: 25.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285984 KiB
[startup+22.4007 s]
/proc/loadavg: 2.12 2.07 1.93 3/229 22114
/proc/meminfo: memFree=27706440/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10748324 memory=285984 CPUtime=26.71 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 45395 0 0 0 2652 19 0 0 20 0 16 0 414578221 11006283776 71496 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2687081 71496 3373 1 0 2647217 0
[pid=22097/tid=22099] ppid=22094 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) S 22094 22097 20852 0 -1 1077944384 14534 0 0 0 181 6 0 0 20 0 16 0 414578221 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933942529200 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10748324 memory=285984 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 289 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10748324 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 229 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10748324 memory=752 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 188 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10748324 memory=1228 CPUtime=0.02 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 1403 0 0 0 2 0 0 0 20 0 16 0 414578222 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10748324 memory=9584 CPUtime=0.01 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 1393 0 0 0 1 0 0 0 20 0 16 0 414578223 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22105] ppid=22094 vsize=10748324 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22105/stat : 22105 (java) S 22094 22097 20852 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414578224 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933429204192 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22106] ppid=22094 vsize=10748324 memory=140111228835320 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22106/stat : 22106 (java) S 22094 22097 20852 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414578224 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933428151040 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22107] ppid=22094 vsize=10748324 memory=7971542655782669194 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22107/stat : 22107 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933427099600 139933938304923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22108] ppid=22094 vsize=10748324 memory=2241 CPUtime=1.66 cores=0,2,4,6
/proc/22097/task/22108/stat : 22108 (java) S 22094 22097 20852 0 -1 1077944384 7601 0 0 0 164 2 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933426047728 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22109] ppid=22094 vsize=10748324 memory=2244 CPUtime=1.71 cores=0,2,4,6
/proc/22097/task/22109/stat : 22109 (java) S 22094 22097 20852 0 -1 1077944384 6617 0 0 0 170 1 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933424995184 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22110] ppid=22094 vsize=10748324 memory=301793952447856926 CPUtime=0.84 cores=0,2,4,6
/proc/22097/task/22110/stat : 22110 (java) S 22094 22097 20852 0 -1 1077944384 5700 0 0 0 83 1 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933423942128 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22111] ppid=22094 vsize=10748324 memory=285920 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22111/stat : 22111 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414578226 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933422889824 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22112] ppid=22094 vsize=10748324 memory=2472 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22112/stat : 22112 (java) S 22094 22097 20852 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 414578227 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933421836848 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22113] ppid=22094 vsize=10748324 memory=1440 CPUtime=20.42 cores=0,2,4,6
/proc/22097/task/22113/stat : 22113 (java) R 22094 22097 20852 0 -1 4202560 5876 0 0 0 2040 2 0 0 20 0 16 0 414578411 11006283776 71496 33554432000 4194304 4196468 140727933096400 139933404761776 139933548720094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
Current children cumulated CPU time: 26.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285984 KiB
[startup+22.8007 s]
/proc/loadavg: 2.12 2.07 1.93 3/229 22114
/proc/meminfo: memFree=27706440/32770624 swapFree=67004752/67108860
[pid=22097] ppid=22094 vsize=10748324 memory=285988 CPUtime=27.13 cores=0,2,4,6
/proc/22097/stat : 22097 (java) S 22094 22097 20852 0 -1 1077944320 46310 0 0 0 2694 19 0 0 20 0 16 0 414578221 11006283776 71497 33554432000 4194304 4196468 140727933096400 140727933078944 139933938286327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
/proc/22097/statm: 2687081 71497 3373 1 0 2647217 0
[pid=22097/tid=22099] ppid=22094 vsize=10748324 memory=280222458151184 CPUtime=1.87 cores=0,2,4,6
/proc/22097/task/22099/stat : 22099 (java) S 22094 22097 20852 0 -1 1077944384 14534 0 0 0 181 6 0 0 20 0 16 0 414578221 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933942529200 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22100] ppid=22094 vsize=10748324 memory=7957689449132282197 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22100/stat : 22100 (java) S 22094 22097 20852 0 -1 1077944384 289 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933864360976 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22101] ppid=22094 vsize=10748324 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22101/stat : 22101 (java) S 22094 22097 20852 0 -1 1077944384 229 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933863308432 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22102] ppid=22094 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22097/task/22102/stat : 22102 (java) S 22094 22097 20852 0 -1 1077944384 188 0 0 0 2 1 0 0 20 0 16 0 414578222 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933862255376 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22103] ppid=22094 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22097/task/22103/stat : 22103 (java) S 22094 22097 20852 0 -1 1077944384 1403 0 0 0 2 0 0 0 20 0 16 0 414578222 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933861202832 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22104] ppid=22094 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22097/task/22104/stat : 22104 (java) S 22094 22097 20852 0 -1 1077944384 1393 0 0 0 1 0 0 0 20 0 16 0 414578223 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933430257904 139933938297474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22105] ppid=22094 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22105/stat : 22105 (java) S 22094 22097 20852 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414578224 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933429204192 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22106] ppid=22094 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22106/stat : 22106 (java) S 22094 22097 20852 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414578224 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933428151040 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22107] ppid=22094 vsize=10748324 memory=8508281356422056869 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22107/stat : 22107 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414578226 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933427099600 139933938304923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22108] ppid=22094 vsize=10748324 memory=-8751208674840503653 CPUtime=1.68 cores=0,2,4,6
/proc/22097/task/22108/stat : 22108 (java) S 22094 22097 20852 0 -1 1077944384 8501 0 0 0 166 2 0 0 20 0 16 0 414578226 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933426047728 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22109] ppid=22094 vsize=10748324 memory=8257824465649235475 CPUtime=1.71 cores=0,2,4,6
/proc/22097/task/22109/stat : 22109 (java) S 22094 22097 20852 0 -1 1077944384 6617 0 0 0 170 1 0 0 20 0 16 0 414578226 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933424995184 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22110] ppid=22094 vsize=10748324 memory=-7589235487723351172 CPUtime=0.84 cores=0,2,4,6
/proc/22097/task/22110/stat : 22110 (java) S 22094 22097 20852 0 -1 1077944384 5703 0 0 0 83 1 0 0 20 0 16 0 414578226 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933423942128 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22111] ppid=22094 vsize=10748324 memory=8993858474414607675 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22111/stat : 22111 (java) S 22094 22097 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414578226 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933422889824 139933938296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22112] ppid=22094 vsize=10748324 memory=4495308486026895253 CPUtime=0 cores=0,2,4,6
/proc/22097/task/22112/stat : 22112 (java) S 22094 22097 20852 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 414578227 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933421836848 139933938297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
[pid=22097/tid=22113] ppid=22094 vsize=10748324 memory=4567277034208612510 CPUtime=20.82 cores=0,2,4,6
/proc/22097/task/22113/stat : 22113 (java) R 22094 22097 20852 0 -1 4202560 5888 0 0 0 2080 2 0 0 20 0 16 0 414578411 11006283776 71497 33554432000 4194304 4196468 140727933096400 139933404761776 139933548915884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140727933101067 140727933101170 140727933101170 140727933104079 0
Current children cumulated CPU time: 27.13 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285988 KiB
Child status: 0
Real time (s): 22.8565
CPU time (s): 27.248
CPU user time (s): 27.0412
CPU system time (s): 0.206819
CPU usage (%): 119.213
Max. virtual memory (cumulated for all children) (KiB): 10750268
Max. memory (cumulated for all children) (KiB): 285988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0412
system time used= 0.206819
maximum resident set size= 286856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3471
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 22097
# total CPU time (s): 27.248
# total CPU user time (s): 27.0412
# total CPU system time (s): 0.206819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.167632 second user time and 0.271859 second system time
The end