2.41/1.88
2.41/1.88 AbsCon 2
2.66/1.90
3.25/2.13 Instance
3.25/2.13 name=instance-4390776-1568384399, framework=COP, bounds=-infty..+infty
3.25/2.13
3.25/2.13 Loading variables...
3.25/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e391c85
3.25/2.16 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cca31c5
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b82ea
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba4f44f
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9383137
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eaeb8b4
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5e57e2
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c83fc7
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a7bee3
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7b4925
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e3986ab
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f0020f
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d65d793
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f2fbd2
3.25/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727410f6
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2719184
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553bdc10
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e9344fe
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36779956
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22916f73
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc9f866
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a9fdc8
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2cc455
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec244f0
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a16423f
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c5d93c
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51921780
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54187d2c
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619797d0
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a3bb52
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d98d91e
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8dcdcf
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b3ed05
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d6e4ad
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738eddfc
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fc9e40
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d4dddb
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b03c1a3
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77668d
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ed6e62c
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d2dc6cc
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fd1f72
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437a196f
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98c37b4
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f294bb7
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65134e27
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60384310
3.25/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45785ab6
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0fd216
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1dae77
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0af2ec
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bc36e58
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66049e92
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43676bc7
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aae7426
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72db70ab
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2700642e
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ecb3f9
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f54fd02
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df82eb6
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f91dee
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b506195
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa1a75d
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222c8a3a
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@300b9a42
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc37bb7
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10f4d6c5
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f81fba3
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4910fe33
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301359ab
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea33cd
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46995d15
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7453cf93
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ba405c
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85e6f0
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4b8b19
3.25/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad8c151
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c65c19
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268d209
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277c2199
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fdc14ee
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@387e9bfc
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fba629a
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dcbb83e
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@229cc92e
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c974241
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eecad00
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ce9268
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332609f0
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b52b786
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a0dbf0
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7790d1
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21247f0d
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f5710
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7563b5e8
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a417f3a
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec4b07e
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cad051a
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55aefe3b
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccf7d22
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ef2397
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@593e0270
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1047a124
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3f7047
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743aba4c
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c25420
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4a9954
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de4a7f2
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dd8db8
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26547c9e
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23820084
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce985f
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef8765d
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f01d3a
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c63d31c
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
3.25/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5cb462
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c16d9a
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8b6e4b
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789c366
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c6f9055
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576fa4cd
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f06cb4
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245ba8e4
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac570ee
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb6986e
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15602c
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef3e4f5
3.25/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15668ec6
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b50236
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5d4f8
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca83473
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e65cef
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db3392
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ad3e4
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f76bf7
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11abdd6a
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cab11b
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@362ebbba
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104ac5ef
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e28835
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ac5cfa
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217f1a65
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79e614f8
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e9b40
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77dd1b7f
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a82a7
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b3476ef
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b84b1ff
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bc500c4
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29bba49b
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d180026
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39fb0348
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367c73a0
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a3c64c3
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1f3d9d
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752d386b
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475382f
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46ed1a23
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ae1836
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48fe11f3
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acb6dc6
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15f13a96
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc67082
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c165fb7
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7afa4783
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bdade91
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124c83f6
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24588a59
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@789ecb53
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e34c43e
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4344023a
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71228074
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc72ee9
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7afa34bd
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6c5353
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f885a6
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c554453
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f667b3
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6506084f
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25741ad
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d2fbf1
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40b080c2
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c40a3ae
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376d34d7
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72cd3c7d
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27abbe82
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a4a85b7
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e68ea23
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3ddea0
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd0b2c1
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3d5543
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705ee9f1
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db26acf
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5257fa
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6cdffd
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49873467
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10710315
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63755414
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8ee4ed
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5bb129
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@529275f2
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b947cf
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29cfd317
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@560448ab
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71775ff9
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4fb182
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dccfa2
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57113787
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d943abb
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315e1cf0
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@288d8978
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c50faf
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1236411c
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4210d5c4
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d6be9f4
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee97434
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a93c8e4
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9c91ad
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ef2b6
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b49cb7
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51884f2e
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a8d524
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a081d
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aea7f72
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fefd911
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@408d2b4d
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c435f66
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1238e9a6
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e383e3
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5bc435
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6debce6a
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de0a249
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32452c20
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69eb8617
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ddb19
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaba48f
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92e0899
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dae055b
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1805d423
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cb44610
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f1e025
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59218ec
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2086daf4
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c1d7fd1
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3fc62b
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230569ae
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@442c80f4
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73be87f3
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6567b0b8
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f5b89c9
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b3d671
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@241974ac
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f6c47a
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de26673
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ef8fe13
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c5ee334
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2e41e9
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5896da
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d704f
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3229d7fc
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65a1623c
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37eb321a
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bd7f925
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d12e9c
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb4486d
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d8ab9b9
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4552e01b
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aef340f
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416ce3b9
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f59adb
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7283a6d4
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e1bca7e
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13bdba01
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d827733
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57000b23
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24440cd9
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44638fff
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140a83d5
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3163608d
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6cc4d
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79dcb1cf
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18549597
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f7b110
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553dfcb
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff14619
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21c4cb33
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c459f1
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d56c14
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@575bbbfd
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46c568f2
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@131dfc32
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d4ebd1a
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118b3b8
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1721177c
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f26886e
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113216a2
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa5834b
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e76f628
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418a0b9e
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74db2e91
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@493c53cf
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a9a84f
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf53aa9
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cdadb4
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c4632
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cac473
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669dafee
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2000f0ab
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2004fc11
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d69f01b
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f008b3e
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59763d07
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e5eebf
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee06b5b
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4932f0a
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f71ae7
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d713c2
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbf5744
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3587dbb3
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@554dbcf1
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7644734e
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf87e79
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8980170
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24638287
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd488bb
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac02c33
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b9ac9
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd9dcaf
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7170d0fb
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7a5f01
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3733bf69
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21837dd6
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514c0639
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9beb36
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c5e777
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3320399d
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67a26534
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23dc8c36
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157abaf3
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@561c4043
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0b3e77
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67acb4c1
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af6e12
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ed9a59
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322a719
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bec77f
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@371ef258
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3228f3d6
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fb9240
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4831ead0
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d0c3b5b
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b456f9
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b42215c
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c08756c
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3105d0a1
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2090d7a4
3.56/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0be4e7
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f12e94
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@215977c7
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@591aecdc
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67286ce2
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a217114
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d627804
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70efdb7a
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d2ca7e4
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3675c812
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@694a3c03
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df8b02d
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ca438d
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77bbb96a
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edc5ada
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6db78d
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e1c2d6
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c331371
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4442bdad
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e57dc69
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5622597
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@205efcdf
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@285bbcc
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a782d1
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b112f5
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf65b38
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d70c5b
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a999b59
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f42018
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70616a59
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9f5be0
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c222780
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532fb967
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@373a2d90
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d97ae0
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d95e0a
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbb17ba
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c65daca
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3896bb2f
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5076be43
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdf444e
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@423e7443
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1580938b
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@793d8ff1
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed9f11a
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60631ddb
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8496ab
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30264a5a
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@429b8906
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b40fe8
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cd05132
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f7efad
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c788232
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50339dc9
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d3786f
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6514b
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7727ca4c
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@337adc0f
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725f767b
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f56c5
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38082281
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@246c1c9a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d5136
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e348ea0
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e4aaefd
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38885e74
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e9a1408
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aae0821
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a8b138
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24233ed7
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d46e1d
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c133d93
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195c2d15
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66506692
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6237e0
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a5d979a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1705c50b
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e114e81
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e2480
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469c457e
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a34130a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27f4b0b3
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784e19b0
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4474a2f4
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9172bec
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f6d492
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417dd9cc
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f21124
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43163be9
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cce4d8b
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2cee2
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a44d09
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d153802
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1632a31a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e64cb0
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d25143
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e86042e
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bb229
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@249e8f1a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b867d80
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bafa059
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605e9bf
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63970ef2
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8c05a2
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5313ab99
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@709ec927
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705e3721
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e342b04
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ab48c9
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@262b347c
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1192d70a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45343a54
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4122090a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f7e8c
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e22bbef
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19517666
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c7c280
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b13fcfd
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c47e2f
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16dbb11b
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59cc4882
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a7a6679
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1194ab8c
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94e962
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2ed161
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601ce6fb
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3424f396
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110ae14f
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32dd681a
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55ae67a2
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19368645
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5f54b6
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@130eaaf8
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad95aaa
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af9cf13
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a27128
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c022bb0
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c38419b
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd0ff0
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ea299d4
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f10b48
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd85487
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a9d9d9
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b6dbe48
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f6785d
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d934446
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3364cf2c
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e26938f
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38217deb
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69764e35
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399774f7
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e73b03
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d12ebba
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b62960
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643f3151
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740023f2
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe727f
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfbe06e
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f1bde1
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56074ed2
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0a47c0
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68743517
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1962c3
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f792d6b
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5909f0b4
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a057aa9
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c585fce
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491db9b2
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9aaf06a
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b903cf
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc3209e
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4b4f1d
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc35809
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7516cbfb
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790b3d82
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1180fb46
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbca44d
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e22b316
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c19f8b
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bb0822
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af9fd4c
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7feeb4
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f69216b
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5293e31a
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1388b86c
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3e51bd
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c41f70f
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429f75d
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e495af1
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaec59b
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d13eb
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cd46fa
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a6438
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf9a344
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b2047e
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@800aa35
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6443ef45
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59933fe6
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a69f1e0
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15174c1d
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794cb64d
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a895899
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770367b8
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eda8d4e
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135a594e
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f7094
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582f4a5
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@daaf41f
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a8f8ed
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391c78c9
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140cf39d
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e55aab6
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71cd8a7
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82fc7b
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35266b7c
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed27faa
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed45e22
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417e800c
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18834d27
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55240b0d
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c50434
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b704158
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7429b1
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f59b06
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4860a4cd
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea2d5ee
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee3f9cd
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef582be
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fece824
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a8829a5
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4c15bc
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c68996
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb93174
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@364ccd85
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70720fc3
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ca8728
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee073c8
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d4f61a
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48988506
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c8d76b
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3167834
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36526871
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa04991
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174fd4c0
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f358e5f
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3d1e77
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645dab20
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c298fa1
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e91fd50
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bb1b0b
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54398eb3
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32223717
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737d0497
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421f1602
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784faf27
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f549886
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b7a0da
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100bc216
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7915279
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b2fbc0
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769a54fb
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134acf26
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6208f993
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@644834f7
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d75e848
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb7fb4f
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2085f8f2
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e159d44
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80889bd
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bc74ab
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c4d52d
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d3e1ab
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c447290
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f575
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136f8
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45a3033a
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326141f
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290e163a
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a481250
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf20e08
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24611209
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e47c313
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e78275
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c93b1bd
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4daf5dd9
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45564cdb
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59810004
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328e42c7
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33352b11
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795f162d
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db0497b
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac33038
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e529c12
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e976d8
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f47e86c
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415e3d9a
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3ca977
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19eec4ea
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f85a606
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a42a46
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0459db
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e408e72
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b85df5
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e32b8e
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3c8700
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d837440
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f48fb82
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5f08f6
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375e71c7
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca19183
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcbdd8e
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7353e9a8
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1322d655
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e41daf0
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7953eb43
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbf
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a30376e
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c75dccf
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a1786
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d652c97
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a76546
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b693b80
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffad8c
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e45463f
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f3ec21
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5346fd
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a8d140
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5667ed51
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1928b568
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5183c0
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6513bf13
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f959ebc
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e01625
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c948bcd
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67038a99
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24152d8a
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404e254f
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a0dc24
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1202ca67
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7865a0
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5db4fef6
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f71ce9
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414c0ffb
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b479257
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91ad552
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ba7418
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11976b14
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e9501
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2127313c
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c8f11b
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2202074e
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a30054a
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e8c5eb
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df7784e
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d37bd02
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@152072a4
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cc9607
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f995282
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f8c1ba
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d54110b
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8f2b399
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c0f463
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54af2ca3
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfb3ec7
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eeb6a54
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2933913
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78aa9f25
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6b1cd5
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ab83cc
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a7dac1
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773b2506
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6846125d
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dbad4f
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411d326d
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe6fa8
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea79897
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36bd3a2d
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b24639
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61aa4176
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fcc96b9
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d39e1c6
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c12453a
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b78c7d
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6802b82a
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda9794
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cae9853
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6855f8fa
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a8b2a2
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511ebcb7
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a4f6695
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301aba
3.82/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45dae986
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e076f54
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad73614
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73fe7bfa
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f8b931
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2382efa5
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676e426e
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b32b37f
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55daa4f0
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3860ba4b
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe56569
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea40068
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4096a5e4
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74807b4
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cf5471
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55970bee
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cd725c
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8cc307
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ce592a
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b4c7a1
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5ad921
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277275e8
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76791d27
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eccb757
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e8e872b
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b0e711
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ead342e
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e54c1b1
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8ba759
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af3cb53
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57aec3f7
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ea7584
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4129ea
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ba72
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270d7f7b
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e15a7a
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32556143
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c97104
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e9deda1
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2cc2c1
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72748705
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f6809e
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a77818
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bff63b1
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1abfb48e
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be078ab
3.82/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762dc4da
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64e6cd1
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8b55c
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5707a4a7
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5775faec
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf0c293
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2ef56f
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201e2cfa
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@959aeb3
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3654cab3
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260fbd45
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33fd8b41
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372700ba
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9092a8
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56cb7f4
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5e4f5a
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8a1817
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e05886
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a11aad7
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edb52cc
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaa3505
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e03c507
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4519e8
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@546628ea
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27646249
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a229de
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@447f0750
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c6c84
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@153bfc75
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce51601
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed1e8c5
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c414bc3
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2584b47
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca78944
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f49fd1a
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738200fa
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20353615
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a76c4fb
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bab466
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@279d475f
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e5b8d01
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48c441b0
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f0b95b3
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be0324
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d190f32
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f43a254
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbfbda
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffd2962
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25bbe414
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4755b8
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87c44a
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7834d574
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ccb6714
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309c1a10
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d66def0
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc886ab
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a06506b
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf4566e
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71df0b36
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2094fbcc
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349fd31f
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e79a76
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51491157
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38c13b84
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd58406
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e7e6465
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b76e8
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550dada6
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d46195
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68dcb1
3.82/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f80bbfc
3.82/2.37
3.82/2.37
3.82/2.37 Domains
3.82/2.37 nTypes=1, nValues=400, sizes=[2#200]
3.82/2.37 Variables
3.82/2.37 count=200, degrees=[11#1,12#3,13#4,14#4...30#5,31#1,32#1,33#1]
3.82/2.37 Objectives
3.82/2.37 way=min, type=SumSimpleLE
3.82/2.37 Constraints
3.82/2.37 count=901, nSpecific=901, arities=[2#166,3#151,4#149,5#163...8#41,9#31,10#10,200#1]
3.82/2.37 distribution=[SumSimpleGE#800,SumSimpleLE#101]
3.82/2.37 wck=0.523, cpu=2.332, mem=45M9
3.82/2.38 Solver SolverBacktrack being built...
3.82/2.38
4.14/2.41
4.14/2.41 Solver
4.14/2.41 guaranteedGAC=true
4.14/2.41 wck=0.557, cpu=2.364, mem=55M651
4.14/2.41
4.14/2.41 Preprocessing
4.14/2.41 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.14/2.41 wck=0.005, cpu=2.371, mem=55M651
4.14/2.41
4.14/2.44 o 94
4.14/2.45 num=0, depth=3..199, filters=281, ccks=901, wck=0.039, mem=58M294
4.14/2.45 decisions=16, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=1, bestBound=94
4.14/2.45
4.14/2.46 o 92
4.14/2.46 num=1, depth=13..199, filters=486, ccks=1802, wck=0.047, mem=58M294
4.14/2.46 decisions=37, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=2, bestBound=92
4.14/2.46
4.14/2.46 o 90
4.14/2.46 num=2, depth=8..199, filters=767, ccks=2703, wck=0.054, mem=58M294
4.14/2.46 decisions=62, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=3, bestBound=90
4.14/2.46
4.14/2.47 num=3, depth=2..11, filters=2269, ccks=2703, wck=0.066, mem=58M294
4.14/2.47 decisions=118, wrong=26, backtracks=17, failedAssignments=14, nogoods=5, foundSolutions=3, bestBound=90
4.14/2.47
4.14/2.48 num=4, depth=6..12, filters=3390, ccks=2703, wck=0.075, mem=58M294
4.14/2.48 decisions=160, wrong=44, backtracks=33, failedAssignments=25, nogoods=8, foundSolutions=3, bestBound=90
4.14/2.48
4.14/2.49 num=5, depth=0..10, filters=4702, ccks=2703, wck=0.083, mem=60M936
4.14/2.49 decisions=218, wrong=72, backtracks=55, failedAssignments=37, nogoods=9, foundSolutions=3, bestBound=90
4.14/2.49
4.14/2.49 num=6, depth=4..20, filters=5306, ccks=2703, wck=0.088, mem=60M936
4.14/2.49 decisions=290, wrong=102, backtracks=77, failedAssignments=50, nogoods=14, foundSolutions=3, bestBound=90
4.14/2.49
4.46/2.50 num=7, depth=3..17, filters=6550, ccks=2703, wck=0.097, mem=60M936
4.46/2.50 decisions=349, wrong=126, backtracks=94, failedAssignments=64, nogoods=19, foundSolutions=3, bestBound=90
4.46/2.50
4.46/2.51 num=8, depth=4..10, filters=8378, ccks=2703, wck=0.107, mem=60M936
4.46/2.51 decisions=413, wrong=156, backtracks=121, failedAssignments=80, nogoods=21, foundSolutions=3, bestBound=90
4.46/2.51
4.46/2.52 num=9, depth=1..13, filters=9882, ccks=2703, wck=0.116, mem=60M936
4.46/2.52 decisions=473, wrong=185, backtracks=143, failedAssignments=97, nogoods=26, foundSolutions=3, bestBound=90
4.46/2.52
4.46/2.53 num=10, depth=1..20, filters=10579, ccks=2703, wck=0.12, mem=60M936
4.46/2.53 decisions=553, wrong=218, backtracks=168, failedAssignments=116, nogoods=32, foundSolutions=3, bestBound=90
4.46/2.53
4.46/2.53 o 89
4.46/2.53 num=11, depth=8..199, filters=11004, ccks=3604, wck=0.125, mem=60M936
4.46/2.53 decisions=601, wrong=233, backtracks=178, failedAssignments=122, nogoods=36, foundSolutions=4, bestBound=89
4.46/2.53
4.46/2.54 num=12, depth=12..26, filters=11455, ccks=3604, wck=0.129, mem=60M936
4.46/2.54 decisions=704, wrong=274, backtracks=213, failedAssignments=145, nogoods=41, foundSolutions=4, bestBound=89
4.46/2.54
4.46/2.54 num=13, depth=7..20, filters=12026, ccks=3604, wck=0.132, mem=60M936
4.46/2.54 decisions=758, wrong=293, backtracks=229, failedAssignments=156, nogoods=44, foundSolutions=4, bestBound=89
4.46/2.54
4.46/2.54 num=14, depth=14..19, filters=12310, ccks=3604, wck=0.135, mem=60M936
4.46/2.54 decisions=819, wrong=316, backtracks=248, failedAssignments=168, nogoods=46, foundSolutions=4, bestBound=89
4.46/2.54
4.46/2.54 num=15, depth=10..20, filters=12754, ccks=3604, wck=0.137, mem=60M936
4.46/2.54 decisions=873, wrong=337, backtracks=267, failedAssignments=181, nogoods=48, foundSolutions=4, bestBound=89
4.46/2.54
4.46/2.55 num=16, depth=5..17, filters=13706, ccks=3604, wck=0.143, mem=60M936
4.46/2.55 decisions=940, wrong=367, backtracks=293, failedAssignments=195, nogoods=51, foundSolutions=4, bestBound=89
4.46/2.55
4.46/2.55 num=17, depth=8..18, filters=14274, ccks=3604, wck=0.146, mem=60M936
4.46/2.55 decisions=1013, wrong=397, backtracks=317, failedAssignments=211, nogoods=55, foundSolutions=4, bestBound=89
4.46/2.55
4.46/2.56 num=18, depth=7..15, filters=14803, ccks=3604, wck=0.15, mem=60M936
4.46/2.56 decisions=1092, wrong=433, backtracks=347, failedAssignments=228, nogoods=57, foundSolutions=4, bestBound=89
4.46/2.56
4.46/2.56 num=19, depth=10..20, filters=15478, ccks=3604, wck=0.154, mem=60M936
4.46/2.56 decisions=1183, wrong=470, backtracks=382, failedAssignments=247, nogoods=59, foundSolutions=4, bestBound=89
4.46/2.56
4.46/2.56 num=20, depth=14..22, filters=15989, ccks=3604, wck=0.157, mem=60M936
4.46/2.56 decisions=1283, wrong=512, backtracks=424, failedAssignments=268, nogoods=63, foundSolutions=4, bestBound=89
4.46/2.56
4.46/2.57 o 88
4.46/2.57 num=21, depth=11..199, filters=16251, ccks=4505, wck=0.161, mem=60M936
4.46/2.57 decisions=1330, wrong=521, backtracks=430, failedAssignments=273, nogoods=65, foundSolutions=5, bestBound=88
4.46/2.57
4.46/2.57 num=22, depth=12..26, filters=16895, ccks=4505, wck=0.165, mem=60M936
4.46/2.57 decisions=1450, wrong=573, backtracks=468, failedAssignments=298, nogoods=70, foundSolutions=5, bestBound=88
4.46/2.57
4.46/2.58 num=23, depth=1..20, filters=18381, ccks=4505, wck=0.172, mem=60M936
4.46/2.58 decisions=1510, wrong=594, backtracks=482, failedAssignments=309, nogoods=73, foundSolutions=5, bestBound=88
4.46/2.58
4.46/2.58 num=24, depth=10..18, filters=18685, ccks=4505, wck=0.174, mem=60M936
4.46/2.58 decisions=1576, wrong=622, backtracks=505, failedAssignments=321, nogoods=74, foundSolutions=5, bestBound=88
4.46/2.58
4.46/2.58 num=25, depth=9..17, filters=19026, ccks=4505, wck=0.176, mem=60M936
4.46/2.58 decisions=1650, wrong=653, backtracks=531, failedAssignments=334, nogoods=77, foundSolutions=5, bestBound=88
4.46/2.58
4.46/2.58 num=26, depth=10..15, filters=19537, ccks=4505, wck=0.178, mem=60M936
4.46/2.58 decisions=1716, wrong=681, backtracks=555, failedAssignments=348, nogoods=82, foundSolutions=5, bestBound=88
4.46/2.58
4.46/2.59 num=27, depth=14..20, filters=19810, ccks=4505, wck=0.18, mem=60M936
4.46/2.59 decisions=1791, wrong=711, backtracks=579, failedAssignments=364, nogoods=86, foundSolutions=5, bestBound=88
4.46/2.59
4.46/2.59 num=28, depth=10..21, filters=20260, ccks=4505, wck=0.183, mem=60M936
4.46/2.59 decisions=1878, wrong=748, backtracks=612, failedAssignments=381, nogoods=91, foundSolutions=5, bestBound=88
4.46/2.59
4.73/2.60 num=29, depth=4..13, filters=22137, ccks=4505, wck=0.193, mem=60M936
4.73/2.60 decisions=1952, wrong=782, backtracks=637, failedAssignments=400, nogoods=95, foundSolutions=5, bestBound=88
4.73/2.60
4.73/2.60 num=30, depth=9..19, filters=22579, ccks=4505, wck=0.195, mem=60M936
4.73/2.60 decisions=2047, wrong=824, backtracks=671, failedAssignments=421, nogoods=98, foundSolutions=5, bestBound=88
4.73/2.60
4.73/2.61 num=31, depth=3..21, filters=24531, ccks=4505, wck=0.204, mem=60M936
4.73/2.61 decisions=2144, wrong=866, backtracks=705, failedAssignments=444, nogoods=101, foundSolutions=5, bestBound=88
4.73/2.61
4.73/2.62 num=32, depth=3..26, filters=25750, ccks=4505, wck=0.21, mem=60M936
4.73/2.62 decisions=2279, wrong=926, backtracks=750, failedAssignments=469, nogoods=107, foundSolutions=5, bestBound=88
4.73/2.62
4.73/2.62 num=33, depth=9..19, filters=26274, ccks=4505, wck=0.213, mem=60M936
4.73/2.62 decisions=2390, wrong=975, backtracks=794, failedAssignments=497, nogoods=110, foundSolutions=5, bestBound=88
4.73/2.62
4.73/2.62 num=34, depth=11..19, filters=26781, ccks=4505, wck=0.216, mem=60M936
4.73/2.62 decisions=2519, wrong=1033, backtracks=843, failedAssignments=528, nogoods=115, foundSolutions=5, bestBound=88
4.73/2.62
4.73/2.63 num=35, depth=8..17, filters=27379, ccks=4505, wck=0.22, mem=60M936
4.73/2.63 decisions=2683, wrong=1111, backtracks=916, failedAssignments=562, nogoods=117, foundSolutions=5, bestBound=88
4.73/2.63
4.73/2.63 num=36, depth=11..23, filters=28031, ccks=4505, wck=0.224, mem=60M936
4.73/2.63 decisions=2872, wrong=1197, backtracks=981, failedAssignments=599, nogoods=120, foundSolutions=5, bestBound=88
4.73/2.63
4.73/2.63 num=37, depth=14..29, filters=28818, ccks=4505, wck=0.228, mem=60M936
4.73/2.63 decisions=3042, wrong=1272, backtracks=1052, failedAssignments=640, nogoods=124, foundSolutions=5, bestBound=88
4.73/2.63
4.73/2.64 num=38, depth=6..23, filters=30397, ccks=4505, wck=0.236, mem=63M579
4.73/2.64 decisions=3293, wrong=1393, backtracks=1166, failedAssignments=685, nogoods=126, foundSolutions=5, bestBound=88
4.73/2.64
4.73/2.65 num=39, depth=8..22, filters=32000, ccks=4505, wck=0.246, mem=63M579
4.73/2.65 decisions=3523, wrong=1503, backtracks=1264, failedAssignments=735, nogoods=128, foundSolutions=5, bestBound=88
4.73/2.65
4.73/2.66 num=40, depth=5..21, filters=34181, ccks=4505, wck=0.256, mem=63M579
4.73/2.66 decisions=3789, wrong=1631, backtracks=1378, failedAssignments=790, nogoods=133, foundSolutions=5, bestBound=88
4.73/2.66
4.73/2.67 num=41, depth=8..27, filters=36189, ccks=4505, wck=0.266, mem=63M579
4.73/2.67 decisions=4056, wrong=1755, backtracks=1493, failedAssignments=851, nogoods=140, foundSolutions=5, bestBound=88
4.73/2.67
4.73/2.68 num=42, depth=7..20, filters=37113, ccks=4505, wck=0.271, mem=63M579
4.73/2.68 decisions=4299, wrong=1873, backtracks=1606, failedAssignments=918, nogoods=141, foundSolutions=5, bestBound=88
4.73/2.68
4.85/2.70 num=43, depth=4..24, filters=41154, ccks=4505, wck=0.291, mem=63M579
4.85/2.70 decisions=4621, wrong=2031, backtracks=1753, failedAssignments=992, nogoods=143, foundSolutions=5, bestBound=88
4.85/2.70
4.85/2.71 num=44, depth=6..22, filters=42853, ccks=4505, wck=0.299, mem=63M579
4.85/2.71 decisions=4991, wrong=2209, backtracks=1909, failedAssignments=1073, nogoods=149, foundSolutions=5, bestBound=88
4.85/2.71
4.85/2.71 num=45, depth=6..18, filters=44226, ccks=4505, wck=0.307, mem=63M579
4.85/2.71 decisions=5307, wrong=2361, backtracks=2061, failedAssignments=1162, nogoods=152, foundSolutions=5, bestBound=88
4.85/2.71
4.85/2.74 num=46, depth=5..20, filters=49049, ccks=4505, wck=0.329, mem=63M579
4.85/2.74 decisions=5742, wrong=2574, backtracks=2258, failedAssignments=1260, nogoods=155, foundSolutions=5, bestBound=88
4.85/2.74
4.85/2.75 num=47, depth=8..26, filters=51792, ccks=4505, wck=0.343, mem=63M579
4.85/2.75 decisions=6222, wrong=2808, backtracks=2476, failedAssignments=1368, nogoods=161, foundSolutions=5, bestBound=88
4.85/2.75
4.85/2.78 num=48, depth=5..19, filters=57702, ccks=4505, wck=0.37, mem=63M579
4.85/2.78 decisions=6687, wrong=3037, backtracks=2683, failedAssignments=1487, nogoods=167, foundSolutions=5, bestBound=88
4.85/2.78
4.85/2.79 num=49, depth=5..23, filters=60850, ccks=4505, wck=0.386, mem=63M579
4.85/2.79 decisions=7234, wrong=3305, backtracks=2927, failedAssignments=1618, nogoods=173, foundSolutions=5, bestBound=88
4.85/2.79
5.02/2.82 num=50, depth=3..19, filters=66257, ccks=4505, wck=0.413, mem=63M579
5.02/2.82 decisions=7877, wrong=3621, backtracks=3224, failedAssignments=1762, nogoods=178, foundSolutions=5, bestBound=88
5.02/2.82
5.02/2.84 num=51, depth=6..28, filters=69245, ccks=4505, wck=0.429, mem=66M221
5.02/2.84 decisions=8570, wrong=3960, backtracks=3541, failedAssignments=1920, nogoods=183, foundSolutions=5, bestBound=88
5.02/2.84
5.02/2.86 num=52, depth=5..23, filters=73807, ccks=4505, wck=0.452, mem=66M221
5.02/2.86 decisions=9246, wrong=4293, backtracks=3824, failedAssignments=2094, nogoods=188, foundSolutions=5, bestBound=88
5.02/2.86
5.02/2.88 num=53, depth=6..24, filters=79637, ccks=4505, wck=0.479, mem=66M221
5.02/2.88 decisions=10052, wrong=4688, backtracks=4167, failedAssignments=2285, nogoods=193, foundSolutions=5, bestBound=88
5.02/2.88
5.18/2.91 num=54, depth=6..24, filters=84080, ccks=4505, wck=0.5, mem=66M221
5.18/2.91 decisions=10987, wrong=5151, backtracks=4594, failedAssignments=2496, nogoods=199, foundSolutions=5, bestBound=88
5.18/2.91
5.18/2.95 num=55, depth=3..23, filters=92888, ccks=4505, wck=0.541, mem=66M221
5.18/2.95 decisions=12042, wrong=5671, backtracks=5073, failedAssignments=2728, nogoods=203, foundSolutions=5, bestBound=88
5.18/2.95
5.18/2.98 num=56, depth=8..25, filters=98731, ccks=4505, wck=0.57, mem=66M221
5.18/2.98 decisions=13118, wrong=6203, backtracks=5556, failedAssignments=2983, nogoods=207, foundSolutions=5, bestBound=88
5.18/2.98
5.29/3.03 num=57, depth=1..23, filters=109832, ccks=4505, wck=0.621, mem=68M864
5.29/3.03 decisions=14314, wrong=6796, backtracks=6064, failedAssignments=3264, nogoods=215, foundSolutions=5, bestBound=88
5.29/3.03
5.29/3.07 num=58, depth=1..23, filters=119050, ccks=4505, wck=0.664, mem=68M864
5.29/3.07 decisions=15702, wrong=7485, backtracks=6697, failedAssignments=3573, nogoods=224, foundSolutions=5, bestBound=88
5.29/3.07
5.40/3.11 num=59, depth=4..27, filters=125862, ccks=4505, wck=0.7, mem=68M864
5.40/3.11 decisions=17153, wrong=8203, backtracks=7342, failedAssignments=3913, nogoods=232, foundSolutions=5, bestBound=88
5.40/3.11
5.50/3.22 num=60, depth=0..31, filters=149724, ccks=4505, wck=0.809, mem=68M864
5.50/3.22 decisions=18873, wrong=9055, backtracks=8116, failedAssignments=4287, nogoods=237, foundSolutions=5, bestBound=88
5.50/3.22
5.50/3.26 num=61, depth=4..26, filters=158185, ccks=4505, wck=0.853, mem=71M506
5.50/3.26 decisions=20733, wrong=9982, backtracks=8960, failedAssignments=4698, nogoods=244, foundSolutions=5, bestBound=88
5.50/3.26
5.61/3.33 num=62, depth=3..24, filters=173429, ccks=4505, wck=0.926, mem=71M506
5.61/3.33 decisions=22778, wrong=10999, backtracks=9853, failedAssignments=5150, nogoods=250, foundSolutions=5, bestBound=88
5.61/3.33
5.71/3.44 num=63, depth=1..24, filters=196180, ccks=4505, wck=1.03, mem=74M149
5.71/3.44 decisions=24800, wrong=12005, backtracks=10799, failedAssignments=5647, nogoods=258, foundSolutions=5, bestBound=88
5.71/3.44
5.81/3.52
5.81/3.52 New Bounds: 88..87
5.81/3.52 num=64, depth=0..20, filters=213960, ccks=4505, wck=1.113, mem=74M149
5.81/3.52 decisions=25926, wrong=12569, backtracks=11309, failedAssignments=5908, foundSolutions=5, bestBound=88
5.81/3.52
5.81/3.52 Global
5.81/3.52 filters=213960, ccks=4505
5.81/3.52 Stop=FULL_EXPLORATION, wrong=12569, bestBound=88, bestBoundWck=0.716, bestBoundCpu=2.523, foundSolutions=5, firstSolCpu=2.392
5.81/3.52 wck=1.67, cpu=3.474, mem=74M149
5.81/3.52
5.81/3.52 v <instantiation id='sol5' type='solution' cost='88'> <list> x[] </list> <values> 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 </values> </instantiation>
5.81/3.52 s OPTIMUM FOUND
5.81/3.52
5.81/3.52 d WRONG_DECISIONS 12569
5.81/3.52 d NUMBER_SOLUTIONS 5
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 (14993 MiB free)
memory of node 1: 16384 MiB (15562 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390776-1568384399/watcher-4390776-1568384399 -o /tmp/evaluation-result-4390776-1568384399/solver-4390776-1568384399 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6543 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390776-1568384399.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8372, runsolver pid=8369
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.52 1.71 1.83 4/231 8387
/proc/meminfo: memFree=31273568/32770624 swapFree=67004028/67108860
[pid=8372] ppid=8369 vsize=10659884 memory=28484 CPUtime=0.14 cores=1,3,5,7
/proc/8372/stat : 8372 (java) S 8369 8372 6511 0 -1 1077944320 5625 0 0 0 13 1 0 0 20 0 15 0 414679557 10915721216 7121 33554432000 4194304 4196468 140722034128736 140722034111280 139641783983863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
/proc/8372/statm: 2664971 7121 2876 1 0 2627468 0
[pid=8372/tid=8374] ppid=8369 vsize=10659884 memory=-8679947699532690624 CPUtime=0.09 cores=1,3,5,7
/proc/8372/task/8374/stat : 8374 (java) R 8369 8372 6511 0 -1 4202560 3360 0 0 0 9 0 0 0 20 0 15 0 414679558 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641788213448 139641765546201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8375] ppid=8369 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8380] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8380/stat : 8380 (java) S 8369 8372 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641342092832 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8381] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8381/stat : 8381 (java) S 8369 8372 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641341039984 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8382] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8382/stat : 8382 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 7121 33554432000 4194304 4196468 140722034128736 139641339988304 139641784002459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8383] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8383/stat : 8383 (java) S 8369 8372 6511 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 7187 33554432000 4194304 4196468 140722034128736 139641338935664 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8384] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8384/stat : 8384 (java) S 8369 8372 6511 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 7187 33554432000 4194304 4196468 140722034128736 139641337882864 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8385] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0.02 cores=1,3,5,7
/proc/8372/task/8385/stat : 8385 (java) R 8369 8372 6511 0 -1 4202560 406 0 0 0 2 0 0 0 20 0 15 0 414679563 10915721216 7187 33554432000 4194304 4196468 140722034128736 139641336826744 139641762661584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8386] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8386/stat : 8386 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 7187 33554432000 4194304 4196468 140722034128736 139641335777504 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8387] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8387/stat : 8387 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 7187 33554432000 4194304 4196468 140722034128736 139641334725808 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28484 KiB
[startup+0.210765 s]*
/proc/loadavg: 1.52 1.71 1.83 3/231 8387
/proc/meminfo: memFree=31266312/32770624 swapFree=67004028/67108860
[pid=8372] ppid=8369 vsize=10659884 memory=34860 CPUtime=0.32 cores=1,3,5,7
/proc/8372/stat : 8372 (java) S 8369 8372 6511 0 -1 1077944320 6915 0 0 0 31 1 0 0 20 0 15 0 414679557 10915721216 8715 33554432000 4194304 4196468 140722034128736 140722034111280 139641783983863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
/proc/8372/statm: 2664971 8715 2989 1 0 2627468 0
[pid=8372/tid=8374] ppid=8369 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8372/task/8374/stat : 8374 (java) R 8369 8372 6511 0 -1 4202560 3875 0 0 0 19 1 0 0 20 0 15 0 414679558 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641788222032 139641784005789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8375] ppid=8369 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10659884 memory=140118455900213 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8380] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8380/stat : 8380 (java) S 8369 8372 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641342092832 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8381] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8381/stat : 8381 (java) S 8369 8372 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641341039984 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8382] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8382/stat : 8382 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641339988304 139641784002459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8383] ppid=8369 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8372/task/8383/stat : 8383 (java) S 8369 8372 6511 0 -1 1077944384 706 0 0 0 4 0 0 0 20 0 15 0 414679563 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641338935664 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8384] ppid=8369 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8372/task/8384/stat : 8384 (java) S 8369 8372 6511 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 414679563 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641337882864 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8385] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0.05 cores=1,3,5,7
/proc/8372/task/8385/stat : 8385 (java) S 8369 8372 6511 0 -1 1077944384 717 0 0 0 5 0 0 0 20 0 15 0 414679563 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641336830064 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8386] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8386/stat : 8386 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641335777504 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8387] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8387/stat : 8387 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 8715 33554432000 4194304 4196468 140722034128736 139641334725808 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34860 KiB
[startup+0.310247 s]*
/proc/loadavg: 1.52 1.71 1.83 3/231 8387
/proc/meminfo: memFree=31259124/32770624 swapFree=67004028/67108860
[pid=8372] ppid=8369 vsize=10659884 memory=40276 CPUtime=0.47 cores=1,3,5,7
/proc/8372/stat : 8372 (java) S 8369 8372 6511 0 -1 1077944320 9456 0 0 0 45 2 0 0 20 0 15 0 414679557 10915721216 10069 33554432000 4194304 4196468 140722034128736 140722034111280 139641783983863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
/proc/8372/statm: 2664971 10069 3002 1 0 2627468 0
[pid=8372/tid=8374] ppid=8369 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/8372/task/8374/stat : 8374 (java) R 8369 8372 6511 0 -1 4202560 6349 0 0 0 28 2 0 0 20 0 15 0 414679558 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641788215664 139641784005789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8375] ppid=8369 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10659884 memory=15684121435977368 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679558 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8380] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8380/stat : 8380 (java) S 8369 8372 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641342092832 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8381] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8381/stat : 8381 (java) S 8369 8372 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414679560 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641341039984 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8382] ppid=8369 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8382/stat : 8382 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641339988304 139641784002459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8383] ppid=8369 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8372/task/8383/stat : 8383 (java) R 8369 8372 6511 0 -1 1077944384 714 0 0 0 4 0 0 0 20 0 15 0 414679563 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641338935760 139641783994069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8384] ppid=8369 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8372/task/8384/stat : 8384 (java) R 8369 8372 6511 0 -1 4202560 293 0 0 0 3 0 0 0 20 0 15 0 414679563 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641337874368 139641764683236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8385] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0.08 cores=1,3,5,7
/proc/8372/task/8385/stat : 8385 (java) S 8369 8372 6511 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 414679563 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641336830064 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8386] ppid=8369 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8386/stat : 8386 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641335777504 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8387] ppid=8369 vsize=10659884 memory=140118455891584 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8387/stat : 8387 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679563 10915721216 10069 33554432000 4194304 4196468 140722034128736 139641334725808 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40276 KiB
[startup+0.700781 s]
/proc/loadavg: 1.52 1.71 1.83 3/231 8387
/proc/meminfo: memFree=31249564/32770624 swapFree=67004028/67108860
[pid=8372] ppid=8369 vsize=10661932 memory=64004 CPUtime=1.11 cores=1,3,5,7
/proc/8372/stat : 8372 (java) S 8369 8372 6511 0 -1 1077944320 13167 0 0 0 107 4 0 0 20 0 15 0 414679557 10917818368 16001 33554432000 4194304 4196468 140722034128736 140722034111280 139641783983863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
/proc/8372/statm: 2665483 16001 3070 1 0 2627980 0
[pid=8372/tid=8374] ppid=8369 vsize=10661932 memory=1220 CPUtime=0.68 cores=1,3,5,7
/proc/8372/task/8374/stat : 8374 (java) R 8369 8372 6511 0 -1 4202560 8911 0 0 0 64 4 0 0 20 0 15 0 414679558 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641788215888 139641768091718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8375] ppid=8369 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679558 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679560 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8380] ppid=8369 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8380/stat : 8380 (java) S 8369 8372 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414679560 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641342092832 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8381] ppid=8369 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8381/stat : 8381 (java) S 8369 8372 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414679560 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641341039984 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8382] ppid=8369 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8382/stat : 8382 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414679563 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641339988304 139641784002459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8383] ppid=8369 vsize=10661932 memory=7236533984234661184 CPUtime=0.13 cores=1,3,5,7
/proc/8372/task/8383/stat : 8383 (java) R 8369 8372 6511 0 -1 4202560 1122 0 0 0 13 0 0 0 20 0 15 0 414679563 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641338935664 139641767370855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8384] ppid=8369 vsize=10661932 memory=7380106142448642414 CPUtime=0.09 cores=1,3,5,7
/proc/8372/task/8384/stat : 8384 (java) S 8369 8372 6511 0 -1 1077944384 560 0 0 0 9 0 0 0 20 0 15 0 414679563 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641337882864 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8385] ppid=8369 vsize=10661932 memory=5859271421084194152 CPUtime=0.19 cores=1,3,5,7
/proc/8372/task/8385/stat : 8385 (java) S 8369 8372 6511 0 -1 1077944384 1215 0 0 0 19 0 0 0 20 0 15 0 414679563 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641336830064 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8386] ppid=8369 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8386/stat : 8386 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414679563 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641335777504 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8387] ppid=8369 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8387/stat : 8387 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679563 10917818368 16001 33554432000 4194304 4196468 140722034128736 139641334725808 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64004 KiB
[startup+1.50076 s]
/proc/loadavg: 1.52 1.71 1.83 3/231 8387
/proc/meminfo: memFree=31233620/32770624 swapFree=67004028/67108860
[pid=8372] ppid=8369 vsize=10663980 memory=76060 CPUtime=2.01 cores=1,3,5,7
/proc/8372/stat : 8372 (java) S 8369 8372 6511 0 -1 1077944320 18773 0 0 0 196 5 0 0 20 0 15 0 414679557 10919915520 19015 33554432000 4194304 4196468 140722034128736 140722034111280 139641783983863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
/proc/8372/statm: 2665995 19015 3097 1 0 2628492 0
[pid=8372/tid=8374] ppid=8369 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/8372/task/8374/stat : 8374 (java) R 8369 8372 6511 0 -1 4202560 13114 0 0 0 144 4 0 0 20 0 15 0 414679558 10919915520 19015 33554432000 4194304 4196468 140722034128736 139641788215888 139641784005789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8375] ppid=8369 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10919915520 19015 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10919915520 19015 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414679558 10919915520 19015 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414679558 10919915520 19015 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 414679560 10919915520 19015 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
################
# More data... #
################
[pid=8372/tid=8375] ppid=8369 vsize=10748324 memory=6655300316396806240 CPUtime=0.01 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10748324 memory=280236684517472 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 1083 0 0 0 1 0 0 0 20 0 16 0 414679560 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8380] ppid=8369 vsize=10748324 memory=84 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8380/stat : 8380 (java) S 8369 8372 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414679560 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641342092896 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8381] ppid=8369 vsize=10748324 memory=75 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8381/stat : 8381 (java) S 8369 8372 6511 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414679560 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641341040000 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8382] ppid=8369 vsize=10748324 memory=65 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8382/stat : 8382 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641339988304 139641784002459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8383] ppid=8369 vsize=10748324 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/8372/task/8383/stat : 8383 (java) S 8369 8372 6511 0 -1 1077944384 2588 0 0 0 84 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641338935664 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8384] ppid=8369 vsize=10748324 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/8372/task/8384/stat : 8384 (java) R 8369 8372 6511 0 -1 1077944384 1507 0 0 0 75 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641337882864 139641783995010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8385] ppid=8369 vsize=10748324 memory=96 CPUtime=0.65 cores=1,3,5,7
/proc/8372/task/8385/stat : 8385 (java) S 8369 8372 6511 0 -1 1077944384 2574 0 0 0 65 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641336830064 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8386] ppid=8369 vsize=10748324 memory=140118342017651 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8386/stat : 8386 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641335777504 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8387] ppid=8369 vsize=10748324 memory=280236684584208 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8387/stat : 8387 (java) S 8369 8372 6511 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641334725808 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8388] ppid=8369 vsize=10748324 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/8372/task/8388/stat : 8388 (java) R 8369 8372 6511 0 -1 4202560 3655 0 0 0 115 2 0 0 20 0 16 0 414679745 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641333256240 139641783995798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 159568 KiB
[startup+3.5317 s]
# the end of solver process 8372 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.71107 s, system=0.140801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20083 s]
/proc/loadavg: 1.52 1.71 1.83 3/233 8389
/proc/meminfo: memFree=31144636/32770624 swapFree=67004028/67108860
[pid=8372] ppid=8369 vsize=10748324 memory=159568 CPUtime=5.5 cores=1,3,5,7
/proc/8372/stat : 8372 (java) S 8369 8372 6511 0 -1 1077944320 28411 0 0 0 537 13 0 0 20 0 16 0 414679557 11006283776 39892 33554432000 4194304 4196468 140722034128736 140722034111280 139641783983863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
/proc/8372/statm: 2687081 39892 3350 1 0 2647217 0
[pid=8372/tid=8374] ppid=8369 vsize=10748324 memory=9140 CPUtime=1.86 cores=1,3,5,7
/proc/8372/task/8374/stat : 8374 (java) S 8369 8372 6511 0 -1 1077944384 15364 0 0 0 180 6 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641788226736 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8375] ppid=8369 vsize=10748324 memory=4420 CPUtime=0.01 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10748324 memory=7662705889289527641 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10748324 memory=6083078232757004385 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10748324 memory=5865188000529146989 CPUtime=0.01 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 1083 0 0 0 1 0 0 0 20 0 16 0 414679560 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8380] ppid=8369 vsize=10748324 memory=-8412654363917126771 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8380/stat : 8380 (java) S 8369 8372 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414679560 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641342092896 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8381] ppid=8369 vsize=10748324 memory=-5942888427914360000 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8381/stat : 8381 (java) S 8369 8372 6511 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414679560 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641341040000 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8382] ppid=8369 vsize=10748324 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8382/stat : 8382 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641339988304 139641784002459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8383] ppid=8369 vsize=10748324 memory=280236684378808 CPUtime=0.84 cores=1,3,5,7
/proc/8372/task/8383/stat : 8383 (java) S 8369 8372 6511 0 -1 1077944384 2588 0 0 0 84 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641338935664 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8384] ppid=8369 vsize=10748324 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/8372/task/8384/stat : 8384 (java) S 8369 8372 6511 0 -1 1077944384 1509 0 0 0 76 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641337882864 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8385] ppid=8369 vsize=10748324 memory=4869642952846765465 CPUtime=0.65 cores=1,3,5,7
/proc/8372/task/8385/stat : 8385 (java) S 8369 8372 6511 0 -1 1077944384 2574 0 0 0 65 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641336830064 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8386] ppid=8369 vsize=10748324 memory=280236684385624 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8386/stat : 8386 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641335777504 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8387] ppid=8369 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8387/stat : 8387 (java) S 8369 8372 6511 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641334725808 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8388] ppid=8369 vsize=10748324 memory=988 CPUtime=1.26 cores=1,3,5,7
/proc/8372/task/8388/stat : 8388 (java) R 8369 8372 6511 0 -1 4202560 3655 0 0 0 124 2 0 0 20 0 16 0 414679745 11006283776 39892 33554432000 4194304 4196468 140722034128736 139641333256240 139641423172944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 159568 KiB
[startup+3.40061 s]
/proc/loadavg: 1.52 1.71 1.83 3/233 8389
/proc/meminfo: memFree=31144636/32770624 swapFree=67004028/67108860
[pid=8372] ppid=8369 vsize=10748324 memory=161616 CPUtime=5.71 cores=1,3,5,7
/proc/8372/stat : 8372 (java) S 8369 8372 6511 0 -1 1077944320 28415 0 0 0 558 13 0 0 20 0 16 0 414679557 11006283776 40404 33554432000 4194304 4196468 140722034128736 140722034111280 139641783983863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
/proc/8372/statm: 2687081 40404 3350 1 0 2647217 0
[pid=8372/tid=8374] ppid=8369 vsize=10748324 memory=1220 CPUtime=1.86 cores=1,3,5,7
/proc/8372/task/8374/stat : 8374 (java) S 8369 8372 6511 0 -1 1077944384 15364 0 0 0 180 6 0 0 20 0 16 0 414679558 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641788226736 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8375] ppid=8369 vsize=10748324 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414679558 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10748324 memory=784 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10748324 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10748324 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10748324 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 1083 0 0 0 1 0 0 0 20 0 16 0 414679560 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8380] ppid=8369 vsize=10748324 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8380/stat : 8380 (java) S 8369 8372 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414679560 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641342092896 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8381] ppid=8369 vsize=10748324 memory=140118342110977 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8381/stat : 8381 (java) S 8369 8372 6511 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414679560 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641341040000 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8382] ppid=8369 vsize=10748324 memory=7234030490512353113 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8382/stat : 8382 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641339988304 139641784002459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8383] ppid=8369 vsize=10748324 memory=5787515123716350040 CPUtime=0.84 cores=1,3,5,7
/proc/8372/task/8383/stat : 8383 (java) S 8369 8372 6511 0 -1 1077944384 2588 0 0 0 84 0 0 0 20 0 16 0 414679563 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641338935664 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8384] ppid=8369 vsize=10748324 memory=8025788822752027748 CPUtime=0.77 cores=1,3,5,7
/proc/8372/task/8384/stat : 8384 (java) S 8369 8372 6511 0 -1 1077944384 1510 0 0 0 77 0 0 0 20 0 16 0 414679563 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641337882864 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8385] ppid=8369 vsize=10748324 memory=-9178176117148050014 CPUtime=0.65 cores=1,3,5,7
/proc/8372/task/8385/stat : 8385 (java) S 8369 8372 6511 0 -1 1077944384 2575 0 0 0 65 0 0 0 20 0 16 0 414679563 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641336830064 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8386] ppid=8369 vsize=10748324 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8386/stat : 8386 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641335777504 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8387] ppid=8369 vsize=10748324 memory=8316868033356759116 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8387/stat : 8387 (java) S 8369 8372 6511 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641334725808 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8388] ppid=8369 vsize=10748324 memory=11165 CPUtime=1.46 cores=1,3,5,7
/proc/8372/task/8388/stat : 8388 (java) R 8369 8372 6511 0 -1 4202560 3657 0 0 0 144 2 0 0 20 0 16 0 414679745 11006283776 40404 33554432000 4194304 4196468 140722034128736 139641333256240 139641422956967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 161616 KiB
[startup+3.50059 s]
/proc/loadavg: 1.52 1.71 1.83 3/233 8389
/proc/meminfo: memFree=31144636/32770624 swapFree=67004028/67108860
[pid=8372] ppid=8369 vsize=10748324 memory=163728 CPUtime=5.81 cores=1,3,5,7
/proc/8372/stat : 8372 (java) S 8369 8372 6511 0 -1 1077944320 28424 0 0 0 568 13 0 0 20 0 16 0 414679557 11006283776 40932 33554432000 4194304 4196468 140722034128736 140722034111280 139641783983863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
/proc/8372/statm: 2687081 40932 3350 1 0 2647217 0
[pid=8372/tid=8374] ppid=8369 vsize=10748324 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/8372/task/8374/stat : 8374 (java) S 8369 8372 6511 0 -1 1077944384 15364 0 0 0 180 6 0 0 20 0 16 0 414679558 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641788226736 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8375] ppid=8369 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8372/task/8375/stat : 8375 (java) S 8369 8372 6511 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414679558 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641736604304 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8376] ppid=8369 vsize=10748324 memory=159568 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8376/stat : 8376 (java) S 8369 8372 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641389505040 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8377] ppid=8369 vsize=10748324 memory=140118342249937 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8377/stat : 8377 (java) S 8369 8372 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641388452240 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8378] ppid=8369 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8378/stat : 8378 (java) S 8369 8372 6511 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414679558 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641387399440 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8379] ppid=8369 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=1,3,5,7
/proc/8372/task/8379/stat : 8379 (java) S 8369 8372 6511 0 -1 1077944384 1083 0 0 0 1 0 0 0 20 0 16 0 414679560 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641343146864 139641783995010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8380] ppid=8369 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8380/stat : 8380 (java) S 8369 8372 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414679560 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641342092896 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8381] ppid=8369 vsize=10748324 memory=280236684517472 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8381/stat : 8381 (java) S 8369 8372 6511 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414679560 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641341040000 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8382] ppid=8369 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8382/stat : 8382 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641339988304 139641784002459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8383] ppid=8369 vsize=10748324 memory=84 CPUtime=0.84 cores=1,3,5,7
/proc/8372/task/8383/stat : 8383 (java) S 8369 8372 6511 0 -1 1077944384 2588 0 0 0 84 0 0 0 20 0 16 0 414679563 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641338935664 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8384] ppid=8369 vsize=10748324 memory=75 CPUtime=0.77 cores=1,3,5,7
/proc/8372/task/8384/stat : 8384 (java) S 8369 8372 6511 0 -1 1077944384 1510 0 0 0 77 0 0 0 20 0 16 0 414679563 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641337882864 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8385] ppid=8369 vsize=10748324 memory=65 CPUtime=0.65 cores=1,3,5,7
/proc/8372/task/8385/stat : 8385 (java) S 8369 8372 6511 0 -1 1077944384 2582 0 0 0 65 0 0 0 20 0 16 0 414679563 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641336830064 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8386] ppid=8369 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8386/stat : 8386 (java) S 8369 8372 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641335777504 139641783994069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8387] ppid=8369 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8372/task/8387/stat : 8387 (java) S 8369 8372 6511 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414679563 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641334725808 139641783995010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
[pid=8372/tid=8388] ppid=8369 vsize=10748324 memory=96 CPUtime=1.56 cores=1,3,5,7
/proc/8372/task/8388/stat : 8388 (java) R 8369 8372 6511 0 -1 4202560 3659 0 0 0 154 2 0 0 20 0 16 0 414679745 11006283776 40932 33554432000 4194304 4196468 140722034128736 139641333256240 139641422956890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28528640 140722034136075 140722034136178 140722034136178 140722034139087 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 163728 KiB
Child status: 0
Real time (s): 3.53174
CPU time (s): 5.85187
CPU user time (s): 5.71107
CPU system time (s): 0.140801
CPU usage (%): 165.694
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 163728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.71107
system time used= 0.140801
maximum resident set size= 168392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2753
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 8372
# total CPU time (s): 5.85187
# total CPU user time (s): 5.71107
# total CPU system time (s): 0.140801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061129 second user time and 0.092292 second system time
The end