2.39/1.89
2.39/1.89 AbsCon 2
2.63/1.90
3.26/2.13 Instance
3.26/2.13 name=instance-4391076-1568390479, framework=COP, bounds=-infty..+infty
3.26/2.13
3.26/2.13 Loading variables...
3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e391c85
3.26/2.16 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cca31c5
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b82ea
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba4f44f
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9383137
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eaeb8b4
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5e57e2
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c83fc7
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a7bee3
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7b4925
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e3986ab
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f0020f
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d65d793
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f2fbd2
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727410f6
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2719184
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553bdc10
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e9344fe
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36779956
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22916f73
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc9f866
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a9fdc8
3.26/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2cc455
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec244f0
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a16423f
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c5d93c
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51921780
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54187d2c
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619797d0
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a3bb52
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d98d91e
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8dcdcf
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b3ed05
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d6e4ad
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738eddfc
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fc9e40
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d4dddb
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b03c1a3
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77668d
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ed6e62c
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d2dc6cc
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fd1f72
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437a196f
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98c37b4
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f294bb7
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65134e27
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60384310
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45785ab6
3.26/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0fd216
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1dae77
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0af2ec
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bc36e58
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66049e92
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43676bc7
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aae7426
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72db70ab
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2700642e
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ecb3f9
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f54fd02
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df82eb6
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f91dee
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b506195
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa1a75d
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222c8a3a
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@300b9a42
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc37bb7
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10f4d6c5
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f81fba3
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4910fe33
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301359ab
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea33cd
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46995d15
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7453cf93
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ba405c
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85e6f0
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4b8b19
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad8c151
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c65c19
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268d209
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277c2199
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fdc14ee
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@387e9bfc
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fba629a
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dcbb83e
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@229cc92e
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c974241
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eecad00
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ce9268
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332609f0
3.26/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b52b786
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a0dbf0
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7790d1
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21247f0d
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f5710
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7563b5e8
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a417f3a
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec4b07e
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cad051a
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55aefe3b
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccf7d22
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ef2397
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@593e0270
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1047a124
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3f7047
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743aba4c
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c25420
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4a9954
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de4a7f2
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dd8db8
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26547c9e
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23820084
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce985f
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef8765d
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f01d3a
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c63d31c
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5cb462
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c16d9a
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8b6e4b
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789c366
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c6f9055
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576fa4cd
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f06cb4
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245ba8e4
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac570ee
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb6986e
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15602c
3.26/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef3e4f5
3.26/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15668ec6
3.26/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b50236
3.26/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5d4f8
3.26/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca83473
3.26/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e65cef
3.26/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.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39fb0348
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367c73a0
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a3c64c3
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1f3d9d
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752d386b
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475382f
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46ed1a23
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ae1836
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48fe11f3
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acb6dc6
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15f13a96
3.56/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc67082
3.56/2.20 [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.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b947cf
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29cfd317
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@560448ab
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71775ff9
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4fb182
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dccfa2
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57113787
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d943abb
3.56/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315e1cf0
3.56/2.21 [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.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73be87f3
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6567b0b8
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f5b89c9
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b3d671
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@241974ac
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f6c47a
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de26673
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ef8fe13
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c5ee334
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2e41e9
3.56/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5896da
3.56/2.22 [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.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418a0b9e
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74db2e91
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@493c53cf
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a9a84f
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf53aa9
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cdadb4
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c4632
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cac473
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669dafee
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2000f0ab
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2004fc11
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d69f01b
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f008b3e
3.56/2.23 [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.24 [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.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@337adc0f
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725f767b
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f56c5
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38082281
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@246c1c9a
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d5136
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e348ea0
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e4aaefd
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38885e74
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e9a1408
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aae0821
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a8b138
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24233ed7
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d46e1d
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c133d93
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195c2d15
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66506692
3.56/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6237e0
3.56/2.25 [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.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94e962
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2ed161
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601ce6fb
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3424f396
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110ae14f
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32dd681a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55ae67a2
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19368645
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5f54b6
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@130eaaf8
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad95aaa
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af9cf13
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a27128
3.56/2.26 [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.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5293e31a
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1388b86c
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3e51bd
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c41f70f
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429f75d
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e495af1
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaec59b
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d13eb
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cd46fa
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a6438
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf9a344
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b2047e
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@800aa35
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6443ef45
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59933fe6
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a69f1e0
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15174c1d
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794cb64d
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a895899
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770367b8
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eda8d4e
3.56/2.27 [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.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784faf27
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f549886
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b7a0da
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100bc216
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7915279
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b2fbc0
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769a54fb
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134acf26
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6208f993
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@644834f7
3.56/2.28 [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.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33352b11
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795f162d
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db0497b
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac33038
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e529c12
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e976d8
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f47e86c
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415e3d9a
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3ca977
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19eec4ea
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f85a606
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a42a46
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0459db
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e408e72
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b85df5
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e32b8e
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3c8700
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d837440
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f48fb82
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5f08f6
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375e71c7
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca19183
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcbdd8e
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7353e9a8
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1322d655
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e41daf0
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7953eb43
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbf
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a30376e
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c75dccf
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a1786
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d652c97
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a76546
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b693b80
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffad8c
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e45463f
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f3ec21
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5346fd
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a8d140
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5667ed51
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1928b568
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5183c0
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6513bf13
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f959ebc
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e01625
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c948bcd
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67038a99
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24152d8a
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404e254f
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a0dc24
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1202ca67
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7865a0
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5db4fef6
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f71ce9
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414c0ffb
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b479257
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91ad552
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ba7418
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11976b14
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e9501
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2127313c
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c8f11b
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2202074e
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a30054a
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e8c5eb
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df7784e
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d37bd02
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@152072a4
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cc9607
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f995282
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f8c1ba
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d54110b
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8f2b399
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c0f463
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54af2ca3
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfb3ec7
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eeb6a54
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2933913
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78aa9f25
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6b1cd5
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ab83cc
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a7dac1
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773b2506
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6846125d
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dbad4f
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411d326d
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe6fa8
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea79897
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36bd3a2d
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b24639
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61aa4176
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fcc96b9
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d39e1c6
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c12453a
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b78c7d
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6802b82a
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda9794
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cae9853
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6855f8fa
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a8b2a2
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511ebcb7
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a4f6695
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301aba
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45dae986
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e076f54
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad73614
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73fe7bfa
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f8b931
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2382efa5
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676e426e
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b32b37f
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55daa4f0
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3860ba4b
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe56569
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea40068
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4096a5e4
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74807b4
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cf5471
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55970bee
3.81/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cd725c
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8cc307
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ce592a
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b4c7a1
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5ad921
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277275e8
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76791d27
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eccb757
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e8e872b
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b0e711
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ead342e
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e54c1b1
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8ba759
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af3cb53
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57aec3f7
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ea7584
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4129ea
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ba72
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270d7f7b
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e15a7a
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32556143
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c97104
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e9deda1
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2cc2c1
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72748705
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f6809e
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a77818
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bff63b1
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1abfb48e
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be078ab
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762dc4da
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64e6cd1
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8b55c
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5707a4a7
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5775faec
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf0c293
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2ef56f
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201e2cfa
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@959aeb3
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3654cab3
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260fbd45
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33fd8b41
3.81/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372700ba
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9092a8
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56cb7f4
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5e4f5a
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8a1817
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e05886
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a11aad7
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edb52cc
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaa3505
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e03c507
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4519e8
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@546628ea
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27646249
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a229de
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@447f0750
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c6c84
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@153bfc75
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce51601
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed1e8c5
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c414bc3
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2584b47
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca78944
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f49fd1a
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738200fa
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20353615
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a76c4fb
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bab466
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@279d475f
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e5b8d01
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48c441b0
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f0b95b3
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be0324
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d190f32
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f43a254
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbfbda
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffd2962
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25bbe414
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4755b8
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87c44a
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7834d574
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ccb6714
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309c1a10
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d66def0
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc886ab
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a06506b
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf4566e
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71df0b36
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2094fbcc
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349fd31f
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e79a76
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51491157
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38c13b84
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd58406
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e7e6465
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b76e8
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550dada6
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d46195
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68dcb1
3.81/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f80bbfc
3.81/2.37
3.81/2.37
3.81/2.37 Domains
3.81/2.37 nTypes=1, nValues=400, sizes=[2#200]
3.81/2.37 Variables
3.81/2.37 count=200, degrees=[11#1,12#3,13#4,14#4...30#5,31#1,32#1,33#1]
3.81/2.37 Objectives
3.81/2.37 way=min, type=SumSimpleLE
3.81/2.37 Constraints
3.81/2.37 count=901, nSpecific=901, arities=[2#166,3#151,4#149,5#163...8#41,9#31,10#10,200#1]
3.81/2.37 distribution=[SumSimpleGE#800,SumSimpleLE#101]
3.81/2.37 wck=0.514, cpu=2.325, mem=45M10
3.81/2.37 Solver SolverBacktrack being built...
3.81/2.37
4.12/2.40
4.12/2.40 Solver
4.12/2.40 guaranteedGAC=true
4.12/2.40 wck=0.547, cpu=2.357, mem=55M652
4.12/2.41
4.12/2.41 Preprocessing
4.12/2.41 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.12/2.41 wck=0.005, cpu=2.364, mem=55M652
4.12/2.41
4.12/2.43 o 94
4.12/2.44 num=0, depth=3..199, filters=281, ccks=901, wck=0.038, mem=55M652
4.12/2.44 decisions=16, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=1, bestBound=94
4.12/2.44
4.12/2.45 o 92
4.12/2.46 num=1, depth=13..199, filters=486, ccks=1802, wck=0.045, mem=55M652
4.12/2.46 decisions=37, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=2, bestBound=92
4.12/2.46
4.12/2.46 o 90
4.12/2.46 num=2, depth=8..199, filters=767, ccks=2703, wck=0.053, mem=55M652
4.12/2.46 decisions=62, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=3, bestBound=90
4.12/2.46
4.12/2.47 num=3, depth=2..11, filters=2269, ccks=2703, wck=0.066, mem=55M652
4.12/2.47 decisions=118, wrong=26, backtracks=17, failedAssignments=14, nogoods=5, foundSolutions=3, bestBound=90
4.12/2.47
4.12/2.48 num=4, depth=6..12, filters=3390, ccks=2703, wck=0.075, mem=55M652
4.12/2.48 decisions=160, wrong=44, backtracks=33, failedAssignments=25, nogoods=8, foundSolutions=3, bestBound=90
4.12/2.48
4.12/2.49 num=5, depth=0..10, filters=4702, ccks=2703, wck=0.083, mem=58M294
4.12/2.49 decisions=218, wrong=72, backtracks=55, failedAssignments=37, nogoods=9, foundSolutions=3, bestBound=90
4.12/2.49
4.12/2.49 num=6, depth=4..20, filters=5306, ccks=2703, wck=0.088, mem=58M294
4.12/2.49 decisions=290, wrong=102, backtracks=77, failedAssignments=50, nogoods=14, foundSolutions=3, bestBound=90
4.12/2.49
4.45/2.50 num=7, depth=3..17, filters=6550, ccks=2703, wck=0.096, mem=58M294
4.45/2.50 decisions=349, wrong=126, backtracks=94, failedAssignments=64, nogoods=19, foundSolutions=3, bestBound=90
4.45/2.50
4.45/2.51 num=8, depth=4..10, filters=8378, ccks=2703, wck=0.106, mem=58M294
4.45/2.51 decisions=413, wrong=156, backtracks=121, failedAssignments=80, nogoods=21, foundSolutions=3, bestBound=90
4.45/2.51
4.45/2.52 num=9, depth=1..13, filters=9882, ccks=2703, wck=0.115, mem=58M294
4.45/2.52 decisions=473, wrong=185, backtracks=143, failedAssignments=97, nogoods=26, foundSolutions=3, bestBound=90
4.45/2.52
4.45/2.52 num=10, depth=1..20, filters=10579, ccks=2703, wck=0.119, mem=58M294
4.45/2.52 decisions=553, wrong=218, backtracks=168, failedAssignments=116, nogoods=32, foundSolutions=3, bestBound=90
4.45/2.52
4.45/2.52 o 89
4.45/2.53 num=11, depth=8..199, filters=11004, ccks=3604, wck=0.123, mem=58M294
4.45/2.53 decisions=601, wrong=233, backtracks=178, failedAssignments=122, nogoods=36, foundSolutions=4, bestBound=89
4.45/2.53
4.45/2.53 num=12, depth=12..26, filters=11455, ccks=3604, wck=0.128, mem=58M294
4.45/2.53 decisions=704, wrong=274, backtracks=213, failedAssignments=145, nogoods=41, foundSolutions=4, bestBound=89
4.45/2.53
4.45/2.53 num=13, depth=7..20, filters=12026, ccks=3604, wck=0.131, mem=58M294
4.45/2.53 decisions=758, wrong=293, backtracks=229, failedAssignments=156, nogoods=44, foundSolutions=4, bestBound=89
4.45/2.53
4.45/2.54 num=14, depth=14..19, filters=12310, ccks=3604, wck=0.133, mem=58M294
4.45/2.54 decisions=819, wrong=316, backtracks=248, failedAssignments=168, nogoods=46, foundSolutions=4, bestBound=89
4.45/2.54
4.45/2.54 num=15, depth=10..20, filters=12754, ccks=3604, wck=0.136, mem=58M294
4.45/2.54 decisions=873, wrong=337, backtracks=267, failedAssignments=181, nogoods=48, foundSolutions=4, bestBound=89
4.45/2.54
4.45/2.54 num=16, depth=5..17, filters=13706, ccks=3604, wck=0.142, mem=58M294
4.45/2.54 decisions=940, wrong=367, backtracks=293, failedAssignments=195, nogoods=51, foundSolutions=4, bestBound=89
4.45/2.54
4.45/2.55 num=17, depth=8..18, filters=14274, ccks=3604, wck=0.145, mem=58M294
4.45/2.55 decisions=1013, wrong=397, backtracks=317, failedAssignments=211, nogoods=55, foundSolutions=4, bestBound=89
4.45/2.55
4.45/2.55 num=18, depth=7..15, filters=14803, ccks=3604, wck=0.149, mem=58M294
4.45/2.55 decisions=1092, wrong=433, backtracks=347, failedAssignments=228, nogoods=57, foundSolutions=4, bestBound=89
4.45/2.55
4.45/2.55 num=19, depth=10..20, filters=15478, ccks=3604, wck=0.153, mem=58M294
4.45/2.55 decisions=1183, wrong=470, backtracks=382, failedAssignments=247, nogoods=59, foundSolutions=4, bestBound=89
4.45/2.55
4.45/2.56 num=20, depth=14..22, filters=15989, ccks=3604, wck=0.156, mem=58M294
4.45/2.56 decisions=1283, wrong=512, backtracks=424, failedAssignments=268, nogoods=63, foundSolutions=4, bestBound=89
4.45/2.56
4.45/2.56 o 88
4.45/2.56 num=21, depth=11..199, filters=16251, ccks=4505, wck=0.159, mem=58M294
4.45/2.56 decisions=1330, wrong=521, backtracks=430, failedAssignments=273, nogoods=65, foundSolutions=5, bestBound=88
4.45/2.56
4.45/2.57 num=22, depth=12..26, filters=16895, ccks=4505, wck=0.163, mem=58M294
4.45/2.57 decisions=1450, wrong=573, backtracks=468, failedAssignments=298, nogoods=70, foundSolutions=5, bestBound=88
4.45/2.57
4.45/2.57 num=23, depth=1..20, filters=18381, ccks=4505, wck=0.171, mem=58M294
4.45/2.57 decisions=1510, wrong=594, backtracks=482, failedAssignments=309, nogoods=73, foundSolutions=5, bestBound=88
4.45/2.57
4.45/2.57 num=24, depth=10..18, filters=18685, ccks=4505, wck=0.173, mem=58M294
4.45/2.57 decisions=1576, wrong=622, backtracks=505, failedAssignments=321, nogoods=74, foundSolutions=5, bestBound=88
4.45/2.57
4.45/2.58 num=25, depth=9..17, filters=19026, ccks=4505, wck=0.175, mem=58M294
4.45/2.58 decisions=1650, wrong=653, backtracks=531, failedAssignments=334, nogoods=77, foundSolutions=5, bestBound=88
4.45/2.58
4.45/2.58 num=26, depth=10..15, filters=19537, ccks=4505, wck=0.178, mem=58M294
4.45/2.58 decisions=1716, wrong=681, backtracks=555, failedAssignments=348, nogoods=82, foundSolutions=5, bestBound=88
4.45/2.58
4.45/2.58 num=27, depth=14..20, filters=19810, ccks=4505, wck=0.18, mem=58M294
4.45/2.58 decisions=1791, wrong=711, backtracks=579, failedAssignments=364, nogoods=86, foundSolutions=5, bestBound=88
4.45/2.58
4.45/2.58 num=28, depth=10..21, filters=20260, ccks=4505, wck=0.183, mem=58M294
4.45/2.58 decisions=1878, wrong=748, backtracks=612, failedAssignments=381, nogoods=91, foundSolutions=5, bestBound=88
4.45/2.58
4.45/2.59 num=29, depth=4..13, filters=22137, ccks=4505, wck=0.192, mem=58M294
4.45/2.59 decisions=1952, wrong=782, backtracks=637, failedAssignments=400, nogoods=95, foundSolutions=5, bestBound=88
4.45/2.59
4.69/2.60 num=30, depth=9..19, filters=22579, ccks=4505, wck=0.195, mem=58M294
4.69/2.60 decisions=2047, wrong=824, backtracks=671, failedAssignments=421, nogoods=98, foundSolutions=5, bestBound=88
4.69/2.60
4.69/2.61 num=31, depth=3..21, filters=24531, ccks=4505, wck=0.205, mem=58M294
4.69/2.61 decisions=2144, wrong=866, backtracks=705, failedAssignments=444, nogoods=101, foundSolutions=5, bestBound=88
4.69/2.61
4.69/2.61 num=32, depth=3..26, filters=25750, ccks=4505, wck=0.211, mem=58M294
4.69/2.61 decisions=2279, wrong=926, backtracks=750, failedAssignments=469, nogoods=107, foundSolutions=5, bestBound=88
4.69/2.61
4.69/2.62 num=33, depth=9..19, filters=26274, ccks=4505, wck=0.215, mem=58M294
4.69/2.62 decisions=2390, wrong=975, backtracks=794, failedAssignments=497, nogoods=110, foundSolutions=5, bestBound=88
4.69/2.62
4.69/2.62 num=34, depth=11..19, filters=26781, ccks=4505, wck=0.218, mem=58M294
4.69/2.62 decisions=2519, wrong=1033, backtracks=843, failedAssignments=528, nogoods=115, foundSolutions=5, bestBound=88
4.69/2.62
4.69/2.62 num=35, depth=8..17, filters=27379, ccks=4505, wck=0.222, mem=58M294
4.69/2.62 decisions=2683, wrong=1111, backtracks=916, failedAssignments=562, nogoods=117, foundSolutions=5, bestBound=88
4.69/2.62
4.69/2.63 num=36, depth=11..23, filters=28031, ccks=4505, wck=0.226, mem=58M294
4.69/2.63 decisions=2872, wrong=1197, backtracks=981, failedAssignments=599, nogoods=120, foundSolutions=5, bestBound=88
4.69/2.63
4.69/2.63 num=37, depth=14..29, filters=28818, ccks=4505, wck=0.23, mem=58M294
4.69/2.63 decisions=3042, wrong=1272, backtracks=1052, failedAssignments=640, nogoods=124, foundSolutions=5, bestBound=88
4.69/2.63
4.69/2.64 num=38, depth=6..23, filters=30397, ccks=4505, wck=0.239, mem=60M937
4.69/2.64 decisions=3293, wrong=1393, backtracks=1166, failedAssignments=685, nogoods=126, foundSolutions=5, bestBound=88
4.69/2.64
4.69/2.65 num=39, depth=8..22, filters=32000, ccks=4505, wck=0.249, mem=60M937
4.69/2.65 decisions=3523, wrong=1503, backtracks=1264, failedAssignments=735, nogoods=128, foundSolutions=5, bestBound=88
4.69/2.65
4.69/2.66 num=40, depth=5..21, filters=34181, ccks=4505, wck=0.261, mem=60M937
4.69/2.66 decisions=3789, wrong=1631, backtracks=1378, failedAssignments=790, nogoods=133, foundSolutions=5, bestBound=88
4.69/2.66
4.69/2.67 num=41, depth=8..27, filters=36189, ccks=4505, wck=0.272, mem=60M937
4.69/2.67 decisions=4056, wrong=1755, backtracks=1493, failedAssignments=851, nogoods=140, foundSolutions=5, bestBound=88
4.69/2.67
4.69/2.68 num=42, depth=7..20, filters=37113, ccks=4505, wck=0.277, mem=60M937
4.69/2.68 decisions=4299, wrong=1873, backtracks=1606, failedAssignments=918, nogoods=141, foundSolutions=5, bestBound=88
4.69/2.68
4.80/2.70 num=43, depth=4..24, filters=41154, ccks=4505, wck=0.298, mem=60M937
4.80/2.70 decisions=4621, wrong=2031, backtracks=1753, failedAssignments=992, nogoods=143, foundSolutions=5, bestBound=88
4.80/2.70
4.80/2.71 num=44, depth=6..22, filters=42853, ccks=4505, wck=0.307, mem=60M937
4.80/2.71 decisions=4991, wrong=2209, backtracks=1909, failedAssignments=1073, nogoods=149, foundSolutions=5, bestBound=88
4.80/2.71
4.80/2.72 num=45, depth=6..18, filters=44226, ccks=4505, wck=0.315, mem=60M937
4.80/2.72 decisions=5307, wrong=2361, backtracks=2061, failedAssignments=1162, nogoods=152, foundSolutions=5, bestBound=88
4.80/2.72
4.80/2.74 num=46, depth=5..20, filters=49049, ccks=4505, wck=0.339, mem=60M937
4.80/2.74 decisions=5742, wrong=2574, backtracks=2258, failedAssignments=1260, nogoods=155, foundSolutions=5, bestBound=88
4.80/2.74
4.80/2.76 num=47, depth=8..26, filters=51792, ccks=4505, wck=0.354, mem=60M937
4.80/2.76 decisions=6222, wrong=2808, backtracks=2476, failedAssignments=1368, nogoods=161, foundSolutions=5, bestBound=88
4.80/2.76
4.80/2.79 num=48, depth=5..19, filters=57702, ccks=4505, wck=0.384, mem=60M937
4.80/2.79 decisions=6687, wrong=3037, backtracks=2683, failedAssignments=1487, nogoods=167, foundSolutions=5, bestBound=88
4.80/2.79
4.95/2.80 num=49, depth=5..23, filters=60850, ccks=4505, wck=0.402, mem=60M937
4.95/2.80 decisions=7234, wrong=3305, backtracks=2927, failedAssignments=1618, nogoods=173, foundSolutions=5, bestBound=88
4.95/2.80
4.95/2.83 num=50, depth=3..19, filters=66257, ccks=4505, wck=0.43, mem=63M579
4.95/2.83 decisions=7877, wrong=3621, backtracks=3224, failedAssignments=1762, nogoods=178, foundSolutions=5, bestBound=88
4.95/2.83
4.95/2.85 num=51, depth=6..28, filters=69245, ccks=4505, wck=0.447, mem=63M579
4.95/2.85 decisions=8570, wrong=3960, backtracks=3541, failedAssignments=1920, nogoods=183, foundSolutions=5, bestBound=88
4.95/2.85
4.95/2.87 num=52, depth=5..23, filters=73807, ccks=4505, wck=0.472, mem=63M579
4.95/2.87 decisions=9246, wrong=4293, backtracks=3824, failedAssignments=2094, nogoods=188, foundSolutions=5, bestBound=88
4.95/2.87
5.16/2.90 num=53, depth=6..24, filters=79637, ccks=4505, wck=0.502, mem=63M579
5.16/2.90 decisions=10052, wrong=4688, backtracks=4167, failedAssignments=2285, nogoods=193, foundSolutions=5, bestBound=88
5.16/2.90
5.16/2.93 num=54, depth=6..24, filters=84080, ccks=4505, wck=0.524, mem=63M579
5.16/2.93 decisions=10987, wrong=5151, backtracks=4594, failedAssignments=2496, nogoods=199, foundSolutions=5, bestBound=88
5.16/2.93
5.16/2.97 num=55, depth=3..23, filters=92888, ccks=4505, wck=0.567, mem=63M579
5.16/2.97 decisions=12042, wrong=5671, backtracks=5073, failedAssignments=2728, nogoods=203, foundSolutions=5, bestBound=88
5.16/2.97
5.16/3.00 num=56, depth=8..25, filters=98731, ccks=4505, wck=0.598, mem=63M579
5.16/3.00 decisions=13118, wrong=6203, backtracks=5556, failedAssignments=2983, nogoods=207, foundSolutions=5, bestBound=88
5.16/3.00
5.28/3.05 num=57, depth=1..23, filters=109832, ccks=4505, wck=0.652, mem=66M222
5.28/3.05 decisions=14314, wrong=6796, backtracks=6064, failedAssignments=3264, nogoods=215, foundSolutions=5, bestBound=88
5.28/3.05
5.28/3.10 num=58, depth=1..23, filters=119050, ccks=4505, wck=0.697, mem=66M222
5.28/3.10 decisions=15702, wrong=7485, backtracks=6697, failedAssignments=3573, nogoods=224, foundSolutions=5, bestBound=88
5.28/3.10
5.38/3.14 num=59, depth=4..27, filters=125862, ccks=4505, wck=0.734, mem=66M222
5.38/3.14 decisions=17153, wrong=8203, backtracks=7342, failedAssignments=3913, nogoods=232, foundSolutions=5, bestBound=88
5.38/3.14
5.49/3.25 num=60, depth=0..31, filters=149724, ccks=4505, wck=0.848, mem=68M864
5.49/3.25 decisions=18873, wrong=9055, backtracks=8116, failedAssignments=4287, nogoods=237, foundSolutions=5, bestBound=88
5.49/3.25
5.49/3.30 num=61, depth=4..26, filters=158185, ccks=4505, wck=0.893, mem=68M864
5.49/3.30 decisions=20733, wrong=9982, backtracks=8960, failedAssignments=4698, nogoods=244, foundSolutions=5, bestBound=88
5.49/3.30
5.59/3.37 num=62, depth=3..24, filters=173429, ccks=4505, wck=0.97, mem=68M864
5.59/3.37 decisions=22778, wrong=10999, backtracks=9853, failedAssignments=5150, nogoods=250, foundSolutions=5, bestBound=88
5.59/3.37
5.69/3.48 num=63, depth=1..24, filters=196180, ccks=4505, wck=1.079, mem=71M507
5.69/3.48 decisions=24800, wrong=12005, backtracks=10799, failedAssignments=5647, nogoods=258, foundSolutions=5, bestBound=88
5.69/3.48
5.79/3.57
5.79/3.57 New Bounds: 88..87
5.79/3.57 num=64, depth=0..20, filters=213960, ccks=4505, wck=1.166, mem=71M507
5.79/3.57 decisions=25926, wrong=12569, backtracks=11309, failedAssignments=5908, foundSolutions=5, bestBound=88
5.79/3.57
5.79/3.57 Global
5.79/3.57 filters=213960, ccks=4505
5.79/3.57 Stop=FULL_EXPLORATION, wrong=12569, bestBound=88, bestBoundWck=0.706, bestBoundCpu=2.514, foundSolutions=5, firstSolCpu=2.384
5.79/3.57 wck=1.714, cpu=3.519, mem=71M507
5.79/3.57
5.79/3.57 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.79/3.57 s OPTIMUM FOUND
5.79/3.57
5.79/3.57 d WRONG_DECISIONS 12569
5.79/3.57 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 (14283 MiB free)
memory of node 1: 16384 MiB (15648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391076-1568390479/watcher-4391076-1568390479 -o /tmp/evaluation-result-4391076-1568390479/solver-4391076-1568390479 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568390578-28352 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391076-1568390479.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28552, runsolver pid=28549
[startup+0.100202 s]*
/proc/loadavg: 1.16 1.12 1.42 4/227 28567
/proc/meminfo: memFree=30632836/32770624 swapFree=66932052/67108860
[pid=28552] ppid=28549 vsize=10659884 memory=28968 CPUtime=0.14 cores=0,2,4,6
/proc/28552/stat : 28552 (java) S 28549 28552 26463 0 -1 1077944320 5182 0 0 0 12 2 0 0 20 0 15 0 415315675 10915721216 7242 33554432000 4194304 4196468 140724273038720 140724273021264 140246988214007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
/proc/28552/statm: 2664971 7242 2896 1 0 2627468 0
[pid=28552/tid=28554] ppid=28549 vsize=10659884 memory=-7254949962136774010 CPUtime=0.09 cores=0,2,4,6
/proc/28552/task/28554/stat : 28554 (java) R 28549 28552 26463 0 -1 4202560 2977 0 0 0 8 1 0 0 20 0 15 0 415315675 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246992443592 140246969801265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28555] ppid=28549 vsize=10659884 memory=5793855569677920697 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315677 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28560] ppid=28549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28560/stat : 28560 (java) S 28549 28552 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315678 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246224294944 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28561] ppid=28549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28561/stat : 28561 (java) S 28549 28552 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315678 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246223242096 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28562] ppid=28549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28562/stat : 28562 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315680 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246222190416 140246988232603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28563] ppid=28549 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28563/stat : 28563 (java) S 28549 28552 26463 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 415315680 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246221138800 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28564] ppid=28549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28564/stat : 28564 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315680 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246220086000 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28565] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0.02 cores=0,2,4,6
/proc/28552/task/28565/stat : 28565 (java) R 28549 28552 26463 0 -1 4202560 393 0 0 0 2 0 0 0 20 0 15 0 415315680 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246219028040 140246966582646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28566] ppid=28549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28566/stat : 28566 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315681 10915721216 7242 33554432000 4194304 4196468 140724273038720 140246217980640 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28567] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28567/stat : 28567 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315681 10915721216 7308 33554432000 4194304 4196468 140724273038720 140246216927920 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28968 KiB
[startup+0.210713 s]*
/proc/loadavg: 1.16 1.12 1.42 3/227 28567
/proc/meminfo: memFree=30619208/32770624 swapFree=66932052/67108860
[pid=28552] ppid=28549 vsize=10659884 memory=37724 CPUtime=0.32 cores=0,2,4,6
/proc/28552/stat : 28552 (java) S 28549 28552 26463 0 -1 1077944320 8671 0 0 0 29 3 0 0 20 0 15 0 415315675 10915721216 9431 33554432000 4194304 4196468 140724273038720 140724273021264 140246988214007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
/proc/28552/statm: 2664971 9431 2987 1 0 2627468 0
[pid=28552/tid=28554] ppid=28549 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/28552/task/28554/stat : 28554 (java) R 28549 28552 26463 0 -1 4202560 5704 0 0 0 18 2 0 0 20 0 15 0 415315675 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246992440368 140246988235933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28555] ppid=28549 vsize=10659884 memory=4211974044872818058 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315677 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28560] ppid=28549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28560/stat : 28560 (java) S 28549 28552 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315678 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246224294944 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28561] ppid=28549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28561/stat : 28561 (java) S 28549 28552 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315678 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246223242096 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28562] ppid=28549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28562/stat : 28562 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315680 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246222190416 140246988232603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28563] ppid=28549 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28552/task/28563/stat : 28563 (java) S 28549 28552 26463 0 -1 1077944384 816 0 0 0 3 0 0 0 20 0 15 0 415315680 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246221138800 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28564] ppid=28549 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28552/task/28564/stat : 28564 (java) S 28549 28552 26463 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 15 0 415315680 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246220086000 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28565] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0.05 cores=0,2,4,6
/proc/28552/task/28565/stat : 28565 (java) S 28549 28552 26463 0 -1 1077944384 686 0 0 0 5 0 0 0 20 0 15 0 415315680 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246219033200 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28566] ppid=28549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28566/stat : 28566 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315681 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246217980640 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28567] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28567/stat : 28567 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315681 10915721216 9431 33554432000 4194304 4196468 140724273038720 140246216927920 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37724 KiB
[startup+0.310196 s]*
/proc/loadavg: 1.16 1.12 1.42 4/227 28567
/proc/meminfo: memFree=30617036/32770624 swapFree=66932052/67108860
[pid=28552] ppid=28549 vsize=10659884 memory=40036 CPUtime=0.48 cores=0,2,4,6
/proc/28552/stat : 28552 (java) S 28549 28552 26463 0 -1 1077944320 8803 0 0 0 44 4 0 0 20 0 15 0 415315675 10915721216 10009 33554432000 4194304 4196468 140724273038720 140724273021264 140246988214007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
/proc/28552/statm: 2664971 10009 2999 1 0 2627468 0
[pid=28552/tid=28554] ppid=28549 vsize=10659884 memory=280637055434992 CPUtime=0.3 cores=0,2,4,6
/proc/28552/task/28554/stat : 28554 (java) R 28549 28552 26463 0 -1 4202560 5783 0 0 0 27 3 0 0 20 0 15 0 415315675 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246992445808 140246988235933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28555] ppid=28549 vsize=10659884 memory=4211974044872818058 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10659884 memory=140318668029935 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10659884 memory=140318527850607 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10659884 memory=140318527830991 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10659884 memory=140318668054010 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315677 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28560] ppid=28549 vsize=10659884 memory=140318527830991 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28560/stat : 28560 (java) S 28549 28552 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315678 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246224294944 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28561] ppid=28549 vsize=10659884 memory=280637055682704 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28561/stat : 28561 (java) S 28549 28552 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315678 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246223242096 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28562] ppid=28549 vsize=10659884 memory=280637055680400 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28562/stat : 28562 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315680 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246222190416 140246988232603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28563] ppid=28549 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28552/task/28563/stat : 28563 (java) R 28549 28552 26463 0 -1 1077944384 851 0 0 0 4 0 0 0 20 0 15 0 415315680 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246221138800 140246988225154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28564] ppid=28549 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28552/task/28564/stat : 28564 (java) S 28549 28552 26463 0 -1 1077944384 113 0 0 0 3 0 0 0 20 0 15 0 415315680 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246220086000 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28565] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0.07 cores=0,2,4,6
/proc/28552/task/28565/stat : 28565 (java) R 28549 28552 26463 0 -1 4202560 697 0 0 0 7 0 0 0 20 0 15 0 415315680 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246219033200 140246972257637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28566] ppid=28549 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28566/stat : 28566 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315681 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246217980640 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28567] ppid=28549 vsize=10659884 memory=140318668027520 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28567/stat : 28567 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315681 10915721216 10009 33554432000 4194304 4196468 140724273038720 140246216927920 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40036 KiB
[startup+0.700907 s]
/proc/loadavg: 1.16 1.12 1.42 5/227 28567
/proc/meminfo: memFree=30602488/32770624 swapFree=66932052/67108860
[pid=28552] ppid=28549 vsize=10661932 memory=63732 CPUtime=1.11 cores=0,2,4,6
/proc/28552/stat : 28552 (java) S 28549 28552 26463 0 -1 1077944320 12472 0 0 0 106 5 0 0 20 0 15 0 415315675 10917818368 15933 33554432000 4194304 4196468 140724273038720 140724273021264 140246988214007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
/proc/28552/statm: 2665483 15933 3061 1 0 2627980 0
[pid=28552/tid=28554] ppid=28549 vsize=10661932 memory=2832 CPUtime=0.68 cores=0,2,4,6
/proc/28552/task/28554/stat : 28554 (java) R 28549 28552 26463 0 -1 4202560 8335 0 0 0 64 4 0 0 20 0 15 0 415315675 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246992445232 140246973908992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28555] ppid=28549 vsize=10661932 memory=772 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10661932 memory=5787220445994897765 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315677 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28560] ppid=28549 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28560/stat : 28560 (java) S 28549 28552 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315678 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246224294944 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28561] ppid=28549 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28561/stat : 28561 (java) S 28549 28552 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315678 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246223242096 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28562] ppid=28549 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28562/stat : 28562 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315680 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246222190416 140246988232603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28563] ppid=28549 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28552/task/28563/stat : 28563 (java) S 28549 28552 26463 0 -1 1077944384 1143 0 0 0 11 0 0 0 20 0 15 0 415315680 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246221138800 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28564] ppid=28549 vsize=10661932 memory=11 CPUtime=0.11 cores=0,2,4,6
/proc/28552/task/28564/stat : 28564 (java) R 28549 28552 26463 0 -1 4202560 512 0 0 0 11 0 0 0 20 0 15 0 415315680 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246220086000 140246967466623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28565] ppid=28549 vsize=10661932 memory=1367 CPUtime=0.19 cores=0,2,4,6
/proc/28552/task/28565/stat : 28565 (java) S 28549 28552 26463 0 -1 1077944384 1122 0 0 0 19 0 0 0 20 0 15 0 415315680 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246219033200 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28566] ppid=28549 vsize=10661932 memory=280637055859696 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28566/stat : 28566 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315681 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246217980640 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28567] ppid=28549 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28567/stat : 28567 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315681 10917818368 15933 33554432000 4194304 4196468 140724273038720 140246216927920 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63732 KiB
[startup+1.50072 s]
/proc/loadavg: 1.16 1.12 1.42 6/228 28568
/proc/meminfo: memFree=30515060/32770624 swapFree=66932052/67108860
[pid=28552] ppid=28549 vsize=10663980 memory=75760 CPUtime=2 cores=0,2,4,6
/proc/28552/stat : 28552 (java) S 28549 28552 26463 0 -1 1077944320 16503 0 0 0 194 6 0 0 20 0 15 0 415315675 10919915520 18940 33554432000 4194304 4196468 140724273038720 140724273021264 140246988214007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
/proc/28552/statm: 2665995 18940 3093 1 0 2628492 0
[pid=28552/tid=28554] ppid=28549 vsize=10663980 memory=71788 CPUtime=1.48 cores=0,2,4,6
/proc/28552/task/28554/stat : 28554 (java) R 28549 28552 26463 0 -1 4202560 11234 0 0 0 143 5 0 0 20 0 15 0 415315675 10919915520 18940 33554432000 4194304 4196468 140724273038720 140246992439888 140246971400837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28555] ppid=28549 vsize=10663980 memory=280637055745792 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10919915520 18940 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315676 10919915520 18940 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10919915520 18940 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315676 10919915520 18940 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 415315677 10919915520 18940 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
################
# More data... #
################
[pid=28552/tid=28555] ppid=28549 vsize=10748324 memory=7741801466063514727 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10748324 memory=6297554443011646564 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10748324 memory=100 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 415315676 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10748324 memory=158664 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 16 0 415315677 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28560] ppid=28549 vsize=10748324 memory=7524741378049397842 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28560/stat : 28560 (java) S 28549 28552 26463 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415315678 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246224295008 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28561] ppid=28549 vsize=10748324 memory=6224326950734024018 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28561/stat : 28561 (java) S 28549 28552 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415315678 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246223242112 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28562] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28562/stat : 28562 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315680 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246222190416 140246988232603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28563] ppid=28549 vsize=10748324 memory=280637055750336 CPUtime=0.74 cores=0,2,4,6
/proc/28552/task/28563/stat : 28563 (java) R 28549 28552 26463 0 -1 1077944384 1997 0 0 0 74 0 0 0 20 0 16 0 415315680 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246221138800 140246988225154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28564] ppid=28549 vsize=10748324 memory=3978261559745163824 CPUtime=0.84 cores=0,2,4,6
/proc/28552/task/28564/stat : 28564 (java) R 28549 28552 26463 0 -1 4202560 1863 0 0 0 84 0 0 0 20 0 16 0 415315680 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246220086000 140246973897411 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28565] ppid=28549 vsize=10748324 memory=280637055725856 CPUtime=0.65 cores=0,2,4,6
/proc/28552/task/28565/stat : 28565 (java) S 28549 28552 26463 0 -1 1077944384 2553 0 0 0 64 1 0 0 20 0 16 0 415315680 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246219033200 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28566] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28566/stat : 28566 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315681 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246217980640 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28567] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28567/stat : 28567 (java) S 28549 28552 26463 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 415315681 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246216927920 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28569] ppid=28549 vsize=10748324 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/28552/task/28569/stat : 28569 (java) R 28549 28552 26463 0 -1 4202560 3879 0 0 0 115 2 0 0 20 0 16 0 415315864 11006283776 39816 33554432000 4194304 4196468 140724273038720 140246199963184 140246988225942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 159264 KiB
[startup+3.58152 s]
# the end of solver process 28552 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.74216 s, system=0.142844 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2008 s]
/proc/loadavg: 1.16 1.12 1.42 3/229 28569
/proc/meminfo: memFree=30302944/32770624 swapFree=66932052/67108860
[pid=28552] ppid=28549 vsize=10748324 memory=159360 CPUtime=5.49 cores=0,2,4,6
/proc/28552/stat : 28552 (java) S 28549 28552 26463 0 -1 1077944320 25887 0 0 0 536 13 0 0 20 0 16 0 415315675 11006283776 39840 33554432000 4194304 4196468 140724273038720 140724273021264 140246988214007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
/proc/28552/statm: 2687081 39840 3347 1 0 2647217 0
[pid=28552/tid=28554] ppid=28549 vsize=10748324 memory=0 CPUtime=1.85 cores=0,2,4,6
/proc/28552/task/28554/stat : 28554 (java) S 28549 28552 26463 0 -1 1077944384 13206 0 0 0 179 6 0 0 20 0 16 0 415315675 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246992456880 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28555] ppid=28549 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10748324 memory=302585798304464922 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10748324 memory=301741394933055803 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 415315676 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10748324 memory=14973369229511284 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 16 0 415315677 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28560] ppid=28549 vsize=10748324 memory=7091589876212720977 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28560/stat : 28560 (java) S 28549 28552 26463 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415315678 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246224295008 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28561] ppid=28549 vsize=10748324 memory=7162531440177276259 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28561/stat : 28561 (java) S 28549 28552 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415315678 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246223242112 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28562] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28562/stat : 28562 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315680 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246222190416 140246988232603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28563] ppid=28549 vsize=10748324 memory=280637056249728 CPUtime=0.75 cores=0,2,4,6
/proc/28552/task/28563/stat : 28563 (java) S 28549 28552 26463 0 -1 1077944384 2111 0 0 0 75 0 0 0 20 0 16 0 415315680 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246221138800 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28564] ppid=28549 vsize=10748324 memory=280637056251888 CPUtime=0.84 cores=0,2,4,6
/proc/28552/task/28564/stat : 28564 (java) S 28549 28552 26463 0 -1 1077944384 1874 0 0 0 84 0 0 0 20 0 16 0 415315680 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246220086000 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28565] ppid=28549 vsize=10748324 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/28552/task/28565/stat : 28565 (java) S 28549 28552 26463 0 -1 1077944384 2565 0 0 0 64 1 0 0 20 0 16 0 415315680 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246219033200 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28566] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28566/stat : 28566 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315681 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246217980640 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28567] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28567/stat : 28567 (java) S 28549 28552 26463 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 415315681 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246216927920 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28569] ppid=28549 vsize=10748324 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/28552/task/28569/stat : 28569 (java) R 28549 28552 26463 0 -1 4202560 3883 0 0 0 124 2 0 0 20 0 16 0 415315864 11006283776 39840 33554432000 4194304 4196468 140724273038720 140246199963184 140246610620348 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
Current children cumulated CPU time: 5.49 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 159360 KiB
[startup+3.40062 s]
/proc/loadavg: 1.16 1.12 1.42 3/229 28569
/proc/meminfo: memFree=30302944/32770624 swapFree=66932052/67108860
[pid=28552] ppid=28549 vsize=10748324 memory=161408 CPUtime=5.69 cores=0,2,4,6
/proc/28552/stat : 28552 (java) S 28549 28552 26463 0 -1 1077944320 25915 0 0 0 556 13 0 0 20 0 16 0 415315675 11006283776 40352 33554432000 4194304 4196468 140724273038720 140724273021264 140246988214007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
/proc/28552/statm: 2687081 40352 3347 1 0 2647217 0
[pid=28552/tid=28554] ppid=28549 vsize=10748324 memory=0 CPUtime=1.85 cores=0,2,4,6
/proc/28552/task/28554/stat : 28554 (java) S 28549 28552 26463 0 -1 1077944384 13206 0 0 0 179 6 0 0 20 0 16 0 415315675 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246992456880 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28555] ppid=28549 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10748324 memory=38952 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10748324 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 415315676 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10748324 memory=1228 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 16 0 415315677 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28560] ppid=28549 vsize=10748324 memory=10708 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28560/stat : 28560 (java) S 28549 28552 26463 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415315678 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246224295008 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28561] ppid=28549 vsize=10748324 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28561/stat : 28561 (java) S 28549 28552 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415315678 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246223242112 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28562] ppid=28549 vsize=10748324 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28562/stat : 28562 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315680 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246222190416 140246988232603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28563] ppid=28549 vsize=10748324 memory=2832 CPUtime=0.75 cores=0,2,4,6
/proc/28552/task/28563/stat : 28563 (java) S 28549 28552 26463 0 -1 1077944384 2111 0 0 0 75 0 0 0 20 0 16 0 415315680 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246221138800 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28564] ppid=28549 vsize=10748324 memory=772 CPUtime=0.84 cores=0,2,4,6
/proc/28552/task/28564/stat : 28564 (java) S 28549 28552 26463 0 -1 1077944384 1896 0 0 0 84 0 0 0 20 0 16 0 415315680 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246220086000 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28565] ppid=28549 vsize=10748324 memory=1060 CPUtime=0.65 cores=0,2,4,6
/proc/28552/task/28565/stat : 28565 (java) S 28549 28552 26463 0 -1 1077944384 2565 0 0 0 64 1 0 0 20 0 16 0 415315680 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246219033200 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28566] ppid=28549 vsize=10748324 memory=1676 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28566/stat : 28566 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315681 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246217980640 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28567] ppid=28549 vsize=10748324 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28567/stat : 28567 (java) S 28549 28552 26463 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 415315681 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246216927920 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28569] ppid=28549 vsize=10748324 memory=1176 CPUtime=1.46 cores=0,2,4,6
/proc/28552/task/28569/stat : 28569 (java) R 28549 28552 26463 0 -1 4202560 3889 0 0 0 144 2 0 0 20 0 16 0 415315864 11006283776 40352 33554432000 4194304 4196468 140724273038720 140246199963184 140246610979117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 161408 KiB
[startup+3.50064 s]
/proc/loadavg: 1.16 1.12 1.42 3/229 28569
/proc/meminfo: memFree=30302944/32770624 swapFree=66932052/67108860
[pid=28552] ppid=28549 vsize=10748324 memory=161424 CPUtime=5.79 cores=0,2,4,6
/proc/28552/stat : 28552 (java) S 28549 28552 26463 0 -1 1077944320 25987 0 0 0 566 13 0 0 20 0 16 0 415315675 11006283776 40356 33554432000 4194304 4196468 140724273038720 140724273021264 140246988214007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
/proc/28552/statm: 2687081 40356 3347 1 0 2647217 0
[pid=28552/tid=28554] ppid=28549 vsize=10748324 memory=164 CPUtime=1.85 cores=0,2,4,6
/proc/28552/task/28554/stat : 28554 (java) S 28549 28552 26463 0 -1 1077944384 13206 0 0 0 179 6 0 0 20 0 16 0 415315675 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246992456880 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28555] ppid=28549 vsize=10748324 memory=7741801466063514727 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28555/stat : 28555 (java) S 28549 28552 26463 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246924905616 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28556] ppid=28549 vsize=10748324 memory=6297554443011646564 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28556/stat : 28556 (java) S 28549 28552 26463 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246923852816 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28557] ppid=28549 vsize=10748324 memory=100 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28557/stat : 28557 (java) S 28549 28552 26463 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 415315676 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246593170320 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28558] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28558/stat : 28558 (java) S 28549 28552 26463 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 415315676 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246592117520 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28559] ppid=28549 vsize=10748324 memory=158664 CPUtime=0.01 cores=0,2,4,6
/proc/28552/task/28559/stat : 28559 (java) S 28549 28552 26463 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 16 0 415315677 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246225348976 140246988225154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28560] ppid=28549 vsize=10748324 memory=7524741378049397842 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28560/stat : 28560 (java) S 28549 28552 26463 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415315678 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246224295008 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28561] ppid=28549 vsize=10748324 memory=6224326950734024018 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28561/stat : 28561 (java) S 28549 28552 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415315678 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246223242112 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28562] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28562/stat : 28562 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315680 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246222190416 140246988232603 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28563] ppid=28549 vsize=10748324 memory=280637055750336 CPUtime=0.75 cores=0,2,4,6
/proc/28552/task/28563/stat : 28563 (java) S 28549 28552 26463 0 -1 1077944384 2111 0 0 0 75 0 0 0 20 0 16 0 415315680 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246221138800 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28564] ppid=28549 vsize=10748324 memory=3978261559745163824 CPUtime=0.84 cores=0,2,4,6
/proc/28552/task/28564/stat : 28564 (java) S 28549 28552 26463 0 -1 1077944384 1896 0 0 0 84 0 0 0 20 0 16 0 415315680 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246220086000 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28565] ppid=28549 vsize=10748324 memory=280637055725856 CPUtime=0.66 cores=0,2,4,6
/proc/28552/task/28565/stat : 28565 (java) S 28549 28552 26463 0 -1 1077944384 2637 0 0 0 65 1 0 0 20 0 16 0 415315680 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246219033200 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28566] ppid=28549 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28566/stat : 28566 (java) S 28549 28552 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315681 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246217980640 140246988224213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28567] ppid=28549 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/28552/task/28567/stat : 28567 (java) S 28549 28552 26463 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 415315681 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246216927920 140246988225154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
[pid=28552/tid=28569] ppid=28549 vsize=10748324 memory=38952 CPUtime=1.56 cores=0,2,4,6
/proc/28552/task/28569/stat : 28569 (java) R 28549 28552 26463 0 -1 4202560 3889 0 0 0 154 2 0 0 20 0 16 0 415315864 11006283776 40356 33554432000 4194304 4196468 140724273038720 140246199963184 140246610618836 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140724273042443 140724273042546 140724273042546 140724273045455 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 161424 KiB
Child status: 0
Real time (s): 3.58155
CPU time (s): 5.88501
CPU user time (s): 5.74216
CPU system time (s): 0.142844
CPU usage (%): 164.314
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 161424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.74216
system time used= 0.142844
maximum resident set size= 167996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26481
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= 2647
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 28552
# total CPU time (s): 5.88501
# total CPU user time (s): 5.74216
# total CPU system time (s): 0.142844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048572 second user time and 0.101726 second system time
The end