2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
3.30/2.14 Instance
3.30/2.14 name=instance-4390988-1568385537, framework=COP, bounds=-infty..+infty
3.30/2.14
3.30/2.14 Loading variables...
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2363b75e
3.62/2.29 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a8bf89c
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cdc42e1
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d5b8ff2
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bf88885
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c015044
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e1e0114
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26713192
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11753383
3.62/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6830781c
3.62/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@335138c6
3.62/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e18ea6f
3.62/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386127be
3.62/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@86b56ff
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eecacb2
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bff088
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cbbeb09
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd57f8b
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53824203
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f1614
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fbd144
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e8842a4
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7107325c
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad0f120
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18f7fcaa
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bcdcb16
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59de6fbc
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a28a07
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b13dca2
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59265f95
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a4c607c
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@558da7be
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19de152a
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd8e8dc
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@141e2e1d
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b15b50c
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73fd8faa
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b965dc6
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6375103e
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8f584
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b35f824
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a7fdf61
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4905702f
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d45ff83
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28aa2c25
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea80e1a
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78333364
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@103f0a0e
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1a8695
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213adff5
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1a13fc
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2fe64b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8a9f28
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce4344c
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@221113e6
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df0e54f
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a812766
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7feffdf4
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ba0709
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d98c61
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7686ab24
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e11a99
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c9ddfa
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7745f52c
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@565c2473
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6517e790
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38653d16
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@435aeb34
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32722c9a
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@622d740e
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e77193
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d6bc14c
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31310fbf
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ce4c9c5
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2899b081
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d160434
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@493ca56a
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71aa6670
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@517732e5
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68141bf0
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b3597fe
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c1f2ed
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc279d6
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fba1950
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47497080
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d0afd9
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7bf24e
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c81fe00
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d9e7f26
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2feefdf
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f4da95
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25efade0
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12cebe67
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8cf05a
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9fdd59
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6427fd5a
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@568a9438
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bae7663
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bbf33a5
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f6ee3a
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e34fc88
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3536f5
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e874ae8
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5338f341
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f5e69f
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1593569f
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67a7bbe8
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41fbed61
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5131e0c2
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad58dcc
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542a24b5
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e1944f
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29abda8b
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75c4d3d3
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242a864c
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2461581e
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1462fc61
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8bbf0f
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38c56a17
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ef0b4be
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef53b29
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2111b553
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ec7b
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8571da
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165eae20
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65d59cb
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60397622
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0abc28
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4e6bc5
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a56c49a
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e129fe4
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e9d82b9
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8ca0e9
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbddce
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25936a2
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@561010e5
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75a2882f
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b36994
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118bcbaa
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adde302
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b40e571
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@453979e4
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4038f977
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64ab31aa
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6034abc7
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b1040ed
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b0808c
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e64af5e
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f7d8a4
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ca80a2c
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b2c3b35
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad78d5b
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d068ac
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6679e0b9
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37eef7d5
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e3c3687
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f722204
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cd7b9d0
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c44d74d
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fa719e9
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f457c2
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1275d916
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2e6bb2
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744787a7
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14abeaa6
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2673eaf9
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bdb0e0a
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75f1be64
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e5ea9c
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46d337dc
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72f1d17b
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e7e1fd0
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b94eb5e
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61bdae56
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3805d7
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@707d7ac4
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a2d2fca
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@780a2d11
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53063451
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc5c83c
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4da2efc9
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a459e0f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6839a404
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242b5695
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dad159e
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41af806f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a466
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75768e04
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7756f2e5
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@409c84aa
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72237e24
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@edcc609
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46feed14
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9eded98
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c2f838f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7715c9a0
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@786a2a33
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df4be6f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2851b43d
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15e6d9e6
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db77b03
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b8ecc03
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53686468
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26efaa48
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28beb80f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c14807f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57c67309
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e334ac1
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e2c3671
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d3e3400
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a004e81
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@274972ca
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394cb021
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60fd5159
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9cfa030
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6c0b0e
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dd398b3
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@484d0c77
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bfd1005
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39293bd
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5efcea87
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd33c71
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b70eb90
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15e9bebf
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27da0c50
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@255bc470
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b116dc6
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2185163b
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4ec1b9
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d946336
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64793cca
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b1e1cd
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9c8ba35
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d4476c6
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47755c1c
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b99dc66
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ffa4814
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ccd4ed
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2887180d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a437b2
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f6406e
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3acaaab1
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13893ec5
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e77d86a
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1491e12c
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e360ef2
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe2fee5
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eeefd84
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3737cc
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d93fdd0
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b4425f8
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c26175c
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cac674
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca47b7a
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a6f7331
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@759d89db
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79baebf1
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305f3e93
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59570772
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@146d2706
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6617bd19
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f98492f
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31434ddd
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e86ddb5
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71644d1e
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba1a001
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a1959d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f79f15
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aac25d9
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ca7c91
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77e93d95
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26525a77
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@768ef9a3
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f6c53ad
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfd1568
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32304dd8
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d042d31
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30b06c8f
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76df5ca6
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@440b258b
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@616f402
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8f9c8e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@353bb051
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a0f042c
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7190567e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a9681a
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60ea3bf
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@667032d6
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118c3aa5
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a25591c
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b91109a
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27038e18
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d7692a0
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b4e070
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683030d9
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b24fea
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63e3ac95
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ddc66e
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53ea004e
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d9e605d
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe4a0c2
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23dd6bfe
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c24a206
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2263808a
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a862b34
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52f5d0d5
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@668b7fab
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1577b3c8
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c322454
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@480d1ccf
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f5c7af8
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8c8cdf
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea4806a
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c109c7
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@378b74f8
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b1af47
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216d03fa
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a2c164
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e05d3e7
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4101c041
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5540da49
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f76f646
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c62e228
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355b53bd
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e082066
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f5a04b
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba9d0dd
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f55011c
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b1c48d
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b1f274e
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e3a7ba8
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c495b6c
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b5c991d
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ec5c26
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49cf564c
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a561da3
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a306afd
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11367514
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@500bf4bf
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27a342a6
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9116671
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49b645ed
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b066d80
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb5ea3f
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@424c0fd6
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a5d3e84
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb42bde
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f76882
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6144cab
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10371b80
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d7a525
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f64502
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@463112e4
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71a0b95b
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6317494a
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34b58a98
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5caac5
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adfd58e
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14351086
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43eb8dd6
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3947572d
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d259fac
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4df0793f
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e1a4
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab30e53
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@122e50fb
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61cbcaeb
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48539c97
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a59d52
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9e6cc32
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e8e438b
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66e56ee2
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708062c7
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@943b679
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2145d758
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1308a09e
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e86f716
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e2536ed
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76deb3d3
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72ce6cb9
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@308e1e43
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4972cc83
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51c50d76
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e3016
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2352fc05
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32474596
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73151867
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e50cebc
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7920d466
3.96/2.38 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d5217ee
4.63/2.50
4.63/2.50
4.63/2.50 Domains
4.63/2.50 nTypes=2, nValues=162757, sizes=[82#1980,397#1]
4.63/2.50 Variables
4.63/2.50 count=1981, degrees=[2#1,4#8,5#1578,6#394]
4.63/2.50 Objectives
4.63/2.50 way=max, type=ObjVarGE
4.63/2.50 Constraints
4.63/2.50 count=1190, nSpecific=1190, arities=[1#1,5#792,10#395,397#1,1980#1]
4.63/2.50 distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#395,ObjVarGE#1,OrderedGE#396,SumSimpleLE#396]
4.63/2.50 wck=0.654, cpu=2.457, mem=68M799
4.63/2.52 Solver SolverBacktrack being built...
4.63/2.52
4.63/2.57
4.63/2.57 Solver
4.63/2.57 guaranteedGAC=true
4.63/2.57 wck=0.726, cpu=2.527, mem=95M312
4.99/2.77
4.99/2.77 Preprocessing
4.99/2.77 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.99/2.77 wck=0.198, cpu=2.726, mem=95M312
4.99/2.77
12.67/9.84 num=0, depth=1..1, filters=964, wck=7.269, mem=97M955
12.67/9.84 decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
12.67/9.84
41.35/38.36 num=1, depth=0..0, filters=7329, wck=35.794, mem=97M955
41.35/38.36 decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
41.35/38.36
63.37/60.34 num=2, depth=0..0, filters=14921, wck=57.769, mem=97M955
63.37/60.34 decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
63.37/60.34
88.39/85.30 num=3, depth=0..0, filters=23519, wck=82.731, mem=97M955
88.39/85.30 decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
88.39/85.30
116.82/113.71 num=4, depth=0..0, filters=33254, wck=111.145, mem=97M955
116.82/113.71 decisions=121, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
116.82/113.71
151.36/148.23 num=5, depth=0..0, filters=45036, wck=145.666, mem=97M955
151.36/148.23 decisions=153, wrong=76, backtracks=0, failedAssignments=76, nogoods=10
151.36/148.23
192.13/188.98 num=6, depth=0..2, filters=57363, wck=186.409, mem=97M955
192.13/188.98 decisions=188, wrong=93, backtracks=0, failedAssignments=93, nogoods=12
192.13/188.98
229.19/225.96 num=7, depth=0..0, filters=68888, wck=223.392, mem=97M955
229.19/225.96 decisions=226, wrong=112, backtracks=0, failedAssignments=112, nogoods=12
229.19/225.96
271.11/267.83 num=8, depth=0..0, filters=82854, wck=265.267, mem=97M955
271.11/267.83 decisions=268, wrong=133, backtracks=0, failedAssignments=133, nogoods=12
271.11/267.83
322.93/319.66 num=9, depth=0..0, filters=99379, wck=317.096, mem=97M955
322.93/319.66 decisions=314, wrong=156, backtracks=0, failedAssignments=156, nogoods=12
322.93/319.66
381.26/377.95 num=10, depth=0..10, filters=115827, wck=375.379, mem=97M955
381.26/377.95 decisions=373, wrong=181, backtracks=0, failedAssignments=181, nogoods=19
381.26/377.95
437.50/434.16 num=11, depth=0..0, filters=132960, wck=431.597, mem=97M955
437.50/434.16 decisions=429, wrong=209, backtracks=0, failedAssignments=209, nogoods=19
437.50/434.16
504.71/501.32 num=12, depth=0..0, filters=154324, wck=498.751, mem=97M955
504.71/501.32 decisions=491, wrong=240, backtracks=0, failedAssignments=240, nogoods=19
504.71/501.32
571.95/568.55 num=13, depth=0..14, filters=173507, wck=565.978, mem=97M955
571.95/568.55 decisions=572, wrong=274, backtracks=0, failedAssignments=274, nogoods=31
571.95/568.55
647.30/643.86 num=14, depth=0..0, filters=196476, wck=641.293, mem=97M955
647.30/643.86 decisions=646, wrong=311, backtracks=0, failedAssignments=311, nogoods=31
647.30/643.86
741.94/738.41 num=15, depth=0..0, filters=225904, wck=735.841, mem=97M955
741.94/738.41 decisions=728, wrong=352, backtracks=0, failedAssignments=352, nogoods=31
741.94/738.41
902.80/899.26 num=16, depth=0..5, filters=249005, wck=896.692, mem=97M955
902.80/899.26 decisions=822, wrong=397, backtracks=0, failedAssignments=397, nogoods=75
902.80/899.26
1110.96/1107.30 num=17, depth=0..0, filters=284398, wck=1104.737, mem=97M955
1110.96/1107.30 decisions=922, wrong=447, backtracks=0, failedAssignments=447, nogoods=75
1110.96/1107.30
1195.19/1191.55 num=18, depth=0..7, filters=305959, wck=1188.984, mem=97M955
1195.19/1191.55 decisions=1039, wrong=502, backtracks=0, failedAssignments=502, nogoods=117
1195.19/1191.55
1303.42/1299.75 num=19, depth=0..0, filters=335691, wck=1297.182, mem=97M955
1303.42/1299.75 decisions=1161, wrong=563, backtracks=0, failedAssignments=563, nogoods=117
1303.42/1299.75
1330.94/1327.25 num=20, depth=0..17, filters=339953, wck=1324.686, mem=97M955
1330.94/1327.25 decisions=1306, wrong=630, backtracks=0, failedAssignments=630, nogoods=182
1330.94/1327.25
1355.15/1351.43 num=21, depth=0..19, filters=342921, wck=1348.867, mem=97M955
1355.15/1351.43 decisions=1468, wrong=704, backtracks=0, failedAssignments=704, nogoods=243
1355.15/1351.43
1372.96/1369.22 num=22, depth=0..39, filters=345066, wck=1366.655, mem=97M955
1372.96/1369.22 decisions=1658, wrong=785, backtracks=0, failedAssignments=785, nogoods=314
1372.96/1369.22
1400.67/1396.99 num=23, depth=0..50, filters=351821, wck=1394.424, mem=97M955
1400.67/1396.99 decisions=1875, wrong=874, backtracks=0, failedAssignments=874, nogoods=398
1400.67/1396.99
1535.01/1531.22 num=24, depth=0..63, filters=383920, wck=1528.648, mem=97M955
1535.01/1531.22 decisions=2122, wrong=972, backtracks=0, failedAssignments=972, nogoods=434
1535.01/1531.22
1682.25/1678.41 num=25, depth=0..67, filters=418400, wck=1675.842, mem=97M955
1682.25/1678.41 decisions=2390, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=483
1682.25/1678.41
1720.56/1716.72 num=26, depth=0..117, filters=425172, wck=1714.152, mem=97M955
1720.56/1716.72 decisions=2746, wrong=1218, backtracks=40, failedAssignments=1199, nogoods=526
1720.56/1716.72
1735.41/1731.50 num=27, depth=7..84, filters=427425, wck=1728.933, mem=97M955
1735.41/1731.50 decisions=3221, wrong=1424, backtracks=132, failedAssignments=1330, nogoods=554
1735.41/1731.50
1755.81/1751.97 num=28, depth=4..81, filters=431305, wck=1749.4, mem=97M955
1755.81/1751.97 decisions=3683, wrong=1626, backtracks=210, failedAssignments=1474, nogoods=593
1755.81/1751.97
1780.27/1776.37 num=29, depth=9..100, filters=435457, wck=1773.802, mem=97M955
1780.27/1776.37 decisions=4222, wrong=1861, backtracks=326, failedAssignments=1632, nogoods=618
1780.27/1776.37
1849.49/1845.54 num=30, depth=1..87, filters=446835, wck=1842.973, mem=97M955
1849.49/1845.54 decisions=4928, wrong=2186, backtracks=520, failedAssignments=1806, nogoods=637
1849.49/1845.54
1944.22/1940.20 num=31, depth=1..115, filters=463186, wck=1937.638, mem=97M955
1944.22/1940.20 decisions=5697, wrong=2537, backtracks=745, failedAssignments=1997, nogoods=658
1944.22/1940.20
1969.62/1965.63 num=32, depth=1..91, filters=467149, wck=1963.061, mem=97M955
1969.62/1965.63 decisions=6406, wrong=2859, backtracks=885, failedAssignments=2208, nogoods=690
1969.62/1965.63
1998.66/1994.60 num=33, depth=1..99, filters=471671, wck=1992.03, mem=97M955
1998.66/1994.60 decisions=7243, wrong=3239, backtracks=1057, failedAssignments=2440, nogoods=709
1998.66/1994.60
2050.98/2047.00 num=34, depth=1..97, filters=484123, wck=2044.43, mem=97M955
2050.98/2047.00 decisions=8004, wrong=3582, backtracks=1169, failedAssignments=2695, nogoods=765
2050.98/2047.00
2442.18/2438.06 num=35, depth=0..129, filters=572870, wck=2435.498, mem=97M955
2442.18/2438.06 decisions=8673, wrong=3863, backtracks=1169, failedAssignments=2976, nogoods=997
2442.18/2438.06
2520.09/2515.90
2520.09/2515.90 s UNKNOWN
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 (10326 MiB free)
memory of node 1: 16384 MiB (12997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390988-1568385537/watcher-4390988-1568385537 -o /tmp/evaluation-result-4390988-1568385537/solver-4390988-1568385537 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568380474-29470 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390988-1568385537.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=30559, runsolver pid=30556
Current StackSize limit: 8192 KiB
[startup+0.10114 s]*
/proc/loadavg: 1.76 1.89 1.90 4/228 30574
/proc/meminfo: memFree=23866512/32770624 swapFree=67108848/67108860
[pid=30559] ppid=30556 vsize=10659884 memory=28576 CPUtime=0.14 cores=1,3,5,7
/proc/30559/stat : 30559 (java) S 30556 30559 29438 0 -1 1077944320 5566 0 0 0 13 1 0 0 20 0 15 0 414491069 10915721216 7144 33554432000 4194304 4196468 140731769581328 140731769563872 140603848208119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
/proc/30559/statm: 2664971 7144 2909 1 0 2627468 0
[pid=30559/tid=30561] ppid=30556 vsize=10659884 memory=-8197568871503269502 CPUtime=0.09 cores=1,3,5,7
/proc/30559/task/30561/stat : 30561 (java) R 30556 30559 29438 0 -1 4202560 3376 0 0 0 9 0 0 0 20 0 15 0 414491069 10915721216 7144 33554432000 4194304 4196468 140731769581328 140603852436240 140603484355844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30562] ppid=30556 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 7144 33554432000 4194304 4196468 140731769581328 140603809167632 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30563] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 7144 33554432000 4194304 4196468 140731769581328 140603453839760 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30564] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 7144 33554432000 4194304 4196468 140731769581328 140603452787216 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30565] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 7144 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491071 10915721216 7144 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30567] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414491072 10915721216 7144 33554432000 4194304 4196468 140731769581328 140603406239136 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30568] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414491072 10915721216 7210 33554432000 4194304 4196468 140731769581328 140603337729520 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30569] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491074 10915721216 7210 33554432000 4194304 4196468 140731769581328 140603336678096 140603848226715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30570] ppid=30556 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 29438 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 414491074 10915721216 7210 33554432000 4194304 4196468 140731769581328 140603335624688 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30571] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30571/stat : 30571 (java) R 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491074 10915721216 7210 33554432000 4194304 4196468 140731769581328 140603334572144 140603848219266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30572] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0.02 cores=1,3,5,7
/proc/30559/task/30572/stat : 30572 (java) R 30556 30559 29438 0 -1 4202560 412 0 0 0 2 0 0 0 20 0 15 0 414491074 10915721216 7210 33554432000 4194304 4196468 140731769581328 140603333516024 140603840445246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30573] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491075 10915721216 7210 33554432000 4194304 4196468 140731769581328 140603332467296 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30574] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491075 10915721216 7210 33554432000 4194304 4196468 140731769581328 140603331414832 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28576 KiB
[startup+0.210628 s]*
/proc/loadavg: 1.76 1.89 1.90 3/228 30574
/proc/meminfo: memFree=23859636/32770624 swapFree=67108848/67108860
[pid=30559] ppid=30556 vsize=10659884 memory=34864 CPUtime=0.32 cores=1,3,5,7
/proc/30559/stat : 30559 (java) S 30556 30559 29438 0 -1 1077944320 6905 0 0 0 31 1 0 0 20 0 15 0 414491069 10915721216 8716 33554432000 4194304 4196468 140731769581328 140731769563872 140603848208119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
/proc/30559/statm: 2664971 8716 2989 1 0 2627468 0
[pid=30559/tid=30561] ppid=30556 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30559/task/30561/stat : 30561 (java) R 30556 30559 29438 0 -1 4202560 3910 0 0 0 19 1 0 0 20 0 15 0 414491069 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603852434480 140603848230045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30562] ppid=30556 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603809167632 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30563] ppid=30556 vsize=10659884 memory=140178298886814 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603453839760 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30564] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603452787216 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30565] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491071 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30567] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414491072 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603406239136 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30568] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414491072 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603337729520 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30569] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491074 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603336678096 140603848226715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30570] ppid=30556 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 29438 0 -1 1077944384 559 0 0 0 3 0 0 0 20 0 15 0 414491074 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603335624688 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30571] ppid=30556 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 29438 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 15 0 414491074 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603334572144 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30572] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0.05 cores=1,3,5,7
/proc/30559/task/30572/stat : 30572 (java) S 30556 30559 29438 0 -1 1077944384 764 0 0 0 5 0 0 0 20 0 15 0 414491074 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603333519600 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30573] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491075 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603332467296 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30574] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491075 10915721216 8716 33554432000 4194304 4196468 140731769581328 140603331414832 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34864 KiB
[startup+0.310204 s]*
/proc/loadavg: 1.76 1.89 1.90 4/228 30574
/proc/meminfo: memFree=23852460/32770624 swapFree=67108848/67108860
[pid=30559] ppid=30556 vsize=10659884 memory=40256 CPUtime=0.48 cores=1,3,5,7
/proc/30559/stat : 30559 (java) S 30556 30559 29438 0 -1 1077944320 9477 0 0 0 45 3 0 0 20 0 15 0 414491069 10915721216 10064 33554432000 4194304 4196468 140731769581328 140731769563872 140603848208119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
/proc/30559/statm: 2664971 10064 3034 1 0 2627468 0
[pid=30559/tid=30561] ppid=30556 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/30559/task/30561/stat : 30561 (java) R 30556 30559 29438 0 -1 4202560 6376 0 0 0 28 2 0 0 20 0 15 0 414491069 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603852440528 140603848230045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30562] ppid=30556 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603809167632 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30563] ppid=30556 vsize=10659884 memory=140178298886809 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603453839760 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30564] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603452787216 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30565] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491071 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30567] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414491072 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603406239136 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30568] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414491072 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603337729520 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30569] ppid=30556 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491074 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603336678096 140603848226715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30570] ppid=30556 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 29438 0 -1 1077944384 570 0 0 0 4 0 0 0 20 0 15 0 414491074 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603335624688 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30571] ppid=30556 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 29438 0 -1 1077944384 378 0 0 0 4 0 0 0 20 0 15 0 414491074 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603334572144 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30572] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0.07 cores=1,3,5,7
/proc/30559/task/30572/stat : 30572 (java) R 30556 30559 29438 0 -1 4202560 792 0 0 0 7 0 0 0 20 0 15 0 414491074 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603333519600 140603848229466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30573] ppid=30556 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491075 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603332467296 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30574] ppid=30556 vsize=10659884 memory=140178298857088 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491075 10915721216 10064 33554432000 4194304 4196468 140731769581328 140603331414832 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40256 KiB
[startup+0.702806 s]
/proc/loadavg: 1.76 1.89 1.90 4/228 30574
/proc/meminfo: memFree=23844376/32770624 swapFree=67108848/67108860
[pid=30559] ppid=30556 vsize=10661932 memory=62912 CPUtime=1.12 cores=1,3,5,7
/proc/30559/stat : 30559 (java) S 30556 30559 29438 0 -1 1077944320 12889 0 0 0 107 5 0 0 20 0 15 0 414491069 10917818368 15728 33554432000 4194304 4196468 140731769581328 140731769563872 140603848208119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
/proc/30559/statm: 2665483 15728 3075 1 0 2627980 0
[pid=30559/tid=30561] ppid=30556 vsize=10661932 memory=1792 CPUtime=0.67 cores=1,3,5,7
/proc/30559/task/30561/stat : 30561 (java) R 30556 30559 29438 0 -1 4202560 8924 0 0 0 64 3 0 0 20 0 15 0 414491069 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603852440144 140603833373774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30562] ppid=30556 vsize=10661932 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491070 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603809167632 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30563] ppid=30556 vsize=10661932 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603453839760 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30564] ppid=30556 vsize=10661932 memory=5536 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603452787216 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30565] ppid=30556 vsize=10661932 memory=4540 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491071 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30567] ppid=30556 vsize=10661932 memory=1636 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414491072 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603406239136 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30568] ppid=30556 vsize=10661932 memory=812 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414491072 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603337729520 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30569] ppid=30556 vsize=10661932 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491074 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603336678096 140603848226715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30570] ppid=30556 vsize=10661932 memory=7302135314614015849 CPUtime=0.11 cores=1,3,5,7
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 29438 0 -1 1077944384 887 0 0 0 11 0 0 0 20 0 15 0 414491074 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603335624688 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30571] ppid=30556 vsize=10661932 memory=6010460991946777682 CPUtime=0.11 cores=1,3,5,7
/proc/30559/task/30571/stat : 30571 (java) R 30556 30559 29438 0 -1 4202560 594 0 0 0 11 0 0 0 20 0 15 0 414491074 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603334558240 140603827453967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30572] ppid=30556 vsize=10661932 memory=7588935152971043413 CPUtime=0.18 cores=1,3,5,7
/proc/30559/task/30572/stat : 30572 (java) S 30556 30559 29438 0 -1 1077944384 1123 0 0 0 18 0 0 0 20 0 15 0 414491074 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603333519600 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30573] ppid=30556 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414491075 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603332467296 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30574] ppid=30556 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491075 10917818368 15728 33554432000 4194304 4196468 140731769581328 140603331414832 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62912 KiB
[startup+1.50071 s]
/proc/loadavg: 1.76 1.89 1.90 3/228 30574
/proc/meminfo: memFree=23828556/32770624 swapFree=67108848/67108860
[pid=30559] ppid=30556 vsize=10663980 memory=74956 CPUtime=2.01 cores=1,3,5,7
/proc/30559/stat : 30559 (java) S 30556 30559 29438 0 -1 1077944320 18439 0 0 0 195 6 0 0 20 0 15 0 414491069 10919915520 18739 33554432000 4194304 4196468 140731769581328 140731769563872 140603848208119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
/proc/30559/statm: 2665995 18739 3095 1 0 2628492 0
[pid=30559/tid=30561] ppid=30556 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/30559/task/30561/stat : 30561 (java) R 30556 30559 29438 0 -1 4202560 13086 0 0 0 143 5 0 0 20 0 15 0 414491069 10919915520 18739 33554432000 4194304 4196468 140731769581328 140603852438800 140603831394928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30562] ppid=30556 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414491070 10919915520 18739 33554432000 4194304 4196468 140731769581328 140603809167632 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30563] ppid=30556 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10919915520 18739 33554432000 4194304 4196468 140731769581328 140603453839760 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30564] ppid=30556 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10919915520 18739 33554432000 4194304 4196468 140731769581328 140603452787216 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30565] ppid=30556 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414491070 10919915520 18739 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414491071 10919915520 18739 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
################
# More data... #
################
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10748324 memory=209672 CPUtime=0.04 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 1788 0 0 0 2 2 0 0 20 0 16 0 414491071 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30567] ppid=30556 vsize=10748324 memory=209672 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 29438 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414491072 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603406239200 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30568] ppid=30556 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414491072 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603337729536 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30569] ppid=30556 vsize=10748324 memory=209672 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603336678096 140603848226715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30570] ppid=30556 vsize=10748324 memory=209672 CPUtime=1.27 cores=1,3,5,7
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 29438 0 -1 1077944384 10611 0 0 0 126 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603335624688 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30571] ppid=30556 vsize=10748324 memory=211720 CPUtime=1.38 cores=1,3,5,7
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 29438 0 -1 1077944384 8783 0 0 0 137 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603334572144 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30572] ppid=30556 vsize=10748324 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/30559/task/30572/stat : 30572 (java) S 30556 30559 29438 0 -1 1077944384 10415 0 0 0 80 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603333519600 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30573] ppid=30556 vsize=10748324 memory=209672 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414491075 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603332467296 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30574] ppid=30556 vsize=10748324 memory=211720 CPUtime=0.64 cores=1,3,5,7
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 29438 0 -1 1077944384 1081 0 0 0 25 39 0 0 20 0 16 0 414491075 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603331414832 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30575] ppid=30556 vsize=10748324 memory=211720 CPUtime=2440.35 cores=1,3,5,7
/proc/30559/task/30575/stat : 30575 (java) R 30556 30559 29438 0 -1 4202560 18218 0 0 0 244033 2 0 0 20 0 16 0 414491256 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603314745232 140603491739623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
Current children cumulated CPU time: 2446.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211720 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/230 30904
/proc/meminfo: memFree=20784856/32770624 swapFree=67108848/67108860
[pid=30559] ppid=30556 vsize=10748324 memory=211720 CPUtime=2506.49 cores=1,3,5,7
/proc/30559/stat : 30559 (java) S 30556 30559 29438 0 -1 1077944320 68017 0 0 0 250601 48 0 0 20 0 16 0 414491069 11006283776 52930 33554432000 4194304 4196468 140731769581328 140731769563872 140603848208119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
/proc/30559/statm: 2687081 52930 3358 1 0 2647217 0
[pid=30559/tid=30561] ppid=30556 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/30559/task/30561/stat : 30561 (java) S 30556 30559 29438 0 -1 1077944384 15309 0 0 0 180 5 0 0 20 0 16 0 414491069 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603852450992 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30562] ppid=30556 vsize=10748324 memory=211720 CPUtime=0.01 cores=1,3,5,7
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 29438 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603809167632 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30563] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 29438 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603453839760 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30564] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 29438 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603452787216 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30565] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10748324 memory=211720 CPUtime=0.04 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 1794 0 0 0 2 2 0 0 20 0 16 0 414491071 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30567] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 29438 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414491072 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603406239200 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30568] ppid=30556 vsize=10748324 memory=3924 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414491072 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603337729536 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30569] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603336678096 140603848226715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30570] ppid=30556 vsize=10748324 memory=211720 CPUtime=1.27 cores=1,3,5,7
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 29438 0 -1 1077944384 10619 0 0 0 126 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603335624688 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30571] ppid=30556 vsize=10748324 memory=39924 CPUtime=1.38 cores=1,3,5,7
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 29438 0 -1 1077944384 8785 0 0 0 137 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603334572144 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30572] ppid=30556 vsize=10748324 memory=1228 CPUtime=0.81 cores=1,3,5,7
/proc/30559/task/30572/stat : 30572 (java) S 30556 30559 29438 0 -1 1077944384 10417 0 0 0 80 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603333519600 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30573] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414491075 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603332467296 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30574] ppid=30556 vsize=10748324 memory=211720 CPUtime=0.65 cores=1,3,5,7
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 29438 0 -1 1077944384 1114 0 0 0 25 40 0 0 20 0 16 0 414491075 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603331414832 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30575] ppid=30556 vsize=10748324 memory=5536 CPUtime=2500.35 cores=1,3,5,7
/proc/30559/task/30575/stat : 30575 (java) R 30556 30559 29438 0 -1 4202560 18351 0 0 0 250033 2 0 0 20 0 16 0 414491256 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603314745232 140603491935012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
Current children cumulated CPU time: 2506.49 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.9 s]
/proc/loadavg: 2.01 2.02 1.98 3/230 30912
/proc/meminfo: memFree=20784396/32770624 swapFree=67108848/67108860
[pid=30559] ppid=30556 vsize=10748324 memory=211720 CPUtime=2520.09 cores=1,3,5,7
/proc/30559/stat : 30559 (java) S 30556 30559 29438 0 -1 1077944320 68019 0 0 0 251961 48 0 0 20 0 16 0 414491069 11006283776 52930 33554432000 4194304 4196468 140731769581328 140731769563872 140603848208119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
/proc/30559/statm: 2687081 52930 3358 1 0 2647217 0
[pid=30559/tid=30561] ppid=30556 vsize=10748324 memory=211720 CPUtime=1.85 cores=1,3,5,7
/proc/30559/task/30561/stat : 30561 (java) S 30556 30559 29438 0 -1 1077944384 15309 0 0 0 180 5 0 0 20 0 16 0 414491069 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603852450992 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30562] ppid=30556 vsize=10748324 memory=211720 CPUtime=0.01 cores=1,3,5,7
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 29438 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603809167632 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30563] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 29438 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603453839760 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30564] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 29438 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603452787216 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30565] ppid=30556 vsize=10748324 memory=4513 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10748324 memory=4420 CPUtime=0.04 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 1794 0 0 0 2 2 0 0 20 0 16 0 414491071 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30567] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 29438 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414491072 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603406239200 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30568] ppid=30556 vsize=10748324 memory=3924 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414491072 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603337729536 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30569] ppid=30556 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603336678096 140603848226715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30570] ppid=30556 vsize=10748324 memory=8026650869813564775 CPUtime=1.27 cores=1,3,5,7
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 29438 0 -1 1077944384 10619 0 0 0 126 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603335624688 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30571] ppid=30556 vsize=10748324 memory=211720 CPUtime=1.38 cores=1,3,5,7
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 29438 0 -1 1077944384 8785 0 0 0 137 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603334572144 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30572] ppid=30556 vsize=10748324 memory=3924 CPUtime=0.81 cores=1,3,5,7
/proc/30559/task/30572/stat : 30572 (java) S 30556 30559 29438 0 -1 1077944384 10417 0 0 0 80 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603333519600 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30573] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414491075 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603332467296 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30574] ppid=30556 vsize=10748324 memory=211720 CPUtime=0.66 cores=1,3,5,7
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 29438 0 -1 1077944384 1116 0 0 0 25 41 0 0 20 0 16 0 414491075 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603331414832 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30575] ppid=30556 vsize=10748324 memory=211720 CPUtime=2513.95 cores=1,3,5,7
/proc/30559/task/30575/stat : 30575 (java) R 30556 30559 29438 0 -1 4202560 18351 0 0 0 251393 2 0 0 20 0 16 0 414491256 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603314745232 140603491739355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.91 s]
# the end of solver process 30559 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.62 s, system=0.495052 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.9 s]
/proc/loadavg: 2.01 2.02 1.98 3/230 30912
/proc/meminfo: memFree=20784396/32770624 swapFree=67108848/67108860
[pid=30559] ppid=30556 vsize=10748324 memory=211720 CPUtime=2520.09 cores=1,3,5,7
/proc/30559/stat : 30559 (java) S 30556 30559 29438 0 -1 1077944320 68019 0 0 0 251961 48 0 0 20 0 16 0 414491069 11006283776 52930 33554432000 4194304 4196468 140731769581328 140731769563872 140603848208119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
/proc/30559/statm: 2687081 52930 3358 1 0 2647217 0
[pid=30559/tid=30561] ppid=30556 vsize=10748324 memory=211720 CPUtime=1.85 cores=1,3,5,7
/proc/30559/task/30561/stat : 30561 (java) S 30556 30559 29438 0 -1 1077944384 15309 0 0 0 180 5 0 0 20 0 16 0 414491069 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603852450992 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30562] ppid=30556 vsize=10748324 memory=211720 CPUtime=0.01 cores=1,3,5,7
/proc/30559/task/30562/stat : 30562 (java) S 30556 30559 29438 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603809167632 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30563] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30563/stat : 30563 (java) S 30556 30559 29438 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603453839760 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30564] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30564/stat : 30564 (java) S 30556 30559 29438 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603452787216 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30565] ppid=30556 vsize=10748324 memory=4513 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30565/stat : 30565 (java) S 30556 30559 29438 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414491070 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603451734672 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30566] ppid=30556 vsize=10748324 memory=4420 CPUtime=0.04 cores=1,3,5,7
/proc/30559/task/30566/stat : 30566 (java) S 30556 30559 29438 0 -1 1077944384 1794 0 0 0 2 2 0 0 20 0 16 0 414491071 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603407292912 140603848219266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30567] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (java) S 30556 30559 29438 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414491072 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603406239200 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30568] ppid=30556 vsize=10748324 memory=3924 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30568/stat : 30568 (java) S 30556 30559 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414491072 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603337729536 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30569] ppid=30556 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30569/stat : 30569 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603336678096 140603848226715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30570] ppid=30556 vsize=10748324 memory=8026650869813564775 CPUtime=1.27 cores=1,3,5,7
/proc/30559/task/30570/stat : 30570 (java) S 30556 30559 29438 0 -1 1077944384 10619 0 0 0 126 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603335624688 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30571] ppid=30556 vsize=10748324 memory=211720 CPUtime=1.38 cores=1,3,5,7
/proc/30559/task/30571/stat : 30571 (java) S 30556 30559 29438 0 -1 1077944384 8785 0 0 0 137 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603334572144 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30572] ppid=30556 vsize=10748324 memory=3924 CPUtime=0.81 cores=1,3,5,7
/proc/30559/task/30572/stat : 30572 (java) S 30556 30559 29438 0 -1 1077944384 10417 0 0 0 80 1 0 0 20 0 16 0 414491074 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603333519600 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30573] ppid=30556 vsize=10748324 memory=211720 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30573/stat : 30573 (java) S 30556 30559 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414491075 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603332467296 140603848218325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30574] ppid=30556 vsize=10748324 memory=211720 CPUtime=0.66 cores=1,3,5,7
/proc/30559/task/30574/stat : 30574 (java) S 30556 30559 29438 0 -1 1077944384 1116 0 0 0 25 41 0 0 20 0 16 0 414491075 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603331414832 140603848219266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
[pid=30559/tid=30575] ppid=30556 vsize=10748324 memory=211720 CPUtime=2513.95 cores=1,3,5,7
/proc/30559/task/30575/stat : 30575 (java) R 30556 30559 29438 0 -1 4202560 18351 0 0 0 251393 2 0 0 20 0 16 0 414491256 11006283776 52930 33554432000 4194304 4196468 140731769581328 140603314745232 140603491739355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33202176 140731769586699 140731769586802 140731769586802 140731769589711 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211720 KiB
Child status: 143
Real time (s): 2515.91
CPU time (s): 2520.12
CPU user time (s): 2519.62
CPU system time (s): 0.495052
CPU usage (%): 100.167
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 211720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.495052
maximum resident set size= 218592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57696
involuntary context switches= 730
# summary of solver processes directly reported to runsolver:
# pid: 30559
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.62
# total CPU system time (s): 0.495052
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9166 second user time and 22.8492 second system time
The end