2.41/1.89
2.41/1.89 AbsCon 2
2.64/1.90
2.91/2.10 Instance
2.91/2.10 name=instance-4391086-1568390474, framework=COP, bounds=-infty..+infty
2.91/2.10
2.91/2.10 Loading variables...
3.22/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727410f6
3.22/2.14 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fd1f72
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437a196f
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98c37b4
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f294bb7
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65134e27
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60384310
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45785ab6
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0fd216
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1dae77
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0af2ec
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bc36e58
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66049e92
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43676bc7
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aae7426
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72db70ab
3.22/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2700642e
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ecb3f9
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f54fd02
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df82eb6
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f91dee
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b506195
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa1a75d
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222c8a3a
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@300b9a42
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc37bb7
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10f4d6c5
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f81fba3
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4910fe33
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301359ab
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea33cd
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46995d15
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7453cf93
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ba405c
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85e6f0
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4b8b19
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad8c151
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c65c19
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268d209
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17ad4f96
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68793d52
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0a21fd
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae09013
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7610bc33
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@462eb6ff
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f754a48
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120ebc98
3.22/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773d6015
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26608daf
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d24172b
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e82fed5
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e26ea
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4f58f6
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eeac0f5
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643bc332
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55caec7d
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b15715
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@761109b2
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f83ba32
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e849b6
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e1c6c
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f53e601
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e479d93
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@717bba62
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcdc140
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127c734a
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d409e5
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7407f9
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e356b8b
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ca35df
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75bd3b3a
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4fd0c8
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b714246
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec4c880
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@366dbf14
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e382c22
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f952664
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755302a8
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac6299a
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26be7da4
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75129448
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e08293
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e46e9c
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e52a4b
3.22/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbb3ff4
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c3d99ca
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7769f8c2
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4529e14c
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a14954
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5ecfe4
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eefcde2
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a16969
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76eee040
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62521cae
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200f80a9
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e99bed
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d29dc2b
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2188ceda
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b06070c
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65976bd5
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c985cef
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242d87f6
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135e9f4e
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ceecd4
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78ea0d
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305aaef8
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577ccb44
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533436f9
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2bbe2b
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6e4b59
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9f9f7b
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d37f1ff
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666c231f
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db8c75b
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a128d5b
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30afe6be
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d0773b
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35afd474
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa20d7e
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@590be9bf
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e3baa51
3.22/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e83ee
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8e8c8b
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498fa84f
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4871a00f
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3e260e
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4e9235
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430c0ea6
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ec7db6
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0f0e41
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b7a7b6
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524c6fa8
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c43dc46
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7852ec4c
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376d34d7
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72cd3c7d
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27abbe82
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a4a85b7
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e68ea23
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3ddea0
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd0b2c1
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3d5543
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705ee9f1
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db26acf
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5257fa
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6cdffd
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49873467
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10710315
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63755414
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8ee4ed
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5bb129
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@529275f2
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b947cf
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29cfd317
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@560448ab
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71775ff9
3.22/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4fb182
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dccfa2
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57113787
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d943abb
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315e1cf0
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@288d8978
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c50faf
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1236411c
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4210d5c4
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d6be9f4
3.22/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee97434
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a93c8e4
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9c91ad
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ef2b6
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b49cb7
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51884f2e
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a8d524
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a081d
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aea7f72
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fefd911
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@408d2b4d
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c435f66
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1238e9a6
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e383e3
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5bc435
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6debce6a
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de0a249
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32452c20
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69eb8617
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ddb19
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaba48f
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92e0899
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dae055b
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1805d423
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cb44610
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f1e025
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59218ec
3.47/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2086daf4
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c1d7fd1
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3fc62b
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230569ae
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@442c80f4
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73be87f3
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6567b0b8
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f5b89c9
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b3d671
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@241974ac
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f6c47a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de26673
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ef8fe13
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c5ee334
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2e41e9
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5896da
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d704f
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3229d7fc
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65a1623c
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37eb321a
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bd7f925
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d12e9c
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb4486d
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d8ab9b9
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4552e01b
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aef340f
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416ce3b9
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f59adb
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7283a6d4
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e1bca7e
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13bdba01
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d827733
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57000b23
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24440cd9
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44638fff
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140a83d5
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3163608d
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6cc4d
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79dcb1cf
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18549597
3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f7b110
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553dfcb
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff14619
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21c4cb33
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c459f1
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d56c14
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@575bbbfd
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46c568f2
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@131dfc32
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d4ebd1a
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118b3b8
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1721177c
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f26886e
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113216a2
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa5834b
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e76f628
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418a0b9e
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74db2e91
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@493c53cf
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a9a84f
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf53aa9
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cdadb4
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c4632
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cac473
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669dafee
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2000f0ab
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2004fc11
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d69f01b
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f008b3e
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59763d07
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e5eebf
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee06b5b
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4932f0a
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f71ae7
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d713c2
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbf5744
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3587dbb3
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@554dbcf1
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7644734e
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf87e79
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8980170
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24638287
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd488bb
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac02c33
3.47/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b9ac9
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd9dcaf
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7170d0fb
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7a5f01
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3733bf69
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21837dd6
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514c0639
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9beb36
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c5e777
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3320399d
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67a26534
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23dc8c36
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157abaf3
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@561c4043
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0b3e77
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67acb4c1
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af6e12
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ed9a59
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322a719
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bec77f
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@371ef258
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3228f3d6
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fb9240
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4831ead0
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d0c3b5b
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b456f9
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b42215c
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c08756c
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3105d0a1
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2090d7a4
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0be4e7
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f12e94
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@215977c7
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@591aecdc
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67286ce2
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a217114
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d627804
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70efdb7a
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d2ca7e4
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3675c812
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@694a3c03
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df8b02d
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ca438d
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77bbb96a
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edc5ada
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6db78d
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e1c2d6
3.47/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c331371
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4442bdad
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e57dc69
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5622597
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@205efcdf
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@285bbcc
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a782d1
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b112f5
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf65b38
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d70c5b
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a999b59
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f42018
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70616a59
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9f5be0
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c222780
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532fb967
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@373a2d90
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d97ae0
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d95e0a
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbb17ba
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c65daca
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3896bb2f
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5076be43
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdf444e
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@423e7443
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1580938b
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@793d8ff1
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed9f11a
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60631ddb
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8496ab
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30264a5a
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@429b8906
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b40fe8
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cd05132
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f7efad
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c788232
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50339dc9
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d3786f
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6514b
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7727ca4c
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@337adc0f
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725f767b
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f56c5
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38082281
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@246c1c9a
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d5136
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e348ea0
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e4aaefd
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38885e74
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e9a1408
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aae0821
3.47/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a8b138
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24233ed7
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d46e1d
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c133d93
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195c2d15
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66506692
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6237e0
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a5d979a
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1705c50b
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e114e81
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e2480
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469c457e
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a34130a
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27f4b0b3
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784e19b0
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4474a2f4
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9172bec
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f6d492
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417dd9cc
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f21124
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43163be9
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cce4d8b
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2cee2
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a44d09
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d153802
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1632a31a
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e64cb0
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d25143
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e86042e
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bb229
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@249e8f1a
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b867d80
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bafa059
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605e9bf
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63970ef2
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8c05a2
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5313ab99
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@709ec927
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705e3721
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e342b04
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ab48c9
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@262b347c
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1192d70a
3.47/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45343a54
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4122090a
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f7e8c
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e22bbef
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19517666
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c7c280
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b13fcfd
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c47e2f
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16dbb11b
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59cc4882
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a7a6679
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1194ab8c
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94e962
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2ed161
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601ce6fb
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3424f396
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110ae14f
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32dd681a
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55ae67a2
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19368645
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5f54b6
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@130eaaf8
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad95aaa
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af9cf13
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a27128
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c022bb0
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c38419b
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd0ff0
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ea299d4
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f10b48
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd85487
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a9d9d9
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b6dbe48
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f6785d
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d934446
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3364cf2c
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e26938f
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38217deb
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69764e35
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399774f7
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e73b03
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d12ebba
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b62960
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643f3151
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740023f2
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe727f
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfbe06e
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f1bde1
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56074ed2
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0a47c0
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68743517
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1962c3
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f792d6b
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5909f0b4
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a057aa9
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c585fce
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491db9b2
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9aaf06a
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b903cf
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc3209e
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4b4f1d
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc35809
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7516cbfb
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790b3d82
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1180fb46
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbca44d
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e22b316
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c19f8b
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bb0822
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af9fd4c
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7feeb4
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f69216b
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5293e31a
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1388b86c
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3e51bd
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c41f70f
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429f75d
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e495af1
3.47/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaec59b
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d13eb
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cd46fa
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a6438
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf9a344
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b2047e
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@800aa35
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6443ef45
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59933fe6
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a69f1e0
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15174c1d
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794cb64d
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a895899
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770367b8
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eda8d4e
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135a594e
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f7094
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582f4a5
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@daaf41f
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a8f8ed
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391c78c9
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140cf39d
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e55aab6
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71cd8a7
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82fc7b
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35266b7c
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed27faa
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed45e22
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417e800c
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18834d27
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55240b0d
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c50434
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b704158
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7429b1
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f59b06
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4860a4cd
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea2d5ee
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee3f9cd
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef582be
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fece824
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a8829a5
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4c15bc
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c68996
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb93174
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@364ccd85
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70720fc3
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ca8728
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee073c8
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d4f61a
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48988506
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c8d76b
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3167834
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36526871
3.47/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa04991
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174fd4c0
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f358e5f
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3d1e77
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645dab20
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c298fa1
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e91fd50
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bb1b0b
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54398eb3
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32223717
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737d0497
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421f1602
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784faf27
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f549886
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b7a0da
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100bc216
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7915279
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b2fbc0
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769a54fb
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134acf26
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6208f993
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@644834f7
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d75e848
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb7fb4f
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2085f8f2
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e159d44
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80889bd
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bc74ab
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c4d52d
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d3e1ab
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c447290
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f575
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136f8
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45a3033a
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326141f
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290e163a
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a481250
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf20e08
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24611209
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e47c313
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e78275
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c93b1bd
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4daf5dd9
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45564cdb
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59810004
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328e42c7
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33352b11
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795f162d
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db0497b
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac33038
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e529c12
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e976d8
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f47e86c
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415e3d9a
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3ca977
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19eec4ea
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f85a606
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a42a46
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0459db
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e408e72
3.47/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b85df5
3.47/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e32b8e
3.47/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3c8700
3.47/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d837440
3.47/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f48fb82
3.47/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.47/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5f08f6
3.47/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375e71c7
3.69/2.34
3.69/2.34
3.69/2.34 Domains
3.69/2.34 nTypes=1, nValues=480, sizes=[2#240]
3.69/2.34 Variables
3.69/2.34 count=240, degrees=[7#32,8#128,9#3,10#21,12#13,13#43]
3.69/2.34 Objectives
3.69/2.34 way=min, type=SumSimpleLE
3.69/2.34 Constraints
3.69/2.34 count=647, nSpecific=647, arities=[2#244,3#328,4#62,20#12,240#1]
3.69/2.34 distribution=[SumSimpleGE#40,SumSimpleLE#235,SumWeightedGE#372]
3.69/2.34 wck=0.481, cpu=2.294, mem=37M88
3.69/2.34 Solver SolverBacktrack being built...
3.69/2.34
3.69/2.37
3.69/2.37 Solver
3.69/2.37 guaranteedGAC=true
3.69/2.37 wck=0.514, cpu=2.325, mem=47M731
3.69/2.38
3.69/2.38 Preprocessing
3.69/2.38 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.69/2.38 wck=0.006, cpu=2.333, mem=47M731
3.69/2.38
3.94/2.40 o 36
3.94/2.41 num=0, depth=32..239, filters=159, ccks=647, wck=0.038, mem=47M731
3.94/2.41 decisions=41, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=1, bestBound=36
3.94/2.41
3.94/2.42 o 34
3.94/2.42 num=1, depth=33..239, filters=355, ccks=1294, wck=0.047, mem=47M731
3.94/2.42 decisions=81, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=34
3.94/2.42
3.94/2.43 num=2, depth=18..24, filters=815, ccks=1294, wck=0.054, mem=47M731
3.94/2.43 decisions=138, wrong=23, backtracks=16, failedAssignments=15, nogoods=6, foundSolutions=2, bestBound=34
3.94/2.43
3.94/2.43 num=3, depth=6..11, filters=1185, ccks=1294, wck=0.059, mem=47M731
3.94/2.43 decisions=178, wrong=40, backtracks=28, failedAssignments=26, nogoods=9, foundSolutions=2, bestBound=34
3.94/2.43
3.94/2.44 num=4, depth=6..20, filters=1730, ccks=1294, wck=0.064, mem=47M731
3.94/2.44 decisions=241, wrong=66, backtracks=51, failedAssignments=38, nogoods=13, foundSolutions=2, bestBound=34
3.94/2.44
3.94/2.44 num=5, depth=6..13, filters=2311, ccks=1294, wck=0.071, mem=47M731
3.94/2.44 decisions=302, wrong=93, backtracks=75, failedAssignments=51, nogoods=15, foundSolutions=2, bestBound=34
3.94/2.44
3.94/2.45 num=6, depth=8..20, filters=3164, ccks=1294, wck=0.079, mem=47M731
3.94/2.45 decisions=361, wrong=117, backtracks=94, failedAssignments=65, nogoods=19, foundSolutions=2, bestBound=34
3.94/2.45
3.94/2.46 num=7, depth=4..11, filters=3963, ccks=1294, wck=0.085, mem=47M731
3.94/2.46 decisions=425, wrong=147, backtracks=117, failedAssignments=81, nogoods=21, foundSolutions=2, bestBound=34
3.94/2.46
3.94/2.46 num=8, depth=4..12, filters=4713, ccks=1294, wck=0.093, mem=47M731
3.94/2.46 decisions=493, wrong=179, backtracks=145, failedAssignments=98, nogoods=22, foundSolutions=2, bestBound=34
3.94/2.46
3.94/2.47 num=9, depth=6..14, filters=5532, ccks=1294, wck=0.099, mem=47M731
3.94/2.47 decisions=570, wrong=213, backtracks=173, failedAssignments=117, nogoods=29, foundSolutions=2, bestBound=34
3.94/2.47
3.94/2.48 num=10, depth=5..13, filters=6352, ccks=1294, wck=0.106, mem=47M731
3.94/2.48 decisions=651, wrong=249, backtracks=203, failedAssignments=138, nogoods=34, foundSolutions=2, bestBound=34
3.94/2.48
3.94/2.48 num=11, depth=5..21, filters=7271, ccks=1294, wck=0.111, mem=47M731
3.94/2.48 decisions=748, wrong=293, backtracks=235, failedAssignments=161, nogoods=40, foundSolutions=2, bestBound=34
3.94/2.48
3.94/2.49 num=12, depth=5..15, filters=8383, ccks=1294, wck=0.118, mem=47M731
3.94/2.49 decisions=844, wrong=338, backtracks=276, failedAssignments=186, nogoods=42, foundSolutions=2, bestBound=34
3.94/2.49
4.27/2.50 num=13, depth=9..19, filters=9754, ccks=1294, wck=0.126, mem=47M731
4.27/2.50 decisions=947, wrong=384, backtracks=317, failedAssignments=214, nogoods=47, foundSolutions=2, bestBound=34
4.27/2.50
4.27/2.51 num=14, depth=6..16, filters=10670, ccks=1294, wck=0.133, mem=47M731
4.27/2.51 decisions=1073, wrong=443, backtracks=370, failedAssignments=245, nogoods=50, foundSolutions=2, bestBound=34
4.27/2.51
4.27/2.51 num=15, depth=2..9, filters=11782, ccks=1294, wck=0.14, mem=50M373
4.27/2.51 decisions=1198, wrong=504, backtracks=423, failedAssignments=279, nogoods=55, foundSolutions=2, bestBound=34
4.27/2.51
4.27/2.52 num=16, depth=2..12, filters=13490, ccks=1294, wck=0.15, mem=50M373
4.27/2.52 decisions=1367, wrong=587, backtracks=500, failedAssignments=316, nogoods=59, foundSolutions=2, bestBound=34
4.27/2.52
4.27/2.53 num=17, depth=3..13, filters=15040, ccks=1294, wck=0.159, mem=50M373
4.27/2.53 decisions=1529, wrong=665, backtracks=572, failedAssignments=357, nogoods=63, foundSolutions=2, bestBound=34
4.27/2.53
4.27/2.54 num=18, depth=1..12, filters=16807, ccks=1294, wck=0.168, mem=50M373
4.27/2.54 decisions=1723, wrong=761, backtracks=661, failedAssignments=402, nogoods=67, foundSolutions=2, bestBound=34
4.27/2.54
4.27/2.55 num=19, depth=5..19, filters=19156, ccks=1294, wck=0.178, mem=50M373
4.27/2.55 decisions=1919, wrong=853, backtracks=743, failedAssignments=452, nogoods=73, foundSolutions=2, bestBound=34
4.27/2.55
4.27/2.56 num=20, depth=1..15, filters=22196, ccks=1294, wck=0.193, mem=50M373
4.27/2.56 decisions=2177, wrong=978, backtracks=858, failedAssignments=507, nogoods=78, foundSolutions=2, bestBound=34
4.27/2.56
4.27/2.58 num=21, depth=4..25, filters=25137, ccks=1294, wck=0.206, mem=50M373
4.27/2.58 decisions=2439, wrong=1101, backtracks=972, failedAssignments=568, nogoods=84, foundSolutions=2, bestBound=34
4.27/2.58
4.27/2.59 num=22, depth=6..24, filters=28151, ccks=1294, wck=0.219, mem=50M373
4.27/2.59 decisions=2705, wrong=1226, backtracks=1086, failedAssignments=635, nogoods=91, foundSolutions=2, bestBound=34
4.27/2.59
4.47/2.60 num=23, depth=1..20, filters=31461, ccks=1294, wck=0.233, mem=50M373
4.47/2.60 decisions=2993, wrong=1365, backtracks=1215, failedAssignments=709, nogoods=99, foundSolutions=2, bestBound=34
4.47/2.60
4.47/2.62 num=24, depth=4..19, filters=35435, ccks=1294, wck=0.249, mem=50M373
4.47/2.62 decisions=3294, wrong=1513, backtracks=1356, failedAssignments=790, nogoods=105, foundSolutions=2, bestBound=34
4.47/2.62
4.47/2.65 num=25, depth=2..14, filters=40761, ccks=1294, wck=0.274, mem=50M373
4.47/2.65 decisions=3636, wrong=1682, backtracks=1511, failedAssignments=879, nogoods=108, foundSolutions=2, bestBound=34
4.47/2.65
4.47/2.67 num=26, depth=3..15, filters=45431, ccks=1294, wck=0.294, mem=53M15
4.47/2.67 decisions=4040, wrong=1882, backtracks=1697, failedAssignments=977, nogoods=111, foundSolutions=2, bestBound=34
4.47/2.67
4.47/2.69 num=27, depth=0..17, filters=50458, ccks=1294, wck=0.315, mem=53M15
4.47/2.69 decisions=4456, wrong=2087, backtracks=1883, failedAssignments=1085, nogoods=114, foundSolutions=2, bestBound=34
4.47/2.69
4.58/2.71 num=28, depth=5..21, filters=56658, ccks=1294, wck=0.339, mem=53M15
4.58/2.71 decisions=4887, wrong=2300, backtracks=2086, failedAssignments=1204, nogoods=122, foundSolutions=2, bestBound=34
4.58/2.71
4.58/2.74 num=29, depth=5..19, filters=63487, ccks=1294, wck=0.366, mem=53M15
4.58/2.74 decisions=5399, wrong=2551, backtracks=2329, failedAssignments=1335, nogoods=127, foundSolutions=2, bestBound=34
4.58/2.74
4.58/2.77 num=30, depth=4..19, filters=72359, ccks=1294, wck=0.403, mem=53M15
4.58/2.77 decisions=5966, wrong=2831, backtracks=2595, failedAssignments=1479, nogoods=132, foundSolutions=2, bestBound=34
4.58/2.77
4.68/2.81 num=31, depth=0..21, filters=80433, ccks=1294, wck=0.439, mem=55M658
4.68/2.81 decisions=6587, wrong=3137, backtracks=2872, failedAssignments=1637, nogoods=138, foundSolutions=2, bestBound=34
4.68/2.81
4.68/2.88 num=32, depth=2..20, filters=96198, ccks=1294, wck=0.508, mem=55M658
4.68/2.88 decisions=7396, wrong=3538, backtracks=3252, failedAssignments=1811, nogoods=143, foundSolutions=2, bestBound=34
4.68/2.88
4.85/2.93 num=33, depth=3..20, filters=107373, ccks=1294, wck=0.555, mem=55M658
4.85/2.93 decisions=8085, wrong=3878, backtracks=3594, failedAssignments=2002, nogoods=148, foundSolutions=2, bestBound=34
4.85/2.93
4.85/2.97 num=34, depth=2..20, filters=118238, ccks=1294, wck=0.599, mem=55M658
4.85/2.97 decisions=8848, wrong=4257, backtracks=3949, failedAssignments=2213, nogoods=157, foundSolutions=2, bestBound=34
4.85/2.97
5.01/3.04 num=35, depth=0..19, filters=134098, ccks=1294, wck=0.666, mem=58M300
5.01/3.04 decisions=9861, wrong=4761, backtracks=4415, failedAssignments=2445, nogoods=159, foundSolutions=2, bestBound=34
5.01/3.04
5.01/3.09 num=36, depth=0..17, filters=147181, ccks=1294, wck=0.72, mem=58M300
5.01/3.09 decisions=10759, wrong=5207, backtracks=4838, failedAssignments=2700, nogoods=165, foundSolutions=2, bestBound=34
5.01/3.09
5.11/3.15
5.11/3.15 New Bounds: 34..33
5.11/3.16 num=37, depth=0..15, filters=162639, ccks=1294, wck=0.784, mem=60M943
5.11/3.16 decisions=11659, wrong=5658, backtracks=5276, failedAssignments=2929, foundSolutions=2, bestBound=34
5.11/3.16
5.11/3.16 Global
5.11/3.16 filters=162639, ccks=1294
5.11/3.16 Stop=FULL_EXPLORATION, wrong=5658, bestBound=34, bestBoundWck=0.56, bestBoundCpu=2.371, foundSolutions=2, firstSolCpu=2.354
5.11/3.16 wck=1.3, cpu=3.111, mem=60M943
5.11/3.16
5.11/3.16 v <instantiation id='sol2' type='solution' cost='34'> <list> x[] </list> <values> 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
5.11/3.16 s OPTIMUM FOUND
5.11/3.16
5.11/3.16 d WRONG_DECISIONS 5658
5.11/3.16 d NUMBER_SOLUTIONS 2
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 (15704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391086-1568390474/watcher-4391086-1568390474 -o /tmp/evaluation-result-4391086-1568390474/solver-4391086-1568390474 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568390578-28352 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391086-1568390474.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
solver pid=28382, runsolver pid=28375
Current StackSize limit: 8192 KiB
[startup+0.10028 s]*
/proc/loadavg: 1.00 1.08 1.41 7/227 28411
/proc/meminfo: memFree=30674680/32770624 swapFree=66932052/67108860
[pid=28382] ppid=28375 vsize=10659884 memory=27708 CPUtime=0.13 cores=0,2,4,6
/proc/28382/stat : 28382 (java) S 28375 28382 26463 0 -1 1077944320 5472 0 0 0 12 1 0 0 20 0 15 0 415315246 10915721216 6927 33554432000 4194304 4196468 140724059681856 140724059664400 139720300203767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
/proc/28382/statm: 2664971 6927 2846 1 0 2627468 0
[pid=28382/tid=28385] ppid=28375 vsize=10659884 memory=6735269665583770266 CPUtime=0.08 cores=0,2,4,6
/proc/28382/task/28385/stat : 28385 (java) R 28375 28382 26463 0 -1 4202560 3204 0 0 0 8 0 0 0 20 0 15 0 415315246 10915721216 6927 33554432000 4194304 4196468 140724059681856 139720304432728 139720293300607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28390] ppid=28375 vsize=10659884 memory=5793855134173845945 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28390/stat : 28390 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719906875792 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28391] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28391/stat : 28391 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719905822992 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28392] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28392/stat : 28392 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719904770704 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28393] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28393/stat : 28393 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719903717904 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28395] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28395/stat : 28395 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315248 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719859276400 139720300214914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28398] ppid=28375 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28398/stat : 28398 (java) S 28375 28382 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315249 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719858222368 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28399] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28399/stat : 28399 (java) S 28375 28382 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315249 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719857170032 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28404] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28404/stat : 28404 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719856118352 139720300222363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28405] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28405/stat : 28405 (java) S 28375 28382 26463 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 415315251 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719855065200 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28407] ppid=28375 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28407/stat : 28407 (java) S 28375 28382 26463 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 415315251 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719854012400 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28408] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0.02 cores=0,2,4,6
/proc/28382/task/28408/stat : 28408 (java) R 28375 28382 26463 0 -1 4202560 412 0 0 0 2 0 0 0 20 0 15 0 415315251 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719852957904 139720284284254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28409] ppid=28375 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28409/stat : 28409 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719851907552 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28411] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28411/stat : 28411 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315252 10915721216 6927 33554432000 4194304 4196468 140724059681856 139719850855344 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27708 KiB
[startup+0.210355 s]*
/proc/loadavg: 1.00 1.08 1.41 4/227 28411
/proc/meminfo: memFree=30659992/32770624 swapFree=66932052/67108860
[pid=28382] ppid=28375 vsize=10659884 memory=35172 CPUtime=0.33 cores=0,2,4,6
/proc/28382/stat : 28382 (java) S 28375 28382 26463 0 -1 1077944320 6955 0 0 0 31 2 0 0 20 0 15 0 415315246 10915721216 8793 33554432000 4194304 4196468 140724059681856 140724059664400 139720300203767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
/proc/28382/statm: 2664971 8793 2989 1 0 2627468 0
[pid=28382/tid=28385] ppid=28375 vsize=10659884 memory=4871374705135476842 CPUtime=0.2 cores=0,2,4,6
/proc/28382/task/28385/stat : 28385 (java) R 28375 28382 26463 0 -1 4202560 3862 0 0 0 19 1 0 0 20 0 15 0 415315246 10915721216 8793 33554432000 4194304 4196468 140724059681856 139720304430128 139720300225693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28390] ppid=28375 vsize=10659884 memory=4211973609368743306 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28390/stat : 28390 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719906875792 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28391] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28391/stat : 28391 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719905822992 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28392] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28392/stat : 28392 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719904770704 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28393] ppid=28375 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28393/stat : 28393 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719903717904 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28395] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28395/stat : 28395 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315248 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719859276400 139720300214914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28398] ppid=28375 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28398/stat : 28398 (java) S 28375 28382 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315249 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719858222368 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28399] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28399/stat : 28399 (java) S 28375 28382 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315249 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719857170032 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28404] ppid=28375 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28404/stat : 28404 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719856118352 139720300222363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28405] ppid=28375 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28382/task/28405/stat : 28405 (java) S 28375 28382 26463 0 -1 1077944384 802 0 0 0 4 0 0 0 20 0 15 0 415315251 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719855065200 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28407] ppid=28375 vsize=10659884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28382/task/28407/stat : 28407 (java) S 28375 28382 26463 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 15 0 415315251 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719854012400 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28408] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0.05 cores=0,2,4,6
/proc/28382/task/28408/stat : 28408 (java) S 28375 28382 26463 0 -1 1077944384 735 0 0 0 5 0 0 0 20 0 15 0 415315251 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719852960112 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28409] ppid=28375 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28409/stat : 28409 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719851907552 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28411] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28411/stat : 28411 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315252 10915721216 8793 33554432000 4194304 4196468 140724059681856 139719850855344 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35172 KiB
[startup+0.309884 s]*
/proc/loadavg: 1.00 1.08 1.41 5/227 28411
/proc/meminfo: memFree=30644924/32770624 swapFree=66932052/67108860
[pid=28382] ppid=28375 vsize=10659884 memory=40296 CPUtime=0.47 cores=0,2,4,6
/proc/28382/stat : 28382 (java) S 28375 28382 26463 0 -1 1077944320 9460 0 0 0 44 3 0 0 20 0 15 0 415315246 10915721216 10074 33554432000 4194304 4196468 140724059681856 140724059664400 139720300203767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
/proc/28382/statm: 2664971 10074 3001 1 0 2627468 0
[pid=28382/tid=28385] ppid=28375 vsize=10659884 memory=279766116598000 CPUtime=0.3 cores=0,2,4,6
/proc/28382/task/28385/stat : 28385 (java) R 28375 28382 26463 0 -1 4202560 6305 0 0 0 28 2 0 0 20 0 15 0 415315246 10915721216 10074 33554432000 4194304 4196468 140724059681856 139720304436176 139720300215702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28390] ppid=28375 vsize=10659884 memory=4211973609368743306 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28390/stat : 28390 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719906875792 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28391] ppid=28375 vsize=10659884 memory=139883163955183 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28391/stat : 28391 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719905822992 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28392] ppid=28375 vsize=10659884 memory=139883058432111 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28392/stat : 28392 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719904770704 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28393] ppid=28375 vsize=10659884 memory=139883058412495 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28393/stat : 28393 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315247 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719903717904 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28395] ppid=28375 vsize=10659884 memory=139883163979258 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28395/stat : 28395 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315248 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719859276400 139720300214914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28398] ppid=28375 vsize=10659884 memory=139883058412495 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28398/stat : 28398 (java) S 28375 28382 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315249 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719858222368 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28399] ppid=28375 vsize=10659884 memory=279766116845712 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28399/stat : 28399 (java) S 28375 28382 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315249 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719857170032 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28404] ppid=28375 vsize=10659884 memory=279766116843408 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28404/stat : 28404 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719856118352 139720300222363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28405] ppid=28375 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28382/task/28405/stat : 28405 (java) S 28375 28382 26463 0 -1 1077944384 810 0 0 0 4 0 0 0 20 0 15 0 415315251 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719855065200 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28407] ppid=28375 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28382/task/28407/stat : 28407 (java) S 28375 28382 26463 0 -1 1077944384 232 0 0 0 3 0 0 0 20 0 15 0 415315251 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719854012400 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28408] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0.07 cores=0,2,4,6
/proc/28382/task/28408/stat : 28408 (java) R 28375 28382 26463 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 15 0 415315251 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719852960112 139720279173028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28409] ppid=28375 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28409/stat : 28409 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719851907552 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28411] ppid=28375 vsize=10659884 memory=139883163952768 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28411/stat : 28411 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315252 10915721216 10074 33554432000 4194304 4196468 140724059681856 139719850855344 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40296 KiB
[startup+0.700784 s]
/proc/loadavg: 1.00 1.08 1.41 5/227 28411
/proc/meminfo: memFree=30627660/32770624 swapFree=66932052/67108860
[pid=28382] ppid=28375 vsize=10661932 memory=63764 CPUtime=1.1 cores=0,2,4,6
/proc/28382/stat : 28382 (java) S 28375 28382 26463 0 -1 1077944320 13149 0 0 0 104 6 0 0 20 0 15 0 415315246 10917818368 15941 33554432000 4194304 4196468 140724059681856 140724059664400 139720300203767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
/proc/28382/statm: 2665483 15941 3070 1 0 2627980 0
[pid=28382/tid=28385] ppid=28375 vsize=10661932 memory=2832 CPUtime=0.68 cores=0,2,4,6
/proc/28382/task/28385/stat : 28385 (java) R 28375 28382 26463 0 -1 4202560 8843 0 0 0 64 4 0 0 20 0 15 0 415315246 10917818368 15941 33554432000 4194304 4196468 140724059681856 139720304435792 139720285643147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28390] ppid=28375 vsize=10661932 memory=772 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28390/stat : 28390 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719906875792 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28391] ppid=28375 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28391/stat : 28391 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719905822992 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28392] ppid=28375 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28392/stat : 28392 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719904770704 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28393] ppid=28375 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28393/stat : 28393 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315247 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719903717904 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28395] ppid=28375 vsize=10661932 memory=5787220445994897765 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28395/stat : 28395 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315248 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719859276400 139720300214914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28398] ppid=28375 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28398/stat : 28398 (java) S 28375 28382 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315249 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719858222368 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28399] ppid=28375 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28399/stat : 28399 (java) S 28375 28382 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315249 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719857170032 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28404] ppid=28375 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28404/stat : 28404 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719856118352 139720300222363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28405] ppid=28375 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28382/task/28405/stat : 28405 (java) S 28375 28382 26463 0 -1 1077944384 1138 0 0 0 11 0 0 0 20 0 15 0 415315251 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719855065200 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28407] ppid=28375 vsize=10661932 memory=11 CPUtime=0.09 cores=0,2,4,6
/proc/28382/task/28407/stat : 28407 (java) S 28375 28382 26463 0 -1 1077944384 551 0 0 0 9 0 0 0 20 0 15 0 415315251 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719854012400 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28408] ppid=28375 vsize=10661932 memory=1367 CPUtime=0.18 cores=0,2,4,6
/proc/28382/task/28408/stat : 28408 (java) S 28375 28382 26463 0 -1 1077944384 1258 0 0 0 18 0 0 0 20 0 15 0 415315251 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719852960112 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28409] ppid=28375 vsize=10661932 memory=279766117022704 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28409/stat : 28409 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719851907552 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28411] ppid=28375 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28411/stat : 28411 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315252 10917818368 16005 33554432000 4194304 4196468 140724059681856 139719850855344 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63764 KiB
[startup+1.50078 s]
/proc/loadavg: 1.00 1.08 1.41 4/227 28411
/proc/meminfo: memFree=30596000/32770624 swapFree=66932052/67108860
[pid=28382] ppid=28375 vsize=10663980 memory=75860 CPUtime=2 cores=0,2,4,6
/proc/28382/stat : 28382 (java) S 28375 28382 26463 0 -1 1077944320 18717 0 0 0 193 7 0 0 20 0 15 0 415315246 10919915520 18965 33554432000 4194304 4196468 140724059681856 140724059664400 139720300203767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
/proc/28382/statm: 2665995 18965 3094 1 0 2628492 0
[pid=28382/tid=28385] ppid=28375 vsize=10663980 memory=72028 CPUtime=1.48 cores=0,2,4,6
/proc/28382/task/28385/stat : 28385 (java) R 28375 28382 26463 0 -1 4202560 13121 0 0 0 143 5 0 0 20 0 15 0 415315246 10919915520 18965 33554432000 4194304 4196468 140724059681856 139720304435792 139720284284254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28390] ppid=28375 vsize=10663980 memory=279766116908800 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28390/stat : 28390 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719906875792 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28391] ppid=28375 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28391/stat : 28391 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719905822992 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28392] ppid=28375 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28392/stat : 28392 (java) S 28375 28382 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415315247 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719904770704 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28393] ppid=28375 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28393/stat : 28393 (java) S 28375 28382 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415315247 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719903717904 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28395] ppid=28375 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28395/stat : 28395 (java) S 28375 28382 26463 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 415315248 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719859276400 139720300214914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28398] ppid=28375 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28398/stat : 28398 (java) S 28375 28382 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415315249 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719858222368 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28399] ppid=28375 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28399/stat : 28399 (java) S 28375 28382 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415315249 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719857170032 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28404] ppid=28375 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28404/stat : 28404 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719856118352 139720300222363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28405] ppid=28375 vsize=10663980 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/28382/task/28405/stat : 28405 (java) S 28375 28382 26463 0 -1 1077944384 1489 0 0 0 14 0 0 0 20 0 15 0 415315251 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719855065200 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28407] ppid=28375 vsize=10663980 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/28382/task/28407/stat : 28407 (java) S 28375 28382 26463 0 -1 1077944384 1409 0 0 0 17 0 0 0 20 0 15 0 415315251 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719854012400 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28408] ppid=28375 vsize=10663980 memory=4580 CPUtime=0.18 cores=0,2,4,6
/proc/28382/task/28408/stat : 28408 (java) S 28375 28382 26463 0 -1 1077944384 1260 0 0 0 18 0 0 0 20 0 15 0 415315251 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719852960112 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28409] ppid=28375 vsize=10663980 memory=7679937479730885434 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28409/stat : 28409 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415315251 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719851907552 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28411] ppid=28375 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28411/stat : 28411 (java) S 28375 28382 26463 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 415315252 10919915520 18965 33554432000 4194304 4196468 140724059681856 139719850855344 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75860 KiB
[startup+3.11013 s]
/proc/loadavg: 1.00 1.08 1.41 4/227 28444
/proc/meminfo: memFree=30530144/32770624 swapFree=66932052/67108860
[pid=28382] ppid=28375 vsize=10748324 memory=154700 CPUtime=5.11 cores=0,2,4,6
/proc/28382/stat : 28382 (java) S 28375 28382 26463 0 -1 1077944320 27505 0 0 0 497 14 0 0 20 0 16 0 415315246 11006283776 38675 33554432000 4194304 4196468 140724059681856 140724059664400 139720300203767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
/proc/28382/statm: 2687081 38675 3356 1 0 2647217 0
[pid=28382/tid=28385] ppid=28375 vsize=10748324 memory=154468 CPUtime=1.86 cores=0,2,4,6
/proc/28382/task/28385/stat : 28385 (java) S 28375 28382 26463 0 -1 1077944384 15388 0 0 0 180 6 0 0 20 0 16 0 415315246 11006283776 38675 33554432000 4194304 4196468 140724059681856 139720304446640 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28390] ppid=28375 vsize=10748324 memory=7524741378049397842 CPUtime=0.01 cores=0,2,4,6
/proc/28382/task/28390/stat : 28390 (java) S 28375 28382 26463 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 16 0 415315247 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719906875792 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28391] ppid=28375 vsize=10748324 memory=6224326950734024018 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28391/stat : 28391 (java) S 28375 28382 26463 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 415315247 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719905822992 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28392] ppid=28375 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28382/task/28392/stat : 28392 (java) S 28375 28382 26463 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 415315247 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719904770704 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28393] ppid=28375 vsize=10748324 memory=279766116913216 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28393/stat : 28393 (java) S 28375 28382 26463 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 16 0 415315247 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719903717904 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28395] ppid=28375 vsize=10748324 memory=3978261124275745392 CPUtime=0.01 cores=0,2,4,6
/proc/28382/task/28395/stat : 28395 (java) S 28375 28382 26463 0 -1 1077944384 1095 0 0 0 1 0 0 0 20 0 16 0 415315248 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719859276400 139720300214914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28398] ppid=28375 vsize=10748324 memory=279766116888864 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28398/stat : 28398 (java) S 28375 28382 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415315249 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719858222432 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28399] ppid=28375 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28399/stat : 28399 (java) S 28375 28382 26463 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415315249 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719857170048 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28404] ppid=28375 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28404/stat : 28404 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719856118352 139720300222363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28405] ppid=28375 vsize=10748324 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28382/task/28405/stat : 28405 (java) S 28375 28382 26463 0 -1 1077944384 1915 0 0 0 67 0 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719855065200 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28407] ppid=28375 vsize=10748324 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/28382/task/28407/stat : 28407 (java) S 28375 28382 26463 0 -1 1077944384 1715 0 0 0 67 1 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719854012400 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28408] ppid=28375 vsize=10748324 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/28382/task/28408/stat : 28408 (java) S 28375 28382 26463 0 -1 1077944384 2360 0 0 0 61 0 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719852960112 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28409] ppid=28375 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28409/stat : 28409 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719851907552 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28411] ppid=28375 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28411/stat : 28411 (java) S 28375 28382 26463 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415315252 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719850855344 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28413] ppid=28375 vsize=10748324 memory=303148748257886234 CPUtime=1.17 cores=0,2,4,6
/proc/28382/task/28413/stat : 28413 (java) R 28375 28382 26463 0 -1 4202560 3398 0 0 0 115 2 0 0 20 0 16 0 415315435 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719766707376 139719940000130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 154700 KiB
[startup+3.16812 s]
# the end of solver process 28382 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.03172 s, system=0.149958 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11013 s]
/proc/loadavg: 1.00 1.08 1.41 4/227 28444
/proc/meminfo: memFree=30530144/32770624 swapFree=66932052/67108860
[pid=28382] ppid=28375 vsize=10748324 memory=154700 CPUtime=5.11 cores=0,2,4,6
/proc/28382/stat : 28382 (java) S 28375 28382 26463 0 -1 1077944320 27505 0 0 0 497 14 0 0 20 0 16 0 415315246 11006283776 38675 33554432000 4194304 4196468 140724059681856 140724059664400 139720300203767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
/proc/28382/statm: 2687081 38675 3356 1 0 2647217 0
[pid=28382/tid=28385] ppid=28375 vsize=10748324 memory=154468 CPUtime=1.86 cores=0,2,4,6
/proc/28382/task/28385/stat : 28385 (java) S 28375 28382 26463 0 -1 1077944384 15388 0 0 0 180 6 0 0 20 0 16 0 415315246 11006283776 38675 33554432000 4194304 4196468 140724059681856 139720304446640 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28390] ppid=28375 vsize=10748324 memory=7524741378049397842 CPUtime=0.01 cores=0,2,4,6
/proc/28382/task/28390/stat : 28390 (java) S 28375 28382 26463 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 16 0 415315247 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719906875792 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28391] ppid=28375 vsize=10748324 memory=6224326950734024018 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28391/stat : 28391 (java) S 28375 28382 26463 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 415315247 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719905822992 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28392] ppid=28375 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28382/task/28392/stat : 28392 (java) S 28375 28382 26463 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 415315247 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719904770704 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28393] ppid=28375 vsize=10748324 memory=279766116913216 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28393/stat : 28393 (java) S 28375 28382 26463 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 16 0 415315247 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719903717904 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28395] ppid=28375 vsize=10748324 memory=3978261124275745392 CPUtime=0.01 cores=0,2,4,6
/proc/28382/task/28395/stat : 28395 (java) S 28375 28382 26463 0 -1 1077944384 1095 0 0 0 1 0 0 0 20 0 16 0 415315248 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719859276400 139720300214914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28398] ppid=28375 vsize=10748324 memory=279766116888864 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28398/stat : 28398 (java) S 28375 28382 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415315249 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719858222432 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28399] ppid=28375 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28399/stat : 28399 (java) S 28375 28382 26463 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415315249 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719857170048 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28404] ppid=28375 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28404/stat : 28404 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719856118352 139720300222363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28405] ppid=28375 vsize=10748324 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28382/task/28405/stat : 28405 (java) S 28375 28382 26463 0 -1 1077944384 1915 0 0 0 67 0 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719855065200 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28407] ppid=28375 vsize=10748324 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/28382/task/28407/stat : 28407 (java) S 28375 28382 26463 0 -1 1077944384 1715 0 0 0 67 1 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719854012400 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28408] ppid=28375 vsize=10748324 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/28382/task/28408/stat : 28408 (java) S 28375 28382 26463 0 -1 1077944384 2360 0 0 0 61 0 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719852960112 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28409] ppid=28375 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28409/stat : 28409 (java) S 28375 28382 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415315251 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719851907552 139720300213973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28411] ppid=28375 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28382/task/28411/stat : 28411 (java) S 28375 28382 26463 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415315252 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719850855344 139720300214914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
[pid=28382/tid=28413] ppid=28375 vsize=10748324 memory=303148748257886234 CPUtime=1.17 cores=0,2,4,6
/proc/28382/task/28413/stat : 28413 (java) R 28375 28382 26463 0 -1 4202560 3398 0 0 0 115 2 0 0 20 0 16 0 415315435 11006283776 38675 33554432000 4194304 4196468 140724059681856 139719766707376 139719940000130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140724059689995 140724059690098 140724059690098 140724059693007 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 154700 KiB
Child status: 0
Real time (s): 3.16817
CPU time (s): 5.18167
CPU user time (s): 5.03172
CPU system time (s): 0.149958
CPU usage (%): 163.554
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 154700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.03172
system time used= 0.149958
maximum resident set size= 155544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27818
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= 2951
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 28382
# total CPU time (s): 5.18167
# total CPU user time (s): 5.03172
# total CPU system time (s): 0.149958
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056894 second user time and 0.082868 second system time
The end