2.39/1.89
2.39/1.89 AbsCon 2
2.63/1.91
3.29/2.20 Instance
3.29/2.20 name=instance-4390570-1568383116, framework=CSP
3.29/2.20
3.29/2.20 Loading variables...
3.63/2.27 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9c2696
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21cfe752
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6aca7c
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7763295e
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1563b0d8
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1772c9a9
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f09a38
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721bcd64
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16147696
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625c1198
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a49498
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e92bf41
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20681cbc
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321ef1c5
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d8e149
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c8eea8
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c364fbe
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23467ca9
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d098748
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e741e5
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1470df55
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a6be2f
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed393ab
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2decafd4
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78340c39
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b826a1
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b33e5c
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b526492
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fab7696
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@129c309b
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606cd99d
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77fe18
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36781516
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a436e98
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28eac291
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea8789b
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb8843d
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ecdeb42
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359584e5
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a5973f
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eabcfc0
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0d5cb9
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc2846d
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44414e94
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6133e1
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39696df3
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d11846
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6016469d
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d315d
4.01/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e366ecd
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f144012
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@699f4f98
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61cb5c5e
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26133ff8
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75137abb
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6526e84e
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7a0f4e
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4c5067
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cd927f
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c753ac
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb7dacb
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666fd06d
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b401b47
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f84584d
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2269b035
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1876896e
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e53c335
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58a8d5c6
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@85f2e90
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2abcb2c5
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b756e0b
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72198430
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57157f2c
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352d097c
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ccf195c
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13accaf3
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683e8f0a
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6936a6e3
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2553db7
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a630b
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac85f5f
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0036d5
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a9c367
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c10927
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dc90b57
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46278bc7
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b29e5df
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b4cdd
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf01454
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd11b6e
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f7c876
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61ace1ee
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e972b
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f1bcfe
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aa37659
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6595e123
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45df46df
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734f0d23
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27b0b62f
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e88432e
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f08f84
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3173486e
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d6261c5
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca37d1b
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72b53f23
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482912
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e75199b
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ecadc84
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e30ef51
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb64f75
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76fed5ae
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18061107
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68a39c82
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509a65d3
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0e20e1
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f43471
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ce7a9d
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582fae
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66018a4
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523cf744
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a77a83
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6c69ce
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@642a4c4e
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf136e2
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dafd0a9
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69fc223c
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5f6158
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d17e8fb
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73bec33e
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52402132
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1201b870
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7364e624
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e02c48
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@661ad4c7
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1618b959
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec957a
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22655f28
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c4c431
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef3aa7c
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1757c5
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4010a083
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b990772
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27846f59
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3b18d9
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47217b8c
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de92682
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc9baac
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d570483
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e06a874
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1550f8a1
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55a13bda
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed709d
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4fe162
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735a523b
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331e2e17
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eb2628
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9837f8
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff9ed78
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0a6fe5
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8db210
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716b171a
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244cb589
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc561ca
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a23b871
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6313aa90
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acb04e5
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a449ea5
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b5aad9
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f082dc
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@527d2046
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a4476d
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bae27d
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b81e4
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1830cb8f
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239654e0
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47584543
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c9ec3f3
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54448cd3
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46962f3b
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af40de0
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e92a08f
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1d66ca
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588d3bcb
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e18c2fa
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5508b6
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3184e
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea6690
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53797c0d
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e0f2ae
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7092731e
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713719f5
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65225ec9
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47e90e1
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bf21119
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68870923
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1871b4f
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa6ae62
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf5ae78
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ade4c49
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32e6b33c
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e1b1ddc
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f1f08a
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1c57c3
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb6eeab
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65219095
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1fa633
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c34e4ba
4.01/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b147edf
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469def8a
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f31f10d
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f0387e
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e04f831
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ca8ba7
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb01dcf
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2730188d
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bbf228d
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6baf30b5
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567af6b0
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9c6e8
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d72f2a
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d6e2e7
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1313dba9
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab02a7e
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db0c07f
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352a5020
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2277f465
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f6743e
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17122b8b
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17daba36
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42093f2e
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb9e76b
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681db825
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ba14e3
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348fa6c8
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4570f5f8
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a32da03
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40af2328
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bae0476
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26ca6d52
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bc8eadd
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c359875
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46771f7d
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e99bdd
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f2489
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1784b0cf
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a386f9b
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ab81b
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d341a8a
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696f455e
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f391745
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41473016
4.01/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51de37fd
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75f91df5
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271a62ce
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25165d32
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80c8731
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c5a81a
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0340da
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad52f4f
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f489f15
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee93d4
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3734d55f
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73728dff
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44fbc3e4
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17342728
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b99a177
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fe31152
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25aeeea7
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d3acde
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2db9ae
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6acbbf
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601a80ca
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324bf804
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0ee714
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485b62d3
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a691859
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ebd3b6
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454d38ff
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233af3e6
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab1769d
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4999d767
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5746a3d7
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2864704a
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddbbb28
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34941154
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff08bd
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61fb9e60
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e4129e
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7725f4b2
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39353a3e
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286c944d
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a14ffbd
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15058165
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24adf63d
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be8589
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738c72e5
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77417dc5
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c5a58
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73247c98
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39fc1050
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a17855a
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c301497
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f183400
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490aa957
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e5a8de
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c4b670
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b3146c
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dce7626
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ac10dc
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550ab419
4.01/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509646b
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ffdfd5
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4cbb5d
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9918b98
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b8427e
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60027daf
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c07958c
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dddd2f4
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2851f35f
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c824fa7
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6628cb92
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc0323d
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d2e394e
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f89353f
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5effc77e
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7c0fd
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec0018
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8574e9
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6892dfe5
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3c3232
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e17cbd
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54dec3ab
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a1b63c
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@504239ff
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6d42d
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fdcfd09
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e994ae5
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9b5cb
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696834a0
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@459084c8
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482f17c
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dc5f85
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ece7420
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741b6a39
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278c1a8d
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16567646
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ba95935
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb15224
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457b525b
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ddc1fe2
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ca27f8
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bee9f87
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5f7d4
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf61c8a
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a35959b
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c74380
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581274c6
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599f90e1
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5170f683
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2a344f
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b7fb23f
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326229a0
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75496277
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfb4034
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e005524
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d05ba4d
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475e77bd
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2840dc08
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afe674e
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5265ae19
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df2fbe8
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b128e
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfcdb5
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291f8bee
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f735f31
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6ef9da
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6b3f13
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6520fcbb
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a674d7d
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625512a9
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f44cac3
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42321ac4
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476a0e39
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5921f969
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9325a0
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3dc6d1
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b062ee1
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f5cdaaf
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747e273a
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a0841f1
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a731031
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26058fd
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12cb1a66
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b9e7de
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ed33e8
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5cc3be
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f84991
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290b5dd1
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@458fea4c
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8bed85
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a07a4ca
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289de98f
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289467b7
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63029897
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c37f43
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770479a5
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f043612
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f8c951
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4434c9
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3465f029
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a564937
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648622cd
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@356a2808
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eff9dd
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73149e73
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@87f4e97
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2304a9
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64761eba
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4a6f9
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@96d501b
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0c9332
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63033d9f
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66046cc6
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763636e5
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b790ac1
4.36/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286198df
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f0dd5e
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2755ebdf
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7512af21
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f95eb4b
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd25259
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c402e10
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72adc022
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d2ffd6
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510e7a69
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70031f7b
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f864fcc
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be542
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f3e7be6
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36508061
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45bb5472
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f130ee4
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e23db0e
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ecd9ca
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230e5237
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec31f0f
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2464ff15
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75936fc3
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a445a5
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b259292
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649fbac
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f8a41e
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66438cd6
4.36/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478e060
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25525a60
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5891b99d
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adc3af3
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da4ff68
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2794d7
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49543aa1
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77778177
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2232a8c5
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f4642f3
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5c959a
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb4d887
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a03fe3
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2aefc6
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513c090f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b41fda
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925ce7a
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6818043e
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71871783
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579d2c1
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78e0f824
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e94d799
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b6699
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd8323f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b8a62f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db9d9a9
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5503c065
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c416522
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc1faa6
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532c38cc
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c3c14f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bdb69b
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8bcf2f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ea2ed3
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5300dd5d
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d94bd9
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e68190
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee5fc0e
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d8b4fc
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3c3e1f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1623bf3f
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6375e5e4
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa87ee7
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3962e7bc
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5e608b
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bc89bf
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe97438
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b91ed1a
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d17812d
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c55fab
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4017a176
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a66768e
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14288119
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6427869c
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b1119e
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f4f3a9
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dc20b1
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a558dc
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2951579a
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e995feb
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117efa12
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530a71c9
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f6ffe0
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541b64af
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743548d2
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@512fcd4b
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a390eec
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c454897
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f57964d
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4661de18
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6537d850
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c621b0b
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c84a5
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d8d3d
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65611041
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e815183
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e1b38
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a21c830
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20070777
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e688234
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cf63a7
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca75224
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1000e9b8
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108d4b8e
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5646afe1
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42d67af9
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad2dd3
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ce4c46
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b4c8f6
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f83d85
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c901f14
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e2d750
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f2e6b
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64dda3f5
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e2f172b
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3462463
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53848341
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd31ff
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5483827c
4.36/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c208afe
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637bc980
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bdb21d
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d51709c
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d18b60d
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37cafbb7
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b8c5cd4
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572ad22a
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c943d1d
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a96bd8
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537b0d38
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb17ba
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ca7d4a
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd2cfdc
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29197522
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3eda89
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f6c0c31
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610e5b6c
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@154fa520
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6776cbbc
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf83a1a
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@189c8c00
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64447eb
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f22e27
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5498d48e
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b98d921
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744fd268
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e744b9a
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289b6bdf
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@210a3320
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b1ebb0
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@506987c5
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11465898
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce82112
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e69997d
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dc27ac9
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5685cc93
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142925d
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75da08bc
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac77430
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f488085
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3197346a
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ced9577
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b525f7
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de0825e
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c6ef8a
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6454c3a3
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3bf7e1
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d98770
4.36/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3887b5e8
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265be79e
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273ea9f5
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4432fe36
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbe2fed
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25131461
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c031880
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b595b21
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e31151
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dbf94b
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239304df
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3e37e1
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab4a88a
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3155a3af
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fa369a
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f4dff5
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77f8291c
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa35932
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4d6c1b
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2690866d
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233031a2
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4b3e3e
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d4b96f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb86a9d
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e82362
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301b752d
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccc95df
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135fec9f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfcbe0d
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b024fc8
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e8e486
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631da5b
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2896b553
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a809e69
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef2f64f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59968f39
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c3a1480
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8e6d7b
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a3325f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5008bd3a
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e2549b
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e1726e2
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289422e4
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b868cf
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35aaa44e
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ababa62
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77de1227
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a812022
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283811ce
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@618c686f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2507caee
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf80c9f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25484cca
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492b4163
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8af4f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9e4d6f
4.36/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63857b3a
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba9d333
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704f6ce2
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ba8352
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7645af73
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b9c178
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6952f950
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4930441a
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aded736
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@292de878
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604f4a76
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c5c50a
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d42c78
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fb248e
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9d2b03
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a92210
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5860986e
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a63b217
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7edbee26
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4887
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@218b16ef
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e79bfc
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3183c2
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6629fe6
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55920206
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32575ca8
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708d52db
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5b55d2
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d0f4c0
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed1c7e2
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2835ed01
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e4b03
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a181c4
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790f3fdd
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7fe6fc
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753485e8
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@192fb024
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109237a0
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2602ac10
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217fa03a
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b7035a
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658ca800
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb267ad
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1097f63e
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b5e635
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54aff8fa
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fd930d4
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794c85ed
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77a1a3b
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36dc5ae1
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e667466
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@472afd0b
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73541443
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d7b3172
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d9b5d
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c8f9a
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be00d8c
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dbffd98
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4837e39e
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33afb30d
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7720d151
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1cc43b
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4892e8fb
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491cde3e
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c856d8
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a43396
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb0d086
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478af658
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d32cf5e
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173f1e62
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98b3615
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59871312
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cdf6b9
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183af604
4.36/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1549d300
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bfe034
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7412e0fd
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@111b22b4
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aa38b1a
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8f4b23
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393c5b2f
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4545a3a7
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eee8ae3
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a72b4b9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2724a991
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49010327
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a07222f
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501d209a
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e223fc
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83af466
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11d622c9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb2c383
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fdf3a44
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3269c84f
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17869766
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b272c1
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6c905b
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b4df746
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9a0764
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f49c82
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad4e3f3
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37920734
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772b2145
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f44cc75
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2704a13e
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d36536
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c06ab9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c147bc3
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b5417f
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367e4af2
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@baa486a
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a9f326
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57cc2df6
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6ed326
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2285e38c
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6317cb33
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cfadfe1
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2a33a8
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b20268
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cc8512
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223fc590
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b511a35
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7f163f
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a9d3fba
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c015bf9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261559dc
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ef85f1
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@471cb87d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f53f66
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244db9c9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76236927
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386facfb
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220611ad
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38362cd2
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c71b59d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428b06aa
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f27c584
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59106a47
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd12d5e
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614c2104
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e80bc
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da7df63
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b195910
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9da3610
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d10a21d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62d7348d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cee17
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d2f0a57
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27940d67
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d4e6da1
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@186242f9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bae1c4e
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada71cf
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e80aa70
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd1cccb
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b0f806
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a62b0d8
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eeb9c0
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62eda5e0
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49761dac
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad6aca0
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259b7aae
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414d8464
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fab032d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303e77d3
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c06544d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd738c
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2650ed7a
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0e02a4
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e5d1b9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691373e2
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183f77b5
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fa646ea
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b2ef94
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f88792
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2e7612
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533a8866
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d0aad
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@677f9b71
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15bad609
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645bf6b1
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10442b56
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76d913b9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79688432
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e61f68b
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e59574
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495e48e9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564227e8
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c5d3ca
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100361ac
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bea153c
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc4ef81
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18525e16
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bae27e9
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15edd64a
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404c4b8
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1c5d00
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e8353c
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468716b
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f06026e
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44475b0d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104a196d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ded587
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbfafb1
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e435b8c
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@112001b4
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adcbf68
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d643775
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647daccd
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b8f80a
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a61a0b
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e29e063
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515d389c
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714ecc5a
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3802b67d
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67921699
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550b7fe8
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b9c1725
4.36/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cbfae9
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395c90db
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61efa976
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a38ada4
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71bcb1f4
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1069a8e1
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498e574e
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20634081
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d238631
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1efc27
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7fa132
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf9d082
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550cac83
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6ad681
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fa112a2
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7096e2b8
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67671d1
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fb64d8
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297290ce
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb86e4b
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163d5017
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619715f2
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a1d69d
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b764f45
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d0684f9
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@298a5e74
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adc5946
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b2791f
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52be1eff
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dcc74f8
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662aceae
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f53bcf
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d5dca09
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d1e06d1
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62dbcfb4
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1123ec
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc5021f
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d454879
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ea5bad
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3edd7015
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac4c8a7
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41302d4b
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346cf670
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25cf894a
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52079e37
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43100229
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75635d92
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efa7f5c
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d14768
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3714205d
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82401d
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3a8f72
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@703a4537
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e3d820
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795d1d1f
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74023c04
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59337afc
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402b87bf
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f36b71
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fba38e
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58eeccf0
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17d03574
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d96e40a
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a9a955
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0f4d6
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7985cad2
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530c1f75
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ae76fc
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a0a02e
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b52da7
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a31e29
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d28009
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6288da64
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b51665
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dabf63
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2280a0d2
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1a17a0
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0d57d9
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f24ffcf
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6535c6cb
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b968387
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525b4dc1
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ba6fe6
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270ee256
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11933fc4
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72665a34
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de82cd2
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f44fe9a
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c61d72e
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160ddf4c
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd12fcc
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172e874d
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2680cc4b
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24251a8b
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f5eacb
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25442eb9
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165aaad8
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77713ac3
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b17a77
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e7ed20
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b6f4d07
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29764d2e
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0d3efa
4.36/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213b68f0
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d353c6
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49476095
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66c19b92
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289a9bfd
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608c260f
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec35799
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c58231c
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902685b
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@170e05cd
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd3b2fd
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbc39f
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cd816b
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7088b5
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a84f73
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b2988c
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d919a7a
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6440990c
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a25a221
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532dae2d
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4d3916
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293a7126
4.36/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fb1ba9
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8733b29
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be30958
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7ec900
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b59910
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38745b19
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283eaec8
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47212b44
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbcf2b5
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4808dd8
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a66c83
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113ebc05
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f322e
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27299a7d
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641120
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bff7d38
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7b90c8
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@185dc726
4.36/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4a3fe
4.74/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a3b1c4
4.74/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151639a7
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77493ee8
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f1d71e
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ae5dfe
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be7ba5
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411fb4fb
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108f76c2
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bbe7a8
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58cf56d
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcce48d
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66741ca7
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68517e7
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495c9aaa
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32693dbe
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4966e7ad
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cef16e
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481aaba7
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4993530b
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19710233
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744f30e
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c705bbb
4.74/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6fd356
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41881976
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@335d24c
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ffc24f
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513d5a65
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47ea2cbf
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ace3743
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acbf89a
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d68eb81
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614a549f
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e93aa1
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741efef5
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78cd411f
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211f5391
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109e9527
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde22e
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe45ffc
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76faf5b2
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0e9401
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce3c214
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742c0993
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471cb3e
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe4bfa3
4.74/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216682b0
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282b488
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e9ba9a
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f155e0a
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a5ae1a
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40766271
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27da5b17
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6565ab97
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c25ea63
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9ea26a
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d52089
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4032ebe8
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6eb4c5
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6afabbf8
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fce5cbe
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7a7719
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26372ae6
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b85537c
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9902e
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bb3bfb
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ea9272
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ca257a2
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26a6854b
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1797e1f3
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68ecdd53
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6724a2
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cefcfb4
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f8018d
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f66c79b
4.74/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddb305
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bb0304
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbe2665
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287f6137
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac752f0
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5dc026
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca707dd
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a2b7a
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36434381
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a0520
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287bfb59
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cfddb4f
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58984eae
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c52ffbe
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb1189
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f9be18
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c37783
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b36517e
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641850
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8ab57a
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c49150d
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7591a67d
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416996fc
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5059a3
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746b4213
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0b7bed
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf54d4a
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b442049
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f95729
4.74/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6fd09c
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bafb8b4
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707d948e
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702f4cda
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e37378a
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4de9c5
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e647a2c
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a48a12f
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abac7af
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d9ab54
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@817b04f
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43da3992
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46908a6c
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f2b7c77
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4823066c
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0456c9
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34882a5a
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701e8c4c
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23597e60
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dd2fe7
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2d15d5
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f975aef
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ec9c7f
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e81ac16
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58869328
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6107508
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d0d
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4124d52
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76984393
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f24d43c
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2405f5
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0cd115
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b8b8d
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36760b28
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9f59d2
4.74/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418bdd04
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bb67d2
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bbf4de
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e9958ef
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542e9f8
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb17f90
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47bc445a
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206f3554
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b68d6f0
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@954c771
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742afdd7
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5baf83
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a49017
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ab62f9
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67aa2eb6
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@594ac6db
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1baaf4d4
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4026e893
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c976749
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a9c290
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6613a9be
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3911da28
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1a91ea
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5359c6ab
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@815550
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaff0e
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691a659d
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf8ec4e
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4bafa9
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f13fc8
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3ed338
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32ffcf09
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ff0cf44
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1b3f8f
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59976d2a
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d6c322f
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f30d599
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbcbf1a
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb1e945
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a999ace
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0724d3
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429357b
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49140f46
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@226dd8bd
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8c41d1d
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ededca2
4.74/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d606b41
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752a9bda
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5a18eb
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c08cb56
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60bc6c16
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce44a9e
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e95d9a
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac5cf3f
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51159240
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6050a4
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20bb57b7
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60705772
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d541abd
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6456e4ff
4.74/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79caecdb
5.32/2.83
5.32/2.83
5.32/2.83 Domains
5.32/2.83 nTypes=2, nValues=7400, sizes=[2#1000,27#200]
5.32/2.84 Variables
5.32/2.84 count=1200, degrees=[2#200,3#5,4#5,5#6...70#2,71#2,72#3,73#61]
5.32/2.84 Constraints
5.32/2.84 count=1419, nSpecific=1419, arities=[2#199,3#396,5#392,6#200...196#1,197#2,198#1,200#6]
5.32/2.84 distribution=[CardinalityConstant#1,CtrExtensionCT-Table#200,SumSimpleGE#231,SumSimpleLE#987]
5.32/2.84 tables=[27#200], nTotalTuples=5400
5.32/2.84 nExtStructures=(1,shared:199)
5.32/2.84 wck=0.972, cpu=2.794, mem=89M934
5.32/2.87 Solver SolverBacktrack being built...
5.32/2.87
5.57/2.91
5.57/2.91 Solver
5.57/2.91 guaranteedGAC=true
5.57/2.91 wck=1.048, cpu=2.867, mem=124M363
5.57/2.94
5.57/2.94 Preprocessing
5.57/2.94 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.57/2.94 wck=0.033, cpu=2.903, mem=127M6
5.57/2.94
6.19/3.17 num=0, depth=117..145, filters=1409, wck=0.262, mem=127M6
6.19/3.17 decisions=161, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
6.19/3.17 nFilterCalls=2555, avgTableProportion=0.9629629629630088, avgTableSize=26.0
6.19/3.17
6.48/3.24 num=1, depth=72..82, filters=3505, wck=0.326, mem=127M6
6.48/3.24 decisions=255, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
6.48/3.24 nFilterCalls=3628, avgTableProportion=0.9629629629630201, avgTableSize=26.0
6.48/3.24
6.80/3.30 num=2, depth=149..161, filters=4197, wck=0.392, mem=127M6
6.80/3.30 decisions=524, wrong=80, backtracks=57, failedAssignments=33, nogoods=23
6.80/3.30 nFilterCalls=3950, avgTableProportion=0.9629629629630223, avgTableSize=26.0
6.80/3.30
6.80/3.36 num=3, depth=152..162, filters=4765, wck=0.449, mem=127M6
6.80/3.36 decisions=787, wrong=132, backtracks=105, failedAssignments=46, nogoods=25
6.80/3.36 nFilterCalls=4256, avgTableProportion=0.9629629629630239, avgTableSize=26.0
6.80/3.36
7.10/3.41 num=4, depth=79..150, filters=7570, wck=0.501, mem=127M6
7.10/3.41 decisions=987, wrong=161, backtracks=127, failedAssignments=60, nogoods=32
7.10/3.41 nFilterCalls=5707, avgTableProportion=0.9629629629629142, avgTableSize=26.0
7.10/3.41
7.10/3.45 num=5, depth=88..130, filters=8079, wck=0.537, mem=127M6
7.10/3.45 decisions=1169, wrong=192, backtracks=146, failedAssignments=76, nogoods=37
7.10/3.45 nFilterCalls=6001, avgTableProportion=0.9629629629628984, avgTableSize=26.0
7.10/3.45
7.10/3.49 num=6, depth=90..121, filters=8902, wck=0.576, mem=127M6
7.10/3.49 decisions=1359, wrong=232, backtracks=176, failedAssignments=93, nogoods=43
7.10/3.49 nFilterCalls=6449, avgTableProportion=0.9629629629628772, avgTableSize=26.0
7.10/3.49
7.21/3.52 num=7, depth=98..110, filters=9423, wck=0.614, mem=127M6
7.21/3.52 decisions=1561, wrong=284, backtracks=224, failedAssignments=112, nogoods=45
7.21/3.52 nFilterCalls=6721, avgTableProportion=0.9629629629628657, avgTableSize=26.0
7.21/3.52
7.21/3.56 num=8, depth=101..116, filters=10082, wck=0.655, mem=127M6
7.21/3.56 decisions=1765, wrong=331, backtracks=262, failedAssignments=133, nogoods=49
7.21/3.56 nFilterCalls=7075, avgTableProportion=0.962962962962852, avgTableSize=26.0
7.21/3.56
7.42/3.71 num=9, depth=111..237, filters=12232, wck=0.79, mem=127M6
7.42/3.71 decisions=2064, wrong=364, backtracks=278, failedAssignments=156, nogoods=62
7.42/3.71 nFilterCalls=8804, avgTableProportion=0.9629629629628317, avgTableSize=26.0
7.42/3.71
7.55/3.84 num=10, depth=108..251, filters=13657, wck=0.929, mem=127M6
7.55/3.84 decisions=2426, wrong=421, backtracks=318, failedAssignments=181, nogoods=77
7.55/3.84 nFilterCalls=10175, avgTableProportion=0.9629629629629219, avgTableSize=26.0
7.55/3.84
7.67/3.98 num=11, depth=115..260, filters=14601, wck=1.068, mem=127M6
7.67/3.98 decisions=2745, wrong=452, backtracks=322, failedAssignments=209, nogoods=91
7.67/3.98 nFilterCalls=11392, avgTableProportion=0.9629629629629839, avgTableSize=26.0
7.67/3.98
7.94/4.11 num=12, depth=163..257, filters=15912, wck=1.2, mem=127M6
7.94/4.11 decisions=3074, wrong=490, backtracks=329, failedAssignments=240, nogoods=94
7.94/4.11 nFilterCalls=12559, avgTableProportion=0.9629629629630321, avgTableSize=26.0
7.94/4.11
8.05/4.22 num=13, depth=239..252, filters=17693, wck=1.311, mem=127M6
8.05/4.22 decisions=3481, wrong=573, backtracks=400, failedAssignments=274, nogoods=97
8.05/4.22 nFilterCalls=13375, avgTableProportion=0.9629629629630607, avgTableSize=26.0
8.05/4.22
8.15/4.33 num=14, depth=244..252, filters=19308, wck=1.418, mem=127M6
8.15/4.33 decisions=3897, wrong=659, backtracks=476, failedAssignments=311, nogoods=99
8.15/4.33 nFilterCalls=14024, avgTableProportion=0.9629629629630811, avgTableSize=26.0
8.15/4.33
8.25/4.44 num=15, depth=244..252, filters=21040, wck=1.527, mem=127M6
8.25/4.44 decisions=4329, wrong=753, backtracks=560, failedAssignments=352, nogoods=102
8.25/4.44 nFilterCalls=14698, avgTableProportion=0.9629629629631005, avgTableSize=26.0
8.25/4.44
8.35/4.55 num=16, depth=243..252, filters=22888, wck=1.641, mem=127M6
8.35/4.55 decisions=4787, wrong=857, backtracks=648, failedAssignments=397, nogoods=104
8.35/4.55 nFilterCalls=15415, avgTableProportion=0.9629629629631191, avgTableSize=26.0
8.35/4.55
8.45/4.69 num=17, depth=196..326, filters=24365, wck=1.782, mem=127M6
8.45/4.69 decisions=5262, wrong=955, backtracks=697, failedAssignments=447, nogoods=106
8.45/4.69 nFilterCalls=16614, avgTableProportion=0.9629629629631468, avgTableSize=26.0
8.45/4.69
8.85/4.95 num=18, depth=321..345, filters=30539, wck=2.039, mem=127M6
8.85/4.95 decisions=5777, wrong=1044, backtracks=744, failedAssignments=502, nogoods=112
8.85/4.95 nFilterCalls=20284, avgTableProportion=0.962962962963211, avgTableSize=26.0
8.85/4.95
9.05/5.09 num=19, depth=214..274, filters=33522, wck=2.179, mem=127M6
9.05/5.09 decisions=6276, wrong=1166, backtracks=807, failedAssignments=563, nogoods=119
9.05/5.09 nFilterCalls=21884, avgTableProportion=0.9629629629632322, avgTableSize=26.0
9.05/5.09
9.30/5.22 num=20, depth=183..271, filters=37426, wck=2.308, mem=127M6
9.30/5.22 decisions=6770, wrong=1303, backtracks=888, failedAssignments=630, nogoods=125
9.30/5.22 nFilterCalls=23851, avgTableProportion=0.9629629629632546, avgTableSize=26.0
9.30/5.22
9.41/5.35 num=21, depth=217..227, filters=40905, wck=2.439, mem=127M6
9.41/5.35 decisions=7283, wrong=1450, backtracks=996, failedAssignments=704, nogoods=129
9.41/5.35 nFilterCalls=26343, avgTableProportion=0.9629629629632779, avgTableSize=26.0
9.41/5.35
9.61/5.57 num=22, depth=225..344, filters=44635, wck=2.664, mem=127M6
9.61/5.57 decisions=8017, wrong=1652, backtracks=1140, failedAssignments=785, nogoods=135
9.61/5.57 nFilterCalls=28656, avgTableProportion=0.962962962963296, avgTableSize=26.0
9.61/5.57
9.82/5.72 num=23, depth=229..267, filters=53034, wck=2.807, mem=127M6
9.82/5.72 decisions=8703, wrong=1872, backtracks=1350, failedAssignments=874, nogoods=142
9.82/5.72 nFilterCalls=33092, avgTableProportion=0.9629629629633236, avgTableSize=26.0
9.82/5.72
9.96/5.87 num=24, depth=217..238, filters=57584, wck=2.958, mem=127M6
9.96/5.87 decisions=9590, wrong=2204, backtracks=1697, failedAssignments=972, nogoods=144
9.96/5.87 nFilterCalls=35144, avgTableProportion=0.9629629629633341, avgTableSize=26.0
9.96/5.87
10.17/6.05 num=25, depth=216..352, filters=63340, wck=3.143, mem=127M6
10.17/6.05 decisions=10338, wrong=2405, backtracks=1853, failedAssignments=1080, nogoods=153
10.17/6.05 nFilterCalls=38895, avgTableProportion=0.9629629629633503, avgTableSize=26.0
10.17/6.05
10.36/6.22 num=26, depth=209..294, filters=68176, wck=3.305, mem=127M6
10.36/6.22 decisions=11091, wrong=2654, backtracks=2031, failedAssignments=1199, nogoods=160
10.36/6.22 nFilterCalls=42355, avgTableProportion=0.9629629629633626, avgTableSize=26.0
10.36/6.22
10.56/6.44 num=27, depth=209..404, filters=72334, wck=3.529, mem=129M648
10.56/6.44 decisions=12055, wrong=2939, backtracks=2258, failedAssignments=1330, nogoods=172
10.56/6.44 nFilterCalls=44825, avgTableProportion=0.9629629629633703, avgTableSize=26.0
10.56/6.44
10.66/6.59 num=28, depth=208..224, filters=76540, wck=3.676, mem=129M648
10.66/6.59 decisions=12881, wrong=3246, backtracks=2501, failedAssignments=1474, nogoods=174
10.66/6.59 nFilterCalls=47474, avgTableProportion=0.9629629629633776, avgTableSize=26.0
10.66/6.59
10.86/6.74 num=29, depth=201..215, filters=80292, wck=3.828, mem=129M648
10.86/6.74 decisions=13792, wrong=3601, backtracks=2797, failedAssignments=1632, nogoods=176
10.86/6.74 nFilterCalls=49482, avgTableProportion=0.9629629629633827, avgTableSize=26.0
10.86/6.74
11.76/7.62 num=30, depth=208..430, filters=93111, wck=4.709, mem=129M648
11.76/7.62 decisions=14822, wrong=3908, backtracks=3065, failedAssignments=1806, nogoods=184
11.76/7.62 nFilterCalls=57515, avgTableProportion=0.9629629629633993, avgTableSize=26.0
11.76/7.62
12.46/8.39 num=31, depth=227..443, filters=102615, wck=5.484, mem=129M648
12.46/8.39 decisions=15857, wrong=4224, backtracks=3294, failedAssignments=1997, nogoods=207
12.46/8.39 nFilterCalls=64667, avgTableProportion=0.9629629629634107, avgTableSize=26.0
12.46/8.39
13.09/8.94 num=32, depth=231..420, filters=111863, wck=6.027, mem=129M648
13.09/8.94 decisions=17019, wrong=4621, backtracks=3590, failedAssignments=2208, nogoods=217
13.09/8.94 nFilterCalls=71028, avgTableProportion=0.9629629629634188, avgTableSize=26.0
13.09/8.94
13.69/9.54 num=33, depth=220..437, filters=120787, wck=6.63, mem=129M648
13.69/9.54 decisions=18276, wrong=5046, backtracks=3922, failedAssignments=2440, nogoods=235
13.69/9.54 nFilterCalls=77901, avgTableProportion=0.9629629629634261, avgTableSize=26.0
13.69/9.54
13.89/9.75 num=34, depth=199..219, filters=126541, wck=6.839, mem=129M648
13.89/9.75 decisions=19584, wrong=5600, backtracks=4373, failedAssignments=2695, nogoods=238
13.89/9.75 nFilterCalls=80783, avgTableProportion=0.9629629629634288, avgTableSize=26.0
13.89/9.75
14.09/9.98 num=35, depth=192..216, filters=135957, wck=7.067, mem=129M648
14.09/9.98 decisions=21035, wrong=6227, backtracks=4932, failedAssignments=2976, nogoods=240
14.09/9.98 nFilterCalls=86926, avgTableProportion=0.962962962963434, avgTableSize=26.0
14.09/9.98
15.49/11.34 num=36, depth=190..471, filters=154244, wck=8.425, mem=129M648
15.49/11.34 decisions=22264, wrong=6638, backtracks=5267, failedAssignments=3285, nogoods=273
15.49/11.34 nFilterCalls=100526, avgTableProportion=0.9629629629634432, avgTableSize=26.0
15.49/11.34
18.59/14.45 num=37, depth=356..381, filters=192078, wck=11.544, mem=129M648
18.59/14.45 decisions=23804, wrong=7228, backtracks=5688, failedAssignments=3625, nogoods=278
18.59/14.45 nFilterCalls=130314, avgTableProportion=0.9629629629634566, avgTableSize=26.0
18.59/14.45
18.99/14.82 num=38, depth=217..364, filters=198148, wck=11.908, mem=129M648
18.99/14.82 decisions=25378, wrong=7840, backtracks=6235, failedAssignments=3999, nogoods=282
18.99/14.82 nFilterCalls=133818, avgTableProportion=0.9629629629634577, avgTableSize=26.0
18.99/14.82
19.30/15.18 num=39, depth=327..343, filters=206142, wck=12.265, mem=129M648
19.30/15.18 decisions=27016, wrong=8494, backtracks=6829, failedAssignments=4410, nogoods=287
19.30/15.18 nFilterCalls=139008, avgTableProportion=0.9629629629631564, avgTableSize=26.0
19.30/15.18
19.69/15.56 num=40, depth=319..330, filters=214833, wck=12.646, mem=129M648
19.69/15.56 decisions=28859, wrong=9254, backtracks=7506, failedAssignments=4862, nogoods=292
19.69/15.56 nFilterCalls=143856, avgTableProportion=0.9629629629626777, avgTableSize=26.0
19.69/15.56
20.09/15.95 num=41, depth=276..307, filters=220590, wck=13.044, mem=129M648
20.09/15.95 decisions=30751, wrong=10061, backtracks=8261, failedAssignments=5359, nogoods=296
20.09/15.95 nFilterCalls=147285, avgTableProportion=0.9629629629623581, avgTableSize=26.0
20.09/15.95
20.50/16.36 num=42, depth=250..266, filters=227751, wck=13.446, mem=129M648
20.50/16.36 decisions=32759, wrong=10938, backtracks=9089, failedAssignments=5906, nogoods=301
20.50/16.36 nFilterCalls=151308, avgTableProportion=0.9629629629620016, avgTableSize=26.0
20.50/16.36
20.90/16.79 num=43, depth=182..218, filters=235787, wck=13.883, mem=129M648
20.90/16.79 decisions=34969, wrong=11950, backtracks=10030, failedAssignments=6508, nogoods=307
20.90/16.79 nFilterCalls=155631, avgTableProportion=0.9629629629616391, avgTableSize=26.0
20.90/16.79
21.40/17.20 num=44, depth=146..175, filters=243031, wck=14.294, mem=129M648
21.40/17.20 decisions=37007, wrong=12894, backtracks=10916, failedAssignments=7170, nogoods=312
21.40/17.20 nFilterCalls=159578, avgTableProportion=0.9629629629613252, avgTableSize=26.0
21.40/17.20
21.90/17.73 num=45, depth=112..179, filters=254438, wck=14.816, mem=129M648
21.90/17.73 decisions=39732, wrong=14198, backtracks=12085, failedAssignments=7898, nogoods=321
21.90/17.73 nFilterCalls=165769, avgTableProportion=0.962962962960863, avgTableSize=26.0
21.90/17.73
22.50/18.31 num=46, depth=95..172, filters=269430, wck=15.397, mem=129M648
22.50/18.31 decisions=42477, wrong=15521, backtracks=13221, failedAssignments=8699, nogoods=327
22.50/18.31 nFilterCalls=176409, avgTableProportion=0.9629629629601445, avgTableSize=26.0
22.50/18.31
23.00/18.87 num=47, depth=84..110, filters=279302, wck=15.965, mem=129M648
23.00/18.87 decisions=45413, wrong=16946, backtracks=14515, failedAssignments=9580, nogoods=334
23.00/18.87 nFilterCalls=182308, avgTableProportion=0.9629629629597823, avgTableSize=26.0
23.00/18.87
23.70/19.55 num=48, depth=81..97, filters=294087, wck=16.644, mem=129M648
23.70/19.55 decisions=48854, wrong=18624, backtracks=16060, failedAssignments=10550, nogoods=341
23.70/19.55 nFilterCalls=191963, avgTableProportion=0.9629629629592374, avgTableSize=26.0
23.70/19.55
24.60/20.47 num=49, depth=81..373, filters=322465, wck=17.558, mem=129M648
24.60/20.47 decisions=53083, wrong=20587, backtracks=17830, failedAssignments=11617, nogoods=348
24.60/20.47 nFilterCalls=209250, avgTableProportion=0.9629629629583876, avgTableSize=26.0
24.60/20.47
25.40/21.25 num=50, depth=82..97, filters=339427, wck=18.344, mem=129M648
25.40/21.25 decisions=57225, wrong=22614, backtracks=19693, failedAssignments=12790, nogoods=355
25.40/21.25 nFilterCalls=217376, avgTableProportion=0.9629629629580347, avgTableSize=26.0
25.40/21.25
26.21/22.04 num=51, depth=81..98, filters=352863, wck=19.133, mem=132M291
26.21/22.04 decisions=61295, wrong=24607, backtracks=21547, failedAssignments=14081, nogoods=360
26.21/22.04 nFilterCalls=225261, avgTableProportion=0.9629629629577168, avgTableSize=26.0
26.21/22.04
27.10/23.00 num=52, depth=78..105, filters=385214, wck=20.09, mem=132M291
27.10/23.00 decisions=66183, wrong=27009, backtracks=23799, failedAssignments=15501, nogoods=366
27.10/23.00 nFilterCalls=248996, avgTableProportion=0.9629629629568811, avgTableSize=26.0
27.10/23.00
29.11/25.00 num=53, depth=82..430, filters=478944, wck=22.092, mem=132M291
29.11/25.00 decisions=73443, wrong=30437, backtracks=26749, failedAssignments=17063, nogoods=377
29.11/25.00 nFilterCalls=303876, avgTableProportion=0.96296296295848, avgTableSize=26.0
29.11/25.00
31.72/27.54 num=54, depth=213..260, filters=582762, wck=24.634, mem=132M291
31.72/27.54 decisions=80758, wrong=33987, backtracks=29642, failedAssignments=18781, nogoods=383
31.72/27.54 nFilterCalls=369133, avgTableProportion=0.9629629629619404, avgTableSize=26.0
31.72/27.54
35.32/31.04 num=55, depth=216..417, filters=669793, wck=28.131, mem=132M291
35.32/31.04 decisions=88969, wrong=37899, backtracks=33035, failedAssignments=20671, nogoods=397
35.32/31.04 nFilterCalls=419497, avgTableProportion=0.962962962963875, avgTableSize=26.0
35.32/31.04
39.63/35.37 num=56, depth=85..400, filters=768794, wck=32.464, mem=132M291
39.63/35.37 decisions=97793, wrong=42134, backtracks=36576, failedAssignments=22750, nogoods=410
39.63/35.37 nFilterCalls=481912, avgTableProportion=0.9629629629657113, avgTableSize=26.0
39.63/35.37
44.53/40.24 num=57, depth=86..333, filters=866100, wck=37.333, mem=132M291
44.53/40.24 decisions=106268, wrong=46228, backtracks=40179, failedAssignments=25037, nogoods=419
44.53/40.24 nFilterCalls=548662, avgTableProportion=0.9629629629667663, avgTableSize=26.0
44.53/40.24
49.85/45.56 num=58, depth=86..316, filters=977467, wck=42.654, mem=132M291
49.85/45.56 decisions=115738, wrong=50826, backtracks=44271, failedAssignments=27553, nogoods=424
49.85/45.56 nFilterCalls=626326, avgTableProportion=0.9629629629609482, avgTableSize=26.0
49.85/45.56
53.95/49.69 num=59, depth=226..333, filters=1069702, wck=46.778, mem=132M291
53.95/49.69 decisions=126855, wrong=56236, backtracks=48878, failedAssignments=30321, nogoods=433
53.95/49.69 nFilterCalls=686854, avgTableProportion=0.9629629629573262, avgTableSize=26.0
53.95/49.69
59.87/55.57 num=60, depth=199..221, filters=1261759, wck=52.66, mem=134M933
59.87/55.57 decisions=138092, wrong=61753, backtracks=53899, failedAssignments=33365, nogoods=440
59.87/55.57 nFilterCalls=818173, avgTableProportion=0.9629629629513106, avgTableSize=26.0
59.87/55.57
67.68/63.30 num=61, depth=178..268, filters=1587441, wck=60.392, mem=134M933
67.68/63.30 decisions=150699, wrong=67964, backtracks=58696, failedAssignments=36714, nogoods=450
67.68/63.30 nFilterCalls=1043800, avgTableProportion=0.9629629629445092, avgTableSize=26.0
67.68/63.30
71.78/67.44 num=62, depth=182..217, filters=1717653, wck=64.526, mem=134M933
71.78/67.44 decisions=162276, wrong=73657, backtracks=64061, failedAssignments=40398, nogoods=462
71.78/67.44 nFilterCalls=1130830, avgTableProportion=0.9629629629426112, avgTableSize=26.0
71.78/67.44
74.08/69.77 num=63, depth=190..220, filters=1797925, wck=66.858, mem=134M933
74.08/69.77 decisions=177518, wrong=81181, backtracks=70933, failedAssignments=44450, nogoods=467
74.08/69.77 nFilterCalls=1167547, avgTableProportion=0.9629629629418953, avgTableSize=26.0
74.08/69.77
76.78/72.42 num=64, depth=157..173, filters=1872937, wck=69.506, mem=134M933
76.78/72.42 decisions=194292, wrong=89487, backtracks=78494, failedAssignments=48907, nogoods=474
76.78/72.42 nFilterCalls=1206776, avgTableProportion=0.9629629629411786, avgTableSize=26.0
76.78/72.42
79.88/75.57 num=65, depth=112..150, filters=1956748, wck=72.664, mem=137M576
79.88/75.57 decisions=214063, wrong=99314, backtracks=87415, failedAssignments=53810, nogoods=477
79.88/75.57 nFilterCalls=1261893, avgTableProportion=0.9629629629402467, avgTableSize=26.0
79.88/75.57
89.18/84.82 num=66, depth=83..271, filters=2128232, wck=81.913, mem=137M576
89.18/84.82 decisions=233668, wrong=109037, backtracks=95701, failedAssignments=59204, nogoods=491
89.18/84.82 nFilterCalls=1391106, avgTableProportion=0.9629629629383518, avgTableSize=26.0
89.18/84.82
102.29/97.98 num=67, depth=79..198, filters=2338572, wck=95.07, mem=137M576
102.29/97.98 decisions=257573, wrong=120909, backtracks=106495, failedAssignments=65137, nogoods=502
102.29/97.98 nFilterCalls=1550587, avgTableProportion=0.9629629629364486, avgTableSize=26.0
102.29/97.98
109.29/104.91 num=68, depth=74..196, filters=2474730, wck=101.996, mem=140M218
109.29/104.91 decisions=284637, wrong=134357, backtracks=119092, failedAssignments=71663, nogoods=528
109.29/104.91 nFilterCalls=1636870, avgTableProportion=0.9629629629355734, avgTableSize=26.0
109.29/104.91
113.40/109.08 num=69, depth=76..101, filters=2581669, wck=106.166, mem=140M218
113.40/109.08 decisions=311321, wrong=147658, backtracks=130920, failedAssignments=78842, nogoods=537
113.40/109.08 nFilterCalls=1704665, avgTableProportion=0.9629629629349479, avgTableSize=26.0
113.40/109.08
141.29/136.93 num=70, depth=73..311, filters=2940277, wck=134.017, mem=140M218
141.29/136.93 decisions=337534, wrong=160685, backtracks=141851, failedAssignments=86739, nogoods=557
141.29/136.93 nFilterCalls=1999775, avgTableProportion=0.9629629629327193, avgTableSize=26.0
141.29/136.93
158.19/153.82 num=71, depth=72..177, filters=3165059, wck=150.907, mem=142M778
158.19/153.82 decisions=370220, wrong=176952, backtracks=156492, failedAssignments=95426, nogoods=569
158.19/153.82 nFilterCalls=2166192, avgTableProportion=0.9629629629317303, avgTableSize=26.0
158.19/153.82
203.59/199.25 num=72, depth=79..176, filters=3679905, wck=196.337, mem=142M778
203.59/199.25 decisions=401745, wrong=192643, backtracks=170293, failedAssignments=104981, nogoods=585
203.59/199.25 nFilterCalls=2589021, avgTableProportion=0.9629629629667695, avgTableSize=26.0
203.59/199.25
248.37/243.96 num=73, depth=79..176, filters=4218081, wck=241.05, mem=47M622
248.37/243.96 decisions=437455, wrong=210425, backtracks=185171, failedAssignments=115492, nogoods=596
248.37/243.96 nFilterCalls=3030914, avgTableProportion=0.962962962993874, avgTableSize=26.0
248.37/243.96
297.37/292.92 num=74, depth=80..164, filters=4823293, wck=290.009, mem=47M622
297.37/292.92 decisions=477078, wrong=230163, backtracks=201627, failedAssignments=127054, nogoods=608
297.37/292.92 nFilterCalls=3521879, avgTableProportion=0.9629629630160118, avgTableSize=26.0
297.37/292.92
375.37/370.92 num=75, depth=80..195, filters=5780996, wck=368.011, mem=50M184
375.37/370.92 decisions=518446, wrong=250772, backtracks=219569, failedAssignments=139772, nogoods=619
375.37/370.92 nFilterCalls=4279602, avgTableProportion=0.9629629630402089, avgTableSize=26.0
375.37/370.92
447.98/443.58 num=76, depth=80..167, filters=6688462, wck=440.669, mem=50M184
447.98/443.58 decisions=562963, wrong=272956, backtracks=238686, failedAssignments=153762, nogoods=628
447.98/443.58 nFilterCalls=5020750, avgTableProportion=0.9629629629951224, avgTableSize=26.0
447.98/443.58
506.69/502.26 num=77, depth=81..178, filters=7413042, wck=499.353, mem=52M747
506.69/502.26 decisions=613016, wrong=297902, backtracks=260864, failedAssignments=169151, nogoods=638
506.69/502.26 nFilterCalls=5608360, avgTableProportion=0.9629629629628409, avgTableSize=26.0
506.69/502.26
587.60/583.13 num=78, depth=81..178, filters=8395497, wck=580.22, mem=55M310
587.60/583.13 decisions=670855, wrong=326740, backtracks=284925, failedAssignments=186079, nogoods=651
587.60/583.13 nFilterCalls=6388504, avgTableProportion=0.962962962929158, avgTableSize=26.0
587.60/583.13
639.09/634.69 num=79, depth=81..199, filters=9924991, wck=631.78, mem=57M872
639.09/634.69 decisions=733193, wrong=357824, backtracks=310192, failedAssignments=204700, nogoods=661
639.09/634.69 nFilterCalls=7373229, avgTableProportion=0.9629629628968188, avgTableSize=26.0
639.09/634.69
713.61/709.11 num=80, depth=78..267, filters=10861018, wck=706.198, mem=57M872
713.61/709.11 decisions=799286, wrong=390795, backtracks=336955, failedAssignments=225184, nogoods=672
713.61/709.11 nFilterCalls=8150258, avgTableProportion=0.9629629628768166, avgTableSize=26.0
713.61/709.11
805.64/801.18 num=81, depth=70..170, filters=12010074, wck=798.266, mem=60M435
805.64/801.18 decisions=879446, wrong=430801, backtracks=372162, failedAssignments=247716, nogoods=685
805.64/801.18 nFilterCalls=9089602, avgTableProportion=0.9629629628572022, avgTableSize=26.0
805.64/801.18
886.95/882.48 num=82, depth=80..178, filters=12975993, wck=879.575, mem=65M560
886.95/882.48 decisions=960304, wrong=471155, backtracks=407174, failedAssignments=272501, nogoods=701
886.95/882.48 nFilterCalls=9870926, avgTableProportion=0.9629629628437312, avgTableSize=26.0
886.95/882.48
1000.29/995.73 num=83, depth=97..174, filters=14342641, wck=992.825, mem=68M123
1000.29/995.73 decisions=1052366, wrong=517109, backtracks=447384, failedAssignments=299765, nogoods=713
1000.29/995.73 nFilterCalls=11017198, avgTableProportion=0.9629629628274259, avgTableSize=26.0
1000.29/995.73
1112.63/1108.02 num=84, depth=122..174, filters=15741111, wck=1105.113, mem=70M686
1112.63/1108.02 decisions=1156318, wrong=569007, backtracks=493240, failedAssignments=329755, nogoods=725
1112.63/1108.02 nFilterCalls=12152014, avgTableProportion=0.9629629628143137, avgTableSize=26.0
1112.63/1108.02
1155.04/1150.40 num=85, depth=155..224, filters=17336929, wck=1147.492, mem=75M811
1155.04/1150.40 decisions=1278304, wrong=629916, backtracks=543988, failedAssignments=362744, nogoods=742
1155.04/1150.40 nFilterCalls=13083294, avgTableProportion=0.9629629628052525, avgTableSize=26.0
1155.04/1150.40
1179.05/1174.46 num=86, depth=134..165, filters=17862425, wck=1171.551, mem=80M936
1179.05/1174.46 decisions=1431261, wrong=706325, backtracks=614223, failedAssignments=399032, nogoods=751
1179.05/1174.46 nFilterCalls=13355574, avgTableProportion=0.962962962802842, avgTableSize=26.0
1179.05/1174.46
1204.86/1200.24 num=87, depth=94..141, filters=19541712, wck=1197.332, mem=86M62
1204.86/1200.24 decisions=1580684, wrong=780985, backtracks=682347, failedAssignments=438949, nogoods=763
1204.86/1200.24 nFilterCalls=14338542, avgTableProportion=0.9629629627949016, avgTableSize=26.0
1204.86/1200.24
1229.77/1225.16 num=88, depth=92..127, filters=20123441, wck=1222.253, mem=91M187
1229.77/1225.16 decisions=1752295, wrong=866742, backtracks=760504, failedAssignments=482858, nogoods=773
1229.77/1225.16 nFilterCalls=14626330, avgTableProportion=0.9629629627927788, avgTableSize=26.0
1229.77/1225.16
1374.72/1370.10 num=89, depth=81..1199, filters=22004991, ccks=1419, wck=1367.193, mem=97M634
1374.72/1370.10 decisions=1860630, wrong=920721, backtracks=803498, failedAssignments=515138, nogoods=773, foundSolutions=1
1374.72/1370.10 nFilterCalls=16099374, avgTableProportion=0.9629629627831018, avgTableSize=26.0
1374.72/1370.10
1374.72/1370.10 Global
1374.72/1370.10 filters=22004991, ccks=1419, nogoods=773
1374.72/1370.10 Stop=REACHED_GOAL, wrong=920721, foundSolutions=1, firstSolCpu=1369.895
1374.72/1370.10 wck=1368.242, cpu=1369.921, mem=97M634
1374.72/1370.10
1374.72/1370.10 v <instantiation id='sol1' type='solution'> <list> cls[] opt[][] </list> <values> 17 13 11 13 8 3 13 13 15 13 1 16 3 13 3 26 18 11 13 3 22 19 13 11 18 3 13 15 13 26 3 2 13 13 19 3 4 3 26 16 3 19 13 3 11 8 17 11 19 13 3 3 26 18 15 3 26 24 23 19 11 26 3 15 23 26 16 10 13 19 11 8 19 16 13 10 13 9 26 8 15 13 13 15 3 18 16 13 3 26 13 25 21 3 19 11 13 17 11 13 3 19 13 13 11 8 26 18 13 10 13 11 3 26 16 10 13 2 13 10 13 10 13 17 14 26 3 13 26 14 26 3 18 26 14 13 3 26 16 20 13 11 3 13 20 13 11 10 13 22 1 13 3 12 8 19 11 13 20 22 19 13 11 5 8 19 11 13 20 8 19 11 19 8 6 13 26 11 7 5 19 11 19 8 0 18 13 11 7 8 19 13 24 10 8 12 18 26 22 10 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 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 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 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 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 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 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 </values> </instantiation>
1374.72/1370.10 s SATISFIABLE
1374.72/1370.10
1374.72/1370.10 d WRONG_DECISIONS 920721
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 (10579 MiB free)
memory of node 1: 16384 MiB (12727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390570-1568383116/watcher-4390570-1568383116 -o /tmp/evaluation-result-4390570-1568383116/solver-4390570-1568383116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568380474-29469 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390570-1568383116.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30152, runsolver pid=30149
Current StackSize limit: 8192 KiB
[startup+0.100121 s]*
/proc/loadavg: 1.81 1.86 1.65 4/228 30167
/proc/meminfo: memFree=23849696/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10659884 memory=28480 CPUtime=0.13 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 29438 0 -1 1077944320 5627 0 0 0 13 0 0 0 20 0 15 0 414248942 10915721216 7120 33554432000 4194304 4196468 140733403654768 140733403637312 139963240926967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2664971 7120 2902 1 0 2627468 0
[pid=30152/tid=30154] ppid=30149 vsize=10659884 memory=-8197568871503662463 CPUtime=0.09 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) R 30149 30152 29438 0 -1 4202560 3358 0 0 0 9 0 0 0 20 0 15 0 414248943 10915721216 7186 33554432000 4194304 4196468 140733403654768 139963245157640 139963224970597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30155] ppid=30149 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 7186 33554432000 4194304 4196468 140733403654768 139963193547920 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30156] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 7186 33554432000 4194304 4196468 140733403654768 139963192495120 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30157] ppid=30149 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 7186 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30158] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 7186 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248945 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30160] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414248945 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962544137248 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30161] ppid=30149 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414248946 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962543084400 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30162] ppid=30149 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962542032720 139963240945563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30163] ppid=30149 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) R 30149 30152 29438 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 414248948 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962540981104 139963240938114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30164] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962539928304 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30165] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0.02 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) R 30149 30152 29438 0 -1 4202560 406 0 0 0 2 0 0 0 20 0 15 0 414248948 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962538871528 139963220061459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30166] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962537822944 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30167] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 7186 33554432000 4194304 4196468 140733403654768 139962536770224 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28480 KiB
[startup+0.211345 s]*
/proc/loadavg: 1.81 1.86 1.65 3/228 30167
/proc/meminfo: memFree=23841072/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10659884 memory=34996 CPUtime=0.32 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 29438 0 -1 1077944320 6887 0 0 0 31 1 0 0 20 0 15 0 414248942 10915721216 8749 33554432000 4194304 4196468 140733403654768 140733403637312 139963240926967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2664971 8749 2990 1 0 2627468 0
[pid=30152/tid=30154] ppid=30149 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) R 30149 30152 29438 0 -1 4202560 3876 0 0 0 19 0 0 0 20 0 15 0 414248943 10915721216 8749 33554432000 4194304 4196468 140733403654768 139963245159008 139963240948893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30155] ppid=30149 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 8749 33554432000 4194304 4196468 140733403654768 139963193547920 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30156] ppid=30149 vsize=10659884 memory=3474728605490075296 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 8749 33554432000 4194304 4196468 140733403654768 139963192495120 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30157] ppid=30149 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 8749 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30158] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 8749 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248945 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30160] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414248945 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962544137248 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30161] ppid=30149 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414248946 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962543084400 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30162] ppid=30149 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962542032720 139963240945563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30163] ppid=30149 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 29438 0 -1 1077944384 715 0 0 0 3 0 0 0 20 0 15 0 414248948 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962540981104 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30164] ppid=30149 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 29438 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 414248948 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962539928304 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30165] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0.05 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 29438 0 -1 1077944384 701 0 0 0 5 0 0 0 20 0 15 0 414248948 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962538875504 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30166] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962537822944 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30167] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 8749 33554432000 4194304 4196468 140733403654768 139962536770224 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34996 KiB
[startup+0.310298 s]*
/proc/loadavg: 1.81 1.86 1.65 3/228 30167
/proc/meminfo: memFree=23833404/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10659884 memory=40124 CPUtime=0.46 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 29438 0 -1 1077944320 9401 0 0 0 44 2 0 0 20 0 15 0 414248942 10915721216 10031 33554432000 4194304 4196468 140733403654768 140733403637312 139963240926967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2664971 10031 3002 1 0 2627468 0
[pid=30152/tid=30154] ppid=30149 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) R 30149 30152 29438 0 -1 4202560 6352 0 0 0 28 2 0 0 20 0 15 0 414248943 10915721216 10034 33554432000 4194304 4196468 140733403654768 139963245147120 139963233644071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30155] ppid=30149 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 10034 33554432000 4194304 4196468 140733403654768 139963193547920 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30156] ppid=30149 vsize=10659884 memory=3689211433937000096 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10915721216 10034 33554432000 4194304 4196468 140733403654768 139963192495120 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30157] ppid=30149 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248943 10916769792 10034 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30158] ppid=30149 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10916769792 10034 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10660908 memory=139678965290624 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248945 10916769792 10034 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30160] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414248945 10915721216 10034 33554432000 4194304 4196468 140733403654768 139962544137248 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30161] ppid=30149 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414248946 10915721216 10034 33554432000 4194304 4196468 140733403654768 139962543084400 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30162] ppid=30149 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414248948 10916769792 10034 33554432000 4194304 4196468 140733403654768 139962542032720 139963240945563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30163] ppid=30149 vsize=10660908 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 29438 0 -1 1077944384 723 0 0 0 4 0 0 0 20 0 15 0 414248948 10916769792 10034 33554432000 4194304 4196468 140733403654768 139962540981104 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30164] ppid=30149 vsize=10660908 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 29438 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 15 0 414248948 10916769792 10034 33554432000 4194304 4196468 140733403654768 139962539928304 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30165] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0.08 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 29438 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 15 0 414248948 10915721216 10034 33554432000 4194304 4196468 140733403654768 139962538875504 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30166] ppid=30149 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 10034 33554432000 4194304 4196468 140733403654768 139962537822944 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30167] ppid=30149 vsize=10659884 memory=139678965290624 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248948 10915721216 10034 33554432000 4194304 4196468 140733403654768 139962536770224 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40124 KiB
[startup+0.70074 s]
/proc/loadavg: 1.81 1.86 1.65 3/228 30167
/proc/meminfo: memFree=23826124/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10661932 memory=62520 CPUtime=1.08 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 29438 0 -1 1077944320 12759 0 0 0 104 4 0 0 20 0 15 0 414248942 10917818368 15630 33554432000 4194304 4196468 140733403654768 140733403637312 139963240926967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2665483 15630 3073 1 0 2627980 0
[pid=30152/tid=30154] ppid=30149 vsize=10661932 memory=1792 CPUtime=0.68 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) R 30149 30152 29438 0 -1 4202560 8887 0 0 0 65 3 0 0 20 0 15 0 414248943 10917818368 15630 33554432000 4194304 4196468 140733403654768 139963245150048 139963224113805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30155] ppid=30149 vsize=10661932 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10917818368 15630 33554432000 4194304 4196468 140733403654768 139963193547920 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30156] ppid=30149 vsize=10661932 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10917818368 15630 33554432000 4194304 4196468 140733403654768 139963192495120 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30157] ppid=30149 vsize=10661932 memory=5536 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248943 10917818368 15630 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30158] ppid=30149 vsize=10661932 memory=4540 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10917818368 15630 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10661932 memory=752 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248945 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30160] ppid=30149 vsize=10661932 memory=1636 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414248945 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962544137248 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30161] ppid=30149 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414248946 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962543084400 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30162] ppid=30149 vsize=10661932 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414248948 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962542032720 139963240945563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30163] ppid=30149 vsize=10661932 memory=7302135314614015849 CPUtime=0.1 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) R 30149 30152 29438 0 -1 4202560 947 0 0 0 10 0 0 0 20 0 15 0 414248948 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962540981104 139963221627264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30164] ppid=30149 vsize=10661932 memory=6010460991946777682 CPUtime=0.09 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 29438 0 -1 1077944384 453 0 0 0 9 0 0 0 20 0 15 0 414248948 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962539928304 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30165] ppid=30149 vsize=10661932 memory=7588935152971043925 CPUtime=0.19 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 29438 0 -1 1077944384 1113 0 0 0 19 0 0 0 20 0 15 0 414248948 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962538875504 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30166] ppid=30149 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414248948 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962537822944 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30167] ppid=30149 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248948 10917818368 15630 33554432000 4194304 4196468 140733403654768 139962536770224 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62520 KiB
[startup+1.50069 s]
/proc/loadavg: 1.81 1.86 1.65 3/228 30167
/proc/meminfo: memFree=23809920/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10663980 memory=74636 CPUtime=1.98 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 29438 0 -1 1077944320 18220 0 0 0 193 5 0 0 20 0 15 0 414248942 10919915520 18659 33554432000 4194304 4196468 140733403654768 140733403637312 139963240926967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2665995 18659 3094 1 0 2628492 0
[pid=30152/tid=30154] ppid=30149 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) R 30149 30152 29438 0 -1 4202560 13026 0 0 0 144 4 0 0 20 0 15 0 414248943 10919915520 18659 33554432000 4194304 4196468 140733403654768 139963245158992 139963240940849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30155] ppid=30149 vsize=10663980 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10919915520 18659 33554432000 4194304 4196468 140733403654768 139963193547920 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30156] ppid=30149 vsize=10663980 memory=-8608168169079938421 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10919915520 18659 33554432000 4194304 4196468 140733403654768 139963192495120 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30157] ppid=30149 vsize=10663980 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414248943 10919915520 18659 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30158] ppid=30149 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414248943 10919915520 18659 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414248945 10919915520 18659 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
################
# More data... #
################
[pid=30152/tid=30158] ppid=30149 vsize=10748324 memory=15541812429325847 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 754 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10748324 memory=7307763641806644846 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 1590 0 0 0 2 1 0 0 20 0 16 0 414248945 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30160] ppid=30149 vsize=10748324 memory=-8412656576347475827 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 29438 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414248945 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962544137312 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30161] ppid=30149 vsize=10748324 memory=7234582475751187536 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 29438 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 414248946 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962543084416 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30162] ppid=30149 vsize=10748324 memory=7307763641806644846 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962542032720 139963240945563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30163] ppid=30149 vsize=10748324 memory=7307763641806644846 CPUtime=1.79 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 29438 0 -1 1077944384 6529 0 0 0 178 1 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962540981104 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30164] ppid=30149 vsize=10748324 memory=7666340857836367461 CPUtime=1.68 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 29438 0 -1 1077944384 6126 0 0 0 167 1 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962539928304 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30165] ppid=30149 vsize=10748324 memory=576600396243690045 CPUtime=0.88 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 29438 0 -1 1077944384 7174 0 0 0 86 2 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962538875504 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30166] ppid=30149 vsize=10748324 memory=288293263952332594 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962537822944 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30167] ppid=30149 vsize=10748324 memory=3063808 CPUtime=0.33 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 29438 0 -1 1077944384 917 0 0 0 15 18 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962536770224 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30168] ppid=30149 vsize=10748324 memory=8978309881829228949 CPUtime=1365.93 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 29438 0 -1 4202560 15974 0 0 0 136587 6 0 0 20 0 16 0 414249132 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962519809584 139962875917267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 1372.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 298768 KiB
[startup+1368.8 s]
/proc/loadavg: 1.82 1.87 1.80 3/231 30325
/proc/meminfo: memFree=23645664/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10748324 memory=298768 CPUtime=1373.51 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 29438 0 -1 1077944320 57338 0 0 0 137317 34 0 0 20 0 16 0 414248942 11006283776 74692 33554432000 4194304 4196468 140733403654768 140733403637312 139963240926967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2687081 74692 3383 1 0 2647217 0
[pid=30152/tid=30154] ppid=30149 vsize=10748324 memory=6791534058613427641 CPUtime=1.87 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 29438 0 -1 1077944384 15277 0 0 0 182 5 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963245169840 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30155] ppid=30149 vsize=10748324 memory=39860 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 29438 0 -1 1077944384 199 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963193547920 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30156] ppid=30149 vsize=10748324 memory=1228 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 29438 0 -1 1077944384 277 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963192495120 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30157] ppid=30149 vsize=10748324 memory=2352 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 29438 0 -1 1077944384 1068 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30158] ppid=30149 vsize=10748324 memory=1792 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 754 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10748324 memory=8612 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 1590 0 0 0 2 1 0 0 20 0 16 0 414248945 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30160] ppid=30149 vsize=10748324 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 29438 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414248945 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962544137312 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30161] ppid=30149 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 29438 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 414248946 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962543084416 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30162] ppid=30149 vsize=10748324 memory=7649399358528499763 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962542032720 139963240945563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30163] ppid=30149 vsize=10748324 memory=7649399362823467059 CPUtime=1.79 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 29438 0 -1 1077944384 6529 0 0 0 178 1 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962540981104 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30164] ppid=30149 vsize=10748324 memory=7649399367118434355 CPUtime=1.68 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 29438 0 -1 1077944384 6126 0 0 0 167 1 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962539928304 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30165] ppid=30149 vsize=10748324 memory=7649399371413401651 CPUtime=0.88 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 29438 0 -1 1077944384 7174 0 0 0 86 2 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962538875504 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30166] ppid=30149 vsize=10748324 memory=7649399375708368947 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962537822944 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30167] ppid=30149 vsize=10748324 memory=7649399380003336243 CPUtime=0.33 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 29438 0 -1 1077944384 917 0 0 0 15 18 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962536770224 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30168] ppid=30149 vsize=10748324 memory=7649399384298303539 CPUtime=1366.72 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 29438 0 -1 4202560 15975 0 0 0 136666 6 0 0 20 0 16 0 414249132 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962519809584 139962875917235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 1373.51 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 298768 KiB
[startup+1369.6 s]
/proc/loadavg: 1.82 1.87 1.80 3/230 30325
/proc/meminfo: memFree=23645664/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10748324 memory=298768 CPUtime=1374.31 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 29438 0 -1 1077944320 57540 0 0 0 137397 34 0 0 20 0 16 0 414248942 11006283776 74692 33554432000 4194304 4196468 140733403654768 140733403637312 139963240926967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2687081 74692 3383 1 0 2647217 0
[pid=30152/tid=30154] ppid=30149 vsize=10748324 memory=1228 CPUtime=1.87 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 29438 0 -1 1077944384 15277 0 0 0 182 5 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963245169840 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30155] ppid=30149 vsize=10748324 memory=2352 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 29438 0 -1 1077944384 199 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963193547920 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30156] ppid=30149 vsize=10748324 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 29438 0 -1 1077944384 277 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963192495120 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30157] ppid=30149 vsize=10748324 memory=7172 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 29438 0 -1 1077944384 1068 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30158] ppid=30149 vsize=10748324 memory=1100 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 754 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10748324 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 1590 0 0 0 2 1 0 0 20 0 16 0 414248945 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30160] ppid=30149 vsize=10748324 memory=2352 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 29438 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414248945 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962544137312 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30161] ppid=30149 vsize=10748324 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 29438 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 414248946 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962543084416 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30162] ppid=30149 vsize=10748324 memory=298768 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962542032720 139963240945563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30163] ppid=30149 vsize=10748324 memory=812 CPUtime=1.79 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 29438 0 -1 1077944384 6529 0 0 0 178 1 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962540981104 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30164] ppid=30149 vsize=10748324 memory=1840 CPUtime=1.68 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 29438 0 -1 1077944384 6126 0 0 0 167 1 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962539928304 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30165] ppid=30149 vsize=10748324 memory=1792 CPUtime=0.88 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 29438 0 -1 1077944384 7174 0 0 0 86 2 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962538875504 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30166] ppid=30149 vsize=10748324 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962537822944 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30167] ppid=30149 vsize=10748324 memory=1192 CPUtime=0.33 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 29438 0 -1 1077944384 941 0 0 0 15 18 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962536770224 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30168] ppid=30149 vsize=10748324 memory=1636 CPUtime=1367.52 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 29438 0 -1 4202560 16153 0 0 0 136746 6 0 0 20 0 16 0 414249132 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962519809584 139962876489188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 1374.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 298768 KiB
[startup+1370 s]*
/proc/loadavg: 1.84 1.87 1.80 3/230 30325
/proc/meminfo: memFree=23645712/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10748324 memory=298768 CPUtime=1374.72 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 29438 0 -1 1077944320 57586 0 0 0 137438 34 0 0 20 0 16 0 414248942 11006283776 74692 33554432000 4194304 4196468 140733403654768 140733403637312 139963240926967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2687081 74692 3383 1 0 2647217 0
[pid=30152/tid=30154] ppid=30149 vsize=10748324 memory=1398720917958146503 CPUtime=1.87 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 29438 0 -1 1077944384 15277 0 0 0 182 5 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963245169840 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30155] ppid=30149 vsize=10748324 memory=4872558044660077418 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 29438 0 -1 1077944384 199 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963193547920 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30156] ppid=30149 vsize=10748324 memory=2592 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 29438 0 -1 1077944384 277 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963192495120 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30157] ppid=30149 vsize=10748324 memory=1408 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 29438 0 -1 1077944384 1068 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30158] ppid=30149 vsize=10748324 memory=3336 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 29438 0 -1 1077944384 754 0 0 0 2 1 0 0 20 0 16 0 414248943 11006283776 74692 33554432000 4194304 4196468 140733403654768 139963190389520 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30159] ppid=30149 vsize=10748324 memory=213640 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 29438 0 -1 1077944384 1596 0 0 0 2 1 0 0 20 0 16 0 414248945 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962545191280 139963240938114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30160] ppid=30149 vsize=10748324 memory=298768 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 29438 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414248945 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962544137312 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30161] ppid=30149 vsize=10748324 memory=298768 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 29438 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 414248946 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962543084416 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30162] ppid=30149 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962542032720 139963240945563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30163] ppid=30149 vsize=10748324 memory=4126316290023845779 CPUtime=1.79 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 29438 0 -1 1077944384 6529 0 0 0 178 1 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962540981104 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30164] ppid=30149 vsize=10748324 memory=4540 CPUtime=1.68 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 29438 0 -1 1077944384 6126 0 0 0 167 1 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962539928304 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30165] ppid=30149 vsize=10748324 memory=1840 CPUtime=0.88 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 29438 0 -1 1077944384 7174 0 0 0 86 2 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962538875504 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30166] ppid=30149 vsize=10748324 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962537822944 139963240937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30167] ppid=30149 vsize=10748324 memory=7172 CPUtime=0.33 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 29438 0 -1 1077944384 941 0 0 0 15 18 0 0 20 0 16 0 414248948 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962536770224 139963240938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
[pid=30152/tid=30168] ppid=30149 vsize=10748324 memory=1100 CPUtime=1367.93 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 29438 0 -1 4202560 16193 0 0 0 136787 6 0 0 20 0 16 0 414249132 11006283776 74692 33554432000 4194304 4196468 140733403654768 139962519809584 139962876489184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 1374.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 298768 KiB
[startup+1370.11 s]
/proc/loadavg: 1.84 1.87 1.80 3/230 30325
/proc/meminfo: memFree=23645712/32770624 swapFree=67108848/67108860
[pid=30152] ppid=30149 vsize=10748324 memory=298200 CPUtime=1374.86 cores=0,2,4,6
/proc/30152/stat : 30152 (java) R 30149 30152 29438 0 -1 4202496 58920 0 0 0 137452 34 0 0 20 0 12 0 414248942 11006283776 74550 33554432000 4194304 4196468 140733403654768 140733403637312 139963224809152 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
/proc/30152/statm: 2687081 74550 3384 1 0 2647217 0
[pid=30152/tid=30156] ppid=30149 vsize=0 memory=298768 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) R 30149 30152 29438 0 -1 4203588 278 0 0 0 2 1 0 0 20 0 9 0 414248943 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=30152/tid=30157] ppid=30149 vsize=10748324 memory=298768 CPUtime=0.03 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) R 30149 30152 29438 0 -1 4203588 1068 0 0 0 2 1 0 0 20 0 3 0 414248943 11006283776 74620 33554432000 4194304 4196468 140733403654768 139963191442320 139963240937173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140733403657227 140733403657330 140733403657330 140733403660239 0
Current children cumulated CPU time: 1374.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 298200 KiB
Child status: 0
Real time (s): 1370.11
CPU time (s): 1374.88
CPU user time (s): 1374.53
CPU system time (s): 0.351025
CPU usage (%): 100.348
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 298768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1374.53
system time used= 0.351025
maximum resident set size= 298984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32797
involuntary context switches= 1394
# summary of solver processes directly reported to runsolver:
# pid: 30152
# total CPU time (s): 1374.88
# total CPU user time (s): 1374.53
# total CPU system time (s): 0.351025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19444 second user time and 12.12 second system time
The end