2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.90
2.91/2.04 Instance
2.91/2.04 name=instance-4391062-1568390497, framework=COP, bounds=-infty..+infty
2.91/2.04
2.91/2.04 Loading variables...
2.91/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bfd0bf7
2.91/2.07 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3c555a
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a4a297
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56dec577
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2d07b6
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669f56ad
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f887bdc
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1357b20a
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64174805
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a6b84c
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f41079
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b312b2
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328ac699
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f5d06
2.91/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68c574
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4b3dd7
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1846740c
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263b629
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497932e5
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528c22c
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b774905
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9026e
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea93a3e
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250b7d3e
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5923abfc
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b87bf2
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e741bd2
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392b3b5
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64827fe
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256fa55a
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad6ae3f
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648723a4
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17180b73
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fda1907
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3efb3f5d
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1008280b
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6103e5be
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fef896
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fb4fdc
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6f44fa
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b5a170
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f464a8
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d69551
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d80bf
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da6600e
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b68c8b1
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ec9e0
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce38864
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fae90c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cb482c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1865f949
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48606782
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b5507c8
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f73541c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8579cf1
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad9071a
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18bc5373
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efe87f8
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe024d3
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615a5236
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c0d9f
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad5b91f
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39f86f2c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@639208fd
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631a07f
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@764da75a
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509d851c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1254303d
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52277518
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938594c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e73e2
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6760e2
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253355ed
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b0803
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124673ef
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ae981f
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530cdc5c
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a9fb5
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e014d7
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da719ae
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d175e3
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fe68e6
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70eafe51
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc41743
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4893a797
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73112e64
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fecfdf5
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195da92e
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d95b12
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8ba58
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c5413b
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ecefc4
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc8f0f
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a388775
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e6a6cb
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d8bc68d
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cbedb8
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51309b3c
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4b5cd4
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebf5684
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bed262b
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a598a04
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f23633c
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1032a603
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4a8bf
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0b9a38
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaf9bd
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3599c2e7
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae549bb
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0d3604
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb7e8bd
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf70406
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4b0790
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff08012
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a67245
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489c83a9
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9a0b6c
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef62492
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9bdac9
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd1cf42
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a31b3
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e65b94
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db81371
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b49d8be
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301359ab
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea33cd
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46995d15
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7453cf93
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ba405c
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85e6f0
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4b8b19
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad8c151
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c65c19
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268d209
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277c2199
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fdc14ee
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@387e9bfc
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fba629a
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dcbb83e
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@229cc92e
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c974241
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eecad00
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ce9268
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332609f0
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b52b786
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a0dbf0
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7790d1
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21247f0d
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f5710
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7563b5e8
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a417f3a
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec4b07e
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cad051a
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55aefe3b
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccf7d22
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ef2397
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@593e0270
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1047a124
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3f7047
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743aba4c
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c25420
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4a9954
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de4a7f2
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dd8db8
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26547c9e
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23820084
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce985f
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef8765d
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f01d3a
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c63d31c
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5cb462
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c16d9a
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8b6e4b
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789c366
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c6f9055
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576fa4cd
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f06cb4
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245ba8e4
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac570ee
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb6986e
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15602c
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef3e4f5
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15668ec6
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b50236
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5d4f8
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca83473
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e65cef
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db3392
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ad3e4
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f76bf7
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11abdd6a
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cab11b
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@362ebbba
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104ac5ef
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e28835
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ac5cfa
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217f1a65
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79e614f8
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.15/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e9b40
3.15/2.18
3.15/2.18
3.15/2.18 Domains
3.15/2.18 nTypes=1, nValues=198, sizes=[2#99]
3.15/2.18 Variables
3.15/2.18 count=99, degrees=[4#81,18#9,19#9]
3.15/2.18 Objectives
3.15/2.18 way=min, type=SumWeightedLE
3.15/2.18 Constraints
3.15/2.18 count=245, nSpecific=245, arities=[2#162,3#81,9#1,81#1]
3.15/2.18 distribution=[SumWeightedEQ#1,SumWeightedGE#243,SumWeightedLE#1]
3.15/2.18 wck=0.326, cpu=2.143, mem=23M870
3.15/2.18 Solver SolverBacktrack being built...
3.15/2.18
3.46/2.20
3.46/2.20 Solver
3.46/2.20 guaranteedGAC=true
3.46/2.20 wck=0.355, cpu=2.17, mem=34M512
3.46/2.21
3.46/2.21 Preprocessing
3.46/2.21 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.46/2.21 wck=0.002, cpu=2.173, mem=34M512
3.46/2.21
3.46/2.21 num=0, depth=6..12, filters=199, wck=0.011, mem=34M512
3.46/2.21 decisions=44, wrong=19, backtracks=13, failedAssignments=10, nogoods=4
3.46/2.21
3.46/2.22 num=1, depth=2..11, filters=719, wck=0.017, mem=34M512
3.46/2.22 decisions=90, wrong=41, backtracks=36, failedAssignments=21, nogoods=5
3.46/2.22
3.46/2.23 num=2, depth=5..19, filters=1181, wck=0.023, mem=34M512
3.46/2.23 decisions=151, wrong=69, backtracks=65, failedAssignments=33, nogoods=6
3.46/2.23
3.46/2.24 num=3, depth=2..12, filters=1613, wck=0.037, mem=34M512
3.46/2.24 decisions=205, wrong=94, backtracks=85, failedAssignments=46, nogoods=11
3.46/2.24
3.46/2.24 num=4, depth=3..10, filters=2051, wck=0.04, mem=34M512
3.46/2.24 decisions=257, wrong=117, backtracks=106, failedAssignments=60, nogoods=14
3.46/2.24
3.46/2.25 num=5, depth=3..12, filters=2563, wck=0.043, mem=34M512
3.46/2.25 decisions=330, wrong=152, backtracks=142, failedAssignments=76, nogoods=16
3.46/2.25
3.46/2.25 num=6, depth=4..10, filters=3179, wck=0.045, mem=34M512
3.46/2.25 decisions=394, wrong=182, backtracks=170, failedAssignments=93, nogoods=19
3.46/2.25
3.46/2.25 num=7, depth=3..13, filters=3833, wck=0.048, mem=34M512
3.46/2.25 decisions=460, wrong=213, backtracks=199, failedAssignments=112, nogoods=21
3.46/2.25
3.46/2.25 num=8, depth=2..11, filters=4578, wck=0.051, mem=34M512
3.46/2.25 decisions=543, wrong=253, backtracks=232, failedAssignments=133, nogoods=28
3.46/2.25
3.46/2.26 num=9, depth=2..11, filters=5343, wck=0.055, mem=34M512
3.46/2.26 decisions=637, wrong=297, backtracks=269, failedAssignments=156, nogoods=33
3.46/2.26
3.46/2.26 num=10, depth=1..11, filters=6266, wck=0.058, mem=34M512
3.46/2.26 decisions=746, wrong=351, backtracks=323, failedAssignments=181, nogoods=37
3.46/2.26
3.46/2.26 o 487
3.46/2.27 num=11, depth=1..98, filters=6346, ccks=245, wck=0.064, mem=34M512
3.46/2.27 decisions=756, wrong=353, backtracks=323, failedAssignments=183, nogoods=39, foundSolutions=1, bestBound=487
3.46/2.27
3.46/2.27 num=12, depth=0..11, filters=7802, ccks=245, wck=0.069, mem=34M512
3.46/2.27 decisions=906, wrong=427, backtracks=387, failedAssignments=214, nogoods=42, foundSolutions=1, bestBound=487
3.46/2.27
3.46/2.27 num=13, depth=1..10, filters=8216, ccks=245, wck=0.07, mem=34M512
3.46/2.27 decisions=956, wrong=450, backtracks=406, failedAssignments=225, nogoods=45, foundSolutions=1, bestBound=487
3.46/2.27
3.46/2.28 o 347
3.46/2.28 num=14, depth=4..98, filters=8421, ccks=490, wck=0.072, mem=34M512
3.46/2.28 decisions=983, wrong=461, backtracks=415, failedAssignments=231, nogoods=48, foundSolutions=2, bestBound=347
3.46/2.28
3.46/2.28
3.46/2.28 New Bounds: 347..346
3.46/2.28 num=15, depth=0..8, filters=8616, ccks=490, wck=0.073, mem=34M512
3.46/2.28 decisions=999, wrong=470, backtracks=425, failedAssignments=235, foundSolutions=2, bestBound=347
3.46/2.28
3.46/2.28 Global
3.46/2.28 filters=8616, ccks=490
3.46/2.28 Stop=FULL_EXPLORATION, wrong=470, bestBound=347, bestBoundWck=0.426, bestBoundCpu=2.241, foundSolutions=2, firstSolCpu=2.229
3.46/2.28 wck=0.428, cpu=2.243, mem=34M512
3.46/2.28
3.46/2.28 v <instantiation id='sol2' type='solution' cost='347'> <list> x[] </list> <values> 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 </values> </instantiation>
3.46/2.28 s OPTIMUM FOUND
3.46/2.28
3.46/2.28 d WRONG_DECISIONS 470
3.46/2.28 d NUMBER_SOLUTIONS 2
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14042 MiB free)
memory of node 1: 16384 MiB (15703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391062-1568390497/watcher-4391062-1568390497 -o /tmp/evaluation-result-4391062-1568390497/solver-4391062-1568390497 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568390578-28353 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391062-1568390497.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28787, runsolver pid=28784
[startup+0.101335 s]*
/proc/loadavg: 1.28 1.14 1.42 4/228 28802
/proc/meminfo: memFree=30443648/32770624 swapFree=66932052/67108860
[pid=28787] ppid=28784 vsize=10659884 memory=29556 CPUtime=0.14 cores=1,3,5,7
/proc/28787/stat : 28787 (java) S 28784 28787 26463 0 -1 1077944320 5858 0 0 0 13 1 0 0 20 0 15 0 415317477 10915721216 7389 33554432000 4194304 4196468 140734106050432 140734106032976 139641291775735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
/proc/28787/statm: 2664971 7389 2908 1 0 2627468 0
[pid=28787/tid=28789] ppid=28784 vsize=10659884 memory=-7254949962136774010 CPUtime=0.09 cores=1,3,5,7
/proc/28787/task/28789/stat : 28789 (java) R 28784 28787 26463 0 -1 4202560 3252 0 0 0 9 0 0 0 20 0 15 0 415317478 10915721216 7389 33554432000 4194304 4196468 140734106050432 139641296002480 139641273169834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28790] ppid=28784 vsize=10659884 memory=5793855777440868793 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28790/stat : 28790 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 7389 33554432000 4194304 4196468 140734106050432 139641217850128 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28791] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28791/stat : 28791 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 7389 33554432000 4194304 4196468 140734106050432 139641216797584 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28792] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28792/stat : 28792 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 7389 33554432000 4194304 4196468 140734106050432 139641215745040 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28793] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28793/stat : 28793 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 7389 33554432000 4194304 4196468 140734106050432 139641214692496 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28794] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28794/stat : 28794 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640782661616 139641291786882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28795] ppid=28784 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28795/stat : 28795 (java) S 28784 28787 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640781607840 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28796] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28796/stat : 28796 (java) S 28784 28787 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640780555248 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28797] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28797/stat : 28797 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640779503824 139641291794331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28798] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28798/stat : 28798 (java) R 28784 28787 26463 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640778451440 139641291786882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28799] ppid=28784 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28799/stat : 28799 (java) R 28784 28787 26463 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640777398896 139641272476032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28800] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0.02 cores=1,3,5,7
/proc/28787/task/28800/stat : 28800 (java) R 28784 28787 26463 0 -1 4202560 603 0 0 0 2 0 0 0 20 0 15 0 415317483 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640776342904 139641276023033 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28801] ppid=28784 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28801/stat : 28801 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640775294048 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28802] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28802/stat : 28802 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 7389 33554432000 4194304 4196468 140734106050432 139640774240560 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29556 KiB
[startup+0.210686 s]*
/proc/loadavg: 1.28 1.14 1.42 3/228 28802
/proc/meminfo: memFree=30436268/32770624 swapFree=66932052/67108860
[pid=28787] ppid=28784 vsize=10659884 memory=34924 CPUtime=0.33 cores=1,3,5,7
/proc/28787/stat : 28787 (java) S 28784 28787 26463 0 -1 1077944320 6841 0 0 0 31 2 0 0 20 0 15 0 415317477 10915721216 8731 33554432000 4194304 4196468 140734106050432 140734106032976 139641291775735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
/proc/28787/statm: 2664971 8731 2987 1 0 2627468 0
[pid=28787/tid=28789] ppid=28784 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/28787/task/28789/stat : 28789 (java) R 28784 28787 26463 0 -1 4202560 3895 0 0 0 19 1 0 0 20 0 15 0 415317478 10915721216 8731 33554432000 4194304 4196468 140734106050432 139641296007824 139641291797661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28790] ppid=28784 vsize=10659884 memory=4211974252635766154 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28790/stat : 28790 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 8731 33554432000 4194304 4196468 140734106050432 139641217850128 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28791] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28791/stat : 28791 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 8731 33554432000 4194304 4196468 140734106050432 139641216797584 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28792] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28792/stat : 28792 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 8731 33554432000 4194304 4196468 140734106050432 139641215745040 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28793] ppid=28784 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28793/stat : 28793 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 8731 33554432000 4194304 4196468 140734106050432 139641214692496 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28794] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28794/stat : 28794 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640782661616 139641291786882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28795] ppid=28784 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28795/stat : 28795 (java) S 28784 28787 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640781607840 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28796] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28796/stat : 28796 (java) S 28784 28787 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640780555248 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28797] ppid=28784 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28797/stat : 28797 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640779503824 139641291794331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28798] ppid=28784 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28787/task/28798/stat : 28798 (java) S 28784 28787 26463 0 -1 1077944384 572 0 0 0 3 0 0 0 20 0 15 0 415317483 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640778451440 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28799] ppid=28784 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28787/task/28799/stat : 28799 (java) S 28784 28787 26463 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 415317483 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640777398896 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28800] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0.05 cores=1,3,5,7
/proc/28787/task/28800/stat : 28800 (java) S 28784 28787 26463 0 -1 1077944384 634 0 0 0 5 0 0 0 20 0 15 0 415317483 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640776346352 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28801] ppid=28784 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28801/stat : 28801 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640775294048 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28802] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28802/stat : 28802 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 8731 33554432000 4194304 4196468 140734106050432 139640774240560 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34924 KiB
[startup+0.311627 s]*
/proc/loadavg: 1.28 1.14 1.42 3/228 28802
/proc/meminfo: memFree=30429192/32770624 swapFree=66932052/67108860
[pid=28787] ppid=28784 vsize=10659884 memory=40372 CPUtime=0.47 cores=1,3,5,7
/proc/28787/stat : 28787 (java) S 28784 28787 26463 0 -1 1077944320 9396 0 0 0 44 3 0 0 20 0 15 0 415317477 10915721216 10093 33554432000 4194304 4196468 140734106050432 140734106032976 139641291775735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
/proc/28787/statm: 2664971 10093 3000 1 0 2627468 0
[pid=28787/tid=28789] ppid=28784 vsize=10659884 memory=281052593520880 CPUtime=0.3 cores=1,3,5,7
/proc/28787/task/28789/stat : 28789 (java) R 28784 28787 26463 0 -1 4202560 6352 0 0 0 28 2 0 0 20 0 15 0 415317478 10915721216 10093 33554432000 4194304 4196468 140734106050432 139641296014720 139641291797661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28790] ppid=28784 vsize=10659884 memory=4211974252635766154 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28790/stat : 28790 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 10093 33554432000 4194304 4196468 140734106050432 139641217850128 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28791] ppid=28784 vsize=10659884 memory=140526430978031 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28791/stat : 28791 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 10093 33554432000 4194304 4196468 140734106050432 139641216797584 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28792] ppid=28784 vsize=10659884 memory=140526296893551 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28792/stat : 28792 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 10093 33554432000 4194304 4196468 140734106050432 139641215745040 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28793] ppid=28784 vsize=10659884 memory=140526296873935 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28793/stat : 28793 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10915721216 10093 33554432000 4194304 4196468 140734106050432 139641214692496 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28794] ppid=28784 vsize=10659884 memory=140526431002106 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28794/stat : 28794 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640782661616 139641291786882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28795] ppid=28784 vsize=10659884 memory=140526296873935 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28795/stat : 28795 (java) S 28784 28787 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640781607840 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28796] ppid=28784 vsize=10659884 memory=281052593768592 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28796/stat : 28796 (java) S 28784 28787 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317480 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640780555248 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28797] ppid=28784 vsize=10659884 memory=281052593766288 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28797/stat : 28797 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640779503824 139641291794331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28798] ppid=28784 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28787/task/28798/stat : 28798 (java) S 28784 28787 26463 0 -1 1077944384 623 0 0 0 4 0 0 0 20 0 15 0 415317483 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640778451440 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28799] ppid=28784 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28787/task/28799/stat : 28799 (java) S 28784 28787 26463 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 15 0 415317483 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640777398896 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28800] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0.07 cores=1,3,5,7
/proc/28787/task/28800/stat : 28800 (java) R 28784 28787 26463 0 -1 4202560 671 0 0 0 7 0 0 0 20 0 15 0 415317483 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640776342080 139641270910465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28801] ppid=28784 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28801/stat : 28801 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640775294048 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28802] ppid=28784 vsize=10659884 memory=140526430975616 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28802/stat : 28802 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317483 10915721216 10093 33554432000 4194304 4196468 140734106050432 139640774240560 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40372 KiB
[startup+0.70664 s]
/proc/loadavg: 1.28 1.14 1.42 3/228 28802
/proc/meminfo: memFree=30419644/32770624 swapFree=66932052/67108860
[pid=28787] ppid=28784 vsize=10661932 memory=64012 CPUtime=1.11 cores=1,3,5,7
/proc/28787/stat : 28787 (java) S 28784 28787 26463 0 -1 1077944320 13115 0 0 0 106 5 0 0 20 0 15 0 415317477 10917818368 16003 33554432000 4194304 4196468 140734106050432 140734106032976 139641291775735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
/proc/28787/statm: 2665483 16003 3060 1 0 2627980 0
[pid=28787/tid=28789] ppid=28784 vsize=10661932 memory=2832 CPUtime=0.68 cores=1,3,5,7
/proc/28787/task/28789/stat : 28789 (java) R 28784 28787 26463 0 -1 4202560 8926 0 0 0 64 4 0 0 20 0 15 0 415317478 10917818368 16003 33554432000 4194304 4196468 140734106050432 139641296007760 139641272047472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28790] ppid=28784 vsize=10661932 memory=772 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28790/stat : 28790 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10917818368 16003 33554432000 4194304 4196468 140734106050432 139641217850128 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28791] ppid=28784 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28791/stat : 28791 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10917818368 16003 33554432000 4194304 4196468 140734106050432 139641216797584 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28792] ppid=28784 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28792/stat : 28792 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317478 10917818368 16003 33554432000 4194304 4196468 140734106050432 139641215745040 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28793] ppid=28784 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28793/stat : 28793 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10917818368 16003 33554432000 4194304 4196468 140734106050432 139641214692496 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28794] ppid=28784 vsize=10661932 memory=5787218246971642213 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28794/stat : 28794 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317480 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640782661616 139641291786882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28795] ppid=28784 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28795/stat : 28795 (java) S 28784 28787 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317480 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640781607840 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28796] ppid=28784 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28796/stat : 28796 (java) S 28784 28787 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317480 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640780555248 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28797] ppid=28784 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28797/stat : 28797 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640779503824 139641291794331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28798] ppid=28784 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/28787/task/28798/stat : 28798 (java) R 28784 28787 26463 0 -1 4202560 973 0 0 0 11 0 0 0 20 0 15 0 415317483 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640778437680 139641271021583 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28799] ppid=28784 vsize=10661932 memory=11 CPUtime=0.1 cores=1,3,5,7
/proc/28787/task/28799/stat : 28799 (java) S 28784 28787 26463 0 -1 1077944384 737 0 0 0 10 0 0 0 20 0 15 0 415317483 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640777398896 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28800] ppid=28784 vsize=10661932 memory=1367 CPUtime=0.18 cores=1,3,5,7
/proc/28787/task/28800/stat : 28800 (java) S 28784 28787 26463 0 -1 1077944384 1118 0 0 0 18 0 0 0 20 0 15 0 415317483 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640776346352 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28801] ppid=28784 vsize=10661932 memory=281052593945584 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28801/stat : 28801 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640775294048 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28802] ppid=28784 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28802/stat : 28802 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317483 10917818368 16003 33554432000 4194304 4196468 140734106050432 139640774240560 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64012 KiB
[startup+1.50076 s]
/proc/loadavg: 1.34 1.16 1.42 4/229 28804
/proc/meminfo: memFree=30401384/32770624 swapFree=66932052/67108860
[pid=28787] ppid=28784 vsize=10663980 memory=76004 CPUtime=2 cores=1,3,5,7
/proc/28787/stat : 28787 (java) S 28784 28787 26463 0 -1 1077944320 18652 0 0 0 194 6 0 0 20 0 15 0 415317477 10919915520 19001 33554432000 4194304 4196468 140734106050432 140734106032976 139641291775735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
/proc/28787/statm: 2665995 19001 3094 1 0 2628492 0
[pid=28787/tid=28789] ppid=28784 vsize=10663980 memory=71916 CPUtime=1.47 cores=1,3,5,7
/proc/28787/task/28789/stat : 28789 (java) R 28784 28787 26463 0 -1 4202560 13139 0 0 0 143 4 0 0 20 0 15 0 415317478 10919915520 19001 33554432000 4194304 4196468 140734106050432 139641296007760 139641273339310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28790] ppid=28784 vsize=10663980 memory=281052593831680 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28790/stat : 28790 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10919915520 19001 33554432000 4194304 4196468 140734106050432 139641217850128 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28791] ppid=28784 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28791/stat : 28791 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10919915520 19001 33554432000 4194304 4196468 140734106050432 139641216797584 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28792] ppid=28784 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28792/stat : 28792 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317478 10919915520 19001 33554432000 4194304 4196468 140734106050432 139641215745040 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28793] ppid=28784 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28793/stat : 28793 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10919915520 19001 33554432000 4194304 4196468 140734106050432 139641214692496 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28794] ppid=28784 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28794/stat : 28794 (java) S 28784 28787 26463 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 415317480 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640782661616 139641291786882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28795] ppid=28784 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28795/stat : 28795 (java) S 28784 28787 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317480 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640781607840 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28796] ppid=28784 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28796/stat : 28796 (java) S 28784 28787 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317480 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640780555248 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28797] ppid=28784 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28797/stat : 28797 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640779503824 139641291794331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28798] ppid=28784 vsize=10663980 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/28787/task/28798/stat : 28798 (java) S 28784 28787 26463 0 -1 1077944384 1856 0 0 0 18 0 0 0 20 0 15 0 415317483 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640778451440 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28799] ppid=28784 vsize=10663980 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28787/task/28799/stat : 28799 (java) S 28784 28787 26463 0 -1 1077944384 1094 0 0 0 13 0 0 0 20 0 15 0 415317483 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640777398896 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28800] ppid=28784 vsize=10663980 memory=4580 CPUtime=0.18 cores=1,3,5,7
/proc/28787/task/28800/stat : 28800 (java) S 28784 28787 26463 0 -1 1077944384 1120 0 0 0 18 0 0 0 20 0 15 0 415317483 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640776346352 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28801] ppid=28784 vsize=10663980 memory=7679937479730885434 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28801/stat : 28801 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640775294048 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28802] ppid=28784 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28802/stat : 28802 (java) S 28784 28787 26463 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 415317483 10919915520 19001 33554432000 4194304 4196468 140734106050432 139640774240560 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76004 KiB
[startup+2.29744 s]
# the end of solver process 28787 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.59988 s, system=0.143873 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60087 s]
/proc/loadavg: 1.34 1.16 1.42 4/229 28804
/proc/meminfo: memFree=30401384/32770624 swapFree=66932052/67108860
[pid=28787] ppid=28784 vsize=10666028 memory=77008 CPUtime=2.11 cores=1,3,5,7
/proc/28787/stat : 28787 (java) S 28784 28787 26463 0 -1 1077944320 19027 0 0 0 205 6 0 0 20 0 15 0 415317477 10922012672 19252 33554432000 4194304 4196468 140734106050432 140734106032976 139641291775735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
/proc/28787/statm: 2666507 19252 3094 1 0 2629004 0
[pid=28787/tid=28789] ppid=28784 vsize=10666028 memory=7446812310399898977 CPUtime=1.58 cores=1,3,5,7
/proc/28787/task/28789/stat : 28789 (java) R 28784 28787 26463 0 -1 4202560 13503 0 0 0 153 5 0 0 20 0 15 0 415317478 10922012672 19252 33554432000 4194304 4196468 140734106050432 139641296007760 139641275856222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28790] ppid=28784 vsize=10666028 memory=7590963683427724697 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28790/stat : 28790 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10922012672 19252 33554432000 4194304 4196468 140734106050432 139641217850128 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28791] ppid=28784 vsize=10666028 memory=11335233003 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28791/stat : 28791 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10922012672 19252 33554432000 4194304 4196468 140734106050432 139641216797584 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28792] ppid=28784 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28792/stat : 28792 (java) S 28784 28787 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317478 10922012672 19252 33554432000 4194304 4196468 140734106050432 139641215745040 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28793] ppid=28784 vsize=10666028 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28793/stat : 28793 (java) S 28784 28787 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317478 10922012672 19252 33554432000 4194304 4196468 140734106050432 139641214692496 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28794] ppid=28784 vsize=10666028 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28794/stat : 28794 (java) S 28784 28787 26463 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 415317480 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640782661616 139641291786882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28795] ppid=28784 vsize=10666028 memory=140526296937008 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28795/stat : 28795 (java) S 28784 28787 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317480 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640781607840 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28796] ppid=28784 vsize=10666028 memory=281052593880576 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28796/stat : 28796 (java) S 28784 28787 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317480 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640780555248 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28797] ppid=28784 vsize=10666028 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28797/stat : 28797 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640779503824 139641291794331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28798] ppid=28784 vsize=10666028 memory=6944656575208382560 CPUtime=0.18 cores=1,3,5,7
/proc/28787/task/28798/stat : 28798 (java) S 28784 28787 26463 0 -1 1077944384 1856 0 0 0 18 0 0 0 20 0 15 0 415317483 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640778451440 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28799] ppid=28784 vsize=10666028 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/28787/task/28799/stat : 28799 (java) S 28784 28787 26463 0 -1 1077944384 1105 0 0 0 14 0 0 0 20 0 15 0 415317483 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640777398896 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28800] ppid=28784 vsize=10666028 memory=6944652177228980320 CPUtime=0.18 cores=1,3,5,7
/proc/28787/task/28800/stat : 28800 (java) S 28784 28787 26463 0 -1 1077944384 1120 0 0 0 18 0 0 0 20 0 15 0 415317483 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640776346352 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28801] ppid=28784 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28801/stat : 28801 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317483 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640775294048 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28802] ppid=28784 vsize=10666028 memory=281052593907968 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28802/stat : 28802 (java) S 28784 28787 26463 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 415317483 10922012672 19252 33554432000 4194304 4196468 140734106050432 139640774240560 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 77008 KiB
[startup+2.00115 s]*
/proc/loadavg: 1.34 1.16 1.42 5/230 28805
/proc/meminfo: memFree=30324832/32770624 swapFree=66932052/67108860
[pid=28787] ppid=28784 vsize=10744136 memory=145724 CPUtime=2.91 cores=1,3,5,7
/proc/28787/stat : 28787 (java) S 28784 28787 26463 0 -1 1077944320 23657 0 0 0 279 12 0 0 20 0 16 0 415317477 11001995264 36431 33554432000 4194304 4196468 140734106050432 140734106032976 139641291775735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
/proc/28787/statm: 2686034 36431 3302 1 0 2646705 0
[pid=28787/tid=28789] ppid=28784 vsize=10744136 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/28787/task/28789/stat : 28789 (java) S 28784 28787 26463 0 -1 1077944384 15402 0 0 0 179 7 0 0 20 0 16 0 415317478 11001995264 36431 33554432000 4194304 4196468 140734106050432 139641296018608 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28790] ppid=28784 vsize=10744136 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/28787/task/28790/stat : 28790 (java) S 28784 28787 26463 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 16 0 415317478 11001995264 36431 33554432000 4194304 4196468 140734106050432 139641217850128 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28791] ppid=28784 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28787/task/28791/stat : 28791 (java) S 28784 28787 26463 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415317478 11001995264 36431 33554432000 4194304 4196468 140734106050432 139641216797584 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28792] ppid=28784 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28792/stat : 28792 (java) S 28784 28787 26463 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 415317478 11001995264 36431 33554432000 4194304 4196468 140734106050432 139641215745040 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28793] ppid=28784 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28793/stat : 28793 (java) S 28784 28787 26463 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 16 0 415317478 11001995264 36431 33554432000 4194304 4196468 140734106050432 139641214692496 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28794] ppid=28784 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28787/task/28794/stat : 28794 (java) S 28784 28787 26463 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 415317480 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640782661616 139641291786882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28795] ppid=28784 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28795/stat : 28795 (java) S 28784 28787 26463 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415317480 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640781607904 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28796] ppid=28784 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28796/stat : 28796 (java) S 28784 28787 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415317480 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640780555264 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28797] ppid=28784 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28797/stat : 28797 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317483 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640779503824 139641291794331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28798] ppid=28784 vsize=10744136 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/28787/task/28798/stat : 28798 (java) R 28784 28787 26463 0 -1 4202560 1929 0 0 0 30 0 0 0 20 0 16 0 415317483 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640778451440 139641271000787 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28799] ppid=28784 vsize=10744136 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/28787/task/28799/stat : 28799 (java) R 28784 28787 26463 0 -1 1077944384 1368 0 0 0 25 0 0 0 20 0 16 0 415317483 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640777398896 139641291786882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28800] ppid=28784 vsize=10744136 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/28787/task/28800/stat : 28800 (java) R 28784 28787 26463 0 -1 4202560 1453 0 0 0 28 0 0 0 20 0 16 0 415317483 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640776346352 139641270760436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28801] ppid=28784 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28801/stat : 28801 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317483 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640775294048 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28802] ppid=28784 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28802/stat : 28802 (java) S 28784 28787 26463 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415317483 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640774240560 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28805] ppid=28784 vsize=10744136 memory=7878495878512652319 CPUtime=0.09 cores=1,3,5,7
/proc/28787/task/28805/stat : 28805 (java) R 28784 28787 26463 0 -1 4202560 765 0 0 0 9 0 0 0 20 0 16 0 415317665 11001995264 36431 33554432000 4194304 4196468 140734106050432 139640757573488 139640879299647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 145724 KiB
[startup+2.20593 s]
/proc/loadavg: 1.34 1.16 1.42 5/230 28805
/proc/meminfo: memFree=30324832/32770624 swapFree=66932052/67108860
[pid=28787] ppid=28784 vsize=10746276 memory=149736 CPUtime=3.46 cores=1,3,5,7
/proc/28787/stat : 28787 (java) S 28784 28787 26463 0 -1 1077944320 25146 0 0 0 334 12 0 0 20 0 16 0 415317477 11004186624 37434 33554432000 4194304 4196468 140734106050432 140734106032976 139641291775735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
/proc/28787/statm: 2686569 37434 3338 1 0 2646705 0
[pid=28787/tid=28789] ppid=28784 vsize=10746276 memory=3689067352630257723 CPUtime=1.86 cores=1,3,5,7
/proc/28787/task/28789/stat : 28789 (java) S 28784 28787 26463 0 -1 1077944384 15402 0 0 0 179 7 0 0 20 0 16 0 415317478 11004186624 37434 33554432000 4194304 4196468 140734106050432 139641296018608 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28790] ppid=28784 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28787/task/28790/stat : 28790 (java) S 28784 28787 26463 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 16 0 415317478 11004186624 37434 33554432000 4194304 4196468 140734106050432 139641217850128 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28791] ppid=28784 vsize=10746276 memory=4137284780655939955 CPUtime=0.01 cores=1,3,5,7
/proc/28787/task/28791/stat : 28791 (java) S 28784 28787 26463 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415317478 11004186624 37434 33554432000 4194304 4196468 140734106050432 139641216797584 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28792] ppid=28784 vsize=10746276 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28792/stat : 28792 (java) S 28784 28787 26463 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 415317478 11004186624 37434 33554432000 4194304 4196468 140734106050432 139641215745040 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28793] ppid=28784 vsize=10746276 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28793/stat : 28793 (java) S 28784 28787 26463 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 16 0 415317478 11004186624 37434 33554432000 4194304 4196468 140734106050432 139641214692496 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28794] ppid=28784 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28787/task/28794/stat : 28794 (java) S 28784 28787 26463 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 415317480 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640782661616 139641291786882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28795] ppid=28784 vsize=10746276 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28795/stat : 28795 (java) S 28784 28787 26463 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415317480 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640781607904 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28796] ppid=28784 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28796/stat : 28796 (java) S 28784 28787 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415317480 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640780555264 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28797] ppid=28784 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28797/stat : 28797 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317483 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640779503824 139641291794331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28798] ppid=28784 vsize=10746276 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/28787/task/28798/stat : 28798 (java) R 28784 28787 26463 0 -1 1077944384 1985 0 0 0 41 0 0 0 20 0 16 0 415317483 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640778451440 139641291786882 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28799] ppid=28784 vsize=10746276 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/28787/task/28799/stat : 28799 (java) R 28784 28787 26463 0 -1 4202560 1463 0 0 0 35 0 0 0 20 0 16 0 415317483 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640777377424 139641273320379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28800] ppid=28784 vsize=10746276 memory=140526296795232 CPUtime=0.43 cores=1,3,5,7
/proc/28787/task/28800/stat : 28800 (java) R 28784 28787 26463 0 -1 4202560 1881 0 0 0 43 0 0 0 20 0 16 0 415317483 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640776346352 139641291787670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28801] ppid=28784 vsize=10746276 memory=3473577061390483386 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28801/stat : 28801 (java) S 28784 28787 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317483 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640775294048 139641291785941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28802] ppid=28784 vsize=10746276 memory=-2537689246120445521 CPUtime=0 cores=1,3,5,7
/proc/28787/task/28802/stat : 28802 (java) S 28784 28787 26463 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 415317483 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640774240560 139641291786882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
[pid=28787/tid=28805] ppid=28784 vsize=10746276 memory=-4865682228692870029 CPUtime=0.29 cores=1,3,5,7
/proc/28787/task/28805/stat : 28805 (java) R 28784 28787 26463 0 -1 4202560 1675 0 0 0 28 1 0 0 20 0 16 0 415317665 11004186624 37434 33554432000 4194304 4196468 140734106050432 139640757574400 139641275819365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140734106051595 140734106051698 140734106051698 140734106054607 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 149736 KiB
Child status: 0
Real time (s): 2.29747
CPU time (s): 3.74376
CPU user time (s): 3.59988
CPU system time (s): 0.143873
CPU usage (%): 162.951
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 149736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.59988
system time used= 0.143873
maximum resident set size= 154104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2385
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 28787
# total CPU time (s): 3.74376
# total CPU user time (s): 3.59988
# total CPU system time (s): 0.143873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035579 second user time and 0.071115 second system time
The end