2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
2.90/2.07 Instance
2.90/2.07 name=instance-4390554-1568385026, framework=CSP
2.90/2.07
2.90/2.07 Loading variables...
2.90/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d097c1
2.90/2.10 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7d3493
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aab533
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501f733b
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f04eed6
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b260d5
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5582f051
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17831936
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e095677
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1703849b
2.90/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464de8fc
2.90/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc9a757
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497932e5
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528c22c
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b774905
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9026e
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea93a3e
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250b7d3e
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5923abfc
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b87bf2
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e741bd2
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392b3b5
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64827fe
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256fa55a
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad6ae3f
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648723a4
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17180b73
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fda1907
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3efb3f5d
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1008280b
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6103e5be
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fef896
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fb4fdc
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6f44fa
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b5a170
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f464a8
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d69551
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d80bf
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da6600e
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b68c8b1
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ec9e0
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce38864
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fae90c
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cb482c
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1865f949
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48606782
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b5507c8
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f73541c
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8579cf1
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad9071a
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18bc5373
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efe87f8
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe024d3
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615a5236
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c0d9f
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad5b91f
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39f86f2c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@639208fd
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631a07f
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@764da75a
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509d851c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1254303d
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52277518
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938594c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e73e2
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6760e2
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253355ed
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b0803
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124673ef
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ae981f
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530cdc5c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a9fb5
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e014d7
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da719ae
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d175e3
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fe68e6
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70eafe51
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc41743
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4893a797
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73112e64
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fecfdf5
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195da92e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d95b12
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8ba58
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c5413b
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ecefc4
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc8f0f
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a388775
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e6a6cb
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d8bc68d
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cbedb8
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51309b3c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4b5cd4
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebf5684
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bed262b
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a598a04
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f23633c
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1032a603
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4a8bf
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0b9a38
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaf9bd
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3599c2e7
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae549bb
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0d3604
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb7e8bd
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf70406
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4b0790
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff08012
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a67245
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489c83a9
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9a0b6c
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef62492
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9bdac9
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd1cf42
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a31b3
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e65b94
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db81371
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b49d8be
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165ede15
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac81c3f
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4262461c
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a784198
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc18a95
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a831c2
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f645de4
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cfe0f2
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d45b930
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6d8f32
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7447ca34
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5140941c
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d98dde
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efe0418
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275208a9
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6652dd
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b606f11
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec80d55
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ae7305
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2126669d
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6efed8d9
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309c416e
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18062dd6
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e52ef8c
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17ad4f96
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68793d52
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0a21fd
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae09013
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7610bc33
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@462eb6ff
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f754a48
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120ebc98
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773d6015
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26608daf
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d24172b
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e82fed5
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e26ea
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4f58f6
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eeac0f5
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643bc332
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55caec7d
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b15715
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@761109b2
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f83ba32
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e849b6
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e1c6c
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f53e601
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e479d93
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@717bba62
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcdc140
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127c734a
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d409e5
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7407f9
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e356b8b
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ca35df
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75bd3b3a
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4fd0c8
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b714246
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec4c880
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@366dbf14
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e382c22
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f952664
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755302a8
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac6299a
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26be7da4
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75129448
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e08293
3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e46e9c
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e52a4b
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbb3ff4
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c3d99ca
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7769f8c2
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4529e14c
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a14954
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5ecfe4
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eefcde2
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a16969
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76eee040
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62521cae
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200f80a9
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e99bed
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d29dc2b
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2188ceda
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b06070c
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65976bd5
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c985cef
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242d87f6
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135e9f4e
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ceecd4
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78ea0d
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305aaef8
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577ccb44
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533436f9
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2bbe2b
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6e4b59
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9f9f7b
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d37f1ff
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666c231f
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db8c75b
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a128d5b
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30afe6be
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d0773b
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35afd474
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa20d7e
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@590be9bf
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e3baa51
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e83ee
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8e8c8b
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498fa84f
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4871a00f
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3e260e
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4e9235
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430c0ea6
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ec7db6
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0f0e41
3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b7a7b6
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524c6fa8
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c43dc46
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7852ec4c
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4293c57e
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731f1ce6
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b89af71
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bef6ee
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff7f21
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cd1996
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@149486b8
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26406dd8
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc154c5
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb6c751
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a831ca
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@684a24e4
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc43ed2
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73863750
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b25c2c
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b79a6b0
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a17e0b
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25ff22ec
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c79471
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306f160c
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f1425c
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a85d6da
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68330606
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d48f3f2
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfaf546
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421fc88f
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75f04b1a
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7367865f
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708d7d45
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec421fa
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6975b13a
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7719a662
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d7d8bcc
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@736f80a9
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73749b7d
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d757fe7
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a933857
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1885a649
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9611c61
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91ecf99
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7d736c
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9b060
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f8d453
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6b92ee
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee46030
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5985cee0
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d55368c
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b467ac0
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468d4c3b
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611bb531
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e09b1d1
3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16e3af9
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a19480
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a2d021
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc54a5e
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65874223
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccc2458
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14bdad95
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705d0252
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@612d03b3
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64638446
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b484153
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dabfdac
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d456e
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef9b163
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9bdb7e
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8e1c66
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d0069b
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bfec93b
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@456ca3c1
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dd0a3e
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f894d48
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ff8e6a
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4231d68d
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7033217b
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2231d8ff
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750f213d
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f49cb3
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9872d3
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372cb39e
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b018ab1
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6509d73a
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c44beec
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ca8dfb
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@543a29b8
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224cb735
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18782459
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0029b
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ec8be7
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@439ad5d5
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722d0ad
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4d74d
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b5a791
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce7064f
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfa0ec8
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a01c345
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136dc7a2
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ac77dd
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69270621
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5391c438
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd480e4
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b922a1
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51acc96a
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c88dd3
3.18/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3203a192
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af2e621
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e64e1a8
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36de814a
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@188497c0
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44437955
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199328ae
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1021c514
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0fcfea
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2be76bd9
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eb77aff
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b0efe
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f706a62
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374369e6
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc55ab7
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb65b5
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2bb8bd
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@607caf42
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58889d3a
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73ce0a90
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df17874
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d3d6b0
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a94991
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6dc44d
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@acbcc41
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68630657
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7deb5b
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d7d9c0
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1696e28b
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69eea49e
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253007a9
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44219f33
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cff4a1e
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54af9be7
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332ec8a7
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d15651c
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@336ae6d1
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d13c79f
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca022dc
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670f96ab
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428ff95f
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6161470e
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5783d3d8
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476bb70d
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a4d01e
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4033589c
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2989bdb1
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b2e36c2
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35cc4d94
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5095421
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6332bc96
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc7cb84
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1102a35a
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6105e822
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e6d375
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1896e65a
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f217788
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6400a57a
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1345028b
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60652028
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59078dd5
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0fb735
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b28718
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@203f4d91
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273728cc
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7208eb
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56deda52
3.18/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40145341
3.18/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017
3.18/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492ee12e
3.18/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf75842
3.18/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1c703e
3.18/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1114bebc
3.18/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fae898
3.18/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a489e8
3.18/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da5d5de
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64531d4e
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498942ab
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a7b18b
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737053d6
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ab7423
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8e47a0
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c05a893
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4555d5cd
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd8da31
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fda0564
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8fcfe
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6486dfc9
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43960f3
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc74b3e
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e1008e1
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda3d72
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@549c557c
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30faca3d
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16df6a1d
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64483283
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5448fa6a
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29889525
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43df3781
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d51292
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d132a8
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdaed76
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb9528f
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e5b018
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a6292f
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349f3f6c
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a590d7c
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e9bfea
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52aa7975
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d856fe2
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f99582
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d342909
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b6744a
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27df525d
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dc4c6a
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481066dc
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd423a0
3.44/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75b4569b
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e24eb54
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48530b4e
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79116941
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1242f360
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@629d37de
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798c643b
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425f128a
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26cf943a
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a421e07
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e7504b
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebed5f4
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530b9eb
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be3aee1
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a0763a
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ed7669
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49e8821c
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee87840
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af8cba9
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73a3d55e
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52239b1e
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@556c651e
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502f97ae
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdcdcff
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e96ce24
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee23588
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b6eed
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731211ec
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@438a24d5
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae96c5
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f5c1815
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb420aa
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1896eb4e
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a8099
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@320d60f8
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36926b7c
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367b214
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@218f6ba
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4687e3bf
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c21e6
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7074ab6a
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7185d45b
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14071572
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c8a3c0d
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f161a7c
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71997a4b
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c38e110
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58553834
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@563e70d1
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6757ad70
3.44/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@267b1ce5
3.44/2.23
3.44/2.23
3.44/2.23 Domains
3.44/2.23 nTypes=1, nValues=220, sizes=[2#110]
3.44/2.23 Variables
3.44/2.23 count=110, degrees=[11#110]
3.44/2.23 Constraints
3.44/2.23 count=561, nSpecific=561, arities=[2#550,10#11]
3.44/2.23 distribution=[SumSimpleGE#11,SumSimpleLE#550]
3.44/2.23 wck=0.388, cpu=2.197, mem=29M155
3.44/2.24 Solver SolverBacktrack being built...
3.44/2.24
3.44/2.26
3.44/2.26 Solver
3.44/2.26 guaranteedGAC=true
3.44/2.26 wck=0.419, cpu=2.227, mem=39M798
3.44/2.27
3.44/2.27 Preprocessing
3.44/2.27 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.44/2.27 wck=0.003, cpu=2.231, mem=39M798
3.44/2.27
3.44/2.27 num=0, depth=39..44, filters=299, wck=0.011, mem=39M798
3.44/2.27 decisions=85, wrong=23, backtracks=22, failedAssignments=10, nogoods=2
3.44/2.27
3.44/2.28 num=1, depth=40..46, filters=620, wck=0.015, mem=39M798
3.44/2.28 decisions=175, wrong=48, backtracks=47, failedAssignments=21, nogoods=3
3.44/2.28
3.44/2.28 num=2, depth=48..58, filters=1060, wck=0.02, mem=39M798
3.44/2.28 decisions=297, wrong=85, backtracks=83, failedAssignments=33, nogoods=6
3.44/2.28
3.70/2.30 num=3, depth=58..65, filters=1542, wck=0.035, mem=39M798
3.70/2.30 decisions=428, wrong=121, backtracks=115, failedAssignments=46, nogoods=9
3.70/2.30
3.70/2.30 num=4, depth=52..61, filters=2068, wck=0.039, mem=39M798
3.70/2.30 decisions=552, wrong=157, backtracks=148, failedAssignments=60, nogoods=11
3.70/2.30
3.70/2.31 num=5, depth=59..68, filters=2712, wck=0.042, mem=39M798
3.70/2.31 decisions=712, wrong=207, backtracks=197, failedAssignments=76, nogoods=14
3.70/2.31
3.70/2.31 num=6, depth=66..77, filters=3499, wck=0.046, mem=42M441
3.70/2.31 decisions=870, wrong=251, backtracks=239, failedAssignments=93, nogoods=17
3.70/2.31
3.70/2.31 num=7, depth=64..74, filters=4524, wck=0.05, mem=42M441
3.70/2.31 decisions=1050, wrong=309, backtracks=297, failedAssignments=112, nogoods=20
3.70/2.31
3.70/2.32 num=8, depth=68..79, filters=5235, wck=0.053, mem=42M441
3.70/2.32 decisions=1214, wrong=356, backtracks=339, failedAssignments=133, nogoods=22
3.70/2.32
3.70/2.32 num=9, depth=56..68, filters=6219, wck=0.056, mem=42M441
3.70/2.32 decisions=1401, wrong=418, backtracks=392, failedAssignments=156, nogoods=24
3.70/2.32
3.70/2.32 num=10, depth=63..74, filters=7259, wck=0.06, mem=42M441
3.70/2.32 decisions=1603, wrong=487, backtracks=453, failedAssignments=181, nogoods=27
3.70/2.32
3.70/2.33 num=11, depth=66..77, filters=8636, wck=0.064, mem=42M441
3.70/2.33 decisions=1841, wrong=571, backtracks=532, failedAssignments=209, nogoods=29
3.70/2.33
3.70/2.33 num=12, depth=73..84, filters=9994, wck=0.068, mem=42M441
3.70/2.33 decisions=2068, wrong=648, backtracks=605, failedAssignments=240, nogoods=32
3.70/2.33
3.70/2.33 num=13, depth=68..81, filters=11591, wck=0.071, mem=42M441
3.70/2.33 decisions=2336, wrong=746, backtracks=697, failedAssignments=274, nogoods=35
3.70/2.33
3.70/2.34 num=14, depth=68..80, filters=13365, wck=0.074, mem=42M441
3.70/2.34 decisions=2613, wrong=850, backtracks=798, failedAssignments=311, nogoods=37
3.70/2.34
3.70/2.34 num=15, depth=67..81, filters=15062, wck=0.078, mem=42M441
3.70/2.34 decisions=2882, wrong=948, backtracks=887, failedAssignments=352, nogoods=42
3.70/2.34
3.70/2.34 num=16, depth=68..82, filters=17328, wck=0.082, mem=42M441
3.70/2.34 decisions=3228, wrong=1082, backtracks=1019, failedAssignments=397, nogoods=46
3.70/2.34
3.70/2.35 num=17, depth=66..76, filters=19487, wck=0.086, mem=42M441
3.70/2.35 decisions=3502, wrong=1185, backtracks=1098, failedAssignments=447, nogoods=50
3.70/2.35
3.70/2.35 num=18, depth=68..83, filters=22353, wck=0.092, mem=42M441
3.70/2.35 decisions=3910, wrong=1352, backtracks=1254, failedAssignments=502, nogoods=54
3.70/2.35
3.70/2.36 num=19, depth=67..80, filters=25293, wck=0.097, mem=42M441
3.70/2.36 decisions=4309, wrong=1517, backtracks=1412, failedAssignments=563, nogoods=57
3.70/2.36
3.70/2.36 num=20, depth=64..79, filters=28421, wck=0.102, mem=42M441
3.70/2.36 decisions=4781, wrong=1716, backtracks=1597, failedAssignments=630, nogoods=60
3.70/2.36
3.70/2.37 num=21, depth=64..79, filters=31635, wck=0.107, mem=42M441
3.70/2.37 decisions=5207, wrong=1897, backtracks=1762, failedAssignments=704, nogoods=63
3.70/2.37
3.70/2.38 num=22, depth=65..80, filters=35530, wck=0.113, mem=42M441
3.70/2.38 decisions=5739, wrong=2127, backtracks=1980, failedAssignments=785, nogoods=66
3.70/2.38
3.70/2.38 num=23, depth=66..81, filters=39497, wck=0.12, mem=42M441
3.70/2.38 decisions=6317, wrong=2379, backtracks=2216, failedAssignments=874, nogoods=70
3.70/2.38
3.70/2.39 num=24, depth=57..76, filters=44400, wck=0.128, mem=42M441
3.70/2.39 decisions=6936, wrong=2660, backtracks=2492, failedAssignments=972, nogoods=72
3.70/2.39
4.03/2.40 num=25, depth=66..80, filters=49049, wck=0.136, mem=42M441
4.03/2.40 decisions=7516, wrong=2914, backtracks=2735, failedAssignments=1080, nogoods=76
4.03/2.40
4.03/2.41 num=26, depth=65..82, filters=54709, wck=0.145, mem=42M441
4.03/2.41 decisions=8243, wrong=3243, backtracks=3055, failedAssignments=1199, nogoods=78
4.03/2.41
4.03/2.42 num=27, depth=64..81, filters=61855, wck=0.155, mem=45M83
4.03/2.42 decisions=9015, wrong=3597, backtracks=3387, failedAssignments=1330, nogoods=81
4.03/2.42
4.03/2.43 num=28, depth=64..81, filters=69497, wck=0.165, mem=45M83
4.03/2.43 decisions=9861, wrong=3987, backtracks=3749, failedAssignments=1474, nogoods=86
4.03/2.43
4.03/2.44 num=29, depth=60..81, filters=78568, wck=0.176, mem=45M83
4.03/2.44 decisions=10951, wrong=4501, backtracks=4270, failedAssignments=1632, nogoods=88
4.03/2.44
4.03/2.45 num=30, depth=55..77, filters=87872, wck=0.187, mem=45M83
4.03/2.45 decisions=12114, wrong=5051, backtracks=4803, failedAssignments=1806, nogoods=90
4.03/2.45
4.03/2.46 num=31, depth=58..80, filters=97993, wck=0.199, mem=45M83
4.03/2.46 decisions=13285, wrong=5607, backtracks=5367, failedAssignments=1997, nogoods=93
4.03/2.46
4.03/2.47 num=32, depth=61..82, filters=109791, wck=0.212, mem=45M83
4.03/2.47 decisions=14608, wrong=6237, backtracks=5966, failedAssignments=2208, nogoods=97
4.03/2.47
4.03/2.49 num=33, depth=62..79, filters=121131, wck=0.223, mem=45M83
4.03/2.49 decisions=15955, wrong=6878, backtracks=6579, failedAssignments=2440, nogoods=101
4.03/2.49
4.33/2.50 num=34, depth=62..82, filters=135093, wck=0.237, mem=47M725
4.33/2.50 decisions=17553, wrong=7641, backtracks=7319, failedAssignments=2695, nogoods=103
4.33/2.50
4.33/2.51 num=35, depth=63..84, filters=150295, wck=0.251, mem=47M725
4.33/2.51 decisions=19271, wrong=8468, backtracks=8113, failedAssignments=2976, nogoods=106
4.33/2.51
4.33/2.53 num=36, depth=60..81, filters=167217, wck=0.265, mem=47M725
4.33/2.53 decisions=21276, wrong=9439, backtracks=9054, failedAssignments=3285, nogoods=110
4.33/2.53
4.33/2.54 num=37, depth=59..80, filters=184556, wck=0.28, mem=47M725
4.33/2.54 decisions=23220, wrong=10377, backtracks=9947, failedAssignments=3625, nogoods=113
4.33/2.54
4.33/2.56 num=38, depth=54..78, filters=204552, wck=0.296, mem=50M368
4.33/2.56 decisions=25544, wrong=11510, backtracks=11074, failedAssignments=3999, nogoods=116
4.33/2.56
4.33/2.58 num=39, depth=58..80, filters=228140, wck=0.316, mem=50M368
4.33/2.58 decisions=27859, wrong=12637, backtracks=12155, failedAssignments=4410, nogoods=119
4.33/2.58
4.63/2.60 num=40, depth=57..81, filters=255648, wck=0.336, mem=50M368
4.63/2.60 decisions=30739, wrong=14045, backtracks=13520, failedAssignments=4862, nogoods=124
4.63/2.60
4.63/2.62 num=41, depth=58..81, filters=284391, wck=0.356, mem=53M10
4.63/2.62 decisions=33798, wrong=15543, backtracks=14978, failedAssignments=5359, nogoods=128
4.63/2.62
4.63/2.64 num=42, depth=59..83, filters=316444, wck=0.378, mem=53M10
4.63/2.64 decisions=37321, wrong=17273, backtracks=16653, failedAssignments=5906, nogoods=132
4.63/2.64
4.63/2.66 num=43, depth=60..81, filters=347877, wck=0.4, mem=53M10
4.63/2.66 decisions=40733, wrong=18944, backtracks=18258, failedAssignments=6508, nogoods=136
4.63/2.66
4.63/2.69 num=44, depth=57..82, filters=385681, wck=0.425, mem=55M653
4.63/2.69 decisions=44980, wrong=21037, backtracks=20318, failedAssignments=7170, nogoods=139
4.63/2.69
4.73/2.72 num=45, depth=58..83, filters=426754, wck=0.453, mem=55M653
4.73/2.72 decisions=49321, wrong=23174, backtracks=22385, failedAssignments=7898, nogoods=142
4.73/2.72
4.73/2.74 num=46, depth=51..76, filters=469993, wck=0.48, mem=58M295
4.73/2.74 decisions=54288, wrong=25629, backtracks=24802, failedAssignments=8699, nogoods=146
4.73/2.74
4.73/2.77 num=47, depth=50..76, filters=519684, wck=0.512, mem=60M938
4.73/2.77 decisions=59767, wrong=28340, backtracks=27495, failedAssignments=9580, nogoods=150
4.73/2.77
4.84/2.81 num=48, depth=54..81, filters=574350, wck=0.549, mem=60M938
4.84/2.81 decisions=65492, wrong=31173, backtracks=30246, failedAssignments=10550, nogoods=153
4.84/2.81
4.84/2.86 num=49, depth=53..79, filters=640702, wck=0.593, mem=63M580
4.84/2.86 decisions=72400, wrong=34599, backtracks=33667, failedAssignments=11617, nogoods=156
4.84/2.86
4.94/2.90 num=50, depth=55..80, filters=704635, wck=0.637, mem=66M223
4.94/2.90 decisions=79372, wrong=38056, backtracks=37038, failedAssignments=12790, nogoods=161
4.94/2.90
4.94/2.95 num=51, depth=55..82, filters=778740, wck=0.688, mem=68M865
4.94/2.95 decisions=87102, wrong=41891, backtracks=40780, failedAssignments=14081, nogoods=164
4.94/2.95
5.09/3.01 num=52, depth=54..82, filters=860709, wck=0.745, mem=71M507
5.09/3.01 decisions=96042, wrong=46332, backtracks=45134, failedAssignments=15501, nogoods=168
5.09/3.01
5.09/3.07 num=53, depth=55..80, filters=951074, wck=0.807, mem=74M150
5.09/3.07 decisions=105579, wrong=51070, backtracks=49817, failedAssignments=17063, nogoods=171
5.09/3.07
5.19/3.14 num=54, depth=51..82, filters=1056919, wck=0.878, mem=76M792
5.19/3.14 decisions=117104, wrong=56804, backtracks=55514, failedAssignments=18781, nogoods=176
5.19/3.14
5.28/3.21 num=55, depth=53..80, filters=1160782, wck=0.948, mem=79M435
5.28/3.21 decisions=128339, wrong=62392, backtracks=60968, failedAssignments=20671, nogoods=181
5.28/3.21
5.28/3.29 num=56, depth=52..81, filters=1285129, wck=1.032, mem=84M720
5.28/3.29 decisions=141710, wrong=69048, backtracks=67504, failedAssignments=22750, nogoods=184
5.28/3.29
5.38/3.38 num=57, depth=51..79, filters=1411980, wck=1.116, mem=87M362
5.38/3.38 decisions=155330, wrong=75828, backtracks=74112, failedAssignments=25037, nogoods=189
5.38/3.38
5.50/3.49 num=58, depth=50..82, filters=1566703, wck=1.224, mem=92M647
5.50/3.49 decisions=171840, wrong=84055, backtracks=82204, failedAssignments=27553, nogoods=193
5.50/3.49
5.71/3.60 num=59, depth=50..80, filters=1730027, wck=1.335, mem=97M932
5.71/3.60 decisions=188855, wrong=92537, backtracks=90609, failedAssignments=30321, nogoods=195
5.71/3.60
5.82/3.73 num=60, depth=49..80, filters=1918655, wck=1.464, mem=105M859
5.82/3.73 decisions=208837, wrong=102500, backtracks=100504, failedAssignments=33365, nogoods=199
5.82/3.73
5.93/3.86 num=61, depth=49..80, filters=2109191, wck=1.593, mem=111M144
5.93/3.86 decisions=229151, wrong=112623, backtracks=110406, failedAssignments=36714, nogoods=202
5.93/3.86
6.03/3.99 num=62, depth=40..75, filters=2322749, wck=1.726, mem=116M429
6.03/3.99 decisions=253271, wrong=124656, backtracks=122407, failedAssignments=40398, nogoods=207
6.03/3.99
6.23/4.13 num=63, depth=42..75, filters=2550915, wck=1.872, mem=124M356
6.23/4.13 decisions=278859, wrong=137423, backtracks=135070, failedAssignments=44450, nogoods=213
6.23/4.13
6.32/4.29 num=64, depth=37..71, filters=2801198, wck=2.031, mem=132M284
6.32/4.29 decisions=307360, wrong=151653, backtracks=149179, failedAssignments=48907, nogoods=218
6.32/4.29
6.52/4.49 num=65, depth=41..78, filters=3096164, wck=2.227, mem=142M778
6.52/4.49 decisions=339874, wrong=167886, backtracks=165291, failedAssignments=53810, nogoods=223
6.52/4.49
6.86/4.71 num=66, depth=46..79, filters=3418774, wck=2.45, mem=30M335
6.86/4.71 decisions=373906, wrong=184875, backtracks=181960, failedAssignments=59204, nogoods=228
6.86/4.71
7.06/4.95 num=67, depth=44..82, filters=3784305, wck=2.685, mem=40M693
7.06/4.95 decisions=413357, wrong=204567, backtracks=201461, failedAssignments=65137, nogoods=231
7.06/4.95
7.36/5.21 num=68, depth=46..81, filters=4185739, wck=2.943, mem=53M641
7.36/5.21 decisions=455998, wrong=225861, backtracks=222404, failedAssignments=71663, nogoods=236
7.36/5.21
7.66/5.50 num=69, depth=44..82, filters=4649613, wck=3.24, mem=69M178
7.66/5.50 decisions=503851, wrong=249755, backtracks=245975, failedAssignments=78842, nogoods=239
7.66/5.50
7.98/5.82 num=70, depth=45..80, filters=5146780, wck=3.556, mem=84M716
7.98/5.82 decisions=556481, wrong=276043, backtracks=271845, failedAssignments=86739, nogoods=244
7.98/5.82
8.29/6.19 num=71, depth=44..81, filters=5717243, wck=3.928, mem=102M843
8.29/6.19 decisions=614981, wrong=305267, backtracks=300586, failedAssignments=95426, nogoods=249
8.29/6.19
8.78/6.61 num=72, depth=42..81, filters=6356562, wck=4.347, mem=123M559
8.78/6.61 decisions=682197, wrong=338848, backtracks=334242, failedAssignments=104981, nogoods=252
8.78/6.61
9.19/7.04 num=73, depth=42..80, filters=7033808, wck=4.775, mem=144M276
9.19/7.04 decisions=754639, wrong=375044, backtracks=370145, failedAssignments=115492, nogoods=255
9.19/7.04
9.71/7.54 num=74, depth=42..80, filters=7783018, wck=5.273, mem=38M208
9.71/7.54 decisions=832999, wrong=414202, backtracks=408643, failedAssignments=127054, nogoods=257
9.71/7.54
10.22/8.04 num=75, depth=43..80, filters=8568426, wck=5.78, mem=63M2
10.22/8.04 decisions=915712, wrong=455531, backtracks=448972, failedAssignments=139772, nogoods=263
10.22/8.04
10.82/8.63 num=76, depth=41..80, filters=9473094, wck=6.367, mem=91M691
10.82/8.63 decisions=1010689, wrong=502991, backtracks=495961, failedAssignments=153762, nogoods=267
10.82/8.63
11.42/9.28 num=77, depth=42..80, filters=10453437, wck=7.015, mem=122M988
11.42/9.28 decisions=1112280, wrong=553764, backtracks=545539, failedAssignments=169151, nogoods=271
11.42/9.28
12.26/10.03 num=78, depth=38..79, filters=11601587, wck=7.772, mem=30M155
12.26/10.03 decisions=1230054, wrong=612624, backtracks=604111, failedAssignments=186079, nogoods=276
12.26/10.03
13.05/10.82 num=79, depth=36..80, filters=12809005, wck=8.553, mem=67M535
13.05/10.82 decisions=1358893, wrong=677013, backtracks=668032, failedAssignments=204700, nogoods=280
13.05/10.82
13.85/11.68 num=80, depth=39..79, filters=14133768, wck=9.417, mem=111M712
13.85/11.68 decisions=1498537, wrong=746814, backtracks=736698, failedAssignments=225184, nogoods=284
13.85/11.68
14.85/12.66 num=81, depth=37..79, filters=15651802, wck=10.395, mem=159M287
14.85/12.66 decisions=1655831, wrong=825436, backtracks=814564, failedAssignments=247716, nogoods=289
14.85/12.66
15.99/13.76 num=82, depth=36..80, filters=17327678, wck=11.497, mem=40M468
15.99/13.76 decisions=1830074, wrong=912532, backtracks=900867, failedAssignments=272501, nogoods=293
15.99/13.76
17.19/14.98 num=83, depth=37..79, filters=19185457, wck=12.721, mem=98M483
17.19/14.98 decisions=2023562, wrong=1009253, backtracks=996114, failedAssignments=299765, nogoods=298
17.19/14.98
18.59/16.36 num=84, depth=34..80, filters=21277635, wck=14.094, mem=166M735
18.59/16.36 decisions=2242161, wrong=1118530, backtracks=1104567, failedAssignments=329755, nogoods=304
18.59/16.36
20.12/17.83 num=85, depth=36..80, filters=23487689, wck=15.567, mem=64M91
20.12/17.83 decisions=2475096, wrong=1234970, backtracks=1219082, failedAssignments=362744, nogoods=308
20.12/17.83
21.72/19.44 num=86, depth=34..80, filters=25920070, wck=17.173, mem=143M526
21.72/19.44 decisions=2730671, wrong=1362733, backtracks=1344670, failedAssignments=399032, nogoods=312
21.72/19.44
23.52/21.24 num=87, depth=32..79, filters=28650350, wck=18.973, mem=231M787
23.52/21.24 decisions=3017134, wrong=1505947, backtracks=1487330, failedAssignments=438949, nogoods=314
23.52/21.24
25.55/23.25 num=88, depth=33..80, filters=31686451, wck=20.984, mem=108M444
25.55/23.25 decisions=3332076, wrong=1663397, backtracks=1643006, failedAssignments=482858, nogoods=319
25.55/23.25
27.75/25.47 num=89, depth=32..79, filters=35014755, wck=23.204, mem=214M546
27.75/25.47 decisions=3684936, wrong=1839805, backtracks=1817211, failedAssignments=531158, nogoods=324
27.75/25.47
30.29/28.00 num=90, depth=32..78, filters=38795805, wck=25.734, mem=114M478
30.29/28.00 decisions=4073970, wrong=2034299, backtracks=2009492, failedAssignments=584288, nogoods=328
30.29/28.00
32.99/30.66 num=91, depth=30..80, filters=42806755, wck=28.394, mem=242M267
32.99/30.66 decisions=4498676, wrong=2246626, backtracks=2220542, failedAssignments=642731, nogoods=334
32.99/30.66
36.02/33.69 num=92, depth=27..77, filters=47356505, wck=31.429, mem=106M611
36.02/33.69 decisions=4983393, wrong=2488965, backtracks=2461795, failedAssignments=707018, nogoods=338
36.02/33.69
39.43/37.07 num=93, depth=29..78, filters=52410073, wck=34.803, mem=269M19
39.43/37.07 decisions=5508489, wrong=2751494, backtracks=2721917, failedAssignments=777734, nogoods=343
39.43/37.07
43.36/40.93 num=94, depth=27..79, filters=58048113, wck=38.663, mem=183M350
43.36/40.93 decisions=6094090, wrong=3044275, backtracks=3013339, failedAssignments=855521, nogoods=349
43.36/40.93
47.58/45.12 num=95, depth=27..79, filters=64173909, wck=42.855, mem=112M464
47.58/45.12 decisions=6743755, wrong=3369090, backtracks=3335442, failedAssignments=941087, nogoods=353
47.58/45.12
52.18/49.70 num=96, depth=27..79, filters=70969298, wck=47.441, mem=75M31
52.18/49.70 decisions=7458626, wrong=3726506, backtracks=3688519, failedAssignments=1035210, nogoods=358
52.18/49.70
57.28/54.84 num=97, depth=25..79, filters=78376627, wck=52.582, mem=63M938
57.28/54.84 decisions=8236672, wrong=4115508, backtracks=4074896, failedAssignments=1138745, nogoods=362
57.28/54.84
62.80/60.31 num=98, depth=25..78, filters=86497852, wck=58.051, mem=76M992
62.80/60.31 decisions=9119015, wrong=4556663, backtracks=4514990, failedAssignments=1252634, nogoods=368
62.80/60.31
69.01/66.59 num=99, depth=24..79, filters=95613443, wck=64.323, mem=135M889
69.01/66.59 decisions=10082510, wrong=5038383, backtracks=4993695, failedAssignments=1377912, nogoods=373
69.01/66.59
76.12/73.64 num=100, depth=24..79, filters=105907906, wck=71.376, mem=232M462
76.12/73.64 decisions=11172709, wrong=5583457, backtracks=5533827, failedAssignments=1515718, nogoods=376
76.12/73.64
83.73/81.21 num=101, depth=22..79, filters=117018718, wck=78.952, mem=145M88
83.73/81.21 decisions=12365977, wrong=6180075, backtracks=6126395, failedAssignments=1667304, nogoods=381
83.73/81.21
92.05/89.57 num=102, depth=21..77, filters=129111073, wck=87.304, mem=106M446
92.05/89.57 decisions=13653353, wrong=6823747, backtracks=6769249, failedAssignments=1834049, nogoods=387
92.05/89.57
101.46/98.90 num=103, depth=22..78, filters=142224171, wck=96.642, mem=122M132
101.46/98.90 decisions=15074943, wrong=7534524, backtracks=7474795, failedAssignments=2017468, nogoods=393
101.46/98.90
111.58/109.06 num=104, depth=20..78, filters=156979288, wck=106.795, mem=23M913
111.58/109.06 decisions=16664442, wrong=8329248, backtracks=8264692, failedAssignments=2219229, nogoods=397
111.58/109.06
122.00/119.47 num=105, depth=16..75, filters=172147308, wck=117.211, mem=150M651
122.00/119.47 decisions=18327560, wrong=9160788, backtracks=9096222, failedAssignments=2441167, nogoods=403
122.00/119.47
133.92/131.37 num=106, depth=19..76, filters=189054228, wck=129.109, mem=176M84
133.92/131.37 decisions=20205710, wrong=10099847, backtracks=10032138, failedAssignments=2685298, nogoods=409
133.92/131.37
148.67/146.08 num=107, depth=18..79, filters=209286975, wck=143.813, mem=32M452
148.67/146.08 decisions=22377874, wrong=11185909, backtracks=11110477, failedAssignments=2953843, nogoods=415
148.67/146.08
163.98/161.36 num=108, depth=17..77, filters=230780148, wck=159.098, mem=140M834
163.98/161.36 decisions=24697871, wrong=12345893, backtracks=12266579, failedAssignments=3249242, nogoods=423
163.98/161.36
180.83/178.18 num=109, depth=16..78, filters=254252124, wck=175.921, mem=91M540
180.83/178.18 decisions=27240922, wrong=13617401, backtracks=13535302, failedAssignments=3574181, nogoods=430
180.83/178.18
200.17/197.40 num=110, depth=16..74, filters=280564826, wck=195.14, mem=97M893
200.17/197.40 decisions=30129868, wrong=15061848, backtracks=14971672, failedAssignments=3931614, nogoods=434
200.17/197.40
220.73/217.99 num=111, depth=14..76, filters=309049275, wck=215.724, mem=50M579
220.73/217.99 decisions=33220158, wrong=16606978, backtracks=16514207, failedAssignments=4324790, nogoods=441
220.73/217.99
244.59/241.73 num=112, depth=15..75, filters=341642681, wck=239.47, mem=59M581
244.59/241.73 decisions=36780551, wrong=18387159, backtracks=18287763, failedAssignments=4757284, nogoods=446
244.59/241.73
271.48/268.52 num=113, depth=13..77, filters=377854247, wck=266.262, mem=80M317
271.48/268.52 decisions=40708784, wrong=20351253, backtracks=20242425, failedAssignments=5233028, nogoods=451
271.48/268.52
300.59/297.59 num=114, depth=11..78, filters=418366924, wck=295.325, mem=25M881
300.59/297.59 decisions=44967551, wrong=22480625, backtracks=22363984, failedAssignments=5756346, nogoods=458
300.59/297.59
333.72/330.52 num=115, depth=11..78, filters=462651340, wck=328.259, mem=59M845
333.72/330.52 decisions=49748898, wrong=24871285, backtracks=24741865, failedAssignments=6331996, nogoods=463
333.72/330.52
369.41/366.09 num=116, depth=10..76, filters=511927514, wck=363.831, mem=34M652
369.41/366.09 decisions=54992443, wrong=27493042, backtracks=27350122, failedAssignments=6965211, nogoods=469
369.41/366.09
409.20/405.65 num=117, depth=7..77, filters=566636607, wck=403.39, mem=24M948
409.20/405.65 decisions=60692506, wrong=30343056, backtracks=30193731, failedAssignments=7661747, nogoods=473
409.20/405.65
451.72/447.96 num=118, depth=4..73, filters=627825004, wck=445.694, mem=63M845
451.72/447.96 decisions=66932212, wrong=33462895, backtracks=33310154, failedAssignments=8427937, nogoods=479
451.72/447.96
490.52/486.56 num=119, depth=0..73, filters=684193262, wck=484.293, mem=56M293
490.52/486.56 decisions=72503286, wrong=36248433, backtracks=36091307, failedAssignments=9102301, nogoods=479
490.52/486.56
490.52/486.56 Global
490.52/486.56 filters=684193262, nogoods=479
490.52/486.56 Stop=FULL_EXPLORATION, wrong=36248433, wck=484.713, cpu=485.739, mem=56M293
490.52/486.56
490.52/486.56 s UNSATISFIABLE
490.52/486.56
490.52/486.56 d WRONG_DECISIONS 36248433
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 (14995 MiB free)
memory of node 1: 16384 MiB (15561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390554-1568385026/watcher-4390554-1568385026 -o /tmp/evaluation-result-4390554-1568385026/solver-4390554-1568385026 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6543 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390554-1568385026.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
Current StackSize limit: 8192 KiB
solver pid=8667, runsolver pid=8664
[startup+0.101659 s]*
/proc/loadavg: 1.45 1.64 1.76 4/232 8682
/proc/meminfo: memFree=31273340/32770624 swapFree=67004028/67108860
[pid=8667] ppid=8664 vsize=10659884 memory=29720 CPUtime=0.14 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 5887 0 0 0 12 2 0 0 20 0 15 0 414742192 10915721216 7430 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2664971 7430 2908 1 0 2627468 0
[pid=8667/tid=8669] ppid=8664 vsize=10659884 memory=-8969863622714815680 CPUtime=0.09 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) R 8664 8667 6511 0 -1 4202560 3289 0 0 0 8 1 0 0 20 0 15 0 414742193 10915721216 7430 33554432000 4194304 4196468 140737181300176 140277332092608 140277311907173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 7430 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 7430 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 7430 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 7430 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742195 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8675] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8675/stat : 8675 (java) S 8664 8667 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414742195 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276818264992 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8676] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8676/stat : 8676 (java) S 8664 8667 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414742196 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276817212400 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8677] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8677/stat : 8677 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276816160976 140277327882139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8678] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8678/stat : 8678 (java) R 8664 8667 6511 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276815108592 140277327874690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8679] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8679/stat : 8679 (java) R 8664 8667 6511 0 -1 4202560 418 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276814054448 140277312250784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8680] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0.02 cores=1,3,5,7
/proc/8667/task/8680/stat : 8680 (java) R 8664 8667 6511 0 -1 4202560 613 0 0 0 2 0 0 0 20 0 15 0 414742198 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276813000248 140277306986837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8681] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8681/stat : 8681 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276811951200 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8682] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8682/stat : 8682 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 7430 33554432000 4194304 4196468 140737181300176 140276810897712 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29720 KiB
[startup+0.210816 s]*
/proc/loadavg: 1.45 1.64 1.76 3/232 8682
/proc/meminfo: memFree=31266580/32770624 swapFree=67004028/67108860
[pid=8667] ppid=8664 vsize=10659884 memory=34672 CPUtime=0.33 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 6820 0 0 0 31 2 0 0 20 0 15 0 414742192 10915721216 8668 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2664971 8668 2989 1 0 2627468 0
[pid=8667/tid=8669] ppid=8664 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) R 8664 8667 6511 0 -1 4202560 3901 0 0 0 19 1 0 0 20 0 15 0 414742193 10915721216 8668 33554432000 4194304 4196468 140737181300176 140277332089904 140277327885469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 8668 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10659884 memory=140507790170456 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 8668 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 8668 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 8668 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742195 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8675] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8675/stat : 8675 (java) S 8664 8667 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414742195 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276818264992 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8676] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8676/stat : 8676 (java) S 8664 8667 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414742196 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276817212400 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8677] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8677/stat : 8677 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276816160976 140277327882139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8678] ppid=8664 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8667/task/8678/stat : 8678 (java) S 8664 8667 6511 0 -1 1077944384 300 0 0 0 2 0 0 0 20 0 15 0 414742198 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276815108592 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8679] ppid=8664 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8667/task/8679/stat : 8679 (java) S 8664 8667 6511 0 -1 1077944384 612 0 0 0 3 0 0 0 20 0 15 0 414742198 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276814056048 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8680] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0.05 cores=1,3,5,7
/proc/8667/task/8680/stat : 8680 (java) S 8664 8667 6511 0 -1 1077944384 648 0 0 0 5 0 0 0 20 0 15 0 414742198 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276813003504 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8681] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8681/stat : 8681 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276811951200 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8682] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8682/stat : 8682 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 8668 33554432000 4194304 4196468 140737181300176 140276810897712 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34672 KiB
[startup+0.310316 s]*
/proc/loadavg: 1.45 1.64 1.76 3/232 8682
/proc/meminfo: memFree=31258872/32770624 swapFree=67004028/67108860
[pid=8667] ppid=8664 vsize=10659884 memory=40132 CPUtime=0.47 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 9515 0 0 0 43 4 0 0 20 0 15 0 414742192 10915721216 10033 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2664971 10033 3002 1 0 2627468 0
[pid=8667/tid=8669] ppid=8664 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) R 8664 8667 6511 0 -1 4202560 6512 0 0 0 27 3 0 0 20 0 15 0 414742193 10915721216 10033 33554432000 4194304 4196468 140737181300176 140277332095344 140277327875478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 10033 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10659884 memory=16246374096942744 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 10033 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 10033 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742194 10915721216 10033 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742195 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8675] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8675/stat : 8675 (java) S 8664 8667 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414742195 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276818264992 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8676] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8676/stat : 8676 (java) S 8664 8667 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414742196 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276817212400 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8677] ppid=8664 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8677/stat : 8677 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276816160976 140277327882139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8678] ppid=8664 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8667/task/8678/stat : 8678 (java) S 8664 8667 6511 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 15 0 414742198 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276815108592 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8679] ppid=8664 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8667/task/8679/stat : 8679 (java) S 8664 8667 6511 0 -1 1077944384 660 0 0 0 4 0 0 0 20 0 15 0 414742198 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276814056048 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8680] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0.08 cores=1,3,5,7
/proc/8667/task/8680/stat : 8680 (java) R 8664 8667 6511 0 -1 4202560 680 0 0 0 8 0 0 0 20 0 15 0 414742198 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276813003504 140277311944030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8681] ppid=8664 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8681/stat : 8681 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276811951200 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8682] ppid=8664 vsize=10659884 memory=140507790161536 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8682/stat : 8682 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742198 10915721216 10033 33554432000 4194304 4196468 140737181300176 140276810897712 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40132 KiB
[startup+0.700755 s]
/proc/loadavg: 1.45 1.64 1.76 3/232 8682
/proc/meminfo: memFree=31251700/32770624 swapFree=67004028/67108860
[pid=8667] ppid=8664 vsize=10661932 memory=62392 CPUtime=1.09 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 12743 0 0 0 103 6 0 0 20 0 15 0 414742192 10917818368 15598 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2665483 15598 3072 1 0 2627980 0
[pid=8667/tid=8669] ppid=8664 vsize=10661932 memory=1220 CPUtime=0.68 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) R 8664 8667 6511 0 -1 4202560 8933 0 0 0 63 5 0 0 20 0 15 0 414742193 10917818368 15598 33554432000 4194304 4196468 140737181300176 140277332095568 140277308138873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10917818368 15598 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10917818368 15598 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10917818368 15598 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742194 10917818368 15598 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742195 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8675] ppid=8664 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8675/stat : 8675 (java) S 8664 8667 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414742195 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276818264992 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8676] ppid=8664 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8676/stat : 8676 (java) S 8664 8667 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414742196 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276817212400 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8677] ppid=8664 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8677/stat : 8677 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742198 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276816160976 140277327882139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8678] ppid=8664 vsize=10661932 memory=7236533984234661184 CPUtime=0.09 cores=1,3,5,7
/proc/8667/task/8678/stat : 8678 (java) S 8664 8667 6511 0 -1 1077944384 531 0 0 0 9 0 0 0 20 0 15 0 414742198 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276815108592 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8679] ppid=8664 vsize=10661932 memory=7380106142448642414 CPUtime=0.11 cores=1,3,5,7
/proc/8667/task/8679/stat : 8679 (java) R 8664 8667 6511 0 -1 4202560 857 0 0 0 11 0 0 0 20 0 15 0 414742198 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276814056048 140277309408960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8680] ppid=8664 vsize=10661932 memory=5859271421084194152 CPUtime=0.18 cores=1,3,5,7
/proc/8667/task/8680/stat : 8680 (java) S 8664 8667 6511 0 -1 1077944384 1063 0 0 0 18 0 0 0 20 0 15 0 414742198 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276813003504 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8681] ppid=8664 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8681/stat : 8681 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742198 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276811951200 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8682] ppid=8664 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8682/stat : 8682 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742198 10917818368 15598 33554432000 4194304 4196468 140737181300176 140276810897712 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62392 KiB
[startup+1.50074 s]
/proc/loadavg: 1.45 1.64 1.76 3/232 8682
/proc/meminfo: memFree=31235136/32770624 swapFree=67004028/67108860
[pid=8667] ppid=8664 vsize=10663980 memory=74788 CPUtime=1.98 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 18275 0 0 0 191 7 0 0 20 0 15 0 414742192 10919915520 18697 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2665995 18697 3096 1 0 2628492 0
[pid=8667/tid=8669] ppid=8664 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) R 8664 8667 6511 0 -1 4202560 13112 0 0 0 142 5 0 0 20 0 15 0 414742193 10919915520 18697 33554432000 4194304 4196468 140737181300176 140277332095568 140277313029143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10919915520 18697 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10919915520 18697 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742194 10919915520 18697 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742194 10919915520 18697 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414742195 10919915520 18697 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
################
# More data... #
################
[startup+485.601 s]
/proc/loadavg: 1.53 1.57 1.68 3/233 8731
/proc/meminfo: memFree=31066504/32770624 swapFree=67004032/67108860
[pid=8667] ppid=8664 vsize=10748324 memory=232408 CPUtime=489.62 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 57820 0 0 0 48926 36 0 0 20 0 16 0 414742192 11006283776 58102 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2687081 58102 3365 1 0 2647217 0
[pid=8667/tid=8669] ppid=8664 vsize=10748324 memory=232408 CPUtime=1.85 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) S 8664 8667 6511 0 -1 1077944384 15372 0 0 0 178 7 0 0 20 0 16 0 414742193 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277332106416 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10748324 memory=8112282956445269571 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 3891 0 0 0 57 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10748324 memory=39180 CPUtime=0.58 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 4277 0 0 0 55 3 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10748324 memory=988 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 2010 0 0 0 57 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10748324 memory=2052 CPUtime=0.57 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 1867 0 0 0 55 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.19 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 3678 0 0 0 16 3 0 0 20 0 16 0 414742195 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8675] ppid=8664 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8675/stat : 8675 (java) S 8664 8667 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414742195 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276818265056 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8676] ppid=8664 vsize=10748324 memory=3208 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8676/stat : 8676 (java) S 8664 8667 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414742196 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276817212416 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8677] ppid=8664 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8677/stat : 8677 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276816160976 140277327882139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8678] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.77 cores=1,3,5,7
/proc/8667/task/8678/stat : 8678 (java) S 8664 8667 6511 0 -1 1077944384 1991 0 0 0 77 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276815108592 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8679] ppid=8664 vsize=10748324 memory=8112282956445269571 CPUtime=0.76 cores=1,3,5,7
/proc/8667/task/8679/stat : 8679 (java) S 8664 8667 6511 0 -1 1077944384 4434 0 0 0 75 1 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276814056048 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8680] ppid=8664 vsize=10748324 memory=4872558044660077418 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8680/stat : 8680 (java) S 8664 8667 6511 0 -1 1077944384 6309 0 0 0 58 1 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276813003504 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8681] ppid=8664 vsize=10748324 memory=8098432430667087974 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8681/stat : 8681 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276811951200 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8682] ppid=8664 vsize=10748324 memory=8098432430667087974 CPUtime=0.09 cores=1,3,5,7
/proc/8667/task/8682/stat : 8682 (java) S 8664 8667 6511 0 -1 1077944384 383 0 0 0 4 5 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276810897712 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8683] ppid=8664 vsize=10748324 memory=8098432430667087974 CPUtime=482.91 cores=1,3,5,7
/proc/8667/task/8683/stat : 8683 (java) R 8664 8667 6511 0 -1 4202560 12213 0 0 0 48285 6 0 0 20 0 16 0 414742380 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276794236320 140276943029759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
Current children cumulated CPU time: 489.62 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 232408 KiB
[startup+486.001 s]*
/proc/loadavg: 1.53 1.57 1.68 3/233 8731
/proc/meminfo: memFree=31066760/32770624 swapFree=67004032/67108860
[pid=8667] ppid=8664 vsize=10748324 memory=232408 CPUtime=490.03 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 57821 0 0 0 48967 36 0 0 20 0 16 0 414742192 11006283776 58102 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2687081 58102 3365 1 0 2647217 0
[pid=8667/tid=8669] ppid=8664 vsize=10748324 memory=232408 CPUtime=1.85 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) S 8664 8667 6511 0 -1 1077944384 15372 0 0 0 178 7 0 0 20 0 16 0 414742193 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277332106416 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10748324 memory=4872558044660077418 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 3891 0 0 0 57 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10748324 memory=8112282956445269571 CPUtime=0.58 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 4277 0 0 0 55 3 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10748324 memory=15821101267683210 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 2010 0 0 0 57 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10748324 memory=15821101267683210 CPUtime=0.58 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 1867 0 0 0 56 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10748324 memory=1404 CPUtime=0.19 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 3678 0 0 0 16 3 0 0 20 0 16 0 414742195 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8675] ppid=8664 vsize=10748324 memory=3232 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8675/stat : 8675 (java) S 8664 8667 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414742195 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276818265056 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8676] ppid=8664 vsize=10748324 memory=312692 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8676/stat : 8676 (java) S 8664 8667 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414742196 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276817212416 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8677] ppid=8664 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8677/stat : 8677 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276816160976 140277327882139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8678] ppid=8664 vsize=10748324 memory=3208 CPUtime=0.77 cores=1,3,5,7
/proc/8667/task/8678/stat : 8678 (java) S 8664 8667 6511 0 -1 1077944384 1991 0 0 0 77 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276815108592 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8679] ppid=8664 vsize=10748324 memory=232400 CPUtime=0.76 cores=1,3,5,7
/proc/8667/task/8679/stat : 8679 (java) S 8664 8667 6511 0 -1 1077944384 4434 0 0 0 75 1 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276814056048 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8680] ppid=8664 vsize=10748324 memory=8112282956445269571 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8680/stat : 8680 (java) S 8664 8667 6511 0 -1 1077944384 6309 0 0 0 58 1 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276813003504 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8681] ppid=8664 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8681/stat : 8681 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276811951200 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8682] ppid=8664 vsize=10748324 memory=5920 CPUtime=0.09 cores=1,3,5,7
/proc/8667/task/8682/stat : 8682 (java) S 8664 8667 6511 0 -1 1077944384 383 0 0 0 4 5 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276810897712 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8683] ppid=8664 vsize=10748324 memory=1056 CPUtime=483.31 cores=1,3,5,7
/proc/8667/task/8683/stat : 8683 (java) R 8664 8667 6511 0 -1 4202560 12214 0 0 0 48325 6 0 0 20 0 16 0 414742380 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276794236208 140276942796160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
Current children cumulated CPU time: 490.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 232408 KiB
[startup+486.401 s]
/proc/loadavg: 1.53 1.57 1.68 3/233 8731
/proc/meminfo: memFree=31066760/32770624 swapFree=67004032/67108860
[pid=8667] ppid=8664 vsize=10748324 memory=232408 CPUtime=490.42 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 57821 0 0 0 49006 36 0 0 20 0 16 0 414742192 11006283776 58102 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2687081 58102 3365 1 0 2647217 0
[pid=8667/tid=8669] ppid=8664 vsize=10748324 memory=2052 CPUtime=1.85 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) S 8664 8667 6511 0 -1 1077944384 15372 0 0 0 178 7 0 0 20 0 16 0 414742193 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277332106416 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 3891 0 0 0 57 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.58 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 4277 0 0 0 55 3 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 2010 0 0 0 57 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.58 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 1867 0 0 0 56 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.19 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 3678 0 0 0 16 3 0 0 20 0 16 0 414742195 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8675] ppid=8664 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8675/stat : 8675 (java) S 8664 8667 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414742195 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276818265056 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8676] ppid=8664 vsize=10748324 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8676/stat : 8676 (java) S 8664 8667 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414742196 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276817212416 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8677] ppid=8664 vsize=10748324 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8677/stat : 8677 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276816160976 140277327882139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8678] ppid=8664 vsize=10748324 memory=784 CPUtime=0.77 cores=1,3,5,7
/proc/8667/task/8678/stat : 8678 (java) S 8664 8667 6511 0 -1 1077944384 1991 0 0 0 77 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276815108592 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8679] ppid=8664 vsize=10748324 memory=8112282956445269571 CPUtime=0.76 cores=1,3,5,7
/proc/8667/task/8679/stat : 8679 (java) S 8664 8667 6511 0 -1 1077944384 4434 0 0 0 75 1 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276814056048 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8680] ppid=8664 vsize=10748324 memory=3852 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8680/stat : 8680 (java) S 8664 8667 6511 0 -1 1077944384 6309 0 0 0 58 1 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276813003504 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8681] ppid=8664 vsize=10748324 memory=2880 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8681/stat : 8681 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276811951200 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8682] ppid=8664 vsize=10748324 memory=2916 CPUtime=0.09 cores=1,3,5,7
/proc/8667/task/8682/stat : 8682 (java) S 8664 8667 6511 0 -1 1077944384 383 0 0 0 4 5 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276810897712 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8683] ppid=8664 vsize=10748324 memory=8112282956445269571 CPUtime=483.7 cores=1,3,5,7
/proc/8667/task/8683/stat : 8683 (java) R 8664 8667 6511 0 -1 4202560 12214 0 0 0 48364 6 0 0 20 0 16 0 414742380 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276794236208 140276943030412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
Current children cumulated CPU time: 490.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 232408 KiB
[startup+486.501 s]
/proc/loadavg: 1.53 1.57 1.68 3/233 8731
/proc/meminfo: memFree=31066760/32770624 swapFree=67004032/67108860
[pid=8667] ppid=8664 vsize=10748324 memory=232408 CPUtime=490.52 cores=1,3,5,7
/proc/8667/stat : 8667 (java) S 8664 8667 6511 0 -1 1077944320 57821 0 0 0 49016 36 0 0 20 0 16 0 414742192 11006283776 58102 33554432000 4194304 4196468 140737181300176 140737181282720 140277327863543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
/proc/8667/statm: 2687081 58102 3365 1 0 2647217 0
[pid=8667/tid=8669] ppid=8664 vsize=10748324 memory=232408 CPUtime=1.85 cores=1,3,5,7
/proc/8667/task/8669/stat : 8669 (java) S 8664 8667 6511 0 -1 1077944384 15372 0 0 0 178 7 0 0 20 0 16 0 414742193 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277332106416 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8670] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8670/stat : 8670 (java) S 8664 8667 6511 0 -1 1077944384 3891 0 0 0 57 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277264554768 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8671] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.58 cores=1,3,5,7
/proc/8667/task/8671/stat : 8671 (java) S 8664 8667 6511 0 -1 1077944384 4277 0 0 0 55 3 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277263502224 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8672] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8672/stat : 8672 (java) S 8664 8667 6511 0 -1 1077944384 2010 0 0 0 57 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277262449680 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8673] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.58 cores=1,3,5,7
/proc/8667/task/8673/stat : 8673 (java) S 8664 8667 6511 0 -1 1077944384 1867 0 0 0 56 2 0 0 20 0 16 0 414742194 11006283776 58102 33554432000 4194304 4196468 140737181300176 140277261397136 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8674] ppid=8664 vsize=10748324 memory=928 CPUtime=0.19 cores=1,3,5,7
/proc/8667/task/8674/stat : 8674 (java) S 8664 8667 6511 0 -1 1077944384 3678 0 0 0 16 3 0 0 20 0 16 0 414742195 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276819318768 140277327874690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8675] ppid=8664 vsize=10748324 memory=232408 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8675/stat : 8675 (java) S 8664 8667 6511 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414742195 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276818265056 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8676] ppid=8664 vsize=10748324 memory=232408 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8676/stat : 8676 (java) S 8664 8667 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414742196 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276817212416 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8677] ppid=8664 vsize=10748324 memory=232408 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8677/stat : 8677 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276816160976 140277327882139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8678] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.77 cores=1,3,5,7
/proc/8667/task/8678/stat : 8678 (java) S 8664 8667 6511 0 -1 1077944384 1991 0 0 0 77 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276815108592 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8679] ppid=8664 vsize=10748324 memory=2052 CPUtime=0.76 cores=1,3,5,7
/proc/8667/task/8679/stat : 8679 (java) S 8664 8667 6511 0 -1 1077944384 4434 0 0 0 75 1 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276814056048 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8680] ppid=8664 vsize=10748324 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/8667/task/8680/stat : 8680 (java) S 8664 8667 6511 0 -1 1077944384 6309 0 0 0 58 1 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276813003504 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8681] ppid=8664 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8667/task/8681/stat : 8681 (java) S 8664 8667 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276811951200 140277327873749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8682] ppid=8664 vsize=10748324 memory=232408 CPUtime=0.09 cores=1,3,5,7
/proc/8667/task/8682/stat : 8682 (java) S 8664 8667 6511 0 -1 1077944384 383 0 0 0 4 5 0 0 20 0 16 0 414742198 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276810897712 140277327874690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
[pid=8667/tid=8683] ppid=8664 vsize=10748324 memory=232408 CPUtime=483.8 cores=1,3,5,7
/proc/8667/task/8683/stat : 8683 (java) R 8664 8667 6511 0 -1 4202560 12214 0 0 0 48374 6 0 0 20 0 16 0 414742380 11006283776 58102 33554432000 4194304 4196468 140737181300176 140276794236208 140276943031681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140737181303819 140737181303922 140737181303922 140737181306831 0
Current children cumulated CPU time: 490.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 232408 KiB
Child status: 0
Real time (s): 486.579
CPU time (s): 490.602
CPU user time (s): 490.234
CPU system time (s): 0.368219
CPU usage (%): 100.827
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 387752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.234
system time used= 0.368219
maximum resident set size= 390224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17295
involuntary context switches= 556
# summary of solver processes directly reported to runsolver:
# pid: 8667
# total CPU time (s): 490.602
# total CPU user time (s): 490.234
# total CPU system time (s): 0.368219
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.82468 second user time and 4.39495 second system time
The end