2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.88
2.95/2.03 Instance
2.95/2.03 name=instance-4390772-1568384851, framework=COP, bounds=-infty..+infty
2.95/2.03
2.95/2.03 Loading variables...
2.95/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bfd0bf7
2.95/2.06 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3c555a
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a4a297
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56dec577
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2d07b6
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669f56ad
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f887bdc
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1357b20a
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64174805
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a6b84c
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f41079
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b312b2
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328ac699
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f5d06
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68c574
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4b3dd7
2.95/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1846740c
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263b629
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497932e5
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528c22c
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b774905
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9026e
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea93a3e
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250b7d3e
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5923abfc
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b87bf2
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e741bd2
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392b3b5
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64827fe
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256fa55a
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad6ae3f
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648723a4
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17180b73
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fda1907
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3efb3f5d
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1008280b
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6103e5be
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fef896
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fb4fdc
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6f44fa
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b5a170
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f464a8
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d69551
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d80bf
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da6600e
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b68c8b1
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
2.95/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ec9e0
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce38864
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fae90c
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cb482c
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1865f949
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48606782
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b5507c8
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f73541c
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8579cf1
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad9071a
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18bc5373
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efe87f8
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe024d3
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615a5236
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c0d9f
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad5b91f
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39f86f2c
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@639208fd
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631a07f
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@764da75a
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509d851c
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1254303d
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52277518
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938594c
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e73e2
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6760e2
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253355ed
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b0803
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124673ef
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ae981f
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530cdc5c
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a9fb5
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e014d7
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da719ae
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d175e3
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fe68e6
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70eafe51
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc41743
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4893a797
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73112e64
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fecfdf5
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195da92e
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d95b12
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8ba58
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c5413b
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ecefc4
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc8f0f
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a388775
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e6a6cb
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d8bc68d
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cbedb8
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51309b3c
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4b5cd4
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebf5684
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bed262b
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a598a04
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f23633c
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1032a603
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4a8bf
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0b9a38
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaf9bd
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3599c2e7
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae549bb
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0d3604
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb7e8bd
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf70406
2.95/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4b0790
2.95/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff08012
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a67245
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489c83a9
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9a0b6c
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef62492
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9bdac9
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd1cf42
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a31b3
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e65b94
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db81371
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b49d8be
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301359ab
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ea33cd
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46995d15
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7453cf93
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ba405c
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85e6f0
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4b8b19
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad8c151
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c65c19
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268d209
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277c2199
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fdc14ee
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@387e9bfc
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fba629a
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dcbb83e
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@229cc92e
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c974241
3.16/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eecad00
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ce9268
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332609f0
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b52b786
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a0dbf0
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7790d1
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21247f0d
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523f5710
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7563b5e8
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a417f3a
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec4b07e
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cad051a
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55aefe3b
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccf7d22
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ef2397
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@593e0270
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1047a124
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3f7047
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743aba4c
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c25420
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4a9954
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de4a7f2
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dd8db8
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26547c9e
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23820084
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce985f
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef8765d
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f01d3a
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c63d31c
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5cb462
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c16d9a
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8b6e4b
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789c366
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c6f9055
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576fa4cd
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46f06cb4
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245ba8e4
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac570ee
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb6986e
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15602c
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef3e4f5
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15668ec6
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b50236
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5d4f8
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca83473
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e65cef
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db3392
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ad3e4
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f76bf7
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11abdd6a
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cab11b
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@362ebbba
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104ac5ef
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e28835
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ac5cfa
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217f1a65
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79e614f8
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e9b40
3.16/2.17
3.16/2.17
3.16/2.17 Domains
3.16/2.17 nTypes=1, nValues=198, sizes=[2#99]
3.16/2.17 Variables
3.16/2.17 count=99, degrees=[4#81,18#9,19#9]
3.16/2.17 Objectives
3.16/2.17 way=min, type=SumWeightedLE
3.16/2.17 Constraints
3.16/2.17 count=245, nSpecific=245, arities=[2#162,3#81,9#1,81#1]
3.16/2.17 distribution=[SumWeightedEQ#1,SumWeightedGE#243,SumWeightedLE#1]
3.16/2.17 wck=0.325, cpu=2.133, mem=23M870
3.16/2.17 Solver SolverBacktrack being built...
3.16/2.17
3.16/2.19
3.16/2.19 Solver
3.16/2.19 guaranteedGAC=true
3.16/2.19 wck=0.352, cpu=2.159, mem=34M512
3.16/2.19
3.16/2.19 Preprocessing
3.16/2.19 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.16/2.19 wck=0.003, cpu=2.163, mem=34M512
3.16/2.19
3.46/2.21 num=0, depth=7..16, filters=192, wck=0.014, mem=34M512
3.46/2.21 decisions=47, wrong=19, backtracks=16, failedAssignments=10, nogoods=3
3.46/2.21
3.46/2.22 num=1, depth=53..61, filters=472, wck=0.022, mem=34M512
3.46/2.22 decisions=143, wrong=40, backtracks=32, failedAssignments=21, nogoods=5
3.46/2.22
3.46/2.22 num=2, depth=2..10, filters=878, wck=0.026, mem=34M512
3.46/2.22 decisions=192, wrong=61, backtracks=47, failedAssignments=33, nogoods=9
3.46/2.22
3.46/2.22 num=3, depth=3..13, filters=1328, wck=0.029, mem=34M512
3.46/2.22 decisions=249, wrong=85, backtracks=64, failedAssignments=46, nogoods=14
3.46/2.22
3.46/2.23 num=4, depth=5..14, filters=1714, wck=0.032, mem=34M512
3.46/2.23 decisions=313, wrong=114, backtracks=86, failedAssignments=60, nogoods=16
3.46/2.23
3.46/2.23 num=5, depth=8..14, filters=2098, wck=0.034, mem=34M512
3.46/2.23 decisions=370, wrong=138, backtracks=105, failedAssignments=76, nogoods=20
3.46/2.23
3.46/2.23 num=6, depth=4..13, filters=2587, wck=0.037, mem=34M512
3.46/2.23 decisions=439, wrong=169, backtracks=127, failedAssignments=93, nogoods=24
3.46/2.23
3.46/2.23 num=7, depth=4..14, filters=3381, wck=0.041, mem=34M512
3.46/2.23 decisions=525, wrong=210, backtracks=168, failedAssignments=112, nogoods=27
3.46/2.23
3.46/2.24 num=8, depth=5..14, filters=4044, wck=0.044, mem=34M512
3.46/2.24 decisions=610, wrong=249, backtracks=201, failedAssignments=133, nogoods=32
3.46/2.24
3.46/2.24 num=9, depth=2..14, filters=4713, wck=0.047, mem=34M512
3.46/2.24 decisions=704, wrong=293, backtracks=240, failedAssignments=156, nogoods=35
3.46/2.24
3.46/2.24 num=10, depth=3..10, filters=5658, wck=0.051, mem=34M512
3.46/2.24 decisions=810, wrong=344, backtracks=285, failedAssignments=181, nogoods=37
3.46/2.24
3.46/2.25 num=11, depth=2..12, filters=6369, wck=0.054, mem=34M512
3.46/2.25 decisions=904, wrong=389, backtracks=324, failedAssignments=209, nogoods=41
3.46/2.25
3.46/2.25 num=12, depth=3..13, filters=7344, wck=0.057, mem=34M512
3.46/2.25 decisions=1031, wrong=450, backtracks=375, failedAssignments=240, nogoods=46
3.46/2.25
3.46/2.26 num=13, depth=1..9, filters=8505, wck=0.06, mem=34M512
3.46/2.26 decisions=1165, wrong=516, backtracks=434, failedAssignments=274, nogoods=54
3.46/2.26
3.46/2.26 num=14, depth=3..13, filters=9800, wck=0.064, mem=34M512
3.46/2.26 decisions=1313, wrong=588, backtracks=500, failedAssignments=311, nogoods=57
3.46/2.26
3.46/2.26 num=15, depth=3..12, filters=11451, wck=0.068, mem=34M512
3.46/2.26 decisions=1472, wrong=666, backtracks=573, failedAssignments=352, nogoods=61
3.46/2.26
3.46/2.26 o 211
3.46/2.27 num=16, depth=3..98, filters=12343, ccks=245, wck=0.076, mem=34M512
3.46/2.27 decisions=1571, wrong=713, backtracks=615, failedAssignments=379, nogoods=65, foundSolutions=1, bestBound=211
3.46/2.27
3.46/2.27
3.46/2.27 New Bounds: 211..210
3.46/2.27 num=17, depth=0..9, filters=13389, ccks=245, wck=0.079, mem=34M512
3.46/2.27 decisions=1673, wrong=765, backtracks=663, failedAssignments=402, foundSolutions=1, bestBound=211
3.46/2.27
3.46/2.27 Global
3.46/2.27 filters=13389, ccks=245
3.46/2.27 Stop=FULL_EXPLORATION, wrong=765, bestBound=211, bestBoundWck=0.424, bestBoundCpu=2.23, foundSolutions=1, firstSolCpu=2.23
3.46/2.27 wck=0.432, cpu=2.238, mem=34M512
3.46/2.27
3.46/2.27 v <instantiation id='sol1' type='solution' cost='211'> <list> x[] </list> <values> 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 </values> </instantiation>
3.46/2.27 s OPTIMUM FOUND
3.46/2.27
3.46/2.27 d WRONG_DECISIONS 765
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-4390772-1568384851/watcher-4390772-1568384851 -o /tmp/evaluation-result-4390772-1568384851/solver-4390772-1568384851 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390772-1568384851.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=32607, runsolver pid=32604
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.00 1.96 1.88 4/228 32622
/proc/meminfo: memFree=31294264/32770624 swapFree=66981436/67108860
[pid=32607] ppid=32604 vsize=10659884 memory=28252 CPUtime=0.14 cores=1,3,5,7
/proc/32607/stat : 32607 (java) S 32604 32607 30397 0 -1 1077944320 5593 0 0 0 13 1 0 0 20 0 15 0 414747820 10915721216 7063 33554432000 4194304 4196468 140736263199776 140736263182320 140286064213751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
/proc/32607/statm: 2664971 7063 2861 1 0 2627468 0
[pid=32607/tid=32609] ppid=32604 vsize=10659884 memory=-8197568871503532161 CPUtime=0.09 cores=1,3,5,7
/proc/32607/task/32609/stat : 32609 (java) R 32604 32607 30397 0 -1 4202560 3206 0 0 0 9 0 0 0 20 0 15 0 414747821 10915721216 7063 33554432000 4194304 4196468 140736263199776 140286068444192 140285661283808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32610] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32610/stat : 32610 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 7063 33554432000 4194304 4196468 140736263199776 140285990287632 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32611] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32611/stat : 32611 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 7063 33554432000 4194304 4196468 140736263199776 140285989235088 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32612] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32612/stat : 32612 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 7063 33554432000 4194304 4196468 140736263199776 140285988182544 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32613] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32613/stat : 32613 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 7063 33554432000 4194304 4196468 140736263199776 140285987130000 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32614] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32614/stat : 32614 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285647460848 140286064224898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32615] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32615/stat : 32615 (java) S 32604 32607 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285646407072 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32616] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32616/stat : 32616 (java) S 32604 32607 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285577258480 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32617] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32617/stat : 32617 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285576207056 140286064232347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32618] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32618/stat : 32618 (java) S 32604 32607 30397 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285575153648 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32619] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32619/stat : 32619 (java) S 32604 32607 30397 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285574101104 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32620] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0.02 cores=1,3,5,7
/proc/32607/task/32620/stat : 32620 (java) R 32604 32607 30397 0 -1 4202560 559 0 0 0 2 0 0 0 20 0 15 0 414747826 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285573045256 140286042582390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32621] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32621/stat : 32621 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285571996256 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32622] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32622/stat : 32622 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 7129 33554432000 4194304 4196468 140736263199776 140285570943792 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28252 KiB
[startup+0.210708 s]*
/proc/loadavg: 2.00 1.96 1.88 3/228 32622
/proc/meminfo: memFree=31287000/32770624 swapFree=66981436/67108860
[pid=32607] ppid=32604 vsize=10659884 memory=35160 CPUtime=0.33 cores=1,3,5,7
/proc/32607/stat : 32607 (java) S 32604 32607 30397 0 -1 1077944320 6905 0 0 0 32 1 0 0 20 0 15 0 414747820 10915721216 8790 33554432000 4194304 4196468 140736263199776 140736263182320 140286064213751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
/proc/32607/statm: 2664971 8790 2991 1 0 2627468 0
[pid=32607/tid=32609] ppid=32604 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32607/task/32609/stat : 32609 (java) R 32604 32607 30397 0 -1 4202560 3857 0 0 0 20 0 0 0 20 0 15 0 414747821 10915721216 8790 33554432000 4194304 4196468 140736263199776 140286068440112 140286064235677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32610] ppid=32604 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32610/stat : 32610 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285990287632 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32611] ppid=32604 vsize=10659884 memory=288370240382154368 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32611/stat : 32611 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285989235088 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32612] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32612/stat : 32612 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285988182544 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32613] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32613/stat : 32613 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285987130000 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32614] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32614/stat : 32614 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285647460848 140286064224898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32615] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32615/stat : 32615 (java) S 32604 32607 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285646407072 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32616] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32616/stat : 32616 (java) S 32604 32607 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285577258480 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32617] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32617/stat : 32617 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285576207056 140286064232347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32618] ppid=32604 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32607/task/32618/stat : 32618 (java) S 32604 32607 30397 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 15 0 414747826 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285575153648 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32619] ppid=32604 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32607/task/32619/stat : 32619 (java) S 32604 32607 30397 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 15 0 414747826 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285574101104 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32620] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0.05 cores=1,3,5,7
/proc/32607/task/32620/stat : 32620 (java) S 32604 32607 30397 0 -1 1077944384 727 0 0 0 5 0 0 0 20 0 15 0 414747826 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285573048560 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32621] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32621/stat : 32621 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285571996256 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32622] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32622/stat : 32622 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 8790 33554432000 4194304 4196468 140736263199776 140285570943792 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35160 KiB
[startup+0.310043 s]*
/proc/loadavg: 2.00 1.96 1.88 3/228 32622
/proc/meminfo: memFree=31278784/32770624 swapFree=66981436/67108860
[pid=32607] ppid=32604 vsize=10659884 memory=40284 CPUtime=0.48 cores=1,3,5,7
/proc/32607/stat : 32607 (java) S 32604 32607 30397 0 -1 1077944320 9454 0 0 0 45 3 0 0 20 0 15 0 414747820 10915721216 10071 33554432000 4194304 4196468 140736263199776 140736263182320 140286064213751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
/proc/32607/statm: 2664971 10071 3003 1 0 2627468 0
[pid=32607/tid=32609] ppid=32604 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/32607/task/32609/stat : 32609 (java) R 32604 32607 30397 0 -1 4202560 6325 0 0 0 28 2 0 0 20 0 15 0 414747821 10915721216 10071 33554432000 4194304 4196468 140736263199776 140286068445552 140286064235677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32610] ppid=32604 vsize=10659884 memory=4297963160 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32610/stat : 32610 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285990287632 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32611] ppid=32604 vsize=10659884 memory=288370240382154368 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32611/stat : 32611 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285989235088 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32612] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32612/stat : 32612 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285988182544 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32613] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32613/stat : 32613 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747821 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285987130000 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32614] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32614/stat : 32614 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285647460848 140286064224898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32615] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32615/stat : 32615 (java) S 32604 32607 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285646407072 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32616] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32616/stat : 32616 (java) S 32604 32607 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747823 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285577258480 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32617] ppid=32604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32617/stat : 32617 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285576207056 140286064232347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32618] ppid=32604 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32607/task/32618/stat : 32618 (java) S 32604 32607 30397 0 -1 1077944384 398 0 0 0 4 0 0 0 20 0 15 0 414747826 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285575153648 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32619] ppid=32604 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/32607/task/32619/stat : 32619 (java) S 32604 32607 30397 0 -1 1077944384 610 0 0 0 4 0 0 0 20 0 15 0 414747826 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285574101104 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32620] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0.08 cores=1,3,5,7
/proc/32607/task/32620/stat : 32620 (java) S 32604 32607 30397 0 -1 1077944384 761 0 0 0 8 0 0 0 20 0 15 0 414747826 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285573048560 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32621] ppid=32604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32621/stat : 32621 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285571996256 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32622] ppid=32604 vsize=10659884 memory=139864230442624 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32622/stat : 32622 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747826 10915721216 10071 33554432000 4194304 4196468 140736263199776 140285570943792 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40284 KiB
[startup+0.701011 s]
/proc/loadavg: 2.00 1.96 1.88 3/228 32622
/proc/meminfo: memFree=31270880/32770624 swapFree=66981436/67108860
[pid=32607] ppid=32604 vsize=10661932 memory=62852 CPUtime=1.1 cores=1,3,5,7
/proc/32607/stat : 32607 (java) S 32604 32607 30397 0 -1 1077944320 12831 0 0 0 105 5 0 0 20 0 15 0 414747820 10917818368 15713 33554432000 4194304 4196468 140736263199776 140736263182320 140286064213751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
/proc/32607/statm: 2665483 15713 3073 1 0 2627980 0
[pid=32607/tid=32609] ppid=32604 vsize=10661932 memory=279940197028549 CPUtime=0.68 cores=1,3,5,7
/proc/32607/task/32609/stat : 32609 (java) R 32604 32607 30397 0 -1 4202560 8870 0 0 0 64 4 0 0 20 0 15 0 414747821 10917818368 15713 33554432000 4194304 4196468 140736263199776 140286068439632 140286045767056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32610] ppid=32604 vsize=10661932 memory=3158301 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32610/stat : 32610 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285990287632 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32611] ppid=32604 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32611/stat : 32611 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285989235088 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32612] ppid=32604 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32612/stat : 32612 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285988182544 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32613] ppid=32604 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32613/stat : 32613 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747821 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285987130000 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32614] ppid=32604 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32614/stat : 32614 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747823 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285647460848 140286064224898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32615] ppid=32604 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32615/stat : 32615 (java) S 32604 32607 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747823 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285646407072 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32616] ppid=32604 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32616/stat : 32616 (java) S 32604 32607 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747823 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285577258480 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32617] ppid=32604 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32617/stat : 32617 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285576207056 140286064232347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32618] ppid=32604 vsize=10661932 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/32607/task/32618/stat : 32618 (java) S 32604 32607 30397 0 -1 1077944384 606 0 0 0 9 0 0 0 20 0 15 0 414747826 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285575153648 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32619] ppid=32604 vsize=10661932 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/32607/task/32619/stat : 32619 (java) R 32604 32607 30397 0 -1 4202560 848 0 0 0 11 0 0 0 20 0 15 0 414747826 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285574101104 140286045758375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32620] ppid=32604 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/32607/task/32620/stat : 32620 (java) S 32604 32607 30397 0 -1 1077944384 1146 0 0 0 19 0 0 0 20 0 15 0 414747826 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285573048560 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32621] ppid=32604 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32621/stat : 32621 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285571996256 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32622] ppid=32604 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32622/stat : 32622 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747826 10917818368 15713 33554432000 4194304 4196468 140736263199776 140285570943792 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62852 KiB
[startup+1.50079 s]
/proc/loadavg: 2.00 1.96 1.88 3/228 32622
/proc/meminfo: memFree=31254688/32770624 swapFree=66981436/67108860
[pid=32607] ppid=32604 vsize=10663980 memory=75012 CPUtime=1.99 cores=1,3,5,7
/proc/32607/stat : 32607 (java) S 32604 32607 30397 0 -1 1077944320 16542 0 0 0 193 6 0 0 20 0 15 0 414747820 10919915520 18753 33554432000 4194304 4196468 140736263199776 140736263182320 140286064213751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
/proc/32607/statm: 2665995 18753 3094 1 0 2628492 0
[pid=32607/tid=32609] ppid=32604 vsize=10663980 memory=2996107 CPUtime=1.48 cores=1,3,5,7
/proc/32607/task/32609/stat : 32609 (java) R 32604 32607 30397 0 -1 4202560 11782 0 0 0 144 4 0 0 20 0 15 0 414747821 10919915520 18753 33554432000 4194304 4196468 140736263199776 140286068439632 140286047400581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32610] ppid=32604 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32610/stat : 32610 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285990287632 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32611] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32611/stat : 32611 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285989235088 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32612] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32612/stat : 32612 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285988182544 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32613] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32613/stat : 32613 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747821 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285987130000 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32614] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32614/stat : 32614 (java) S 32604 32607 30397 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 414747823 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285647460848 140286064224898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32615] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32615/stat : 32615 (java) S 32604 32607 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747823 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285646407072 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32616] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32616/stat : 32616 (java) S 32604 32607 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747823 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285577258480 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32617] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32617/stat : 32617 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285576207056 140286064232347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32618] ppid=32604 vsize=10663980 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32607/task/32618/stat : 32618 (java) S 32604 32607 30397 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 414747826 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285575153648 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32619] ppid=32604 vsize=10663980 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/32607/task/32619/stat : 32619 (java) S 32604 32607 30397 0 -1 1077944384 1376 0 0 0 17 0 0 0 20 0 15 0 414747826 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285574101104 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32620] ppid=32604 vsize=10663980 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/32607/task/32620/stat : 32620 (java) S 32604 32607 30397 0 -1 1077944384 1146 0 0 0 19 0 0 0 20 0 15 0 414747826 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285573048560 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32621] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32621/stat : 32621 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285571996256 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32622] ppid=32604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32622/stat : 32622 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747826 10919915520 18753 33554432000 4194304 4196468 140736263199776 140285570943792 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75012 KiB
[startup+2.31099 s]
# the end of solver process 32607 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.64316 s, system=0.109997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60089 s]
/proc/loadavg: 2.00 1.96 1.88 3/228 32622
/proc/meminfo: memFree=31254688/32770624 swapFree=66981436/67108860
[pid=32607] ppid=32604 vsize=10666028 memory=78464 CPUtime=2.1 cores=1,3,5,7
/proc/32607/stat : 32607 (java) S 32604 32607 30397 0 -1 1077944320 16906 0 0 0 204 6 0 0 20 0 15 0 414747820 10922012672 19616 33554432000 4194304 4196468 140736263199776 140736263182320 140286064213751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
/proc/32607/statm: 2666507 19616 3094 1 0 2629004 0
[pid=32607/tid=32609] ppid=32604 vsize=10666028 memory=-8473367160242330259 CPUtime=1.58 cores=1,3,5,7
/proc/32607/task/32609/stat : 32609 (java) R 32604 32607 30397 0 -1 4202560 12142 0 0 0 154 4 0 0 20 0 15 0 414747821 10922012672 19616 33554432000 4194304 4196468 140736263199776 140286068439632 140286048257381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32610] ppid=32604 vsize=10666028 memory=-8171376296011865461 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32610/stat : 32610 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285990287632 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32611] ppid=32604 vsize=10666028 memory=-5792065019343307568 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32611/stat : 32611 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285989235088 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32612] ppid=32604 vsize=10666028 memory=-2537689246120445521 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32612/stat : 32612 (java) S 32604 32607 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747821 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285988182544 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32613] ppid=32604 vsize=10666028 memory=-7750001083477550754 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32613/stat : 32613 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747821 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285987130000 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32614] ppid=32604 vsize=10666028 memory=4280458430986965150 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32614/stat : 32614 (java) S 32604 32607 30397 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 414747823 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285647460848 140286064224898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32615] ppid=32604 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32615/stat : 32615 (java) S 32604 32607 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747823 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285646407072 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32616] ppid=32604 vsize=10666028 memory=139864230452689 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32616/stat : 32616 (java) S 32604 32607 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747823 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285577258480 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32617] ppid=32604 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32617/stat : 32617 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285576207056 140286064232347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32618] ppid=32604 vsize=10666028 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32607/task/32618/stat : 32618 (java) S 32604 32607 30397 0 -1 1077944384 873 0 0 0 13 0 0 0 20 0 15 0 414747826 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285575153648 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32619] ppid=32604 vsize=10666028 memory=279728267341832 CPUtime=0.17 cores=1,3,5,7
/proc/32607/task/32619/stat : 32619 (java) S 32604 32607 30397 0 -1 1077944384 1376 0 0 0 17 0 0 0 20 0 15 0 414747826 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285574101104 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32620] ppid=32604 vsize=10666028 memory=279728267474896 CPUtime=0.19 cores=1,3,5,7
/proc/32607/task/32620/stat : 32620 (java) S 32604 32607 30397 0 -1 1077944384 1146 0 0 0 19 0 0 0 20 0 15 0 414747826 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285573048560 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32621] ppid=32604 vsize=10666028 memory=15479062137908 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32621/stat : 32621 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747826 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285571996256 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32622] ppid=32604 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32622/stat : 32622 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747826 10922012672 19616 33554432000 4194304 4196468 140736263199776 140285570943792 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 78464 KiB
[startup+2.0106 s]*
/proc/loadavg: 2.00 1.96 1.88 3/229 32623
/proc/meminfo: memFree=31174440/32770624 swapFree=66981436/67108860
[pid=32607] ppid=32604 vsize=10744136 memory=148024 CPUtime=2.95 cores=1,3,5,7
/proc/32607/stat : 32607 (java) S 32604 32607 30397 0 -1 1077944320 20710 0 0 0 286 9 0 0 20 0 16 0 414747820 11001995264 37006 33554432000 4194304 4196468 140736263199776 140736263182320 140286064213751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
/proc/32607/statm: 2686034 37006 3299 1 0 2646705 0
[pid=32607/tid=32609] ppid=32604 vsize=10744136 memory=6791534058613427641 CPUtime=1.84 cores=1,3,5,7
/proc/32607/task/32609/stat : 32609 (java) S 32604 32607 30397 0 -1 1077944384 13714 0 0 0 179 5 0 0 20 0 16 0 414747821 11001995264 37006 33554432000 4194304 4196468 140736263199776 140286068456624 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32610] ppid=32604 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32607/task/32610/stat : 32610 (java) S 32604 32607 30397 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 16 0 414747821 11001995264 37006 33554432000 4194304 4196468 140736263199776 140285990287632 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32611] ppid=32604 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32611/stat : 32611 (java) S 32604 32607 30397 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414747821 11001995264 37006 33554432000 4194304 4196468 140736263199776 140285989235088 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32612] ppid=32604 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32612/stat : 32612 (java) S 32604 32607 30397 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 414747821 11001995264 37006 33554432000 4194304 4196468 140736263199776 140285988182544 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32613] ppid=32604 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32613/stat : 32613 (java) S 32604 32607 30397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414747821 11001995264 37006 33554432000 4194304 4196468 140736263199776 140285987130000 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32614] ppid=32604 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32607/task/32614/stat : 32614 (java) S 32604 32607 30397 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 16 0 414747823 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285647460848 140286064224898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32615] ppid=32604 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32615/stat : 32615 (java) S 32604 32607 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414747823 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285646407136 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32616] ppid=32604 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32616/stat : 32616 (java) S 32604 32607 30397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414747823 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285577258496 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32617] ppid=32604 vsize=10744136 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32617/stat : 32617 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747826 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285576207056 140286064232347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32618] ppid=32604 vsize=10744136 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/32607/task/32618/stat : 32618 (java) S 32604 32607 30397 0 -1 1077944384 1126 0 0 0 26 0 0 0 20 0 16 0 414747826 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285575153648 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32619] ppid=32604 vsize=10744136 memory=3472323898181169199 CPUtime=0.31 cores=1,3,5,7
/proc/32607/task/32619/stat : 32619 (java) S 32604 32607 30397 0 -1 1077944384 1437 0 0 0 31 0 0 0 20 0 16 0 414747826 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285574101104 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32620] ppid=32604 vsize=10744136 memory=3472468143278253744 CPUtime=0.3 cores=1,3,5,7
/proc/32607/task/32620/stat : 32620 (java) S 32604 32607 30397 0 -1 1077944384 1518 0 0 0 30 0 0 0 20 0 16 0 414747826 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285573048560 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32621] ppid=32604 vsize=10744136 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32621/stat : 32621 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747826 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285571996256 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32622] ppid=32604 vsize=10744136 memory=3472463762411611824 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32622/stat : 32622 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 414747826 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285570943792 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32623] ppid=32604 vsize=10744136 memory=3472328279047811119 CPUtime=0.11 cores=1,3,5,7
/proc/32607/task/32623/stat : 32623 (java) R 32604 32607 30397 0 -1 4202560 747 0 0 0 11 0 0 0 20 0 16 0 414748007 11001995264 37029 33554432000 4194304 4196468 140736263199776 140285554275936 140286064225686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 148024 KiB
[startup+2.20162 s]
/proc/loadavg: 2.00 1.96 1.88 3/229 32623
/proc/meminfo: memFree=31174440/32770624 swapFree=66981436/67108860
[pid=32607] ppid=32604 vsize=10746276 memory=151588 CPUtime=3.46 cores=1,3,5,7
/proc/32607/stat : 32607 (java) S 32604 32607 30397 0 -1 1077944320 21994 0 0 0 336 10 0 0 20 0 16 0 414747820 11004186624 37897 33554432000 4194304 4196468 140736263199776 140736263182320 140286064213751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
/proc/32607/statm: 2686569 37897 3339 1 0 2646705 0
[pid=32607/tid=32609] ppid=32604 vsize=10746276 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/32607/task/32609/stat : 32609 (java) S 32604 32607 30397 0 -1 1077944384 13714 0 0 0 179 5 0 0 20 0 16 0 414747821 11004186624 37897 33554432000 4194304 4196468 140736263199776 140286068456624 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32610] ppid=32604 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32607/task/32610/stat : 32610 (java) S 32604 32607 30397 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 16 0 414747821 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285990287632 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32611] ppid=32604 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32611/stat : 32611 (java) S 32604 32607 30397 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414747821 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285989235088 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32612] ppid=32604 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32612/stat : 32612 (java) S 32604 32607 30397 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 414747821 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285988182544 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32613] ppid=32604 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32613/stat : 32613 (java) S 32604 32607 30397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414747821 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285987130000 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32614] ppid=32604 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32607/task/32614/stat : 32614 (java) S 32604 32607 30397 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 16 0 414747823 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285647460848 140286064224898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32615] ppid=32604 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32615/stat : 32615 (java) S 32604 32607 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414747823 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285646407136 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32616] ppid=32604 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32616/stat : 32616 (java) S 32604 32607 30397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414747823 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285577258496 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32617] ppid=32604 vsize=10746276 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32617/stat : 32617 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747826 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285576207056 140286064232347 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32618] ppid=32604 vsize=10746276 memory=15252640887999028 CPUtime=0.37 cores=1,3,5,7
/proc/32607/task/32618/stat : 32618 (java) S 32604 32607 30397 0 -1 1077944384 1180 0 0 0 37 0 0 0 20 0 16 0 414747826 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285575153648 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32619] ppid=32604 vsize=10746276 memory=984 CPUtime=0.4 cores=1,3,5,7
/proc/32607/task/32619/stat : 32619 (java) S 32604 32607 30397 0 -1 1077944384 1500 0 0 0 40 0 0 0 20 0 16 0 414747826 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285574101104 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32620] ppid=32604 vsize=10746276 memory=1328 CPUtime=0.44 cores=1,3,5,7
/proc/32607/task/32620/stat : 32620 (java) R 32604 32607 30397 0 -1 4202560 1850 0 0 0 44 0 0 0 20 0 16 0 414747826 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285573048560 140286042696719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32621] ppid=32604 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32621/stat : 32621 (java) S 32604 32607 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747826 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285571996256 140286064223957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32622] ppid=32604 vsize=10746276 memory=279728267304064 CPUtime=0 cores=1,3,5,7
/proc/32607/task/32622/stat : 32622 (java) S 32604 32607 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 414747826 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285570943792 140286064224898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
[pid=32607/tid=32623] ppid=32604 vsize=10746276 memory=279728267308496 CPUtime=0.29 cores=1,3,5,7
/proc/32607/task/32623/stat : 32623 (java) R 32604 32607 30397 0 -1 4202560 1589 0 0 0 29 0 0 0 20 0 16 0 414748007 11004186624 37897 33554432000 4194304 4196468 140736263199776 140285554281424 140285661228795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6647808 140736263205899 140736263206002 140736263206002 140736263208911 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 151588 KiB
Child status: 0
Real time (s): 2.31102
CPU time (s): 3.75315
CPU user time (s): 3.64316
CPU system time (s): 0.109997
CPU usage (%): 162.403
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 151588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.64316
system time used= 0.109997
maximum resident set size= 153300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2285
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 32607
# total CPU time (s): 3.75315
# total CPU user time (s): 3.64316
# total CPU system time (s): 0.109997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035803 second user time and 0.074008 second system time
The end