2.41/1.88
2.41/1.88 AbsCon 2
2.65/1.90
3.37/2.19 Instance
3.37/2.19 name=instance-4390580-1568383099, framework=CSP
3.37/2.19
3.37/2.19 Loading variables...
3.68/2.26 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@126a58b8
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7d1b39
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e729024
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22c23a07
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f37eaf5
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0f30a3
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e1f554d
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45f89779
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@340201a5
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e83e5ba
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66490cfe
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77942dc1
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab454cb
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bc7142
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa02334
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f125e9b
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67a1b155
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c72e7f
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b81ee
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50fada92
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33263530
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781c88e2
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577cba9d
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12c9ca36
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@792eb55a
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5e72bd
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ebc5392
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4596025e
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e6e8c68
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cdb070d
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7545a50
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a763b0
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de42652
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c5e3f0
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a257758
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab08651
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15f42a9d
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5af7e722
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3a7891
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60ba15e2
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c5c116
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b99317f
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad2effa
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62933a2f
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ebb2ccd
4.09/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a12e9ee
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73de9552
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40368511
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5347f217
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58725622
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44431611
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6039bbae
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f057e8
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567edab2
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7116c744
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15bbaefb
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d7a742c
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52b4c49c
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b71ca4f
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265672cd
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@766fd02d
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@272d158f
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5686b74d
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d8c8441
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ba16a0
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f092390
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e2c267
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4305f94b
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f303e3
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2f6c8b
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac3c106
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33fcde
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1681c188
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2985598e
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@341277b8
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@180c4e66
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286554d2
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78611ec6
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fc15c91
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9cf6b3
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4772a54a
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2a2af0
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d0d960
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28fd4a5a
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f57701f
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4255db02
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72c43257
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592c64fc
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57fb5dfa
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31fff4cc
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c65c1c2
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a9209c9
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc0dfab
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b791eb9
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6456fd37
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a731cb2
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24388de
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bdfaba6
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8508e1
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbb3d7c
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d951ee
4.09/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef981a8
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676df2f9
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@574ec173
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a0a043
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@657b15e5
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bafc54b
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aefcfbb
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415a2572
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c8ea2b
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36cf82a2
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f3ad44
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@188c961b
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@552b06f
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d997fd7
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46285935
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39342160
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f63b5d
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2380be
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5e6
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260e803d
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@512fbc51
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65adaafb
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b33fef
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cdac04e
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4faa00f1
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5364b24c
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff68516
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@361357a1
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38046751
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f175473
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b2cf9cc
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7079139f
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b4cb23
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4b6ac7
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64e9268e
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@341423a6
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f80487
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca75762
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52b39ef
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ae5891
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4143bdd6
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b2df2b
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ca361a8
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b59acfc
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abfa1c4
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f1f792c
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140ce0db
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41adc1bc
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc3c7f
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3590f2e8
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f306714
4.09/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c7a1007
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752e3f6f
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a40ec3f
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40699ae6
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5217e7
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725ee12d
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ea078cd
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62d206fb
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3603262e
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d01830
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310e03a
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48c2ad62
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c141eba
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d01a584
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20b9c0c0
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d46cbad
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18b99a5c
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e469f6
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10dea912
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e1ecb92
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5240f9c4
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb9543e
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@177c3d81
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc76cbb
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@406955dc
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@892e885
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b2c97c5
4.09/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f722701
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e8c63ce
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39301535
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f615ed5
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428675fe
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3314996d
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b53a469
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9896a5
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@596da0ae
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7d681b
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d12928c
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a50242
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71720a0b
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59aa4b96
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b3c5ede
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e8d3ada
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@144c5efd
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77dc28be
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15c3d6fa
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7784c26c
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695e55a3
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d7c238
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75adfb5c
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15f1832b
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bde7986
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef99b6e
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f56b251
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7faf68ba
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15668c51
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41233bc6
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c2cdf80
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae1e374
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1302a0ce
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a4ab54
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e47a580
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5678b0e9
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f24b60
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ce03a2
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d57bbfe
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e1b295b
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75a534ac
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236ba4e4
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@654d8a76
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4798a89b
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79647f3f
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c45d52
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21313fec
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56ece392
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346736ac
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dfa8c5
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74b457da
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490e5d96
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@387eeb07
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d11423e
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7bdd5f
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cdc9ee0
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cabbe5d
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76497725
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5253ae27
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27d01fdf
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b278e1
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ce2e42
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@445d64cb
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d35abd2
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80dbe36
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43c4d880
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e85aaa4
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f03ae2
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e792fb1
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7564e488
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ca23330
4.09/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91b0416
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63e1c6cd
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@264c2b8f
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff9e08a
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9c39bb
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3431086f
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c86c20
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@634255d8
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d664dd8
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11ab32f5
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e10c4b
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4c0c76
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb8009c
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21c56ebd
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac91074
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21a2c68e
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f291ee9
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d2d049
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b4d855
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f69b896
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34787784
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40857d29
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f792154
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60975737
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@be90b08
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7cf6a2
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@733bc6d1
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fbdbd3f
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf90ef5
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d9fceb
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bccccd
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a76f268
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4028c741
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc233d2
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51860849
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6e0a4c
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ee10a22
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cba8318
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11ad518c
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00866f
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e73bff1
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31e9e1da
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a88f293
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d9fa53
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b1f5e3d
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bdae53f
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8c1d08
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c348669
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8c287
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e5113c
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502888a7
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2620e5cc
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8611c6
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17ba00c1
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d6a888b
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10748d09
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f8d395
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c68a294
4.09/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a048982
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58282edb
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e950f3
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adb4b7c
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@728b8ddc
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567a1ccc
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d04837
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4049313e
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324a43d3
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c2b989
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232fcd39
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62421b99
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26095887
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17af5294
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10518a1d
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2371a
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f170b0
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ada9d28
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd61924
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d782f8
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd25d75
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c945eb5
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704a82a1
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33407a72
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a547f0b
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48fe9f3c
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32784982
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1944a28f
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c866bec
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bbdb076
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@282801c1
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70099b45
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@697651cd
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1cc32d
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2734bdd4
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6019e4a2
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@258cd243
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a89942
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ad9351
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65f2a69a
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48b1342a
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b0b1a5d
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a57dddb
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff8c2e3
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@656a9893
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4763a2df
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e605368
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b9cacb
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a513fed
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dd1193
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4c35cb
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59538e8d
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55364fde
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7259acb6
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b47e4f
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6391a65
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e0740e7
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@389eadb2
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c30d8d9
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24488a37
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c78681
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@185ff507
4.09/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3511dbee
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c61278f
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b36953
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e85f90
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16fcd059
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43643fe4
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28256bfd
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aeaf151
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@690d584b
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4775d11b
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b616424
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e5af332
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b817f61
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75cc5ec0
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75144389
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297c5917
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497bc5bc
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35b0a75d
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac24dbd
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b5dc194
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3791298a
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@517e923d
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6106367d
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e5cbc2
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26dd09e1
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576c4366
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd9defa
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41dfe13
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e16c9b4
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b6071b6
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e434f0
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5786cc26
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56427402
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ba5a69
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@96b02d6
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f423b0
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21d509b9
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6779e096
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e94924
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bcca42d
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ccdea7
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f5fa64
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@657b7f6f
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32e7dbb6
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42312e91
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43c114c5
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9722d5b
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37bb0484
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bd26e4a
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2274f577
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d15d487
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579f8b5f
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@badfeee
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae56050
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b35b389
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5454828
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17753d7f
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56eb265a
4.43/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4a6b2b
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0e94e2
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@112be48d
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9c6201
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c6218f
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff3b551
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d5159e9
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260ad450
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4110b2f
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6da4b284
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46eaf85b
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f8e53a
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c014c51
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515d0f85
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83348d3
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a5615
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a36887d
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35a098c
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c52d253
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3545f350
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23229e9a
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b8615a8
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35db2424
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2093641
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39978923
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a1005c
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac84dee
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c6b0ab
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab0c5c6
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1140399d
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259f974e
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48facf53
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47975b7d
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35cbae63
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a03b039
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62668f63
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@102c9ac1
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78e8b684
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4010a576
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aa89ea2
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd790dc
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e22cd1f
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a13dfc4
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab937ba
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a5fc31d
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51cd86d5
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d07fc9c
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e47ae5
4.43/2.41 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ec04988
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25fe5378
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b25c6b
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1160193c
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3930eef5
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79b34105
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69600cc1
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a65a1f3
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c309acf
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69879f4c
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784a2ee8
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aad290
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d2de599
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd190f8
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2746ce18
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8ae261
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@540228b0
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44eef6d9
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c64f97a
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f6634e9
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d672eab
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@154f3546
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac04826
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@191be5af
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea2a153
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dffa571
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6dca3f
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@398c54be
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eb2eaf8
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490234e1
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d44c265
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5283f7f9
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7daa4e83
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49276026
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173f25c1
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5211bb01
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713dd298
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@202b9624
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37bb8fab
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b6bfcb5
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7103d070
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c6bcc1f
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f54a776
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d63f135
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccc3c8b
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5778c68a
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669947e2
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5108524c
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66166b27
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a459d4
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6292c92f
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0c745c
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39478647
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ebf77a3
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@106bba2
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a6f111
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@540ebffd
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afb48e5
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55bb9ef6
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a623ac
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@639327a5
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@452a8ee9
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b1538d
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e118de5
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@210addaa
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54858138
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3951dca8
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d35f67c
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@594eea77
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7da64eb
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d805cd
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7c01c5
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85c82e
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2163888e
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e6016e
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31efd085
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f652f01
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44634873
4.43/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c098aba
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d602a1
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38494aae
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1122c030
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315150c0
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40bf784d
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43254096
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67795815
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@380eb61b
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f6e4ca
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4bd166
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1002142e
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f3ee88
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac5c55
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376ba866
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29135eb8
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cef9e3b
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5d5e9a
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5321b8b7
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb27b7c
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@699ea2a6
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567bbaad
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f5a6a22
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a5ca14
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c9c2bb7
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c796aea
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be3f55e
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b3a9d
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e1f4405
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21997b45
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fd288e1
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df42f74
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1deeb
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ddf53b
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aeb9244
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef60565
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d4ae246
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51f4edbb
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@591738cd
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66f3bbe1
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d6d355a
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ba25c6
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441680b2
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3863daf
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e0db4a5
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a60f68b
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2189366
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7995ba80
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53b40ebf
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ee84be
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad7bbae
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61411eb7
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c265e5
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5742ddfe
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e895125
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7b3f61
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62704d3d
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47e16645
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30be7316
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b02eb1
4.43/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed05857
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e18c20c
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32124c09
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b681370
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50c6084c
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dcd247b
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6cac8c
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@369dc86e
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c19fd5
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f9be67
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27e377
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b213fd3
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6343aa8
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6edb19
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e49f84f
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7786a584
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6454e822
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc470c2
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c945471
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5898a7
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2be0ac
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54dcde2a
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45ac7ec7
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f07b859
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e1c2a3f
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1acd60c
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479a52c2
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b84168
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f623c2
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@90ddba7
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5619b977
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51b78e61
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502dfd8
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b475724
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ede3b6d
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f1af15
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4571b9f3
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f1d368
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752d078b
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d447c01
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@410d0510
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7024dca2
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ffd95c9
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47623cc3
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b00fb0e
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65038e4b
4.43/2.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cca829
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4169972f
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f012a3b
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53b188af
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67894276
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@390e4c1
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e208b5
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5730025e
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a80128
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@578e01f7
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa8b71c
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a11432
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50aab131
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46296b02
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eebce67
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a27efe
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619aeca2
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c811eb0
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fef57ef
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3c8d1b
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c8d2cf
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4350175f
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8003c2
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b7292e
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@167635bf
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ded26a2
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6a40c6
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1759e2c4
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@508af6eb
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43a26644
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dc5536b
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c5af0d
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a4ca94b
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c2353fa
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@181fc75
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e89031b
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e533e28
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49bdd3b6
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261f0784
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1d418a
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352e94d
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1edb9462
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2868aa1c
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60abfb42
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@102598a7
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cfaa9f
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b3b20e
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9c0d3
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a47cb6
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301f227f
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155997f
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b0c1306
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5af604da
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da3899d
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2dff3c
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@192bb4e6
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ee387c
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763a32b6
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d28def
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ef4edb
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19f28efb
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe616d4
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11ec09f4
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670653f0
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc405cb
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c70f66e
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d4ccfd3
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2f6d23
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73bd6376
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a42a7ce
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aff8b10
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7281db77
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@191bb6bc
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b6f417d
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30ba49a9
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5e3815
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e940938
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c7010
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c6deb71
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501a202b
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67aec4f
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13d4cf6d
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a4575f0
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4805da20
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@557ceedb
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30389013
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599647fb
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff388c9
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb4cea0
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db29647
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370e203d
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37dee9d1
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15713ed3
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a51f11
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9887558
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e537d9a
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1372b3
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbe8d3
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a43e2cf
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fecc393
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca14c26
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40326476
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a26131
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7768476b
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@640a1e4a
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2104a299
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc718fa
4.43/2.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5107fc
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df36152
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2fbdec
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579ea9d2
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3712f146
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39778b41
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e6e56c
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375f7c2
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@617532cc
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216d91ac
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e5db12
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577bd68d
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4243fc7f
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@675bfe59
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f10f23
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aea42fe
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad9b9dd
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e05556b
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f2d017
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7089c664
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35ddd3e4
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d9a6db
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d9530e
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6ff0e6
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a53935d
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67401519
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160b05e7
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9f704b
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47da9860
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ce87f1
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@477d43c2
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2174e547
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66e212c1
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c8f1b9b
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d206ad
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32fe7c2e
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e978eb
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f622a62
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c02321
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c8bd12
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e7f32cf
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8900722
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35baf619
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad4656d
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48464ad0
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d017b4f
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e413229
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606e267b
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ceca122
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bd035f
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea9bcf3
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7873a2
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14ca5f2
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579292de
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f93b8eb
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@227ad4dd
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cbea41b
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455942a
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@633ad0e8
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d602fe
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660e1349
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f64f2c8
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba0296f
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bfc93d
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3208033d
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6891950c
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fcef6fd
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25f244a3
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e7d38f
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42160b55
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b3c2b
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32a2634f
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac1ae2f
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f457486
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61699332
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d885967
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1172773b
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3819e544
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aa341aa
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e63d72
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3a0e6a
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3901e8
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5862cc6e
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7884131c
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15416aa0
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bac81ea
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e5d05f
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47f2cf23
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a65dc8a
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c2505
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a164001
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ff10bc
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15007dee
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9bc58d
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@313084c0
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ccead28
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@555edf02
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7011ebcc
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59696d8e
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263494e
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ada1ded
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239c1d0d
4.43/2.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9adc357
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49e4877d
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39ac3d74
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e18999
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236f2e17
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b8a50da
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d1f912a
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cde4c81
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a06214f
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f61fcce
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44298146
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de361c6
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd2a2b2
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24fa5d0c
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70764e8c
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b20465f
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b56850
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52026bf4
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a35053
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d0524b
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a177c7
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab30ff2
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d8ed60
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51076fd9
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eb49129
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e822dc0
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1461f5c4
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e12ef4
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35bae248
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c82a10
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f59f488
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed90a2a
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c6b53e4
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306416dd
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad6f179
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aad4a5f
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289df328
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2995a92b
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8f2182
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a460f
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b01368
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae7caed
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@732a33ce
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a62ce2a
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f2b4bf
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fe20c1
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@323080fa
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d95562
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cad4d26
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c704f2f
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510b9a33
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@483570a5
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd92f43
4.43/2.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cbfa2bd
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6c94a3
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63cbab69
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5deae5d9
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53aa531b
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3afe936d
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ecebed
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa0b39c
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16b5c4ae
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43cf230
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1392ec
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c1c42f
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60052e52
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75de28dc
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f307a92
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@626c6e0c
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2436ec
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb85c5a
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@377edc52
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ea04c2e
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2b5110
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7e862d
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@141180e7
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27309c1c
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abce3e3
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40901c89
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d93866d
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135e3aee
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c8f296d
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d8f629a
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56eceaa9
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a2994aa
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136b8fcd
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c2c7a0a
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1daf28a1
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f8b55a
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f96be7
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60cc1aed
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc7168c
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72e3bf74
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29409244
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db606f4
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a7402ff
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dad9203
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b348ed2
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67be6e39
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11788aeb
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55dab1fe
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba3dd8
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f23fb17
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4de74881
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6570fd42
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195cce66
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@148dc93a
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ebdfd5
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cf5882d
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1031408f
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ebe3ea2
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e65b52
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6458e9fa
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614b3e2
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6afb71b6
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@697e2ca8
4.43/2.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bf7d6cc
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b510f6
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51f19c4
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@630c404
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74bd9fae
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4926b83b
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@535edba1
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5427f756
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@913bfdb
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@293acd8e
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e24a173
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631dd37b
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc37ad6
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1fc119
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3002c69a
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b5a9af
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe66cb0
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a85335c
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d7fc833
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402b89a7
4.43/2.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d8f26d
4.43/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22267a18
4.43/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab40322
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5082dcbd
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e22ac31
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ad622
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bf3710
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0db1ec
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@368cc026
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2444a265
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a6e7ed3
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f89f51
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@281aa8e7
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8680db
4.77/2.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d855431
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22cd058d
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ddbeb7
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c4efede
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52201181
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76c2e74
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f60767
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ff6f3c
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f99db71
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@258ba4bb
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cd63c2
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4858da95
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179651c
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f47f9a9
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a85f49e
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b8d377
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47936644
4.77/2.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76334e19
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@150f0edd
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268782a6
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346f65f0
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5377c0df
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8ad0a1
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4110763b
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73508cd9
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c2006e1
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb5ddd8
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce98b7
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8beea60
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb602db
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76896ca8
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2ba1b5
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e3d291
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f437838
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd89273
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f3ed9
4.77/2.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ed3fa3
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d714d43
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2b2aab
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524b4678
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a40f071
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fccb006
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5938f612
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f71c10
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3d2b25
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425f2881
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd3e045
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f8a4b2
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6562454f
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd7398c
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f3f7e9
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e66fa
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c52a725
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5383e1
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b121820
4.77/2.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d471520
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331c14b2
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@294c4e8e
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643838a1
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cca29ba
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2a9bd1
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce4f170
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6168b87b
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f2fa1db
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b40da0d
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100befd8
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ab9d381
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72756f5a
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64ede70
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b03ab90
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1059b333
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@630dde6d
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e46939b
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0fc31a
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7892225b
4.77/2.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fa1f27d
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71130dd1
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b015db7
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19876962
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683c70a8
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d48d28
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f43bbe0
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2856b68c
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c31410
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea83f1f
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5daa74a7
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39c059cf
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@718a6ae7
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22eed37
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b14e2
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142abb05
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a529e2c
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff7dcf9
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66df05d3
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c54c1f0
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8cb0592
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1159a706
4.77/2.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a7049b
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66aa8994
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d42c02b
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ec20aab
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8001c09
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c319851
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41fa8d34
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21bea41b
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf0f9a8
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@431880c7
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40755174
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff4452e
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43022668
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@97a2fdc
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43714fd4
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795fe92c
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315d860d
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f4673f8
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71077791
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2abbdd86
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d54137a
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d26d7f7
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47616862
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef17602
4.77/2.56 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2391fc33
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fce6aa2
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a156ee
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@452076f9
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@97fac28
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a1cfae8
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a7b176
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@570f0229
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74bc8534
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a44f374
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@761bf011
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53197efa
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec72309
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47039986
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7953b9e9
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d297fa
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414575e7
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39900070
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e023d6c
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8155c94
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b3e05f
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eded052
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@344b06d3
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee55a3b
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f5795e
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a28f1
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2189d184
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11081faf
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64555f7a
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5017c860
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@686df154
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2bb3b7
4.77/2.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bb07ce
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3c594a
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7af2c1
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c83de
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdc711f
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63acbb74
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b05d49c
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4577a0f3
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64e55829
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69391b90
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6850c749
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5235a962
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d471a62
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f029a77
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64205dc
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77bc96d0
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea48a50
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2144b08
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@407d67a6
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc8200c
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d179dd
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@147c6d55
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67a6f978
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b56960
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@196f1e95
4.77/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@237a6d33
5.42/2.84
5.42/2.84
5.42/2.84 Domains
5.42/2.84 nTypes=2, nValues=6800, sizes=[2#1000,24#200]
5.42/2.84 Variables
5.42/2.84 count=1200, degrees=[2#200,3#5,4#5,5#6...82#2,83#2,84#3,85#37]
5.42/2.84 Constraints
5.42/2.84 count=1412, nSpecific=1412, arities=[2#199,3#396,5#392,6#200...196#1,197#2,198#1,200#6]
5.42/2.84 distribution=[CardinalityConstant#1,CtrExtensionCT-Table#200,SumSimpleGE#224,SumSimpleLE#987]
5.42/2.84 tables=[24#200], nTotalTuples=4800
5.42/2.84 nExtStructures=(1,shared:199)
5.42/2.84 wck=0.99, cpu=2.807, mem=95M218
5.42/2.88 Solver SolverBacktrack being built...
5.42/2.88
5.64/2.92
5.64/2.92 Solver
5.64/2.92 guaranteedGAC=true
5.64/2.92 wck=1.064, cpu=2.879, mem=129M642
5.64/2.95
5.64/2.95 Preprocessing
5.64/2.95 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.64/2.95 wck=0.032, cpu=2.914, mem=129M642
5.64/2.95
6.26/3.14 num=0, depth=121..129, filters=1033, wck=0.223, mem=129M642
6.26/3.14 decisions=153, wrong=14, backtracks=6, failedAssignments=10, nogoods=8
6.26/3.14 nFilterCalls=1774, avgTableProportion=0.9583333333333123, avgTableSize=23.0
6.26/3.14
6.54/3.27 num=1, depth=119..156, filters=1944, wck=0.357, mem=129M642
6.54/3.27 decisions=324, wrong=25, backtracks=6, failedAssignments=21, nogoods=19
6.54/3.27 nFilterCalls=3492, avgTableProportion=0.9583333333333736, avgTableSize=23.0
6.54/3.27
6.84/3.39 num=2, depth=109..202, filters=3232, wck=0.477, mem=129M642
6.84/3.39 decisions=539, wrong=37, backtracks=6, failedAssignments=33, nogoods=31
6.84/3.39 nFilterCalls=4558, avgTableProportion=0.9583333333333713, avgTableSize=23.0
6.84/3.39
7.15/3.45 num=3, depth=136..144, filters=3726, wck=0.531, mem=129M642
7.15/3.45 decisions=751, wrong=75, backtracks=42, failedAssignments=46, nogoods=32
7.15/3.45 nFilterCalls=4825, avgTableProportion=0.9583333333333525, avgTableSize=23.0
7.15/3.45
7.30/3.50 num=4, depth=136..144, filters=4198, wck=0.581, mem=129M642
7.30/3.50 decisions=973, wrong=117, backtracks=80, failedAssignments=60, nogoods=34
7.30/3.50 nFilterCalls=5096, avgTableProportion=0.9583333333333354, avgTableSize=23.0
7.30/3.50
7.30/3.55 num=5, depth=136..145, filters=4715, wck=0.634, mem=129M642
7.30/3.55 decisions=1210, wrong=166, backtracks=122, failedAssignments=76, nogoods=36
7.30/3.55 nFilterCalls=5390, avgTableProportion=0.9583333333333187, avgTableSize=23.0
7.30/3.55
7.42/3.61 num=6, depth=102..132, filters=6102, wck=0.693, mem=129M642
7.42/3.61 decisions=1448, wrong=223, backtracks=174, failedAssignments=93, nogoods=39
7.42/3.61 nFilterCalls=6105, avgTableProportion=0.958333333333285, avgTableSize=23.0
7.42/3.61
7.53/3.72 num=7, depth=107..234, filters=7139, wck=0.804, mem=129M642
7.53/3.72 decisions=1762, wrong=265, backtracks=203, failedAssignments=112, nogoods=44
7.53/3.72 nFilterCalls=7150, avgTableProportion=0.9583333333332477, avgTableSize=23.0
7.53/3.72
7.53/3.77 num=8, depth=113..120, filters=7777, wck=0.854, mem=129M642
7.53/3.77 decisions=1984, wrong=319, backtracks=250, failedAssignments=133, nogoods=47
7.53/3.77 nFilterCalls=7572, avgTableProportion=0.9583333333332356, avgTableSize=23.0
7.53/3.77
7.65/3.89 num=9, depth=111..244, filters=8819, wck=0.973, mem=129M642
7.65/3.89 decisions=2321, wrong=368, backtracks=288, failedAssignments=156, nogoods=53
7.65/3.89 nFilterCalls=8934, avgTableProportion=0.9583333333332436, avgTableSize=23.0
7.65/3.89
7.78/3.98 num=10, depth=232..241, filters=9613, wck=1.064, mem=129M642
7.78/3.98 decisions=2644, wrong=412, backtracks=324, failedAssignments=181, nogoods=56
7.78/3.98 nFilterCalls=9423, avgTableProportion=0.9583333333332796, avgTableSize=23.0
7.78/3.98
7.90/4.09 num=11, depth=234..243, filters=10552, wck=1.173, mem=129M642
7.90/4.09 decisions=2969, wrong=457, backtracks=363, failedAssignments=209, nogoods=59
7.90/4.09 nFilterCalls=10122, avgTableProportion=0.9583333333333253, avgTableSize=23.0
7.90/4.09
8.02/4.19 num=12, depth=241..248, filters=11160, wck=1.269, mem=129M642
8.02/4.19 decisions=3320, wrong=511, backtracks=411, failedAssignments=240, nogoods=64
8.02/4.19 nFilterCalls=10554, avgTableProportion=0.9583333333333504, avgTableSize=23.0
8.02/4.19
8.34/4.33 num=13, depth=239..253, filters=14012, wck=1.411, mem=129M642
8.34/4.33 decisions=3656, wrong=557, backtracks=450, failedAssignments=274, nogoods=69
8.34/4.33 nFilterCalls=12242, avgTableProportion=0.9583333333334316, avgTableSize=23.0
8.34/4.33
8.55/4.52 num=14, depth=242..250, filters=18289, wck=1.602, mem=129M642
8.55/4.52 decisions=4020, wrong=617, backtracks=499, failedAssignments=311, nogoods=72
8.55/4.52 nFilterCalls=14854, avgTableProportion=0.958333333333521, avgTableSize=23.0
8.55/4.52
8.78/4.72 num=15, depth=213..300, filters=20642, wck=1.807, mem=129M642
8.78/4.72 decisions=4464, wrong=696, backtracks=557, failedAssignments=352, nogoods=77
8.78/4.72 nFilterCalls=16456, avgTableProportion=0.9583333333335617, avgTableSize=23.0
8.78/4.72
9.05/4.91 num=16, depth=259..336, filters=23385, wck=1.997, mem=129M642
9.05/4.91 decisions=4957, wrong=782, backtracks=620, failedAssignments=397, nogoods=83
9.05/4.91 nFilterCalls=18387, avgTableProportion=0.9583333333334738, avgTableSize=23.0
9.05/4.91
9.27/5.15 num=17, depth=238..339, filters=25622, wck=2.234, mem=129M642
9.27/5.15 decisions=5481, wrong=879, backtracks=668, failedAssignments=447, nogoods=87
9.27/5.15 nFilterCalls=19995, avgTableProportion=0.958333333333365, avgTableSize=23.0
9.27/5.15
9.57/5.44 num=18, depth=243..383, filters=31137, wck=2.518, mem=129M642
9.57/5.44 decisions=6072, wrong=987, backtracks=756, failedAssignments=502, nogoods=91
9.57/5.44 nFilterCalls=24377, avgTableProportion=0.9583333333331413, avgTableSize=23.0
9.57/5.44
10.02/5.81 num=19, depth=226..332, filters=35923, wck=2.897, mem=129M642
10.02/5.81 decisions=6650, wrong=1118, backtracks=868, failedAssignments=563, nogoods=96
10.02/5.81 nFilterCalls=27416, avgTableProportion=0.9583333333330282, avgTableSize=23.0
10.02/5.81
10.33/6.12 num=20, depth=239..372, filters=39501, wck=3.204, mem=129M642
10.33/6.12 decisions=7281, wrong=1260, backtracks=966, failedAssignments=630, nogoods=105
10.33/6.12 nFilterCalls=29935, avgTableProportion=0.9583333333329518, avgTableSize=23.0
10.33/6.12
10.73/6.51 num=21, depth=250..401, filters=53678, wck=3.589, mem=129M642
10.73/6.51 decisions=7923, wrong=1397, backtracks=1051, failedAssignments=704, nogoods=116
10.73/6.51 nFilterCalls=37723, avgTableProportion=0.9583333333331207, avgTableSize=23.0
10.73/6.51
11.13/6.92 num=22, depth=324..349, filters=57716, wck=4.004, mem=129M642
11.13/6.92 decisions=8563, wrong=1554, backtracks=1166, failedAssignments=785, nogoods=119
11.13/6.92 nFilterCalls=40781, avgTableProportion=0.9583333333333185, avgTableSize=23.0
11.13/6.92
11.34/7.17 num=23, depth=348..413, filters=62245, wck=4.249, mem=129M642
11.34/7.17 decisions=9260, wrong=1704, backtracks=1244, failedAssignments=874, nogoods=132
11.34/7.17 nFilterCalls=43607, avgTableProportion=0.9583333333334766, avgTableSize=23.0
11.34/7.17
11.63/7.40 num=24, depth=365..383, filters=65391, wck=4.481, mem=129M642
11.63/7.40 decisions=10052, wrong=1917, backtracks=1437, failedAssignments=972, nogoods=135
11.63/7.40 nFilterCalls=45436, avgTableProportion=0.9583333333335685, avgTableSize=23.0
11.63/7.40
11.74/7.56 num=25, depth=303..328, filters=67855, wck=4.646, mem=129M642
11.74/7.56 decisions=10781, wrong=2122, backtracks=1622, failedAssignments=1080, nogoods=140
11.74/7.56 nFilterCalls=46715, avgTableProportion=0.9583333333336285, avgTableSize=23.0
11.74/7.56
11.94/7.74 num=26, depth=203..274, filters=70228, wck=4.825, mem=129M642
11.94/7.74 decisions=11568, wrong=2385, backtracks=1872, failedAssignments=1199, nogoods=145
11.94/7.74 nFilterCalls=48305, avgTableProportion=0.9583333333336985, avgTableSize=23.0
11.94/7.74
12.04/7.86 num=27, depth=197..207, filters=72144, wck=4.942, mem=129M642
12.04/7.86 decisions=12177, wrong=2590, backtracks=2064, failedAssignments=1330, nogoods=149
12.04/7.86 nFilterCalls=49232, avgTableProportion=0.9583333333337374, avgTableSize=23.0
12.04/7.86
12.14/7.99 num=28, depth=143..153, filters=74316, wck=5.07, mem=129M642
12.14/7.99 decisions=12927, wrong=2893, backtracks=2354, failedAssignments=1474, nogoods=155
12.14/7.99 nFilterCalls=50462, avgTableProportion=0.9583333333337866, avgTableSize=23.0
12.14/7.99
12.35/8.11 num=29, depth=89..101, filters=76628, wck=5.189, mem=129M642
12.35/8.11 decisions=13671, wrong=3218, backtracks=2674, failedAssignments=1632, nogoods=159
12.35/8.11 nFilterCalls=51692, avgTableProportion=0.9583333333338335, avgTableSize=23.0
12.35/8.11
12.44/8.23 num=30, depth=85..99, filters=79057, wck=5.309, mem=129M642
12.44/8.23 decisions=14411, wrong=3544, backtracks=2982, failedAssignments=1806, nogoods=163
12.44/8.23 nFilterCalls=53141, avgTableProportion=0.958333333333886, avgTableSize=23.0
12.44/8.23
12.58/8.37 num=31, depth=85..164, filters=82956, wck=5.451, mem=129M642
12.58/8.37 decisions=15303, wrong=3924, backtracks=3316, failedAssignments=1997, nogoods=170
12.58/8.37 nFilterCalls=55041, avgTableProportion=0.9583333333339507, avgTableSize=23.0
12.58/8.37
12.78/8.51 num=32, depth=94..104, filters=88495, wck=5.597, mem=129M642
12.78/8.51 decisions=16192, wrong=4320, backtracks=3666, failedAssignments=2208, nogoods=175
12.78/8.51 nFilterCalls=58426, avgTableProportion=0.9583333333340555, avgTableSize=23.0
12.78/8.51
12.88/8.67 num=33, depth=94..111, filters=97583, wck=5.753, mem=129M642
12.88/8.67 decisions=17105, wrong=4725, backtracks=4035, failedAssignments=2440, nogoods=184
12.88/8.67 nFilterCalls=64391, avgTableProportion=0.9583333333342132, avgTableSize=23.0
12.88/8.67
13.09/8.85 num=34, depth=97..108, filters=102143, wck=5.932, mem=129M642
13.09/8.85 decisions=18252, wrong=5247, backtracks=4520, failedAssignments=2695, nogoods=189
13.09/8.85 nFilterCalls=67070, avgTableProportion=0.958333333334275, avgTableSize=23.0
13.09/8.85
13.30/9.01 num=35, depth=94..106, filters=107217, wck=6.093, mem=129M642
13.30/9.01 decisions=19292, wrong=5717, backtracks=4937, failedAssignments=2976, nogoods=198
13.30/9.01 nFilterCalls=70534, avgTableProportion=0.9583333333341261, avgTableSize=23.0
13.30/9.01
13.50/9.24 num=36, depth=92..105, filters=113234, wck=6.32, mem=129M642
13.50/9.24 decisions=20848, wrong=6446, backtracks=5633, failedAssignments=3285, nogoods=202
13.50/9.24 nFilterCalls=73720, avgTableProportion=0.9583333333338823, avgTableSize=23.0
13.50/9.24
13.70/9.44 num=37, depth=93..107, filters=117141, wck=6.521, mem=129M642
13.70/9.44 decisions=22171, wrong=7058, backtracks=6198, failedAssignments=3625, nogoods=207
13.70/9.44 nFilterCalls=75921, avgTableProportion=0.9583333333337257, avgTableSize=23.0
13.70/9.44
14.20/9.94 num=38, depth=91..435, filters=129180, wck=7.027, mem=132M285
14.20/9.94 decisions=24147, wrong=7845, backtracks=6902, failedAssignments=3999, nogoods=235
14.20/9.94 nFilterCalls=83149, avgTableProportion=0.95833333333327, avgTableSize=23.0
14.20/9.94
14.50/10.23 num=39, depth=89..102, filters=136634, wck=7.314, mem=132M285
14.50/10.23 decisions=26129, wrong=8789, backtracks=7796, failedAssignments=4410, nogoods=240
14.50/10.23 nFilterCalls=87147, avgTableProportion=0.9583333333330503, avgTableSize=23.0
14.50/10.23
15.11/10.80 num=40, depth=89..413, filters=147929, wck=7.883, mem=132M285
15.11/10.80 decisions=28271, wrong=9663, backtracks=8576, failedAssignments=4862, nogoods=254
15.11/10.80 nFilterCalls=94238, avgTableProportion=0.9583333333327066, avgTableSize=23.0
15.11/10.80
16.16/11.89 num=41, depth=94..457, filters=189016, wck=8.969, mem=132M285
16.16/11.89 decisions=30941, wrong=10798, backtracks=9603, failedAssignments=5359, nogoods=276
16.16/11.89 nFilterCalls=118381, avgTableProportion=0.9583333333318451, avgTableSize=23.0
16.16/11.89
18.86/14.51 num=42, depth=92..336, filters=210127, wck=11.59, mem=132M285
18.86/14.51 decisions=33564, wrong=11953, backtracks=10535, failedAssignments=5906, nogoods=280
18.86/14.51 nFilterCalls=134968, avgTableProportion=0.9583333333314319, avgTableSize=23.0
18.86/14.51
22.96/18.66 num=43, depth=92..322, filters=245966, wck=15.743, mem=132M285
22.96/18.66 decisions=36053, wrong=13052, backtracks=11274, failedAssignments=6508, nogoods=286
22.96/18.66 nFilterCalls=161839, avgTableProportion=0.9583333333331964, avgTableSize=23.0
22.96/18.66
26.77/22.43 num=44, depth=94..310, filters=284928, wck=19.515, mem=132M285
26.77/22.43 decisions=39100, wrong=14437, backtracks=12376, failedAssignments=7170, nogoods=292
26.77/22.43 nFilterCalls=188179, avgTableProportion=0.9583333333345735, avgTableSize=23.0
26.77/22.43
33.57/29.21 num=45, depth=95..289, filters=362134, wck=26.293, mem=132M285
33.57/29.21 decisions=42521, wrong=16011, backtracks=13649, failedAssignments=7898, nogoods=299
33.57/29.21 nFilterCalls=241082, avgTableProportion=0.9583333333364301, avgTableSize=23.0
33.57/29.21
41.89/37.51 num=46, depth=220..289, filters=454074, wck=34.597, mem=132M285
41.89/37.51 decisions=46416, wrong=17845, backtracks=15095, failedAssignments=8699, nogoods=301
41.89/37.51 nFilterCalls=305364, avgTableProportion=0.9583333333347875, avgTableSize=23.0
41.89/37.51
47.59/43.28 num=47, depth=192..221, filters=513537, wck=40.362, mem=132M285
47.59/43.28 decisions=50334, wrong=19705, backtracks=16588, failedAssignments=9580, nogoods=307
47.59/43.28 nFilterCalls=345299, avgTableProportion=0.9583333333323754, avgTableSize=23.0
47.59/43.28
57.09/52.75 num=48, depth=184..207, filters=609793, wck=49.832, mem=132M285
57.09/52.75 decisions=54708, wrong=21796, backtracks=18243, failedAssignments=10550, nogoods=312
57.09/52.75 nFilterCalls=411454, avgTableProportion=0.9583333333294098, avgTableSize=23.0
57.09/52.75
68.40/64.06 num=49, depth=197..224, filters=757229, wck=61.142, mem=132M285
68.40/64.06 decisions=59040, wrong=23861, backtracks=19756, failedAssignments=11617, nogoods=316
68.40/64.06 nFilterCalls=508992, avgTableProportion=0.9583333333264435, avgTableSize=23.0
68.40/64.06
77.80/73.44 num=50, depth=148..239, filters=853229, wck=70.528, mem=132M285
77.80/73.44 decisions=64192, wrong=26340, backtracks=21671, failedAssignments=12790, nogoods=326
77.80/73.44 nFilterCalls=574820, avgTableProportion=0.9583333333278193, avgTableSize=23.0
77.80/73.44
78.61/74.28 num=51, depth=91..252, filters=885958, wck=71.367, mem=132M285
78.61/74.28 decisions=69340, wrong=28829, backtracks=23626, failedAssignments=14081, nogoods=332
78.61/74.28 nFilterCalls=590525, avgTableProportion=0.958333333328998, avgTableSize=23.0
78.61/74.28
79.52/75.14 num=52, depth=110..124, filters=905634, wck=72.223, mem=132M285
79.52/75.14 decisions=75327, wrong=31764, backtracks=26395, failedAssignments=15501, nogoods=339
79.52/75.14 nFilterCalls=600445, avgTableProportion=0.9583333333297107, avgTableSize=23.0
79.52/75.14
80.31/75.99 num=53, depth=105..125, filters=930817, wck=73.071, mem=132M285
80.31/75.99 decisions=81114, wrong=34602, backtracks=28944, failedAssignments=17063, nogoods=342
80.31/75.99 nFilterCalls=616804, avgTableProportion=0.958333333330836, avgTableSize=23.0
80.31/75.99
81.24/76.86 num=54, depth=96..122, filters=957133, wck=73.943, mem=134M927
81.24/76.86 decisions=87003, wrong=37497, backtracks=31409, failedAssignments=18781, nogoods=348
81.24/76.86 nFilterCalls=633457, avgTableProportion=0.9583333333319218, avgTableSize=23.0
81.24/76.86
82.36/77.92 num=55, depth=92..107, filters=981446, wck=74.998, mem=134M927
82.36/77.92 decisions=94067, wrong=40980, backtracks=34546, failedAssignments=20671, nogoods=355
82.36/77.92 nFilterCalls=647578, avgTableProportion=0.9583333333327988, avgTableSize=23.0
82.36/77.92
92.40/87.96 num=56, depth=94..345, filters=1073498, wck=85.039, mem=134M927
92.40/87.96 decisions=103148, wrong=45425, backtracks=37956, failedAssignments=22750, nogoods=365
92.40/87.96 nFilterCalls=712901, avgTableProportion=0.9583333333364035, avgTableSize=23.0
92.40/87.96
110.41/105.92 num=57, depth=95..229, filters=1234032, wck=103.003, mem=134M927
110.41/105.92 decisions=112721, wrong=50116, backtracks=41594, failedAssignments=25037, nogoods=374
110.41/105.92 nFilterCalls=829763, avgTableProportion=0.9583333333414363, avgTableSize=23.0
110.41/105.92
135.52/131.08 num=58, depth=97..226, filters=1472268, wck=128.164, mem=134M927
135.52/131.08 decisions=123596, wrong=55450, backtracks=45812, failedAssignments=27553, nogoods=385
135.52/131.08 nFilterCalls=1002278, avgTableProportion=0.9583333333467208, avgTableSize=23.0
135.52/131.08
156.63/152.14 num=59, depth=123..221, filters=1679555, wck=149.227, mem=134M927
156.63/152.14 decisions=136009, wrong=61559, backtracks=50621, failedAssignments=30321, nogoods=395
156.63/152.14 nFilterCalls=1146545, avgTableProportion=0.9583333333446008, avgTableSize=23.0
156.63/152.14
175.35/170.86 num=60, depth=105..207, filters=1878582, wck=167.94, mem=134M927
175.35/170.86 decisions=149490, wrong=68206, backtracks=55985, failedAssignments=33365, nogoods=405
175.35/170.86 nFilterCalls=1280372, avgTableProportion=0.9583333333353111, avgTableSize=23.0
175.35/170.86
196.57/192.07 num=61, depth=120..1199, filters=2108665, ccks=1412, wck=189.15, mem=137M570
196.57/192.07 decisions=159260, wrong=72875, backtracks=59827, failedAssignments=35558, nogoods=405, foundSolutions=1
196.57/192.07 nFilterCalls=1438689, avgTableProportion=0.9583333333265531, avgTableSize=23.0
196.57/192.07
196.57/192.07 Global
196.57/192.07 filters=2108665, ccks=1412, nogoods=405
196.57/192.07 Stop=REACHED_GOAL, wrong=72875, foundSolutions=1, firstSolCpu=192.016
196.57/192.07 wck=190.215, cpu=192.043, mem=137M570
196.57/192.07
196.57/192.07 v <instantiation id='sol1' type='solution'> <list> cls[] opt[][] </list> <values> 22 17 11 6 2 6 3 13 17 17 6 2 20 17 17 5 6 16 17 2 17 15 7 3 17 11 17 3 14 3 6 1 3 6 14 11 17 6 18 11 14 2 9 2 6 2 14 17 17 6 2 17 17 2 6 20 14 2 18 2 17 17 2 19 2 14 2 18 16 20 2 14 12 6 2 17 2 6 22 17 2 20 2 17 22 6 2 20 15 23 11 17 6 2 20 2 6 14 11 18 2 17 2 19 14 2 20 17 6 2 17 4 17 2 17 17 6 11 6 14 8 6 2 20 10 17 2 17 3 6 13 17 2 18 11 6 2 17 19 5 17 3 6 9 5 17 3 6 9 2 23 2 17 16 19 17 2 23 4 18 2 17 2 19 18 3 14 11 18 18 2 21 2 18 16 20 2 17 4 0 3 20 3 18 6 14 2 20 6 18 2 20 2 0 6 3 20 3 0 4 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 </values> </instantiation>
196.57/192.07 s SATISFIABLE
196.57/192.07
196.57/192.07 d WRONG_DECISIONS 72875
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 (15314 MiB free)
memory of node 1: 16384 MiB (15035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390580-1568383099/watcher-4390580-1568383099 -o /tmp/evaluation-result-4390580-1568383099/solver-4390580-1568383099 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25454 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390580-1568383099.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=25969, runsolver pid=25966
[startup+0.10601 s]*
/proc/loadavg: 1.86 1.76 1.70 3/227 25984
/proc/meminfo: memFree=31063312/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10659884 memory=28380 CPUtime=0.15 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 5611 0 0 0 13 2 0 0 20 0 15 0 414568344 10915721216 7095 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2664971 7095 2914 1 0 2627468 0
[pid=25969/tid=25971] ppid=25966 vsize=10659884 memory=-8617482348318186131 CPUtime=0.1 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) R 25966 25969 25423 0 -1 4202560 3275 0 0 0 9 1 0 0 20 0 15 0 414568344 10915721216 7095 33554432000 4194304 4196468 140736595309152 140531654770128 140531650551190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 7095 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 7095 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 7095 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 7095 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568346 10915721216 7095 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25977] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25977/stat : 25977 (java) S 25966 25969 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414568346 10915721216 7095 33554432000 4194304 4196468 140736595309152 140530752402592 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25978] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25978/stat : 25978 (java) S 25966 25969 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414568347 10915721216 7095 33554432000 4194304 4196468 140736595309152 140530751349488 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25979] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25979/stat : 25979 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568349 10915721216 7095 33554432000 4194304 4196468 140736595309152 140530750298064 140531650557851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25980] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25980/stat : 25980 (java) R 25966 25969 25423 0 -1 4202560 393 0 0 0 0 0 0 0 20 0 15 0 414568349 10915721216 7095 33554432000 4194304 4196468 140736595309152 140530749246192 140531631239552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25981] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25981/stat : 25981 (java) R 25966 25969 25423 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 15 0 414568349 10915721216 7095 33554432000 4194304 4196468 140736595309152 140530748193648 140531650550402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25982] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0.02 cores=0,2,4,6
/proc/25969/task/25982/stat : 25982 (java) R 25966 25969 25423 0 -1 4202560 390 0 0 0 2 0 0 0 20 0 15 0 414568349 10915721216 7095 33554432000 4194304 4196468 140736595309152 140530747135856 140531629931950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25983] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25983/stat : 25983 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568349 10915721216 7161 33554432000 4194304 4196468 140736595309152 140530746088288 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25984] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25984/stat : 25984 (java) S 25966 25969 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568350 10915721216 7161 33554432000 4194304 4196468 140736595309152 140530745035312 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28380 KiB
[startup+0.210749 s]*
/proc/loadavg: 1.86 1.76 1.70 4/227 25984
/proc/meminfo: memFree=31054852/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10659884 memory=35228 CPUtime=0.33 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 6949 0 0 0 31 2 0 0 20 0 15 0 414568344 10915721216 8807 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2664971 8807 2989 1 0 2627468 0
[pid=25969/tid=25971] ppid=25966 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) R 25966 25969 25423 0 -1 4202560 3854 0 0 0 19 1 0 0 20 0 15 0 414568344 10915721216 8807 33554432000 4194304 4196468 140736595309152 140531654765616 140531650561181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 8807 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10659884 memory=140193683696118 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 8807 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 8807 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 8807 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568346 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25977] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25977/stat : 25977 (java) S 25966 25969 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414568346 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530752402592 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25978] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25978/stat : 25978 (java) S 25966 25969 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414568347 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530751349488 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25979] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25979/stat : 25979 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568349 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530750298064 140531650557851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25980] ppid=25966 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25969/task/25980/stat : 25980 (java) S 25966 25969 25423 0 -1 1077944384 654 0 0 0 3 0 0 0 20 0 15 0 414568349 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530749246192 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25981] ppid=25966 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25969/task/25981/stat : 25981 (java) S 25966 25969 25423 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 15 0 414568349 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530748193648 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25982] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0.05 cores=0,2,4,6
/proc/25969/task/25982/stat : 25982 (java) S 25966 25969 25423 0 -1 1077944384 658 0 0 0 5 0 0 0 20 0 15 0 414568349 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530747140592 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25983] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25983/stat : 25983 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568349 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530746088288 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25984] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25984/stat : 25984 (java) S 25966 25969 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568350 10915721216 8807 33554432000 4194304 4196468 140736595309152 140530745035312 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35228 KiB
[startup+0.310096 s]*
/proc/loadavg: 1.86 1.76 1.70 3/227 25984
/proc/meminfo: memFree=31047820/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10659884 memory=40620 CPUtime=0.47 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 9480 0 0 0 44 3 0 0 20 0 15 0 414568344 10915721216 10155 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2664971 10155 3002 1 0 2627468 0
[pid=25969/tid=25971] ppid=25966 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) R 25966 25969 25423 0 -1 4202560 6318 0 0 0 28 2 0 0 20 0 15 0 414568344 10915721216 10155 33554432000 4194304 4196468 140736595309152 140531654771056 140531634619742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10659884 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 10155 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10659884 memory=140193683695849 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 10155 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 10155 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10915721216 10155 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568346 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25977] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25977/stat : 25977 (java) S 25966 25969 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414568346 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530752402592 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25978] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25978/stat : 25978 (java) S 25966 25969 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414568347 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530751349488 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25979] ppid=25966 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25979/stat : 25979 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568349 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530750298064 140531650557851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25980] ppid=25966 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25969/task/25980/stat : 25980 (java) S 25966 25969 25423 0 -1 1077944384 662 0 0 0 3 0 0 0 20 0 15 0 414568349 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530749246192 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25981] ppid=25966 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/25969/task/25981/stat : 25981 (java) S 25966 25969 25423 0 -1 1077944384 467 0 0 0 4 0 0 0 20 0 15 0 414568349 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530748193648 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25982] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0.08 cores=0,2,4,6
/proc/25969/task/25982/stat : 25982 (java) S 25966 25969 25423 0 -1 1077944384 679 0 0 0 8 0 0 0 20 0 15 0 414568349 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530747140592 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25983] ppid=25966 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25983/stat : 25983 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568349 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530746088288 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25984] ppid=25966 vsize=10659884 memory=140193683670656 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25984/stat : 25984 (java) S 25966 25969 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568350 10915721216 10155 33554432000 4194304 4196468 140736595309152 140530745035312 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40620 KiB
[startup+0.700715 s]
/proc/loadavg: 1.86 1.76 1.70 3/227 25984
/proc/meminfo: memFree=31039412/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10661932 memory=64032 CPUtime=1.11 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 13107 0 0 0 105 6 0 0 20 0 15 0 414568344 10917818368 16008 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2665483 16008 3072 1 0 2627980 0
[pid=25969/tid=25971] ppid=25966 vsize=10661932 memory=1412 CPUtime=0.68 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) R 25966 25969 25423 0 -1 4202560 8855 0 0 0 64 4 0 0 20 0 15 0 414568344 10917818368 16008 33554432000 4194304 4196468 140736595309152 140531654771280 140531650561181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10661932 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10917818368 16008 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10661932 memory=7148 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10917818368 16008 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10661932 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10917818368 16008 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10661932 memory=616 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10917818368 16008 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568346 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25977] ppid=25966 vsize=10661932 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25977/stat : 25977 (java) S 25966 25969 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414568346 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530752402592 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25978] ppid=25966 vsize=10661932 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25978/stat : 25978 (java) S 25966 25969 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414568347 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530751349488 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25979] ppid=25966 vsize=10661932 memory=4639098309541127012 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25979/stat : 25979 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568349 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530750298064 140531650557851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25980] ppid=25966 vsize=10661932 memory=7811609364956278113 CPUtime=0.11 cores=0,2,4,6
/proc/25969/task/25980/stat : 25980 (java) R 25966 25969 25423 0 -1 4202560 1012 0 0 0 11 0 0 0 20 0 15 0 414568349 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530749246192 140531631255312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25981] ppid=25966 vsize=10661932 memory=5787213840016500561 CPUtime=0.11 cores=0,2,4,6
/proc/25969/task/25981/stat : 25981 (java) S 25966 25969 25423 0 -1 1077944384 720 0 0 0 11 0 0 0 20 0 15 0 414568349 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530748193648 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25982] ppid=25966 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=0,2,4,6
/proc/25969/task/25982/stat : 25982 (java) S 25966 25969 25423 0 -1 1077944384 1159 0 0 0 18 0 0 0 20 0 15 0 414568349 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530747140592 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25983] ppid=25966 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25983/stat : 25983 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568349 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530746088288 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25984] ppid=25966 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25984/stat : 25984 (java) S 25966 25969 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568350 10917818368 16008 33554432000 4194304 4196468 140736595309152 140530745035312 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64032 KiB
[startup+1.50081 s]
/proc/loadavg: 2.03 1.80 1.71 3/227 25984
/proc/meminfo: memFree=31023468/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10663980 memory=75932 CPUtime=2.01 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 17379 0 0 0 195 6 0 0 20 0 15 0 414568344 10919915520 18983 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2665995 18983 3095 1 0 2628492 0
[pid=25969/tid=25971] ppid=25966 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) R 25966 25969 25423 0 -1 4202560 11947 0 0 0 143 4 0 0 20 0 15 0 414568344 10919915520 18983 33554432000 4194304 4196468 140736595309152 140531654765136 140531630815042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10919915520 18983 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10919915520 18983 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10919915520 18983 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568345 10919915520 18983 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414568346 10919915520 18983 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
################
# More data... #
################
[startup+190.401 s]
/proc/loadavg: 1.87 1.88 1.76 3/228 26391
/proc/meminfo: memFree=31142412/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10748324 memory=236324 CPUtime=194.96 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 47845 0 0 0 19476 20 0 0 20 0 16 0 414568344 11006283776 59081 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2687081 59081 3353 1 0 2647217 0
[pid=25969/tid=25971] ppid=25966 vsize=10748324 memory=1548 CPUtime=1.86 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) S 25966 25969 25423 0 -1 1077944384 13929 0 0 0 180 6 0 0 20 0 16 0 414568344 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531654782128 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10748324 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10748324 memory=3180 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10748324 memory=236324 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10748324 memory=1408 CPUtime=0.01 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 16 0 414568346 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25977] ppid=25966 vsize=10748324 memory=2972 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25977/stat : 25977 (java) S 25966 25969 25423 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414568346 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530752402656 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25978] ppid=25966 vsize=10748324 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25978/stat : 25978 (java) S 25966 25969 25423 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414568347 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530751349472 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25979] ppid=25966 vsize=10748324 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25979/stat : 25979 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530750298064 140531650557851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25980] ppid=25966 vsize=10748324 memory=5932 CPUtime=1.8 cores=0,2,4,6
/proc/25969/task/25980/stat : 25980 (java) S 25966 25969 25423 0 -1 1077944384 7947 0 0 0 179 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530749246192 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25981] ppid=25966 vsize=10748324 memory=784 CPUtime=1.76 cores=0,2,4,6
/proc/25969/task/25981/stat : 25981 (java) S 25966 25969 25423 0 -1 1077944384 6090 0 0 0 175 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530748193648 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25982] ppid=25966 vsize=10748324 memory=1060 CPUtime=0.87 cores=0,2,4,6
/proc/25969/task/25982/stat : 25982 (java) S 25966 25969 25423 0 -1 1077944384 7363 0 0 0 86 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530747140592 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25983] ppid=25966 vsize=10748324 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25983/stat : 25983 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530746088288 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25984] ppid=25966 vsize=10748324 memory=4872558044660077418 CPUtime=0.05 cores=0,2,4,6
/proc/25969/task/25984/stat : 25984 (java) S 25966 25969 25423 0 -1 1077944384 534 0 0 0 1 4 0 0 20 0 16 0 414568350 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530745035312 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25985] ppid=25966 vsize=10748324 memory=984 CPUtime=188.49 cores=0,2,4,6
/proc/25969/task/25985/stat : 25985 (java) R 25966 25969 25423 0 -1 4202560 9463 0 0 0 18845 4 0 0 20 0 16 0 414568532 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530727960240 140531288235556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
Current children cumulated CPU time: 194.96 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 236324 KiB
[startup+191.201 s]
/proc/loadavg: 1.88 1.88 1.77 3/228 26391
/proc/meminfo: memFree=31142412/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10748324 memory=236324 CPUtime=195.76 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 47845 0 0 0 19556 20 0 0 20 0 16 0 414568344 11006283776 59081 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2687081 59081 3353 1 0 2647217 0
[pid=25969/tid=25971] ppid=25966 vsize=10748324 memory=984 CPUtime=1.86 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) S 25966 25969 25423 0 -1 1077944384 13929 0 0 0 180 6 0 0 20 0 16 0 414568344 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531654782128 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10748324 memory=2016 CPUtime=0.01 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10748324 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10748324 memory=616 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10748324 memory=2832 CPUtime=0.01 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 16 0 414568346 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25977] ppid=25966 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25977/stat : 25977 (java) S 25966 25969 25423 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414568346 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530752402656 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25978] ppid=25966 vsize=10748324 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25978/stat : 25978 (java) S 25966 25969 25423 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414568347 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530751349472 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25979] ppid=25966 vsize=10748324 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25979/stat : 25979 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530750298064 140531650557851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25980] ppid=25966 vsize=10748324 memory=1548 CPUtime=1.8 cores=0,2,4,6
/proc/25969/task/25980/stat : 25980 (java) S 25966 25969 25423 0 -1 1077944384 7947 0 0 0 179 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530749246192 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25981] ppid=25966 vsize=10748324 memory=7148 CPUtime=1.76 cores=0,2,4,6
/proc/25969/task/25981/stat : 25981 (java) S 25966 25969 25423 0 -1 1077944384 6090 0 0 0 175 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530748193648 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25982] ppid=25966 vsize=10748324 memory=4000 CPUtime=0.87 cores=0,2,4,6
/proc/25969/task/25982/stat : 25982 (java) S 25966 25969 25423 0 -1 1077944384 7363 0 0 0 86 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530747140592 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25983] ppid=25966 vsize=10748324 memory=616 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25983/stat : 25983 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530746088288 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25984] ppid=25966 vsize=10748324 memory=2832 CPUtime=0.05 cores=0,2,4,6
/proc/25969/task/25984/stat : 25984 (java) S 25966 25969 25423 0 -1 1077944384 534 0 0 0 1 4 0 0 20 0 16 0 414568350 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530745035312 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25985] ppid=25966 vsize=10748324 memory=1624 CPUtime=189.29 cores=0,2,4,6
/proc/25969/task/25985/stat : 25985 (java) R 25966 25969 25423 0 -1 4202560 9463 0 0 0 18925 4 0 0 20 0 16 0 414568532 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530727960240 140531288143031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
Current children cumulated CPU time: 195.76 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 236324 KiB
[startup+191.601 s]
/proc/loadavg: 1.88 1.88 1.77 3/228 26391
/proc/meminfo: memFree=31142412/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10748324 memory=236324 CPUtime=196.16 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 47847 0 0 0 19596 20 0 0 20 0 16 0 414568344 11006283776 59081 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2687081 59081 3353 1 0 2647217 0
[pid=25969/tid=25971] ppid=25966 vsize=10748324 memory=1804 CPUtime=1.86 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) S 25966 25969 25423 0 -1 1077944384 13929 0 0 0 180 6 0 0 20 0 16 0 414568344 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531654782128 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10748324 memory=23904 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10748324 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10748324 memory=1412 CPUtime=0.01 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 16 0 414568346 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25977] ppid=25966 vsize=10748324 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25977/stat : 25977 (java) S 25966 25969 25423 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414568346 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530752402656 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25978] ppid=25966 vsize=10748324 memory=7148 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25978/stat : 25978 (java) S 25966 25969 25423 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414568347 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530751349472 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25979] ppid=25966 vsize=10748324 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25979/stat : 25979 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530750298064 140531650557851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25980] ppid=25966 vsize=10748324 memory=916 CPUtime=1.8 cores=0,2,4,6
/proc/25969/task/25980/stat : 25980 (java) S 25966 25969 25423 0 -1 1077944384 7947 0 0 0 179 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530749246192 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25981] ppid=25966 vsize=10748324 memory=3848 CPUtime=1.76 cores=0,2,4,6
/proc/25969/task/25981/stat : 25981 (java) S 25966 25969 25423 0 -1 1077944384 6090 0 0 0 175 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530748193648 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25982] ppid=25966 vsize=10748324 memory=2616 CPUtime=0.87 cores=0,2,4,6
/proc/25969/task/25982/stat : 25982 (java) S 25966 25969 25423 0 -1 1077944384 7363 0 0 0 86 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530747140592 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25983] ppid=25966 vsize=10748324 memory=2876 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25983/stat : 25983 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530746088288 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25984] ppid=25966 vsize=10748324 memory=4104 CPUtime=0.05 cores=0,2,4,6
/proc/25969/task/25984/stat : 25984 (java) S 25966 25969 25423 0 -1 1077944384 534 0 0 0 1 4 0 0 20 0 16 0 414568350 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530745035312 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25985] ppid=25966 vsize=10748324 memory=1408 CPUtime=189.69 cores=0,2,4,6
/proc/25969/task/25985/stat : 25985 (java) R 25966 25969 25423 0 -1 4202560 9465 0 0 0 18965 4 0 0 20 0 16 0 414568532 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530727960240 140531288143031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
Current children cumulated CPU time: 196.16 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 236324 KiB
[startup+192.001 s]*
/proc/loadavg: 1.88 1.88 1.77 3/228 26391
/proc/meminfo: memFree=31145760/32770624 swapFree=66936320/67108860
[pid=25969] ppid=25966 vsize=10748324 memory=236324 CPUtime=196.57 cores=0,2,4,6
/proc/25969/stat : 25969 (java) S 25966 25969 25423 0 -1 1077944320 47847 0 0 0 19637 20 0 0 20 0 16 0 414568344 11006283776 59081 33554432000 4194304 4196468 140736595309152 140736595291696 140531650539255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
/proc/25969/statm: 2687081 59081 3353 1 0 2647217 0
[pid=25969/tid=25971] ppid=25966 vsize=10748324 memory=5932 CPUtime=1.86 cores=0,2,4,6
/proc/25969/task/25971/stat : 25971 (java) S 25966 25969 25423 0 -1 1077944384 13929 0 0 0 180 6 0 0 20 0 16 0 414568344 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531654782128 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25972] ppid=25966 vsize=10748324 memory=15599321222257 CPUtime=0.01 cores=0,2,4,6
/proc/25969/task/25972/stat : 25972 (java) S 25966 25969 25423 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531603160080 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25973] ppid=25966 vsize=10748324 memory=236324 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25973/stat : 25973 (java) S 25966 25969 25423 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531602107536 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25974] ppid=25966 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25974/stat : 25974 (java) S 25966 25969 25423 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531601054480 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25975] ppid=25966 vsize=10748324 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25975/stat : 25975 (java) S 25966 25969 25423 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 414568345 11006283776 59081 33554432000 4194304 4196468 140736595309152 140531600001936 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25976] ppid=25966 vsize=10748324 memory=616 CPUtime=0.01 cores=0,2,4,6
/proc/25969/task/25976/stat : 25976 (java) S 25966 25969 25423 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 16 0 414568346 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530753456368 140531650550402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25977] ppid=25966 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25977/stat : 25977 (java) S 25966 25969 25423 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414568346 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530752402656 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25978] ppid=25966 vsize=10748324 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25978/stat : 25978 (java) S 25966 25969 25423 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414568347 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530751349472 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25979] ppid=25966 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25979/stat : 25979 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530750298064 140531650557851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25980] ppid=25966 vsize=10748324 memory=234276 CPUtime=1.8 cores=0,2,4,6
/proc/25969/task/25980/stat : 25980 (java) S 25966 25969 25423 0 -1 1077944384 7947 0 0 0 179 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530749246192 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25981] ppid=25966 vsize=10748324 memory=234276 CPUtime=1.76 cores=0,2,4,6
/proc/25969/task/25981/stat : 25981 (java) S 25966 25969 25423 0 -1 1077944384 6090 0 0 0 175 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530748193648 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25982] ppid=25966 vsize=10748324 memory=234276 CPUtime=0.87 cores=0,2,4,6
/proc/25969/task/25982/stat : 25982 (java) S 25966 25969 25423 0 -1 1077944384 7363 0 0 0 86 1 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530747140592 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25983] ppid=25966 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/25969/task/25983/stat : 25983 (java) S 25966 25969 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568349 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530746088288 140531650549461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25984] ppid=25966 vsize=10748324 memory=2016 CPUtime=0.05 cores=0,2,4,6
/proc/25969/task/25984/stat : 25984 (java) S 25966 25969 25423 0 -1 1077944384 534 0 0 0 1 4 0 0 20 0 16 0 414568350 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530745035312 140531650550402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
[pid=25969/tid=25985] ppid=25966 vsize=10748324 memory=1412 CPUtime=190.1 cores=0,2,4,6
/proc/25969/task/25985/stat : 25985 (java) R 25966 25969 25423 0 -1 4202560 9465 0 0 0 19006 4 0 0 20 0 16 0 414568532 11006283776 59081 33554432000 4194304 4196468 140736595309152 140530727960240 140531287856845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33091584 140736595313675 140736595313778 140736595313778 140736595316687 0
Current children cumulated CPU time: 196.57 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 236324 KiB
Child status: 0
Real time (s): 192.092
CPU time (s): 196.73
CPU user time (s): 196.514
CPU system time (s): 0.216137
CPU usage (%): 102.415
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 236324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 196.514
system time used= 0.216137
maximum resident set size= 241124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7064
involuntary context switches= 272
# summary of solver processes directly reported to runsolver:
# pid: 25969
# total CPU time (s): 196.73
# total CPU user time (s): 196.514
# total CPU system time (s): 0.216137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0045 second user time and 1.81294 second system time
The end