2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
2.92/2.04 Instance
2.92/2.04 name=instance-4390762-1568384854, framework=COP, bounds=-infty..+infty
2.92/2.04
2.92/2.04 Loading variables...
2.92/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bfd0bf7
2.92/2.07 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3c555a
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a4a297
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56dec577
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2d07b6
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669f56ad
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f887bdc
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1357b20a
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64174805
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a6b84c
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f41079
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b312b2
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328ac699
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f5d06
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68c574
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4b3dd7
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1846740c
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263b629
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497932e5
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528c22c
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b774905
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9026e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea93a3e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250b7d3e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5923abfc
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b87bf2
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e741bd2
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392b3b5
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64827fe
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256fa55a
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad6ae3f
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648723a4
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17180b73
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fda1907
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3efb3f5d
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1008280b
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6103e5be
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fef896
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fb4fdc
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6f44fa
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b5a170
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f464a8
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d69551
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d80bf
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da6600e
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b68c8b1
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ec9e0
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce38864
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fae90c
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cb482c
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1865f949
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48606782
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b5507c8
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f73541c
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8579cf1
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad9071a
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18bc5373
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efe87f8
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe024d3
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615a5236
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c0d9f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad5b91f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39f86f2c
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@639208fd
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631a07f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@764da75a
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509d851c
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1254303d
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52277518
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938594c
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e73e2
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6760e2
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253355ed
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b0803
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124673ef
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ae981f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530cdc5c
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a9fb5
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e014d7
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da719ae
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d175e3
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fe68e6
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70eafe51
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc41743
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4893a797
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73112e64
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fecfdf5
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195da92e
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d95b12
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8ba58
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c5413b
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ecefc4
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc8f0f
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a388775
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e6a6cb
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d8bc68d
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cbedb8
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51309b3c
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4b5cd4
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebf5684
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bed262b
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a598a04
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f23633c
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1032a603
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4a8bf
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0b9a38
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaf9bd
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3599c2e7
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae549bb
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0d3604
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb7e8bd
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf70406
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4b0790
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff08012
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a67245
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489c83a9
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9a0b6c
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef62492
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9bdac9
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd1cf42
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a31b3
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e65b94
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db81371
3.15/2.11 [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.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85e6f0
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4b8b19
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad8c151
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c65c19
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268d209
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277c2199
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fdc14ee
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@387e9bfc
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fba629a
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dcbb83e
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@229cc92e
3.15/2.12 [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.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26547c9e
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23820084
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce985f
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef8765d
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f01d3a
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c63d31c
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5cb462
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c16d9a
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8b6e4b
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789c366
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c6f9055
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576fa4cd
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f06cb4
3.15/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245ba8e4
3.15/2.13 [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.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15668ec6
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b50236
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5d4f8
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca83473
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e65cef
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db3392
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ad3e4
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f76bf7
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11abdd6a
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cab11b
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@362ebbba
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104ac5ef
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e28835
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ac5cfa
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217f1a65
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79e614f8
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.15/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e9b40
3.15/2.17
3.15/2.17
3.15/2.17 Domains
3.15/2.17 nTypes=1, nValues=198, sizes=[2#99]
3.15/2.17 Variables
3.15/2.17 count=99, degrees=[4#81,18#9,19#9]
3.15/2.17 Objectives
3.15/2.17 way=min, type=SumWeightedLE
3.15/2.17 Constraints
3.15/2.17 count=245, nSpecific=245, arities=[2#162,3#81,9#1,81#1]
3.15/2.17 distribution=[SumWeightedEQ#1,SumWeightedGE#243,SumWeightedLE#1]
3.15/2.17 wck=0.328, cpu=2.128, mem=23M870
3.15/2.17 Solver SolverBacktrack being built...
3.15/2.17
3.46/2.20
3.46/2.20 Solver
3.46/2.20 guaranteedGAC=true
3.46/2.20 wck=0.355, cpu=2.154, mem=34M512
3.46/2.20
3.46/2.20 Preprocessing
3.46/2.20 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.46/2.20 wck=0.003, cpu=2.158, mem=34M512
3.46/2.20
3.46/2.21 num=0, depth=6..12, filters=199, wck=0.014, 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.02, mem=34M512
3.46/2.22 decisions=90, wrong=41, backtracks=36, failedAssignments=21, nogoods=5
3.46/2.22
3.46/2.22 num=2, depth=5..19, filters=1181, wck=0.026, mem=34M512
3.46/2.22 decisions=151, wrong=69, backtracks=65, failedAssignments=33, nogoods=6
3.46/2.22
3.46/2.24 num=3, depth=2..12, filters=1613, wck=0.04, 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.042, mem=34M512
3.46/2.24 decisions=257, wrong=117, backtracks=106, failedAssignments=60, nogoods=14
3.46/2.24
3.46/2.24 num=5, depth=3..12, filters=2563, wck=0.045, mem=34M512
3.46/2.24 decisions=330, wrong=152, backtracks=142, failedAssignments=76, nogoods=16
3.46/2.24
3.46/2.25 num=6, depth=4..10, filters=3179, wck=0.048, 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.051, 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.054, 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.057, 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.06, 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.26 num=11, depth=1..98, filters=6346, ccks=245, wck=0.066, mem=34M512
3.46/2.26 decisions=756, wrong=353, backtracks=323, failedAssignments=183, nogoods=39, foundSolutions=1, bestBound=487
3.46/2.26
3.46/2.27 num=12, depth=0..11, filters=7802, ccks=245, wck=0.071, 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.072, 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.27 o 347
3.46/2.27 num=14, depth=4..98, filters=8421, ccks=490, wck=0.074, mem=34M512
3.46/2.27 decisions=983, wrong=461, backtracks=415, failedAssignments=231, nogoods=48, foundSolutions=2, bestBound=347
3.46/2.27
3.46/2.27
3.46/2.27 New Bounds: 347..346
3.46/2.27 num=15, depth=0..8, filters=8616, ccks=490, wck=0.076, mem=34M512
3.46/2.27 decisions=999, wrong=470, backtracks=425, failedAssignments=235, foundSolutions=2, bestBound=347
3.46/2.27
3.46/2.27 Global
3.46/2.27 filters=8616, ccks=490
3.46/2.27 Stop=FULL_EXPLORATION, wrong=470, bestBound=347, bestBoundWck=0.429, bestBoundCpu=2.227, foundSolutions=2, firstSolCpu=2.215
3.46/2.27 wck=0.432, cpu=2.23, mem=34M512
3.46/2.27
3.46/2.27 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.27 s OPTIMUM FOUND
3.46/2.27
3.46/2.27 d WRONG_DECISIONS 470
3.46/2.27 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 (14938 MiB free)
memory of node 1: 16384 MiB (15637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390762-1568384854/watcher-4390762-1568384854 -o /tmp/evaluation-result-4390762-1568384854/solver-4390762-1568384854 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390762-1568384854.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32685, runsolver pid=32682
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 2.00 1.96 1.88 4/228 32700
/proc/meminfo: memFree=31293796/32770624 swapFree=66981436/67108860
[pid=32685] ppid=32682 vsize=10659884 memory=27496 CPUtime=0.13 cores=1,3,5,7
/proc/32685/stat : 32685 (java) S 32682 32685 30397 0 -1 1077944320 5347 0 0 0 12 1 0 0 20 0 15 0 414748117 10915721216 6874 33554432000 4194304 4196468 140726624281152 140726624263696 139822415159031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
/proc/32685/statm: 2664971 6874 2863 1 0 2627468 0
[pid=32685/tid=32687] ppid=32682 vsize=10659884 memory=-8269626465541196927 CPUtime=0.08 cores=1,3,5,7
/proc/32685/task/32687/stat : 32687 (java) R 32682 32685 30397 0 -1 4202560 3189 0 0 0 8 0 0 0 20 0 15 0 414748118 10915721216 6874 33554432000 4194304 4196468 140726624281152 139822419389328 139822415170966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32688] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32688/stat : 32688 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 6874 33554432000 4194304 4196468 140726624281152 139822341233168 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32689] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32689/stat : 32689 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 6874 33554432000 4194304 4196468 140726624281152 139822340180624 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32690] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32690/stat : 32690 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 6874 33554432000 4194304 4196468 140726624281152 139822339127568 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32691] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32691/stat : 32691 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 6874 33554432000 4194304 4196468 140726624281152 139822338075024 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32692] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32692/stat : 32692 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821906328304 139822415170178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32693] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32693/stat : 32693 (java) S 32682 32685 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821905274528 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32694] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32694/stat : 32694 (java) S 32682 32685 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821904221424 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32695] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32695/stat : 32695 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821903170000 139822415177627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32696] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32696/stat : 32696 (java) R 32682 32685 30397 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821902117400 139822398642356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32697] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32697/stat : 32697 (java) R 32682 32685 30397 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821901064656 139822415169237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32698] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0.02 cores=1,3,5,7
/proc/32685/task/32698/stat : 32698 (java) R 32682 32685 30397 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 414748123 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821900008440 139822393290510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32699] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32699/stat : 32699 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821898959200 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32700] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32700/stat : 32700 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 6874 33554432000 4194304 4196468 140726624281152 139821897907248 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27496 KiB
[startup+0.210461 s]*
/proc/loadavg: 2.00 1.96 1.88 3/228 32700
/proc/meminfo: memFree=31286168/32770624 swapFree=66981436/67108860
[pid=32685] ppid=32682 vsize=10659884 memory=35304 CPUtime=0.33 cores=1,3,5,7
/proc/32685/stat : 32685 (java) S 32682 32685 30397 0 -1 1077944320 6916 0 0 0 31 2 0 0 20 0 15 0 414748117 10915721216 8826 33554432000 4194304 4196468 140726624281152 140726624263696 139822415159031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
/proc/32685/statm: 2664971 8826 2988 1 0 2627468 0
[pid=32685/tid=32687] ppid=32682 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32685/task/32687/stat : 32687 (java) R 32682 32685 30397 0 -1 4202560 3849 0 0 0 19 1 0 0 20 0 15 0 414748118 10915721216 8826 33554432000 4194304 4196468 140726624281152 139822419397184 139822415180957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32688] ppid=32682 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32688/stat : 32688 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 8826 33554432000 4194304 4196468 140726624281152 139822341233168 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32689] ppid=32682 vsize=10659884 memory=288370077209904768 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32689/stat : 32689 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 8826 33554432000 4194304 4196468 140726624281152 139822340180624 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32690] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32690/stat : 32690 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 8826 33554432000 4194304 4196468 140726624281152 139822339127568 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32691] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32691/stat : 32691 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 8826 33554432000 4194304 4196468 140726624281152 139822338075024 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32692] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32692/stat : 32692 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821906328304 139822415170178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32693] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32693/stat : 32693 (java) S 32682 32685 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821905274528 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32694] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32694/stat : 32694 (java) S 32682 32685 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821904221424 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32695] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32695/stat : 32695 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821903170000 139822415177627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32696] ppid=32682 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32685/task/32696/stat : 32696 (java) S 32682 32685 30397 0 -1 1077944384 585 0 0 0 3 0 0 0 20 0 15 0 414748123 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821902117104 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32697] ppid=32682 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32685/task/32697/stat : 32697 (java) S 32682 32685 30397 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 414748123 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821901064560 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32698] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0.05 cores=1,3,5,7
/proc/32685/task/32698/stat : 32698 (java) S 32682 32685 30397 0 -1 1077944384 749 0 0 0 5 0 0 0 20 0 15 0 414748123 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821900011504 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32699] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32699/stat : 32699 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821898959200 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32700] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32700/stat : 32700 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 8826 33554432000 4194304 4196468 140726624281152 139821897907248 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35304 KiB
[startup+0.3101 s]*
/proc/loadavg: 2.00 1.96 1.88 3/228 32700
/proc/meminfo: memFree=31278200/32770624 swapFree=66981436/67108860
[pid=32685] ppid=32682 vsize=10659884 memory=40476 CPUtime=0.46 cores=1,3,5,7
/proc/32685/stat : 32685 (java) S 32682 32685 30397 0 -1 1077944320 9569 0 0 0 43 3 0 0 20 0 15 0 414748117 10915721216 10119 33554432000 4194304 4196468 140726624281152 140726624263696 139822415159031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
/proc/32685/statm: 2664971 10119 3000 1 0 2627468 0
[pid=32685/tid=32687] ppid=32682 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/32685/task/32687/stat : 32687 (java) R 32682 32685 30397 0 -1 4202560 6429 0 0 0 27 3 0 0 20 0 15 0 414748118 10915721216 10119 33554432000 4194304 4196468 140726624281152 139822419379184 139822415180957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32688] ppid=32682 vsize=10659884 memory=4297963160 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32688/stat : 32688 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 10119 33554432000 4194304 4196468 140726624281152 139822341233168 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32689] ppid=32682 vsize=10659884 memory=288370077209904768 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32689/stat : 32689 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 10119 33554432000 4194304 4196468 140726624281152 139822340180624 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32690] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32690/stat : 32690 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 10119 33554432000 4194304 4196468 140726624281152 139822339127568 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32691] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32691/stat : 32691 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10915721216 10119 33554432000 4194304 4196468 140726624281152 139822338075024 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32692] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32692/stat : 32692 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821906328304 139822415170178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32693] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32693/stat : 32693 (java) S 32682 32685 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821905274528 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32694] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32694/stat : 32694 (java) S 32682 32685 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414748120 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821904221424 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32695] ppid=32682 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32695/stat : 32695 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821903170000 139822415177627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32696] ppid=32682 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32685/task/32696/stat : 32696 (java) S 32682 32685 30397 0 -1 1077944384 593 0 0 0 4 0 0 0 20 0 15 0 414748123 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821902117104 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32697] ppid=32682 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/32685/task/32697/stat : 32697 (java) S 32682 32685 30397 0 -1 1077944384 412 0 0 0 4 0 0 0 20 0 15 0 414748123 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821901064560 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32698] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0.08 cores=1,3,5,7
/proc/32685/task/32698/stat : 32698 (java) R 32682 32685 30397 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 15 0 414748123 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821900011504 139822393527675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32699] ppid=32682 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32699/stat : 32699 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821898959200 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32700] ppid=32682 vsize=10659884 memory=139701058193024 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32700/stat : 32700 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748123 10915721216 10119 33554432000 4194304 4196468 140726624281152 139821897907248 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40476 KiB
[startup+0.700766 s]
/proc/loadavg: 2.00 1.96 1.88 4/228 32700
/proc/meminfo: memFree=31269296/32770624 swapFree=66981436/67108860
[pid=32685] ppid=32682 vsize=10661932 memory=64024 CPUtime=1.1 cores=1,3,5,7
/proc/32685/stat : 32685 (java) S 32682 32685 30397 0 -1 1077944320 13124 0 0 0 104 6 0 0 20 0 15 0 414748117 10917818368 16006 33554432000 4194304 4196468 140726624281152 140726624263696 139822415159031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
/proc/32685/statm: 2665483 16006 3061 1 0 2627980 0
[pid=32685/tid=32687] ppid=32682 vsize=10661932 memory=280111995720467 CPUtime=0.68 cores=1,3,5,7
/proc/32685/task/32687/stat : 32687 (java) R 32682 32685 30397 0 -1 4202560 8869 0 0 0 63 5 0 0 20 0 15 0 414748118 10917818368 16006 33554432000 4194304 4196468 140726624281152 139822419391056 139822399239518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32688] ppid=32682 vsize=10661932 memory=3158301 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32688/stat : 32688 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10917818368 16006 33554432000 4194304 4196468 140726624281152 139822341233168 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32689] ppid=32682 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32689/stat : 32689 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748118 10917818368 16006 33554432000 4194304 4196468 140726624281152 139822340180624 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32690] ppid=32682 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32690/stat : 32690 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748118 10917818368 16006 33554432000 4194304 4196468 140726624281152 139822339127568 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32691] ppid=32682 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32691/stat : 32691 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10917818368 16006 33554432000 4194304 4196468 140726624281152 139822338075024 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32692] ppid=32682 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32692/stat : 32692 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748120 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821906328304 139822415170178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32693] ppid=32682 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32693/stat : 32693 (java) S 32682 32685 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748120 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821905274528 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32694] ppid=32682 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32694/stat : 32694 (java) S 32682 32685 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414748120 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821904221424 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32695] ppid=32682 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32695/stat : 32695 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821903170000 139822415177627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32696] ppid=32682 vsize=10661932 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/32685/task/32696/stat : 32696 (java) S 32682 32685 30397 0 -1 1077944384 946 0 0 0 11 0 0 0 20 0 15 0 414748123 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821902117104 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32697] ppid=32682 vsize=10661932 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/32685/task/32697/stat : 32697 (java) R 32682 32685 30397 0 -1 4202560 676 0 0 0 11 0 0 0 20 0 15 0 414748123 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821901064560 139822394852135 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32698] ppid=32682 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/32685/task/32698/stat : 32698 (java) S 32682 32685 30397 0 -1 1077944384 1272 0 0 0 18 0 0 0 20 0 15 0 414748123 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821900011504 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32699] ppid=32682 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32699/stat : 32699 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821898959200 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32700] ppid=32682 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32700/stat : 32700 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748123 10917818368 16006 33554432000 4194304 4196468 140726624281152 139821897907248 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64024 KiB
[startup+1.50079 s]
/proc/loadavg: 2.00 1.96 1.88 3/228 32700
/proc/meminfo: memFree=31253476/32770624 swapFree=66981436/67108860
[pid=32685] ppid=32682 vsize=10663980 memory=76064 CPUtime=2.01 cores=1,3,5,7
/proc/32685/stat : 32685 (java) S 32682 32685 30397 0 -1 1077944320 18817 0 0 0 193 8 0 0 20 0 15 0 414748117 10919915520 19016 33554432000 4194304 4196468 140726624281152 140726624263696 139822415159031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
/proc/32685/statm: 2665995 19016 3093 1 0 2628492 0
[pid=32685/tid=32687] ppid=32682 vsize=10663980 memory=2996107 CPUtime=1.47 cores=1,3,5,7
/proc/32685/task/32687/stat : 32687 (java) R 32682 32685 30397 0 -1 4202560 13153 0 0 0 141 6 0 0 20 0 15 0 414748118 10919915520 19016 33554432000 4194304 4196468 140726624281152 139822419391056 139822399239518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32688] ppid=32682 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32688/stat : 32688 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10919915520 19016 33554432000 4194304 4196468 140726624281152 139822341233168 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32689] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32689/stat : 32689 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748118 10919915520 19016 33554432000 4194304 4196468 140726624281152 139822340180624 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32690] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32690/stat : 32690 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748118 10919915520 19016 33554432000 4194304 4196468 140726624281152 139822339127568 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32691] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32691/stat : 32691 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10919915520 19016 33554432000 4194304 4196468 140726624281152 139822338075024 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32692] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32692/stat : 32692 (java) S 32682 32685 30397 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 414748120 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821906328304 139822415170178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32693] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32693/stat : 32693 (java) S 32682 32685 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748120 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821905274528 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32694] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32694/stat : 32694 (java) S 32682 32685 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414748120 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821904221424 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32695] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32695/stat : 32695 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821903170000 139822415177627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32696] ppid=32682 vsize=10663980 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/32685/task/32696/stat : 32696 (java) S 32682 32685 30397 0 -1 1077944384 1324 0 0 0 14 0 0 0 20 0 15 0 414748123 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821902117104 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32697] ppid=32682 vsize=10663980 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/32685/task/32697/stat : 32697 (java) S 32682 32685 30397 0 -1 1077944384 1583 0 0 0 17 0 0 0 20 0 15 0 414748123 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821901064560 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32698] ppid=32682 vsize=10663980 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/32685/task/32698/stat : 32698 (java) S 32682 32685 30397 0 -1 1077944384 1309 0 0 0 19 0 0 0 20 0 15 0 414748123 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821900011504 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32699] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32699/stat : 32699 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821898959200 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32700] ppid=32682 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32700/stat : 32700 (java) S 32682 32685 30397 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 414748123 10919915520 19016 33554432000 4194304 4196468 140726624281152 139821897907248 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76064 KiB
[startup+2.29297 s]
# the end of solver process 32685 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.59258 s, system=0.143418 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60091 s]
/proc/loadavg: 2.00 1.96 1.88 3/228 32700
/proc/meminfo: memFree=31253476/32770624 swapFree=66981436/67108860
[pid=32685] ppid=32682 vsize=10666028 memory=79232 CPUtime=2.11 cores=1,3,5,7
/proc/32685/stat : 32685 (java) S 32682 32685 30397 0 -1 1077944320 19258 0 0 0 203 8 0 0 20 0 15 0 414748117 10922012672 19808 33554432000 4194304 4196468 140726624281152 140726624263696 139822415159031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
/proc/32685/statm: 2666507 19808 3093 1 0 2629004 0
[pid=32685/tid=32687] ppid=32682 vsize=10666028 memory=-8473367160242330259 CPUtime=1.57 cores=1,3,5,7
/proc/32685/task/32687/stat : 32687 (java) R 32682 32685 30397 0 -1 4202560 13582 0 0 0 151 6 0 0 20 0 15 0 414748118 10922012672 19808 33554432000 4194304 4196468 140726624281152 139822419384912 139822400332848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32688] ppid=32682 vsize=10666028 memory=-8171376296011865461 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32688/stat : 32688 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10922012672 19808 33554432000 4194304 4196468 140726624281152 139822341233168 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32689] ppid=32682 vsize=10666028 memory=-5792065019343307568 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32689/stat : 32689 (java) S 32682 32685 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414748118 10922012672 19808 33554432000 4194304 4196468 140726624281152 139822340180624 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32690] ppid=32682 vsize=10666028 memory=-2537689246120445521 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32690/stat : 32690 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748118 10922012672 19808 33554432000 4194304 4196468 140726624281152 139822339127568 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32691] ppid=32682 vsize=10666028 memory=-7750001083477550754 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32691/stat : 32691 (java) S 32682 32685 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414748118 10922012672 19808 33554432000 4194304 4196468 140726624281152 139822338075024 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32692] ppid=32682 vsize=10666028 memory=4280458430986965150 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32692/stat : 32692 (java) S 32682 32685 30397 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 414748120 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821906328304 139822415170178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32693] ppid=32682 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32693/stat : 32693 (java) S 32682 32685 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414748120 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821905274528 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32694] ppid=32682 vsize=10666028 memory=139701058203089 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32694/stat : 32694 (java) S 32682 32685 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414748120 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821904221424 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32695] ppid=32682 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32695/stat : 32695 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821903170000 139822415177627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32696] ppid=32682 vsize=10666028 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/32685/task/32696/stat : 32696 (java) S 32682 32685 30397 0 -1 1077944384 1333 0 0 0 15 0 0 0 20 0 15 0 414748123 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821902117104 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32697] ppid=32682 vsize=10666028 memory=279401849827336 CPUtime=0.17 cores=1,3,5,7
/proc/32685/task/32697/stat : 32697 (java) S 32682 32685 30397 0 -1 1077944384 1583 0 0 0 17 0 0 0 20 0 15 0 414748123 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821901064560 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32698] ppid=32682 vsize=10666028 memory=279401849960400 CPUtime=0.19 cores=1,3,5,7
/proc/32685/task/32698/stat : 32698 (java) S 32682 32685 30397 0 -1 1077944384 1309 0 0 0 19 0 0 0 20 0 15 0 414748123 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821900011504 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32699] ppid=32682 vsize=10666028 memory=15479062137908 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32699/stat : 32699 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414748123 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821898959200 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32700] ppid=32682 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32700/stat : 32700 (java) S 32682 32685 30397 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 414748123 10922012672 19808 33554432000 4194304 4196468 140726624281152 139821897907248 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 79232 KiB
[startup+2.00068 s]*
/proc/loadavg: 2.00 1.96 1.88 5/229 32701
/proc/meminfo: memFree=31176044/32770624 swapFree=66981436/67108860
[pid=32685] ppid=32682 vsize=10744136 memory=146028 CPUtime=2.92 cores=1,3,5,7
/proc/32685/stat : 32685 (java) S 32682 32685 30397 0 -1 1077944320 23778 0 0 0 281 11 0 0 20 0 16 0 414748117 11001995264 36507 33554432000 4194304 4196468 140726624281152 140726624263696 139822415159031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
/proc/32685/statm: 2686034 36507 3297 1 0 2646705 0
[pid=32685/tid=32687] ppid=32682 vsize=10744136 memory=6791534058613427641 CPUtime=1.84 cores=1,3,5,7
/proc/32685/task/32687/stat : 32687 (java) S 32682 32685 30397 0 -1 1077944384 15381 0 0 0 177 7 0 0 20 0 16 0 414748118 11001995264 36507 33554432000 4194304 4196468 140726624281152 139822419401904 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32688] ppid=32682 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32688/stat : 32688 (java) S 32682 32685 30397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414748118 11001995264 36507 33554432000 4194304 4196468 140726624281152 139822341233168 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32689] ppid=32682 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32685/task/32689/stat : 32689 (java) S 32682 32685 30397 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414748118 11001995264 36507 33554432000 4194304 4196468 140726624281152 139822340180624 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32690] ppid=32682 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32685/task/32690/stat : 32690 (java) S 32682 32685 30397 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 16 0 414748118 11001995264 36507 33554432000 4194304 4196468 140726624281152 139822339127568 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32691] ppid=32682 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32691/stat : 32691 (java) S 32682 32685 30397 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414748118 11001995264 36507 33554432000 4194304 4196468 140726624281152 139822338075024 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32692] ppid=32682 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32685/task/32692/stat : 32692 (java) S 32682 32685 30397 0 -1 1077944384 1119 0 0 0 1 0 0 0 20 0 16 0 414748120 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821906328304 139822415170178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32693] ppid=32682 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32693/stat : 32693 (java) S 32682 32685 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414748120 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821905274592 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32694] ppid=32682 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32694/stat : 32694 (java) S 32682 32685 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414748120 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821904221440 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32695] ppid=32682 vsize=10744136 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32695/stat : 32695 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748123 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821903170000 139822415177627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32696] ppid=32682 vsize=10744136 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/32685/task/32696/stat : 32696 (java) S 32682 32685 30397 0 -1 1077944384 1572 0 0 0 30 0 0 0 20 0 16 0 414748123 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821902117104 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32697] ppid=32682 vsize=10744136 memory=3472323898181169199 CPUtime=0.27 cores=1,3,5,7
/proc/32685/task/32697/stat : 32697 (java) R 32682 32685 30397 0 -1 1077944384 1643 0 0 0 27 0 0 0 20 0 16 0 414748123 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821901064560 139822415170178 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32698] ppid=32682 vsize=10744136 memory=3472467980106004144 CPUtime=0.29 cores=1,3,5,7
/proc/32685/task/32698/stat : 32698 (java) S 32682 32685 30397 0 -1 1077944384 1647 0 0 0 29 0 0 0 20 0 16 0 414748123 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821900011504 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32699] ppid=32682 vsize=10744136 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32699/stat : 32699 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748123 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821898959200 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32700] ppid=32682 vsize=10744136 memory=3472463599239362224 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32700/stat : 32700 (java) S 32682 32685 30397 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414748123 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821897907248 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32701] ppid=32682 vsize=10744136 memory=3472328279047811119 CPUtime=0.1 cores=1,3,5,7
/proc/32685/task/32701/stat : 32701 (java) S 32682 32685 30397 0 -1 1077944384 774 0 0 0 10 0 0 0 20 0 16 0 414748305 11001995264 36507 33554432000 4194304 4196468 140726624281152 139821881238352 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 146028 KiB
[startup+2.20063 s]
/proc/loadavg: 2.00 1.96 1.88 5/229 32701
/proc/meminfo: memFree=31176044/32770624 swapFree=66981436/67108860
[pid=32685] ppid=32682 vsize=10746276 memory=149664 CPUtime=3.46 cores=1,3,5,7
/proc/32685/stat : 32685 (java) S 32682 32685 30397 0 -1 1077944320 25115 0 0 0 334 12 0 0 20 0 16 0 414748117 11004186624 37416 33554432000 4194304 4196468 140726624281152 140726624263696 139822415159031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
/proc/32685/statm: 2686569 37416 3339 1 0 2646705 0
[pid=32685/tid=32687] ppid=32682 vsize=10746276 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/32685/task/32687/stat : 32687 (java) S 32682 32685 30397 0 -1 1077944384 15381 0 0 0 177 7 0 0 20 0 16 0 414748118 11004186624 37416 33554432000 4194304 4196468 140726624281152 139822419401904 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32688] ppid=32682 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32688/stat : 32688 (java) S 32682 32685 30397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414748118 11004186624 37416 33554432000 4194304 4196468 140726624281152 139822341233168 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32689] ppid=32682 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32685/task/32689/stat : 32689 (java) S 32682 32685 30397 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414748118 11004186624 37416 33554432000 4194304 4196468 140726624281152 139822340180624 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32690] ppid=32682 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32685/task/32690/stat : 32690 (java) S 32682 32685 30397 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 16 0 414748118 11004186624 37416 33554432000 4194304 4196468 140726624281152 139822339127568 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32691] ppid=32682 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32691/stat : 32691 (java) S 32682 32685 30397 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414748118 11004186624 37416 33554432000 4194304 4196468 140726624281152 139822338075024 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32692] ppid=32682 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32685/task/32692/stat : 32692 (java) S 32682 32685 30397 0 -1 1077944384 1119 0 0 0 1 0 0 0 20 0 16 0 414748120 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821906328304 139822415170178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32693] ppid=32682 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32693/stat : 32693 (java) S 32682 32685 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414748120 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821905274592 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32694] ppid=32682 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32694/stat : 32694 (java) S 32682 32685 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414748120 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821904221440 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32695] ppid=32682 vsize=10746276 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32695/stat : 32695 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748123 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821903170000 139822415177627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32696] ppid=32682 vsize=10746276 memory=15252640887999028 CPUtime=0.41 cores=1,3,5,7
/proc/32685/task/32696/stat : 32696 (java) S 32682 32685 30397 0 -1 1077944384 1622 0 0 0 41 0 0 0 20 0 16 0 414748123 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821902117104 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32697] ppid=32682 vsize=10746276 memory=984 CPUtime=0.36 cores=1,3,5,7
/proc/32685/task/32697/stat : 32697 (java) R 32682 32685 30397 0 -1 4202560 1699 0 0 0 36 0 0 0 20 0 16 0 414748123 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821901043088 139822396703258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32698] ppid=32682 vsize=10746276 memory=1328 CPUtime=0.43 cores=1,3,5,7
/proc/32685/task/32698/stat : 32698 (java) R 32682 32685 30397 0 -1 4202560 1991 0 0 0 43 0 0 0 20 0 16 0 414748123 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821900011504 139822393651000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32699] ppid=32682 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32699/stat : 32699 (java) S 32682 32685 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414748123 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821898959200 139822415169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32700] ppid=32682 vsize=10746276 memory=279401849789568 CPUtime=0 cores=1,3,5,7
/proc/32685/task/32700/stat : 32700 (java) S 32682 32685 30397 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414748123 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821897907248 139822415170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
[pid=32685/tid=32701] ppid=32682 vsize=10746276 memory=279401849794000 CPUtime=0.28 cores=1,3,5,7
/proc/32685/task/32701/stat : 32701 (java) R 32682 32685 30397 0 -1 4202560 1662 0 0 0 28 0 0 0 20 0 16 0 414748305 11004186624 37416 33554432000 4194304 4196468 140726624281152 139821881241088 139822399319265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140726624285707 140726624285810 140726624285810 140726624288719 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 149664 KiB
Child status: 0
Real time (s): 2.29301
CPU time (s): 3.73599
CPU user time (s): 3.59258
CPU system time (s): 0.143418
CPU usage (%): 162.93
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 149664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.59258
system time used= 0.143418
maximum resident set size= 153648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27083
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= 2280
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 32685
# total CPU time (s): 3.73599
# total CPU user time (s): 3.59258
# total CPU system time (s): 0.143418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029265 second user time and 0.080924 second system time
The end