2.44/1.87
2.44/1.87 AbsCon 2
2.44/1.89
2.97/2.04 Instance
2.97/2.04 name=instance-4391072-1568390494, framework=COP, bounds=-infty..+infty
2.97/2.04
2.97/2.04 Loading variables...
2.97/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e03f41c
2.97/2.06 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf180cc
2.97/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0172bb
2.97/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12a2321c
2.97/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c83890
2.97/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@587c96f3
2.97/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8d14b0
2.97/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716dad56
2.97/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d21694b
2.97/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb6d368
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17eaef8e
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53143275
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f377049
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c27fa9
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53331eb2
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a217f7
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c77df4
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297dd2bf
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8baded9
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34206bf4
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79649f01
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4095ba5e
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3a9d04
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e560a22
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bcf9ef0
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@162386b8
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2c600c
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b52a78b
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35ee20af
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d0ccc52
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@329a5db3
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a830d5
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d758ec
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1303b9d7
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ebb1e15
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af00bc0
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@680a9bb4
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@783be5ea
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c0912
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e5b8bed
2.97/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8aca73
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778043ae
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cae0495
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a0bede
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7613e593
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46b37319
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b0395cf
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17fb582a
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb3bcfe
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25638008
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f611aa
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@240c3981
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3413c1
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3181ef35
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8c95b35
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62df52e0
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223319b9
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29595603
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c204891
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@640c7762
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fee05ee
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@496ffb3a
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fd0a02
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63024b1a
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ff836d
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bf02937
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ccb122e
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33996546
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef01c3f
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d0c495d
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ffb198
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f36e61f
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef08c0d
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eb6ea1e
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b193c1a
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f91413
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3accd747
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c2f98c2
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7659b6ab
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bad07d3
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e8f0fb
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@484bfd33
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b251d8c
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ef6bf9
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36fb28ba
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f623d60
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@398c98ea
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6272ff55
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a2d940
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c8a970
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d74cb34
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@563bf530
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@acea0b4
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebd0407
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27f12f8c
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f110cd
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28998fb8
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@633771a5
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5334ba43
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad4d51d
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bdd0ada
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746dd035
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63231a
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e1c060e
2.97/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f0e7794
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4110d9c9
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c4e2ef5
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@407c283d
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f47e132
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222e6f67
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a5b663c
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ced21f4
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d020d59
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4b562c
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52e7f9d5
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cdc03f5
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2a1ae9
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9ce029
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e3ef67
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250939f8
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ca0e6f
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e04c0b1
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9324917
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34cf18ea
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9db08a
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c75cd28
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6999ac
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b659ec
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51db2ae1
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37e9678f
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a8b8dde
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f464a3b
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62db4b62
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a7a849
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6f4a97
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73aca80e
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dd1ffee
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c7ad10
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e44f365
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1969b89d
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef58afc
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77db84d2
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e16b755
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2539b4c2
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b57228
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3f5a1c
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bce7ce9
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab61eb5
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d3b723
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@754edc6e
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55890caf
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2062d856
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f2a87d
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5002fe37
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41abb9a0
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485b5c5a
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a20ff8d
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b9f4cd
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d89eed5
2.97/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a8c972a
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@644c16e1
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6043d8c4
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2f456d
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187441d5
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6306155c
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46d77bca
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c45ab2
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@465f0b9d
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fef2000
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33ebf156
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ca6b7c
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66288e44
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e51c3a8
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b53792d
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77e7078e
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1244c6fd
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30754c68
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae7149c
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54c4dea9
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@128c77cb
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68671c98
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68edbf90
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15e79df
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8531a5
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c29837
3.21/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c9e0c9
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2750da4d
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a24856
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51da491f
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@709a204a
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48f6dd6b
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c056e
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd17693
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13914553
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7154a899
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e504cd4
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1f645
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735fd3b7
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120d93dd
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4843789c
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573055a
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75478c02
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64058188
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@177cb7b7
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9cdb1f
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124c7e4f
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@546f5e5c
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a591a1
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a75cc3
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f0aa8
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2849ac85
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59062035
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30aaf997
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c42be11
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c37a809
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@865ac4d
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cfd9ba
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1321987b
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a688a
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3521e8d6
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d30a286
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f845a5c
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c99fa
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52db8319
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fd3c07b
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d42df01
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68def11a
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55243e5c
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75dabcfd
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b44cdc
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e890e7d
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ade23bf
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61ab3849
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6928ca98
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fb136a8
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1443c700
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
3.21/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b4e373
3.21/2.17
3.21/2.17
3.21/2.17 Domains
3.21/2.17 nTypes=1, nValues=198, sizes=[2#99]
3.21/2.17 Variables
3.21/2.17 count=99, degrees=[4#81,18#9,19#9]
3.21/2.17 Objectives
3.21/2.17 way=min, type=SumWeightedLE
3.21/2.17 Constraints
3.21/2.17 count=245, nSpecific=245, arities=[2#162,3#81,9#1,81#1]
3.21/2.17 distribution=[SumWeightedEQ#1,SumWeightedGE#243,SumWeightedLE#1]
3.21/2.17 wck=0.324, cpu=2.133, mem=23M870
3.21/2.17 Solver SolverBacktrack being built...
3.21/2.17
3.21/2.19
3.21/2.19 Solver
3.21/2.19 guaranteedGAC=true
3.21/2.19 wck=0.353, cpu=2.16, mem=34M512
3.21/2.20
3.21/2.20 Preprocessing
3.21/2.20 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.21/2.20 wck=0.002, cpu=2.163, mem=34M512
3.21/2.20
3.51/2.20 num=0, depth=7..16, filters=192, wck=0.011, mem=34M512
3.51/2.20 decisions=47, wrong=19, backtracks=16, failedAssignments=10, nogoods=3
3.51/2.20
3.51/2.22 num=1, depth=53..61, filters=472, wck=0.019, mem=34M512
3.51/2.22 decisions=143, wrong=40, backtracks=32, failedAssignments=21, nogoods=5
3.51/2.22
3.51/2.22 num=2, depth=2..10, filters=878, wck=0.022, mem=34M512
3.51/2.22 decisions=192, wrong=61, backtracks=47, failedAssignments=33, nogoods=9
3.51/2.22
3.51/2.22 num=3, depth=3..13, filters=1328, wck=0.025, mem=34M512
3.51/2.22 decisions=249, wrong=85, backtracks=64, failedAssignments=46, nogoods=14
3.51/2.22
3.51/2.23 num=4, depth=5..14, filters=1714, wck=0.028, mem=34M512
3.51/2.23 decisions=313, wrong=114, backtracks=86, failedAssignments=60, nogoods=16
3.51/2.23
3.51/2.23 num=5, depth=8..14, filters=2098, wck=0.03, mem=34M512
3.51/2.23 decisions=370, wrong=138, backtracks=105, failedAssignments=76, nogoods=20
3.51/2.23
3.51/2.23 num=6, depth=4..13, filters=2587, wck=0.033, mem=34M512
3.51/2.23 decisions=439, wrong=169, backtracks=127, failedAssignments=93, nogoods=24
3.51/2.23
3.51/2.23 num=7, depth=4..14, filters=3381, wck=0.036, mem=34M512
3.51/2.23 decisions=525, wrong=210, backtracks=168, failedAssignments=112, nogoods=27
3.51/2.23
3.51/2.24 num=8, depth=5..14, filters=4044, wck=0.039, mem=34M512
3.51/2.24 decisions=610, wrong=249, backtracks=201, failedAssignments=133, nogoods=32
3.51/2.24
3.51/2.24 num=9, depth=2..14, filters=4713, wck=0.043, mem=34M512
3.51/2.24 decisions=704, wrong=293, backtracks=240, failedAssignments=156, nogoods=35
3.51/2.24
3.51/2.24 num=10, depth=3..10, filters=5658, wck=0.046, mem=34M512
3.51/2.24 decisions=810, wrong=344, backtracks=285, failedAssignments=181, nogoods=37
3.51/2.24
3.51/2.24 num=11, depth=2..12, filters=6369, wck=0.049, mem=34M512
3.51/2.24 decisions=904, wrong=389, backtracks=324, failedAssignments=209, nogoods=41
3.51/2.24
3.51/2.26 num=12, depth=3..13, filters=7344, wck=0.064, mem=34M512
3.51/2.26 decisions=1031, wrong=450, backtracks=375, failedAssignments=240, nogoods=46
3.51/2.26
3.51/2.26 num=13, depth=1..9, filters=8505, wck=0.068, mem=34M512
3.51/2.26 decisions=1165, wrong=516, backtracks=434, failedAssignments=274, nogoods=54
3.51/2.26
3.51/2.27 num=14, depth=3..13, filters=9800, wck=0.071, mem=34M512
3.51/2.27 decisions=1313, wrong=588, backtracks=500, failedAssignments=311, nogoods=57
3.51/2.27
3.51/2.27 num=15, depth=3..12, filters=11451, wck=0.075, mem=34M512
3.51/2.27 decisions=1472, wrong=666, backtracks=573, failedAssignments=352, nogoods=61
3.51/2.27
3.51/2.27 o 211
3.51/2.28 num=16, depth=3..98, filters=12343, ccks=245, wck=0.083, mem=34M512
3.51/2.28 decisions=1571, wrong=713, backtracks=615, failedAssignments=379, nogoods=65, foundSolutions=1, bestBound=211
3.51/2.28
3.51/2.28
3.51/2.28 New Bounds: 211..210
3.51/2.28 num=17, depth=0..9, filters=13389, ccks=245, wck=0.086, mem=34M512
3.51/2.28 decisions=1673, wrong=765, backtracks=663, failedAssignments=402, foundSolutions=1, bestBound=211
3.51/2.28
3.51/2.28 Global
3.51/2.28 filters=13389, ccks=245
3.51/2.28 Stop=FULL_EXPLORATION, wrong=765, bestBound=211, bestBoundWck=0.431, bestBoundCpu=2.238, foundSolutions=1, firstSolCpu=2.238
3.51/2.28 wck=0.439, cpu=2.246, mem=34M512
3.51/2.28
3.51/2.28 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.51/2.28 s OPTIMUM FOUND
3.51/2.28
3.51/2.28 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 (14042 MiB free)
memory of node 1: 16384 MiB (15703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391072-1568390494/watcher-4391072-1568390494 -o /tmp/evaluation-result-4391072-1568390494/solver-4391072-1568390494 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568390578-28353 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391072-1568390494.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28709, runsolver pid=28706
[startup+0.100845 s]*
/proc/loadavg: 1.28 1.14 1.42 5/228 28724
/proc/meminfo: memFree=30443364/32770624 swapFree=66932052/67108860
[pid=28709] ppid=28706 vsize=10659884 memory=28252 CPUtime=0.14 cores=1,3,5,7
/proc/28709/stat : 28709 (java) S 28706 28709 26463 0 -1 1077944320 5576 0 0 0 13 1 0 0 20 0 15 0 415317183 10915721216 7063 33554432000 4194304 4196468 140721125158464 140721125141008 140554796887799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
/proc/28709/statm: 2664971 7063 2860 1 0 2627468 0
[pid=28709/tid=28711] ppid=28706 vsize=10659884 memory=-7254949979417569401 CPUtime=0.09 cores=1,3,5,7
/proc/28709/task/28711/stat : 28711 (java) R 28706 28709 26463 0 -1 4202560 3303 0 0 0 9 0 0 0 20 0 15 0 415317183 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554801118304 140554796899734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28712] ppid=28706 vsize=10659884 memory=5793854911053810105 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28712/stat : 28712 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554753440272 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28713] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28713/stat : 28713 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554752387728 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28714] ppid=28706 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28714/stat : 28714 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554401667344 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28715] ppid=28706 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28715/stat : 28715 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554400614800 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28716] ppid=28706 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28716/stat : 28716 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317185 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554101234416 140554796898946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28717] ppid=28706 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28717/stat : 28717 (java) S 28706 28709 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317186 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554100180640 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28718] ppid=28706 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28718/stat : 28718 (java) S 28706 28709 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317186 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554099127536 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28719] ppid=28706 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28719/stat : 28719 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317188 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554098076112 140554796906395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28720] ppid=28706 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28709/task/28720/stat : 28720 (java) S 28706 28709 26463 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 15 0 415317188 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554097023216 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28721] ppid=28706 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28721/stat : 28721 (java) S 28706 28709 26463 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 415317188 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554095970672 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28722] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0.02 cores=1,3,5,7
/proc/28709/task/28722/stat : 28722 (java) R 28706 28709 26463 0 -1 4202560 381 0 0 0 2 0 0 0 20 0 15 0 415317189 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554094913344 140554796899734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28723] ppid=28706 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28723/stat : 28723 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317189 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554093865312 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28724] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28724/stat : 28724 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317189 10915721216 7063 33554432000 4194304 4196468 140721125158464 140554092813360 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28252 KiB
[startup+0.210735 s]*
/proc/loadavg: 1.28 1.14 1.42 3/228 28724
/proc/meminfo: memFree=30436516/32770624 swapFree=66932052/67108860
[pid=28709] ppid=28706 vsize=10659884 memory=35044 CPUtime=0.33 cores=1,3,5,7
/proc/28709/stat : 28709 (java) S 28706 28709 26463 0 -1 1077944320 6959 0 0 0 32 1 0 0 20 0 15 0 415317183 10915721216 8761 33554432000 4194304 4196468 140721125158464 140721125141008 140554796887799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
/proc/28709/statm: 2664971 8761 2989 1 0 2627468 0
[pid=28709/tid=28711] ppid=28706 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/28709/task/28711/stat : 28711 (java) R 28706 28709 26463 0 -1 4202560 3882 0 0 0 19 1 0 0 20 0 15 0 415317183 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554801126064 140554796909725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28712] ppid=28706 vsize=10659884 memory=4211973386248707466 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28712/stat : 28712 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554753440272 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28713] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28713/stat : 28713 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554752387728 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28714] ppid=28706 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28714/stat : 28714 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554401667344 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28715] ppid=28706 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28715/stat : 28715 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554400614800 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28716] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28716/stat : 28716 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317185 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554101234416 140554796898946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28717] ppid=28706 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28717/stat : 28717 (java) S 28706 28709 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317186 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554100180640 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28718] ppid=28706 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28718/stat : 28718 (java) S 28706 28709 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317186 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554099127536 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28719] ppid=28706 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28719/stat : 28719 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317188 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554098076112 140554796906395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28720] ppid=28706 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28709/task/28720/stat : 28720 (java) S 28706 28709 26463 0 -1 1077944384 809 0 0 0 4 0 0 0 20 0 15 0 415317188 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554097023216 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28721] ppid=28706 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28709/task/28721/stat : 28721 (java) S 28706 28709 26463 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 15 0 415317188 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554095970672 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28722] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0.05 cores=1,3,5,7
/proc/28709/task/28722/stat : 28722 (java) S 28706 28709 26463 0 -1 1077944384 707 0 0 0 5 0 0 0 20 0 15 0 415317189 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554094917616 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28723] ppid=28706 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28723/stat : 28723 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317189 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554093865312 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28724] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28724/stat : 28724 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317189 10915721216 8761 33554432000 4194304 4196468 140721125158464 140554092813360 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35044 KiB
[startup+0.310041 s]*
/proc/loadavg: 1.28 1.14 1.42 4/228 28724
/proc/meminfo: memFree=30428660/32770624 swapFree=66932052/67108860
[pid=28709] ppid=28706 vsize=10659884 memory=40424 CPUtime=0.48 cores=1,3,5,7
/proc/28709/stat : 28709 (java) S 28706 28709 26463 0 -1 1077944320 9500 0 0 0 45 3 0 0 20 0 15 0 415317183 10915721216 10106 33554432000 4194304 4196468 140721125158464 140721125141008 140554796887799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
/proc/28709/statm: 2664971 10106 3002 1 0 2627468 0
[pid=28709/tid=28711] ppid=28706 vsize=10659884 memory=279319842652400 CPUtime=0.3 cores=1,3,5,7
/proc/28709/task/28711/stat : 28711 (java) R 28706 28709 26463 0 -1 4202560 6348 0 0 0 28 2 0 0 20 0 15 0 415317183 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554801120208 140554796909725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28712] ppid=28706 vsize=10659884 memory=4211973386248707466 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28712/stat : 28712 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554753440272 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28713] ppid=28706 vsize=10659884 memory=139660043919343 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28713/stat : 28713 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554752387728 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28714] ppid=28706 vsize=10659884 memory=139659921459311 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28714/stat : 28714 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554401667344 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28715] ppid=28706 vsize=10659884 memory=139659921439695 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28715/stat : 28715 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554400614800 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28716] ppid=28706 vsize=10659884 memory=139660043943418 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28716/stat : 28716 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317185 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554101234416 140554796898946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28717] ppid=28706 vsize=10659884 memory=139659921439695 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28717/stat : 28717 (java) S 28706 28709 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317186 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554100180640 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28718] ppid=28706 vsize=10659884 memory=279319842900112 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28718/stat : 28718 (java) S 28706 28709 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317186 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554099127536 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28719] ppid=28706 vsize=10659884 memory=279319842897808 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28719/stat : 28719 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317188 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554098076112 140554796906395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28720] ppid=28706 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28709/task/28720/stat : 28720 (java) S 28706 28709 26463 0 -1 1077944384 855 0 0 0 5 0 0 0 20 0 15 0 415317188 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554097023216 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28721] ppid=28706 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28709/task/28721/stat : 28721 (java) S 28706 28709 26463 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 15 0 415317188 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554095970672 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28722] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0.08 cores=1,3,5,7
/proc/28709/task/28722/stat : 28722 (java) R 28706 28709 26463 0 -1 4202560 730 0 0 0 8 0 0 0 20 0 15 0 415317189 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554094912880 140554796909146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28723] ppid=28706 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28723/stat : 28723 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317189 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554093865312 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28724] ppid=28706 vsize=10659884 memory=139660043916928 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28724/stat : 28724 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317189 10915721216 10106 33554432000 4194304 4196468 140721125158464 140554092813360 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40424 KiB
[startup+0.704167 s]
/proc/loadavg: 1.28 1.14 1.42 4/228 28724
/proc/meminfo: memFree=30420004/32770624 swapFree=66932052/67108860
[pid=28709] ppid=28706 vsize=10661932 memory=64024 CPUtime=1.14 cores=1,3,5,7
/proc/28709/stat : 28709 (java) S 28706 28709 26463 0 -1 1077944320 13177 0 0 0 109 5 0 0 20 0 15 0 415317183 10917818368 16006 33554432000 4194304 4196468 140721125158464 140721125141008 140554796887799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
/proc/28709/statm: 2665483 16006 3072 1 0 2627980 0
[pid=28709/tid=28711] ppid=28706 vsize=10661932 memory=2832 CPUtime=0.68 cores=1,3,5,7
/proc/28709/task/28711/stat : 28711 (java) R 28706 28709 26463 0 -1 4202560 8905 0 0 0 65 3 0 0 20 0 15 0 415317183 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554801119824 140554777164624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28712] ppid=28706 vsize=10661932 memory=772 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28712/stat : 28712 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554753440272 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28713] ppid=28706 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28713/stat : 28713 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554752387728 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28714] ppid=28706 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28714/stat : 28714 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554401667344 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28715] ppid=28706 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28715/stat : 28715 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554400614800 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28716] ppid=28706 vsize=10661932 memory=5787218246971642213 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28716/stat : 28716 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317185 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554101234416 140554796898946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28717] ppid=28706 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28717/stat : 28717 (java) S 28706 28709 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317186 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554100180640 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28718] ppid=28706 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28718/stat : 28718 (java) S 28706 28709 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317186 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554099127536 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28719] ppid=28706 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28719/stat : 28719 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317188 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554098076112 140554796906395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28720] ppid=28706 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/28709/task/28720/stat : 28720 (java) S 28706 28709 26463 0 -1 1077944384 1236 0 0 0 11 0 0 0 20 0 15 0 415317188 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554097023216 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28721] ppid=28706 vsize=10661932 memory=11 CPUtime=0.13 cores=1,3,5,7
/proc/28709/task/28721/stat : 28721 (java) R 28706 28709 26463 0 -1 4202560 548 0 0 0 13 0 0 0 20 0 15 0 415317188 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554095956768 140554796901663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28722] ppid=28706 vsize=10661932 memory=1367 CPUtime=0.18 cores=1,3,5,7
/proc/28709/task/28722/stat : 28722 (java) S 28706 28709 26463 0 -1 1077944384 1128 0 0 0 18 0 0 0 20 0 15 0 415317189 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554094917616 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28723] ppid=28706 vsize=10661932 memory=279319843077104 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28723/stat : 28723 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317189 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554093865312 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28724] ppid=28706 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28724/stat : 28724 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317189 10917818368 16006 33554432000 4194304 4196468 140721125158464 140554092813360 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64024 KiB
[startup+1.50083 s]
/proc/loadavg: 1.28 1.14 1.42 3/228 28724
/proc/meminfo: memFree=30402820/32770624 swapFree=66932052/67108860
[pid=28709] ppid=28706 vsize=10663980 memory=75944 CPUtime=2.02 cores=1,3,5,7
/proc/28709/stat : 28709 (java) S 28706 28709 26463 0 -1 1077944320 17385 0 0 0 197 5 0 0 20 0 15 0 415317183 10919915520 18986 33554432000 4194304 4196468 140721125158464 140721125141008 140554796887799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
/proc/28709/statm: 2665995 18986 3093 1 0 2628492 0
[pid=28709/tid=28711] ppid=28706 vsize=10663980 memory=72068 CPUtime=1.48 cores=1,3,5,7
/proc/28709/task/28711/stat : 28711 (java) R 28706 28709 26463 0 -1 4202560 11921 0 0 0 144 4 0 0 20 0 15 0 415317183 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554801119824 140554780968286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28712] ppid=28706 vsize=10663980 memory=279319842963200 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28712/stat : 28712 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554753440272 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28713] ppid=28706 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28713/stat : 28713 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554752387728 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28714] ppid=28706 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28714/stat : 28714 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554401667344 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28715] ppid=28706 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28715/stat : 28715 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554400614800 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28716] ppid=28706 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28716/stat : 28716 (java) S 28706 28709 26463 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415317185 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554101234416 140554796898946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28717] ppid=28706 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28717/stat : 28717 (java) S 28706 28709 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317186 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554100180640 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28718] ppid=28706 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28718/stat : 28718 (java) S 28706 28709 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317186 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554099127536 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28719] ppid=28706 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28719/stat : 28719 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317188 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554098076112 140554796906395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28720] ppid=28706 vsize=10663980 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/28709/task/28720/stat : 28720 (java) S 28706 28709 26463 0 -1 1077944384 1573 0 0 0 14 0 0 0 20 0 15 0 415317188 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554097023216 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28721] ppid=28706 vsize=10663980 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28709/task/28721/stat : 28721 (java) S 28706 28709 26463 0 -1 1077944384 1384 0 0 0 20 0 0 0 20 0 15 0 415317188 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554095970672 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28722] ppid=28706 vsize=10663980 memory=4580 CPUtime=0.18 cores=1,3,5,7
/proc/28709/task/28722/stat : 28722 (java) S 28706 28709 26463 0 -1 1077944384 1130 0 0 0 18 0 0 0 20 0 15 0 415317189 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554094917616 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28723] ppid=28706 vsize=10663980 memory=7679937479730885434 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28723/stat : 28723 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317189 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554093865312 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28724] ppid=28706 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28724/stat : 28724 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317189 10919915520 18986 33554432000 4194304 4196468 140721125158464 140554092813360 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75944 KiB
[startup+2.30087 s]
# the end of solver process 28709 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.6836 s, system=0.130976 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60089 s]
/proc/loadavg: 1.28 1.14 1.42 3/228 28724
/proc/meminfo: memFree=30402820/32770624 swapFree=66932052/67108860
[pid=28709] ppid=28706 vsize=10666028 memory=77076 CPUtime=2.14 cores=1,3,5,7
/proc/28709/stat : 28709 (java) S 28706 28709 26463 0 -1 1077944320 17760 0 0 0 208 6 0 0 20 0 15 0 415317183 10922012672 19269 33554432000 4194304 4196468 140721125158464 140721125141008 140554796887799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
/proc/28709/statm: 2666507 19269 3093 1 0 2629004 0
[pid=28709/tid=28711] ppid=28706 vsize=10666028 memory=7879154576092583265 CPUtime=1.58 cores=1,3,5,7
/proc/28709/task/28711/stat : 28711 (java) R 28706 28709 26463 0 -1 4202560 12283 0 0 0 154 4 0 0 20 0 15 0 415317183 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554801119824 140554796909725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28712] ppid=28706 vsize=10666028 memory=7590963683460754841 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28712/stat : 28712 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554753440272 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28713] ppid=28706 vsize=10666028 memory=11335232709 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28713/stat : 28713 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554752387728 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28714] ppid=28706 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28714/stat : 28714 (java) S 28706 28709 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415317184 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554401667344 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28715] ppid=28706 vsize=10666028 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28715/stat : 28715 (java) S 28706 28709 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415317184 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554400614800 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28716] ppid=28706 vsize=10666028 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28716/stat : 28716 (java) S 28706 28709 26463 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415317185 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554101234416 140554796898946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28717] ppid=28706 vsize=10666028 memory=139659921502768 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28717/stat : 28717 (java) S 28706 28709 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415317186 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554100180640 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28718] ppid=28706 vsize=10666028 memory=279319843012096 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28718/stat : 28718 (java) S 28706 28709 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415317186 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554099127536 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28719] ppid=28706 vsize=10666028 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28719/stat : 28719 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317188 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554098076112 140554796906395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28720] ppid=28706 vsize=10666028 memory=6944656575208382560 CPUtime=0.15 cores=1,3,5,7
/proc/28709/task/28720/stat : 28720 (java) S 28706 28709 26463 0 -1 1077944384 1586 0 0 0 15 0 0 0 20 0 15 0 415317188 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554097023216 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28721] ppid=28706 vsize=10666028 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28709/task/28721/stat : 28721 (java) S 28706 28709 26463 0 -1 1077944384 1384 0 0 0 20 0 0 0 20 0 15 0 415317188 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554095970672 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28722] ppid=28706 vsize=10666028 memory=6944652177228980320 CPUtime=0.18 cores=1,3,5,7
/proc/28709/task/28722/stat : 28722 (java) S 28706 28709 26463 0 -1 1077944384 1130 0 0 0 18 0 0 0 20 0 15 0 415317189 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554094917616 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28723] ppid=28706 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28723/stat : 28723 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317189 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554093865312 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28724] ppid=28706 vsize=10666028 memory=279319843039488 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28724/stat : 28724 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415317189 10922012672 19269 33554432000 4194304 4196468 140721125158464 140554092813360 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 77076 KiB
[startup+2.00391 s]*
/proc/loadavg: 1.28 1.14 1.42 5/229 28725
/proc/meminfo: memFree=30326728/32770624 swapFree=66932052/67108860
[pid=28709] ppid=28706 vsize=10744136 memory=145996 CPUtime=2.97 cores=1,3,5,7
/proc/28709/stat : 28709 (java) S 28706 28709 26463 0 -1 1077944320 21731 0 0 0 287 10 0 0 20 0 16 0 415317183 11001995264 36499 33554432000 4194304 4196468 140721125158464 140721125141008 140554796887799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
/proc/28709/statm: 2686034 36499 3303 1 0 2646705 0
[pid=28709/tid=28711] ppid=28706 vsize=10744136 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/28709/task/28711/stat : 28711 (java) S 28706 28709 26463 0 -1 1077944384 13906 0 0 0 179 6 0 0 20 0 16 0 415317183 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554801130672 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28712] ppid=28706 vsize=10744136 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/28709/task/28712/stat : 28712 (java) S 28706 28709 26463 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 16 0 415317184 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554753440272 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28713] ppid=28706 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28709/task/28713/stat : 28713 (java) S 28706 28709 26463 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 16 0 415317184 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554752387728 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28714] ppid=28706 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28714/stat : 28714 (java) S 28706 28709 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415317184 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554401667344 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28715] ppid=28706 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28715/stat : 28715 (java) S 28706 28709 26463 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 415317184 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554400614800 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28716] ppid=28706 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28709/task/28716/stat : 28716 (java) S 28706 28709 26463 0 -1 1077944384 683 0 0 0 1 0 0 0 20 0 16 0 415317185 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554101234416 140554796898946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28717] ppid=28706 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28717/stat : 28717 (java) S 28706 28709 26463 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415317186 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554100180704 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28718] ppid=28706 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28718/stat : 28718 (java) S 28706 28709 26463 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415317186 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554099127536 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28719] ppid=28706 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28719/stat : 28719 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317188 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554098076112 140554796906395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28720] ppid=28706 vsize=10744136 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/28709/task/28720/stat : 28720 (java) S 28706 28709 26463 0 -1 1077944384 1781 0 0 0 28 0 0 0 20 0 16 0 415317188 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554097023216 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28721] ppid=28706 vsize=10744136 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/28709/task/28721/stat : 28721 (java) S 28706 28709 26463 0 -1 1077944384 1511 0 0 0 32 0 0 0 20 0 16 0 415317188 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554095970672 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28722] ppid=28706 vsize=10744136 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/28709/task/28722/stat : 28722 (java) R 28706 28709 26463 0 -1 4202560 1464 0 0 0 29 0 0 0 20 0 16 0 415317189 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554094913376 140554796899734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28723] ppid=28706 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28723/stat : 28723 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317189 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554093865312 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28724] ppid=28706 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28724/stat : 28724 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317189 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554092813360 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28725] ppid=28706 vsize=10744136 memory=7878495878512652319 CPUtime=0.1 cores=1,3,5,7
/proc/28709/task/28725/stat : 28725 (java) R 28706 28709 26463 0 -1 4202560 784 0 0 0 10 0 0 0 20 0 16 0 415317370 11001995264 36499 33554432000 4194304 4196468 140721125158464 140554008480576 140554796899734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 145996 KiB
[startup+2.2026 s]
/proc/loadavg: 1.28 1.14 1.42 5/229 28725
/proc/meminfo: memFree=30326728/32770624 swapFree=66932052/67108860
[pid=28709] ppid=28706 vsize=10746276 memory=150860 CPUtime=3.51 cores=1,3,5,7
/proc/28709/stat : 28709 (java) S 28706 28709 26463 0 -1 1077944320 23382 0 0 0 340 11 0 0 20 0 16 0 415317183 11004186624 37715 33554432000 4194304 4196468 140721125158464 140721125141008 140554796887799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
/proc/28709/statm: 2686569 37715 3339 1 0 2646705 0
[pid=28709/tid=28711] ppid=28706 vsize=10746276 memory=3689067352630257723 CPUtime=1.85 cores=1,3,5,7
/proc/28709/task/28711/stat : 28711 (java) S 28706 28709 26463 0 -1 1077944384 13906 0 0 0 179 6 0 0 20 0 16 0 415317183 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554801130672 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28712] ppid=28706 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28709/task/28712/stat : 28712 (java) S 28706 28709 26463 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 16 0 415317184 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554753440272 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28713] ppid=28706 vsize=10746276 memory=4137284780655939955 CPUtime=0.01 cores=1,3,5,7
/proc/28709/task/28713/stat : 28713 (java) S 28706 28709 26463 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 16 0 415317184 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554752387728 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28714] ppid=28706 vsize=10746276 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28714/stat : 28714 (java) S 28706 28709 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415317184 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554401667344 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28715] ppid=28706 vsize=10746276 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28715/stat : 28715 (java) S 28706 28709 26463 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 415317184 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554400614800 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28716] ppid=28706 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28709/task/28716/stat : 28716 (java) S 28706 28709 26463 0 -1 1077944384 683 0 0 0 1 0 0 0 20 0 16 0 415317185 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554101234416 140554796898946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28717] ppid=28706 vsize=10746276 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28717/stat : 28717 (java) S 28706 28709 26463 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415317186 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554100180704 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28718] ppid=28706 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28718/stat : 28718 (java) S 28706 28709 26463 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415317186 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554099127536 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28719] ppid=28706 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28719/stat : 28719 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317188 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554098076112 140554796906395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28720] ppid=28706 vsize=10746276 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/28709/task/28720/stat : 28720 (java) S 28706 28709 26463 0 -1 1077944384 1863 0 0 0 40 0 0 0 20 0 16 0 415317188 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554097023216 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28721] ppid=28706 vsize=10746276 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/28709/task/28721/stat : 28721 (java) S 28706 28709 26463 0 -1 1077944384 1587 0 0 0 41 0 0 0 20 0 16 0 415317188 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554095970672 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28722] ppid=28706 vsize=10746276 memory=139659921360992 CPUtime=0.44 cores=1,3,5,7
/proc/28709/task/28722/stat : 28722 (java) R 28706 28709 26463 0 -1 4202560 2045 0 0 0 43 1 0 0 20 0 16 0 415317189 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554094914352 140554789124926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28723] ppid=28706 vsize=10746276 memory=3473576195003424698 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28723/stat : 28723 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317189 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554093865312 140554796898005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28724] ppid=28706 vsize=10746276 memory=-2537689246120445521 CPUtime=0 cores=1,3,5,7
/proc/28709/task/28724/stat : 28724 (java) S 28706 28709 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415317189 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554092813360 140554796898946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
[pid=28709/tid=28725] ppid=28706 vsize=10746276 memory=-4865682228692870029 CPUtime=0.28 cores=1,3,5,7
/proc/28709/task/28725/stat : 28725 (java) R 28706 28709 26463 0 -1 4202560 1696 0 0 0 28 0 0 0 20 0 16 0 415317370 11004186624 37715 33554432000 4194304 4196468 140721125158464 140554008480640 140554796899734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17498112 140721125164043 140721125164146 140721125164146 140721125167055 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 150860 KiB
Child status: 0
Real time (s): 2.3009
CPU time (s): 3.81457
CPU user time (s): 3.6836
CPU system time (s): 0.130976
CPU usage (%): 165.786
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 150860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.6836
system time used= 0.130976
maximum resident set size= 155584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25489
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= 2292
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 28709
# total CPU time (s): 3.81457
# total CPU user time (s): 3.6836
# total CPU system time (s): 0.130976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039986 second user time and 0.071523 second system time
The end