2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.89
3.30/2.20 Instance
3.30/2.20 name=instance-4390669-1568383110, framework=CSP
3.30/2.20
3.30/2.20 Loading variables...
3.65/2.27 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9c2696
4.01/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21cfe752
4.01/2.33 [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.34 [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.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e30ef51
4.01/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb64f75
4.01/2.35 [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.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735a523b
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331e2e17
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eb2628
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9837f8
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff9ed78
4.01/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0a6fe5
4.01/2.36 [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.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469def8a
4.01/2.37 [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.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490aa957
4.01/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e5a8de
4.01/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c4b670
4.01/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b3146c
4.01/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dce7626
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ac10dc
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550ab419
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509646b
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ffdfd5
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4cbb5d
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9918b98
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b8427e
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60027daf
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c07958c
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dddd2f4
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2851f35f
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c824fa7
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6628cb92
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc0323d
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d2e394e
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f89353f
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5effc77e
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7c0fd
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eec0018
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8574e9
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6892dfe5
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3c3232
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e17cbd
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54dec3ab
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a1b63c
4.37/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@504239ff
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6d42d
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fdcfd09
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e994ae5
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df9b5cb
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696834a0
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@459084c8
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1482f17c
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dc5f85
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ece7420
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741b6a39
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278c1a8d
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16567646
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ba95935
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb15224
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457b525b
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ddc1fe2
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ca27f8
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bee9f87
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5f7d4
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf61c8a
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a35959b
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c74380
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581274c6
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599f90e1
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5170f683
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2a344f
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b7fb23f
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326229a0
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75496277
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfb4034
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e005524
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d05ba4d
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475e77bd
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2840dc08
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afe674e
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5265ae19
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df2fbe8
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b128e
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfcdb5
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291f8bee
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f735f31
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6ef9da
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6b3f13
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6520fcbb
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a674d7d
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625512a9
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f44cac3
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42321ac4
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476a0e39
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5921f969
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9325a0
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3dc6d1
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b062ee1
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f5cdaaf
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747e273a
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a0841f1
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a731031
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26058fd
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12cb1a66
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b9e7de
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ed33e8
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5cc3be
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f84991
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290b5dd1
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@458fea4c
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8bed85
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a07a4ca
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289de98f
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289467b7
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63029897
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c37f43
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770479a5
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f043612
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f8c951
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4434c9
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3465f029
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a564937
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648622cd
4.37/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@356a2808
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54eff9dd
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73149e73
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@87f4e97
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2304a9
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64761eba
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4a6f9
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@96d501b
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0c9332
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63033d9f
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66046cc6
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763636e5
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b790ac1
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286198df
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f0dd5e
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2755ebdf
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7512af21
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f95eb4b
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd25259
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c402e10
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72adc022
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d2ffd6
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510e7a69
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70031f7b
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f864fcc
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be542
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f3e7be6
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36508061
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45bb5472
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f130ee4
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e23db0e
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ecd9ca
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230e5237
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec31f0f
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2464ff15
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75936fc3
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a445a5
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b259292
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649fbac
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f8a41e
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66438cd6
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478e060
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25525a60
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5891b99d
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adc3af3
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da4ff68
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2794d7
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49543aa1
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77778177
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2232a8c5
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f4642f3
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5c959a
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb4d887
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a03fe3
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2aefc6
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513c090f
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b41fda
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925ce7a
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6818043e
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71871783
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579d2c1
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78e0f824
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e94d799
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b6699
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd8323f
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b8a62f
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db9d9a9
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5503c065
4.37/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c416522
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc1faa6
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532c38cc
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c3c14f
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bdb69b
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8bcf2f
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ea2ed3
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5300dd5d
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d94bd9
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e68190
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee5fc0e
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d8b4fc
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3c3e1f
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1623bf3f
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6375e5e4
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa87ee7
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3962e7bc
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5e608b
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bc89bf
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe97438
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b91ed1a
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d17812d
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c55fab
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4017a176
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a66768e
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14288119
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6427869c
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b1119e
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f4f3a9
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dc20b1
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a558dc
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2951579a
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e995feb
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117efa12
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530a71c9
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f6ffe0
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541b64af
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743548d2
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@512fcd4b
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a390eec
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c454897
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f57964d
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4661de18
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6537d850
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c621b0b
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8c84a5
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d8d3d
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65611041
4.37/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e815183
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e1b38
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a21c830
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20070777
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e688234
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cf63a7
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca75224
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1000e9b8
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108d4b8e
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5646afe1
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42d67af9
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad2dd3
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ce4c46
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b4c8f6
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f83d85
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c901f14
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e2d750
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f2e6b
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64dda3f5
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e2f172b
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3462463
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53848341
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd31ff
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5483827c
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c208afe
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637bc980
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bdb21d
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d51709c
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d18b60d
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37cafbb7
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b8c5cd4
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572ad22a
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c943d1d
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a96bd8
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537b0d38
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb17ba
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ca7d4a
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd2cfdc
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29197522
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3eda89
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f6c0c31
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610e5b6c
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@154fa520
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6776cbbc
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf83a1a
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@189c8c00
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64447eb
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f22e27
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5498d48e
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b98d921
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744fd268
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e744b9a
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289b6bdf
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@210a3320
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b1ebb0
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@506987c5
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11465898
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce82112
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e69997d
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dc27ac9
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5685cc93
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142925d
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75da08bc
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac77430
4.37/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f488085
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3197346a
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ced9577
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b525f7
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de0825e
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c6ef8a
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6454c3a3
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3bf7e1
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d98770
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3887b5e8
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265be79e
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273ea9f5
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4432fe36
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbe2fed
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25131461
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c031880
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b595b21
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e31151
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dbf94b
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239304df
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3e37e1
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab4a88a
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3155a3af
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fa369a
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f4dff5
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77f8291c
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa35932
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4d6c1b
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2690866d
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233031a2
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4b3e3e
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d4b96f
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb86a9d
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e82362
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301b752d
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccc95df
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135fec9f
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfcbe0d
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b024fc8
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e8e486
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631da5b
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2896b553
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a809e69
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef2f64f
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59968f39
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c3a1480
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8e6d7b
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a3325f
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5008bd3a
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e2549b
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e1726e2
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289422e4
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b868cf
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35aaa44e
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ababa62
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77de1227
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a812022
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283811ce
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@618c686f
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2507caee
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf80c9f
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25484cca
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492b4163
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8af4f
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9e4d6f
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63857b3a
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba9d333
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704f6ce2
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ba8352
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7645af73
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b9c178
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6952f950
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4930441a
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aded736
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@292de878
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604f4a76
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c5c50a
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d42c78
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fb248e
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9d2b03
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a92210
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5860986e
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a63b217
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7edbee26
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4887
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@218b16ef
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e79bfc
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3183c2
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6629fe6
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55920206
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32575ca8
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708d52db
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5b55d2
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d0f4c0
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed1c7e2
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2835ed01
4.37/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e4b03
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a181c4
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790f3fdd
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7fe6fc
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753485e8
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@192fb024
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109237a0
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2602ac10
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217fa03a
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b7035a
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@658ca800
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb267ad
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1097f63e
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b5e635
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54aff8fa
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fd930d4
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794c85ed
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77a1a3b
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36dc5ae1
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e667466
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@472afd0b
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73541443
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d7b3172
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d9b5d
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c8f9a
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be00d8c
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dbffd98
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4837e39e
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33afb30d
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7720d151
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1cc43b
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4892e8fb
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491cde3e
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c856d8
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a43396
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb0d086
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478af658
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d32cf5e
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173f1e62
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98b3615
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59871312
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69cdf6b9
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183af604
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1549d300
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bfe034
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7412e0fd
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@111b22b4
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aa38b1a
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8f4b23
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393c5b2f
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4545a3a7
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eee8ae3
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a72b4b9
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2724a991
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49010327
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a07222f
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501d209a
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e223fc
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83af466
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11d622c9
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb2c383
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fdf3a44
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3269c84f
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17869766
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b272c1
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6c905b
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b4df746
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9a0764
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f49c82
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad4e3f3
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37920734
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772b2145
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f44cc75
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2704a13e
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d36536
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c06ab9
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c147bc3
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b5417f
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367e4af2
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@baa486a
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a9f326
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57cc2df6
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6ed326
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2285e38c
4.37/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6317cb33
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cfadfe1
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2a33a8
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b20268
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cc8512
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223fc590
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b511a35
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7f163f
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a9d3fba
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c015bf9
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261559dc
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ef85f1
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@471cb87d
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f53f66
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@244db9c9
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76236927
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386facfb
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220611ad
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38362cd2
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c71b59d
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428b06aa
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f27c584
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59106a47
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd12d5e
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614c2104
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e80bc
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da7df63
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b195910
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9da3610
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d10a21d
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62d7348d
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cee17
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d2f0a57
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27940d67
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d4e6da1
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@186242f9
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bae1c4e
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada71cf
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e80aa70
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd1cccb
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b0f806
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a62b0d8
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eeb9c0
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62eda5e0
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49761dac
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ad6aca0
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259b7aae
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414d8464
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fab032d
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303e77d3
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c06544d
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd738c
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2650ed7a
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0e02a4
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e5d1b9
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691373e2
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183f77b5
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fa646ea
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b2ef94
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f88792
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2e7612
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533a8866
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d0aad
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@677f9b71
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15bad609
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645bf6b1
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10442b56
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76d913b9
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79688432
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e61f68b
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e59574
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495e48e9
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564227e8
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c5d3ca
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100361ac
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bea153c
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc4ef81
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18525e16
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bae27e9
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15edd64a
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404c4b8
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1c5d00
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e8353c
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468716b
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f06026e
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44475b0d
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104a196d
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ded587
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbfafb1
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e435b8c
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@112001b4
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adcbf68
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d643775
4.37/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@647daccd
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b8f80a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a61a0b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e29e063
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515d389c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714ecc5a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3802b67d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67921699
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550b7fe8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b9c1725
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cbfae9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395c90db
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61efa976
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a38ada4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71bcb1f4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1069a8e1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498e574e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20634081
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d238631
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1efc27
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7fa132
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf9d082
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550cac83
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6ad681
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fa112a2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7096e2b8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67671d1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fb64d8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297290ce
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb86e4b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163d5017
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619715f2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a1d69d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b764f45
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d0684f9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@298a5e74
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adc5946
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b2791f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52be1eff
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dcc74f8
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662aceae
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f53bcf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d5dca09
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d1e06d1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62dbcfb4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1123ec
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc5021f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d454879
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ea5bad
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3edd7015
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac4c8a7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41302d4b
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346cf670
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25cf894a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52079e37
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43100229
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75635d92
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efa7f5c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d14768
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3714205d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82401d
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3a8f72
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@703a4537
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e3d820
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795d1d1f
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74023c04
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59337afc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402b87bf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f36b71
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fba38e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58eeccf0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17d03574
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d96e40a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a9a955
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0f4d6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7985cad2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530c1f75
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ae76fc
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a0a02e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b52da7
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a31e29
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d28009
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6288da64
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b51665
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14dabf63
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2280a0d2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1a17a0
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0d57d9
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f24ffcf
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6535c6cb
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b968387
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@525b4dc1
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ba6fe6
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270ee256
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11933fc4
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72665a34
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de82cd2
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f44fe9a
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c61d72e
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160ddf4c
4.37/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd12fcc
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172e874d
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2680cc4b
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24251a8b
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f5eacb
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25442eb9
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165aaad8
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77713ac3
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b17a77
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e7ed20
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b6f4d07
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29764d2e
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0d3efa
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213b68f0
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d353c6
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49476095
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66c19b92
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289a9bfd
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608c260f
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec35799
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c58231c
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902685b
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@170e05cd
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd3b2fd
4.37/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbc39f
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10cd816b
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7088b5
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a84f73
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b2988c
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d919a7a
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6440990c
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a25a221
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532dae2d
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4d3916
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293a7126
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fb1ba9
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8733b29
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be30958
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7ec900
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b59910
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38745b19
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283eaec8
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47212b44
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbcf2b5
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4808dd8
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a66c83
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113ebc05
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f322e
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27299a7d
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641120
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bff7d38
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7b90c8
4.37/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@185dc726
4.37/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c4a3fe
4.37/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a3b1c4
4.37/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151639a7
4.37/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77493ee8
4.37/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f1d71e
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ae5dfe
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be7ba5
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411fb4fb
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108f76c2
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bbe7a8
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58cf56d
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcce48d
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66741ca7
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68517e7
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495c9aaa
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32693dbe
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4966e7ad
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cef16e
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481aaba7
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4993530b
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19710233
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744f30e
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c705bbb
4.72/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6fd356
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41881976
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@335d24c
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ffc24f
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513d5a65
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47ea2cbf
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ace3743
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acbf89a
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d68eb81
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614a549f
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e93aa1
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741efef5
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78cd411f
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211f5391
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109e9527
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde22e
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe45ffc
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76faf5b2
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0e9401
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce3c214
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742c0993
4.72/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471cb3e
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe4bfa3
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216682b0
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282b488
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e9ba9a
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f155e0a
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a5ae1a
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40766271
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27da5b17
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6565ab97
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c25ea63
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9ea26a
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d52089
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4032ebe8
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6eb4c5
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6afabbf8
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fce5cbe
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7a7719
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26372ae6
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b85537c
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9902e
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bb3bfb
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ea9272
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ca257a2
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26a6854b
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1797e1f3
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68ecdd53
4.72/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6724a2
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cefcfb4
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f8018d
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f66c79b
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddb305
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bb0304
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbe2665
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287f6137
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac752f0
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5dc026
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca707dd
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a2b7a
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36434381
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a0520
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287bfb59
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cfddb4f
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58984eae
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c52ffbe
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb1189
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f9be18
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c37783
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b36517e
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d641850
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8ab57a
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c49150d
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7591a67d
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416996fc
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5059a3
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746b4213
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0b7bed
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf54d4a
4.72/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b442049
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f95729
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6fd09c
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bafb8b4
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707d948e
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@702f4cda
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e37378a
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4de9c5
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e647a2c
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a48a12f
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abac7af
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d9ab54
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@817b04f
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43da3992
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46908a6c
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f2b7c77
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4823066c
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0456c9
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34882a5a
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@701e8c4c
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23597e60
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dd2fe7
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2d15d5
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f975aef
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ec9c7f
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e81ac16
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58869328
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6107508
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d0d
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4124d52
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76984393
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f24d43c
4.72/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2405f5
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0cd115
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b8b8d
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36760b28
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9f59d2
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418bdd04
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bb67d2
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34bbf4de
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e9958ef
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542e9f8
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb17f90
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47bc445a
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206f3554
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b68d6f0
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@954c771
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742afdd7
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5baf83
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a49017
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ab62f9
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67aa2eb6
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@594ac6db
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1baaf4d4
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4026e893
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c976749
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a9c290
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6613a9be
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3911da28
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a1a91ea
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5359c6ab
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@815550
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaff0e
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691a659d
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf8ec4e
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4bafa9
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f13fc8
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3ed338
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32ffcf09
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ff0cf44
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1b3f8f
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59976d2a
4.72/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d6c322f
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f30d599
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbcbf1a
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb1e945
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a999ace
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0724d3
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429357b
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49140f46
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@226dd8bd
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8c41d1d
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ededca2
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d606b41
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752a9bda
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5a18eb
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c08cb56
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60bc6c16
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce44a9e
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e95d9a
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac5cf3f
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51159240
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6050a4
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20bb57b7
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60705772
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d541abd
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6456e4ff
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79caecdb
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532a65c5
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d462a3a
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dcb9234
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c78043
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5309bcd
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@365d0c30
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd86836
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45acf32f
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cfe12ab
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c9f851
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a3ee347
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35968ce7
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40adea60
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63695bf1
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e398b0
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d87c2d
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d4b1d6
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bee44
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33d9919d
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437ec077
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@616bf7f2
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375b31dc
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a6af3d
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb1b378
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b3dba
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3124caee
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18f791c
4.72/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae74cf8
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c465c2
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15f68c7c
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f50cde
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183b072
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7e01e1
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca40362
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165eb80d
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b4d46f2
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2c7b56
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b4a4e4b
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7201eb4d
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ebd2629
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee5bd86
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea13ba1
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e9537d
4.72/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d514b54
5.32/2.84
5.32/2.84
5.32/2.84 Domains
5.32/2.84 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...90#2,91#2,92#3,93#21]
5.32/2.84 Constraints
5.32/2.84 count=1463, nSpecific=1463, 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#275,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.995, cpu=2.79, mem=89M934
5.32/2.88 Solver SolverBacktrack being built...
5.32/2.88
5.55/2.92
5.55/2.92 Solver
5.55/2.92 guaranteedGAC=true
5.55/2.92 wck=1.07, cpu=2.863, mem=124M368
5.55/2.95
5.55/2.95 Preprocessing
5.55/2.95 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.55/2.95 wck=0.033, cpu=2.899, mem=127M10
5.55/2.95
6.16/3.16 num=0, depth=84..101, filters=2186, wck=0.244, mem=129M653
6.16/3.16 decisions=117, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
6.16/3.16 nFilterCalls=2388, avgTableProportion=0.9629629629630061, avgTableSize=26.0
6.16/3.16
6.71/3.30 num=1, depth=135..139, filters=3176, wck=0.384, mem=129M653
6.71/3.30 decisions=291, wrong=29, backtracks=13, failedAssignments=21, nogoods=14
6.71/3.30 nFilterCalls=4557, avgTableProportion=0.9629629629629954, avgTableSize=26.0
6.71/3.30
6.93/3.40 num=2, depth=115..161, filters=3938, wck=0.481, mem=129M653
6.93/3.40 decisions=477, wrong=42, backtracks=14, failedAssignments=33, nogoods=23
6.93/3.40 nFilterCalls=6636, avgTableProportion=0.9629629629628691, avgTableSize=26.0
6.93/3.40
6.93/3.49 num=3, depth=87..160, filters=4691, wck=0.574, mem=129M653
6.93/3.49 decisions=663, wrong=55, backtracks=14, failedAssignments=46, nogoods=36
6.93/3.49 nFilterCalls=8577, avgTableProportion=0.9629629629628139, avgTableSize=26.0
6.93/3.49
7.05/3.59 num=4, depth=134..155, filters=5635, wck=0.667, mem=129M653
7.05/3.59 decisions=855, wrong=77, backtracks=26, failedAssignments=60, nogoods=42
7.05/3.59 nFilterCalls=10182, avgTableProportion=0.9629629629629224, avgTableSize=26.0
7.05/3.59
7.17/3.68 num=5, depth=123..177, filters=6469, wck=0.76, mem=129M653
7.17/3.68 decisions=1066, wrong=97, backtracks=32, failedAssignments=76, nogoods=53
7.17/3.68 nFilterCalls=12129, avgTableProportion=0.9629629629630154, avgTableSize=26.0
7.17/3.68
7.29/3.77 num=6, depth=76..192, filters=7322, wck=0.852, mem=129M653
7.29/3.77 decisions=1296, wrong=120, backtracks=38, failedAssignments=93, nogoods=59
7.29/3.77 nFilterCalls=13647, avgTableProportion=0.9629629629630695, avgTableSize=26.0
7.29/3.77
7.41/3.88 num=7, depth=139..232, filters=8222, wck=0.963, mem=129M653
7.41/3.88 decisions=1567, wrong=141, backtracks=40, failedAssignments=112, nogoods=77
7.41/3.88 nFilterCalls=15617, avgTableProportion=0.9629629629631241, avgTableSize=26.0
7.41/3.88
7.53/3.99 num=8, depth=193..203, filters=9471, wck=1.076, mem=129M653
7.53/3.99 decisions=1835, wrong=178, backtracks=63, failedAssignments=133, nogoods=81
7.53/3.99 nFilterCalls=17520, avgTableProportion=0.9629629629631651, avgTableSize=26.0
7.53/3.99
7.74/4.11 num=9, depth=173..257, filters=10419, wck=1.193, mem=129M653
7.74/4.11 decisions=2140, wrong=204, backtracks=66, failedAssignments=156, nogoods=90
7.74/4.11 nFilterCalls=19132, avgTableProportion=0.9629629629631935, avgTableSize=26.0
7.74/4.11
7.85/4.23 num=10, depth=174..256, filters=11674, wck=1.314, mem=129M653
7.85/4.23 decisions=2466, wrong=251, backtracks=88, failedAssignments=181, nogoods=94
7.85/4.23 nFilterCalls=20793, avgTableProportion=0.9629629629632181, avgTableSize=26.0
7.85/4.23
7.96/4.39 num=11, depth=172..248, filters=13520, wck=1.47, mem=129M653
7.96/4.39 decisions=2789, wrong=293, backtracks=114, failedAssignments=209, nogoods=102
7.96/4.39 nFilterCalls=22817, avgTableProportion=0.9629629629632434, avgTableSize=26.0
7.96/4.39
8.33/4.61 num=12, depth=178..244, filters=16511, wck=1.692, mem=129M653
8.33/4.61 decisions=3148, wrong=353, backtracks=152, failedAssignments=240, nogoods=106
8.33/4.61 nFilterCalls=25775, avgTableProportion=0.962962962963273, avgTableSize=26.0
8.33/4.61
8.43/4.79 num=13, depth=198..235, filters=19375, wck=1.874, mem=129M653
8.43/4.79 decisions=3493, wrong=420, backtracks=193, failedAssignments=274, nogoods=108
8.43/4.79 nFilterCalls=28240, avgTableProportion=0.962962962963293, avgTableSize=26.0
8.43/4.79
8.77/5.01 num=14, depth=176..247, filters=21791, wck=2.09, mem=129M653
8.77/5.01 decisions=3847, wrong=478, backtracks=235, failedAssignments=311, nogoods=116
8.77/5.01 nFilterCalls=30535, avgTableProportion=0.9629629629633086, avgTableSize=26.0
8.77/5.01
8.77/5.10 num=15, depth=197..214, filters=22580, wck=2.179, mem=129M653
8.77/5.10 decisions=4159, wrong=535, backtracks=289, failedAssignments=352, nogoods=119
8.77/5.10 nFilterCalls=31709, avgTableProportion=0.9629629629633158, avgTableSize=26.0
8.77/5.10
8.88/5.15 num=16, depth=83..95, filters=23123, wck=2.233, mem=129M653
8.88/5.15 decisions=4383, wrong=605, backtracks=354, failedAssignments=397, nogoods=121
8.88/5.15 nFilterCalls=32049, avgTableProportion=0.9629629629633178, avgTableSize=26.0
8.88/5.15
9.08/5.31 num=17, depth=47..235, filters=25391, wck=2.395, mem=129M653
9.08/5.31 decisions=4780, wrong=698, backtracks=434, failedAssignments=447, nogoods=123
9.08/5.31 nFilterCalls=33804, avgTableProportion=0.9629629629633274, avgTableSize=26.0
9.08/5.31
9.08/5.36 num=18, depth=38..56, filters=26159, wck=2.443, mem=129M653
9.08/5.36 decisions=4980, wrong=778, backtracks=507, failedAssignments=502, nogoods=125
9.08/5.36 nFilterCalls=34257, avgTableProportion=0.9629629629633297, avgTableSize=26.0
9.08/5.36
9.18/5.48 num=19, depth=22..233, filters=27427, wck=2.557, mem=129M653
9.18/5.48 decisions=5391, wrong=871, backtracks=588, failedAssignments=563, nogoods=134
9.18/5.48 nFilterCalls=35471, avgTableProportion=0.9629629629633356, avgTableSize=26.0
9.18/5.48
9.28/5.57 num=20, depth=20..216, filters=28474, wck=2.656, mem=129M653
9.28/5.57 decisions=5787, wrong=967, backtracks=671, failedAssignments=630, nogoods=142
9.28/5.57 nFilterCalls=36425, avgTableProportion=0.9629629629633399, avgTableSize=26.0
9.28/5.57
9.93/6.04 num=21, depth=18..321, filters=35282, wck=3.118, mem=129M653
9.93/6.04 decisions=6369, wrong=1108, backtracks=787, failedAssignments=704, nogoods=149
9.93/6.04 nFilterCalls=40848, avgTableProportion=0.9629629629633575, avgTableSize=26.0
9.93/6.04
10.43/6.59 num=22, depth=20..341, filters=42938, wck=3.67, mem=129M653
10.43/6.59 decisions=7039, wrong=1282, backtracks=944, failedAssignments=785, nogoods=154
10.43/6.59 nFilterCalls=46630, avgTableProportion=0.9629629629633754, avgTableSize=26.0
10.43/6.59
10.63/6.72 num=23, depth=23..212, filters=44472, wck=3.801, mem=129M653
10.63/6.72 decisions=7547, wrong=1439, backtracks=1087, failedAssignments=874, nogoods=159
10.63/6.72 nFilterCalls=47823, avgTableProportion=0.9629629629633786, avgTableSize=26.0
10.63/6.72
10.73/6.81 num=24, depth=27..152, filters=45674, wck=3.897, mem=129M653
10.73/6.81 decisions=7976, wrong=1588, backtracks=1223, failedAssignments=972, nogoods=164
10.73/6.81 nFilterCalls=48574, avgTableProportion=0.9629629629633805, avgTableSize=26.0
10.73/6.81
10.83/6.91 num=25, depth=38..122, filters=46992, wck=3.996, mem=129M653
10.83/6.91 decisions=8427, wrong=1766, backtracks=1386, failedAssignments=1080, nogoods=168
10.83/6.91 nFilterCalls=49335, avgTableProportion=0.9629629629633824, avgTableSize=26.0
10.83/6.91
10.95/7.03 num=26, depth=39..84, filters=49041, wck=4.107, mem=129M653
10.95/7.03 decisions=8891, wrong=1963, backtracks=1561, failedAssignments=1199, nogoods=176
10.95/7.03 nFilterCalls=50443, avgTableProportion=0.9629629629633849, avgTableSize=26.0
10.95/7.03
11.05/7.11 num=27, depth=39..84, filters=50360, wck=4.195, mem=129M653
11.05/7.11 decisions=9337, wrong=2151, backtracks=1733, failedAssignments=1330, nogoods=186
11.05/7.11 nFilterCalls=51184, avgTableProportion=0.9629629629633867, avgTableSize=26.0
11.05/7.11
11.14/7.22 num=28, depth=51..75, filters=52243, wck=4.306, mem=129M653
11.14/7.22 decisions=9854, wrong=2379, backtracks=1943, failedAssignments=1474, nogoods=194
11.14/7.22 nFilterCalls=52096, avgTableProportion=0.9629629629633887, avgTableSize=26.0
11.14/7.22
11.24/7.34 num=29, depth=58..69, filters=53602, wck=4.421, mem=129M653
11.24/7.34 decisions=10384, wrong=2614, backtracks=2171, failedAssignments=1632, nogoods=198
11.24/7.34 nFilterCalls=52785, avgTableProportion=0.9629629629633901, avgTableSize=26.0
11.24/7.34
11.34/7.48 num=30, depth=49..70, filters=56664, wck=4.563, mem=129M653
11.34/7.48 decisions=11019, wrong=2905, backtracks=2440, failedAssignments=1806, nogoods=203
11.34/7.48 nFilterCalls=54491, avgTableProportion=0.9629629629633937, avgTableSize=26.0
11.34/7.48
11.55/7.64 num=31, depth=29..42, filters=59607, wck=4.717, mem=129M653
11.55/7.64 decisions=11719, wrong=3239, backtracks=2751, failedAssignments=1997, nogoods=209
11.55/7.64 nFilterCalls=56303, avgTableProportion=0.9629629629633971, avgTableSize=26.0
11.55/7.64
11.75/7.80 num=32, depth=19..31, filters=62804, wck=4.887, mem=129M653
11.75/7.80 decisions=12485, wrong=3610, backtracks=3083, failedAssignments=2208, nogoods=215
11.75/7.80 nFilterCalls=57923, avgTableProportion=0.9629629629634, avgTableSize=26.0
11.75/7.80
12.85/8.97 num=33, depth=19..332, filters=81761, wck=6.048, mem=129M653
12.85/8.97 decisions=13770, wrong=4098, backtracks=3488, failedAssignments=2440, nogoods=219
12.85/8.97 nFilterCalls=70558, avgTableProportion=0.9629629629634182, avgTableSize=26.0
12.85/8.97
13.58/9.65 num=34, depth=16..328, filters=91911, wck=6.73, mem=129M653
13.58/9.65 decisions=15010, wrong=4559, backtracks=3862, failedAssignments=2695, nogoods=226
13.58/9.65 nFilterCalls=77068, avgTableProportion=0.9629629629634253, avgTableSize=26.0
13.58/9.65
15.28/11.34 num=35, depth=20..318, filters=113173, wck=8.421, mem=129M653
15.28/11.34 decisions=16468, wrong=5136, backtracks=4342, failedAssignments=2976, nogoods=234
15.28/11.34 nFilterCalls=92203, avgTableProportion=0.9629629629634379, avgTableSize=26.0
15.28/11.34
16.59/12.67 num=36, depth=21..329, filters=132782, wck=9.751, mem=129M653
16.59/12.67 decisions=17892, wrong=5694, backtracks=4778, failedAssignments=3285, nogoods=240
16.59/12.67 nFilterCalls=105601, avgTableProportion=0.962962962963446, avgTableSize=26.0
16.59/12.67
18.49/14.55 num=37, depth=21..344, filters=155524, wck=11.637, mem=129M653
18.49/14.55 decisions=19477, wrong=6322, backtracks=5309, failedAssignments=3625, nogoods=246
18.49/14.55 nFilterCalls=119618, avgTableProportion=0.9629629629634525, avgTableSize=26.0
18.49/14.55
19.92/15.99 num=38, depth=20..371, filters=173843, wck=13.076, mem=129M653
19.92/15.99 decisions=21306, wrong=7062, backtracks=5915, failedAssignments=3999, nogoods=254
19.92/15.99 nFilterCalls=132561, avgTableProportion=0.9629629629634574, avgTableSize=26.0
19.92/15.99
23.02/19.03 num=39, depth=18..358, filters=219510, wck=16.113, mem=129M653
23.02/19.03 decisions=23207, wrong=7847, backtracks=6482, failedAssignments=4410, nogoods=258
23.02/19.03 nFilterCalls=164378, avgTableProportion=0.9629629629609638, avgTableSize=26.0
23.02/19.03
24.92/20.97 num=40, depth=18..352, filters=250482, wck=18.047, mem=129M653
24.92/20.97 decisions=25228, wrong=8694, backtracks=7180, failedAssignments=4862, nogoods=268
24.92/20.97 nFilterCalls=183526, avgTableProportion=0.9629629629597104, avgTableSize=26.0
24.92/20.97
26.42/22.41 num=41, depth=301..330, filters=274211, wck=19.488, mem=129M653
26.42/22.41 decisions=27351, wrong=9605, backtracks=8078, failedAssignments=5359, nogoods=270
26.42/22.41 nFilterCalls=196811, avgTableProportion=0.9629629629589841, avgTableSize=26.0
26.42/22.41
27.73/23.77 num=42, depth=250..308, filters=301324, wck=20.856, mem=132M295
27.73/23.77 decisions=29963, wrong=10786, backtracks=9006, failedAssignments=5906, nogoods=274
27.73/23.77 nFilterCalls=212810, avgTableProportion=0.9629629629582297, avgTableSize=26.0
27.73/23.77
28.14/24.19 num=43, depth=29..126, filters=311047, wck=21.277, mem=132M295
28.14/24.19 decisions=31942, wrong=11727, backtracks=9856, failedAssignments=6508, nogoods=289
28.14/24.19 nFilterCalls=217475, avgTableProportion=0.9629629629580306, avgTableSize=26.0
28.14/24.19
28.74/24.78 num=44, depth=37..70, filters=327067, wck=21.866, mem=132M295
28.74/24.78 decisions=34359, wrong=12914, backtracks=10869, failedAssignments=7170, nogoods=297
28.74/24.78 nFilterCalls=227385, avgTableProportion=0.9629629629576348, avgTableSize=26.0
28.74/24.78
29.34/25.30 num=45, depth=32..47, filters=334784, wck=22.385, mem=132M295
29.34/25.30 decisions=36778, wrong=14106, backtracks=11994, failedAssignments=7898, nogoods=301
29.34/25.30 nFilterCalls=231261, avgTableProportion=0.9629629629574893, avgTableSize=26.0
29.34/25.30
29.84/25.85 num=46, depth=21..39, filters=342844, wck=22.937, mem=132M295
29.84/25.85 decisions=39375, wrong=15393, backtracks=13175, failedAssignments=8699, nogoods=309
29.84/25.85 nFilterCalls=235015, avgTableProportion=0.962962962957353, avgTableSize=26.0
29.84/25.85
31.15/27.18 num=47, depth=23..278, filters=367782, wck=24.26, mem=132M295
31.15/27.18 decisions=43140, wrong=17149, backtracks=14809, failedAssignments=9580, nogoods=318
31.15/27.18 nFilterCalls=249904, avgTableProportion=0.9629629629568522, avgTableSize=26.0
31.15/27.18
34.24/30.25 num=48, depth=27..243, filters=412554, wck=27.336, mem=132M295
34.24/30.25 decisions=47778, wrong=19373, backtracks=16932, failedAssignments=10550, nogoods=328
34.24/30.25 nFilterCalls=280249, avgTableProportion=0.9629629629568298, avgTableSize=26.0
34.24/30.25
40.74/36.76 num=49, depth=30..190, filters=510591, wck=33.838, mem=132M295
40.74/36.76 decisions=53708, wrong=22275, backtracks=19636, failedAssignments=11617, nogoods=343
40.74/36.76 nFilterCalls=342067, avgTableProportion=0.9629629629606654, avgTableSize=26.0
40.74/36.76
41.65/37.65 num=50, depth=27..42, filters=533354, wck=34.73, mem=132M295
41.65/37.65 decisions=57775, wrong=24293, backtracks=21478, failedAssignments=12790, nogoods=349
41.65/37.65 nFilterCalls=353277, avgTableProportion=0.9629629629612172, avgTableSize=26.0
41.65/37.65
47.66/43.65 num=51, depth=19..140, filters=626589, wck=40.73, mem=132M295
47.66/43.65 decisions=63563, wrong=27129, backtracks=24044, failedAssignments=14081, nogoods=357
47.66/43.65 nFilterCalls=415539, avgTableProportion=0.9629629629637398, avgTableSize=26.0
47.66/43.65
53.46/49.50 num=52, depth=21..148, filters=743308, wck=46.579, mem=132M295
53.46/49.50 decisions=69238, wrong=29919, backtracks=26726, failedAssignments=15501, nogoods=373
53.46/49.50 nFilterCalls=489059, avgTableProportion=0.9629629629658917, avgTableSize=26.0
53.46/49.50
59.86/55.84 num=53, depth=23..143, filters=863677, wck=52.921, mem=132M295
59.86/55.84 decisions=76772, wrong=33633, backtracks=29993, failedAssignments=17063, nogoods=386
59.86/55.84 nFilterCalls=566637, avgTableProportion=0.9629629629652778, avgTableSize=26.0
59.86/55.84
68.48/64.46 num=54, depth=33..133, filters=1014813, wck=61.539, mem=132M295
68.48/64.46 decisions=84196, wrong=37294, backtracks=33424, failedAssignments=18781, nogoods=402
68.48/64.46 nFilterCalls=665224, avgTableProportion=0.9629629629585448, avgTableSize=26.0
68.48/64.46
70.91/66.87 num=55, depth=46..132, filters=1087905, wck=63.949, mem=132M295
70.91/66.87 decisions=91559, wrong=40919, backtracks=36277, failedAssignments=20671, nogoods=411
70.91/66.87 nFilterCalls=708537, avgTableProportion=0.9629629629561792, avgTableSize=26.0
70.91/66.87
74.22/70.18 num=56, depth=50..130, filters=1224715, wck=67.266, mem=134M938
74.22/70.18 decisions=100295, wrong=45231, backtracks=39739, failedAssignments=22750, nogoods=422
74.22/70.18 nFilterCalls=821687, avgTableProportion=0.962962962951176, avgTableSize=26.0
74.22/70.18
84.91/80.88 num=57, depth=57..380, filters=1409893, wck=77.967, mem=134M938
84.91/80.88 decisions=110631, wrong=50238, backtracks=44327, failedAssignments=25037, nogoods=437
84.91/80.88 nFilterCalls=934225, avgTableProportion=0.9629629629474019, avgTableSize=26.0
84.91/80.88
88.41/84.37 num=58, depth=56..308, filters=1494837, wck=81.448, mem=134M938
88.41/84.37 decisions=121537, wrong=55572, backtracks=48667, failedAssignments=27553, nogoods=452
88.41/84.37 nFilterCalls=980974, avgTableProportion=0.9629629629460887, avgTableSize=26.0
88.41/84.37
91.22/87.13 num=59, depth=75..237, filters=1556163, wck=84.213, mem=134M938
91.22/87.13 decisions=134567, wrong=61983, backtracks=54179, failedAssignments=30321, nogoods=459
91.22/87.13 nFilterCalls=1008727, avgTableProportion=0.9629629629453668, avgTableSize=26.0
91.22/87.13
97.86/93.79 num=60, depth=94..204, filters=1770179, wck=90.876, mem=134M938
97.86/93.79 decisions=149426, wrong=69322, backtracks=60967, failedAssignments=33365, nogoods=471
97.86/93.79 nFilterCalls=1135658, avgTableProportion=0.9629629629425144, avgTableSize=26.0
97.86/93.79
106.19/102.07 num=61, depth=116..222, filters=2025793, wck=99.149, mem=134M938
106.19/102.07 decisions=165158, wrong=77094, backtracks=68024, failedAssignments=36714, nogoods=491
106.19/102.07 nFilterCalls=1314271, avgTableProportion=0.9629629629394337, avgTableSize=26.0
106.19/102.07
129.79/125.61 num=62, depth=156..226, filters=2354274, wck=122.688, mem=137M580
129.79/125.61 decisions=185044, wrong=86939, backtracks=77392, failedAssignments=40398, nogoods=503
129.79/125.61 nFilterCalls=1544868, avgTableProportion=0.96296296293651, avgTableSize=26.0
129.79/125.61
162.99/158.84 num=63, depth=162..209, filters=4049208, wck=155.918, mem=137M580
162.99/158.84 decisions=202463, wrong=95563, backtracks=83082, failedAssignments=44450, nogoods=511
162.99/158.84 nFilterCalls=2574003, avgTableProportion=0.962962962965685, avgTableSize=26.0
162.99/158.84
166.40/162.22 num=64, depth=133..199, filters=4137100, wck=159.306, mem=137M580
166.40/162.22 decisions=217806, wrong=103165, backtracks=89839, failedAssignments=48907, nogoods=517
166.40/162.22 nFilterCalls=2623689, avgTableProportion=0.962962962969226, avgTableSize=26.0
166.40/162.22
189.10/184.91 num=65, depth=102..219, filters=4461907, wck=181.989, mem=137M580
189.10/184.91 decisions=238730, wrong=113538, backtracks=99927, failedAssignments=53810, nogoods=533
189.10/184.91 nFilterCalls=2845194, avgTableProportion=0.9629629629835081, avgTableSize=26.0
189.10/184.91
221.33/217.15 num=66, depth=119..215, filters=4903427, wck=214.232, mem=140M223
221.33/217.15 decisions=263200, wrong=125690, backtracks=111599, failedAssignments=59204, nogoods=548
221.33/217.15 nFilterCalls=3163827, avgTableProportion=0.9629629630005453, avgTableSize=26.0
221.33/217.15
240.12/235.91 num=67, depth=134..209, filters=5283965, wck=232.997, mem=140M223
240.12/235.91 decisions=284491, wrong=136253, backtracks=121120, failedAssignments=65137, nogoods=557
240.12/235.91 nFilterCalls=3409805, avgTableProportion=0.9629629630115198, avgTableSize=26.0
240.12/235.91
258.92/254.71 num=68, depth=136..212, filters=5829226, wck=251.793, mem=140M223
258.92/254.71 decisions=313135, wrong=150501, backtracks=133153, failedAssignments=71663, nogoods=571
258.92/254.71 nFilterCalls=3724393, avgTableProportion=0.962962963023443, avgTableSize=26.0
258.92/254.71
280.43/276.26 num=69, depth=107..184, filters=6489034, wck=273.337, mem=142M778
280.43/276.26 decisions=341295, wrong=164525, backtracks=145220, failedAssignments=78842, nogoods=586
280.43/276.26 nFilterCalls=4131693, avgTableProportion=0.9629629630361828, avgTableSize=26.0
280.43/276.26
304.55/300.38 num=70, depth=81..340, filters=7222319, wck=297.463, mem=142M778
304.55/300.38 decisions=373687, wrong=180624, backtracks=158237, failedAssignments=86739, nogoods=605
304.55/300.38 nFilterCalls=4622820, avgTableProportion=0.9629629630216441, avgTableSize=26.0
304.55/300.38
344.43/340.14 num=71, depth=94..172, filters=7874017, wck=337.22, mem=48M87
344.43/340.14 decisions=409809, wrong=198626, backtracks=175343, failedAssignments=95426, nogoods=613
344.43/340.14 nFilterCalls=5060591, avgTableProportion=0.9629629629926968, avgTableSize=26.0
344.43/340.14
372.53/368.29 num=72, depth=98..147, filters=8288740, wck=365.37, mem=48M87
372.53/368.29 decisions=442546, wrong=214936, backtracks=190330, failedAssignments=104981, nogoods=622
372.53/368.29 nFilterCalls=5338607, avgTableProportion=0.962962962976778, avgTableSize=26.0
372.53/368.29
386.95/382.65 num=73, depth=104..342, filters=8908851, wck=379.736, mem=50M650
386.95/382.65 decisions=481483, wrong=234297, backtracks=206821, failedAssignments=115492, nogoods=633
386.95/382.65 nFilterCalls=5698042, avgTableProportion=0.9629629629584996, avgTableSize=26.0
386.95/382.65
398.46/394.11 num=74, depth=97..387, filters=9505683, wck=391.193, mem=50M650
398.46/394.11 decisions=524550, wrong=255727, backtracks=224850, failedAssignments=127054, nogoods=660
398.46/394.11 nFilterCalls=6040277, avgTableProportion=0.9629629629431177, avgTableSize=26.0
398.46/394.11
409.56/405.25 num=75, depth=98..195, filters=9810535, wck=402.328, mem=53M213
409.56/405.25 decisions=575457, wrong=281121, backtracks=243800, failedAssignments=139772, nogoods=676
409.56/405.25 nFilterCalls=6246912, avgTableProportion=0.9629629629346463, avgTableSize=26.0
409.56/405.25
434.70/430.31 num=76, depth=103..388, filters=12002730, wck=427.388, mem=55M776
434.70/430.31 decisions=638598, wrong=312524, backtracks=271266, failedAssignments=153762, nogoods=727
434.70/430.31 nFilterCalls=7398436, avgTableProportion=0.9629629628961041, avgTableSize=26.0
434.70/430.31
474.94/470.55 num=77, depth=133..372, filters=13339120, wck=467.634, mem=55M776
474.94/470.55 decisions=705184, wrong=345665, backtracks=299022, failedAssignments=169151, nogoods=757
474.94/470.55 nFilterCalls=8205414, avgTableProportion=0.9629629628755407, avgTableSize=26.0
474.94/470.55
499.26/494.86 num=78, depth=131..292, filters=14403553, wck=491.946, mem=58M339
499.26/494.86 decisions=772816, wrong=379372, backtracks=327961, failedAssignments=186079, nogoods=777
499.26/494.86 nFilterCalls=8813250, avgTableProportion=0.9629629628625386, avgTableSize=26.0
499.26/494.86
513.07/508.66 num=79, depth=134..155, filters=14683846, wck=505.742, mem=60M902
513.07/508.66 decisions=841287, wrong=413539, backtracks=358657, failedAssignments=204700, nogoods=787
513.07/508.66 nFilterCalls=8940659, avgTableProportion=0.9629629628600374, avgTableSize=26.0
513.07/508.66
569.98/565.51 num=80, depth=35..213, filters=15850358, wck=562.59, mem=63M465
569.98/565.51 decisions=922384, wrong=453995, backtracks=392975, failedAssignments=225184, nogoods=803
569.98/565.51 nFilterCalls=9734757, avgTableProportion=0.9629629628459233, avgTableSize=26.0
569.98/565.51
729.74/725.20 num=81, depth=38..188, filters=18227089, wck=722.279, mem=68M591
729.74/725.20 decisions=1029836, wrong=507661, backtracks=442087, failedAssignments=247716, nogoods=818
729.74/725.20 nFilterCalls=11302969, avgTableProportion=0.962962962823876, avgTableSize=26.0
729.74/725.20
875.28/870.72 num=82, depth=38..197, filters=20350509, wck=867.804, mem=71M154
875.28/870.72 decisions=1126659, wrong=556012, backtracks=481800, failedAssignments=272501, nogoods=834
875.28/870.72 nFilterCalls=12759959, avgTableProportion=0.9629629628082486, avgTableSize=26.0
875.28/870.72
975.11/970.55 num=83, depth=56..238, filters=21976126, wck=967.63, mem=73M717
975.11/970.55 decisions=1249749, wrong=617460, backtracks=538429, failedAssignments=299765, nogoods=858
975.11/970.55 nFilterCalls=13819899, avgTableProportion=0.9629629627989504, avgTableSize=26.0
975.11/970.55
1077.34/1072.77 num=84, depth=75..205, filters=23843968, wck=1069.854, mem=78M843
1077.34/1072.77 decisions=1364840, wrong=674948, backtracks=591775, failedAssignments=329755, nogoods=873
1077.34/1072.77 nFilterCalls=14949943, avgTableProportion=0.9629629627904894, avgTableSize=26.0
1077.34/1072.77
1205.79/1201.13 num=85, depth=86..164, filters=26303556, wck=1198.214, mem=83M969
1205.79/1201.13 decisions=1508457, wrong=746707, backtracks=653990, failedAssignments=362744, nogoods=888
1205.79/1201.13 nFilterCalls=16571774, avgTableProportion=0.9629629627803628, avgTableSize=26.0
1205.79/1201.13
1260.70/1256.09 num=86, depth=101..282, filters=30177609, wck=1253.174, mem=89M95
1260.70/1256.09 decisions=1663089, wrong=823908, backtracks=717299, failedAssignments=399032, nogoods=929
1260.70/1256.09 nFilterCalls=18708155, avgTableProportion=0.9629629627697031, avgTableSize=26.0
1260.70/1256.09
1284.31/1279.66 num=87, depth=135..1199, filters=31216850, ccks=1463, wck=1276.738, mem=92M979
1284.31/1279.66 decisions=1734000, wrong=859200, backtracks=745516, failedAssignments=416118, nogoods=929, foundSolutions=1
1284.31/1279.66 nFilterCalls=19281708, avgTableProportion=0.9629629627672434, avgTableSize=26.0
1284.31/1279.66
1284.31/1279.66 Global
1284.31/1279.66 filters=31216850, ccks=1463, nogoods=929
1284.31/1279.66 Stop=REACHED_GOAL, wrong=859200, foundSolutions=1, firstSolCpu=1279.572
1284.31/1279.66 wck=1277.809, cpu=1279.599, mem=92M979
1284.31/1279.66
1284.31/1279.66 v <instantiation id='sol1' type='solution'> <list> cls[] opt[][] </list> <values> 17 11 14 0 5 15 14 11 26 10 13 2 11 14 11 2 5 10 2 20 19 26 10 14 10 20 24 20 21 3 25 20 10 14 1 20 11 5 0 4 21 14 10 26 19 16 0 14 10 3 21 4 0 21 20 0 5 6 3 21 20 10 26 11 6 5 11 20 9 20 11 24 16 11 5 11 0 5 11 3 21 4 0 5 11 20 9 20 6 26 11 10 18 11 11 12 10 11 18 11 11 18 6 20 9 11 16 19 20 11 21 16 11 23 11 22 5 11 20 24 16 10 26 11 4 2 16 10 26 11 20 24 16 10 26 11 20 2 16 10 26 11 20 1 20 11 9 20 11 13 0 20 21 3 11 13 0 20 25 22 20 19 22 20 25 7 11 23 11 7 25 16 8 14 11 0 5 10 3 19 20 22 14 10 0 14 11 3 19 16 22 14 11 8 14 11 22 14 15 3 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 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 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 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 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 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 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 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 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 </values> </instantiation>
1284.31/1279.66 s SATISFIABLE
1284.31/1279.66
1284.31/1279.66 d WRONG_DECISIONS 859200
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 (14971 MiB free)
memory of node 1: 16384 MiB (15262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390669-1568383110/watcher-4390669-1568383110 -o /tmp/evaluation-result-4390669-1568383110/solver-4390669-1568383110 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5058 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390669-1568383110.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6743, runsolver pid=6740
[startup+0.100058 s]*
/proc/loadavg: 2.16 1.99 1.83 5/228 6758
/proc/meminfo: memFree=30942512/32770624 swapFree=66934484/67108860
[pid=6743] ppid=6740 vsize=10659884 memory=27800 CPUtime=0.12 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 5428 0 0 0 11 1 0 0 20 0 15 0 414582446 10915721216 6950 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2664971 6950 2842 1 0 2627468 0
[pid=6743/tid=6745] ppid=6740 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) R 6740 6743 5027 0 -1 4202560 3309 0 0 0 8 1 0 0 20 0 15 0 414582446 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094986840448 140094602365796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10659884 memory=5793855756242844089 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582448 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6751] ppid=6740 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6751/stat : 6751 (java) S 6740 6743 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414582449 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094540649888 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6752] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6752/stat : 6752 (java) S 6740 6743 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414582449 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094539597296 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6753] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6753/stat : 6753 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414582451 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094538545872 140094982629275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6754] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6754/stat : 6754 (java) R 6740 6743 5027 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 414582451 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094537492464 140094982621826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6755] ppid=6740 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6755/stat : 6755 (java) R 6740 6743 5027 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 15 0 414582451 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094536439920 140094966046417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6756] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0.02 cores=0,2,4,6
/proc/6743/task/6756/stat : 6756 (java) R 6740 6743 5027 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 414582451 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094535387376 140094960743144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6757] ppid=6740 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6757/stat : 6757 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414582452 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094534335072 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6758] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6758/stat : 6758 (java) R 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582452 10915721216 6950 33554432000 4194304 4196468 140725559274288 140094533282608 140094982621826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27800 KiB
[startup+0.211302 s]*
/proc/loadavg: 2.16 1.99 1.83 3/228 6758
/proc/meminfo: memFree=30936000/32770624 swapFree=66934484/67108860
[pid=6743] ppid=6740 vsize=10659884 memory=34972 CPUtime=0.31 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 6942 0 0 0 29 2 0 0 20 0 15 0 414582446 10915721216 8743 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2664971 8743 2989 1 0 2627468 0
[pid=6743/tid=6745] ppid=6740 vsize=10659884 memory=-3103912127665269909 CPUtime=0.19 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) R 6740 6743 5027 0 -1 4202560 3879 0 0 0 18 1 0 0 20 0 15 0 414582446 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094986842768 140094982632605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10659884 memory=4211974231437741450 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582448 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6751] ppid=6740 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6751/stat : 6751 (java) S 6740 6743 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414582449 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094540649888 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6752] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6752/stat : 6752 (java) S 6740 6743 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414582449 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094539597296 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6753] ppid=6740 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6753/stat : 6753 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414582451 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094538545872 140094982629275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6754] ppid=6740 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6743/task/6754/stat : 6754 (java) S 6740 6743 5027 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 414582451 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094537492464 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6755] ppid=6740 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6755/stat : 6755 (java) S 6740 6743 5027 0 -1 1077944384 483 0 0 0 3 0 0 0 20 0 15 0 414582451 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094536439920 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6756] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0.05 cores=0,2,4,6
/proc/6743/task/6756/stat : 6756 (java) S 6740 6743 5027 0 -1 1077944384 716 0 0 0 5 0 0 0 20 0 15 0 414582451 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094535387376 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6757] ppid=6740 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6757/stat : 6757 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414582452 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094534335072 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6758] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6758/stat : 6758 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582452 10915721216 8743 33554432000 4194304 4196468 140725559274288 140094533282608 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34972 KiB
[startup+0.310131 s]*
/proc/loadavg: 2.16 1.99 1.83 3/228 6758
/proc/meminfo: memFree=30929096/32770624 swapFree=66934484/67108860
[pid=6743] ppid=6740 vsize=10659884 memory=40360 CPUtime=0.45 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 9450 0 0 0 42 3 0 0 20 0 15 0 414582446 10915721216 10075 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2664971 10090 3002 1 0 2627468 0
[pid=6743/tid=6745] ppid=6740 vsize=10659884 memory=7377246124687064083 CPUtime=0.29 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) R 6740 6743 5027 0 -1 4202560 6323 0 0 0 27 2 0 0 20 0 15 0 414582446 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094986849664 140094966691196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10659884 memory=4211974231437741450 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10659884 memory=140505232955939 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10659884 memory=140505090473421 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10659884 memory=140505090477519 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582447 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10659884 memory=140505232955970 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582448 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6751] ppid=6740 vsize=10659884 memory=140505090486703 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6751/stat : 6751 (java) S 6740 6743 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414582449 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094540649888 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6752] ppid=6740 vsize=10659884 memory=281010180964240 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6752/stat : 6752 (java) S 6740 6743 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414582449 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094539597296 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6753] ppid=6740 vsize=10659884 memory=281010180961936 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6753/stat : 6753 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414582451 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094538545872 140094982629275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6754] ppid=6740 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6754/stat : 6754 (java) S 6740 6743 5027 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 15 0 414582451 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094537492464 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6755] ppid=6740 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/6743/task/6755/stat : 6755 (java) S 6740 6743 5027 0 -1 1077944384 491 0 0 0 4 0 0 0 20 0 15 0 414582451 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094536439920 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6756] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0.07 cores=0,2,4,6
/proc/6743/task/6756/stat : 6756 (java) R 6740 6743 5027 0 -1 4202560 738 0 0 0 7 0 0 0 20 0 15 0 414582451 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094535382416 140094982632026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6757] ppid=6740 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6757/stat : 6757 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414582452 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094534335072 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6758] ppid=6740 vsize=10659884 memory=140505232950912 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6758/stat : 6758 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582452 10915721216 10090 33554432000 4194304 4196468 140725559274288 140094533282608 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40360 KiB
[startup+0.706305 s]
/proc/loadavg: 2.16 1.99 1.83 3/228 6758
/proc/meminfo: memFree=30919688/32770624 swapFree=66934484/67108860
[pid=6743] ppid=6740 vsize=10661932 memory=64300 CPUtime=1.11 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 13207 0 0 0 105 6 0 0 20 0 15 0 414582446 10917818368 16075 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2665483 16075 3075 1 0 2627980 0
[pid=6743/tid=6745] ppid=6740 vsize=10661932 memory=3932 CPUtime=0.68 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) R 6740 6743 5027 0 -1 4202560 8900 0 0 0 64 4 0 0 20 0 15 0 414582446 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094986841280 140094962887504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10661932 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582447 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10661932 memory=5788063852999566677 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582448 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6751] ppid=6740 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6751/stat : 6751 (java) S 6740 6743 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414582449 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094540649888 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6752] ppid=6740 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6752/stat : 6752 (java) S 6740 6743 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414582449 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094539597296 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6753] ppid=6740 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6753/stat : 6753 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414582451 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094538545872 140094982629275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6754] ppid=6740 vsize=10661932 memory=347 CPUtime=0.1 cores=0,2,4,6
/proc/6743/task/6754/stat : 6754 (java) S 6740 6743 5027 0 -1 1077944384 900 0 0 0 10 0 0 0 20 0 15 0 414582451 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094537492464 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6755] ppid=6740 vsize=10661932 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/6743/task/6755/stat : 6755 (java) R 6740 6743 5027 0 -1 4202560 822 0 0 0 10 0 0 0 20 0 15 0 414582451 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094536426016 140094964135860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6756] ppid=6740 vsize=10661932 memory=26462 CPUtime=0.18 cores=0,2,4,6
/proc/6743/task/6756/stat : 6756 (java) S 6740 6743 5027 0 -1 1077944384 1225 0 0 0 18 0 0 0 20 0 15 0 414582451 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094535387376 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6757] ppid=6740 vsize=10661932 memory=281010181148144 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6757/stat : 6757 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414582452 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094534335072 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6758] ppid=6740 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6758/stat : 6758 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582452 10917818368 16075 33554432000 4194304 4196468 140725559274288 140094533282608 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64300 KiB
[startup+1.50076 s]
/proc/loadavg: 2.16 1.99 1.83 3/228 6758
/proc/meminfo: memFree=30903668/32770624 swapFree=66934484/67108860
[pid=6743] ppid=6740 vsize=10663980 memory=76036 CPUtime=2 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 18793 0 0 0 193 7 0 0 20 0 15 0 414582446 10919915520 19009 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2665995 19009 3097 1 0 2628492 0
[pid=6743/tid=6745] ppid=6740 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) R 6740 6743 5027 0 -1 4202560 13109 0 0 0 143 4 0 0 20 0 15 0 414582446 10919915520 19009 33554432000 4194304 4196468 140725559274288 140094986842704 140094966691196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10919915520 19009 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10919915520 19009 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10663980 memory=-6305718321041531520 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414582447 10919915520 19009 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10663980 memory=4947378594602393216 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414582447 10919915520 19009 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10663980 memory=-6152018833316209506 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 414582448 10919915520 19009 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
################
# More data... #
################
[startup+1276.8 s]
/proc/loadavg: 1.87 1.87 1.86 3/229 7051
/proc/meminfo: memFree=30664040/32770624 swapFree=66934512/67108860
[pid=6743] ppid=6740 vsize=10748324 memory=301708 CPUtime=1281.51 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 63446 0 0 0 128117 34 0 0 20 0 16 0 414582446 11006283776 75427 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2687081 75427 3381 1 0 2647217 0
[pid=6743/tid=6745] ppid=6740 vsize=10748324 memory=1564 CPUtime=1.85 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) S 6740 6743 5027 0 -1 1077944384 15351 0 0 0 179 6 0 0 20 0 16 0 414582446 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094986853552 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10748324 memory=3620 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 293 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10748324 memory=22228 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 221 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10748324 memory=301708 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10748324 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 1671 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10748324 memory=5952 CPUtime=0.02 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 1712 0 0 0 2 0 0 0 20 0 16 0 414582448 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6751] ppid=6740 vsize=10748324 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6751/stat : 6751 (java) S 6740 6743 5027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414582449 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094540649952 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6752] ppid=6740 vsize=10748324 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6752/stat : 6752 (java) S 6740 6743 5027 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 414582449 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094539597312 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6753] ppid=6740 vsize=10748324 memory=301708 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6753/stat : 6753 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094538545872 140094982629275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6754] ppid=6740 vsize=10748324 memory=3932 CPUtime=1.66 cores=0,2,4,6
/proc/6743/task/6754/stat : 6754 (java) S 6740 6743 5027 0 -1 1077944384 10779 0 0 0 164 2 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094537492464 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6755] ppid=6740 vsize=10748324 memory=984 CPUtime=1.7 cores=0,2,4,6
/proc/6743/task/6755/stat : 6755 (java) S 6740 6743 5027 0 -1 1077944384 7965 0 0 0 169 1 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094536439920 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6756] ppid=6740 vsize=10748324 memory=2032 CPUtime=0.88 cores=0,2,4,6
/proc/6743/task/6756/stat : 6756 (java) S 6740 6743 5027 0 -1 1077944384 7434 0 0 0 85 3 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094535387376 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6757] ppid=6740 vsize=10748324 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6757/stat : 6757 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414582452 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094534335072 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6758] ppid=6740 vsize=10748324 memory=924 CPUtime=0.32 cores=0,2,4,6
/proc/6743/task/6758/stat : 6758 (java) S 6740 6743 5027 0 -1 1077944384 831 0 0 0 12 20 0 0 20 0 16 0 414582452 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094533282608 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6759] ppid=6740 vsize=10748324 memory=1420 CPUtime=1274.86 cores=0,2,4,6
/proc/6743/task/6759/stat : 6759 (java) R 6740 6743 5027 0 -1 4202560 15602 0 0 0 127482 4 0 0 20 0 16 0 414582634 11006283776 75427 33554432000 4194304 4196468 140725559274288 140093992939440 140094610446564 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
Current children cumulated CPU time: 1281.51 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 301708 KiB
[startup+1278.4 s]
/proc/loadavg: 1.87 1.87 1.86 3/229 7051
/proc/meminfo: memFree=30664040/32770624 swapFree=66934512/67108860
[pid=6743] ppid=6740 vsize=10748324 memory=301708 CPUtime=1283.11 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 63446 0 0 0 128277 34 0 0 20 0 16 0 414582446 11006283776 75427 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2687081 75427 3381 1 0 2647217 0
[pid=6743/tid=6745] ppid=6740 vsize=10748324 memory=984 CPUtime=1.85 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) S 6740 6743 5027 0 -1 1077944384 15351 0 0 0 179 6 0 0 20 0 16 0 414582446 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094986853552 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10748324 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 293 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10748324 memory=8296 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 221 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10748324 memory=5952 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10748324 memory=1124 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 1671 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10748324 memory=14008 CPUtime=0.02 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 1712 0 0 0 2 0 0 0 20 0 16 0 414582448 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6751] ppid=6740 vsize=10748324 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6751/stat : 6751 (java) S 6740 6743 5027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414582449 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094540649952 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6752] ppid=6740 vsize=10748324 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6752/stat : 6752 (java) S 6740 6743 5027 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 414582449 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094539597312 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6753] ppid=6740 vsize=10748324 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6753/stat : 6753 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094538545872 140094982629275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6754] ppid=6740 vsize=10748324 memory=976 CPUtime=1.66 cores=0,2,4,6
/proc/6743/task/6754/stat : 6754 (java) S 6740 6743 5027 0 -1 1077944384 10779 0 0 0 164 2 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094537492464 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6755] ppid=6740 vsize=10748324 memory=772 CPUtime=1.7 cores=0,2,4,6
/proc/6743/task/6755/stat : 6755 (java) S 6740 6743 5027 0 -1 1077944384 7965 0 0 0 169 1 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094536439920 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6756] ppid=6740 vsize=10748324 memory=3932 CPUtime=0.88 cores=0,2,4,6
/proc/6743/task/6756/stat : 6756 (java) S 6740 6743 5027 0 -1 1077944384 7434 0 0 0 85 3 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094535387376 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6757] ppid=6740 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6757/stat : 6757 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414582452 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094534335072 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6758] ppid=6740 vsize=10748324 memory=1548 CPUtime=0.32 cores=0,2,4,6
/proc/6743/task/6758/stat : 6758 (java) S 6740 6743 5027 0 -1 1077944384 831 0 0 0 12 20 0 0 20 0 16 0 414582452 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094533282608 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6759] ppid=6740 vsize=10748324 memory=1056 CPUtime=1276.46 cores=0,2,4,6
/proc/6743/task/6759/stat : 6759 (java) R 6740 6743 5027 0 -1 4202560 15602 0 0 0 127642 4 0 0 20 0 16 0 414582634 11006283776 75427 33554432000 4194304 4196468 140725559274288 140093992939440 140094610381363 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
Current children cumulated CPU time: 1283.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 301708 KiB
[startup+1279.2 s]
/proc/loadavg: 1.87 1.87 1.86 3/229 7051
/proc/meminfo: memFree=30664040/32770624 swapFree=66934512/67108860
[pid=6743] ppid=6740 vsize=10748324 memory=301708 CPUtime=1283.91 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 63446 0 0 0 128357 34 0 0 20 0 16 0 414582446 11006283776 75427 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2687081 75427 3381 1 0 2647217 0
[pid=6743/tid=6745] ppid=6740 vsize=10748324 memory=976 CPUtime=1.85 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) S 6740 6743 5027 0 -1 1077944384 15351 0 0 0 179 6 0 0 20 0 16 0 414582446 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094986853552 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10748324 memory=772 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 293 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10748324 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 221 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10748324 memory=11928 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10748324 memory=2124 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 1671 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10748324 memory=7152 CPUtime=0.02 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 1712 0 0 0 2 0 0 0 20 0 16 0 414582448 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6751] ppid=6740 vsize=10748324 memory=504 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6751/stat : 6751 (java) S 6740 6743 5027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414582449 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094540649952 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6752] ppid=6740 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6752/stat : 6752 (java) S 6740 6743 5027 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 414582449 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094539597312 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6753] ppid=6740 vsize=10748324 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6753/stat : 6753 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094538545872 140094982629275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6754] ppid=6740 vsize=10748324 memory=1332 CPUtime=1.66 cores=0,2,4,6
/proc/6743/task/6754/stat : 6754 (java) S 6740 6743 5027 0 -1 1077944384 10779 0 0 0 164 2 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094537492464 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6755] ppid=6740 vsize=10748324 memory=1564 CPUtime=1.7 cores=0,2,4,6
/proc/6743/task/6755/stat : 6755 (java) S 6740 6743 5027 0 -1 1077944384 7965 0 0 0 169 1 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094536439920 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6756] ppid=6740 vsize=10748324 memory=976 CPUtime=0.88 cores=0,2,4,6
/proc/6743/task/6756/stat : 6756 (java) S 6740 6743 5027 0 -1 1077944384 7434 0 0 0 85 3 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094535387376 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6757] ppid=6740 vsize=10748324 memory=772 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6757/stat : 6757 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414582452 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094534335072 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6758] ppid=6740 vsize=10748324 memory=3932 CPUtime=0.32 cores=0,2,4,6
/proc/6743/task/6758/stat : 6758 (java) S 6740 6743 5027 0 -1 1077944384 831 0 0 0 12 20 0 0 20 0 16 0 414582452 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094533282608 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6759] ppid=6740 vsize=10748324 memory=2832 CPUtime=1277.26 cores=0,2,4,6
/proc/6743/task/6759/stat : 6759 (java) R 6740 6743 5027 0 -1 4202560 15602 0 0 0 127722 4 0 0 20 0 16 0 414582634 11006283776 75427 33554432000 4194304 4196468 140725559274288 140093992939440 140094610580686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
Current children cumulated CPU time: 1283.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 301708 KiB
[startup+1279.6 s]
/proc/loadavg: 1.87 1.87 1.86 3/229 7051
/proc/meminfo: memFree=30664040/32770624 swapFree=66934512/67108860
[pid=6743] ppid=6740 vsize=10748324 memory=301708 CPUtime=1284.31 cores=0,2,4,6
/proc/6743/stat : 6743 (java) S 6740 6743 5027 0 -1 1077944320 63446 0 0 0 128397 34 0 0 20 0 16 0 414582446 11006283776 75427 33554432000 4194304 4196468 140725559274288 140725559256832 140094982610679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
/proc/6743/statm: 2687081 75427 3381 1 0 2647217 0
[pid=6743/tid=6745] ppid=6740 vsize=10748324 memory=2896 CPUtime=1.85 cores=0,2,4,6
/proc/6743/task/6745/stat : 6745 (java) S 6740 6743 5027 0 -1 1077944384 15351 0 0 0 179 6 0 0 20 0 16 0 414582446 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094986853552 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6746] ppid=6740 vsize=10748324 memory=2904 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6746/stat : 6746 (java) S 6740 6743 5027 0 -1 1077944384 293 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094924613904 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6747] ppid=6740 vsize=10748324 memory=1656 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6747/stat : 6747 (java) S 6740 6743 5027 0 -1 1077944384 221 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094923561360 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6748] ppid=6740 vsize=10748324 memory=3620 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6748/stat : 6748 (java) S 6740 6743 5027 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094922508816 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6749] ppid=6740 vsize=10748324 memory=22228 CPUtime=0.03 cores=0,2,4,6
/proc/6743/task/6749/stat : 6749 (java) S 6740 6743 5027 0 -1 1077944384 1671 0 0 0 2 1 0 0 20 0 16 0 414582447 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094586280592 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6750] ppid=6740 vsize=10748324 memory=984 CPUtime=0.02 cores=0,2,4,6
/proc/6743/task/6750/stat : 6750 (java) S 6740 6743 5027 0 -1 1077944384 1712 0 0 0 2 0 0 0 20 0 16 0 414582448 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094541703664 140094982621826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6751] ppid=6740 vsize=10748324 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6751/stat : 6751 (java) S 6740 6743 5027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414582449 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094540649952 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6752] ppid=6740 vsize=10748324 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6752/stat : 6752 (java) S 6740 6743 5027 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 414582449 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094539597312 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6753] ppid=6740 vsize=10748324 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6753/stat : 6753 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094538545872 140094982629275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6754] ppid=6740 vsize=10748324 memory=1984 CPUtime=1.66 cores=0,2,4,6
/proc/6743/task/6754/stat : 6754 (java) S 6740 6743 5027 0 -1 1077944384 10779 0 0 0 164 2 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094537492464 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6755] ppid=6740 vsize=10748324 memory=2532 CPUtime=1.7 cores=0,2,4,6
/proc/6743/task/6755/stat : 6755 (java) S 6740 6743 5027 0 -1 1077944384 7965 0 0 0 169 1 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094536439920 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6756] ppid=6740 vsize=10748324 memory=1440 CPUtime=0.88 cores=0,2,4,6
/proc/6743/task/6756/stat : 6756 (java) S 6740 6743 5027 0 -1 1077944384 7434 0 0 0 85 3 0 0 20 0 16 0 414582451 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094535387376 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6757] ppid=6740 vsize=10748324 memory=808 CPUtime=0 cores=0,2,4,6
/proc/6743/task/6757/stat : 6757 (java) S 6740 6743 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414582452 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094534335072 140094982620885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6758] ppid=6740 vsize=10748324 memory=1772 CPUtime=0.32 cores=0,2,4,6
/proc/6743/task/6758/stat : 6758 (java) S 6740 6743 5027 0 -1 1077944384 831 0 0 0 12 20 0 0 20 0 16 0 414582452 11006283776 75427 33554432000 4194304 4196468 140725559274288 140094533282608 140094982621826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
[pid=6743/tid=6759] ppid=6740 vsize=10748324 memory=111632 CPUtime=1277.66 cores=0,2,4,6
/proc/6743/task/6759/stat : 6759 (java) R 6740 6743 5027 0 -1 4202560 15602 0 0 0 127762 4 0 0 20 0 16 0 414582634 11006283776 75427 33554432000 4194304 4196468 140725559274288 140093992939440 140094611289953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19709952 140725559276555 140725559276658 140725559276658 140725559279567 0
Current children cumulated CPU time: 1284.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 301708 KiB
Child status: 0
Real time (s): 1279.68
CPU time (s): 1284.44
CPU user time (s): 1284.09
CPU system time (s): 0.347077
CPU usage (%): 100.372
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 301708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1284.09
system time used= 0.347077
maximum resident set size= 301960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30964
involuntary context switches= 428
# summary of solver processes directly reported to runsolver:
# pid: 6743
# total CPU time (s): 1284.44
# total CPU user time (s): 1284.09
# total CPU system time (s): 0.347077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38562 second user time and 11.5915 second system time
The end