2.38/1.89
2.38/1.89 AbsCon 2
2.64/1.91
3.33/2.19 Instance
3.33/2.19 name=instance-4390590-1568383100, framework=CSP
3.33/2.19
3.33/2.19 Loading variables...
3.63/2.26 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9c2696
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21cfe752
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6aca7c
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7763295e
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1563b0d8
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1772c9a9
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f09a38
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721bcd64
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16147696
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625c1198
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a49498
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e92bf41
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20681cbc
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321ef1c5
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d8e149
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c8eea8
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c364fbe
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23467ca9
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d098748
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e741e5
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1470df55
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a6be2f
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed393ab
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2decafd4
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78340c39
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b826a1
4.00/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b33e5c
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b526492
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fab7696
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@129c309b
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606cd99d
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77fe18
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36781516
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a436e98
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28eac291
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea8789b
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb8843d
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ecdeb42
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359584e5
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a5973f
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eabcfc0
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0d5cb9
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc2846d
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44414e94
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6133e1
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39696df3
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d11846
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6016469d
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d315d
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e366ecd
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f144012
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@699f4f98
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61cb5c5e
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26133ff8
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75137abb
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6526e84e
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7a0f4e
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4c5067
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cd927f
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c753ac
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb7dacb
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666fd06d
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b401b47
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f84584d
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2269b035
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1876896e
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e53c335
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58a8d5c6
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@85f2e90
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2abcb2c5
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b756e0b
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72198430
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57157f2c
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352d097c
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ccf195c
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13accaf3
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683e8f0a
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6936a6e3
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2553db7
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a630b
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac85f5f
4.00/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0036d5
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a9c367
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c10927
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dc90b57
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46278bc7
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b29e5df
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b4cdd
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf01454
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd11b6e
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f7c876
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61ace1ee
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e972b
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f1bcfe
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aa37659
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6595e123
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45df46df
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734f0d23
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27b0b62f
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e88432e
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f08f84
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3173486e
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d6261c5
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca37d1b
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72b53f23
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482912
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e75199b
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ecadc84
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e30ef51
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb64f75
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76fed5ae
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18061107
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68a39c82
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509a65d3
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0e20e1
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f43471
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ce7a9d
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582fae
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66018a4
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523cf744
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a77a83
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6c69ce
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@642a4c4e
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf136e2
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dafd0a9
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69fc223c
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5f6158
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d17e8fb
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73bec33e
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52402132
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1201b870
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7364e624
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e02c48
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@661ad4c7
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1618b959
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec957a
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22655f28
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c4c431
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef3aa7c
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1757c5
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4010a083
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b990772
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27846f59
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3b18d9
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47217b8c
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de92682
4.00/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc9baac
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d570483
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e06a874
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1550f8a1
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55a13bda
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed709d
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4fe162
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735a523b
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331e2e17
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eb2628
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9837f8
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff9ed78
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0a6fe5
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8db210
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716b171a
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244cb589
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc561ca
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a23b871
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6313aa90
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acb04e5
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a449ea5
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b5aad9
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f082dc
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@527d2046
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a4476d
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bae27d
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b81e4
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1830cb8f
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239654e0
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47584543
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c9ec3f3
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54448cd3
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46962f3b
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af40de0
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e92a08f
4.00/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1d66ca
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588d3bcb
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e18c2fa
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5508b6
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3184e
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea6690
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53797c0d
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e0f2ae
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7092731e
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713719f5
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65225ec9
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47e90e1
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bf21119
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68870923
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1871b4f
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa6ae62
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf5ae78
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ade4c49
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32e6b33c
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e1b1ddc
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f1f08a
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1c57c3
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb6eeab
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65219095
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1fa633
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c34e4ba
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b147edf
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469def8a
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f31f10d
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f0387e
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e04f831
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ca8ba7
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb01dcf
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2730188d
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bbf228d
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6baf30b5
4.00/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567af6b0
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9c6e8
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d72f2a
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d6e2e7
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1313dba9
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab02a7e
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db0c07f
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352a5020
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2277f465
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f6743e
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17122b8b
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17daba36
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42093f2e
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb9e76b
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681db825
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ba14e3
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348fa6c8
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4570f5f8
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a32da03
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40af2328
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bae0476
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26ca6d52
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bc8eadd
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c359875
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46771f7d
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e99bdd
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f2489
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1784b0cf
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a386f9b
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ab81b
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d341a8a
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696f455e
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f391745
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41473016
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51de37fd
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75f91df5
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271a62ce
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25165d32
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80c8731
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c5a81a
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0340da
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad52f4f
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f489f15
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee93d4
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3734d55f
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73728dff
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44fbc3e4
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17342728
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b99a177
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fe31152
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25aeeea7
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d3acde
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2db9ae
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6acbbf
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601a80ca
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324bf804
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0ee714
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485b62d3
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a691859
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ebd3b6
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454d38ff
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233af3e6
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab1769d
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4999d767
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5746a3d7
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2864704a
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddbbb28
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34941154
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff08bd
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61fb9e60
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e4129e
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7725f4b2
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39353a3e
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286c944d
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a14ffbd
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15058165
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24adf63d
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be8589
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738c72e5
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77417dc5
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c5a58
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73247c98
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39fc1050
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a17855a
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c301497
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f183400
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490aa957
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e5a8de
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c4b670
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b3146c
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dce7626
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ac10dc
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550ab419
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509646b
4.00/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ffdfd5
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4cbb5d
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9918b98
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b8427e
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60027daf
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c07958c
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dddd2f4
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2851f35f
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c824fa7
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6628cb92
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc0323d
4.00/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d2e394e
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f89353f
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5effc77e
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7c0fd
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec0018
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8574e9
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6892dfe5
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3c3232
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e17cbd
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54dec3ab
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a1b63c
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@504239ff
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6d42d
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fdcfd09
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e994ae5
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9b5cb
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696834a0
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@459084c8
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482f17c
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dc5f85
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ece7420
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741b6a39
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278c1a8d
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16567646
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ba95935
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb15224
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457b525b
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ddc1fe2
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ca27f8
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bee9f87
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5f7d4
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf61c8a
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a35959b
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c74380
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581274c6
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599f90e1
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5170f683
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2a344f
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b7fb23f
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326229a0
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75496277
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfb4034
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e005524
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d05ba4d
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475e77bd
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2840dc08
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afe674e
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5265ae19
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df2fbe8
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b128e
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfcdb5
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291f8bee
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f735f31
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6ef9da
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6b3f13
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6520fcbb
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a674d7d
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625512a9
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f44cac3
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42321ac4
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476a0e39
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5921f969
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9325a0
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3dc6d1
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b062ee1
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f5cdaaf
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747e273a
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a0841f1
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a731031
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26058fd
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12cb1a66
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b9e7de
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ed33e8
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5cc3be
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f84991
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290b5dd1
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@458fea4c
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8bed85
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a07a4ca
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289de98f
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289467b7
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63029897
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c37f43
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770479a5
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f043612
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f8c951
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4434c9
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3465f029
4.00/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a564937
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648622cd
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@356a2808
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eff9dd
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73149e73
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@87f4e97
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2304a9
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64761eba
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4a6f9
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@96d501b
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0c9332
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63033d9f
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66046cc6
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763636e5
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b790ac1
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286198df
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f0dd5e
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2755ebdf
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7512af21
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f95eb4b
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd25259
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c402e10
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72adc022
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d2ffd6
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510e7a69
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70031f7b
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f864fcc
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be542
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f3e7be6
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36508061
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45bb5472
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f130ee4
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e23db0e
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ecd9ca
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230e5237
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec31f0f
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2464ff15
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75936fc3
4.00/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a445a5
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b259292
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649fbac
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f8a41e
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66438cd6
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478e060
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25525a60
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5891b99d
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adc3af3
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da4ff68
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2794d7
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49543aa1
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77778177
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2232a8c5
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f4642f3
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5c959a
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb4d887
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a03fe3
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2aefc6
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513c090f
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b41fda
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925ce7a
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6818043e
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71871783
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579d2c1
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78e0f824
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e94d799
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b6699
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd8323f
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b8a62f
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db9d9a9
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5503c065
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c416522
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc1faa6
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532c38cc
4.39/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c3c14f
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bdb69b
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8bcf2f
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ea2ed3
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5300dd5d
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d94bd9
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e68190
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee5fc0e
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d8b4fc
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3c3e1f
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1623bf3f
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6375e5e4
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa87ee7
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3962e7bc
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5e608b
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bc89bf
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe97438
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b91ed1a
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d17812d
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c55fab
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4017a176
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a66768e
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14288119
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6427869c
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b1119e
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f4f3a9
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dc20b1
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a558dc
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2951579a
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e995feb
4.39/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117efa12
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530a71c9
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f6ffe0
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541b64af
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743548d2
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@512fcd4b
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a390eec
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c454897
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f57964d
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4661de18
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6537d850
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c621b0b
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c84a5
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d8d3d
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65611041
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e815183
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e1b38
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a21c830
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20070777
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e688234
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cf63a7
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca75224
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1000e9b8
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108d4b8e
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5646afe1
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42d67af9
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad2dd3
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ce4c46
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b4c8f6
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f83d85
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c901f14
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e2d750
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f2e6b
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64dda3f5
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e2f172b
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3462463
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53848341
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd31ff
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5483827c
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c208afe
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637bc980
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bdb21d
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d51709c
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d18b60d
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37cafbb7
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b8c5cd4
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572ad22a
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c943d1d
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a96bd8
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537b0d38
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb17ba
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ca7d4a
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd2cfdc
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29197522
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3eda89
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f6c0c31
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610e5b6c
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@154fa520
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6776cbbc
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf83a1a
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@189c8c00
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64447eb
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f22e27
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5498d48e
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b98d921
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744fd268
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e744b9a
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289b6bdf
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@210a3320
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b1ebb0
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@506987c5
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11465898
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce82112
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e69997d
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dc27ac9
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5685cc93
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142925d
4.39/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75da08bc
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac77430
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f488085
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3197346a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ced9577
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b525f7
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de0825e
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c6ef8a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6454c3a3
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3bf7e1
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d98770
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3887b5e8
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265be79e
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273ea9f5
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4432fe36
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbe2fed
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25131461
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c031880
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b595b21
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e31151
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dbf94b
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239304df
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3e37e1
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab4a88a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3155a3af
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fa369a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f4dff5
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77f8291c
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa35932
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4d6c1b
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2690866d
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233031a2
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4b3e3e
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d4b96f
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb86a9d
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e82362
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301b752d
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccc95df
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135fec9f
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfcbe0d
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b024fc8
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e8e486
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631da5b
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2896b553
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a809e69
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef2f64f
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59968f39
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c3a1480
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8e6d7b
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a3325f
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5008bd3a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e2549b
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e1726e2
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289422e4
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b868cf
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35aaa44e
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ababa62
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77de1227
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a812022
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283811ce
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@618c686f
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2507caee
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf80c9f
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25484cca
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492b4163
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8af4f
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9e4d6f
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63857b3a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba9d333
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704f6ce2
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ba8352
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7645af73
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b9c178
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6952f950
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4930441a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aded736
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@292de878
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604f4a76
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c5c50a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d42c78
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fb248e
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9d2b03
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a92210
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5860986e
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a63b217
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7edbee26
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4887
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@218b16ef
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e79bfc
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3183c2
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6629fe6
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55920206
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32575ca8
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708d52db
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5b55d2
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d0f4c0
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed1c7e2
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2835ed01
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e4b03
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a181c4
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790f3fdd
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7fe6fc
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753485e8
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@192fb024
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109237a0
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2602ac10
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217fa03a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b7035a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658ca800
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb267ad
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1097f63e
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b5e635
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54aff8fa
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fd930d4
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794c85ed
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77a1a3b
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36dc5ae1
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e667466
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@472afd0b
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73541443
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d7b3172
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d9b5d
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c8f9a
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be00d8c
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dbffd98
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4837e39e
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33afb30d
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7720d151
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1cc43b
4.39/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4892e8fb
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491cde3e
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c856d8
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a43396
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb0d086
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478af658
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d32cf5e
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173f1e62
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98b3615
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59871312
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cdf6b9
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183af604
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1549d300
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bfe034
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7412e0fd
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@111b22b4
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aa38b1a
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8f4b23
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393c5b2f
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4545a3a7
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eee8ae3
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a72b4b9
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2724a991
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49010327
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a07222f
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501d209a
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e223fc
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83af466
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11d622c9
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb2c383
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fdf3a44
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3269c84f
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17869766
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b272c1
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6c905b
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b4df746
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9a0764
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f49c82
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad4e3f3
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37920734
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772b2145
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f44cc75
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2704a13e
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d36536
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c06ab9
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c147bc3
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b5417f
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367e4af2
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@baa486a
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a9f326
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57cc2df6
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6ed326
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2285e38c
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6317cb33
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cfadfe1
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2a33a8
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b20268
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cc8512
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223fc590
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b511a35
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7f163f
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a9d3fba
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c015bf9
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261559dc
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ef85f1
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@471cb87d
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f53f66
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244db9c9
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76236927
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386facfb
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220611ad
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38362cd2
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c71b59d
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428b06aa
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f27c584
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59106a47
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd12d5e
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614c2104
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e80bc
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da7df63
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b195910
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9da3610
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d10a21d
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62d7348d
4.39/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cee17
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d2f0a57
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27940d67
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d4e6da1
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@186242f9
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bae1c4e
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada71cf
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e80aa70
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd1cccb
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b0f806
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a62b0d8
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eeb9c0
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62eda5e0
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49761dac
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad6aca0
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259b7aae
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414d8464
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fab032d
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303e77d3
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c06544d
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd738c
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2650ed7a
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0e02a4
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e5d1b9
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691373e2
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183f77b5
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fa646ea
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b2ef94
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f88792
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2e7612
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533a8866
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d0aad
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@677f9b71
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15bad609
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645bf6b1
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10442b56
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76d913b9
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79688432
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e61f68b
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e59574
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495e48e9
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564227e8
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c5d3ca
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100361ac
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bea153c
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc4ef81
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18525e16
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bae27e9
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15edd64a
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404c4b8
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1c5d00
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e8353c
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468716b
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f06026e
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44475b0d
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104a196d
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ded587
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbfafb1
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e435b8c
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@112001b4
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adcbf68
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d643775
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647daccd
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b8f80a
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a61a0b
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e29e063
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515d389c
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714ecc5a
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3802b67d
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67921699
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550b7fe8
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b9c1725
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cbfae9
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395c90db
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61efa976
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a38ada4
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71bcb1f4
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1069a8e1
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498e574e
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20634081
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d238631
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1efc27
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7fa132
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf9d082
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550cac83
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6ad681
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fa112a2
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7096e2b8
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67671d1
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fb64d8
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297290ce
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb86e4b
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163d5017
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619715f2
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a1d69d
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b764f45
4.39/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d0684f9
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@298a5e74
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adc5946
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b2791f
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52be1eff
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dcc74f8
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662aceae
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f53bcf
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d5dca09
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d1e06d1
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62dbcfb4
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1123ec
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc5021f
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d454879
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ea5bad
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3edd7015
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac4c8a7
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41302d4b
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346cf670
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25cf894a
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52079e37
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43100229
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75635d92
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efa7f5c
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d14768
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3714205d
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82401d
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3a8f72
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@703a4537
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e3d820
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795d1d1f
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74023c04
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59337afc
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402b87bf
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f36b71
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fba38e
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58eeccf0
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17d03574
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d96e40a
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a9a955
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0f4d6
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7985cad2
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530c1f75
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ae76fc
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a0a02e
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b52da7
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a31e29
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d28009
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6288da64
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b51665
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dabf63
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2280a0d2
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1a17a0
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0d57d9
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f24ffcf
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6535c6cb
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b968387
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525b4dc1
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ba6fe6
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270ee256
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11933fc4
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72665a34
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de82cd2
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f44fe9a
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c61d72e
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160ddf4c
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd12fcc
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172e874d
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2680cc4b
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24251a8b
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f5eacb
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25442eb9
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165aaad8
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77713ac3
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b17a77
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e7ed20
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b6f4d07
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29764d2e
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0d3efa
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213b68f0
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d353c6
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49476095
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66c19b92
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289a9bfd
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608c260f
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec35799
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c58231c
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902685b
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@170e05cd
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd3b2fd
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbc39f
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cd816b
4.39/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7088b5
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a84f73
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b2988c
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d919a7a
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6440990c
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a25a221
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532dae2d
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4d3916
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293a7126
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fb1ba9
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8733b29
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be30958
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7ec900
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b59910
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38745b19
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283eaec8
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47212b44
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbcf2b5
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4808dd8
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a66c83
4.39/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113ebc05
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f322e
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27299a7d
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641120
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bff7d38
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7b90c8
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@185dc726
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4a3fe
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a3b1c4
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151639a7
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77493ee8
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f1d71e
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ae5dfe
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be7ba5
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411fb4fb
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108f76c2
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bbe7a8
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58cf56d
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcce48d
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66741ca7
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68517e7
4.39/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495c9aaa
4.39/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32693dbe
4.39/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4966e7ad
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cef16e
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481aaba7
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4993530b
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19710233
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744f30e
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c705bbb
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6fd356
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41881976
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@335d24c
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ffc24f
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513d5a65
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47ea2cbf
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ace3743
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acbf89a
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d68eb81
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614a549f
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e93aa1
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741efef5
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78cd411f
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211f5391
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109e9527
4.67/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde22e
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe45ffc
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76faf5b2
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0e9401
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce3c214
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742c0993
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471cb3e
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe4bfa3
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216682b0
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282b488
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e9ba9a
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f155e0a
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a5ae1a
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40766271
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27da5b17
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6565ab97
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c25ea63
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9ea26a
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d52089
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4032ebe8
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6eb4c5
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6afabbf8
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fce5cbe
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7a7719
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26372ae6
4.67/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b85537c
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9902e
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bb3bfb
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ea9272
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ca257a2
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26a6854b
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1797e1f3
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68ecdd53
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6724a2
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cefcfb4
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f8018d
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f66c79b
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddb305
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bb0304
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbe2665
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287f6137
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac752f0
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5dc026
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca707dd
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a2b7a
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36434381
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a0520
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287bfb59
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cfddb4f
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58984eae
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c52ffbe
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb1189
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f9be18
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c37783
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b36517e
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641850
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8ab57a
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c49150d
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7591a67d
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416996fc
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5059a3
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746b4213
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0b7bed
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf54d4a
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b442049
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f95729
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6fd09c
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bafb8b4
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707d948e
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702f4cda
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e37378a
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4de9c5
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e647a2c
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a48a12f
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abac7af
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d9ab54
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@817b04f
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43da3992
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46908a6c
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f2b7c77
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4823066c
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0456c9
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34882a5a
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701e8c4c
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23597e60
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dd2fe7
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2d15d5
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f975aef
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ec9c7f
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e81ac16
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58869328
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6107508
4.67/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d0d
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4124d52
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76984393
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f24d43c
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2405f5
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0cd115
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b8b8d
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36760b28
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9f59d2
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418bdd04
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bb67d2
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bbf4de
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e9958ef
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542e9f8
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb17f90
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47bc445a
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206f3554
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b68d6f0
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@954c771
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742afdd7
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5baf83
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a49017
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ab62f9
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67aa2eb6
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@594ac6db
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1baaf4d4
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4026e893
4.67/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c976749
4.67/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a9c290
4.67/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6613a9be
5.14/2.79
5.14/2.79
5.14/2.79 Domains
5.14/2.79 nTypes=2, nValues=6800, sizes=[2#1000,24#200]
5.14/2.79 Variables
5.14/2.79 count=1200, degrees=[2#200,3#5,4#5,5#6...59#3,60#4,61#4,62#27]
5.14/2.79 Constraints
5.14/2.79 count=1379, nSpecific=1379, arities=[2#199,3#396,5#392,6#200...196#1,197#2,198#1,200#6]
5.14/2.79 distribution=[CardinalityConstant#1,CtrExtensionCT-Table#200,SumSimpleGE#191,SumSimpleLE#987]
5.14/2.79 tables=[24#200], nTotalTuples=4800
5.14/2.79 nExtStructures=(1,shared:199)
5.14/2.79 wck=0.929, cpu=2.755, mem=84M647
5.28/2.83 Solver SolverBacktrack being built...
5.28/2.83
5.28/2.86
5.28/2.86 Solver
5.28/2.86 guaranteedGAC=true
5.28/2.86 wck=1.004, cpu=2.828, mem=119M76
5.28/2.90
5.28/2.90 Preprocessing
5.28/2.90 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.28/2.90 wck=0.032, cpu=2.863, mem=121M718
5.28/2.90
5.88/3.10 num=0, depth=123..148, filters=1575, wck=0.232, mem=121M718
5.88/3.10 decisions=166, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.88/3.10 nFilterCalls=1679, avgTableProportion=0.9583333333333154, avgTableSize=23.0
5.88/3.10
6.46/3.24 num=1, depth=162..176, filters=2389, wck=0.378, mem=121M718
6.46/3.24 decisions=364, wrong=22, backtracks=1, failedAssignments=21, nogoods=21
6.46/3.24 nFilterCalls=2964, avgTableProportion=0.9583333333333537, avgTableSize=23.0
6.46/3.24
6.73/3.38 num=2, depth=140..293, filters=3426, wck=0.515, mem=121M718
6.73/3.38 decisions=688, wrong=40, backtracks=10, failedAssignments=33, nogoods=26
6.73/3.38 nFilterCalls=3886, avgTableProportion=0.9583333333333849, avgTableSize=23.0
6.73/3.38
7.04/3.52 num=3, depth=223..312, filters=4484, wck=0.654, mem=121M718
7.04/3.52 decisions=1040, wrong=60, backtracks=17, failedAssignments=46, nogoods=28
7.04/3.52 nFilterCalls=4794, avgTableProportion=0.9583333333333546, avgTableSize=23.0
7.04/3.52
7.20/3.66 num=4, depth=321..326, filters=5720, wck=0.793, mem=121M718
7.20/3.66 decisions=1408, wrong=82, backtracks=27, failedAssignments=60, nogoods=31
7.20/3.66 nFilterCalls=5887, avgTableProportion=0.9583333333332944, avgTableSize=23.0
7.20/3.66
7.31/3.80 num=5, depth=228..340, filters=6852, wck=0.932, mem=121M718
7.31/3.80 decisions=1794, wrong=106, backtracks=38, failedAssignments=76, nogoods=37
7.31/3.80 nFilterCalls=6883, avgTableProportion=0.9583333333332561, avgTableSize=23.0
7.31/3.80
7.52/3.94 num=6, depth=274..354, filters=8098, wck=1.08, mem=121M718
7.52/3.94 decisions=2196, wrong=132, backtracks=51, failedAssignments=93, nogoods=42
7.52/3.94 nFilterCalls=7861, avgTableProportion=0.958333333333228, avgTableSize=23.0
7.52/3.94
7.63/4.07 num=7, depth=271..300, filters=9268, wck=1.21, mem=121M718
7.63/4.07 decisions=2576, wrong=175, backtracks=80, failedAssignments=112, nogoods=49
7.63/4.07 nFilterCalls=8867, avgTableProportion=0.9583333333332383, avgTableSize=23.0
7.63/4.07
7.79/4.19 num=8, depth=317..324, filters=10140, wck=1.329, mem=121M718
7.79/4.19 decisions=3005, wrong=230, backtracks=129, failedAssignments=133, nogoods=52
7.79/4.19 nFilterCalls=9555, avgTableProportion=0.9583333333332887, avgTableSize=23.0
7.79/4.19
7.98/4.32 num=9, depth=341..349, filters=11084, wck=1.456, mem=121M718
7.98/4.32 decisions=3460, wrong=287, backtracks=182, failedAssignments=156, nogoods=53
7.98/4.32 nFilterCalls=10195, avgTableProportion=0.9583333333333296, avgTableSize=23.0
7.98/4.32
8.08/4.43 num=10, depth=92..297, filters=11960, wck=1.563, mem=121M718
8.08/4.43 decisions=3863, wrong=344, backtracks=228, failedAssignments=181, nogoods=56
8.08/4.43 nFilterCalls=10803, avgTableProportion=0.958333333333364, avgTableSize=23.0
8.08/4.43
8.18/4.52 num=11, depth=269..279, filters=13036, wck=1.66, mem=121M718
8.18/4.52 decisions=4243, wrong=398, backtracks=271, failedAssignments=209, nogoods=58
8.18/4.52 nFilterCalls=11597, avgTableProportion=0.9583333333334034, avgTableSize=23.0
8.18/4.52
8.29/4.62 num=12, depth=240..248, filters=13998, wck=1.755, mem=121M718
8.29/4.62 decisions=4621, wrong=467, backtracks=327, failedAssignments=240, nogoods=59
8.29/4.62 nFilterCalls=12190, avgTableProportion=0.9583333333334295, avgTableSize=23.0
8.29/4.62
8.40/4.72 num=13, depth=240..247, filters=15142, wck=1.856, mem=121M718
8.40/4.72 decisions=5007, wrong=540, backtracks=387, failedAssignments=274, nogoods=61
8.40/4.72 nFilterCalls=12946, avgTableProportion=0.9583333333334593, avgTableSize=23.0
8.40/4.72
8.50/4.82 num=14, depth=227..247, filters=16340, wck=1.953, mem=121M718
8.50/4.82 decisions=5419, wrong=632, backtracks=465, failedAssignments=311, nogoods=63
8.50/4.82 nFilterCalls=13643, avgTableProportion=0.9583333333334838, avgTableSize=23.0
8.50/4.82
8.60/4.91 num=15, depth=224..232, filters=18215, wck=2.047, mem=121M718
8.60/4.91 decisions=5824, wrong=721, backtracks=535, failedAssignments=352, nogoods=65
8.60/4.91 nFilterCalls=14788, avgTableProportion=0.9583333333335191, avgTableSize=23.0
8.60/4.91
8.75/5.01 num=16, depth=208..288, filters=19489, wck=2.148, mem=121M718
8.75/5.01 decisions=6290, wrong=827, backtracks=626, failedAssignments=397, nogoods=68
8.75/5.01 nFilterCalls=15521, avgTableProportion=0.958333333333539, avgTableSize=23.0
8.75/5.01
8.95/5.22 num=17, depth=191..428, filters=22161, wck=2.355, mem=121M718
8.95/5.22 decisions=6903, wrong=927, backtracks=687, failedAssignments=447, nogoods=72
8.95/5.22 nFilterCalls=17440, avgTableProportion=0.9583333333335473, avgTableSize=23.0
8.95/5.22
9.15/5.41 num=18, depth=214..408, filters=24555, wck=2.543, mem=121M718
9.15/5.41 decisions=7531, wrong=1046, backtracks=788, failedAssignments=502, nogoods=82
9.15/5.41 nFilterCalls=19012, avgTableProportion=0.9583333333334293, avgTableSize=23.0
9.15/5.41
9.46/5.74 num=19, depth=345..378, filters=28794, wck=2.879, mem=121M718
9.46/5.74 decisions=8106, wrong=1148, backtracks=868, failedAssignments=563, nogoods=86
9.46/5.74 nFilterCalls=21947, avgTableProportion=0.9583333333332543, avgTableSize=23.0
9.46/5.74
10.06/6.34 num=20, depth=358..382, filters=37765, wck=3.474, mem=121M718
10.06/6.34 decisions=8745, wrong=1287, backtracks=977, failedAssignments=630, nogoods=90
10.06/6.34 nFilterCalls=27896, avgTableProportion=0.9583333333330125, avgTableSize=23.0
10.06/6.34
10.47/6.74 num=21, depth=361..389, filters=43548, wck=3.875, mem=121M718
10.47/6.74 decisions=9445, wrong=1453, backtracks=1104, failedAssignments=704, nogoods=93
10.47/6.74 nFilterCalls=31884, avgTableProportion=0.958333333332901, avgTableSize=23.0
10.47/6.74
10.67/6.92 num=22, depth=335..347, filters=45931, wck=4.051, mem=121M718
10.67/6.92 decisions=10218, wrong=1671, backtracks=1308, failedAssignments=785, nogoods=95
10.67/6.92 nFilterCalls=33162, avgTableProportion=0.958333333332871, avgTableSize=23.0
10.67/6.92
10.77/7.08 num=23, depth=291..334, filters=48447, wck=4.217, mem=121M718
10.77/7.08 decisions=10953, wrong=1892, backtracks=1489, failedAssignments=874, nogoods=97
10.77/7.08 nFilterCalls=34512, avgTableProportion=0.9583333333328752, avgTableSize=23.0
10.77/7.08
10.97/7.22 num=24, depth=202..215, filters=51575, wck=4.358, mem=124M361
10.97/7.22 decisions=11593, wrong=2108, backtracks=1675, failedAssignments=972, nogoods=100
10.97/7.22 nFilterCalls=36008, avgTableProportion=0.958333333332995, avgTableSize=23.0
10.97/7.22
11.07/7.35 num=25, depth=168..188, filters=54687, wck=4.49, mem=124M361
11.07/7.35 decisions=12240, wrong=2347, backtracks=1876, failedAssignments=1080, nogoods=102
11.07/7.35 nFilterCalls=37408, avgTableProportion=0.9583333333330984, avgTableSize=23.0
11.07/7.35
11.27/7.50 num=26, depth=158..170, filters=59781, wck=4.636, mem=124M361
11.27/7.50 decisions=12935, wrong=2614, backtracks=2096, failedAssignments=1199, nogoods=105
11.27/7.50 nFilterCalls=40115, avgTableProportion=0.958333333333278, avgTableSize=23.0
11.27/7.50
11.37/7.66 num=27, depth=158..274, filters=64364, wck=4.791, mem=124M361
11.37/7.66 decisions=13653, wrong=2882, backtracks=2272, failedAssignments=1330, nogoods=108
11.37/7.66 nFilterCalls=42508, avgTableProportion=0.9583333333334176, avgTableSize=23.0
11.37/7.66
11.57/7.81 num=28, depth=120..142, filters=68279, wck=4.95, mem=124M361
11.57/7.81 decisions=14487, wrong=3237, backtracks=2579, failedAssignments=1474, nogoods=111
11.57/7.81 nFilterCalls=44361, avgTableProportion=0.9583333333335154, avgTableSize=23.0
11.57/7.81
11.67/7.97 num=29, depth=99..164, filters=73222, wck=5.105, mem=124M361
11.67/7.97 decisions=15287, wrong=3580, backtracks=2827, failedAssignments=1632, nogoods=115
11.67/7.97 nFilterCalls=47092, avgTableProportion=0.9583333333336455, avgTableSize=23.0
11.67/7.97
11.97/8.25 num=30, depth=110..416, filters=79952, wck=5.383, mem=124M361
11.97/8.25 decisions=16367, wrong=3937, backtracks=3091, failedAssignments=1806, nogoods=137
11.97/8.25 nFilterCalls=51739, avgTableProportion=0.9583333333338353, avgTableSize=23.0
11.97/8.25
12.17/8.42 num=31, depth=109..120, filters=85508, wck=5.557, mem=124M361
12.17/8.42 decisions=17279, wrong=4337, backtracks=3397, failedAssignments=1997, nogoods=141
12.17/8.42 nFilterCalls=55393, avgTableProportion=0.9583333333339622, avgTableSize=23.0
12.17/8.42
13.79/10.04 num=32, depth=115..415, filters=107420, wck=7.178, mem=124M361
13.79/10.04 decisions=18350, wrong=4689, backtracks=3688, failedAssignments=2208, nogoods=146
13.79/10.04 nFilterCalls=71165, avgTableProportion=0.9583333333340761, avgTableSize=23.0
13.79/10.04
15.89/12.20 num=33, depth=118..374, filters=138811, wck=9.331, mem=124M361
15.89/12.20 decisions=19529, wrong=5111, backtracks=4013, failedAssignments=2440, nogoods=157
15.89/12.20 nFilterCalls=94640, avgTableProportion=0.9583333333326887, avgTableSize=23.0
15.89/12.20
17.79/14.05 num=34, depth=270..315, filters=170812, wck=11.188, mem=124M361
17.79/14.05 decisions=20783, wrong=5603, backtracks=4367, failedAssignments=2695, nogoods=161
17.79/14.05 nFilterCalls=117717, avgTableProportion=0.9583333333318641, avgTableSize=23.0
17.79/14.05
19.90/16.17 num=35, depth=264..294, filters=200559, wck=13.302, mem=124M361
19.90/16.17 decisions=22079, wrong=6118, backtracks=4833, failedAssignments=2976, nogoods=164
19.90/16.17 nFilterCalls=140101, avgTableProportion=0.9583333333316698, avgTableSize=23.0
19.90/16.17
21.81/18.05 num=36, depth=219..278, filters=226568, wck=15.181, mem=124M361
21.81/18.05 decisions=23483, wrong=6693, backtracks=5317, failedAssignments=3285, nogoods=173
21.81/18.05 nFilterCalls=159797, avgTableProportion=0.9583333333330707, avgTableSize=23.0
21.81/18.05
23.30/19.55 num=37, depth=209..231, filters=256620, wck=16.682, mem=124M361
23.30/19.55 decisions=24983, wrong=7338, backtracks=5803, failedAssignments=3625, nogoods=177
23.30/19.55 nFilterCalls=181005, avgTableProportion=0.9583333333342381, avgTableSize=23.0
23.30/19.55
24.61/20.89 num=38, depth=198..252, filters=290947, wck=18.027, mem=124M361
24.61/20.89 decisions=26727, wrong=8108, backtracks=6390, failedAssignments=3999, nogoods=183
24.61/20.89 nFilterCalls=203130, avgTableProportion=0.9583333333351962, avgTableSize=23.0
24.61/20.89
28.24/24.49 num=39, depth=204..265, filters=351872, wck=21.626, mem=124M361
28.24/24.49 decisions=28438, wrong=8858, backtracks=6961, failedAssignments=4410, nogoods=188
28.24/24.49 nFilterCalls=247835, avgTableProportion=0.9583333333366101, avgTableSize=23.0
28.24/24.49
32.55/28.77 num=40, depth=216..319, filters=425615, wck=25.902, mem=124M361
32.55/28.77 decisions=30100, wrong=9581, backtracks=7493, failedAssignments=4862, nogoods=190
32.55/28.77 nFilterCalls=297475, avgTableProportion=0.9583333333353407, avgTableSize=23.0
32.55/28.77
34.54/30.79 num=41, depth=192..225, filters=449562, wck=27.925, mem=124M361
34.54/30.79 decisions=32018, wrong=10442, backtracks=8224, failedAssignments=5359, nogoods=193
34.54/30.79 nFilterCalls=315266, avgTableProportion=0.9583333333341325, avgTableSize=23.0
34.54/30.79
37.66/33.85 num=42, depth=202..292, filters=483387, wck=30.985, mem=124M361
37.66/33.85 decisions=34020, wrong=11340, backtracks=8950, failedAssignments=5906, nogoods=201
37.66/33.85 nFilterCalls=342012, avgTableProportion=0.9583333333325527, avgTableSize=23.0
37.66/33.85
40.39/36.55 num=43, depth=174..259, filters=521744, wck=33.683, mem=124M361
40.39/36.55 decisions=36441, wrong=12453, backtracks=9770, failedAssignments=6508, nogoods=212
40.39/36.55 nFilterCalls=370599, avgTableProportion=0.9583333333311163, avgTableSize=23.0
40.39/36.55
43.90/40.05 num=44, depth=183..227, filters=586878, wck=37.187, mem=124M361
43.90/40.05 decisions=38825, wrong=13545, backtracks=10617, failedAssignments=7170, nogoods=234
43.90/40.05 nFilterCalls=413525, avgTableProportion=0.9583333333293322, avgTableSize=23.0
43.90/40.05
47.59/43.80 num=45, depth=174..212, filters=634474, wck=40.93, mem=124M361
47.59/43.80 decisions=41312, wrong=14700, backtracks=11608, failedAssignments=7898, nogoods=239
47.59/43.80 nFilterCalls=450133, avgTableProportion=0.9583333333280797, avgTableSize=23.0
47.59/43.80
52.10/48.28 num=46, depth=154..184, filters=691435, wck=45.414, mem=124M361
52.10/48.28 decisions=44511, wrong=16221, backtracks=12856, failedAssignments=8699, nogoods=245
52.10/48.28 nFilterCalls=491787, avgTableProportion=0.9583333333268813, avgTableSize=23.0
52.10/48.28
57.10/53.25 num=47, depth=160..200, filters=748716, wck=50.386, mem=124M361
57.10/53.25 decisions=47651, wrong=17709, backtracks=14122, failedAssignments=9580, nogoods=252
57.10/53.25 nFilterCalls=535072, avgTableProportion=0.9583333333258337, avgTableSize=23.0
57.10/53.25
63.30/59.46 num=48, depth=153..208, filters=920521, wck=56.598, mem=124M361
63.30/59.46 decisions=50814, wrong=19210, backtracks=15459, failedAssignments=10550, nogoods=263
63.30/59.46 nFilterCalls=635101, avgTableProportion=0.9583333333320259, avgTableSize=23.0
63.30/59.46
66.70/62.88 num=49, depth=146..172, filters=980856, wck=60.016, mem=124M361
66.70/62.88 decisions=54558, wrong=21006, backtracks=16948, failedAssignments=11617, nogoods=269
66.70/62.88 nFilterCalls=673124, avgTableProportion=0.9583333333342917, avgTableSize=23.0
66.70/62.88
72.70/68.87 num=50, depth=154..223, filters=1068362, wck=66.003, mem=124M361
72.70/68.87 decisions=58691, wrong=22993, backtracks=18666, failedAssignments=12790, nogoods=276
72.70/68.87 nFilterCalls=731860, avgTableProportion=0.9583333333373292, avgTableSize=23.0
72.70/68.87
74.40/70.52 num=51, depth=150..196, filters=1125645, wck=67.66, mem=124M361
74.40/70.52 decisions=62692, wrong=24917, backtracks=20447, failedAssignments=14081, nogoods=281
74.40/70.52 nFilterCalls=762296, avgTableProportion=0.958333333338719, avgTableSize=23.0
74.40/70.52
75.40/71.55 num=52, depth=115..138, filters=1142392, wck=68.686, mem=127M4
75.40/71.55 decisions=67594, wrong=27308, backtracks=22615, failedAssignments=15501, nogoods=288
75.40/71.55 nFilterCalls=772316, avgTableProportion=0.9583333333391526, avgTableSize=23.0
75.40/71.55
76.50/72.66 num=53, depth=86..103, filters=1161122, wck=69.791, mem=127M4
76.50/72.66 decisions=73060, wrong=29997, backtracks=25071, failedAssignments=17063, nogoods=296
76.50/72.66 nFilterCalls=783039, avgTableProportion=0.9583333333396042, avgTableSize=23.0
76.50/72.66
77.70/73.87 num=54, depth=53..76, filters=1185526, wck=71.004, mem=127M4
77.70/73.87 decisions=79156, wrong=33015, backtracks=27801, failedAssignments=18781, nogoods=302
77.70/73.87 nFilterCalls=797639, avgTableProportion=0.9583333333401998, avgTableSize=23.0
77.70/73.87
78.96/75.05 num=55, depth=48..1199, filters=1215856, ccks=1379, wck=72.186, mem=127M4
78.96/75.05 decisions=83416, wrong=34891, backtracks=29369, failedAssignments=19843, nogoods=302, foundSolutions=1
78.96/75.05 nFilterCalls=817999, avgTableProportion=0.9583333333409948, avgTableSize=23.0
78.96/75.05
78.96/75.05 Global
78.96/75.05 filters=1215856, ccks=1379, nogoods=302
78.96/75.05 Stop=REACHED_GOAL, wrong=34891, foundSolutions=1, firstSolCpu=74.964
78.96/75.05 wck=73.191, cpu=74.991, mem=127M4
78.96/75.05
78.96/75.05 v <instantiation id='sol1' type='solution'> <list> cls[] opt[][] </list> <values> 7 6 16 1 5 1 0 7 1 1 5 17 1 5 1 16 5 17 7 1 1 5 1 3 18 17 1 21 7 1 16 8 17 1 16 6 7 1 5 1 1 5 1 7 1 1 17 5 1 17 16 13 1 0 1 5 1 1 0 5 1 1 7 17 1 5 17 1 16 16 8 15 1 5 16 1 7 17 18 17 1 17 1 1 5 1 1 5 1 23 5 1 17 1 6 7 16 1 1 5 1 1 5 1 1 5 17 1 5 1 1 7 1 19 1 4 7 1 1 5 1 1 5 1 1 16 1 8 16 1 1 5 1 1 5 1 1 5 1 1 17 1 1 17 1 1 16 1 1 5 1 20 5 1 2 5 1 1 14 1 4 5 1 1 14 1 4 11 2 4 5 10 23 14 1 4 5 10 2 9 1 4 5 2 2 11 4 1 5 1 12 5 1 10 5 1 4 22 1 10 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 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 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 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 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 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 </values> </instantiation>
78.96/75.05 s SATISFIABLE
78.96/75.05
78.96/75.05 d WRONG_DECISIONS 34891
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 (14219 MiB free)
memory of node 1: 16384 MiB (15112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390590-1568383100/watcher-4390590-1568383100 -o /tmp/evaluation-result-4390590-1568383100/solver-4390590-1568383100 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2530 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390590-1568383100.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=3620, runsolver pid=3617
[startup+0.100062 s]*
/proc/loadavg: 1.44 1.38 1.40 4/228 3635
/proc/meminfo: memFree=30021556/32770624 swapFree=66945292/67108860
[pid=3620] ppid=3617 vsize=10659884 memory=28108 CPUtime=0.14 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 5496 0 0 0 13 1 0 0 20 0 15 0 414251938 10915721216 7027 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2664971 7027 2910 1 0 2627468 0
[pid=3620/tid=3622] ppid=3617 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) R 3617 3620 2499 0 -1 4202560 3209 0 0 0 9 0 0 0 20 0 15 0 414251938 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683528185248 140683148220719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251940 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3628] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3628/stat : 3628 (java) S 3617 3620 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414251941 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683081991712 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3629] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3629/stat : 3629 (java) S 3617 3620 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414251941 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683080938864 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3630] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3630/stat : 3630 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414251943 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683079887184 140683523975067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3631] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3631/stat : 3631 (java) S 3617 3620 2499 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 414251943 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683078834544 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3632] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3632/stat : 3632 (java) S 3617 3620 2499 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 414251943 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683077781744 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3633] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0.02 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (java) R 3617 3620 2499 0 -1 4202560 408 0 0 0 2 0 0 0 20 0 15 0 414251943 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683076724888 140683509122126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3634] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3634/stat : 3634 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414251943 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683075676384 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3635] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3635/stat : 3635 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251944 10915721216 7027 33554432000 4194304 4196468 140726234039680 140683074624688 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28108 KiB
[startup+0.210642 s]*
/proc/loadavg: 1.44 1.38 1.40 3/228 3635
/proc/meminfo: memFree=30010184/32770624 swapFree=66945292/67108860
[pid=3620] ppid=3617 vsize=10659884 memory=37544 CPUtime=0.33 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 9155 0 0 0 30 3 0 0 20 0 15 0 414251938 10915721216 9386 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2664971 9386 2979 1 0 2627468 0
[pid=3620/tid=3622] ppid=3617 vsize=10659884 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) R 3617 3620 2499 0 -1 4202560 6102 0 0 0 19 2 0 0 20 0 15 0 414251938 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683528182832 140683523978397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10659884 memory=4051465079157221024 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251940 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3628] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3628/stat : 3628 (java) S 3617 3620 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414251941 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683081991712 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3629] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3629/stat : 3629 (java) S 3617 3620 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414251941 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683080938864 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3630] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3630/stat : 3630 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414251943 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683079887184 140683523975067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3631] ppid=3617 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3620/task/3631/stat : 3631 (java) S 3617 3620 2499 0 -1 1077944384 588 0 0 0 3 0 0 0 20 0 15 0 414251943 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683078834544 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3632] ppid=3617 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3620/task/3632/stat : 3632 (java) S 3617 3620 2499 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 414251943 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683077781744 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3633] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0.05 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (java) S 3617 3620 2499 0 -1 1077944384 709 0 0 0 5 0 0 0 20 0 15 0 414251943 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683076728944 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3634] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3634/stat : 3634 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414251943 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683075676384 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3635] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3635/stat : 3635 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251944 10915721216 9386 33554432000 4194304 4196468 140726234039680 140683074624688 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37544 KiB
[startup+0.310055 s]*
/proc/loadavg: 1.44 1.38 1.40 4/228 3635
/proc/meminfo: memFree=30007876/32770624 swapFree=66945292/67108860
[pid=3620] ppid=3617 vsize=10659884 memory=40612 CPUtime=0.47 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 9367 0 0 0 44 3 0 0 20 0 15 0 414251938 10915721216 10153 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2664971 10153 3010 1 0 2627468 0
[pid=3620/tid=3622] ppid=3617 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) R 3617 3620 2499 0 -1 4202560 6253 0 0 0 28 2 0 0 20 0 15 0 414251938 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683528188272 140683523978397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10659884 memory=3906225086391183008 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251939 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251940 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3628] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3628/stat : 3628 (java) S 3617 3620 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414251941 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683081991712 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3629] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3629/stat : 3629 (java) S 3617 3620 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414251941 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683080938864 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3630] ppid=3617 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3630/stat : 3630 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414251943 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683079887184 140683523975067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3631] ppid=3617 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3620/task/3631/stat : 3631 (java) S 3617 3620 2499 0 -1 1077944384 623 0 0 0 4 0 0 0 20 0 15 0 414251943 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683078834544 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3632] ppid=3617 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3620/task/3632/stat : 3632 (java) S 3617 3620 2499 0 -1 1077944384 405 0 0 0 3 0 0 0 20 0 15 0 414251943 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683077781744 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3633] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0.08 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (java) R 3617 3620 2499 0 -1 4202560 731 0 0 0 8 0 0 0 20 0 15 0 414251943 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683076728944 140683502582977 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3634] ppid=3617 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3634/stat : 3634 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414251943 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683075676384 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3635] ppid=3617 vsize=10659884 memory=140552503617152 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3635/stat : 3635 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251944 10915721216 10153 33554432000 4194304 4196468 140726234039680 140683074624688 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40612 KiB
[startup+0.703828 s]
/proc/loadavg: 1.44 1.38 1.40 4/228 3635
/proc/meminfo: memFree=29997496/32770624 swapFree=66945292/67108860
[pid=3620] ppid=3617 vsize=10661932 memory=63940 CPUtime=1.1 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 12980 0 0 0 104 6 0 0 20 0 15 0 414251938 10917818368 15985 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2665483 15985 3068 1 0 2627980 0
[pid=3620/tid=3622] ppid=3617 vsize=10661932 memory=1428 CPUtime=0.68 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) R 3617 3620 2499 0 -1 4202560 8802 0 0 0 64 4 0 0 20 0 15 0 414251938 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683528188496 140683509122057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10661932 memory=11580 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10661932 memory=740 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10661932 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251939 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10661932 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251940 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3628] ppid=3617 vsize=10661932 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3628/stat : 3628 (java) S 3617 3620 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414251941 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683081991712 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3629] ppid=3617 vsize=10661932 memory=780 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3629/stat : 3629 (java) S 3617 3620 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414251941 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683080938864 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3630] ppid=3617 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3630/stat : 3630 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414251943 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683079887184 140683523975067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3631] ppid=3617 vsize=10661932 memory=7013342048905618540 CPUtime=0.11 cores=0,2,4,6
/proc/3620/task/3631/stat : 3631 (java) R 3617 3620 2499 0 -1 4202560 934 0 0 0 11 0 0 0 20 0 15 0 414251943 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683078820560 140683505502065 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3632] ppid=3617 vsize=10661932 memory=5787219346483269989 CPUtime=0.1 cores=0,2,4,6
/proc/3620/task/3632/stat : 3632 (java) S 3617 3620 2499 0 -1 1077944384 674 0 0 0 10 0 0 0 20 0 15 0 414251943 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683077781744 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3633] ppid=3617 vsize=10661932 memory=4629539461233085814 CPUtime=0.18 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (java) S 3617 3620 2499 0 -1 1077944384 1211 0 0 0 18 0 0 0 20 0 15 0 414251943 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683076728944 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3634] ppid=3617 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3634/stat : 3634 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414251943 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683075676384 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3635] ppid=3617 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3635/stat : 3635 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251944 10917818368 15985 33554432000 4194304 4196468 140726234039680 140683074624688 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63940 KiB
[startup+1.5007 s]
/proc/loadavg: 1.44 1.38 1.40 3/228 3635
/proc/meminfo: memFree=29981676/32770624 swapFree=66945292/67108860
[pid=3620] ppid=3617 vsize=10663980 memory=75704 CPUtime=2 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 18505 0 0 0 193 7 0 0 20 0 15 0 414251938 10919915520 18926 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2665995 18926 3090 1 0 2628492 0
[pid=3620/tid=3622] ppid=3617 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) R 3617 3620 2499 0 -1 4202560 13035 0 0 0 143 5 0 0 20 0 15 0 414251938 10919915520 18926 33554432000 4194304 4196468 140726234039680 140683528188496 140683504232352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10919915520 18926 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10919915520 18926 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414251939 10919915520 18926 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414251939 10919915520 18926 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414251940 10919915520 18926 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
################
# More data... #
################
[startup+73.6006 s]
/proc/loadavg: 2.26 1.64 1.49 3/229 4506
/proc/meminfo: memFree=30203060/32770624 swapFree=66945304/67108860
[pid=3620] ppid=3617 vsize=10748324 memory=230600 CPUtime=77.5 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 42839 0 0 0 7724 26 0 0 20 0 16 0 414251938 11006283776 57650 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2687081 57650 3352 1 0 2647217 0
[pid=3620/tid=3622] ppid=3617 vsize=10748324 memory=780 CPUtime=1.87 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) S 3617 3620 2499 0 -1 1077944384 15306 0 0 0 180 7 0 0 20 0 16 0 414251938 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683528199344 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10748324 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10748324 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10748324 memory=4100 CPUtime=0.01 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 1228 0 0 0 1 0 0 0 20 0 16 0 414251940 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3628] ppid=3617 vsize=10748324 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3628/stat : 3628 (java) S 3617 3620 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414251941 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683081991776 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3629] ppid=3617 vsize=10748324 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3629/stat : 3629 (java) S 3617 3620 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414251941 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683080938880 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3630] ppid=3617 vsize=10748324 memory=804 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3630/stat : 3630 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414251943 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683079887184 140683523975067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3631] ppid=3617 vsize=10748324 memory=230600 CPUtime=1.53 cores=0,2,4,6
/proc/3620/task/3631/stat : 3631 (java) S 3617 3620 2499 0 -1 1077944384 5508 0 0 0 152 1 0 0 20 0 16 0 414251943 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683078834544 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3632] ppid=3617 vsize=10748324 memory=8112282956445269571 CPUtime=1.49 cores=0,2,4,6
/proc/3620/task/3632/stat : 3632 (java) S 3617 3620 2499 0 -1 1077944384 5780 0 0 0 148 1 0 0 20 0 16 0 414251943 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683077781744 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3633] ppid=3617 vsize=10748324 memory=5859535235326444939 CPUtime=0.84 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (java) S 3617 3620 2499 0 -1 1077944384 5113 0 0 0 82 2 0 0 20 0 16 0 414251943 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683076728944 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3634] ppid=3617 vsize=10748324 memory=-8961168018402230209 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3634/stat : 3634 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414251943 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683075676384 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3635] ppid=3617 vsize=10748324 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3635/stat : 3635 (java) S 3617 3620 2499 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 16 0 414251944 11006283776 57650 33554432000 4194304 4196468 140726234039680 140683074624688 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3636] ppid=3617 vsize=10748324 memory=1200 CPUtime=71.64 cores=0,2,4,6
/proc/3620/task/3636/stat : 3636 (java) R 3617 3620 2499 0 -1 4202560 8034 0 0 0 7153 11 0 0 20 0 16 0 414252127 11006283776 57650 33554432000 4194304 4196468 140726234039680 140682989584432 140683155520126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
Current children cumulated CPU time: 77.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 230600 KiB
[startup+74.4006 s]
/proc/loadavg: 2.24 1.65 1.49 3/229 4506
/proc/meminfo: memFree=30202936/32770624 swapFree=66945304/67108860
[pid=3620] ppid=3617 vsize=10748324 memory=230632 CPUtime=78.32 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 44111 0 0 0 7806 26 0 0 20 0 16 0 414251938 11006283776 57658 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2687081 57658 3352 1 0 2647217 0
[pid=3620/tid=3622] ppid=3617 vsize=10748324 memory=230600 CPUtime=1.87 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) S 3617 3620 2499 0 -1 1077944384 15306 0 0 0 180 7 0 0 20 0 16 0 414251938 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683528199344 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10748324 memory=230600 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10748324 memory=230600 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10748324 memory=19664 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10748324 memory=992 CPUtime=0.01 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 1228 0 0 0 1 0 0 0 20 0 16 0 414251940 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3628] ppid=3617 vsize=10748324 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3628/stat : 3628 (java) S 3617 3620 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414251941 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683081991776 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3629] ppid=3617 vsize=10748324 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3629/stat : 3629 (java) S 3617 3620 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414251941 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683080938880 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3630] ppid=3617 vsize=10748324 memory=230600 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3630/stat : 3630 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414251943 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683079887184 140683523975067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3631] ppid=3617 vsize=10748324 memory=281104805861632 CPUtime=1.53 cores=0,2,4,6
/proc/3620/task/3631/stat : 3631 (java) S 3617 3620 2499 0 -1 1077944384 5587 0 0 0 152 1 0 0 20 0 16 0 414251943 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683078834544 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3632] ppid=3617 vsize=10748324 memory=281104805199232 CPUtime=1.5 cores=0,2,4,6
/proc/3620/task/3632/stat : 3632 (java) S 3617 3620 2499 0 -1 1077944384 6402 0 0 0 149 1 0 0 20 0 16 0 414251943 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683077781744 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3633] ppid=3617 vsize=10748324 memory=288287757821034095 CPUtime=0.84 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (java) S 3617 3620 2499 0 -1 1077944384 5616 0 0 0 82 2 0 0 20 0 16 0 414251943 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683076728944 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3634] ppid=3617 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3634/stat : 3634 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414251943 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683075676384 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3635] ppid=3617 vsize=10748324 memory=7598824234097836114 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3635/stat : 3635 (java) S 3617 3620 2499 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 16 0 414251944 11006283776 57658 33554432000 4194304 4196468 140726234039680 140683074624688 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3636] ppid=3617 vsize=10748324 memory=17368 CPUtime=72.44 cores=0,2,4,6
/proc/3620/task/3636/stat : 3636 (java) R 3617 3620 2499 0 -1 4202560 8102 0 0 0 7233 11 0 0 20 0 16 0 414252127 11006283776 57658 33554432000 4194304 4196468 140726234039680 140682989592440 140683155805597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
Current children cumulated CPU time: 78.32 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 230632 KiB
[startup+74.8006 s]
/proc/loadavg: 2.24 1.65 1.49 3/229 4506
/proc/meminfo: memFree=30202936/32770624 swapFree=66945304/67108860
[pid=3620] ppid=3617 vsize=10748324 memory=230640 CPUtime=78.75 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 44628 0 0 0 7849 26 0 0 20 0 16 0 414251938 11006283776 57660 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2687081 57660 3352 1 0 2647217 0
[pid=3620/tid=3622] ppid=3617 vsize=10748324 memory=288230617509003574 CPUtime=1.87 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) S 3617 3620 2499 0 -1 1077944384 15306 0 0 0 180 7 0 0 20 0 16 0 414251938 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683528199344 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10748324 memory=16103658592930206 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10748324 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10748324 memory=2716 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10748324 memory=2708 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10748324 memory=1408 CPUtime=0.01 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 1228 0 0 0 1 0 0 0 20 0 16 0 414251940 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3628] ppid=3617 vsize=10748324 memory=2860 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3628/stat : 3628 (java) S 3617 3620 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414251941 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683081991776 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3629] ppid=3617 vsize=10748324 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3629/stat : 3629 (java) S 3617 3620 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414251941 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683080938880 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3630] ppid=3617 vsize=10748324 memory=19664 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3630/stat : 3630 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683079887184 140683523975067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3631] ppid=3617 vsize=10748324 memory=992 CPUtime=1.53 cores=0,2,4,6
/proc/3620/task/3631/stat : 3631 (java) S 3617 3620 2499 0 -1 1077944384 5609 0 0 0 152 1 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683078834544 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3632] ppid=3617 vsize=10748324 memory=2044 CPUtime=1.53 cores=0,2,4,6
/proc/3620/task/3632/stat : 3632 (java) S 3617 3620 2499 0 -1 1077944384 6888 0 0 0 152 1 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683077781744 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3633] ppid=3617 vsize=10748324 memory=1428 CPUtime=0.84 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (java) S 3617 3620 2499 0 -1 1077944384 5616 0 0 0 82 2 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683076728944 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3634] ppid=3617 vsize=10748324 memory=11580 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3634/stat : 3634 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683075676384 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3635] ppid=3617 vsize=10748324 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3635/stat : 3635 (java) S 3617 3620 2499 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 16 0 414251944 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683074624688 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3636] ppid=3617 vsize=10748324 memory=8317482817917895235 CPUtime=72.84 cores=0,2,4,6
/proc/3620/task/3636/stat : 3636 (java) R 3617 3620 2499 0 -1 4202560 8111 0 0 0 7273 11 0 0 20 0 16 0 414252127 11006283776 57660 33554432000 4194304 4196468 140726234039680 140682989592440 140683155519654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
Current children cumulated CPU time: 78.75 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 230640 KiB
[startup+75.0006 s]*
/proc/loadavg: 2.24 1.65 1.49 3/229 4506
/proc/meminfo: memFree=30202936/32770624 swapFree=66945304/67108860
[pid=3620] ppid=3617 vsize=10748324 memory=230640 CPUtime=78.96 cores=0,2,4,6
/proc/3620/stat : 3620 (java) S 3617 3620 2499 0 -1 1077944320 44628 0 0 0 7870 26 0 0 20 0 16 0 414251938 11006283776 57660 33554432000 4194304 4196468 140726234039680 140726234022224 140683523956471 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
/proc/3620/statm: 2687081 57660 3352 1 0 2647217 0
[pid=3620/tid=3622] ppid=3617 vsize=10748324 memory=7022364594140610616 CPUtime=1.87 cores=0,2,4,6
/proc/3620/task/3622/stat : 3622 (java) S 3617 3620 2499 0 -1 1077944384 15306 0 0 0 180 7 0 0 20 0 16 0 414251938 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683528199344 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3623] ppid=3617 vsize=10748324 memory=339 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3623/stat : 3623 (java) S 3617 3620 2499 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683131017872 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3624] ppid=3617 vsize=10748324 memory=4051465079157221024 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3624/stat : 3624 (java) S 3617 3620 2499 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683129965072 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3625] ppid=3617 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3625/stat : 3625 (java) S 3617 3620 2499 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683128912272 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3626] ppid=3617 vsize=10748324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3626/stat : 3626 (java) S 3617 3620 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414251939 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683127859472 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3627] ppid=3617 vsize=10748324 memory=140552503617152 CPUtime=0.01 cores=0,2,4,6
/proc/3620/task/3627/stat : 3627 (java) S 3617 3620 2499 0 -1 1077944384 1228 0 0 0 1 0 0 0 20 0 16 0 414251940 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683083045744 140683523967618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3628] ppid=3617 vsize=10748324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3628/stat : 3628 (java) S 3617 3620 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414251941 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683081991776 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3629] ppid=3617 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3629/stat : 3629 (java) S 3617 3620 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414251941 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683080938880 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3630] ppid=3617 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3630/stat : 3630 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683079887184 140683523975067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3631] ppid=3617 vsize=10748324 memory=0 CPUtime=1.53 cores=0,2,4,6
/proc/3620/task/3631/stat : 3631 (java) S 3617 3620 2499 0 -1 1077944384 5609 0 0 0 152 1 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683078834544 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3632] ppid=3617 vsize=10748324 memory=-1 CPUtime=1.53 cores=0,2,4,6
/proc/3620/task/3632/stat : 3632 (java) S 3617 3620 2499 0 -1 1077944384 6888 0 0 0 152 1 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683077781744 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3633] ppid=3617 vsize=10748324 memory=140552503617152 CPUtime=0.84 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (java) S 3617 3620 2499 0 -1 1077944384 5616 0 0 0 82 2 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683076728944 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3634] ppid=3617 vsize=10748324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3634/stat : 3634 (java) S 3617 3620 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414251943 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683075676384 140683523966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3635] ppid=3617 vsize=10748324 memory=140552503617152 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3635/stat : 3635 (java) S 3617 3620 2499 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 16 0 414251944 11006283776 57660 33554432000 4194304 4196468 140726234039680 140683074624688 140683523967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
[pid=3620/tid=3636] ppid=3617 vsize=10748324 memory=-1 CPUtime=73.05 cores=0,2,4,6
/proc/3620/task/3636/stat : 3636 (java) R 3617 3620 2499 0 -1 4202560 8111 0 0 0 7294 11 0 0 20 0 16 0 414252127 11006283776 57660 33554432000 4194304 4196468 140726234039680 140682989592440 140683155805561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24244224 140726234047499 140726234047602 140726234047602 140726234050511 0
Current children cumulated CPU time: 78.96 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 230640 KiB
Child status: 0
Real time (s): 75.065
CPU time (s): 79.0755
CPU user time (s): 78.7983
CPU system time (s): 0.277247
CPU usage (%): 105.343
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 230640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.7983
system time used= 0.277247
maximum resident set size= 235408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4685
involuntary context switches= 236
# summary of solver processes directly reported to runsolver:
# pid: 3620
# total CPU time (s): 79.0755
# total CPU user time (s): 78.7983
# total CPU system time (s): 0.277247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.46081 second user time and 0.695133 second system time
The end