2.41/1.88
2.41/1.88 AbsCon 2
2.64/1.90
2.92/2.09 Instance
2.92/2.09 name=instance-4390786-1568384045, framework=COP, bounds=-infty..+infty
2.92/2.09
2.92/2.09 Loading variables...
3.24/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727410f6
3.24/2.13 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fd1f72
3.24/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437a196f
3.24/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98c37b4
3.24/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f294bb7
3.24/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65134e27
3.24/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60384310
3.24/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45785ab6
3.24/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0fd216
3.24/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1dae77
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0af2ec
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bc36e58
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66049e92
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43676bc7
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aae7426
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72db70ab
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2700642e
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ecb3f9
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f54fd02
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df82eb6
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f91dee
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b506195
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa1a75d
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222c8a3a
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@300b9a42
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc37bb7
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10f4d6c5
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f81fba3
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4910fe33
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301359ab
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea33cd
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46995d15
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7453cf93
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ba405c
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85e6f0
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4b8b19
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad8c151
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c65c19
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268d209
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17ad4f96
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68793d52
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0a21fd
3.24/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae09013
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7610bc33
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@462eb6ff
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f754a48
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120ebc98
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773d6015
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26608daf
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d24172b
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e82fed5
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e26ea
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4f58f6
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eeac0f5
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643bc332
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55caec7d
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b15715
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@761109b2
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f83ba32
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e849b6
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e1c6c
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f53e601
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e479d93
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@717bba62
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcdc140
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127c734a
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d409e5
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7407f9
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e356b8b
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ca35df
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75bd3b3a
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4fd0c8
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b714246
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec4c880
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@366dbf14
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e382c22
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f952664
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755302a8
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac6299a
3.24/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26be7da4
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75129448
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e08293
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e46e9c
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e52a4b
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbb3ff4
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c3d99ca
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7769f8c2
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4529e14c
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a14954
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5ecfe4
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eefcde2
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a16969
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76eee040
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62521cae
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200f80a9
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e99bed
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d29dc2b
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2188ceda
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b06070c
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65976bd5
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c985cef
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242d87f6
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135e9f4e
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ceecd4
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78ea0d
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305aaef8
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577ccb44
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533436f9
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2bbe2b
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6e4b59
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9f9f7b
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d37f1ff
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666c231f
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db8c75b
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a128d5b
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30afe6be
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d0773b
3.24/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35afd474
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa20d7e
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@590be9bf
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e3baa51
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e83ee
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8e8c8b
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498fa84f
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4871a00f
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3e260e
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4e9235
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430c0ea6
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ec7db6
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0f0e41
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b7a7b6
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524c6fa8
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c43dc46
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7852ec4c
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376d34d7
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72cd3c7d
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27abbe82
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a4a85b7
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e68ea23
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3ddea0
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd0b2c1
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3d5543
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705ee9f1
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db26acf
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5257fa
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6cdffd
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49873467
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10710315
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63755414
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8ee4ed
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5bb129
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@529275f2
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b947cf
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29cfd317
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@560448ab
3.24/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71775ff9
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4fb182
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dccfa2
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57113787
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d943abb
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315e1cf0
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@288d8978
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c50faf
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1236411c
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4210d5c4
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d6be9f4
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee97434
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a93c8e4
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9c91ad
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ef2b6
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b49cb7
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51884f2e
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a8d524
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a081d
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aea7f72
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fefd911
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@408d2b4d
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c435f66
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1238e9a6
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e383e3
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5bc435
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6debce6a
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de0a249
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32452c20
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69eb8617
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ddb19
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaba48f
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92e0899
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dae055b
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1805d423
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cb44610
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f1e025
3.24/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59218ec
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2086daf4
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c1d7fd1
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3fc62b
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230569ae
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@442c80f4
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73be87f3
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6567b0b8
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f5b89c9
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b3d671
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@241974ac
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f6c47a
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de26673
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ef8fe13
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c5ee334
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2e41e9
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5896da
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d704f
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3229d7fc
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65a1623c
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37eb321a
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bd7f925
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d12e9c
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb4486d
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d8ab9b9
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4552e01b
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aef340f
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@416ce3b9
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f59adb
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7283a6d4
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e1bca7e
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13bdba01
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d827733
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57000b23
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24440cd9
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44638fff
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140a83d5
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3163608d
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6cc4d
3.24/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79dcb1cf
3.24/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18549597
3.24/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f7b110
3.24/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5
3.24/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553dfcb
3.24/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff14619
3.24/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21c4cb33
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c459f1
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d56c14
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@575bbbfd
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46c568f2
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@131dfc32
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d4ebd1a
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118b3b8
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1721177c
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f26886e
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113216a2
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa5834b
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e76f628
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418a0b9e
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74db2e91
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@493c53cf
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a9a84f
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf53aa9
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76cdadb4
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c4632
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cac473
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669dafee
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2000f0ab
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2004fc11
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d69f01b
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f008b3e
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59763d07
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e5eebf
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee06b5b
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4932f0a
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f71ae7
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59d713c2
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbf5744
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3587dbb3
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@554dbcf1
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7644734e
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf87e79
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8980170
3.50/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24638287
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd488bb
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac02c33
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b9ac9
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd9dcaf
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7170d0fb
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7a5f01
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3733bf69
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21837dd6
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514c0639
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f9beb36
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c5e777
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3320399d
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67a26534
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23dc8c36
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157abaf3
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@561c4043
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0b3e77
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67acb4c1
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af6e12
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ed9a59
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322a719
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bec77f
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@371ef258
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3228f3d6
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fb9240
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4831ead0
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d0c3b5b
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b456f9
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b42215c
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c08756c
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3105d0a1
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2090d7a4
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0be4e7
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f12e94
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@215977c7
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@591aecdc
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67286ce2
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a217114
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d627804
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70efdb7a
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d2ca7e4
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3675c812
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@694a3c03
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df8b02d
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ca438d
3.50/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77bbb96a
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edc5ada
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6db78d
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e1c2d6
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c331371
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4442bdad
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e57dc69
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5622597
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@205efcdf
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@285bbcc
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a782d1
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b112f5
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf65b38
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d70c5b
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a999b59
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f42018
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70616a59
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9f5be0
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c222780
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532fb967
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@373a2d90
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d97ae0
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d95e0a
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbb17ba
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c65daca
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3896bb2f
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5076be43
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdf444e
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@423e7443
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1580938b
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@793d8ff1
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed9f11a
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60631ddb
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8496ab
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30264a5a
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@429b8906
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b40fe8
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cd05132
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f7efad
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c788232
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50339dc9
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d3786f
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6514b
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7727ca4c
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@337adc0f
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725f767b
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f56c5
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38082281
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@246c1c9a
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d5136
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e348ea0
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e4aaefd
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38885e74
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e9a1408
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aae0821
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a8b138
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24233ed7
3.50/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d46e1d
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c133d93
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195c2d15
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66506692
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6237e0
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a5d979a
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1705c50b
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e114e81
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e2480
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469c457e
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a34130a
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27f4b0b3
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784e19b0
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4474a2f4
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9172bec
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f6d492
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417dd9cc
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f21124
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43163be9
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cce4d8b
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2cee2
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a44d09
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d153802
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1632a31a
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e64cb0
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d25143
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e86042e
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bb229
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@249e8f1a
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b867d80
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bafa059
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605e9bf
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63970ef2
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8c05a2
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5313ab99
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@709ec927
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705e3721
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e342b04
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ab48c9
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@262b347c
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1192d70a
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45343a54
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4122090a
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f7e8c
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e22bbef
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19517666
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c7c280
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b13fcfd
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c47e2f
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16dbb11b
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59cc4882
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a7a6679
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1194ab8c
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94e962
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2ed161
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601ce6fb
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3424f396
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110ae14f
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32dd681a
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55ae67a2
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19368645
3.50/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5f54b6
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@130eaaf8
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad95aaa
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af9cf13
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a27128
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c022bb0
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c38419b
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd0ff0
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ea299d4
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f10b48
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd85487
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a9d9d9
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b6dbe48
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f6785d
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d934446
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3364cf2c
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e26938f
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38217deb
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69764e35
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399774f7
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e73b03
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d12ebba
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b62960
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643f3151
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740023f2
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe727f
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfbe06e
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f1bde1
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56074ed2
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0a47c0
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68743517
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1962c3
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f792d6b
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5909f0b4
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a057aa9
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c585fce
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491db9b2
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9aaf06a
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b903cf
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc3209e
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4b4f1d
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc35809
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7516cbfb
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790b3d82
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1180fb46
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbca44d
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e22b316
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c19f8b
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bb0822
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af9fd4c
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7feeb4
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f69216b
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5293e31a
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1388b86c
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3e51bd
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c41f70f
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429f75d
3.50/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e495af1
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaec59b
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d13eb
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cd46fa
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a6438
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf9a344
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b2047e
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@800aa35
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6443ef45
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59933fe6
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a69f1e0
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15174c1d
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794cb64d
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a895899
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770367b8
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eda8d4e
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135a594e
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f7094
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582f4a5
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@daaf41f
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a8f8ed
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391c78c9
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140cf39d
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e55aab6
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71cd8a7
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82fc7b
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35266b7c
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed27faa
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed45e22
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417e800c
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18834d27
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55240b0d
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c50434
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b704158
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7429b1
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f59b06
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4860a4cd
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea2d5ee
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee3f9cd
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef582be
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fece824
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a8829a5
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4c15bc
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c68996
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb93174
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@364ccd85
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70720fc3
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ca8728
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee073c8
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d4f61a
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48988506
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c8d76b
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3167834
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36526871
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa04991
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174fd4c0
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f358e5f
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3d1e77
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645dab20
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c298fa1
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e91fd50
3.50/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bb1b0b
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54398eb3
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32223717
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737d0497
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421f1602
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784faf27
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f549886
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b7a0da
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100bc216
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7915279
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b2fbc0
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769a54fb
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134acf26
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6208f993
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@644834f7
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d75e848
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb7fb4f
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2085f8f2
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e159d44
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80889bd
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bc74ab
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c4d52d
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d3e1ab
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c447290
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f575
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136f8
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45a3033a
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326141f
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290e163a
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a481250
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf20e08
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24611209
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e47c313
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e78275
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c93b1bd
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4daf5dd9
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45564cdb
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59810004
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328e42c7
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33352b11
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795f162d
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db0497b
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac33038
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e529c12
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e976d8
3.50/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f47e86c
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415e3d9a
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3ca977
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19eec4ea
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f85a606
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a42a46
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0459db
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e408e72
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b85df5
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e32b8e
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3c8700
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d837440
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f48fb82
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5f08f6
3.50/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375e71c7
3.76/2.32
3.76/2.32
3.76/2.32 Domains
3.76/2.32 nTypes=1, nValues=480, sizes=[2#240]
3.76/2.32 Variables
3.76/2.32 count=240, degrees=[7#32,8#128,9#3,10#21,12#13,13#43]
3.76/2.32 Objectives
3.76/2.32 way=min, type=SumSimpleLE
3.76/2.32 Constraints
3.76/2.32 count=647, nSpecific=647, arities=[2#244,3#328,4#62,20#12,240#1]
3.76/2.32 distribution=[SumSimpleGE#40,SumSimpleLE#235,SumWeightedGE#372]
3.76/2.32 wck=0.469, cpu=2.286, mem=37M82
3.76/2.33 Solver SolverBacktrack being built...
3.76/2.33
3.76/2.35
3.76/2.35 Solver
3.76/2.35 guaranteedGAC=true
3.76/2.35 wck=0.5, cpu=2.316, mem=47M724
3.76/2.36
3.76/2.36 Preprocessing
3.76/2.36 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.76/2.36 wck=0.004, cpu=2.322, mem=47M724
3.76/2.36
3.76/2.38 o 36
3.76/2.39 num=0, depth=32..239, filters=159, ccks=647, wck=0.034, mem=47M724
3.76/2.39 decisions=41, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=1, bestBound=36
3.76/2.39
3.76/2.40 o 34
3.76/2.40 num=1, depth=33..239, filters=355, ccks=1294, wck=0.044, mem=47M724
3.76/2.40 decisions=81, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=34
3.76/2.40
4.03/2.41 num=2, depth=18..24, filters=815, ccks=1294, wck=0.052, mem=47M724
4.03/2.41 decisions=138, wrong=23, backtracks=16, failedAssignments=15, nogoods=6, foundSolutions=2, bestBound=34
4.03/2.41
4.03/2.41 num=3, depth=6..11, filters=1185, ccks=1294, wck=0.057, mem=47M724
4.03/2.41 decisions=178, wrong=40, backtracks=28, failedAssignments=26, nogoods=9, foundSolutions=2, bestBound=34
4.03/2.41
4.03/2.41 num=4, depth=6..20, filters=1730, ccks=1294, wck=0.063, mem=47M724
4.03/2.41 decisions=241, wrong=66, backtracks=51, failedAssignments=38, nogoods=13, foundSolutions=2, bestBound=34
4.03/2.41
4.03/2.42 num=5, depth=6..13, filters=2311, ccks=1294, wck=0.068, mem=47M724
4.03/2.42 decisions=302, wrong=93, backtracks=75, failedAssignments=51, nogoods=15, foundSolutions=2, bestBound=34
4.03/2.42
4.03/2.43 num=6, depth=8..20, filters=3164, ccks=1294, wck=0.076, mem=47M724
4.03/2.43 decisions=361, wrong=117, backtracks=94, failedAssignments=65, nogoods=19, foundSolutions=2, bestBound=34
4.03/2.43
4.03/2.44 num=7, depth=4..11, filters=3963, ccks=1294, wck=0.083, mem=47M724
4.03/2.44 decisions=425, wrong=147, backtracks=117, failedAssignments=81, nogoods=21, foundSolutions=2, bestBound=34
4.03/2.44
4.03/2.44 num=8, depth=4..12, filters=4713, ccks=1294, wck=0.09, mem=47M724
4.03/2.44 decisions=493, wrong=179, backtracks=145, failedAssignments=98, nogoods=22, foundSolutions=2, bestBound=34
4.03/2.44
4.03/2.45 num=9, depth=6..14, filters=5532, ccks=1294, wck=0.096, mem=47M724
4.03/2.45 decisions=570, wrong=213, backtracks=173, failedAssignments=117, nogoods=29, foundSolutions=2, bestBound=34
4.03/2.45
4.03/2.45 num=10, depth=5..13, filters=6352, ccks=1294, wck=0.102, mem=47M724
4.03/2.45 decisions=651, wrong=249, backtracks=203, failedAssignments=138, nogoods=34, foundSolutions=2, bestBound=34
4.03/2.45
4.03/2.46 num=11, depth=5..21, filters=7271, ccks=1294, wck=0.108, mem=47M724
4.03/2.46 decisions=748, wrong=293, backtracks=235, failedAssignments=161, nogoods=40, foundSolutions=2, bestBound=34
4.03/2.46
4.03/2.47 num=12, depth=5..15, filters=8383, ccks=1294, wck=0.115, mem=47M724
4.03/2.47 decisions=844, wrong=338, backtracks=276, failedAssignments=186, nogoods=42, foundSolutions=2, bestBound=34
4.03/2.47
4.03/2.48 num=13, depth=9..19, filters=9754, ccks=1294, wck=0.123, mem=47M724
4.03/2.48 decisions=947, wrong=384, backtracks=317, failedAssignments=214, nogoods=47, foundSolutions=2, bestBound=34
4.03/2.48
4.03/2.48 num=14, depth=6..16, filters=10670, ccks=1294, wck=0.13, mem=47M724
4.03/2.48 decisions=1073, wrong=443, backtracks=370, failedAssignments=245, nogoods=50, foundSolutions=2, bestBound=34
4.03/2.48
4.03/2.49 num=15, depth=2..9, filters=11782, ccks=1294, wck=0.137, mem=50M367
4.03/2.49 decisions=1198, wrong=504, backtracks=423, failedAssignments=279, nogoods=55, foundSolutions=2, bestBound=34
4.03/2.49
4.34/2.50 num=16, depth=2..12, filters=13490, ccks=1294, wck=0.147, mem=50M367
4.34/2.50 decisions=1367, wrong=587, backtracks=500, failedAssignments=316, nogoods=59, foundSolutions=2, bestBound=34
4.34/2.50
4.34/2.51 num=17, depth=3..13, filters=15040, ccks=1294, wck=0.155, mem=50M367
4.34/2.51 decisions=1529, wrong=665, backtracks=572, failedAssignments=357, nogoods=63, foundSolutions=2, bestBound=34
4.34/2.51
4.34/2.52 num=18, depth=1..12, filters=16807, ccks=1294, wck=0.164, mem=50M367
4.34/2.52 decisions=1723, wrong=761, backtracks=661, failedAssignments=402, nogoods=67, foundSolutions=2, bestBound=34
4.34/2.52
4.34/2.53 num=19, depth=5..19, filters=19156, ccks=1294, wck=0.175, mem=50M367
4.34/2.53 decisions=1919, wrong=853, backtracks=743, failedAssignments=452, nogoods=73, foundSolutions=2, bestBound=34
4.34/2.53
4.34/2.54 num=20, depth=1..15, filters=22196, ccks=1294, wck=0.19, mem=50M367
4.34/2.54 decisions=2177, wrong=978, backtracks=858, failedAssignments=507, nogoods=78, foundSolutions=2, bestBound=34
4.34/2.54
4.34/2.55 num=21, depth=4..25, filters=25137, ccks=1294, wck=0.202, mem=50M367
4.34/2.55 decisions=2439, wrong=1101, backtracks=972, failedAssignments=568, nogoods=84, foundSolutions=2, bestBound=34
4.34/2.55
4.34/2.57 num=22, depth=6..24, filters=28151, ccks=1294, wck=0.215, mem=50M367
4.34/2.57 decisions=2705, wrong=1226, backtracks=1086, failedAssignments=635, nogoods=91, foundSolutions=2, bestBound=34
4.34/2.57
4.34/2.58 num=23, depth=1..20, filters=31461, ccks=1294, wck=0.229, mem=50M367
4.34/2.58 decisions=2993, wrong=1365, backtracks=1215, failedAssignments=709, nogoods=99, foundSolutions=2, bestBound=34
4.34/2.58
4.49/2.60 num=24, depth=4..19, filters=35435, ccks=1294, wck=0.246, mem=50M367
4.49/2.60 decisions=3294, wrong=1513, backtracks=1356, failedAssignments=790, nogoods=105, foundSolutions=2, bestBound=34
4.49/2.60
4.49/2.62 num=25, depth=2..14, filters=40761, ccks=1294, wck=0.271, mem=50M367
4.49/2.62 decisions=3636, wrong=1682, backtracks=1511, failedAssignments=879, nogoods=108, foundSolutions=2, bestBound=34
4.49/2.62
4.49/2.64 num=26, depth=3..15, filters=45431, ccks=1294, wck=0.291, mem=53M9
4.49/2.64 decisions=4040, wrong=1882, backtracks=1697, failedAssignments=977, nogoods=111, foundSolutions=2, bestBound=34
4.49/2.64
4.49/2.66 num=27, depth=0..17, filters=50458, ccks=1294, wck=0.312, mem=53M9
4.49/2.66 decisions=4456, wrong=2087, backtracks=1883, failedAssignments=1085, nogoods=114, foundSolutions=2, bestBound=34
4.49/2.66
4.49/2.69 num=28, depth=5..21, filters=56658, ccks=1294, wck=0.336, mem=53M9
4.49/2.69 decisions=4887, wrong=2300, backtracks=2086, failedAssignments=1204, nogoods=122, foundSolutions=2, bestBound=34
4.49/2.69
4.60/2.71 num=29, depth=5..19, filters=63487, ccks=1294, wck=0.362, mem=53M9
4.60/2.71 decisions=5399, wrong=2551, backtracks=2329, failedAssignments=1335, nogoods=127, foundSolutions=2, bestBound=34
4.60/2.71
4.60/2.75 num=30, depth=4..19, filters=72359, ccks=1294, wck=0.4, mem=53M9
4.60/2.75 decisions=5966, wrong=2831, backtracks=2595, failedAssignments=1479, nogoods=132, foundSolutions=2, bestBound=34
4.60/2.75
4.60/2.79 num=31, depth=0..21, filters=80433, ccks=1294, wck=0.435, mem=55M651
4.60/2.79 decisions=6587, wrong=3137, backtracks=2872, failedAssignments=1637, nogoods=138, foundSolutions=2, bestBound=34
4.60/2.79
4.70/2.86 num=32, depth=2..20, filters=96198, ccks=1294, wck=0.505, mem=55M651
4.70/2.86 decisions=7396, wrong=3538, backtracks=3252, failedAssignments=1811, nogoods=143, foundSolutions=2, bestBound=34
4.70/2.86
4.88/2.90 num=33, depth=3..20, filters=107373, ccks=1294, wck=0.552, mem=55M651
4.88/2.90 decisions=8085, wrong=3878, backtracks=3594, failedAssignments=2002, nogoods=148, foundSolutions=2, bestBound=34
4.88/2.90
4.88/2.95 num=34, depth=2..20, filters=118238, ccks=1294, wck=0.596, mem=55M651
4.88/2.95 decisions=8848, wrong=4257, backtracks=3949, failedAssignments=2213, nogoods=157, foundSolutions=2, bestBound=34
4.88/2.95
5.03/3.01 num=35, depth=0..19, filters=134098, ccks=1294, wck=0.662, mem=58M294
5.03/3.01 decisions=9861, wrong=4761, backtracks=4415, failedAssignments=2445, nogoods=159, foundSolutions=2, bestBound=34
5.03/3.01
5.03/3.07 num=36, depth=0..17, filters=147181, ccks=1294, wck=0.717, mem=58M294
5.03/3.07 decisions=10759, wrong=5207, backtracks=4838, failedAssignments=2700, nogoods=165, foundSolutions=2, bestBound=34
5.03/3.07
5.13/3.13
5.13/3.13 New Bounds: 34..33
5.13/3.13 num=37, depth=0..15, filters=162639, ccks=1294, wck=0.781, mem=60M936
5.13/3.13 decisions=11659, wrong=5658, backtracks=5276, failedAssignments=2929, foundSolutions=2, bestBound=34
5.13/3.13
5.13/3.13 Global
5.13/3.13 filters=162639, ccks=1294
5.13/3.13 Stop=FULL_EXPLORATION, wrong=5658, bestBound=34, bestBoundWck=0.542, bestBoundCpu=2.357, foundSolutions=2, firstSolCpu=2.341
5.13/3.13 wck=1.283, cpu=3.095, mem=60M936
5.13/3.13
5.13/3.13 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.13/3.13 s OPTIMUM FOUND
5.13/3.13
5.13/3.13 d WRONG_DECISIONS 5658
5.13/3.13 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 (15008 MiB free)
memory of node 1: 16384 MiB (15563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390786-1568384045/watcher-4390786-1568384045 -o /tmp/evaluation-result-4390786-1568384045/solver-4390786-1568384045 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6543 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390786-1568384045.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8113, runsolver pid=8110
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 2.05 1.91 1.91 4/233 8128
/proc/meminfo: memFree=31290032/32770624 swapFree=67004028/67108860
[pid=8113] ppid=8110 vsize=10659884 memory=29192 CPUtime=0.13 cores=1,3,5,7
/proc/8113/stat : 8113 (java) S 8110 8113 6511 0 -1 1077944320 5746 0 0 0 12 1 0 0 20 0 15 0 414644178 10915721216 7298 33554432000 4194304 4196468 140726439168576 140726439151120 140045532929783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
/proc/8113/statm: 2664971 7298 2907 1 0 2627468 0
[pid=8113/tid=8115] ppid=8110 vsize=10659884 memory=-8823784706871751872 CPUtime=0.09 cores=1,3,5,7
/proc/8113/task/8115/stat : 8115 (java) R 8110 8113 6511 0 -1 4202560 3277 0 0 0 8 1 0 0 20 0 15 0 414644178 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045537159064 140045143134603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8116] ppid=8110 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8116/stat : 8116 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045469621264 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8117] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8117/stat : 8117 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045468568720 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8118] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8118/stat : 8118 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045467515664 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8119] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8119/stat : 8119 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045466463120 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8120] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8120/stat : 8120 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045024250096 140045532940930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8121] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8121/stat : 8121 (java) S 8110 8113 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045023196320 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8122] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8122/stat : 8122 (java) S 8110 8113 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045022143216 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8123] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8123/stat : 8123 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045021091792 140045532948379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8124] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8124/stat : 8124 (java) S 8110 8113 6511 0 -1 1077944384 553 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045020039920 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8125] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8125/stat : 8125 (java) S 8110 8113 6511 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045018987376 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8126] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0.02 cores=1,3,5,7
/proc/8113/task/8126/stat : 8126 (java) R 8110 8113 6511 0 -1 4202560 500 0 0 0 2 0 0 0 20 0 15 0 414644184 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045017930872 140045511298422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8127] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8127/stat : 8127 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045016882016 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8128] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8128/stat : 8128 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 7298 33554432000 4194304 4196468 140726439168576 140045015829040 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29192 KiB
[startup+0.211737 s]*
/proc/loadavg: 2.05 1.91 1.91 3/233 8128
/proc/meminfo: memFree=31283024/32770624 swapFree=67004028/67108860
[pid=8113] ppid=8110 vsize=10659884 memory=34888 CPUtime=0.33 cores=1,3,5,7
/proc/8113/stat : 8113 (java) S 8110 8113 6511 0 -1 1077944320 6837 0 0 0 31 2 0 0 20 0 15 0 414644178 10915721216 8722 33554432000 4194304 4196468 140726439168576 140726439151120 140045532929783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
/proc/8113/statm: 2664971 8722 2989 1 0 2627468 0
[pid=8113/tid=8115] ppid=8110 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8113/task/8115/stat : 8115 (java) R 8110 8113 6511 0 -1 4202560 3896 0 0 0 19 1 0 0 20 0 15 0 414644178 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045537161872 140045532951709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8116] ppid=8110 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8116/stat : 8116 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045469621264 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8117] ppid=8110 vsize=10659884 memory=140719927621422 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8117/stat : 8117 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045468568720 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8118] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8118/stat : 8118 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045467515664 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8119] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8119/stat : 8119 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045466463120 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8120] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8120/stat : 8120 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045024250096 140045532940930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8121] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8121/stat : 8121 (java) S 8110 8113 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045023196320 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8122] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8122/stat : 8122 (java) S 8110 8113 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045022143216 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8123] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8123/stat : 8123 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045021091792 140045532948379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8124] ppid=8110 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8113/task/8124/stat : 8124 (java) S 8110 8113 6511 0 -1 1077944384 649 0 0 0 2 0 0 0 20 0 15 0 414644184 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045020039920 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8125] ppid=8110 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8113/task/8125/stat : 8125 (java) S 8110 8113 6511 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 414644184 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045018987376 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8126] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0.06 cores=1,3,5,7
/proc/8113/task/8126/stat : 8126 (java) S 8110 8113 6511 0 -1 1077944384 645 0 0 0 6 0 0 0 20 0 15 0 414644184 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045017934320 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8127] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8127/stat : 8127 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045016882016 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8128] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8128/stat : 8128 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 8722 33554432000 4194304 4196468 140726439168576 140045015829040 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34888 KiB
[startup+0.319706 s]*
/proc/loadavg: 2.05 1.91 1.91 3/233 8128
/proc/meminfo: memFree=31275068/32770624 swapFree=67004028/67108860
[pid=8113] ppid=8110 vsize=10659884 memory=40344 CPUtime=0.48 cores=1,3,5,7
/proc/8113/stat : 8113 (java) S 8110 8113 6511 0 -1 1077944320 9419 0 0 0 45 3 0 0 20 0 15 0 414644178 10915721216 10086 33554432000 4194304 4196468 140726439168576 140726439151120 140045532929783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
/proc/8113/statm: 2664971 10086 3002 1 0 2627468 0
[pid=8113/tid=8115] ppid=8110 vsize=10659884 memory=7311146985107750967 CPUtime=0.31 cores=1,3,5,7
/proc/8113/task/8115/stat : 8115 (java) R 8110 8113 6511 0 -1 4202560 6388 0 0 0 28 3 0 0 20 0 15 0 414644178 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045537161584 140045532951709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8116] ppid=8110 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8116/stat : 8116 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045469621264 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8117] ppid=8110 vsize=10659884 memory=15680354909181592 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8117/stat : 8117 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045468568720 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8118] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8118/stat : 8118 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045467515664 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8119] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8119/stat : 8119 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045466463120 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8120] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8120/stat : 8120 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045024250096 140045532940930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8121] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8121/stat : 8121 (java) S 8110 8113 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045023196320 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8122] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8122/stat : 8122 (java) S 8110 8113 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644181 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045022143216 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8123] ppid=8110 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8123/stat : 8123 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045021091792 140045532948379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8124] ppid=8110 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8113/task/8124/stat : 8124 (java) S 8110 8113 6511 0 -1 1077944384 657 0 0 0 3 0 0 0 20 0 15 0 414644184 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045020039920 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8125] ppid=8110 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8113/task/8125/stat : 8125 (java) S 8110 8113 6511 0 -1 1077944384 329 0 0 0 4 0 0 0 20 0 15 0 414644184 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045018987376 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8126] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0.08 cores=1,3,5,7
/proc/8113/task/8126/stat : 8126 (java) S 8110 8113 6511 0 -1 1077944384 689 0 0 0 8 0 0 0 20 0 15 0 414644184 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045017934320 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8127] ppid=8110 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8127/stat : 8127 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045016882016 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8128] ppid=8110 vsize=10659884 memory=140719927613056 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8128/stat : 8128 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644184 10915721216 10086 33554432000 4194304 4196468 140726439168576 140045015829040 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40344 KiB
[startup+0.700733 s]
/proc/loadavg: 2.05 1.91 1.91 3/233 8128
/proc/meminfo: memFree=31265904/32770624 swapFree=67004028/67108860
[pid=8113] ppid=8110 vsize=10661932 memory=64256 CPUtime=1.1 cores=1,3,5,7
/proc/8113/stat : 8113 (java) S 8110 8113 6511 0 -1 1077944320 13155 0 0 0 104 6 0 0 20 0 15 0 414644178 10917818368 16064 33554432000 4194304 4196468 140726439168576 140726439151120 140045532929783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
/proc/8113/statm: 2665483 16064 3071 1 0 2627980 0
[pid=8113/tid=8115] ppid=8110 vsize=10661932 memory=1220 CPUtime=0.67 cores=1,3,5,7
/proc/8113/task/8115/stat : 8115 (java) R 8110 8113 6511 0 -1 4202560 8917 0 0 0 62 5 0 0 20 0 15 0 414644178 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045537161648 140045517010270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8116] ppid=8110 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8116/stat : 8116 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045469621264 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8117] ppid=8110 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8117/stat : 8117 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045468568720 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8118] ppid=8110 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8118/stat : 8118 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045467515664 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8119] ppid=8110 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8119/stat : 8119 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045466463120 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8120] ppid=8110 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8120/stat : 8120 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644181 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045024250096 140045532940930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8121] ppid=8110 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8121/stat : 8121 (java) S 8110 8113 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644181 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045023196320 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8122] ppid=8110 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8122/stat : 8122 (java) S 8110 8113 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644181 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045022143216 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8123] ppid=8110 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8123/stat : 8123 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045021091792 140045532948379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8124] ppid=8110 vsize=10661932 memory=7236533984234661184 CPUtime=0.11 cores=1,3,5,7
/proc/8113/task/8124/stat : 8124 (java) R 8110 8113 6511 0 -1 4202560 1057 0 0 0 11 0 0 0 20 0 15 0 414644184 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045020039920 140045517319856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8125] ppid=8110 vsize=10661932 memory=7380106142448642414 CPUtime=0.1 cores=1,3,5,7
/proc/8113/task/8125/stat : 8125 (java) S 8110 8113 6511 0 -1 1077944384 670 0 0 0 10 0 0 0 20 0 15 0 414644184 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045018987376 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8126] ppid=8110 vsize=10661932 memory=5859271421084325224 CPUtime=0.19 cores=1,3,5,7
/proc/8113/task/8126/stat : 8126 (java) S 8110 8113 6511 0 -1 1077944384 1152 0 0 0 19 0 0 0 20 0 15 0 414644184 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045017934320 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8127] ppid=8110 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8127/stat : 8127 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045016882016 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8128] ppid=8110 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8128/stat : 8128 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644184 10917818368 16064 33554432000 4194304 4196468 140726439168576 140045015829040 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64256 KiB
[startup+1.50075 s]
/proc/loadavg: 2.05 1.91 1.91 3/233 8128
/proc/meminfo: memFree=31249448/32770624 swapFree=67004028/67108860
[pid=8113] ppid=8110 vsize=10663980 memory=76284 CPUtime=2 cores=1,3,5,7
/proc/8113/stat : 8113 (java) S 8110 8113 6511 0 -1 1077944320 18738 0 0 0 193 7 0 0 20 0 15 0 414644178 10919915520 19071 33554432000 4194304 4196468 140726439168576 140726439151120 140045532929783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
/proc/8113/statm: 2665995 19071 3094 1 0 2628492 0
[pid=8113/tid=8115] ppid=8110 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/8113/task/8115/stat : 8115 (java) R 8110 8113 6511 0 -1 4202560 13137 0 0 0 141 6 0 0 20 0 15 0 414644178 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045537161808 140045517010270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8116] ppid=8110 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8116/stat : 8116 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045469621264 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8117] ppid=8110 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8117/stat : 8117 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045468568720 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8118] ppid=8110 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8118/stat : 8118 (java) S 8110 8113 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644179 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045467515664 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8119] ppid=8110 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8119/stat : 8119 (java) S 8110 8113 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644179 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045466463120 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8120] ppid=8110 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8120/stat : 8120 (java) S 8110 8113 6511 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414644181 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045024250096 140045532940930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8121] ppid=8110 vsize=10663980 memory=7093003822428613489 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8121/stat : 8121 (java) S 8110 8113 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644181 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045023196320 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8122] ppid=8110 vsize=10663980 memory=7522797428473883477 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8122/stat : 8122 (java) S 8110 8113 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644181 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045022143216 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8123] ppid=8110 vsize=10663980 memory=4642197910265684584 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8123/stat : 8123 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045021091792 140045532948379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8124] ppid=8110 vsize=10663980 memory=7526544240901542524 CPUtime=0.18 cores=1,3,5,7
/proc/8113/task/8124/stat : 8124 (java) S 8110 8113 6511 0 -1 1077944384 1973 0 0 0 18 0 0 0 20 0 15 0 414644184 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045020039920 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8125] ppid=8110 vsize=10663980 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8113/task/8125/stat : 8125 (java) S 8110 8113 6511 0 -1 1077944384 1028 0 0 0 13 0 0 0 20 0 15 0 414644184 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045018987376 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8126] ppid=8110 vsize=10663980 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/8113/task/8126/stat : 8126 (java) S 8110 8113 6511 0 -1 1077944384 1154 0 0 0 19 0 0 0 20 0 15 0 414644184 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045017934320 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8127] ppid=8110 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8127/stat : 8127 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644184 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045016882016 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8128] ppid=8110 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8128/stat : 8128 (java) S 8110 8113 6511 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 414644184 10919915520 19071 33554432000 4194304 4196468 140726439168576 140045015829040 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76284 KiB
[startup+3.11028 s]
/proc/loadavg: 1.96 1.90 1.90 3/234 8129
/proc/meminfo: memFree=31162700/32770624 swapFree=67004028/67108860
[pid=8113] ppid=8110 vsize=10748324 memory=154836 CPUtime=5.13 cores=1,3,5,7
/proc/8113/stat : 8113 (java) S 8110 8113 6511 0 -1 1077944320 27473 0 0 0 498 15 0 0 20 0 16 0 414644178 11006283776 38709 33554432000 4194304 4196468 140726439168576 140726439151120 140045532929783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
/proc/8113/statm: 2687081 38709 3350 1 0 2647217 0
[pid=8113/tid=8115] ppid=8110 vsize=10748324 memory=140719771889105 CPUtime=1.86 cores=1,3,5,7
/proc/8113/task/8115/stat : 8115 (java) S 8110 8113 6511 0 -1 1077944384 15424 0 0 0 178 8 0 0 20 0 16 0 414644178 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045537172656 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8116] ppid=8110 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8116/stat : 8116 (java) S 8110 8113 6511 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414644179 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045469621264 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8117] ppid=8110 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=1,3,5,7
/proc/8113/task/8117/stat : 8117 (java) S 8110 8113 6511 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414644179 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045468568720 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8118] ppid=8110 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8118/stat : 8118 (java) S 8110 8113 6511 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 414644179 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045467515664 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8119] ppid=8110 vsize=10748324 memory=281439543795808 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8119/stat : 8119 (java) S 8110 8113 6511 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414644179 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045466463120 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8120] ppid=8110 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8113/task/8120/stat : 8120 (java) S 8110 8113 6511 0 -1 1077944384 1089 0 0 0 1 0 0 0 20 0 16 0 414644181 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045024250096 140045532940930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8121] ppid=8110 vsize=10748324 memory=67 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8121/stat : 8121 (java) S 8110 8113 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414644181 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045023196384 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8122] ppid=8110 vsize=10748324 memory=65 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8122/stat : 8122 (java) S 8110 8113 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414644181 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045022143232 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8123] ppid=8110 vsize=10748324 memory=61 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8123/stat : 8123 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045021091792 140045532948379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8124] ppid=8110 vsize=10748324 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/8113/task/8124/stat : 8124 (java) S 8110 8113 6511 0 -1 1077944384 2291 0 0 0 68 1 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045020039920 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8125] ppid=8110 vsize=10748324 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/8113/task/8125/stat : 8125 (java) S 8110 8113 6511 0 -1 1077944384 1422 0 0 0 67 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045018987376 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8126] ppid=8110 vsize=10748324 memory=97 CPUtime=0.61 cores=1,3,5,7
/proc/8113/task/8126/stat : 8126 (java) S 8110 8113 6511 0 -1 1077944384 2203 0 0 0 61 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045017934320 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8127] ppid=8110 vsize=10748324 memory=140719771656560 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8127/stat : 8127 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045016882016 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8128] ppid=8110 vsize=10748324 memory=281439543862544 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8128/stat : 8128 (java) S 8110 8113 6511 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045015829040 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8129] ppid=8110 vsize=10748324 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/8113/task/8129/stat : 8129 (java) R 8110 8113 6511 0 -1 4202560 3406 0 0 0 116 2 0 0 20 0 16 0 414644367 11006283776 38709 33554432000 4194304 4196468 140726439168576 140044999159472 140045149478447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 154836 KiB
[startup+3.14547 s]
# the end of solver process 8113 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.01392 s, system=0.162947 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11028 s]
/proc/loadavg: 1.96 1.90 1.90 3/234 8129
/proc/meminfo: memFree=31162700/32770624 swapFree=67004028/67108860
[pid=8113] ppid=8110 vsize=10748324 memory=154836 CPUtime=5.13 cores=1,3,5,7
/proc/8113/stat : 8113 (java) S 8110 8113 6511 0 -1 1077944320 27473 0 0 0 498 15 0 0 20 0 16 0 414644178 11006283776 38709 33554432000 4194304 4196468 140726439168576 140726439151120 140045532929783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
/proc/8113/statm: 2687081 38709 3350 1 0 2647217 0
[pid=8113/tid=8115] ppid=8110 vsize=10748324 memory=140719771889105 CPUtime=1.86 cores=1,3,5,7
/proc/8113/task/8115/stat : 8115 (java) S 8110 8113 6511 0 -1 1077944384 15424 0 0 0 178 8 0 0 20 0 16 0 414644178 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045537172656 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8116] ppid=8110 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8116/stat : 8116 (java) S 8110 8113 6511 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414644179 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045469621264 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8117] ppid=8110 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=1,3,5,7
/proc/8113/task/8117/stat : 8117 (java) S 8110 8113 6511 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414644179 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045468568720 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8118] ppid=8110 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8118/stat : 8118 (java) S 8110 8113 6511 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 414644179 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045467515664 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8119] ppid=8110 vsize=10748324 memory=281439543795808 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8119/stat : 8119 (java) S 8110 8113 6511 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414644179 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045466463120 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8120] ppid=8110 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8113/task/8120/stat : 8120 (java) S 8110 8113 6511 0 -1 1077944384 1089 0 0 0 1 0 0 0 20 0 16 0 414644181 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045024250096 140045532940930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8121] ppid=8110 vsize=10748324 memory=67 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8121/stat : 8121 (java) S 8110 8113 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414644181 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045023196384 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8122] ppid=8110 vsize=10748324 memory=65 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8122/stat : 8122 (java) S 8110 8113 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414644181 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045022143232 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8123] ppid=8110 vsize=10748324 memory=61 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8123/stat : 8123 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045021091792 140045532948379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8124] ppid=8110 vsize=10748324 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/8113/task/8124/stat : 8124 (java) S 8110 8113 6511 0 -1 1077944384 2291 0 0 0 68 1 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045020039920 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8125] ppid=8110 vsize=10748324 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/8113/task/8125/stat : 8125 (java) S 8110 8113 6511 0 -1 1077944384 1422 0 0 0 67 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045018987376 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8126] ppid=8110 vsize=10748324 memory=97 CPUtime=0.61 cores=1,3,5,7
/proc/8113/task/8126/stat : 8126 (java) S 8110 8113 6511 0 -1 1077944384 2203 0 0 0 61 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045017934320 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8127] ppid=8110 vsize=10748324 memory=140719771656560 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8127/stat : 8127 (java) S 8110 8113 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045016882016 140045532939989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8128] ppid=8110 vsize=10748324 memory=281439543862544 CPUtime=0 cores=1,3,5,7
/proc/8113/task/8128/stat : 8128 (java) S 8110 8113 6511 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414644184 11006283776 38709 33554432000 4194304 4196468 140726439168576 140045015829040 140045532940930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
[pid=8113/tid=8129] ppid=8110 vsize=10748324 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/8113/task/8129/stat : 8129 (java) R 8110 8113 6511 0 -1 4202560 3406 0 0 0 116 2 0 0 20 0 16 0 414644367 11006283776 38709 33554432000 4194304 4196468 140726439168576 140044999159472 140045149478447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36028416 140726439171083 140726439171186 140726439171186 140726439174095 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 154836 KiB
Child status: 0
Real time (s): 3.1455
CPU time (s): 5.17686
CPU user time (s): 5.01392
CPU system time (s): 0.162947
CPU usage (%): 164.58
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 154836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.01392
system time used= 0.162947
maximum resident set size= 155480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2799
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 8113
# total CPU time (s): 5.17686
# total CPU user time (s): 5.01392
# total CPU system time (s): 0.162947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057243 second user time and 0.082944 second system time
The end